Conjecture 3 Frontier Source Map¶
This source map records the local graph provenance for Conjecture 3 Frontier Alignment. It is not a Heptabase export. It is a distilled map from the repo research graph as of 2026-05-31.
Default Spine¶
Lesson-To-Source Map¶
Lesson 01 - Frontier Status and How to Read the Spine¶
- ../../../index.md
- ../../../research/graph-audit.md
- stabilizer-cut-rank-functional.md
- stabilizer-cut-rank-defines-canonical-submodular-cd-object.md
Lesson 02 - Static 2D Theorem and Separator Meta-Theorem¶
- 2d-syndrome-depth-from-code-parameters.md
- quantum-tanner-good-family-presentation-invariant-2d-barrier.md
- static-2d-separator-cut-rank-manuscript-package.md
- weighted-separator-function-to-syndrome-depth.md
- fixed-minor-free-hardware-syndrome-depth-barrier.md
Lesson 03 - Explicit Quantum Tanner Family Stack¶
- quantum-tanner-diagonal-expansion-structure.md
- quantum-tanner-incidence-spectral-gap.md
- spectral-gap-to-regular-graph-expansion.md
- regular-graph-expansion-to-incidence-expansion.md
- quantum-tanner-local-generator-blowup.md
- incidence-expansion-to-parity-tanner-expansion.md
- quantum-tanner-theorem17-parity-expander.md
Lesson 04 - Stabilizer Cut Rank and Matroid Connectivity¶
- cross-cut-stabilizer-rank.md
- cross-cut-stabilizer-rank-rank-formula.md
- stabilizer-cut-rank-functional.md
- good-code-parameters-do-not-imply-cut-rank.md
- good-ltc-does-not-imply-balanced-cut-rank.md
Lesson 05 - Submodular CD and SWAP-Only Service¶
- token-crossing-extraction-fails-for-swap-only-compilation.md
- cross-cut-gate-service-lower-bounds-stabilizer-cut-rank.md
- stabilizer-cut-rank-defines-canonical-submodular-cd-object.md
- submodular-cut-congestion-lower-bounds-swap-only-compiler-depth.md
- swap-only-compiler-extraction-reduces-cd-to-stabilizer-cut-rank.md
Lesson 06 - Why Classical Routing Semantics Fail¶
- stabilizer-cut-rank-is-not-a-graph-cut-function.md
- binary-matroid-connectivity-equals-fundamental-graph-cut-rank.md
- fundamental-graph-edge-cuts-are-basis-unstable.md
- basis-robust-fundamental-graph-loads-must-be-pivot-invariant.md
- simple-binary-connectivity-violates-nonnegative-hypergraph-cut-condition.md
- generic-submodular-demand-does-not-force-classical-routing-realization.md
- matroid-connectivity-does-not-force-hypergraph-approximation.md
Lesson 07 - Intrinsic Matroid Frontier¶
- dense-tangle-breadth-is-the-canonical-remaining-intrinsic-target.md
- dense-tangle-breadth-forces-balanced-cut-rank.md
- large-k-connected-set-generates-order-k-tangle.md
- sufficiently-dense-k-connected-set-yields-dense-tangle-breadth.md
- all-intrinsic-macro-routes-now-reduce-to-three-family-specific-lifts.md
Lesson 08 - Local-Block Rank Accumulation¶
- quantum-tanner-needs-balanced-local-block-rank-accumulation.md
- local-quotient-image-span-controls-rank-accumulation.md
- lightly-crossed-direct-sum-local-blocks-force-balanced-cut-rank.md
- local-geometry-stops-before-uniform-linear-light-side-mass.md
- plain-incidence-local-geometry-route-is-exhausted-before-minority-load-anti-concentration.md
Lesson 09 - Route-D Hidden-Vertex Frontier¶
- connected-hidden-vertex-realizability-still-fails-terminal-routing-semantics.md
- route-d-semantic-separation-now-dominates-the-remaining-cd-frontier.md
- current-sourced-classical-auxiliary-semantics-still-add-no-new-compiler-meaning-beyond-cdsub.md
- multiple-parallel-classes-on-one-circuit-give-connected-cut-rank-at-least-three-family.md
- selected-or-selector-is-not-hidden-vertex-graph-cut-expressible.md
Lesson 10 - Alignment Capstone and Research Handoff¶
- ../../../index.md
- ../../../research/graph-audit.md
- static-2d-separator-cut-rank-manuscript-package.md
- dense-tangle-breadth-is-the-canonical-remaining-intrinsic-target.md
- route-d-semantic-separation-now-dominates-the-remaining-cd-frontier.md
Assessment Rubric¶
- assessment-rubric.md
- Uses the same source nodes as Lessons 01-10.
Chapter-To-Source Map¶
Chapter 01 - Current Frontier and Static 2D Barrier¶
- ../../../index.md
- 2d-syndrome-depth-from-code-parameters.md
- quantum-tanner-good-family-presentation-invariant-2d-barrier.md
- weighted-separator-function-to-syndrome-depth.md
Chapter 02 - Quantum Tanner Explicit-Family Stack¶
- quantum-tanner-local-generator-blowup.md
- incidence-expansion-to-parity-tanner-expansion.md
- quantum-tanner-theorem17-parity-expander.md
- quantum-tanner-theorem17-static-2d-barrier.md
Chapter 03 - Stabilizer Cut Rank and Submodular CD¶
- cross-cut-stabilizer-rank.md
- cross-cut-stabilizer-rank-rank-formula.md
- stabilizer-cut-rank-functional.md
- stabilizer-cut-rank-defines-canonical-submodular-cd-object.md
- submodular-cut-congestion-lower-bounds-swap-only-compiler-depth.md
- binary-matroid-connectivity-equals-fundamental-graph-cut-rank.md
Chapter 04 - Intrinsic Matroid and Route-D Frontier¶
- dense-tangle-breadth-is-the-canonical-remaining-intrinsic-target.md
- all-intrinsic-macro-routes-now-reduce-to-three-family-specific-lifts.md
- quantum-tanner-needs-balanced-local-block-rank-accumulation.md
- local-quotient-image-span-controls-rank-accumulation.md
- connected-hidden-vertex-realizability-still-fails-terminal-routing-semantics.md
- route-d-semantic-separation-now-dominates-the-remaining-cd-frontier.md
Regeneration Policy¶
Do not copy these lessons back into Heptabase. If the local graph changes, regenerate the relevant lesson from the graph node, then update this source map.