Proof: a dispatch admits the run's origin, not only the artifact's name - #552

Merged

lemone112 merged 9 commits into

mainfrom

v5b2d-4h-evidence-origin

Aug 7, 2026

Commits on Aug 6, 2026

Proof: a dispatch refuses evidence its lanes cannot download (V5b2d-4c)
Claude Code
committed
27eb63a
Proof: the gate must refuse what cannot be downloaded, and be wired in provably
Claude Code
committed
b16f217
Proof: pin the coordinate the incident turned on, and put the expiry rule where a test can reach it
Claude Code
committed
546ff04
Proof: make the safe run the default, and test the rules that were only claimed
Claude Code
committed
e45b746
Proof: pin the two new handles, and the coordinate whose test claimed it was pinned
Claude Code
committed
ebb08dd
Proof: a dispatch admits the run's origin, not only the artifact's name
Claude Code
committed
e18fb78
Proof: pin what the origin admission only claimed
Claude Code
committed
bcdc5ea

Commits on Aug 7, 2026

Merge main: three merged slices meet the origin admission
Claude Code
committed
6fe19f9
Merge branch 'main' into v5b2d-4h-evidence-origin
lemone112
authored
2168831