{
  "lesson_id": "MKN-003",
  "rules": [
    "Required fields must be known",
    "Display order is not dependency authority",
    "Hard prerequisites require competence-bearing evidence",
    "Direction/type mutation requires recomputation",
    "Unjustified cycles fail",
    "Equivalence preserves identities and requires governed provenance",
    "Version must change when statement/edge semantics change",
    "Transfer must not reuse baseline closure as oracle"
  ]
}