ley-line

The content-addressed substrate underneath — and the falsification ladder that decided what belongs on top of it.

2 parts

Accepting that something is genuine means trusting an authority or checking it yourself. Content addressing is the second one: the name is the hash of the bytes, so no issuer sits in the loop to believe — or to steal from.
That makes verification arithmetic rather than judgment, which is what lets every layer above it stay cheap.
The substrate then tested whether fancier mathematics could beat a plain hash for cache invalidation. A four-rung falsification ladder said no, and the number that closed it was not the error rate but the marginal value over the gate already running.
What replaced it was plainer and worked: hash the exact rows a derived view reads, and an unchanged input closure proves the output unchanged. Restriction maps earned rent. Cohomology did not.

AI;DR

Verify by Hash, Not by Trust
Content addressing is a trust primitive: when a thing's name is the hash of its bytes, checking it stops meaning trusting anyone.
Jul 14, 2026 · 5 min read
The Math That Didn't Pay Rent
ley-line-open tested whether cellular sheaves could make cache invalidation smarter than a hash check. A four-rung falsification ladder said no — and showed what does earn its keep instead.
Jul 17, 2026 · 9 min read