Skip to content

Learner Progress

Learner Model

  • Current context: PhD-level quantum information researcher with stabilizer-code, surface-code, and basic CSS-code familiarity.
  • Strong anchors: stabilizer formalism, syndrome measurement intuition, hardware-locality intuition from surface codes.
  • Current weak areas: QLDPC constructions, expander graphs, advanced classical coding theory, syndrome-depth lower-bound formalism, matroid connectivity.
  • Teaching preference: concrete examples before abstraction, with every foundation tied back to a research-map bottleneck.
  • Default goal: reach a level where the learner can contribute to the five-conjecture QEM-QEC research program, beginning with Conjecture 3.

Active Course

Follow-On Course

Current State

  • Heptabase historical state: sections 1-6 were marked ended, and section 7 was in progress.
  • Codex fresh-start state: not started.
  • The learner requested a reset because most Heptabase-generated teaching files were not actually read.
  • The local repo now contains regenerated lessons for the full course, including the previously missing syndrome-extraction and research-map integration material.
  • The local repo now also contains a generated frontier-alignment course, but it should not be treated as completed learner progress.
  • Current alignment dashboard: alignment-dashboard.md.
  • Current diagnostic intake: diagnostic-intake.md.
  • Current session log: session-log.md.

Continue with:

Start fresh from the diagnostic checks. Compress any material the learner answers cleanly, but do not assume historical Heptabase coverage means mastery.

If there is no newer learner evidence in session-log.md, begin with diagnostic-intake.md Mode A.

Completion Criteria For This Course

The course is complete when the learner can:

  • explain CSS logical operators as quotient/coset objects
  • state what asymptotically good QLDPC means
  • explain why expansion is both a code-performance resource and a hardware-routing burden
  • describe the quantum Tanner construction at the level of C_0, C_1, diagonal graphs, and Theorems 17-18
  • derive the static 2D bottleneck intuition from expander bisection width versus grid bisection width
  • distinguish the already-settled static 2D syndrome-depth result from the remaining CD(T_n, G) frontier

Use the foundation assessment rubric if the learner wants a placement test or fast pass into the frontier course. Do not mark the foundation course complete from historical Heptabase progress alone.

Frontier Alignment Completion Criteria

The follow-on course is complete when the learner can:

  • state the solved static 2D theorem and its parameter-based derivation
  • distinguish presentation-invariant, chosen-presentation, intrinsic, and compiler-native statements
  • define cross-cut stabilizer rank and give its rank formula
  • explain why token crossing fails and cut-edge service survives
  • define the canonical submodular CD object
  • explain why ordinary graph-cut, packet, and terminal hypergraph semantics fail in the current graph
  • state dense tangle breadth and local quotient-image accumulation as open intrinsic targets
  • explain why Route D is currently a semantic frontier rather than merely a representation search

Use the frontier assessment rubric for scoring. Do not mark this section complete from lesson generation alone.