What problem does it solve?
Adversarial-claims-reviewer addresses the challenge of validating formal or quantitative claims in documents by forcing a rigorous inventory and verdict process, ensuring that each assertion is checked and properly classified.
Core Features & Use Cases
- INVENTORY every displayed equation, quantitative claim, and named theorem-use, assigning stable IDs and building a traceable audit trail.
- RESTATE each identified claim as a precise, self-contained proposition with explicit symbol definitions and domains.
- VERIFY claims using deterministic symbolic computation, fixed-point spot-checks, and known identities, complemented by regime sanity checks.
- CLASSIFY every claim as VERIFIED, REFUTED, UNVERIFIABLE, or VACUOUS, with per-claim justifications and executable verification scripts.
- REGIME SANITY to compare formulas against known regimes (e.g., limits, trivial solutions) to ensure correct behavior.
- SELF-CONSISTENCY SWEEP to detect mismatches between body assertions and appendices, and to ensure consistent symbol usage.
- REPORT generation against a structured template, including a concise most damaging finding and a detailed claims table.
Quick Start
Run the adversarial-claims-reviewer on a document to produce a complete inventory, per-claim verdicts, and a structured report.
