{"scenario": "parse-valid-model", "actual": ["EquipmentLifecycle", 3, 4], "expected": ["EquipmentLifecycle", 3, 4], "pass": true}
{"scenario": "duplicate-state", "actual": {"code": "DUPLICATE_NAME", "path": "$.states[3]"}, "expected": {"code": "DUPLICATE_NAME", "path": "$.states[3]"}, "pass": true}
{"scenario": "unknown-target", "actual": {"code": "UNKNOWN_STATE", "path": "$.transitions[0].to"}, "expected": {"code": "UNKNOWN_STATE", "path": "$.transitions[0].to"}, "pass": true}
{"scenario": "unknown-operation", "actual": {"code": "UNKNOWN_OPERATION", "path": "$.transitions[0].operation"}, "expected": {"code": "UNKNOWN_OPERATION", "path": "$.transitions[0].operation"}, "pass": true}
{"scenario": "unknown-initial", "actual": {"code": "UNKNOWN_STATE", "path": "$.initial"}, "expected": {"code": "UNKNOWN_STATE", "path": "$.initial"}, "pass": true}
{"scenario": "nondeterministic-edge", "actual": {"code": "NONDETERMINISTIC", "path": "$.transitions[4]"}, "expected": {"code": "NONDETERMINISTIC", "path": "$.transitions[4]"}, "pass": true}
{"scenario": "retired-reactivation", "actual": {"code": "TERMINAL_OUTGOING", "path": "$.transitions[4].from"}, "expected": {"code": "TERMINAL_OUTGOING", "path": "$.transitions[4].from"}, "pass": true}
{"scenario": "unreachable-state", "actual": {"code": "UNREACHABLE", "path": "$.states"}, "expected": {"code": "UNREACHABLE", "path": "$.states"}, "pass": true}
{"scenario": "unknown-field", "actual": {"code": "SHAPE", "path": "$"}, "expected": {"code": "SHAPE", "path": "$"}, "pass": true}
{"scenario": "boolean-version", "actual": {"code": "VERSION", "path": "$.version"}, "expected": {"code": "VERSION", "path": "$.version"}, "pass": true}
{"scenario": "state-wrong-type", "actual": {"code": "SHAPE", "path": "$.states"}, "expected": {"code": "SHAPE", "path": "$.states"}, "pass": true}
{"scenario": "invalid-json", "actual": {"code": "JSON_SYNTAX", "path": "line:1:column:12"}, "expected": {"code": "JSON_SYNTAX", "path": "line:1:column:12"}, "pass": true}
{"scenario": "duplicate-key", "actual": {"code": "DUPLICATE_KEY", "path": "$"}, "expected": {"code": "DUPLICATE_KEY", "path": "$"}, "pass": true}
{"scenario": "non-json-constant", "actual": {"code": "JSON_SYNTAX", "path": "$"}, "expected": {"code": "JSON_SYNTAX", "path": "$"}, "pass": true}
{"scenario": "interpreter-runs-lifecycle", "actual": ["INSPECTION_REQUIRED", "ACTIVE", "INSPECTION_REQUIRED", "ACTIVE", "RETIRED"], "expected": ["INSPECTION_REQUIRED", "ACTIVE", "INSPECTION_REQUIRED", "ACTIVE", "RETIRED"], "pass": true}
{"scenario": "runtime-retired-approval-rejected", "actual": {"code": "OPERATION_NOT_ALLOWED", "path": "$.runtime"}, "expected": {"code": "OPERATION_NOT_ALLOWED", "path": "$.runtime"}, "pass": true}
{"scenario": "runtime-rejection-keeps-old-state", "actual": "RETIRED", "expected": "RETIRED", "pass": true}
{"scenario": "structurally-valid-policy-retires-on-approval", "actual": "RETIRED", "expected": "RETIRED", "pass": true}
{"scenario": "equipment-contract-rejects-wrong-policy", "actual": {"code": "EQUIPMENT_CONTRACT", "path": "$"}, "expected": {"code": "EQUIPMENT_CONTRACT", "path": "$"}, "pass": true}
{"scenario": "generated-approval-runs", "actual": "ACTIVE", "expected": "ACTIVE", "pass": true}
{"scenario": "generated-retired-retirement-rejected", "actual": true, "expected": true, "pass": true}
{"scenario": "model-roundtrip-preserves-behavior", "actual": "INSPECTION_REQUIRED", "expected": "INSPECTION_REQUIRED", "pass": true}
{"scenario": "generator-deterministic", "actual": true, "expected": true, "pass": true}
