{
  "lesson_id": "TOL-005",
  "lab_id": "TOL005-LAB1",
  "network_required": false,
  "privilege_required": false,
  "steps": [
    "setup",
    "inspect workspace/lock/toolchain identity",
    "baseline clean locked offline build/test",
    "manifest-lock drift mutation",
    "toolchain declaration mutation",
    "missing local dependency mutation",
    "untested behavior green-test counterexample",
    "transfer judgment"
  ],
  "artifact": "Cargo Workspace Build Evidence Record v1",
  "fixture_boundary": {
    "workspace_members": [
      "crates/math_core",
      "crates/cli_app"
    ],
    "non_member_local_path_dependency": "local_deps/text_fmt",
    "missing_local_dep_mutation_preserves_workspace_membership": true
  }
}