Release 013 ended with a fact and a fence. The fact: in 2,696 real galaxies the onset of the dark is memoryless, in the geometric-mean variable, in the divide placement — a triple any theory must carry. The fence: our own reading of it (bonds that close or don’t) explained the number but could not be told apart from its rivals. This release does the only honest next thing: it tries to derivethe triple from our primitives, grades every step in plain words — derived, consistent, postulated— and then reports the one result that actually matters: the derivation forced the model to say something new. Something it can be killedover. That is what a neck on the block means, and it is the first thing all year that can move this story from held to earned — or to dead.

Where we land:held open. One mortal claim is staked: the dark's onset scale must rise into the past, or the reading dies. The same-hand derivation is disclosed, a cold re-run still owed — the sky, not the authors, rules.

1 · Why “explains everything” is worth nothing

A story that only explains what is already measured can never lose — and a story that cannot lose cannot win. We used exactly that blade on QBism in Release 013 (“shares every prediction — a stance, not a disproof”), so it applies to us with full force. Our closure reading fitted the measured a₀; so did two rival stories inside the same data window. Fitting is not deciding. The only way forward was to push the reading hard enough that it committed to something the data hasn’t seen yet.

2 · The derivation, graded in plain words

Can bond structure produce the triple? Leg by leg, with no grade inflation:

Memoryless — DERIVED.The framework’s signed shape says only closurecreates a record; an un-closed loop holds no state. If the un-closed holds nothing, the chance of closing cannot depend on how far along it is — there is nothing for it to depend on. Constant chance per step is the definition of memoryless, and the exponential law the data selected is the unique memoryless law. This leg falls straight out of the primitive.

The geometric-mean variable — CONSISTENT, not forced.The loop has two legs — out along the local field, back against the horizon — and if a round trip composes multiplicatively, its one natural scale is the geometric mean of its legs, which gives the data’s variable exactly. But “multiplicatively” is a choice that fits our primitive, not one forced by it. We say so.

The divide placement — POSTULATED.“Closure failure redistributes, it does not delete” — conserve the total and each closing bond carries the share of the failed ones: g_obs = g_bar/P. A good name for an assumption is still an assumption.

Assembled, the three legs reproduce the surviving curve exactly — and that exactness earns nothing, because the curve was already known. Re-deriving your own fit is post-diction. The pass is only worth having because of what the derivation refused to leave optional:

3 · The neck

The derivation ties a₀ to the horizon— the loop around the edge of the observable, a₀ = cH₀/2π. But the horizon is not a constant: H changes as the universe expands. Go back in time and H was larger, the horizon tighter. So the model has no choice but to predict:

a₀(z) = c·H(z)/2π — the knee of the missing-gravity law must sit higher in the past: ×1.3 at z=0.5, ×1.8 at z=1, ×3 at z=2.

Three things make this a real neck and not theatre. First, the fit never said it.McGaugh’s formula contains no redshift; this is new content, forced by the derivation, not read off the data. Second, it separates the rivals.The data window of Release 013 could not tell our 2π from the Λ-flavoured factor — but Λ is constant and H is not, so the Λ-story predicts a flat line where ours rises. The same future measurement that can kill us can also finally tell the window’s stories apart. Third, the measurement is within reach.Rotation curves of z≈1–2 disks are hard — current samples are small and contested — but they are being measured now, and the two predictions differ by a factor of three, not a decimal place.

4 · The disclosures, at full width

This derivation was run by the same hand, on the same day, as the finding it derives — the house normally parks that for a cold session, and the operator explicitly un-parked it; both facts are in the lab record, and a cold re-derivation by a fresh context is still owed. Nothing here is crowned: one leg derived, one consistent, one postulated, everything held. The prediction does not make the story right. It makes the story mortal — which is the only condition under which being right can ever mean anything.

Why our math sees more

Because it refuses to let a fit count as a win. Explaining a number already measured is post-diction — it earns nothing, and a story built only to survive what is known can never be killed, so it can never be right in any way that costs. So we pushed our own reading until it committed to something the data hasn’t seen: a₀ tied to a horizon that changes, forced to rise into the past. That is the method — grade each leg in plain words, refuse post-diction, force one claim the sky can execute, and disclose the hand that ran it. Right or dead, the universe decides.

Sources & method