The Deep-Line Experiment

oxexp-deep-line · the exhaustive D-atlas

The discipline. Every claim was registered in writing, with its pass and fail conditions, before the data was read; every result landed on the record exactly as it fell — including the one instrument break (DLX-A4, OPEN-EDGE on the ledger: the validity rings caught it and voided every stake verdict, as designed). The read reach: the line [8, 2⁴⁰] EXHAUSTIVE under the A2..A10 seals — 1,099,511,627,769 cells, twelve orders of magnitude, ZERO exceptions ever on a staked law. The landed laws: THE DECAY LAW at thirty-six consecutive decaying eras (87.5% → 14.24%); THE PAIR LAW, strong form, past four billion members (4,084,108,660 = 2 × 2,042,054,330 pairs EXACT; zero solos, zero triples, longest run 2); the singleton standing at one occurrence in 1.1 trillion cells; eight admitting gates in a row (2³³..2⁴⁰ — a watch, never a stake). THE THINNING-GROUND STAKES (DLX-A10): the declared bands — exact intervals sealed BEFORE the read, the stall case priced to fall outside — ALL FOUR WITHIN: the asymptote is not reached through 2⁴⁰, and the bands bought nothing beyond the rung they priced. THE FIREWALL binds every panel: NO claim on any Millennium Prize problem, ever; no claim about physical cosmology or astronomy, ever; no claim about physical quantum mechanics, any physical measurement problem, consciousness, or phenomenal experience, ever. The census valence: the operator’s runs count nothing — acts, never eyes. The readable companion: The Signed Zero on the SX surface.

The gate — honest acceptance

The graduated instruments (the nine-register reduction · the composition fold · the C kernel — the Python paths the oracles forever; a divergence is an instrument break, never a discovery), the attempt ledger DLX-A1..A10, and the read reach — derived from the engine’s own acceptance, never asserted here.

The record — the frontier and the series

The landed records, pinned in the engine (derived-only; the live re-witness at any reach is the engine’s own sealed read, an operator act): the DLX-A10 frontier, the era decay series, the excess-class series, the pair law, and the thinning-ground declared bands with their landed verdicts. The plot draws, and never fits: counts on a log₂ axis (the cells line is exact — 2ᵗ per era — so the refusals’ widening gap below it IS the thinning, seen geometrically) and densities on a log axis (both decays as slow monotone falls; the declared bands drawn at eras 38/39 with the landed points inside them).

the plot loads on page open; the button re-reads

The external anchor

The attempt ledger to the immutable EXTERNAL record (mldata CKAN when configured; the dummy-node fallback otherwise) — one dataset row per sealed attempt, verdicts as landed, the A4 break kept. The anchor is created by the operator’s publish act and witnessed thereafter (the two-lock: the anchor beside the repository’s own pinned records; always witness the newest package).

oxexp-deep-line · engine daemon/dlx.py (readout-only; the graduated arithmetic byte-parallel or it does not run; no rix/mtx/ntx/chx import, ever) · kernel native/dlx_kernel.c (int64, float-free; the dual-path ring at 16,777,230 spots, zero mismatches at the frontier) · design docs/oxexp-deep-line-design.md (every rung sealed before its read; the ledgers append-only) · seals before reads; verdicts as-is; MODEL-INTERNAL; no claim on any Millennium Prize problem, ever.