Prerequisite Inferencepass

The pass that produces the prerequisite DAG — edges declaring what a reader must understand before a concept — making recursive descent possible.

Without prerequisite edges, descent dead-ends. This pass is the pedagogically load-bearing step; deterministic fallback (declared + ontology + structural) guarantees a working DAG even with no model.

Where it appears

compiler/passes/pass-05-prerequisite-infer
SKCE prerequisite graph view

Descend

Prerequisites

Dependencies

Intermediate Representation

Foundations

Graph Algorithms

Historical evolution

Deterministic fallback first (in v1); local-model inference is an additive enrichment that grounds edges with token-overlap citations.

Implementation details

pass-05 seeds declared prerequisites, ontology parent->child edges, then (if model) proposes edges with rationale + citation.

Sources

[compiler/passes/pass-05-prerequisite-infer/run.py] compiler/passes/pass-05-prerequisite-infer/run.py
[docs/CURRICULUM_GRAPH.md] docs/CURRICULUM_GRAPH.md
[compiler/passes/pass-05-prerequisite-infer/run.py] compiler/passes/pass-05-prerequisite-infer/run.py
[docs/CURRICULUM_GRAPH.md] docs/CURRICULUM_GRAPH.md

View in graph →