Before you start · 3 of 3
The code that changes the state
The state changes in exactly 38 places in the code — 31 small functions — and nowhere else; the machine's own tests check it. Each step that follows is one call of one of them, and the first time you meet a function you will see it.
appendEmissionsbeginWindingcellsRegioncloseCellcollectDeterministicSlotconsumeCausalRequestcountCellEffectdefineCharterensureClewensureRendezvousindexCausalRequestlatchRendezvousProjectionlatchRendezvousScopemarkSettlingnextIntentionUidopenCellqueueDeltarecordCellAssessmentrecordCellResultrefuseWindingregisterDescriptorDefinitionregisterKnotDefinitionresetDeterministicClewresetSemanticClewresolveDischargestoreSlotDeltasweepNextTupletakeNextTupletrackDischargewindIntegrationwindLocalIntegration