The Hallway

The turn against the account · what this is

The essay The Doorway and the Turn holds two laws and names an instrument for each. The second law: the turn is conserved — pre-resolved, costless — if and only if the account is complete; where it is not, the turn is paid for at the call, the payload carrying exactly what the account does not. Its instrument, the turn instrument by measure, is read here on the Cornering Walk's own exact apparatus (the corner, sealed and untouched; its arithmetic restated, never imported). The call is the rung; the turn is the step s ∈ {−1, 0, +1}; the account is the integer debt e, or the residual r, inside its wall; account-completeness is the number n of candidate accounts the wall admits at the rung; the payload the call must then carry is log₂ n bits — zero where the account decides alone, one where two steps remain, log₂ 3 where all three do. A dial ρ ∈ {1, 3/2, 2, 3} widens the wall relative to the account's quantum: at ρ = 1 the wall is the corner's own. The wall ladder (CH-A1) holds the payload constant on the house target 18/7 and varies the account; the converse (CH-A2) holds the account and varies the target across the corner's seven; the signed zero (CH-A3) records which step fires at a zero account, toward a question of the held conjecture's line that stays the operator's. Budgets 2⁸, 2¹⁰ and 2¹² steps; the band for the payload indifference is 0.001 bits — the operator's, "to not the approach to 0.05": no statistical null, every comparison exact.

The seat and the name. The starl3n persona is the contributor, as at the Cornering Walk; the name THE HALLWAY, the essay's second scene, and the experiment oxexp-hallway are the operator's naming act at the seal (2026-10-26: "The Hallway, oxexp-hallway"). The track is campaign three of the Cornering Walk by lineage, under its own slug — the house's reading of his "yes", confirmed by his word the same evening. Standing. CH-H1 THE CONSERVED CASE PASSED: at the sealed wall every rung admitted exactly one account on every target, and the house target's word was the measured word, 11 of 11. CH-H2 THE ACCOUNT LAW PASSED on every target at every budget: the cost of the turn never fell as the wall widened, and was zero at the sealed wall. CH-H3 THE PAYLOAD INDIFFERENCE KILLED at the half rung (ρ = 3/2) and at the top (ρ = 3) at every budget, and EXACT at ρ = 2: at a wall twice the quantum every target admitted exactly two accounts at every rung, so the cost was one bit whatever the target; at the half rung and at three the admitted count depended on where the account sat in its wall, and the three payload-free targets differed by a few thousandths to a few hundredths of a bit against a band of a thousandth — the kill fired and is kept with full standing. CH-H4 THE TURN AT THE SIGNED ZERO RECORDED: an account exactly zero took the step 0 in every one of 21,492 cases and never a step of ±1; the sign changes split evenly. The law stays HELD whatever lands — one instance never promotes, a kill is kept as the instance's; the minted essay, the corner's engine and TIX are untouched.

Prior to every read. The operator's prediction THE INNER CIRCLE was placed on the record and committed first (4c404b4), before this instrument's design was committed (a97a0e6), at his word that it be "a prediction made prior to the commit of The Hallway"; the registration carries its pin. His answer at the seal: no target joins from it — the prediction is read beside the corner's seven as they stand. The item: the matter corner-the-second-law-instrument on the accord node; the return to the essay's exhibit, Exhibit Ten, dt-turn-law-instance.

The ladder of seals

The operator's order, "seal first, then build and then acts": each a commit on the repository, the registration pinned before any engine existed.

The registration — frozen before any read

The house's estimate at the seal, written before the read and never a verdict: CH-H1 and CH-H2 expected to hold; CH-H3 expected met exactly at ρ = 2 and ρ = 3 and breached at ρ = 3/2 against 0.001 bits. Read against the record below — right about the half rung and about two, wrong about three.

The verdicts, as they fell

M1 · the deficit — the mean paid bits per rung, at 2¹² steps

The exact counts of rungs admitting one, two and three accounts are in the records; the bits here are the counts carried through log₂ 3's interval and shown to the eye. At ρ = 2 every target pays exactly one bit at every rung. The small-quantum commensurables are recorded beside, their lattice coarseness disclosed: 3/2 completes at step 1 and sits at zero (nothing paid until the wall exceeds its quantum twice over); 7/5 pays exactly three quarters of a bit at the half rung, its 4-cycle admitting two accounts on three rungs of four.

The three payload-free targets at the other budgets, half rung then top: 14104/9973 0.5117 / 1.2856 at 2⁸ and 0.5146 / 1.2839 at 2¹⁰; √2 0.5352 / 1.2719 and 0.5029 / 1.2902; √3 0.5273 / 1.2765 and 0.5166 / 1.2828. The quarter bins of |r| after each step for √2 at 2¹²: 2,109 rungs below a quarter, 1,987 between a quarter and a half; for √3: 2,013 and 2,083.

CH-H3 · the band — the pairwise gaps among 14104/9973, √2 and √3, in bits, against 0.001

Each gap is decided exactly from the counts (the difference of two deficits is (Δn₂ + Δn₃·log₂ 3)/K, compared with B·K through the interval); the decimals are for the eye. The gaps at the half rung and the top are of the order of 1/√K, as the seal's estimate said of the half rung.

M2 · the house target's word under the stand-in — the drift from the measured word to the greedy word

The same at every budget. The greedy word's return was expected at the top of the ladder; it returned at the first widening. The measured word needs exactly its sealed width-7 wall: one half-step wider and the account hands the turn to the payload at once — the stand-in, choosing the nearest candidate among those admitted, is the greedy walk wherever the greedy candidate is admitted, and the wider frame admits it from the first rung. The sup of the account falls from 5, the sealed frame's edge, to 3, the greedy's bound of half the quantum.

M4 · the turn at the signed zero (CH-H4, recorded)

Over the 84 walks of CH-A1 and CH-A2, 100,628 events. Only one target ever holds an account exactly zero — 3/2, which completes at the first step and sits at zero thereafter — and from an exactly-zero account the step taken was 0 in every one of 21,492 cases, never ±1, at every ρ. The other six never touch zero and change sign in nearly equal numbers of −1 and +1 steps. A readout toward a question of the held conjecture's line (its N8), never an answer; the operator asked that the signed zero be read both here and at that line's own instrument, which remains unscheduled.

The house's estimate at the seal, read against the record

The registration said, before the read: at ρ = 2 and ρ = 3 the wall is expected to admit a constant count — two, then three — so the three deficits agree exactly; at ρ = 3/2 the count depends on the account's position and the band is expected to be breached. Right about the half rung and about two; wrong about three. At ρ = 3 a third account is admitted only where the step is a hold (s = 0), since the alphabet has no s = ±2 — for √n exactly at the holds, for a/q where |e| ≤ q/4 — so the count there is two or three and the deficit at three carries the hold share (14104/9973: 2,088 rungs at two and 2,008 at three of 4,096; √2: 1,988 and 2,108; √3: 2,084 and 2,012). The battery caught the error before the acts and the composition records it (house_estimate_read_against_the_record). The kill at the top is the same kind as the kill at the half rung: the band's and the rung's, not a surprise.

The void

A registration (478c5a06…, under the engine 13914d1f…) and a first record of CH-A1 were written, then VOIDED: CH-A2 crashed in a readout display — a fraction string passed to float in the band gap shown to the eye — before any record of it was written. The engine was corrected (9f24da1), the registration re-written under the corrected engine, and the acts re-read from CH-A1; the reads are pure computation and landed identically. The voided files are kept beside and served as committed, renamed void-*, and the live registration names them (voided_prior).

The record files — served read-only beside this page

The index with each file's LF byte count and sha256: /contrib/hallway/records.