{
  "audit_method": "Independent rational enumeration, no imports from composition_core",
  "finite_checks": 15883,
  "probability_grid_cases": 125,
  "two_state_kernel_grid_cases": 15625,
  "status": "PASS",
  "evidence_scope": "Exact arithmetic for specified finite examples only",
  "verified_final_sticky_tv": "3439/10000",
  "verified_final_mixing_tv": "68/625",
  "verified_conditional_risk_upper": "1366/15625"
}
