Codex-Native Research Teaching

This directory is the durable home for the personalized teaching workflow around the QEM-QEC conjecture program.

The system is designed for a learner who already knows stabilizer-code and surface-code basics, but needs a concrete-first path into QLDPC codes, graph expansion, hardware compilation barriers, and eventually matroid-theoretic frontier work.

Use alignment-dashboard.md as the current status board for the active alignment goal.

Use session-protocol.md as the default operating procedure. Use diagnostic-intake.md to collect the next learner answers, diagnostic-intake-key.md to grade the first diagnostic, and session-log.md to record evidence from live sessions.

Learning Path

• Coding and Expansion Foundations

  The first course builds the prerequisites needed to read and contribute to the Conjecture 3 research map. The learner-facing path is the fresh-start lesson sequence, regenerated by Codex from the local research graph and Heptabase provenance. Track live status in its progress file.

• Conjecture 3 Frontier Alignment

  The second course should start only after the foundations course is completed or passed diagnostically. It aligns the learner with the current Conjecture 3 proof frontier through both lessons and textbook chapters: the solved static 2D theorem, the explicit Quantum Tanner stack, stabilizer cut rank, submodular CD, intrinsic matroid routes, and Route-D compiler semantics. Track live status in its progress file.

Workflow

When continuing a course, Codex should:

1. Read learner-progress.md.
2. Read session-protocol.md.
3. Read the active course progress file.
4. Read session-log.md for the latest evidence entry.
5. If no learner evidence exists, use diagnostic-intake.md Mode A and grade with diagnostic-intake-key.md.
6. Load the next lesson from the active course named there.
7. Load only the research graph nodes named by that lesson.
8. Run a short diagnostic if the required background is not already secure.
9. Teach from the lesson and update progress only after the learner confirms completion.
10. Before moving to frontier lessons, grade foundation readiness with the foundation assessment rubric unless the learner completed the foundation lesson path.
11. Before claiming Conjecture 3 alignment, grade the frontier capstone with the frontier assessment rubric and update alignment-dashboard.md.

Source Policy

Heptabase remains a read-only historical source. The migrated source map is in sources/heptabase-export/source-map.md. The frontier course source map is in sources/conjecture-3-frontier/source-map.md. New teaching material should be distilled and rewritten, not copied verbatim.

New theorem nodes, literature extraction, or proof-frontier updates should be handled by the bounded-graph-literature-research skill before they are taught here.