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

Author a contract that actually wakes

Write Maintains, Continuity, and facets so memoization, quiescence, and commit gating engage instead of cron plus a prompt.

Canonical Sections

Forme and the Prose VM recognize these ### sections case-insensitively:

Section Applies To Purpose
### Description all Human summary. Preserved for readers; not used as a contract
### Goal responsibility, gateway The render's one-sentence standing intent
### Requires responsibility, pattern slots Subscription contracts naming facet-level needs; a #### sub-heading is a facet-need. Forme's match target (Requires.<facet> ↔ Maintains.<facet>)
### Maintains responsibility, gateway The world-model schema — type, canonicalization spec, facets (a #### sub-heading is a facet, the named-parts rule), and postconditions (see Maintains)
### Parameters function Inputs the caller passes at call time
### Returns function The value the function returns
### Continuity responsibility, gateway The intrinsic wake-source declaration: input-driven, self-driven, or external-driven (see Continuity)
### Errors responsibility, function Declared failures the node may signal
### Invariants responsibility, function, pattern Properties that must hold regardless of outcome
### Strategies responsibility, function, test Guidance for judgment calls and edge cases
### Environment responsibility, function Runtime variables supplied by host infrastructure
### Runtime responsibility, function Execution hints such as model
### Skills responsibility, function Agent harness skills the component requires the host harness to provide. See Skills
### Tools responsibility, function Host tools the component requires the host environment to provide. See Tools
### Shape responsibility, function Capability boundaries: self, delegates, and prohibited work
### Execution responsibility, function ProseScript render body that pins choreography
### Fixtures test Test inputs supplied without prompting
### Expects test Positive natural-language assertions
### Expects Not test Negative natural-language assertions
### Slots pattern Responsibilities or functions a pattern requires from its caller
### Config pattern Pattern-level parameters and defaults
### Delegation pattern ProseScript or pseudocode describing slot interaction
### Schedule gateway Optional cron-like ingress cadence
### Receives gateway Optional HTTP/event ingress description
### Emits gateway Responsibility name the gateway should wake
### Payload gateway Notes about the event payload shape

Unknown ### sections are preserved as documentation. They are not contract sections unless a future spec names them.