Skip to content

feat: the schema moves, and four lines stop being ones a reader may walk past - #102

Merged
rgdevment merged 1 commit into
mainfrom
rgdevment/both-machines-on-this-build
Oct 1, 2026
Merged

rgdevment merged 1 commit into
mainfrom
rgdevment/both-machines-on-this-build

Conversation

@rgdevment

@rgdevment rgdevment commented Oct 1, 2026 •

Copy link
Copy Markdown
Owner

Four lines each decide the fate of a file, and a reader that walks past any of them decides it wrongly. attach.kept and attach.let_go are what the holders of a body are read from, so walking past a release makes the last copy there is
go. doc.said is what says a body holds nothing, the only thing that tells a document somebody emptied from one the folder truncated — walk past it and the old body is written back over the emptying and travels. device.key is a machine's own word for what it signs with, so walking past it is being unable to check one signature. Taking the mark
off is what makes a reader stop; the schema moves with it so the reader stops for the right reason and is told before it copies home a line it could not read afterwards. The mark is only ever read where the operation's name is one the reader has never met, so taking it off a name no release has shipped is what makes every build so far stop
rather than guess. The cache rebuilds itself once and nothing in the log is migrated. docs/ARCHITECTURE.md moves the fence to 16 and records why these four lost the mark.

@rgdevment
rgdevment force-pushed the rgdevment/both-machines-on-this-build branch from 631b201 to 84d284a Compare October 1, 2026 19:29
@rgdevment rgdevment changed the title feat: the schema moves, and three lines stop being ones a reader may walk past feat: the schema moves, and four lines stop being ones a reader may walk past Oct 1, 2026
@rgdevment
rgdevment force-pushed the rgdevment/both-machines-on-this-build branch from 84d284a to 19abe42 Compare October 1, 2026 19:46
…alk past

A reader forgives a line it cannot make sense of when the line says it may be walked
past. That keeps a store readable by a build older than the line, and it costs nothing
where the line only adds something to look at. Four of them do not: each one decides the
fate of a file, and a reader that walks past any of them decides it wrongly.

`attach.kept` and `attach.let_go` are what the holders of a body are read from, and
letting go of a local copy asks exactly that question: walk past the release and a body
reads as still held elsewhere, so the last copy there is goes. `doc.said` is what says a
body holds nothing, which is the only thing that tells a document somebody emptied from
one the folder truncated — walk past it and the old body is written back over the
emptying, and travels from there to every machine. `device.key` is a machine's own word
for what it signs with, so walking past it is being unable to check one signature, and
falling back to taking a history on trust is the thing the key exists to stop.

Taking the mark off is what makes a reader stop. The schema moves with it so that the
reader stops for the right reason: without the move it refuses the line as corruption,
and the folder's own guard — which turns a whole round away before a byte is copied —
has nothing to read. With it, a build at schema 15 is told it is behind, and is told
before it copies home a line it could not read afterwards.

The mark is only ever read where the operation's name is one the reader has never met, so
taking it off a name no release has shipped is what makes every build so far stop rather
than guess. What keeps the mark is what costs nothing to miss: where an agent lives, a
mark on a document, a person's own alias.

The cache is keyed to the schema and rebuilds itself once. Nothing in the log is
migrated, and events already written stay readable exactly as they are.
@rgdevment
rgdevment force-pushed the rgdevment/both-machines-on-this-build branch from 19abe42 to 1109a51 Compare October 1, 2026 20:03
@rgdevment
rgdevment merged commit 095f142 into main Oct 1, 2026
14 checks passed
@rgdevment
rgdevment deleted the rgdevment/both-machines-on-this-build branch October 1, 2026 20:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant