CoAgnes Labthe study space

How the Machine Thinks · Sources

Sources

Every file this book draws on, gathered in one place. Paths are relative to the coagnes/ directory of the repository. Nothing in this book states a fact, quotes a line, or shows a tuple that was not checked directly against one of these.

§The specification and standing law

  • spec/PROGRAMME_MANUAL.md — how a figure is authored; the source for most of Part 3 and Part 2.
  • spec/ADR-004-playground-demo-stand.md — the working decision record for the workbench; decision d27 is the press-release study's own landing record, the direct source for Part 4.
  • spec/ADR-003-contour-protocols.md — acts as fact factories, the projector/formation-boundary rule, the origin of several cited rails.
  • CLAUDE.md (host root, outside coagnes/) — the eleven "Thinking rails," cited throughout as "host rail N."
  • /Users/leonid/vestacore/learning/meta/meta-bind-01.md (host level) — the collection · accumulation · publication figure named once, in 5.4's closing note.

§The core machine (nestvm/lib/)

  • lib/README.md — the region map and conformance ledger behind 6.3.
  • lib/TOPOLOGY.md — the four axes (Rotation, Truth, Contours, Observation) that are Part 6's spine.
  • lib/API.md — the wave API's three roots, the full ingest and projection registers, the catalogue section — the whole of Part 5.
  • lib/core/wave/{wave-tuple,contracts,create-wave-engine}.ts — the tuple envelope, the three station interfaces, the engine loop.
  • lib/core/runtime/create-wave-runtime.ts — the settle loop.
  • lib/core/membrane/create-membrane.ts — the sweep.
  • lib/core/topology/{create-deterministic-knot,create-operator-bind,create-emit-descriptor,rule-matches,parse-deterministic-condition,create-topology}.ts — knots, binds, dispatch.
  • lib/core/registers/*.ts — the register file and the whole self-journalling state protocol (op-map.ts, record-transition.ts, and every individual op cited in 1.4 and elsewhere).
  • lib/core/cells/{cell-protocol,create-cell-space,admit-cell-package,materialise-cell-records}.ts — the whole of Part 7.
  • lib/machine/gate.ts — the K1 doors.
  • lib/entry/{gate,handle-request}.ts — the K4 transport, 5.4's route table.
  • lib/session/create-document-session-host.ts — the request cycle, the four state-protocol principles.
  • lib/application/{act-intent,act-deepen,act-apply-data,act-review-cell,act-admit-blueprint,ingest-act,ingest-register,catalogue,figure-records,validate-figure,programme-shelf,read-lineage,log-address}.ts — the acts and readings cited across every part.
  • lib/side/world/{create-gemini-controller,create-local-ceremony-discharge,create-represent-controller,create-programme-choice-double}.ts — the controllers.
  • lib/side/figures/composer-fixture.ts — the composer's own Charter, blueprint, and admissionCeremonyRecords.
  • lib/side/observers/{sheet-projector,release-mark}.ts — the sheet's fold; the release-mark predicate behind publications@1.
  • lib/tests/intent-workbench.test.ts — the codebase's own "smallest figure that runs" example, quoted in 3.1.

§The programme shelf (nestvm/programmes/)

  • intent.yaml — the front door.
  • press-release.yaml — the four-vector study behind Part 4.
  • blueprints-reader.yaml — the reader seats, including the press-reader brief quoted in full in 4.3.
  • epistemic-cascade.yaml — the seven-level chain behind 2.3.
  • blueprints-epistemic.yaml — the seven seats' own titles, glosses and questions.
  • composer.yaml — the composer's root ceremony.
  • reflective-truth.records.json / .md — the manual's own cited exemplar of a minimal declared figure.

§The surface (nestvm/huid/, nestvm/app/, nestvm/debug/)

  • huid/formation/{gate,ingest-register,handle-act}.ts — the Next skin over the K4 transport.
  • huid/board/perspectives.ts — the workbench's own declared module map, the source for the dock table implicit in Part 6.
  • huid/modules/{cell-card,knot-card}.tsx — the Attest/Archive controls, Commit and Open a Cell, walked in 6.4 and 7.4.
  • app/(board)/workbench/page.tsx — the board's own polling and pin-committing code.
  • debug/perspective.ts — the debug board's declared module map.

§The worked session

  • .sessions/loop-sem-1/ (log/, journal/) — the stored session every real offset in this book is drawn from, in full in ../pr09.