fix(spine): report both directions of the divergence and correct its denominator (#1356) - #1378

Merged

github-actions[bot] merged 9 commits into

mainfrom

fix/issue-1356-spine-divergence-meter

Aug 6, 2026

Commits on Aug 6, 2026

fix(spine): report both directions of the divergence and correct its denominator
robotrocketscience
committed
1a38668
docs(spine): republish reproduced_share with its denominator correction
robotrocketscience
committed
0bbac53
fix(cli): print the eligible numerator the corrected share is actually over
robotrocketscience
committed
9fb79ac
fix(bench): read the store through its WAL, and run the shipped fan-in predicate
robotrocketscience
committed
2a0bd84
docs: pair the corrected share with this store's own before-figure
robotrocketscience
committed
254fa7a
fix(spine): an empty eligible set has no share, not a perfect one (#1356)
robotrocketscience
committed
2deeb23
test(spine): tie the baseline's fan-in count and miss buckets to identities (#1356)
robotrocketscience
committed
cecb163
docs(cli): correct two false claims in the spine-verify report (#1356)
robotrocketscience
committed
92b5fb0
fix(bench): stamp a re-derived baseline with its own measurement time (#1356)
robotrocketscience
committed
7c55770