CoAgnes Labthe study spaceresearch preview · build 1ececa2

CoAgnes Lab · the study space

Learn how the machine thinks

Lab is where the machine under CoAgnes is studied. It starts from one idea — everything the system knows is a single append-only list, and everything it does is a small part watching that list — and follows that idea down to the running code and up to the formal specification.

The whole machine in one pictureAn append-only list of numbered records. A listener watches the list for records of a shape and, once it has what it waits for, writes that it is ready. A doer watches for that readiness, acts, and what it produces becomes new records on the same list.THE LOG — APPEND ONLY#0fact#1fact#2fact#3ready#4request#5fact#6fact… IT ONLY GROWSlistenerdoerhears what it waits forwrites: I am readya doer hears the readiness……acts, and what it makes is more records
FIG. 01 — The whole machine in one picture: one list, and two kinds of part that watch it. Part 1 of the book starts here.
  1. 01How the Machine Thinks — the bookSeven parts, each told four ways: in plain words, as the analytical practice it mirrors, as the machine's own specification, and as the code that runs.
  2. 02The Nest Runtime Specification SetThe normative contract of the NestVM machine, in sixteen volumes, presented for study. Licensed CC-BY-4.0 by the NestVM project.
  3. 03Recorded sessions — the machine at work, as readable dataReal sessions of the machine, walked gesture by gesture and tuple by tuple.
  4. 04Fragments — the machine one change of state at a timeThe smallest real runs of the machine — a knot, a bind, a fact; a crossing; then a Cell — walked change by change: every write to a register, tied to the record that caused it and to what it formed.

PoliciesAcceptable Use PolicyPrivacyResearch preview

§Two ways in

The book explains. It takes the whole machine in seven parts and tells each part four ways: in plain words, as the analytical practice it mirrors, as the machine's own specification, and as the code that actually runs. Nothing in it is asserted in the abstract where a real recorded session could show it instead.

The specification binds. The Nest Runtime Specification Set is the normative contract of the NestVM machine — what a conforming machine must record, how it must move, and the formats its programmes are written in. It is the text the book keeps pointing at.

§How to read Lab

New to the machine: begin with Part 1 of the book and read front to back; each part leans lightly on the ones before it. Evaluating how the system handles delegated, model-assisted work under human review: go straight to Part 7, the Cell. Implementing or integrating: keep the specification open beside Part 5.

§What is here, and what follows

  • Here now: the book in full — seven parts, twenty-nine chapters, a glossary and its sources; the specification in sixteen volumes, each with the Lab's reading aids beside its text; three fragments of the machine, one change of state at a time; and one recorded session, step by step.
  • Following: hands-on parts, once they have been proven locally.

StageLab is a research preview: its pages are for preliminary reading and may contain inaccuracies — see research preview. Lab is filled in order, and a page appears only when it has real text to carry.