Architecture Decision Records

Numbered ADRs capturing committed Cortex design decisions. Each ADR states one decision with context, alternatives considered, and consequences.

On this page

Current ADRs
Writing a new ADR
Related

Architecture Decision Records

Each ADR captures one committed design decision. Files use NNNN-kebab-slug.md naming. Status values: proposed, accepted, superseded, deprecated.

Current ADRs

#	Title	Status
0001	Structured Document IR	superseded
0002	Cortex and Downstream Ownership Boundary	accepted
0003	Pulse Service and Host-Action Boundary	accepted
0004	Graph-Native Pulse Execution	accepted
0005	Budgeted Rewrite Admission and Materialization	accepted
0006	Compiled Workflow Artifact Boundary	accepted
0007	Latent-Branch Conditional Lowering	accepted
0008	Pulse Operator Visibility Surfaces	accepted
0009	Rewrite Provenance and Topology Integrity	accepted
0010	Wire as Closed-Authority Language over the Graph/Circuit/Wire Stack	accepted
0011	Compatibility Barriers and Fresh-Run Recovery	accepted
0012	Topological Memory as Deterministic Graph Query	accepted
0013	Artifact Provenance Contract	accepted
0014	Model vs External Call	proposed
0015	Canonical Logos Archetypes	proposed
0016	Cortex Roots and Logos Pattern Extraction	proposed
0017	Wire Executor and Port Catalog Boundary	proposed
0018	Canonical Haskell Module Tree	proposed
0019	Executor Registration and Binding	proposed
0020	Wire Pure Output Equations	accepted
0021	Wire Source Elaborates to Circuits	proposed
0022	Wire Node Clause Grammar	proposed
0023	CorePure Expression Surface	proposed
0024	Typed Executor Node Interface	proposed
0025	Configured Executor Values	proposed
0026	Wire Failure Taxonomy	proposed
0027	Typed LLM Output Binding	proposed
0028	Wire Topology Composition and Boundary Labels	proposed
0029	CorePure Structured Serialization	proposed
0030	Wire Node Implementation Forms	proposed
0031	Wire Binding Forms and Node Where Clauses	proposed
0032	Wire Boundary Contracts as Planning Resources	proposed
0033	Wire Select as Guarded Affine Collapse	proposed
0034	Pure Selectors and Restricted Actualization Authority	proposed
0035	Wire Rewrite Algebra Forms	proposed
0036	Latent Branch Budget and Recovery Policy	proposed
0037	Wire Latent Structural Control Operators	proposed
0038	Wire Proof-Track Theorem Ledger	proposed
0039	Wire Node Boundary Transform Normal Form	proposed
0040	Logos-Owned Reasoning Surfaces	accepted
0041	Wire CLI Command Surface	proposed
0042	Wire Standard Effect Executors	proposed
0043	Pulse In-Memory Runner	proposed
0044	Wire Namespace Use Imports	proposed
0045	Wire Compile-Time Node-Body Kinds	proposed
0046	Wire Compile-Time Graph Forms	proposed
0047	Wire Frontier Linearity and Topology Operator Precedence	proposed
0048	Wire Compile-Time Make for Bounded Node Generation	proposed
0049	Wire Phantom Record↔Ports Adapter for Topology Fans	proposed
0050	Wire CorePure Output Residue	proposed
0051	Wire Source Includes and Item Generation	proposed
0052	Wire Bounded Indexed Boundary Products	proposed
0053	Executor Catalog Manifests and Pulse Runtime Bindings	proposed
0054	Downstream Wire Packages and Host Runtime Bindings	proposed

Writing a new ADR

Use the template. Key discipline:

Each ADR is about one decision. If you find yourself writing two decisions in one ADR, split them.
Frontmatter lists status, date, and related issues.
Body has Context, Decision, Consequences sections at minimum.
An accepted ADR is canon — supersede it with a new numbered ADR rather than editing the original, except to update status and add a forward-pointer.

../Architecture/ — canonical chapters that cite ADRs.
../Roadmap/ — active work whose settled decisions become ADRs.

Architecture Decision Records

Current ADRs

Writing a new ADR

Related