post(blog): the formal-methods case for the pricing math, written by a Fable subagent from the property ledger and installed as The Market's math — every figure a row with its status: the commit as the unit with tags that refuse to add (KR40 U-1), medians 40,079 / 5.33 / 12 over 621, cogs through the table pinned 2026-09-17 to the vendors' token prices and BLS OEWS May 2025 ($65.38/h; one commit $13.37, KR43), yield 0 of 142 so every per-pass floor prints UNMEASURED and the crate is proved never to print infinity (E4), σ as the top cell's margin in SDs with a null proved to be a permutation of the labels (V3) and an estimator proved level-invariant (V1), 24 pre-registered cells and two nulls that did not clear (KR34), the two-way optimisation, and the follow-up on the map of maps — grip as steering against a shuffled-pairing null, likelihood × worth in cogs as what a task is worth before it runs, the meter at 0.183 vs 0.169, z 0.5, at the null, no floor set, 85% the bar it is built to ratchet toward; parity to a millionth (E6)
This is a live, recomputable drift receipt — the on-chip proof of where this commit's work landed (in its authorized domain, out of it, or unplaced), sealed with a signature anyone can verify. It is the same receipt shipped in the on-commit email, hosted here so the claim is checkable on the open web. The full receipt (attestation, density panel, full commit message) publishes at /commit/5b8241e7d/ shortly after the commit lands.
This is the proven asset: the drift read was produced by a real on-chip walk on sensor: metal, sealed with an ed25519 signature over the canonical body, and bound to the exact lattice by gridHash. Anyone can recompute it and check the signature — no trust in us required.
These are measurements, not a validated risk score. In a pre-registered predictive test the drift metric did not predict real defects (AUC ≈ 0.50, at chance) and the σ is pinned — so nothing here is a probability of loss and nothing here is a price. It is honest telemetry we publish while the instrument is under calibration.
Δ weighted bleed · Δ-spread max king-move leak · Γ traction slope · 𝒱 reef volatility · Θ efficiency decay (null → pending; no per-commit token meter). Definitions are carried in the signed signal's notes.