{
 "attack_engine_classes_verified_by_it": [
  "confidence_inflation",
  "export_tamper"
 ],
 "cain_imports": 0,
 "does_not_prove": [
  "that any forecast was correct about the world",
  "the observation itself (not in the export)"
 ],
 "proves": [
  "forecast structure and arithmetic",
  "forecast/policy/budget bound by the signed receipt",
  "gate verdict re-derivable",
  "ALLOW binding carries the forecast",
  "prediction_error structure"
 ],
 "runtime_verifier_gate_agreement": "laundering_gate class compares runtime gate() and verifier forecast_gate() on every iteration",
 "tests": {
  "cases": 1,
  "result": "PASS",
  "tests": [
   "test_cleanroom_verifier_checks_forecast_receipts"
  ]
 }
}