{
  "date": "2026-07-25",
  "note": "Regenerates AUDIT.md's boundary table against the current total. A crit passes on EITHER the live tool OR the committed artifact; remove both and it FAILS-CLOSED (not silently green). 'Fresh clone' strips the formal prover binaries from PATH (liboqs/python retained) \u2014 the day-one buyer experience.",
  "scenarios": {
    "emptied_floor": {
      "ci_json_removed": 176,
      "ext": 7,
      "fail": 130,
      "ok": true,
      "pass": 824,
      "real": 870,
      "substitute": 77,
      "total": 954
    },
    "fresh_clone": {
      "ext": 7,
      "fail": 4,
      "ok": true,
      "pass": 950,
      "real": 914,
      "substitute": 33,
      "total": 954
    },
    "full": {
      "ext": 7,
      "fail": 0,
      "ok": true,
      "pass": 954,
      "real": 947,
      "substitute": 0,
      "total": 954
    }
  },
  "what": "self-attestation boundary \u2014 three-way acceptance sweep (v46/WS-7)"
}