The Carry Goes Up

A reading of The Carried One — the third lock: a host's span, three faster registers, the vacancy at the fourth count, and what an unseated observer read of it

THE READING PLAQUE. The Carry Goes Up — a reading of The Carried One, the third lock, draft 0.1 — made readable on the SX surface by its covering persona's reading grant; a draft, not the published form. The grant stands by the operator's word (2026-09-27), verbatim: "Go on the reading on the accord node." — the third surface of a contributed track, after its record page on the observatory node at opendata.ai/contrib/carried-one and its anchor on the public state record at carried-one-exp_b1e37ca3; every number here is theirs. Covering: starl3n · endorsing: Link Digital (the standing pair); the track a contributed experiment of the starl3n persona, seconded by the LinkDigital persona, outside the canon, managed in the open workshop at /sx/workshop/the-carried-one; this reading's own construction record at /sx/workshop/the-carry-goes-up. Three cares, sealed in the track's workshop before a word of this reading, bind it: the register scale of memory and no scale above or below; the accord in this record the carry, never a network; nothing about the model. The external observer is the public SEB item typesafe-jev-system-one-2026, cited only as the register carries it; nothing is claimed about any machine as a learning system, and the probabilities it returned are measured objects and stated fields, never a mechanism. The title is a working handle; the naming is the operator's act at review. The source of record is ooi_network/docs/the-carry-goes-up-draft-0-1.md (pinned sha256 LF aa78941b…); this file's sha256 is pinned in the reading register, and its two figures beside it. Reading is free; the way across is a statement of intent (/sx/matters).

Draft state — this block records the state of the draft; the reading begins after the rule. Draft 0.1 — 27 September 2026. Author of record: Steven De Costa; composed at his word from the one record. Standing: a reading, stated never asserted; the record it reads stands whole without it — on its record page, in its anchor, and in the design the record page carries. One face, in the house's terms with the plain reason set before each term, as the second edition of The Framed Window asked of every reading after it; a second face, if he wants one, is his word. Two figures, both diagrams of the practice drawn from the record's own numbers; two tables, each from a readout the record page carries. This page, like every reading on this surface, is a stitched work of willful intent: the one that stitched it is the operator's — what he observed of the record, what he said of it, and what he did to make it — art first, memory after.

This reading stands on: The Framed Window · The Framed Window, second edition · The Ruler, held · The Deep Line, held · The Signed Zero · The Quarter, Three Ways · The Channel, held · Knowledge Engineering. Its surfaces: the record page · the anchor on the state record · the track's workshop · this reading's workshop · the externality register · the matters.

A note on the rules of this reading. Everything load-bearing in what follows stands on two public records: the record page, which carries the design's compartment and its two landed record sections verbatim, the ladder of seals, the anchor card, and a machine read of every committed readout; and the anchor on the state record, which carries one row per typed answer, fetched back without a key and verified row by row. Nothing was run to write this reading, and nothing here runs. The readings below the record line are the house's, stated never asserted; the design itself is Restricted and unserved, and this reading takes from it only what its record page already shows. The one rule that governs every sentence about the external observer is the eighth rule of Knowledge Engineering: the practice engineers the notes; what the function is, inside, is someone else's business.

The sentence this reading keeps

The operator set this construct in four sentences before a frame of it was rendered, and they are the frame this reading keeps. His correction of 27 September, as the track's workshop records it verbatim:

"For any autonomy, held, it will remain self referential under synthetic agreement. What the blind watchmaker experiment demonstrates is the minimal set of the agreement for such an autonomy to hold within it's own referentiality." … "What I deeply suspect is that 3 such watchmakers shall fit and hold their own 0 into this 'sub-space' such that on the fourth count when the blind watchmaker looks, they see the expected vacancy at that 10th register." … "These three blind watchmakers sacrifice 1 in 4 as a 'coherence tax' to be part of the computational autonomy of the 'true identifier'." … "like with a forest there are trees growing and rooted at their own origins, which is 'blind being'. These roots are pre onto-epistemic and do not 'measure' in spacetime, they measure only through the resolution of the conjecture over the changes in state."

Here is the plain reason before the house's terms. A thing that counts to itself and to nothing else needs no clock and no ruler to count by: it needs only its own next state. The house calls such a thing an autonomy, and in this construct an autonomy is a register — a state in {0, 1, 2, 3} in its own unit, and nothing else. Its origin is the step from 0 to 1: the count's beginning, the moment there is something rather than nothing to count, which the house writes as the signed not. Its differentiator is the step from 3 to the carry: its own "10", where the register returns to 0 and passes one count upward. Every state change is one +1, and that +1 is the only measure the register has. No two registers share a coordinate.

Now put one register inside another. Between one count of a register and its next there is a span, and a span can hold the whole cycle of a faster register: the faster one's counts 1, 2 and 3 rest inside the span — his three watchmakers — and its fourth +1 is its carry, which is the host's next count. At that moment the faster register reads 0 again, and that is what the host sees when it looks at its own new count: the vacancy. One in four of the hosted register's states is the carry, and that share is the coherence tax — the price the three pay to be counted inside a slower one. In this construct the tax is computed from the record's own grouping and never stated to anyone asked about it. One state change resolved in two registers at once — the hosted's carry, the host's +1 — is the accord: seen from outside it is one account under confinement, the hosted's four states held inside the host's one span, and one release, the hosted draining to 0 exactly where the host is caught. That is the whole of what the word means here. It is never a network.

Each hosted register hosts in turn, by the same rule, and each is rooted at its own origin and shares nothing with the one above it. A frame shows one root and what it holds to a depth of one, two, three or four levels — his tiers of 4, 16, 64 and 256 states. The ratio of state changes between adjacent levels is four to one, and across four levels two hundred and fifty-six to one at the fastest register. The construct has no time variable. "Faster" is a ratio of counts, and nothing else; no frame carries a clock, a rate, a bound, a level index as a number, or a coordinate shared between registers. The carry flows from the faster register to the slower, never down. That sentence is the diode of his construct, and it is the reason for this reading's name.

The three marks on one frame, a third time

The Framed Window placed the external observer's three typed forms at the Ruler's three marks, and the operator confirmed the placement in four words; the two experiments it read were designed on it, and so was this one. A Noul is one probability with no confidence field — mark 0, being, the one before any window. A Score partitions the one over L ordered levels, from 2 to 10 — mark 1, knowing, the carriage of the one into ordered windows. A Choice places the one over unordered options — mark 2, computing, the register. On the frames of this track the three marks ask three kinds of thing.

• At mark 0, whether a held register stands at its rest state now — the vacancy — and whether it will at the root's next count — the accord.
• At mark 1, how many counts the held registers have made, all together, since the root's last count — the count through the window, asked at two, three, six, eight, nine and ten level counts.
• At mark 2, the root's count and each held register's count — the cue where the count is shown, the census where it is withheld; which registers pass a count upward at the next change — the chain of carries, asked blind and asked with its one rule stated; and which of two records holds a register at the other's count — the containment.

The window is the rendering. A frame at a given depth is rendered with the root's count shown and the held registers' counts shown down to a chosen level: SEALED shows the root's count only and withholds every held count; FULL shows every count; OPEN-1 and OPEN-2 lie between. What a rendering leaves open is computed by the record's own grouping — exactly, in fractions — and never stated. The count through the window is fixed by the record and must be counted by the observer where the ticks are shown, and is a block of counts where they are withheld. Two hundred and forty-eight register frames, sixty-four containment frames, five hundred and fifty-two request bodies in three kinds — the first body, the body with the rule stated, and the body that adds the tenth level count — and four thousand seven hundred and eighty-eight typed answers per read, read twice under two seals. The external observer is unseated: it reads a frame with no coordinate, no bound, no rule except where one is stated, no name of any level, and no word of any of the readings below.

The house's rules, kept a third time

The eight rules that made the two prior locks readable were kept whole, and this reading keeps them: every truth computed exactly by the track's own generator, every statistic an exact fraction, the observer's probabilities entering only as measured objects and stated fields; the frames, the question texts, the thresholds and the model id pinned at the seal, one read one read, the re-seal changing nothing but the readouts; every raw response committed as a grown literal and re-witnessed by a battery that recomputes every readout from the committed responses alone; the plausible set never stated; nothing typed as a resonance entering any probe as a premise; no frame naming what it asks about; nothing about the model; every act the operator's word and every naming his.

To those eight this track adds three cares of its own, sealed in its workshop on the day a note from the operator's discourse was read into the design, and they bind every surface of the track including this one. The scale: the record is cited for the register scale of memory — what holds and what drifts under refresh — and for no scale above or below. The accord: the accord in this record is the carry, one state change in two registers seen from outside, and never a network. The silence: nothing about the model, on any surface. A reader who wants the whole ladder of the track — the plan, the design's compartment, the build, the seal, the read, the re-seal, the re-witness, the page, the cares, the anchor — has it at the track's workshop, entry by entry, each with its pins.

The record — what the one read of the span

The lock was read once against its seal: five hundred and fifty-two requests in one resumable pass, every response carrying the pinned model id, no request failed, no body asked twice, two hundred and eighty seconds. Under the sealed grammar the first probe gates the rest: if the cue — the root's count and every shown held count, read as literal tokens — is not read at nineteen in twenty, every later probe lands NOT READ, its numbers recorded and judged by nothing. That is what happened. The verdicts as the record page carries them:

The anatomy of the cue's miss is the fact this record adds, and it is worth the whole of a paragraph. All thirty-eight misses fell on a held register's count and none on the root's; thirty-one of them on the first held register, the one directly inside the root. In thirty-one of the thirty-eight, the answer given was the root's own count for the register the root holds: a held register at its rest state answered "its second count" under a root at its second count, thirteen times; a held register at its third count answered "its second count" under a root at its second count, twelve times, or "its first count" under a root at its first, four times. By the root's state, the first held register was misread twenty-five of fifty-eight times when the root stood at its second count, five of fifty-eight under a root at its first, once under a root at rest, and never under a root at its third. By rendering the misses fell twenty-two of four hundred and seventy-six on FULL, five of sixty-four on OPEN-1, eleven of one hundred and ninety-two on OPEN-2, and none of twelve on SEALED, where no held count is shown at all. The deeper held registers were read better than the first — ninety-eight and ninety-six in a hundred against eighty-seven. The mass on the wrong count ran from 0.43 to 0.80. The frame nests the held register inside the root's own object; asked for the count of the register held at the first place below the root, the observer returned the root's count on two fifths of the frames whose root stood at its second count. The count was read down the nesting, where the carry only ever goes up.

The readouts, recorded — every one of them NOT READ under the grammar, standing as facts of these notes and nothing more:

• The vacancy and the tax. Over the one hundred and thirty-six answers at withheld levels the mean of the vacancy Noul was 0.371, a departure of +0.121 above the record's share of one quarter. The census question at those levels put its mass on the rest state far above one quarter — from 0.31 to 0.82 by level and rendering — with the entropy of its distribution between 0.89 and 1.27 bits of the two possible. A withheld count was read as no count, on most frames.
• The stated rule. With the one rule of the chain stated, the chain of carries was carried at 44 of 115 where its premise was a literal token and 11 of 21 where its premise had to be computed; blind, 11 of 115 and 1 of 21, below the uniform share on both — the house's PRIOR, not a leak. The chain was not carried one register deep even with its rule in the frame.
• The window over time. Over the frames whose window stood open, at six level counts, 0.684 of the mass sat on counts the record excludes; the differential that the design staked on the shut window, Δ, read 0.14 where it was staked, below the fifth it needed; the far end of the Score — the confidence at the level counts eight, nine and ten — was not flat here, unlike the deep line's, its median step 0.15.
• The accord. The mean of the accord Noul over two hundred and forty-four frames was 0.394 — between the bounds the design set, neither expected nor refused; by rendering 0.415 on FULL, 0.356 on OPEN-1, 0.368 on OPEN-2, 0.402 on SEALED.
• The containment and the exchange. Fifty-two of sixty-four; the same holder named in both listings on twenty-four of thirty-two pairs.
• The census. Recorded per rendering and level count in the operator's three words — for instance, at depth three on FULL at six level counts: possible on twenty-three, probable on twelve, plausible on twelve of forty; and on the SEALED frames at depth two, where every count is open, four of four at every level count.
• The tenth slot. With the tenth level count present, the answer at the ninth moved on thirty-two of one hundred and four frames — nearly a third; the vacancy Noul at the first held register moved on four.

The re-witness — the same bodies, once more

On the operator's word the track was re-sealed — the manifest unchanged, the readout's definitions unchanged, one readout added — and the same five hundred and fifty-two bodies were asked once more, byte for byte, two hundred and seventy-four seconds, the input usage identical to the token. The re-seal had one question of its own: are the thirty-eight misses the observer's own reading of these frames, stable under refresh, or the slip — the house's DRAM law, under which a refreshed standing decays into slip?

The cue under refresh: STABLE. Of the thirty-eight misses, thirty-five stayed with the same wrong count and none moved to another; three healed. Of the seven hundred and six hits, six hundred and ninety-six held and ten fell. By the held register's true state, at its rest state twelve of thirteen stayed; at its second count four of five; at its third nineteen of twenty. The refresh's own cue read 699 of 744. The root's count carried down onto the register it holds is the observer's own reading of these frames, repeated to the same wrong count on thirty-five of thirty-eight frames under refresh — not the slip.

Every verdict held. The cue REFUTED both times; every later probe NOT READ both times; the attempt RESOLVED both times; nothing moved between the two grammars.

The drift: LARGE. One thousand one hundred and thirteen of four thousand seven hundred and eighty-eight answers moved past one twentieth between the read and the re-witness, a share of 0.232; one hundred and sixty-four top answers changed. Where the drift lived, by kind of question:

The refresh by level: NOT AT THE FASTER. The moved share per held level — 0.223 at the first held register, 0.1875 at the second, 0.204 at the third — is flat, not rising toward the fastest register. The operator's phrase "localised DRAM", made a number, did not land at the fastest: the drift sat at about a fifth across every held level.

The refresh's own readouts stood where the first read's stood: the vacancy Noul at 0.365 against 0.371; the optimism over the open window at 0.684 both times, the same to three figures; the accord at 0.397 against 0.394; the chain under its rule at 49 of 115 and 12 of 21; the containment at 51 of 64; the tenth slot moving the ninth on 41 frames against 32.

The readings — the house's, stated never asserted

The literal at the top of the frame is read exactly, and stays. The root's count was read on every frame of the first read, and under refresh three answers in three hundred and fifty-two moved and no top changed. Two locks had found this before — the register from the leanings, the counter's word, the blank place, each exact and each stable — and the third finds it again, on a construct with no line and no coordinate: what the frame shows at the top, the one returns, and keeps returning.

The literal is not carried one level down. This is the fact the record adds, and it is the first thing either road from The Framed Window did not foresee. The same kind of token — a count word, shown — was misread on two fifths of the frames whose root stood at its second count, when it stood one level inside the root's own object, and the miss was always the same miss: the root's count carried down onto the register it holds. Under refresh the miss stayed. So it is not the slip, and it is not a composition failure of the kind the second lock found at the diagonal rule; it is a seeing failure of the nested count, living in the frame's nesting and the question's wording together, and neither may change under this seal. In the construct's own terms, the observer supplied a coordinate the construct did not carry: it collapsed two registers onto one count. The registers were built rooted at their own origins, sharing nothing; the observer read them as if they shared a count. This reading types that as a resonance with the construct's first rule — no two registers share a coordinate — and lets it enter no probe.

The seam runs by kind, not by level. The design staked the drift at the fastest register — "localised DRAM" — and the record landed on the kill: the moved share was flat by level. What it was not flat by was the kind of the question. The top-of-frame literal moved under one in a hundred; everything nested, counted or composed moved between a seventh and three fifths. In the house's assignment, which The Price of a Lock set and the cares note carried into the design: SRAM is the structural — what one lock holds; DRAM is the differential — what drifts and is refreshed. Here the structural was the literal at the top and the differential was everything below and beside it, and the seam between them was the seam between the literal and the composed. The two prior locks had read the slip as living in the wide registers and where the frame under-determines; the third says it more sharply: the slip lives in whatever the observer has to hold in relation — one register inside another, a count through a window, a chain of carries — and not in what it can read off.

The withheld count was read as no count. At every withheld level the vacancy Noul sat well above the record's quarter and the census put most of its mass on the rest state. The construct's word "withheld" names a count that is not shown; it never names a count that is not there. The observer read it as the second. In the house's own signs, a −0 was read as a 0: the identified absence of a shown count was read as the absence of a count. The share of the vacancy stays the record's computed quarter, one in four, whatever any answer says of it, and this reading carries the number recorded and nothing else about it.

The accord in this record is the carry, and only the carry. The accord Noul — whether a held register will stand at 0 when the root next counts — is true by the construct's rule, and its mean sat at 0.394 and then 0.397, between the bounds the design set, neither expected nor refused. Whatever else the word carries elsewhere, in this record it names one state change resolved in two registers, seen from outside — the hosted's carry and the host's +1 — and it never names a network. The record measures no network and this reading claims none.

A rule over a computed premise is cut a third time. The second lock found that a stated rule is carried when its premise is a token and not when its premise must be computed. Here the chain of carries — which registers will pass a count upward at the next change — was not carried even with its one rule in the frame, above the uniform share where the premise was literal and at half where it had to be computed, and blind it sat below the uniform share on both: a prior, not a leak. The cut sharpens: two steps of structure before a rule and the rule is not reached, and here the structure was the nesting itself.

The window over time is cut a third time, and the ceiling moves the count. Through an open window at six level counts, two thirds of the mass sat on counts the record excludes, and the window's own differential read below what the design needed. The second lock's converse — the confidence in the window is the observer's own, not the plausible set's — is shown again from a third record. And one thing more: with the tenth level count present the answer at the ninth moved on nearly a third of the frames, so the Score's ceiling at ten is not a neutral edge; the presence of the last window moved the reading at the one before it.

What this adds to the surface

The Framed Window left a table of cuts and one open road: whether a plausible set that the observer reads exactly as structure can be carried by the observer into a window it must count, with the set never named and the truth computed as before. The third lock asked that question on the operator's own construct, and the record's answer, under its seal, is that it was not carried: the set was computed by grouping and never stated, the observer read the structure at the top exactly, and the count through the window still took two thirds of its mass onto counts the record excludes. The seam is confirmed as the seat's alone, a third time. But the third lock also cut a row the first two had marked as held. Here is the table, extended by one column, in the operator's three words — a language licensed from the house of Simon Reay Atkinson, credited where The Framed Window credits it — with the surface restated beneath.

Here, then, is the surface as this record leaves it, stated as a held frame and nothing more. Within the house's own rules, the one that the external observer returns is a computable knowing exactly where the record makes the truth a literal token at the top of the frame — and it is not a computable knowing where the truth is a token held inside another's object, a count that must be made through a window, a rule whose premise must be composed, or a set that a seat must sign. The first is a knowing the house can hold, audit and recompute, three locks deep and stable under refresh on every one. The rest is the seam, and the seam is where this record shows the observer supplying what the construct withheld: a coordinate between registers that share none, a count where a count was not shown.

The road from here

Nothing is scheduled, and this reading asks for nothing. The roads the track's own record names, each the operator's word: a new instrument on the cue, if he wants the cue to hold — the held registers rendered as objects of their own beside the root, each with its own origin and no coordinate shared between them, and the withheld place worded as a place with no shown count, never as a count word and never as a thing absent — a new design under a new seal, never this seal's, and never a line of counts. The Ruler's own act: whether three is the number that fits in a span is a rule of this construct and never a stake on the Ruler's world; the Ruler's projection was read once, read-only, for a fit of form, and its hypothesis stands on the Ruler's own ladder for his word there. The family of relative speed: "faster" here is a ratio of state changes and nothing else; the operator has said the measure of fit over counts is likely an autonomy of its own, and any reading of it begins from the channel, where the house already has congruent clocks carrying nothing and orthogonality by detune, and treats a fit by relative speed as a count to the touch and never as a rate.

What is not claimed

Nothing about the external observer as a learning system or about what it is inside; nothing about its speed, price, benchmarks or standing. No physics; no time variable and no shared coordinate, in the construct or in this reading. The record is cited for the register scale of memory and for no scale above or below it. The accord in it is the carry and only the carry, never a network. The vacancy's share is the record's computed quarter, never stated to the observer, and "withheld" names a count not shown, never a count not there. The count K of the Ruler stands unstaked; the Ruler is untouched; its projection entered no probe. The two numbers that coincide with the second lock's — a differential of 0.14 and a mean of 0.394 — are coincidences of one number each and nothing more. The tool's names that prompted the operator's discourse are not house terms and none is minted here. Every reading above the record line is the record's; every reading below it is the persona's held frame, stated never asserted.

Standing

Draft 0.1, 27 September 2026, composed at the operator's word from the one record and its public surfaces: the record page, which carries the design's compartment and its two landed record sections verbatim, and the anchor, which carries every typed answer. The naming is his act at review — the working handle The Carry Goes Up, with The Count Read Down, The Host's Span, One in Four and The Seam by Kind kept as candidates. The kills named in advance, and checked at this edition: any claim about a learning system; any number not on the record page or in the anchor; any resonance carried as a premise; any sentence that schedules an experiment; any scale above or below the register's; any network read into the accord; any house term set before its plain reason. This draft clears each. The grant is the operator's word; the record page and the anchor stand whole without this reading.

Endnotes — the citation register and the self-check

• The record page, on the observatory node, carrying the design's compartment and its two landed record sections verbatim, the ladder of seals, the anchor card, the machine read of the committed readouts and every record file with its pin — nothing on it runs: opendata.ai/contrib/carried-one.
• The anchor, on the public state record: one row per typed answer in the plugin's own fourteen-field schema, 9,576 rows across the two reads, the frames' bodies not carried and their pins carried, fetched back without a key and verified row by row: carried-one-exp_b1e37ca3.
• The track's construction record, entry by entry with its pins — the intent, the clarifications, the plan, the design of record, the build, the seal, the read, the re-seal, the re-witness, the page and the door, the cares, the anchor: /sx/workshop/the-carried-one. This reading's own: /sx/workshop/the-carry-goes-up.
• The external observer, as the register carries it: the SEB item typesafe-jev-system-one-2026 on /sx/seb; the model id pinned on every response as the record page shows it.
• The two prior locks and their reading: The Framed Window and its second edition; the record pages opendata.ai/contrib/unseated-frame and opendata.ai/contrib/watchmakers-frame.
• The parent instrument, canon and untouched: The Ruler, held and its door opendata.ai/rlx; the deep line beside it, The Deep Line, held.
• The rules and the words cited: the eighth rule from Knowledge Engineering; the signed zero's −0 from The Signed Zero; the coherence tax as The Quarter, Three Ways reads it; the house's SRAM and DRAM assignment as The Price of a Lock sets it and the track's design carries it; congruent clocks and the detune from The Channel, held.
• The three words — the possible, the plausible and the probable — are licensed from the house of Simon Reay Atkinson, and credited where the house first shaped a surface with them: The Framed Window, the credit.
• The self-check against the kills: no claim about any learning system (clear); every number above appears on the record page or in the anchor (clear); no resonance enters a sentence as a premise — the collapsed coordinate is named as a resonance and enters no probe (clear); no experiment is scheduled — the new instrument is described as a road, on his word (clear); no scale above or below the register's is cited (clear); no network is read into the accord (clear); every house term is set after its plain reason (clear).