💳 Fund Autonomy Ledgernot signed in🔑 Sign in

substrate attestation · live · v0

The map of maps — measured on the metal

Every commit to this repository writes a substrate measurement to a per-SHA JSON record. The cache-tier latency, the ballistic-gate speed, and the full 12×12 verifier walk land in the stream below — measured unprivileged on the host that produced each commit. Read this page as the receipt the FIM patent claims silicon will issue at line rate; today it is software-prosthesis on consumer laptops, and that is already enough to settle the discriminating questions an underwriter or examiner needs answered.

measurements
0
hosts
0
earliest
—
latest
—

Cache-tier baselines

Mean nanoseconds per dependent load at each tier, with σ. Sharp separation between tiers is the discriminating signal — when a commit shifts a workload across a tier boundary, the change is visible at this scale, no privileged counter access required.

TierMean ns/accessσ nsn samples
L10.000.000
L20.000.000
SLC0.000.000
DRAM0.000.000

Drift zones — measurements > 3σ from baseline

Per-host, per-tier z-score against that host's own rolling mean. A zone is a commit whose substrate signal moved outside the stationary band — the chip noticed the change. v0 surfaces single- host zones; cross-host correlation arrives with the v1 pilot.

No zones above the 3σ threshold yet — need more samples to establish per-host baselines.

Priced loss — the number, and what it isn't yet

Expected loss = frequency × severity. The frequency half is measured, twice, from two different corpora, read from src/data/actuary-ledger.json and data/pmu/sealed-calibration.json at build time — never typed onto this page.

live breach rate (recomputed 2026-08-26)
8.8%
34/387 breaches · CI [6.4%, 12.0%] · σ 1.64 · strike 4.668% · rate-on-line 1410.8 bps
sealed dogfood rate (pre-registered 2026-07-24)
15.4%
95% CI [10.9%, 21.3%] · sealed = true

The two numbers disagree and we publish both. The sealed rate is pre-registered and small; the live rate is larger, post-hoc, and recomputed on every commit. Neither supersedes the other — we have not chosen a favourite. What separates a real scope departure from an artefact of a badly declared scope — the false-alarm rate an underwriter actually prices against — is unmeasured. The full accounting, including what we refuse to claim and why, is in docs/underwriting/false-alarm-rate.md. This page states the frequency; it does not claim an underwriter has accepted it.

Recent measurements

Newest first. Each row is a per-commit reading the post-commit hook wrote next to that commit's diff.

No measurements in the stream yet.

What this page does not yet claim

  • Cross-deployment distribution data for pricing. The drift zones above are single-host z-scores. Multi-host correlation — the actuarial-grade distribution any reinsurance treaty would price against — is the v1 pilot product, co-built with the first underwriter to commit. The named deferral is itself the discipline.
  • Raw PMU counter reads. The §0a spec amendment names cache-tier latency as the v0 canonical signal; raw counters (perf_event_open on Linux, kperf on macOS) are v1 enrichment. The latency curve is isomorphic to the miss-count distribution for pricing purposes.
  • Sub-process attribution. Per-syscall coordinate attribution (spec §5b) requires DTrace on macOS, which is effectively gone post-Big Sur. v0 attributes by commit-touched file; per-script attribution arrives with the v1 wrapper.

Stream generated 2026-10-11 00:47:18 UTC · v0 storage = file-based ·source

Sufficient for: where it landed, re-runnable from the commit: same bytes, same hash. NOT sufficient for: whether the work was good, which is undecidable (Rice, 1953); nothing here claims it.

gemsedu.com #1 ▼0.9%moonshotscapital.com #2 ▲1%leadedgecapital.com #3 ▼1%differential.vc #4 ▲12.6%dometic.com #5 ▼4.5%thecignagroup.com #6 ▼2.5%sigma.se #7 ▼2.4%karlsborg.se #8 ▼4.2%teneo.com #9 ▼0.6%ltu.se #10 ▼7.8%emiratesnbd.com #11 ▲3.7%apcoworldwide.com #12 ▲0.8%championacaustin.com #13 ▼2.9%amseliplaw.com #14 ▼8.1%clarionschool.com #15 ▼2.1%reed.com #16 ▼7%scania.com #17 ▼10.9%svenskakyrkan.se #18 ▼2.7%anthonypllc.com #19 ▼0.1%rytmus.se #20 ▼8.4%sigeducation.com #21 ▼7.5%state.gov #22 ▲5.5%brodit.se #23 ▼7.9%scor.com #24 ▼7.9%ericsson.com #25 ▲4.4%easystem.se #26 ▼6.4%pernod-ricard-china.com #27 ▼13.5%khda.gov.ae #28 0.0%innoventureseducation.com #29 ▲3.2%dubaiholding.com #30 ▼2.5%wsp.com #31 ▼6.4%bdtmsd.com #32 ▲4.7%expediagroup.com #33 ▼7.1%parkcity.org #34 ▲34.9%lfg.com #35 ▲4%addition.com #36 ▼0.7%upandrunningdubai.com #37 ▲2.7%americancenteruae.com #38 ▼5.2%baylor.edu #39 ▼8.1%its.jnj.com #40 ▼1.3%rackspace.com #41 ▼9.2%eosvc.com #42 ▲16.9%cablevision.com #43 ▲0.5%crslimited.com #44 ▲2.1%atriumhealth.org #45 ▼11.3%sunstarstrategic.com #46 ▼7.7%oryxworld.com #47 ▼15.8%mit.edu #48 ▼2.2%gunnebo.com #49 ▼2.6%volvo.com #50 ▼1.3%siemens.com #51 ▼5.1%winningtemp.se #52 ▼6%neweratech.com #53 ▲0.2%newyorklife.com #54 ▲3.1%statefarm.com #55 ▼3.4%insureai.co #56 ▼15.8%inspiralia.com #57 ▲11.4%munichre.com #58 ▼5.6%sc.com #59 ▲12.9%marsh.com #60 ▲1.4%linkedin.com #61 ▼11.4%bermanauditadvisorycpa.com #62 ▲6.9%se.abb.com #63 ▲7.1%jcdecaux.ae #64 ▲6.8%aresmgmt.com #65 ▲18.7%bakerbotts.com #66 ▲78.1%jcdecaux.com #67 ▼3.5%nsigroup.org #68 ▼3.5%louisville.edu #69 ▲1.5%jkj.com #70 ▼2.4%artvillagenursery.com #71 ▼15.8%emerson.com #72 ▲21%luxcapital.com #73 ▼5.7%conning.com #74 ▼5.6%pacemetals.com #75 ▲30.1%fox.com #76 ▲2.7%tyrolit.com #77 ▲282.3%lbl.gov #78 ▼15.8%students.rcsj.edu #79 ▲43.2%ecoclean-group.net #80 ▲41.1%rakbank.ae #81 ▲4.9%schmuhlbrothers.com #82 ▲50.6%aig.com #83 ▼5%scnsoft.com #84 ▲95.1%bartec.com #85 ▲102.8%xprize.org #86 ▼5.5%bancamediolanum.it #87 ▲45.8%muskegoncc.edu #88 ▲236%tetrapak.com #89 ▲2.2%camarda.com #90 ▲66.4%jsx.com #91 ▲117.5%hsph.harvard.edu #92 ▼15.8%peraco.com.au #93 ▲68.2%mindshareworld.com #94 ▲889.9%krausanderson.com #95 ▲169.2%dubailand.gov.ae #96 ▲13.9%nyu.edu #97 ▼5.1%stoughtontrailers.com #98 ▲165.2%trenchlaw.com #99 ▼15.8%mckoolsmith.com #100 ▼15.8%gemsedu.com #1 ▼0.9%moonshotscapital.com #2 ▲1%leadedgecapital.com #3 ▼1%differential.vc #4 ▲12.6%dometic.com #5 ▼4.5%thecignagroup.com #6 ▼2.5%sigma.se #7 ▼2.4%karlsborg.se #8 ▼4.2%teneo.com #9 ▼0.6%ltu.se #10 ▼7.8%emiratesnbd.com #11 ▲3.7%apcoworldwide.com #12 ▲0.8%championacaustin.com #13 ▼2.9%amseliplaw.com #14 ▼8.1%clarionschool.com #15 ▼2.1%reed.com #16 ▼7%scania.com #17 ▼10.9%svenskakyrkan.se #18 ▼2.7%anthonypllc.com #19 ▼0.1%rytmus.se #20 ▼8.4%sigeducation.com #21 ▼7.5%state.gov #22 ▲5.5%brodit.se #23 ▼7.9%scor.com #24 ▼7.9%ericsson.com #25 ▲4.4%easystem.se #26 ▼6.4%pernod-ricard-china.com #27 ▼13.5%khda.gov.ae #28 0.0%innoventureseducation.com #29 ▲3.2%dubaiholding.com #30 ▼2.5%wsp.com #31 ▼6.4%bdtmsd.com #32 ▲4.7%expediagroup.com #33 ▼7.1%parkcity.org #34 ▲34.9%lfg.com #35 ▲4%addition.com #36 ▼0.7%upandrunningdubai.com #37 ▲2.7%americancenteruae.com #38 ▼5.2%baylor.edu #39 ▼8.1%its.jnj.com #40 ▼1.3%rackspace.com #41 ▼9.2%eosvc.com #42 ▲16.9%cablevision.com #43 ▲0.5%crslimited.com #44 ▲2.1%atriumhealth.org #45 ▼11.3%sunstarstrategic.com #46 ▼7.7%oryxworld.com #47 ▼15.8%mit.edu #48 ▼2.2%gunnebo.com #49 ▼2.6%volvo.com #50 ▼1.3%siemens.com #51 ▼5.1%winningtemp.se #52 ▼6%neweratech.com #53 ▲0.2%newyorklife.com #54 ▲3.1%statefarm.com #55 ▼3.4%insureai.co #56 ▼15.8%inspiralia.com #57 ▲11.4%munichre.com #58 ▼5.6%sc.com #59 ▲12.9%marsh.com #60 ▲1.4%linkedin.com #61 ▼11.4%bermanauditadvisorycpa.com #62 ▲6.9%se.abb.com #63 ▲7.1%jcdecaux.ae #64 ▲6.8%aresmgmt.com #65 ▲18.7%bakerbotts.com #66 ▲78.1%jcdecaux.com #67 ▼3.5%nsigroup.org #68 ▼3.5%louisville.edu #69 ▲1.5%jkj.com #70 ▼2.4%artvillagenursery.com #71 ▼15.8%emerson.com #72 ▲21%luxcapital.com #73 ▼5.7%conning.com #74 ▼5.6%pacemetals.com #75 ▲30.1%fox.com #76 ▲2.7%tyrolit.com #77 ▲282.3%lbl.gov #78 ▼15.8%students.rcsj.edu #79 ▲43.2%ecoclean-group.net #80 ▲41.1%rakbank.ae #81 ▲4.9%schmuhlbrothers.com #82 ▲50.6%aig.com #83 ▼5%scnsoft.com #84 ▲95.1%bartec.com #85 ▲102.8%xprize.org #86 ▼5.5%bancamediolanum.it #87 ▲45.8%muskegoncc.edu #88 ▲236%tetrapak.com #89 ▲2.2%camarda.com #90 ▲66.4%jsx.com #91 ▲117.5%hsph.harvard.edu #92 ▼15.8%peraco.com.au #93 ▲68.2%mindshareworld.com #94 ▲889.9%krausanderson.com #95 ▲169.2%dubailand.gov.ae #96 ▲13.9%nyu.edu #97 ▼5.1%stoughtontrailers.com #98 ▲165.2%trenchlaw.com #99 ▼15.8%mckoolsmith.com #100 ▼15.8%