stzApp

(no comment in the source: the name reads as a sentence) initno extension

== Identity & substance =================================================no extension

(no comment in the source: the name reads as a sentence) graph qno extension

== DOMAIN (Being) ======================================================= AddThing() performs the act and returns NOTHING; AddThingQ() performs it and hands back the app, so the block AddThingQ(:X) { Has(...) Owns(:Y) } runs the app's OWN Has/IsTrue/Owns/Of on the current-thing cursor. (The core law: a plain name acts, the Q chains -- exactly as stzList does with AddItem() / AddItemQ().)QCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) hasno extension

(no comment in the source: the name reads as a sentence) is trueno extension

(no comment in the source: the name reads as a sentence) ownsno extension

(no comment in the source: the name reads as a sentence) ofno extension

(no comment in the source: the name reads as a sentence) add relationQCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) add instanceQCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) relateno extension

== LIFE - BEHAVIOR (Becoming) =========================================== When() returns This: the brace { Require(:x) Then( Keep(:Y) ) } runs app methods against the current-flow cursor.QCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) requireno extension

(no comment in the source: the name reads as a sentence) keepno extension

(no comment in the source: the name reads as a sentence) thenno extension

(no comment in the source: the name reads as a sentence) add reactionQCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) unseenno extension

(no comment in the source: the name reads as a sentence) meetsno extension

(no comment in the source: the name reads as a sentence) proposeno extension

== LIFE - PURPOSE (Becoming) ============================================ AddGoal() returns This; the brace assigns the goal-cursor ATTRIBUTES (Means/ReachedBy/Within/Respecting), flushed into the record by BraceEnd() when the brace closes.QCSXTZZZIBWU

THE DATA FORM (the house rule: a plain name returns DATA, the Q form returns the OBJECT). A goal as a plain record -- nothing to chain on.QCSXTZZZIBWU

just the goal's NAME -- said precisely, since that is all it returnsno extension

(no comment in the source: the name reads as a sentence) goal namesno extension

THE REAL PURSUIT: compile the goal's Means into an stzGraphGoal (a wanted graph state), measure the GAP on the live world graph, and turn each gap instance into a proposal through the matching Whenever/Propose reaction (or a bare :attend proposal when no reaction declares the way).no extension

(no comment in the source: the name reads as a sentence) goal satisfiedno extension

== BODY (embodiment) ==================================================== SetBody() returns This; the brace assigns the body-cursor attributes (Graph_/Files/Keep_ -- note: the DSL keywords Graph and Keep collide with the Graph() accessor and the Keep(thing) flow verb, so the ATTRIBUTES carry a trailing underscore and BraceEnd reads whichever was written).no extension

the body as DATA (the Q form above returns the object)QCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) saveno extension

== EMERGENTS (met from without) =========================================QCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) to discoverno extension

(no comment in the source: the name reads as a sentence) to understandno extension

(no comment in the source: the name reads as a sentence) to focusno extension

(no comment in the source: the name reads as a sentence) to selectno extension

(no comment in the source: the name reads as a sentence) to actno extension

(no comment in the source: the name reads as a sentence) showsno extension

(no comment in the source: the name reads as a sentence) actsno extension

(no comment in the source: the name reads as a sentence) add refinementQCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) boundsno extension

(no comment in the source: the name reads as a sentence) optionsno extension

THE DECLARATIONS, AS DATA. Anything outside (stzPlatform harvesting a world, a generator, a doc tool) asks through these -- it never reaches into the @attributes. AddReaches([...]) DECLARES the surfaces; Surfaces() reports them.no extension

[ [ thingName, [fields] ], ... ]no extension

(no comment in the source: the name reads as a sentence) screen namesno extension

(no comment in the source: the name reads as a sentence) add reachesQCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) brace endno extension

== ANIMATION ============================================================ Live() wires the world's reactions into a running reactive system and does a first Pulse() so the live world already reflects what its Whenever/Propose rules imply. Continuous/temporal firing rides the R5 stzAgentHost runtime (supervise the world, tick Pulse()).no extension

(no comment in the source: the name reads as a sentence) is liveno extension

PULSE: evaluate every reaction against the live world. A reaction 'Whenever :Thing ... Propose :Other' fires for each INSTANCE of Thing that lacks an <other>-labeled relation -- producing one proposal per gap (the same structural gap the goal machinery measures). Idempotent: a proposal already standing is not duplicated, and once the world Relate()s the instance the proposal clears on the next pulse. Returns proposals added.no extension

(no comment in the source: the name reads as a sentence) proposalsno extension

React to an EVENT on one instance: pulse just that instance's reactions. Returns proposals added.no extension

== PRESENCE (emergent) -- make the world visible ========================no extension

(no comment in the source: the name reads as a sentence) showno extension