What this proves
System behavior and guardrails
- Builds one URL-state graph from static files or live HTTP evidence
- Reports cross-artifact contradictions with deterministic rule IDs and structured evidence
- Compares baseline and candidate snapshots with configurable loss gates
- Emits terminal, JSON, Markdown, and SARIF reports with stable CI exit codes