01 / SCHEMAOne source of truth
Input, output, Tool, wire, and stored values begin as Effect Schemas. Provider shapes are derived.
● All roadmap phases (P0–P7) implemented · pre-1.0, specifications Draft
Build autonomous TypeScript agents without leaving Effect behind. Schemas stay canonical, failures stay typed, dependencies stay visible, and every resource stays inside a Scope.
The whole runtime contract
No hidden runtime. The signature is the architecture.
Run, stream, tools, policy, and explicit model binding.
Safe-seam input, approval, budgets, context, MCP, sandbox.
Replay, checkpoints, export, memory and SQLite stores.
Receipts, Attempts, fencing, recovery, and Settlement on Node/SQLite and Cloudflare.
Two ways to read these docs
Current guides are backed by code and phase evidence. Future guides present the intended public interfaces before they exist, so the architecture can be judged from the outside. Every page carries its implementation status.
Read one end-to-end file from Schema and Tool definition through Layers and execution.
Open the example →02 / EXECUTEUse one interpreter as an Effect result, semantic Stream, or scoped detached Run.
See runtime APIs →03 / REMEMBERAppend canonical records, rebuild projections, and resume observation without claiming durability.
Explore persistence →04 / RECOVERFollow the implemented path from durable admission to one honest terminal Settlement.
Inspect the durable runtime →05 / PROVEScript model Turns, inject Layers, control time and IDs, and verify the semantic trace offline.
Open the test kit →06 / VERIFYSee the package, phase, evidence, maturity label, and explicit non-claim behind each surface.
View status →Architectural axioms
Effect Agent owns the multi-Turn loop, Conversation, and recovery model. It deliberately does not duplicate Effect AI, invent another dependency container, or turn external side effects into magical exactly-once claims.
01 / SCHEMAInput, output, Tool, wire, and stored values begin as Effect Schemas. Provider shapes are derived.
02 / LAYERModels, Tool handlers, stores, clocks, sandboxes, and policies arrive through explicit Layers.
03 / SCOPEModel streams, Tool fibers, queues, clients, and attached children belong to the Run Scope.
04 / RECORDReplay rebuilds state, never external effects. Ambiguous outcomes remain explicit rather than guessed.