adversarial-claims-reviewer

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.