Merge pool-registry f603a7bd into master (gate: green on f603a7bd, recorded by tools/ci/pre-push.sh; the full gate runs in CI on this merge)
This commit is contained in:
commit
70d6226896
1 changed files with 5 additions and 5 deletions
|
|
@ -805,10 +805,10 @@
|
|||
"owner": "Cryptography + GPU lead",
|
||||
"manual_page": 25,
|
||||
"owner_lane": "pool design seat (a3832b1c3b274b310)",
|
||||
"run_status": "RUNNING",
|
||||
"evidence_path": "docs/analysis/binding-review-2026-10.md",
|
||||
"run_id": "team-2026-10-08",
|
||||
"updated": "2026-10-08 18:3x UK",
|
||||
"run_status": "REVIEWED: fixed by construction (binding), not applicable (final digest); native tests ok on build-2; no change for 2.0",
|
||||
"evidence_path": "docs/analysis/binding-review-2026-10.md (sections 1 to 5a; master ad5a54c5)",
|
||||
"run_id": "binding-review-2026-10-08-a05",
|
||||
"updated": "2026-10-08 18:13Z",
|
||||
"evidence_record": {
|
||||
"what_was_run": "the binding review: twelve reuse paths, none below the honest cost; five open questions B1 to B5",
|
||||
"run_by": "pool design seat (a3832b1c3b274b310)",
|
||||
|
|
@ -5060,4 +5060,4 @@
|
|||
"run_id": "the run that produced the latest status",
|
||||
"updated": "the minute the lane last wrote the case"
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in a new issue