Developer preview. Not production-ready, not audited, not for sensitive code. Read the limits

Design records

These essays are the working record behind the cockpit and the harness. They are not a polished specification and they describe a pre-1.0 system. Read them for the reasoning, not as a promise of current behavior.

Record Subject
DESIGN-COCKPIT-V2 The full cockpit reimagining: FLOW, SWEEP, DESK, HORIZON, LENS, ARM, CUSTODY, and the action-first law
DESIGN-PERFORMANCE The data-flow and performance contract
DESIGN-SPEC-BLOCKS-ADDENDUM One block declaration emits every projection
COCKPIT-DESIGN-AUDIT The independent audit of the cockpit design
UNWIRED-FINDINGS What looked wired but was not, and the guards that followed
EXPOSURE-DERIVATION-ANALYSIS Derived values, provenance, and honest absence
GUARD-UNIVERSE-AUDIT The guard catalog and its subject universe
DARK-TESTS-AUDIT Tests that could not fail, and the liveness requirement
STRUCTURE-PRIOR-ART Prior art for the module structure
STRUCTURE-SHARED-TAXONOMY The shared taxonomy of owners and projections
DATA-BOUNDARY-DIAGNOSIS Where data crossed a boundary it should not have
RUN-STREAM-DIAGNOSIS The run stream’s failure modes
PERFORMANCE-DIAGNOSIS Measured performance problems and their causes
LANGUAGE-SYSTEMS-ANALYSIS The language and parser surface
WORKFLOW-MULTIUSER-NOTES Multi-user workflow lessons

The full private design record, including recovery and cutover material, is not published; this folder is its public subset.

Search the documentation

Type to search the curated record.

↑↓ move Enter open Esc close