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.