{
 "defects_found": [
  {
   "fix": "8ba7c61: ledger pinned to the E4 differential key + reviewer keys; requires the signed report for exactly this proposal, compared >= 1 decision, every material change ACCEPTed",
   "id": "E5-GATE-1",
   "impact": "the regression gate before human approval was self-asserted",
   "regression_tests": [
    "test_lifecycle_requires_e4_regression_and_human_approval",
    "test_regression_gate_rejects_reports_that_are_not_about_this_proposal_or_not_genuine",
    "test_reviewer_set_excludes_the_learning_and_differential_keys"
   ],
   "what": "REGRESSION_ATTACHED accepted any caller-supplied 64-hex string as the E4 report digest, and omitting material_changes_unreviewed passed"
  },
  {
   "fix": "10688f7",
   "found_by": "the E5 adversarial generator",
   "id": "E5-F2",
   "what": "malformed min_trust escaped decide() (no denial receipt, false 503)"
  }
 ],
 "suite_failures": []
}