{
  "lesson_id": "DAT-019",
  "lab_id": "DAT019-LAB1",
  "objective": "Prove guarded transitions, resumable hold behavior and terminal-state boundaries in a bounded local workflow.",
  "commands": [
    "python run_checks.py",
    "python learner/src/run_local_lab.py"
  ],
  "must_preserve": [
    "negative evidence",
    "state unchanged after rejected transition",
    "hold resume condition",
    "terminal-state no-outgoing rule"
  ],
  "must_not_claim": [
    "global liveness",
    "deadlock freedom",
    "diagram equals enforcement",
    "universal need for a state-machine framework"
  ]
}