# Audit Sanity Checks

## Purpose

These checks are mechanical audits that the example certificate numbers match the shipped host matrices.

They are not proofs. They are deterministic consistency checks.

## Run

From the root:

- `python tools/audit_sanity_checks.py`

## What is checked

- Fibonacci real-host contraction:
  - recompute N_tau^2 and verify delta and U match the robust certificate
  - recompute tau from the standard formula and verify it matches the rate_pack

- Fibonacci OG4:
  - verify the avoidance cycle is recorded as a finite witness

- Fibonacci OG1:
  - verify the tight SCC period is recorded as 2 and the aperiodic SCC count is 0

- Ising OG3:
  - brute sanity that no strictly positive product appears up to length 10
  - verify the robust certificate records delta=0 on the full cone

- Ising OG2 projection:
  - verify P_even kills sigma
  - verify P_after_sigma is nonzero only on sigma input, matching the stated OG2 contradiction mechanism
