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

prose-dev Atlas

OpenProse docs bound to the contracts they describe

Journeys

Start Here

The front door. What OpenProse is, how to run contracts where your agent lives, the code-verified architecture brief, and the fork-local working notes. Start with README, then the routing doc for your host session.

  • Architecture & Technology — prose-dev Architects and agents who want the verified topology, stack pins, and known gaps before editing code or docs.
  • OpenProse for Codex Codex agents at session start before running or authoring any contract.
  • prose-dev Instructions Contributors and agents working in this checkout who need build, test, style, and layout rules.
  • README First stop for anyone new to OpenProse or deciding whether the language fits their task.

Language Spec

The language and harness specifications: the ideal language, the harness contract, the authoring pattern, and the tenets that win conflicts. Normative where the SKILL is operational.

  • OpenProse Language implementers and contract authors who need exact kinds, sections, IR shape, and std layout.
  • OpenProse Authoring Pattern Contract authors who want their Maintains, Continuity, facets, and postconditions to actually trigger skips and selective wakes.
  • OpenProse Harness Harness builders and reviewers checking conformance, receipts, memoization, composition, and deferred items.
  • OpenProse Tenets Anyone resolving a design conflict or judging whether a proposal belongs in OpenProse.

The Skill

The operational heart: the SKILL.md router, the VM execution semantics, the five contract kinds, Forme wiring, the Responsibility Runtime, ProseScript, dependencies, state backends, primitives, and the concepts that define runtime meaning.

Contract Libraries

The two reusable contract libraries: the use-case-agnostic std (roles, evals, patterns, ops, delivery, memory) and the company-operations co starter kit.

  • co — Company as Prose Anyone adding company-operating contracts or choosing between std primitives and co starters.
  • OpenProse Standard Library Contract authors read this when picking a reusable function, responsibility, pattern, role, delivery adapter, or memory contract instead of authoring from scratch.

Contributor Docs

How the project is run and released: contribution rules, privacy, terms, release process, and the changelog history.