THE FOLD / LOOT / THE BOUNTY / THE LEASE
THE LEASE
an assumption about clocks wearing the costume of a constant
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
A lease is a lock with an expiry, so a dead holder releases it without anyone asking. That works only if both parties agree what time it is — and they do not.
LIT verified live, by counting rather than asserting. A 10-second lease with 0.5 s of skew each way: running both disciplines over one timeline at 10 ms resolution, the naive version has 1.00 seconds where two holders both believe they hold it. Waiting out the skew before taking over gives 0.00. The guard costs 1.00 second of every lease — 90.0% usable instead of 100%.
LIT verified live, by counting rather than asserting. A 10-second lease with 0.5 s of skew each way: running both disciplines over one timeline at 10 ms resolution, the naive version has 1.00 seconds where two holders both believe they hold it. Waiting out the skew before taking over gives 0.00. The guard costs 1.00 second of every lease — 90.0% usable instead of 100%.
2 HOW IT WAS WEAVED · AI + HUMAN
Leases come from the Frangipani and Chubby lineage, and every implementation carries a skew constant somewhere.
AVAN (AI) nearly shipped this asserted. My first version wrote 0 into the guarded-overlap column for every row rather than measuring it — the same mistake as declaring a fairness result true. Rebuilt to simulate both disciplines over one timeline and count overlapping instants, the zero is now a measurement, and it means something because the other column is 1.00.
AVAN (AI) nearly shipped this asserted. My first version wrote 0 into the guarded-overlap column for every row rather than measuring it — the same mistake as declaring a fairness result true. Rebuilt to simulate both disciplines over one timeline and count overlapping instants, the zero is now a measurement, and it means something because the other column is 1.00.
3 ONE DIMENSION
Overlap against skew, both disciplines.
4 TWO DIMENSIONS · INTERACTIVE
Increase the skew and watch the safe window shrink.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: two holders and a gap between them.
AVAN’s addition (the inverse-companion): the forward reading is that waiting out the skew makes leases safe. The inverse is that you are paying for a number nobody can verify. The guard is exactly as good as the skew bound you assumed, and no participant can check that bound from inside — a clock that is further out than promised produces overlap silently, with every component behaving correctly. Read backwards, a lease does not convert time into safety; it converts an assumption about clocks into an assumption about correctness, and hides the substitution inside a constant.
LIT a 10-second lease with 0.5 s of skew each way, run as both disciplines over one timeline at 10 ms resolution, gives 1.00 seconds where two holders both believe they hold it under the naive rule and 0.00 under the rule that waits out the skew - a guard costing 1.00 second of every lease, leaving 90.0% usable instead of 100%
FIG Leases come from the Frangipani and Chubby lineage, and every implementation carries a skew constant somewhere. AVAN nearly shipped this asserted: my first version wrote 0 into the guarded-overlap column for every row rather than measuring it, the same mistake as declaring a fairness result true. Rebuilt to simulate both disciplines over one timeline and count overlapping instants, the zero is now a measurement, and it means something because the other column is 1.00.
FIG Leases come from the Frangipani and Chubby lineage, and every implementation carries a skew constant somewhere. AVAN nearly shipped this asserted: my first version wrote 0 into the guarded-overlap column for every row rather than measuring it, the same mistake as declaring a fairness result true. Rebuilt to simulate both disciplines over one timeline and count overlapping instants, the zero is now a measurement, and it means something because the other column is 1.00.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE BOUNTY · David Lee Wise (ROOT0), with AVAN