{"scenario": "manual-output-edit-changes-runtime", "actual": "REJECT", "expected": "REJECT", "pass": true}
{"scenario": "guard-detects-edited-output", "actual": "GENERATED_ARTIFACT_MODIFIED", "expected": "GENERATED_ARTIFACT_MODIFIED", "pass": true}
{"scenario": "guard-preserves-edited-file", "actual": true, "expected": true, "pass": true}
{"scenario": "naive-regeneration-overwrites-manual-behavior", "actual": "RETIRED", "expected": "RETIRED", "pass": true}
{"scenario": "table-only-reverse-loses-manual-function-rule", "actual": "RETIRED", "expected": "RETIRED", "pass": true}
{"scenario": "model-edit-executes-new-target", "actual": "INSPECTION_REQUIRED", "expected": "INSPECTION_REQUIRED", "pass": true}
{"scenario": "code-table-edit-executes-different-target", "actual": "ACTIVE", "expected": "ACTIVE", "pass": true}
{"scenario": "two-sided-roundtrip-conflict-rejected", "actual": "ROUND_TRIP_CONFLICT", "expected": "ROUND_TRIP_CONFLICT", "pass": true}
{"scenario": "one-sided-change-merges", "actual": "INSPECTION_REQUIRED", "expected": "INSPECTION_REQUIRED", "pass": true}
{"scenario": "separate-policy-survives-regeneration", "actual": "REJECT", "expected": "REJECT", "pass": true}
{"scenario": "separate-policy-allows-reasoned-retire", "actual": "RETIRED", "expected": "RETIRED", "pass": true}
{"scenario": "renamed-model-needs-explicit-contract-change", "actual": "REJECT", "expected": "REJECT", "pass": true}
{"scenario": "old-snapshot-rejected-by-new-revision", "actual": "REJECT", "expected": "REJECT", "pass": true}
{"scenario": "old-state-cannot-run-new-model", "actual": "REJECT", "expected": "REJECT", "pass": true}
{"scenario": "explicit-migration-preserves-identity", "actual": {"equipment_id": "E1", "model_revision": 2, "state": "READY"}, "expected": {"equipment_id": "E1", "model_revision": 2, "state": "READY"}, "pass": true}
{"scenario": "migrated-state-runs-new-model", "actual": "INSPECTION_REQUIRED", "expected": "INSPECTION_REQUIRED", "pass": true}
{"scenario": "naive-reset-loses-prior-approval", "actual": "REJECT", "expected": "REJECT", "pass": true}
{"scenario": "unknown-old-state-rejected", "actual": "REJECT", "expected": "REJECT", "pass": true}
{"scenario": "unknown-old-revision-rejected", "actual": "REJECT", "expected": "REJECT", "pass": true}
{"scenario": "migration-does-not-mutate-original", "actual": {"equipment_id": "E1", "model_revision": 1, "state": "ACTIVE"}, "expected": {"equipment_id": "E1", "model_revision": 1, "state": "ACTIVE"}, "pass": true}
