{
 "bundle_id": "cain42-hardening-2026-09-21",
 "bundle_root": "26449783615937cc99931d9fd568db6a1e51f34ad6b4dd2cc50bd6776e9046d8",
 "claims": {
  "adversarial_blocked": 97,
  "adversarial_inconclusive": 17,
  "adversarial_succeeded": 0,
  "adversarial_total": 114,
  "benchmark_sustained_elapsed_s": 60.002,
  "benchmark_sustained_iterations": 106650,
  "formal_passed": 222,
  "formal_total": 222,
  "test_run_failed": 0,
  "test_run_passed": 585
 },
 "files": [
  {
   "bytes": 3243,
   "path": "HARDENING_REPORT.txt",
   "sha256": "1b9a0ec836c1725cb97e72e15d336e001b853bfee4e5b576d86e05d271ba6d76"
  },
  {
   "bytes": 1668,
   "path": "REPRODUCE.txt",
   "sha256": "f4d73465e617aaae307f3325b2a8af5a824a14fb9e1f763667a44ad7cb44d162"
  },
  {
   "bytes": 15042,
   "path": "adversarial-suite-run.json",
   "sha256": "8ba94b7769ba2473cc4c72414668460e28b2a04c99baff916a73abd9a83c5eb9"
  },
  {
   "bytes": 2197,
   "path": "benchmark.json",
   "sha256": "7d2f52ed50d4f9a188626cbf2bbd1ab533428868c71c31dc7998e140bae7cfe2"
  },
  {
   "bytes": 4467,
   "path": "defect-ledger.json",
   "sha256": "db27cd0ae61b568b45b69f2aa18738d45e7a01d83e78d4aad39ecb30898fb716"
  },
  {
   "bytes": 149,
   "path": "formal-invariants-run.json",
   "sha256": "122b8c3daef2b2c00cd68730a1dc5f246e61b0a907907cf29940f8d883445c33"
  },
  {
   "bytes": 1944,
   "path": "test-run.txt",
   "sha256": "4ada99e3e7dc5383fb7ab402d6b68ea079a590724c5a6fbe1bd0875008664c03"
  },
  {
   "bytes": 3368,
   "path": "verify_bundle.py.txt",
   "sha256": "d0b531338c8c96881a7e1ac19b6cb7bcd2d7ded69a155e5660b4b2d7e155a41a"
  }
 ],
 "generated_utc": "2026-09-21T18:34:41Z",
 "git_head": "6776d7ade1994d70f8a0a1b251833b588f2b1b39",
 "signature": "07WIxOe2xMAh1CabrgOpudv3L/GnRAyMBgcEHVDUh/8+d+P7aIhCym0VinAtUgVHj05MR2ODuOigw/Y0jlhMCQ==",
 "signer_public_key": "AcV8H9e6SmvwAGvCB22GpsCQNGJd4cZukDuokw/0SUg=",
 "status": "PRE-PRODUCTION"
}