{
 "what": "every committed security proof re-checked by cake_lpr, a proof checker formally verified in CakeML/HOL4",
 "measured_utc": "2026-09-20T15:08:04Z",
 "source": {
  "repository": "eda-platform (confidential verification)",
  "revision": "e25b611",
  "path": "reports/security/cake_lpr_certify.json",
  "sha256": "3b0e087d58968b55f9f2d6b9569d090d6cadbb1b89f6ec61d113344c283e2caf",
  "bytes": 8738
 },
 "not_served": "the source file records the absolute path of a locally built solver binary, so its bytes are not published; the sha256 above commits to them and anyone with the repository can re-check it",
 "method": "read from the committed bytes above with a JSON pointer per field; no value is recomputed here",
 "pointers": {
  "n_committed_miters": "/n_committed_miters",
  "n_cake_lpr_ran": "/verified_checker_leg/n_cake_lpr_ran",
  "n_cake_lpr_verified": "/verified_checker_leg/n_cake_lpr_verified",
  "all_local_legs_pass": "/all_local_legs_pass",
  "wrapper": "/verified_checker_leg/wrapper",
  "status": "/verified_checker_leg/status"
 },
 "n_committed_miters": 10,
 "n_cake_lpr_ran": 10,
 "n_cake_lpr_verified": 10,
 "all_local_legs_pass": true,
 "wrapper": "per-miter cake_lpr (CakeML/HOL4-verified) on each cadical --lrat proof",
 "status": "cake_lpr VERIFIED all 10/10 committed miters (per-miter, native arm64)"
}