prose-dev Atlas OpenProse docs bound to the contracts they describe
144 documents

Understand the runtime: compile smart, run dumb

The two-phase split is the whole architecture: intelligent compile (Forme wiring, canonicalizers, validators) and a dumb run-phase reconciler that only compares fingerprints.

4 · How a contract runs (verified reconciler path)

  1. prose run foo.prose.md → embody VM in-session (never a shell binary) — AGENTS.md, SKILL.md
  2. Forme wires ### Requires → ### Maintains facet edges at compile time — forme.md
  3. Wake = input receipt, continuity-clock tick, or gateway edge receipt — responsibility-runtime.md
  4. Memo key = (contract_fingerprint, input_fingerprints) only
  5. Unmoved → cheap skipped receipt, no render; moved → bounded render → rendered/failed
  6. Only rendered-with-moved-fingerprint propagates to subscribed downstreams