Public proof-loop
- 1
- public proof-loop workflow
- 3
- repos checked out by workflow
- 13
- verifier / check steps
- 11
- referenced Python scripts
A controlled-test validated detection routed through public workflow gates, deterministic pass/fail checks, and blocked-claim enforcement.
HO-DET-001 is CONTROLLED_TEST_VALIDATED through a public proof-loop workflow with controlled positive and negative test cases, deterministic pass/fail output, and blocked-claim enforcement. The proof-loop workflow carries the receipt route; the website renders the map.
Receipts at a glance
Workflow scope, controlled cases, determinism, and the blocked-claim boundary. Each cluster groups its own receipts.
Pipeline flow
Each stage routes to a public artifact or repo surface. The website renders the map; it does not replace the proof record.
Proof boundary
Proves
Does not prove
Open the receipts
These lanes point to merged public artifacts on main or merged PR/commit records. The website renders the lanes; the artifacts are the proof.
Release path · governed
The release-path implementation is merged on the proof repo main branch. No official release, tag, zip, or signed artifact is claimed from this surface; the next gate is explicit release approval.
Reviewer takeaway · signed note
A detection source, controlled cases, deterministic validation, workflow gates, and explicit blocked claims. The value is not that the claim is maximal — the value is that the claim cannot silently exceed the evidence. The scanner scope expanded from 5 files to 7 before merge, so the public route reflects the merged validation and proof records without widening the claim ceiling.
— hawkinsoperations · public surface · routing only