nx_lease.nx

nx_lease.nx -- THE SOVEREIGN LEASE PRIMITIVE (eats debt seq12/D002: "WMS write lane unlocked = race debt; claims/lease it"). Advisory TTL leases for contended write lanes (ws_put / planes / MEMORY-class shared state): ACQUIRE is atomic (mkdirat -- EEXIST = held), takeover of a stale or released lease is CAS-VERIFIED (write own stamp via tmp+renameat, read back, own nonce wins -- last-writer-wins + verify = the loser backs off), RELEASE flips the stamp to released and NEVER unlinks or rmdirs (the never-unlink-lock law: lock dirs are additive; a released stamp is the reusable slot). Self-mkdirs knowledge/lease (rule 20). Stamp = one line: held|released<TAB>owner<TAB>epoch<TAB>ttl<TAB>nonce Stale = state held AND now > epoch + ttl (the HOLDER's declared ttl -- crash-safe by construction: a dead holder's lease self-expires; no daemon needed). nx_lease acquire <name> <owner> <ttl-sec> exit 0 ACQUIRED | 3 BUSY (holder shown) | 4 io nx_lease release <name> <owner> exit 0 RELEASED | 3 REFUSED not-holder | 4 io nx_lease check <name> exit 0 prints stamp | 1 free nx_lease selftest 7 teeth, verdict=GREEN/RED, exit 0/5 name grammar [a-zA-Z0-9_-] only (deny slash/dot/traversal by construction). expect_exit: 0 license_tier: ORIGINAL No hw writes (Rule 26).