Specifications

This page serves as a hub linking to the authoritative specifications maintained in each package's docs/ directory, plus draft specification work that has not yet become a landed package surface.

Current-Only Entry

If you need a single current-surface document without version-history context, start with Current Contract.

Single Source of Truth

Specifications are maintained in canonical package docs with version indexes. The current hard-cut surface is: @manifesto-ai/core v5.0.0 ADR-025/ADR-027/ADR-028 semantic runtime, @manifesto-ai/host v5.0.0 concrete patch application boundary, @manifesto-ai/sdk v5.0.0 ADR-026 action-candidate surface, @manifesto-ai/lineage v5.0.0 continuity decorator surface, @manifesto-ai/governance v5.0.0 legitimacy decorator surface, @manifesto-ai/compiler v5.0.0 as the rolled-up MEL compiler contract aligned to ADR-025 and ADR-028, and @manifesto-ai/codegen v5.0.0 as the ADR-025/ADR-026-aligned build-time domain facade baseline. Draft package work that is not yet implemented is listed separately below.

If you want the governing documentation rules, see Documentation Governance.

If an older ADR conflicts with a current package SPEC on runtime surface details, the current package SPEC wins.

Reading Order

1. Read the current package README and VERSION-INDEX for the surface you want to use.
2. Use docs/api/ for package selection and import guidance.
3. Use the package SPECs for normative behavior.
4. Use archived or historical ADR/SPEC/FDR material only for decision history.

Current Normative Package Specifications

Core Runtime

Package	SPEC	Status	Package Docs
@manifesto-ai/core	Living Document (v5.0.0)	Normative	VERSION-INDEX
@manifesto-ai/host	Living Document (v5.0.0)	Normative	VERSION-INDEX

Application and Decorator Packages

Package	SPEC	Status	Package Docs
@manifesto-ai/sdk	Living Document (v5.0.0 surface)	Normative (ADR-026 action-candidate runtime grammar, projected state/computed read handles, observe/inspect, and law-aware submit())	VERSION-INDEX
@manifesto-ai/lineage	Living Document (v5.0.0 surface)	Normative (continuity decorator + lineage-mode submit() results + WorldRecord refs + ADR-025 restore/hash alignment)	VERSION-INDEX
@manifesto-ai/governance	Living Document (v5.0.0 surface)	Normative (legitimacy decorator + governance-mode submit() results + durable ProposalRef + waitForSettlement(ref))	VERSION-INDEX
@manifesto-ai/runtime	Retired	Superseded (ADR-010, no successor) — package removed from workspace	—
App facade (retired)	Removed (R2)	Historical reference only	Retired Page
@manifesto-ai/compiler	SPEC-v1.2.0.md (current v5.0.0 in-place)	Normative full MEL compiler contract aligned to ADR-025	VERSION-INDEX
@manifesto-ai/codegen	SPEC-v0.1.1.md (current v5.0.0 package release, in-place contract)	Normative build-time domain facade baseline aligned to ADR-025 Snapshot ontology and ADR-026 SDK v5 action candidates	VERSION-INDEX

Current Governed Direction: createManifesto() -> withLineage() -> withGovernance() -> activate()

Draft and Pending Package Specifications

There are currently no draft package specifications tracked from the active workspace. Proposed runtime extensions should land first as ADRs and then move directly into package-owned living specs when accepted.

Historical and Removed References

These references remain available for traceability, but they are not maintained onboarding entry points.

Retired Facade Package

@manifesto-ai/world was removed from the active workspace in ADR-017 Phase 4. It is no longer a normative package and no longer defines the public governed bootstrap story. See the retirement record.

Historical SDK Surfaces

Historical SDK v0-v2 package specs were removed from the working tree after the activation-first cut. Use Git history when you need archaeology for the ready-instance/runtime-helper era.

The @manifesto-ai/runtime package is retired. Its responsibilities are absorbed into createManifesto() internal wiring.

---

Quick Links to Latest Specs

Core

• Core SPEC — core-SPEC.md (Living Document, current through v5.0.0)
  • Updated directly in the living document; ADR-025 retires Snapshot.data, promotes snapshot.state, adds snapshot.namespaces, and makes patch roots channel-determined

Host

• Host SPEC — host-SPEC.md (Living Document, current through v5.0.0)
  • Updated directly in the living document; ADR-025 aligns Host to canonical snapshot.state, snapshot.namespaces, and the domain patch / namespace delta / system delta interlock
  • Deprecated §9 (Compiler Integration) moved to Appendix D

Lineage

• Lineage SPEC — lineage-SPEC.md (Living Document, current v5.0.0 surface)
  • Defines withLineage(), lineage-mode submit(), WorldRecord result refs, getWorldSnapshot() stored sealed canonical snapshot lookup, restore, and branch/head runtime queries

Governance

• Governance SPEC — governance-SPEC.md (Living Document, current v5.0.0 surface)
  • Defines withGovernance(), explicit lineage prerequisite, governance-mode submit(), durable ProposalRef, waitForSettlement(ref), control surface, and post-seal governance visibility

SDK

• SDK SPEC (Living Document)
  • sdk-SPEC.md
  • SDK v5 action-candidate surface — createManifesto() returns a composable manifesto, runtime verbs appear only after activate(), and the current root is snapshot(), context(), injectContext(), updateContext(), with(view), action, state, computed, observe, inspect, and dispose()
  • The current action ladder is info(), available(), check(), preview(), submit(), and bind(); v3 root verbs such as simulate(), dispatchAsync(), and createIntent() are historical migration inputs
  • state.* and computed.* expose typed read-only value() / observe((next, prev) => ...) handles over projected top-level fields

Compiler (MEL)

• Compiler SPEC v5.0.0 (Current Full, in-place file path)
  • SPEC-v1.2.0.md
  • Rolls up SchemaGraph, dispatchable when, TypeDefinition-backed schema-position lowering, pure collection builtins, object-literal spread with presence-aware object typing, compiler-owned source-fragment editing, and ADR-025 namespace separation into the current MEL compiler contract

Codegen

• Codegen SPEC v5.0.0 (Current package release, in-place file path)
  • SPEC-v0.1.1.md
  • Defines the deterministic build-time plugin runner, canonical domain facade generation, SDK v5 ActionHandle / ActionInput / ActionArgs type alignment, static action.* facade typing, reserved public action-name rejection, and ADR-025 snapshot.state / snapshot.namespaces separation

---

Version History Summary

Recent Changes (2026-05)

Date	Package	Version	Change
05-14	SDK/Lineage/Governance/Codegen	v5.0.0	ADR-026 revision 10: root getAction(name) resolves declared action handles for tooling-class dynamic action ids while app.action remains domain-only
05-07	Core/Compiler/Host	v5.0.0	ADR-028 hard cut: Core owns dynamic Flow patch target resolution, Compiler lowers/preserves without runtime evaluation, and Host applies concrete patches only
05-07	SDK/Lineage/Governance/Codegen	v5.0.0	ADR-026 revision 9: canonical semantic action access is the static action.* namespace; actions.* and app.action(name) are removed from the current v5 SPEC surface and reserved public action names fail fast
05-07	SDK	v5.0.0	ADR-026 revision 8: SDK SPEC adds projected state.* / computed.* read handles with read-only value() and observe((next, prev) => ...) semantics

Recent Changes (2026-04)

Date	Package	Version	Change
04-29	Core	v5.0.0	ADR-025 hard cut: canonical Snapshot uses state and namespaces, retires Snapshot.data, and makes patch roots channel-determined
04-29	Host	v5.0.0	ADR-025 hard cut: Host consumes canonical v5 Snapshots and applies domain patches, namespace deltas, and system deltas through the current interlock
04-29	SDK	v5.0.0	ADR-026 hard cut: SDK current surface is the action-candidate ladder with snapshot(), action.*, check(), preview(), submit(), observe, and inspect
04-29	Compiler	v5.0.0	ADR-025 hard cut: MEL state {} maps to snapshot.state, onceIntent lowers to Core causal guards, and user-authored MEL cannot read or write namespaces
04-29	Lineage	v5.0.0	ADR-026 hard cut: lineage-mode submit() replaces root commitAsync* verbs and carries WorldRecord continuity refs
04-29	Governance	v5.0.0	ADR-026 hard cut: governance-mode submit() creates durable ProposalRef settlement handles observed through waitForSettlement(ref)
04-29	Codegen	v5.0.0	ADR-025/ADR-026 in-place spec alignment: domain facades target SDK v5 action candidates and current Snapshot ontology
04-25	Compiler	v1.3.0	Current full compiler spec adds compileFragmentInContext() as the compiler-owned authoring-time MEL source-fragment editing primitive
04-23	Compiler	v1.2.0	Current full compiler spec admits object-literal spread as bounded source sugar and defines presence-aware object typing / direct merge() parity
04-08	Compiler	v1.1.0	Current full compiler spec rolls up v0.7.0 + addenda and lands TypeDefinition-backed nullable/record schema-position lowering plus expression-level collection builtins
04-08	Core	v4.2.0	Living Core spec now treats state.fieldTypes / action.inputType as the normative runtime typing seam while keeping FieldSpec as the compatibility surface
04-07	Core	v4.1.0	Living Core spec adds ActionSpec.dispatchable and the pure isIntentDispatchable() query without changing available semantics
04-07	SDK	v3.4.0	Living SDK spec adds intent dispatchability queries, blocker explanations, metadata flagging, and dispatch/simulate rejection split
04-07	Compiler	v0.9.0	Companion addendum documents dispatchable when and preserves SchemaGraph as availability-only static projection
04-07	SDK	v3.3.0	@manifesto-ai/sdk/extensions now also ships createSimulationSession() as the first-party immutable branching helper over the current arbitrary-snapshot seam
04-07	SDK	v3.2.0	ADR-019 landed: @manifesto-ai/sdk/extensions is now the current safe post-activation arbitrary-snapshot seam
04-06	SDK	v3.1.0	Living SDK spec promoted the projected introspection surface to current status: getSchemaGraph() and simulate() are now part of the current package contract
04-06	Compiler	v0.8.0	Companion SchemaGraph addendum documented for the current SDK introspection surface
04-01	SDK	v3.0.0	ADR-017 landed: activation-first SDK, composable manifesto return, one-shot activate(), and instance-owned intent/dispatch flow
04-01	Lineage	v3.0.0	withLineage(...).activate() landed as the current seal-aware continuity runtime
04-01	Governance	v3.0.0	withGovernance(...).activate() landed as the current governed proposal runtime with an explicit lineage prerequisite
04-01	Retired facade	Removed	@manifesto-ai/world removed from the active workspace and downgraded to historical tombstone status

Recent Changes (2026-03)

Date	Package	Version	Change
03-31	Core	v4.0.0	ADR-015 hard cut landed: accumulated system.errors and appendErrors were removed from the Core contract
03-31	Lineage	v2.0.0	ADR-015 + ADR-016 lineage contract landed: current-error hash identity, parent-linked WorldId, SealAttempt, tip, headAdvancedAt, idempotent reuse, and restore normalization
03-31	Governance	v2.0.0	Governance v2 landed: remove accumulated-error assumptions, remap provenance to SealAttempt, and align governance/lineage settlement to the current typed surface
03-31	Host	v4.0.0	Host v4 alignment followed the Core v4 Snapshot contract and removed system.errors from Host-facing Snapshot references
03-31	SDK	v2.0.0	Historical pre-ADR-017 SDK surface aligned to the Core v4 Snapshot contract before the activation-first hard cut
03-28	Governance	v1.1.0	Governance living SPEC created; package version index added
03-28	Lineage	v1.0.1	Lineage living SPEC patch release: adds BranchInfo.epoch, LineageService.getBranch(), and public-contract epoch reads
03-24	Compiler	v0.7.0	Draft compiler SPEC refreshed for ADR-013a (flow/include) and ADR-013b entity collection primitives
03-02	SDK	v1.1.0	ADR-010 hard cut: createManifesto() sole entrypoint, Runtime retired

Recent Changes (2026-02)

Date	Package	Version	Change
02-27	Core/Host/retired facade/Compiler/Runtime/SDK	Core/Host/former facade v3.0.0, Compiler v0.6.0, Runtime/SDK v0.2.0	ADR-009 hard cut reflected in normative specs and API docs
02-25	ADR/Docs	v1.0	ADR-010/011 accepted; living spec index updated for hard-cut and baseline rules
02-24	Core, Host, retired facade	—	SPEC consolidation: Living Documents, FDR inlined, old files archived
02-08	Retired facade	v2.0.5-patch	Head Query API, resume contract, branch persistence
02-08	App	v2.3.1-patch	Head Query delegation (getHeads(), getLatestHead())

Recent Changes (2026-01)

Date	Package	Version	Change
01-27	Retired facade	v2.0.3-patch	ADR-002 DX improvements
01-27	App	v2.1.0-patch	Platform namespace injection
01-27	Compiler	v0.5.0	$mel namespace, onceIntent
01-18	Host	v2.0.2	Snapshot Type Alignment, $host namespace
01-18	Core	v2.0.1-patch	ADR-002 alignment

---

Living Documents

Core, Host, SDK, Governance, and Lineage are maintained as Living Documents for their active package scopes. Compiler and Codegen remain versioned package specs.

Each Living Document includes:

• A Changelog table in the header tracking all version history
• Rationale blocks (> **Rationale (FDR-XXX):**) inlined at relevant sections
• Appendixes for cross-references, migration notes, and deprecated content

---

Normative Hierarchy

When documents conflict:

SPEC (highest authority)
  ↓
FDR (design rationale — now inlined in SPECs for Core/Host)
  ↓
ADR (architectural decisions — kept as separate immutable records)
  ↓
README / Guides (lowest authority)