feat(kernel): bound, hash-verified evidence and the verified-evidence completion policy (slice 3/5) - #102

Merged

SollanSystems merged 22 commits into

mainfrom

feat/evidence-wiring

Jul 26, 2026

Commits on Jul 25, 2026

test(emit): scope the artifacts-dir litter check to files
SollanSystems
committed
feat(emit): pure evidence builder, content-addressed object store, bound digest set
SollanSystems
committed
feat(runner): bind evidence digests into the iteration event before writing them
SollanSystems
committed
feat(doctor): verify the evidence digests bound into the event chain
SollanSystems
committed
feat(doctor): hash-verify discovered evidence and compare the recorded goalpost
SollanSystems
committed
fix(doctor): fail closed when a cited task's goalpost cannot be canonicalized
SollanSystems
committed
feat(completion): all_required_verified_evidence — Succeeded on bound, hash-verified records
SollanSystems
committed
fix(completion): make the write-time evidence bar a superset of the pure one
SollanSystems
committed
feat(metrics): an injected-callable verdict is not gate evidence
SollanSystems
committed
test(metrics): make the repair-anchoring pin discriminate
SollanSystems
committed
test(adversarial): flip the four closed pins and pin what binding still misses
SollanSystems
committed
docs(reference): bind evidence into the chain, move the tiers, name what still is not caught
SollanSystems
committed
test(conformance): pin the documented binding vector and the retired claims
SollanSystems
committed
docs(safety): attribute the goalpost rename evasion to the check that has it
SollanSystems
committed
fix(completion): a cited record must attest a PASS, not merely be authentic
SollanSystems
committed
fix(binding): make the write-time bound view conflict-aware and contain the walk
SollanSystems
committed
fix(doctor): rank unnumbered evidence records instead of skipping them
SollanSystems
committed
test(conformance): scope the §22 doc pin to the §22 table so it can fail
SollanSystems
committed
fix(doctor,emit): guard the third store read and the object-collision read
SollanSystems
committed
docs(reference): name the four-part strict bar and three behavioural changes
SollanSystems
committed
docs(reference): the unverified_evidence_terminal row names four checks, not three
SollanSystems
committed

Commits on Jul 26, 2026

fix(evidence): narrow the binding invariant to what it proves, and close four edges
SollanSystems
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat(kernel): bound, hash-verified evidence and the verified-evidence completion policy (slice 3/5) - #102

feat(kernel): bound, hash-verified evidence and the verified-evidence completion policy (slice 3/5)#102
SollanSystems merged 22 commits into
mainfrom
feat/evidence-wiring

Commits on Jul 25, 2026

test(emit): scope the artifacts-dir litter check to files

feat(emit): pure evidence builder, content-addressed object store, bound digest set

feat(runner): bind evidence digests into the iteration event before writing them

feat(doctor): verify the evidence digests bound into the event chain

feat(doctor): hash-verify discovered evidence and compare the recorded goalpost

fix(doctor): fail closed when a cited task's goalpost cannot be canonicalized

feat(completion): all_required_verified_evidence — Succeeded on bound, hash-verified records

fix(completion): make the write-time evidence bar a superset of the pure one

feat(metrics): an injected-callable verdict is not gate evidence

test(metrics): make the repair-anchoring pin discriminate

test(adversarial): flip the four closed pins and pin what binding still misses

docs(reference): bind evidence into the chain, move the tiers, name what still is not caught

test(conformance): pin the documented binding vector and the retired claims

docs(safety): attribute the goalpost rename evasion to the check that has it

fix(completion): a cited record must attest a PASS, not merely be authentic

fix(binding): make the write-time bound view conflict-aware and contain the walk

fix(doctor): rank unnumbered evidence records instead of skipping them

test(conformance): scope the §22 doc pin to the §22 table so it can fail

fix(doctor,emit): guard the third store read and the object-collision read

docs(reference): name the four-part strict bar and three behavioural changes

docs(reference): the unverified_evidence_terminal row names four checks, not three

Commits on Jul 26, 2026

fix(evidence): narrow the binding invariant to what it proves, and close four edges