Specifications
Specifications
Rendered from docs/specs
- Spec 0001 — Compiler kernel (
@effx/ir,@effx/compiler) - Spec 0002 — Runtime surface and TypeScript source frontend (
@effx/runtime,@effx/frontend-ts) - Spec 0003 — CLI and vertical slice (
@effx/cli,examples/users) - Spec 0003 handoff — CLI and vertical slice (2026-10-03, agent
slice3) - Spec 0004 — mono-web migration gap analysis and plan
- Spec 0005 — HTTP contract extension (Gate 1, part A)
- Spec 0006 — AccessContract and required guard bindings (Gate 1B)
- Spec 0007 — generated client and Foldkit command adapter (Gate 2A)
- Spec 0008 — SQL projection extension
- Spec 0009 — Profile proving slice
- Spec 0010 — target profiles, declarations and split HTTP emit modes
- Spec 0011 — Schools directory and management migration
- Spec 0012 — SocialEvents migration, Gate 4
- Spec 0013 — Group defaults and dense HTTP declarations
- Spec 0014 — Content publication migration, Gate 4
- Spec 0015 — One typed project config and an extension-authoring path
- Spec 0016 — Diagnostic registry,
effx explain, generated catalogue - Spec 0017 —
effx cedar: Cedar schema and policy projection, validated by real Cedar - Spec 0018 — Watch checks and editor diagnostics
- Spec 0019 — Lift: pure Effect → suggested effx declarations
- Spec 0019 S1 — Director clarification (2026-10-09)
- Spec 0020 — User-declared annotations: one typed definition, derived on every side
- Spec 0021 — Surface manifest and
effx surface check - Spec 0022 — Persistence ports and the adapter conformance suite
- Spec 0023 — TeamApplications migration, Gate 4
- Spec 0024 — Declaration density: derived channels, defaults, naming and binding inference
- Spec 0025 — Organization and Mailing-list transport migration, Gate 4
- Spec 0026 - Admissions migration, Gate 4
- Spec 0027 — admission outcomes and editable outcome mail
- Spec 0028 — Contact one-operation migration, Gate 4
ADR 0013 — A capability-only command may explicitly claim a snapshot decision
accepted (2026-10-04). ADR 0013 was the next free number in docs/decisions/ on main before this file was written.
Spec 0001 — Compiler kernel (`@effx/ir`, `@effx/compiler`)
frozen 2026-10-03. Changes require editing this file explicitly. Source: docs/research/2026-10-02-deep-research-report.md §"Compiler and IR architecture", §"Research suite", §"Roadmap" (gate 1).