a wave is settlingengine working on #28membrane waiting at #28

Wave 4 · Inside the Cell · record #28domain.factcontext.given

#28 · the words enter the Cell

The level routes them into cell@20: the inner listener keeps them and announces it as #29; the Cell counts the effect.

Came froma personA person gave it at the door: the only material the Cell receives. step 153

Read as

when it came in at the door

  1. 153Record #28 enters the logLOG · append

    a wave is settlingengine: next: #28membrane: waiting at #28

    The log
    1. #0a listener
    2. #1a doer
    3. #2listener: the charter
    4. #3doer: the author
    5. #4listener: charter seen
    6. #5listener: blueprint seen
    7. #6doer: the planner
    8. #7listener: assess · charter
    9. #8listener: assess · result
    10. #9doer: the evaluator
    11. #10the charter wanted
    12. #11the blueprint
    13. #12readiness
    14. #13readiness
    15. #14a request: a charter
    16. #15the charter proposed
    17. #16the charter defined
    18. #17readiness
    19. #18readiness
    20. #19a request: a Cell
    21. #20the seed
    22. #21the Cell is open
    23. #22inner listener
    24. #23inner doer
    25. #24the Cell's context
    26. #25return listener
    27. #26return doer
    28. #27the return address
    29. #28the person's wordsnewenginemembrane
    30. end of the log
    The log
    Whatbeforeafter
    records in the log2829
    #28—the person's words · context.given

    The door adds the person's words as #28: a fact of type context.given, at the level l1.seeking.

    Where it happens appendEmissions()Vol. 02 §4.1 · Vol. 03 §1

    The only function that adds records to the log. Each new record gets the next free number, at the end.

    Specification
    Vol. 02 §4.1 · Vol. 03 §1
    Code
    appendEmissions() in core/registers/append-emissions.ts, line 14: the new record gets the next free number
    Journal
    LOG · append · offset: 28, kind: domain.fact · by engine
    Picture
    records in the log: 28 → 29
    core/registers/append-emissions.ts · build 043cc8b
    1. // The one LOG writer (Vol. 02 §4.1, Vol. 03 §1): emissions become tuples by
    2. // receiving the next dense absolute offset — `base + window.length` — and
    3. // nothing else ever grows the log. Each append is journalled under the
    4. // ambient context, so a batch born of a propagated tuple carries that
    5. // tuple's offset as its cause — the cube's provenance line (ADR-002).
    6. import type { WaveEmission, WaveTuple } from "../wave/gate";
    7. import type { RegisterFile } from "./register-file";
    8. import { recordTransition } from "./record-transition";
    9. export function appendEmissions(file: RegisterFile, emissions: readonly WaveEmission[]): void {
    10. const engine = file.registers.engine;
    11. for (const emission of emissions) {
    12. const tuple: WaveTuple = { ...emission, offset: engine.base + engine.window.length };↑ the new record gets the next free number
    13. engine.window.push(tuple);↑ it is added at the end of the log
    14. recordTransition(file, "engine", "LOG", "append", {↑ the change is written into the journal
    15. offset: tuple.offset,
    16. kind: tuple.kind
    17. });
    18. }
    19. }

    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)

when the engine took #28

  1. 154The engine takes #28ENGINE.CURSOR · propagate

    a wave is settlingengine: working on #28membrane: waiting at #28

    The log
    1. #0a listener
    2. #1a doer
    3. #2listener: the charter
    4. #3doer: the author
    5. #4listener: charter seen
    6. #5listener: blueprint seen
    7. #6doer: the planner
    8. #7listener: assess · charter
    9. #8listener: assess · result
    10. #9doer: the evaluator
    11. #10the charter wanted
    12. #11the blueprint
    13. #12readiness
    14. #13readiness
    15. #14a request: a charter
    16. #15the charter proposed
    17. #16the charter defined
    18. #17readiness
    19. #18readiness
    20. #19a request: a Cell
    21. #20the seed
    22. #21the Cell is open
    23. #22inner listener
    24. #23inner doer
    25. #24the Cell's context
    26. #25return listener
    27. #26return doer
    28. #27the return address
    29. #28the person's wordsengine · workingmembrane
    30. end of the log
    The engine
    Whatbeforeafter
    pointer — the next record to take#28#29

    The engine's pointer moves past #28 — the only material the Cell receives, and a person gives it.

    Where it happens takeNextTuple()Vol. 02 §4.1

    The engine's step: take the record under its pointer and move the pointer on — or stop, if the pointer has reached the end.

    Specification
    Vol. 02 §4.1
    Code
    takeNextTuple() in core/registers/take-next-tuple.ts, line 15: at the end of the log, the engine stops
    Journal
    #28 · ENGINE.CURSOR · propagate · offset: 28 · by engine
    Picture
    pointer — the next record to take: #28 → #29
    core/registers/take-next-tuple.ts · build 043cc8b
    1. // ENGINE.CURSOR advance (Vol. 02 §4.1) — the machine's instruction pointer:
    2. // returns the tuple at the cursor and moves it forward exactly once, or null
    3. // at quiescence. Advancing IS the context switch: the ambient wave context
    4. // moves to the propagated tuple in the same movement, so every transition
    5. // journalled during its propagation is attributed to it — the cube's spine.
    6. // The cursor never rewinds.
    7. import type { WaveTuple } from "../wave/gate";
    8. import type { RegisterFile } from "./register-file";
    9. import { recordTransition } from "./record-transition";
    10. import { setDriver, setWaveContext } from "./set-wave-context";
    11. export function takeNextTuple(file: RegisterFile): WaveTuple | null {
    12. const engine = file.registers.engine;
    13. if (engine.cursor >= engine.base + engine.window.length) return null;↑ at the end of the log, the engine stops
    14. const tuple = engine.window[engine.cursor - engine.base];
    15. engine.cursor += 1;↑ the engine's pointer moves on by one
    16. setWaveContext(file, { offset: tuple.offset, phase: "propagate" });
    17. setDriver(file, "engine");
    18. recordTransition(file, "engine", "ENGINE.CURSOR", "propagate", { offset: tuple.offset });↑ the change is written into the journal
    19. return tuple;
    20. }

    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 6730f58 (2026-09-13)

  2. 155The inner listener opens a laneCLEWS · open-clew

    a wave is settlingengine: working on #28membrane: waiting at #28

    The log
    1. #0a listener
    2. #1a doer
    3. #2listener: the charter
    4. #3doer: the author
    5. #4listener: charter seen
    6. #5listener: blueprint seen
    7. #6doer: the planner
    8. #7listener: assess · charter
    9. #8listener: assess · result
    10. #9doer: the evaluator
    11. #10the charter wanted
    12. #11the blueprint
    13. #12readiness
    14. #13readiness
    15. #14a request: a charter
    16. #15the charter proposed
    17. #16the charter defined
    18. #17readiness
    19. #18readiness
    20. #19a request: a Cell
    21. #20the seed
    22. #21the Cell is open
    23. #22inner listener
    24. #23inner doer
    25. #24the Cell's context
    26. #25return listener
    27. #26return doer
    28. #27the return address
    29. #28the person's wordsengine · workingmembrane
    30. end of the log
    The listener cell@20::l1.seeking.gate
    Whatbeforeafter
    lane · this session—open

    The words carry the level l1.seeking, and that is what routes them into this Cell: the inner listener, in the region of cell@20, opens a lane for this session.

    Where it happens ensureClew()Vol. 02 §4.2 · Vol. 03 §5.1

    Opens a lane in a listener for a new key — the first time a fact with that key reaches it.

    Specification
    Vol. 02 §4.2 · Vol. 03 §5.1
    Code
    ensureClew() in core/registers/ensure-clew.ts, line 15: a new lane is opened for this key
    Journal
    #28 · CLEWS · open-clew · key: fragment-one-cell · by knot:cell@20::l1.seeking.gate
    Picture
    lane · this session: — → open
    core/registers/ensure-clew.ts · build 043cc8b
    1. // CLEWS lane creation (Vol. 02 §4.2): a clew is created lazily on the first
    2. // tuple of its key — parallel keys wind independent understanding (Vol. 05
    3. // §2, Vol. 03 §5.1). Creation is a transition (journalled); an existing lane
    4. // is a read and passes through silently.
    5. import type { ClewHandle, ClewRegisters } from "./topology-registers";
    6. import { recordTransition } from "./record-transition";
    7. export function ensureClew(clew: ClewHandle, init: () => ClewRegisters): ClewRegisters {
    8. const lanes = clew.region.clews.get(clew.knotId);
    9. if (!lanes) throw new Error(`Clew bank missing for knot '${clew.knotId}' — registration must precede facts (Vol. 02 §5.1).`);
    10. let registers = lanes.get(clew.key);
    11. if (!registers) {
    12. registers = init();
    13. lanes.set(clew.key, registers);↑ a new lane is opened for this key
    14. recordTransition(clew.file, `topology:${clew.region.regionId}/clew:${clew.knotId}`, "CLEWS", "open-clew", {↑ the change is written into the journal
    15. key: clew.key
    16. });
    17. }
    18. return registers;
    19. }

    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)

  3. 156The inner listener keeps the wordsCOLLECTED · collect

    a wave is settlingengine: working on #28membrane: waiting at #28

    The log
    1. #0a listener
    2. #1a doer
    3. #2listener: the charter
    4. #3doer: the author
    5. #4listener: charter seen
    6. #5listener: blueprint seen
    7. #6doer: the planner
    8. #7listener: assess · charter
    9. #8listener: assess · result
    10. #9doer: the evaluator
    11. #10the charter wanted
    12. #11the blueprint
    13. #12readiness
    14. #13readiness
    15. #14a request: a charter
    16. #15the charter proposed
    17. #16the charter defined
    18. #17readiness
    19. #18readiness
    20. #19a request: a Cell
    21. #20the seed
    22. #21the Cell is open
    23. #22inner listener
    24. #23inner doer
    25. #24the Cell's context
    26. #25return listener
    27. #26return doer
    28. #27the return address
    29. #28the person's wordsengine · workingmembrane
    30. end of the log
    The listener cell@20::l1.seeking.gate
    Whatbeforeafter
    lane · this session · slot textempty“A Cell is a bounded study the machine opens when a slot needs more than a fact: it has it…”

    The person's words go into the inner listener's slot text. Its condition holds: it has what it waits for.

    Where it happens collectDeterministicSlot()Vol. 02 §4.4 · Vol. 05 §3.3

    Fills a slot of a listener with a value it heard.

    Specification
    Vol. 02 §4.4 · Vol. 05 §3.3
    Code
    collectDeterministicSlot() in core/registers/collect-deterministic-slot.ts, line 20: the slot is filled
    Journal
    #28 · COLLECTED · collect · key: fragment-one-cell, slot: text, reduce: latest · by knot:cell@20::l1.seeking.gate
    Picture
    lane · this session · slot text: empty → “A Cell is a bounded study the machine opens when a slot needs more than a fact: it has it…”
    core/registers/collect-deterministic-slot.ts · build 043cc8b
    1. // COLLECTED write (Vol. 02 §4.4, Vol. 05 §3.3): the deterministic knot's
    2. // slot fills — `append` accumulates an array, otherwise the newest value
    3. // stands. The condition never runs here; this op records the landing.
    4. import type { DeterministicClewRegisters, ClewHandle } from "./topology-registers";
    5. import { recordTransition } from "./record-transition";
    6. export function collectDeterministicSlot(
    7. clew: ClewHandle,
    8. registers: DeterministicClewRegisters,
    9. slot: string,
    10. reduce: string,
    11. value: unknown
    12. ): void {
    13. if (reduce === "append") {
    14. const existing = registers.collected.get(slot);
    15. if (Array.isArray(existing)) existing.push(value);
    16. else registers.collected.set(slot, [value]);
    17. } else {
    18. registers.collected.set(slot, value);↑ the slot is filled
    19. }
    20. recordTransition(clew.file, `topology:${clew.region.regionId}/clew:${clew.knotId}`, "COLLECTED", "collect", {↑ the change is written into the journal
    21. key: clew.key,
    22. slot,
    23. reduce
    24. });
    25. }

    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)

  4. 157The slot is emptied againCOLLECTED · reset

    a wave is settlingengine: working on #28membrane: waiting at #28

    The log
    1. #0a listener
    2. #1a doer
    3. #2listener: the charter
    4. #3doer: the author
    5. #4listener: charter seen
    6. #5listener: blueprint seen
    7. #6doer: the planner
    8. #7listener: assess · charter
    9. #8listener: assess · result
    10. #9doer: the evaluator
    11. #10the charter wanted
    12. #11the blueprint
    13. #12readiness
    14. #13readiness
    15. #14a request: a charter
    16. #15the charter proposed
    17. #16the charter defined
    18. #17readiness
    19. #18readiness
    20. #19a request: a Cell
    21. #20the seed
    22. #21the Cell is open
    23. #22inner listener
    24. #23inner doer
    25. #24the Cell's context
    26. #25return listener
    27. #26return doer
    28. #27the return address
    29. #28the person's wordsengine · workingmembrane
    30. end of the log
    The listener cell@20::l1.seeking.gate
    Whatbeforeafter
    lane · this session · slot text“A Cell is a bounded study the machine opens when a slot needs more than a fact: it has it…”empty

    The inner listener empties its slot before it announces that it is ready; the words travel with the announcement.

    Where it happens resetDeterministicClew()Vol. 02 §4.4

    Empties a listener's slots once it has announced that it is ready.

    Specification
    Vol. 02 §4.4
    Code
    resetDeterministicClew() in core/registers/reset-deterministic-clew.ts, line 9: the slots are emptied
    Journal
    #28 · COLLECTED · reset · key: fragment-one-cell · by knot:cell@20::l1.seeking.gate
    Picture
    lane · this session · slot text: “A Cell is a bounded study the machine opens when a slot needs more than a fact: it has it…” → empty
    core/registers/reset-deterministic-clew.ts · build 043cc8b
    1. // The deterministic reset rule (Vol. 02 §4.4): COLLECTED clears at readiness
    2. // unless the policy says `never` — the station holds the policy, this op
    3. // holds the movement.
    4. import type { DeterministicClewRegisters, ClewHandle } from "./topology-registers";
    5. import { recordTransition } from "./record-transition";
    6. export function resetDeterministicClew(clew: ClewHandle, registers: DeterministicClewRegisters): void {
    7. registers.collected = new Map();↑ the slots are emptied
    8. recordTransition(clew.file, `topology:${clew.region.regionId}/clew:${clew.knotId}`, "COLLECTED", "reset", {↑ the change is written into the journal
    9. key: clew.key
    10. });
    11. }

    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)

  5. 158The Cell counts an effect: 1CELL.EMISSIONS · count-effect

    a wave is settlingengine: working on #28membrane: waiting at #28

    The log
    1. #0a listener
    2. #1a doer
    3. #2listener: the charter
    4. #3doer: the author
    5. #4listener: charter seen
    6. #5listener: blueprint seen
    7. #6doer: the planner
    8. #7listener: assess · charter
    9. #8listener: assess · result
    10. #9doer: the evaluator
    11. #10the charter wanted
    12. #11the blueprint
    13. #12readiness
    14. #13readiness
    15. #14a request: a charter
    16. #15the charter proposed
    17. #16the charter defined
    18. #17readiness
    19. #18readiness
    20. #19a request: a Cell
    21. #20the seed
    22. #21the Cell is open
    23. #22inner listener
    24. #23inner doer
    25. #24the Cell's context
    26. #25return listener
    27. #26return doer
    28. #27the return address
    29. #28the person's wordsengine · workingmembrane
    30. end of the log
    cellspace/cell:cell@20 · appears
    Whatbeforeafter
    cellRef—“cell@20”
    key—“fragment-one-cell”
    policy—mode = “trial” · isolation = “subscribed” · raw_input = “deny” · accepts = [{"match_type":"context.given"}] · capabilities = ["inference"] · budget = {"max_records":2,"max_emissions":120,"max_inference_calls":12} · publish = {"candidate":"knowledge.l1","accepted":"knowledge.l1.accepted"}
    resultType—“cell@20::knowledge.l1”
    producerBind—“cell@20::l1.seeking.release”
    plannerBindId—“admit.note.gate--l1.seeking.planner”
    plannerUid—“admit.note.gate--l1.seeking.planner#1”
    state—“running”
    emissions—1
    inferenceCalls—0
    resultValue—none
    localResultOffset—none
    resultOffset—none
    charterRef—“charter@15”
    assessedOffset—none
    aggregate—none

    Every effect inside a Cell is counted against its budget. The count is 1: the readiness about to be announced. A Cell over its budget is stopped by CellSpace, not by judgement.

    Where it happens countCellEffect()Vol. 12 §8

    Counts one effect of a Cell against its budget — every readiness and every release inside it.

    Specification
    Vol. 12 §8
    Code
    countCellEffect() in core/registers/count-cell-effect.ts, line 15: one more effect is counted
    Journal
    #28 · CELL.EMISSIONS · count-effect · count: 1 · by cellspace
    Picture
    cellRef: — → “cell@20”
    core/registers/count-cell-effect.ts · build 043cc8b
    1. // Cell budget counters (Vol. 12 §8–9): every locally returned emission and
    2. // every inference/service intention counts pre-interception — the ceilings
    3. // are judged by the station against the Cell's policy; this op is the
    4. // counting itself, returning the new total.
    5. import type { CellRegisters } from "./cell-registers";
    6. import type { RegisterFile } from "./register-file";
    7. import { recordTransition } from "./record-transition";
    8. export function countCellEffect(
    9. file: RegisterFile,
    10. cell: CellRegisters,
    11. counter: "emissions" | "inferenceCalls"
    12. ): number {
    13. cell[counter] += 1;↑ one more effect is counted
    14. recordTransition(↑ the change is written into the journal
    15. file,
    16. `cellspace/cell:${cell.cellRef}`,
    17. counter === "emissions" ? "CELL.EMISSIONS" : "CELL.INFERENCE_CALLS",
    18. "count-effect",
    19. { count: cell[counter] }
    20. );
    21. return cell[counter];
    22. }

    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)

  6. 159The readiness enters the log as #29LOG · append

    a wave is settlingengine: working on #28membrane: waiting at #28

    The log
    1. #0a listener
    2. #1a doer
    3. #2listener: the charter
    4. #3doer: the author
    5. #4listener: charter seen
    6. #5listener: blueprint seen
    7. #6doer: the planner
    8. #7listener: assess · charter
    9. #8listener: assess · result
    10. #9doer: the evaluator
    11. #10the charter wanted
    12. #11the blueprint
    13. #12readiness
    14. #13readiness
    15. #14a request: a charter
    16. #15the charter proposed
    17. #16the charter defined
    18. #17readiness
    19. #18readiness
    20. #19a request: a Cell
    21. #20the seed
    22. #21the Cell is open
    23. #22inner listener
    24. #23inner doer
    25. #24the Cell's context
    26. #25return listener
    27. #26return doer
    28. #27the return address
    29. #28the person's wordsengine · workingmembrane
    30. #29readinessnew
    31. end of the log
    The log
    Whatbeforeafter
    records in the log2930
    #29—readiness · sys.knot.ready

    The inner listener's announcement is written at the end of the log as #29 — in the Cell's name.

    Where it happens appendEmissions()Vol. 02 §4.1 · Vol. 03 §1

    The only function that adds records to the log. Each new record gets the next free number, at the end.

    Specification
    Vol. 02 §4.1 · Vol. 03 §1
    Code
    appendEmissions() in core/registers/append-emissions.ts, line 14: the new record gets the next free number
    Journal
    #28 · LOG · append · offset: 29, kind: sys.knot.ready · by engine
    Picture
    records in the log: 29 → 30
    core/registers/append-emissions.ts · build 043cc8b
    1. // The one LOG writer (Vol. 02 §4.1, Vol. 03 §1): emissions become tuples by
    2. // receiving the next dense absolute offset — `base + window.length` — and
    3. // nothing else ever grows the log. Each append is journalled under the
    4. // ambient context, so a batch born of a propagated tuple carries that
    5. // tuple's offset as its cause — the cube's provenance line (ADR-002).
    6. import type { WaveEmission, WaveTuple } from "../wave/gate";
    7. import type { RegisterFile } from "./register-file";
    8. import { recordTransition } from "./record-transition";
    9. export function appendEmissions(file: RegisterFile, emissions: readonly WaveEmission[]): void {
    10. const engine = file.registers.engine;
    11. for (const emission of emissions) {
    12. const tuple: WaveTuple = { ...emission, offset: engine.base + engine.window.length };↑ the new record gets the next free number
    13. engine.window.push(tuple);↑ it is added at the end of the log
    14. recordTransition(file, "engine", "LOG", "append", {↑ the change is written into the journal
    15. offset: tuple.offset,
    16. kind: tuple.kind
    17. });
    18. }
    19. }

    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)

when the membrane passed #28

  1. 183The membrane passes #28MEMBRANE.CURSOR · sweep

    a wave is settlingengine: at the endmembrane: passing #28

    The log
    1. #0a listener
    2. #1a doer
    3. #2listener: the charter
    4. #3doer: the author
    5. #4listener: charter seen
    6. #5listener: blueprint seen
    7. #6doer: the planner
    8. #7listener: assess · charter
    9. #8listener: assess · result
    10. #9doer: the evaluator
    11. #10the charter wanted
    12. #11the blueprint
    13. #12readiness
    14. #13readiness
    15. #14a request: a charter
    16. #15the charter proposed
    17. #16the charter defined
    18. #17readiness
    19. #18readiness
    20. #19a request: a Cell
    21. #20the seed
    22. #21the Cell is open
    23. #22inner listener
    24. #23inner doer
    25. #24the Cell's context
    26. #25return listener
    27. #26return doer
    28. #27the return address
    29. #28the person's wordsmembrane · passing
    30. #29readiness
    31. #30the private result
    32. #31the result, marked
    33. #32readiness
    34. #33a request: assess
    35. end of the logengine
    The membrane
    Whatbeforeafter
    pointer — the next record to pass#28#29

    #28 asks nothing of the world, so the membrane's pointer simply moves on.

    Where it happens sweepNextTuple()Vol. 02 §4.6 · Vol. 07 §3

    The membrane's step: pass over the record under its pointer and move the pointer on — exactly once per record.

    Specification
    Vol. 02 §4.6 · Vol. 07 §3
    Code
    sweepNextTuple() in core/registers/sweep-next-tuple.ts, line 16: the membrane's pointer moves on by one
    Journal
    #28 · MEMBRANE.CURSOR · sweep · offset: 28 · by membrane
    Picture
    pointer — the next record to pass: #28 → #29
    core/registers/sweep-next-tuple.ts · build 043cc8b
    1. // MEMBRANE.CURSOR advance (Vol. 02 §4.6, Vol. 07 §3): the membrane's own
    2. // reading of the one log — the second reception of one publication, never a
    3. // second truth. The cursor advances exactly once per offset per machine:
    4. // the exactly-once discharge guarantee lives in this movement.
    5. import type { WaveTuple } from "../wave/gate";
    6. import type { RegisterFile } from "./register-file";
    7. import { recordTransition } from "./record-transition";
    8. import { setDriver, setWaveContext } from "./set-wave-context";
    9. export function sweepNextTuple(file: RegisterFile): WaveTuple | null {
    10. const engine = file.registers.engine;
    11. const membrane = file.registers.membrane;
    12. if (membrane.cursor >= engine.base + engine.window.length) return null;
    13. const tuple = engine.window[membrane.cursor - engine.base];
    14. membrane.cursor += 1;↑ the membrane's pointer moves on by one
    15. setWaveContext(file, { offset: tuple.offset, phase: "sweep" });
    16. setDriver(file, "membrane");
    17. recordTransition(file, "membrane", "MEMBRANE.CURSOR", "sweep", { offset: tuple.offset });↑ the change is written into the journal
    18. return tuple;
    19. }

    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 6730f58 (2026-09-13)

Step 153: Record #28 enters the log

153 Record #28 enters the log

a wave is settlingengine: next: #28membrane: waiting at #28

The log
  1. #0a listener
  2. #1a doer
  3. #2listener: the charter
  4. #3doer: the author
  5. #4listener: charter seen
  6. #5listener: blueprint seen
  7. #6doer: the planner
  8. #7listener: assess · charter
  9. #8listener: assess · result
  10. #9doer: the evaluator
  11. #10the charter wanted
  12. #11the blueprint
  13. #12readiness
  14. #13readiness
  15. #14a request: a charter
  16. #15the charter proposed
  17. #16the charter defined
  18. #17readiness
  19. #18readiness
  20. #19a request: a Cell
  21. #20the seed
  22. #21the Cell is open
  23. #22inner listener
  24. #23inner doer
  25. #24the Cell's context
  26. #25return listener
  27. #26return doer
  28. #27the return address
  29. #28the person's wordsnewenginemembrane
  30. end of the log
The log
Whatbeforeafter
records in the log2829
#28—the person's words · context.given

The door adds the person's words as #28: a fact of type context.given, at the level l1.seeking.

Where it happens · appendEmissions()

The only function that adds records to the log. Each new record gets the next free number, at the end.

Specification
Vol. 02 §4.1 · Vol. 03 §1
Code
appendEmissions() in core/registers/append-emissions.ts, line 14: the new record gets the next free number
Journal
LOG · append · offset: 28, kind: domain.fact · by engine
Picture
records in the log: 28 → 29
core/registers/append-emissions.ts · build 043cc8b
  1. // The one LOG writer (Vol. 02 §4.1, Vol. 03 §1): emissions become tuples by
  2. // receiving the next dense absolute offset — `base + window.length` — and
  3. // nothing else ever grows the log. Each append is journalled under the
  4. // ambient context, so a batch born of a propagated tuple carries that
  5. // tuple's offset as its cause — the cube's provenance line (ADR-002).
  6. import type { WaveEmission, WaveTuple } from "../wave/gate";
  7. import type { RegisterFile } from "./register-file";
  8. import { recordTransition } from "./record-transition";
  9. export function appendEmissions(file: RegisterFile, emissions: readonly WaveEmission[]): void {
  10. const engine = file.registers.engine;
  11. for (const emission of emissions) {
  12. const tuple: WaveTuple = { ...emission, offset: engine.base + engine.window.length };↑ the new record gets the next free number
  13. engine.window.push(tuple);↑ it is added at the end of the log
  14. recordTransition(file, "engine", "LOG", "append", {↑ the change is written into the journal
  15. offset: tuple.offset,
  16. kind: tuple.kind
  17. });
  18. }
  19. }

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)

A fact: the person's words, for the Cell

The material a person gives a Cell: words at the Cell's level. The level is what routes them into this Cell and no other.

#28domain.factcontext.given a person

envelope
offset28Its place in the log — the only address a record has. The engine gives it when the record is added, the next free number, and it never changes.
kinddomain.factWhich of the four kinds of record the machine knows. The kind decides what the payload holds.
keyfragment-one-cellThis session's lane.
payload
factTypecontext.givenThe fact type — context.given, which the Cell accepts.
payload.data
levell1.seekingThe level: the Cell's inner listener hears only this one.
text«A Cell is a bounded study the machine opens when a slot needs more than a fact: it has its own charter, its own knots and binds, and a result that is assessed and reviewed before anything returns.»The person's words.

end · #28

In the specificationVol. 03 §1Vol. 03 §5Vol. 04 §3.1Vol. 07 §6Vol. 12 §4

The record as the machine keeps it
{
 "offset": 28,
 "kind": "domain.fact",
 "key": "fragment-one-cell",
 "payload": {
  "factType": "context.given",
  "data": {
   "level": "l1.seeking",
   "text": "A Cell is a bounded study the machine opens when a slot needs more than a fact: it has its own charter, its own knots and binds, and a result that is assessed and reviewed before anything returns."
  }
 }
}