Proof: the decision chain binds what the sources produce, not who watched the build (V5b2d-4b) - #547

Merged

lemone112 merged 8 commits into

mainfrom

v5b2d-4b-comparator-source-identity

Aug 6, 2026

Commits on Aug 6, 2026

Proof: the decision chain binds what the sources produce, not who watched the build (V5b2d-4b)
Claude Code
committed
96e00c8
Proof: characterize the whole identity chain, not its first link
Claude Code
committed
3e128b9
Proof: re-pin the two identities the run claim carries downstream
Claude Code
committed
b564940
Proof: close the review findings, starting with the gate that would fail after six hours
Claude Code
committed
79dfdc7
Proof: derive the source-bound coordinate set instead of trusting a hand-kept list
Claude Code
committed
afd4593
Proof: restore the line endings four files are stored with
Claude Code
committed
5c5b071
Proof: name the price of the split honestly, and pin the coordinate's preimage
Claude Code
committed
08828b7
Proof: a reference states the rule, not the measurement that found it
Claude Code
committed
f0079bb