Part 5 · 5.3 Functional Specification
The specification: the three roots, in full
Where and how flows form — the complete, current list of what the wave API offers, not a sample of it.
Source: nestvm/lib/API.md (the machine's own protocol reference).
§The three roots, in the specification's own words
"The three roots (thin transport skin):
/api/service/...— the harness's REST (sessions, session meta with the core and catalogue versions, the catalogue, the shelf of programmes, a draft-plane probe);POST /api/ingest/{type}?session=— the only change of truth, one request cycle per call;GET /api/projection/{contract}?session=&…— snapshots. Refusals answer 422 with the machine's own reason."
Every service-root route is a lookup: the list of stored sessions and their watermarks; one session's own meta (its watermark, which machine class is actually mounted, the core and catalogue versions); the whole function catalogue; the shelf of programmes (split into blueprint sets and records programmes) plus a static list of techniques; the seats a Cell could be opened from; a session's lineage (its ancestors and children, 2.3); and one deliberately marked liberty — a draft-plane probe that previews a proposed figure without committing anything, kept for exploratory work only.
§The ingest type register, complete — eleven types
Every single named way to change what the machine knows, as of this writing:
| type | act | what it does | status | |
|---|---|---|---|---|
intent | actIntent | the front door: bootstraps a fresh session, commits the person's opening words and the door's own clock, then — in the same request — the world names the closest-fitting study method and the loader sows it | CURRENT | |
deepen | actDeepen | open a Cell from a declared slot: a seat's charter plus a deterministic inner figure enter admission; once opened, a return figure is sown at root, addressed to carry the eventual export back ([[02-lines-of-reasoning/2-4-technology | 2.4]]) | CURRENT |
facts | actApplyData | one or more plain {factType, data} facts — the ordinary fact factories every form and every bare-word button on the surface use | CURRENT | |
cell.form | actFormStudyCell | the root ceremony figure plus a wanting fact and its presentations — an earlier route into admission, kept for the study-Cell fixture | CURRENT | |
cell.feed | actFeedCell | presents an additional fragment into an already-open Cell | CURRENT | |
cell.review | actReviewCell | the human decision: {cellRef, decision, actor} — the only door into sealed or archived ([[07-the-cell/7-4-technology | 7.4]]) | CURRENT |
records | actAssembleFigure | registers listener/doer records directly from a submitted list — a laboratory liberty, not the paradigm's authoring path | LIBERTY | |
figure | actComposeSemanticFigure | compiles a whole figure from a plain-language intent — another laboratory liberty | LIBERTY | |
represent | actRepresent | the reuse move itself, callable directly ([[02-lines-of-reasoning/2-4-technology | 2.4]]) — a committed value re-presented, retyped and addressed as asked | CURRENT |
cell.form {ceremony: composer} | actFormStudyCell | seeds the composer Cell specifically ([[03-the-minimal-fragment/3-3-specification | 3.3]]) | CURRENT |
blueprint.admit | actAdmitBlueprint | re-enters a blueprint — the composer's own export, or one presented inline — into admission as a fresh Cell, all-or-nothing | CURRENT |
Two types are marked LIBERTY rather than CURRENT on purpose: they exist for exploratory, laboratory-side work — building a figure directly from raw records, or from a plain-language description — and are explicitly not the paradigm's own authoring path, which is always the planner-bind-plus-admission route Part 3 describes. The distinction is stated in the register itself, not left to be inferred.
§The projection register, complete — nineteen contracts
Every named computed view the machine currently offers, grouped by what kind of thing it shows:
The study's own state:
| contract | shows | |
|---|---|---|
sheet@1 | the living document — the intention as its head, the person's own pinned rows in the order pinned ([[04-the-standard-scenario/04-the-standard-scenario | Part 4]]) |
work-queue@1 | every figure's stage (waiting · open · published · accepted · closed), each knot as a "figure to fill" — what it hears, its declared fields, its condition, verbatim | |
figure-history@1 | one figure's whole dossier: what reached each of its knots, its intentions and their answers, what it released, what it sowed | |
publications@1 | the released rail — every bind publication and every Cell's accepted export, in order, each with its own declared presentation view | |
cell-lifecycle@1 | every Cell's state, its charter, its assessment, its review — the full record behind [[07-the-cell/07-the-cell | Part 7]] |
cell-graph@1 | the space of Cells as a graph, with provenance on every edge | |
study-run@1 | the older, pre-workbench study reading (a milestone-driven run) | |
figure-wiring@1 | how a figure's knots and binds are actually wired together | |
figure-pulse@1 | a figure's live activity — what has just moved | |
scene@1 | the milestone-driven scene ladder of the original playground surface |
Debug and archival — reading the raw log itself, the one sanctioned exception to "never touch the log directly":
| contract | shows |
|---|---|
trace@1 | one committed tuple, by address |
tuple-trace@1 | one tuple's whole movement: what caused it, what it changed, what it produced, what shares each of its correlation stamps |
station-trace@1 | the journal read by place (one station's whole sequence) or by actor (one controller's whole exchange history) |
wave-journal@1 | the raw journal of one ingress wave |
| snapshot-at | one retained machine snapshot, at an exact quiescence point |
Formed at the wire itself, composed from more than one reading:
| contract | shows |
|---|---|
vitals | the watermark, tuple/knot/bind counts, which machine class is actually mounted, continuation state |
blueprints | the shelf's seats plus the static techniques list |
Nineteen names, covering everything on screen anywhere in this book — the sheet, the figure index, the released rail, every Cell card, the whole debug board. Nothing shown anywhere is computed by any path outside this list.