Fragment 3 · Wave 1

Wave 1 · The template

Two records are added at the door: the first fragment's listener and doer, unchanged. The machine reads them and sets itself up.

In this wave

1A wave beginsSETTLING · enter-settle
a wave is settlingengine: at the endmembrane: at the end
The log
end of the logenginemembrane
The runtime
What before after
a wave is settling no yes
Two records come to the door, so the runtime starts a wave: from now until the machine is quiet, it reacts. It runs one wave at a time.
Where it happens markSettling()Vol. 02 §4.6 · Vol. 02 §4.7
Marks the start and the end of a wave. The runtime settles one wave at a time.
Specification
Vol. 02 §4.6 · Vol. 02 §4.7
Code
markSettling() in core/registers/mark-settling.ts, line 16: the runtime notes whether a wave is settling
Journal
SETTLING · enter-settle · by runtime
Picture
a wave is settling: no → yes
core/registers/mark-settling.ts · build 043cc8b
// SETTLING latch (Vol. 02 §4.6): one settling wave at a time — a second
// concurrent settle is a caller error, not a queue. Ephemeral stratum: the
// latch never survives into a snapshot; extraction asserts it clear.
// Entering a wave also rewinds the discharge slot sequence: slot ids are
// wave-local (the table is drained between waves and ids never reach the
// log), which keeps the journal byte-identical across a snapshot/restore —
// unlike INTENT.CTR, which the spec pins as never-reset (Vol. 02 §4.7).

import type { RegisterFile } from "./register-file";
import { recordTransition } from "./record-transition";

export function markSettling(file: RegisterFile, settling: boolean): void {
if (settling && file.ephemeral.settling) {
throw new Error("A wave is already settling; the runtime handles one wave at a time.");
}
file.ephemeral.settling = settling;↑ the runtime notes whether a wave is settling
if (settling) file.ephemeral.nextDischargeId = 0;
recordTransition(file, "runtime", "SETTLING", settling ? "enter-settle" : "leave-settle");↑ the change is written into the journal
}
AGPL-3.0-onlyThe Lab's demonstration environment, as this fragment ran it (build 043cc8b). The code may change, and may differ from the code of a working machine.
Nest VM core, incubated in the CoAgnes garden · build 043cc8b (2026-09-21) · this file last changed in f36e70d (2026-08-18)
written by a person#0 · the first fragment's listener
written by a person#1 · the first fragment's doer
11The wave endsSETTLING · leave-settle
quietengine: at the endmembrane: at the end
The log
#0a listener
#1a doer
end of the logenginemembrane
The runtime
What before after
a wave is settling yes no
Nothing is left to take and nothing is waiting outside: the wave ends. The machine knows the first fragment's listener and doer; the slot is empty.
Where it happens markSettling()Vol. 02 §4.6 · Vol. 02 §4.7
Marks the start and the end of a wave. The runtime settles one wave at a time.
Specification
Vol. 02 §4.6 · Vol. 02 §4.7
Code
markSettling() in core/registers/mark-settling.ts, line 16: the runtime notes whether a wave is settling
Journal
SETTLING · leave-settle · by runtime
Picture
a wave is settling: yes → no
core/registers/mark-settling.ts · build 043cc8b
// SETTLING latch (Vol. 02 §4.6): one settling wave at a time — a second
// concurrent settle is a caller error, not a queue. Ephemeral stratum: the
// latch never survives into a snapshot; extraction asserts it clear.
// Entering a wave also rewinds the discharge slot sequence: slot ids are
// wave-local (the table is drained between waves and ids never reach the
// log), which keeps the journal byte-identical across a snapshot/restore —
// unlike INTENT.CTR, which the spec pins as never-reset (Vol. 02 §4.7).

import type { RegisterFile } from "./register-file";
import { recordTransition } from "./record-transition";

export function markSettling(file: RegisterFile, settling: boolean): void {
if (settling && file.ephemeral.settling) {
throw new Error("A wave is already settling; the runtime handles one wave at a time.");
}
file.ephemeral.settling = settling;↑ the runtime notes whether a wave is settling
if (settling) file.ephemeral.nextDischargeId = 0;
recordTransition(file, "runtime", "SETTLING", settling ? "enter-settle" : "leave-settle");↑ the change is written into the journal
}
AGPL-3.0-onlyThe Lab's demonstration environment, as this fragment ran it (build 043cc8b). The code may change, and may differ from the code of a working machine.
Nest VM core, incubated in the CoAgnes garden · build 043cc8b (2026-09-21) · this file last changed in f36e70d (2026-08-18)

What	before		after
a wave is settling	no	→	yes

What	before		after
a wave is settling	yes	→	no

At the end of the wave The machine holds note.gate and note.echo, and the slot is empty. Instead of typing a note, the person will open a Cell at it.