Concept Nodeir

The atomic unit of the SKCE curriculum — a ConceptNode carries a full self-description contract (what/why/where/prerequisites/foundations/sources) so the app can recursively explain it.

Recursive self-explanation requires every concept to know its own prerequisites and foundations. The ConceptNode is the data structure that makes descent possible.

Where it appears

compiler/ir.py
Every /concept/[id] page

Descend

Prerequisites

Intermediate Representation

Dependencies

Foundations

Type Theory

Intermediate Representation
Relationship Edge
Pedagogical Model

Historical evolution

Generalizes the upstream Fact/Decision dataclasses into a pedagogically complete node.

Implementation details

ir.py ConceptNode: id, kind, contract (ConceptContract), prerequisite_ids, foundation_links, source_refs.

Sources

[compiler/ir.py] compiler/ir.py
[docs/PEDAGOGICAL_MODEL.md] docs/PEDAGOGICAL_MODEL.md
[compiler/ir.py] compiler/ir.py
[docs/PEDAGOGICAL_MODEL.md] docs/PEDAGOGICAL_MODEL.md

View in graph →