Cortex Publications
Formal write-ups and papers on Cortex's algebraic and semantic foundations. Each paper lives in its own folder with manuscript and figures alongside.
Cortex Publications
Publication-grade write-ups of Cortex’s theoretical foundations and engineering results. This folder now holds the active paper candidates. Companion theory and proof plans live under ../Roadmap/Plans/.
Papers
- Paper-1-staged-reduction/ — fixed-topology staged reduction and structural recovery safety.
- Paper-2-algebraic-foundations/ — algebraic kernel and extension boundary of the fixed-topology calculus.
- Paper-3-graph-substitution-semantics/ — compiled artifacts, graph substitution, and dynamic-topology semantics.
- Paper-4-wire-language/ — authoring language for typed topology, registered authority, and bounded structural proposals.
- Paper-6-executable-diagrams/ — executable causal diagrams, tying Wire source, durable replay, and proof-facing admission together.
Supporting material
- roadmap.md — publication portfolio and dependency sketch.
- ../Roadmap/Plans/lean-mechanization.md — supporting research plan for machine-checked fixed-topology results.
- ../Roadmap/Plans/rewrite-materialization-and-recovery.md — supporting research plan for runtime-grounded rewrite recovery.
- Notes/ — working notes and idea memos that feed the papers.
Per-paper structure
Each paper-N-*/ folder contains:
index.md— landing page with status, abstract, figures, and related material.manuscript.md— the manuscript itself.typst/— Nix-rendered PDF source when a paper has a typeset manuscript.Figures/— figure sources and export notes.
Template
Use ../Templates/publication-manuscript.md for new manuscripts.
Related
- ../Research-notes/ — dated research synthesis that underlies the papers.
- ../Roadmap/Plans/ — companion research and implementation plans.
- ../Architecture/03-formalism-stack.md — architecture chapter that cites the papers.