{"scenario": "matrix:INSPECTION_REQUIRED:approveInspection", "actual": ["ACTIVE", "ACTIVE", "ACTIVE"], "expected": ["ACTIVE", "ACTIVE", "ACTIVE"], "pass": true}
{"scenario": "matrix:INSPECTION_REQUIRED:requireInspection", "actual": ["REJECT", "REJECT", "REJECT"], "expected": ["REJECT", "REJECT", "REJECT"], "pass": true}
{"scenario": "matrix:INSPECTION_REQUIRED:retire", "actual": ["RETIRED", "RETIRED", "RETIRED"], "expected": ["RETIRED", "RETIRED", "RETIRED"], "pass": true}
{"scenario": "matrix:ACTIVE:approveInspection", "actual": ["REJECT", "REJECT", "REJECT"], "expected": ["REJECT", "REJECT", "REJECT"], "pass": true}
{"scenario": "matrix:ACTIVE:requireInspection", "actual": ["INSPECTION_REQUIRED", "INSPECTION_REQUIRED", "INSPECTION_REQUIRED"], "expected": ["INSPECTION_REQUIRED", "INSPECTION_REQUIRED", "INSPECTION_REQUIRED"], "pass": true}
{"scenario": "matrix:ACTIVE:retire", "actual": ["RETIRED", "RETIRED", "RETIRED"], "expected": ["RETIRED", "RETIRED", "RETIRED"], "pass": true}
{"scenario": "matrix:RETIRED:approveInspection", "actual": ["REJECT", "REJECT", "REJECT"], "expected": ["REJECT", "REJECT", "REJECT"], "pass": true}
{"scenario": "matrix:RETIRED:requireInspection", "actual": ["REJECT", "REJECT", "REJECT"], "expected": ["REJECT", "REJECT", "REJECT"], "pass": true}
{"scenario": "matrix:RETIRED:retire", "actual": ["REJECT", "REJECT", "REJECT"], "expected": ["REJECT", "REJECT", "REJECT"], "pass": true}
{"scenario": "generated-lifecycle-trace", "actual": ["INSPECTION_REQUIRED", "ACTIVE", "INSPECTION_REQUIRED", "ACTIVE", "RETIRED"], "expected": ["INSPECTION_REQUIRED", "ACTIVE", "INSPECTION_REQUIRED", "ACTIVE", "RETIRED"], "pass": true}
{"scenario": "deterministic-generation", "actual": "# Generated from equipment model sha256=9aec55d3cdf99f3d40774ce1cf42ee5f1ba041dc9a1dfa1e073e624e82566468\nINITIAL = 'INSPECTION_REQUIRED'\nTRANSITIONS = {('ACTIVE', 'requireInspection'): 'INSPECTION_REQUIRED', ('ACTIVE', 'retire'): 'RETIRED', ('INSPECTION_REQUIRED', 'approveInspection'): 'ACTIVE', ('INSPECTION_REQUIRED', 'retire'): 'RETIRED'}\n\ndef step(state: str, operation: str) -> str:\n    try:\n        return TRANSITIONS[(state, operation)]\n    except KeyError as error:\n        raise ValueError('operation not allowed') from error\n", "expected": "# Generated from equipment model sha256=9aec55d3cdf99f3d40774ce1cf42ee5f1ba041dc9a1dfa1e073e624e82566468\nINITIAL = 'INSPECTION_REQUIRED'\nTRANSITIONS = {('ACTIVE', 'requireInspection'): 'INSPECTION_REQUIRED', ('ACTIVE', 'retire'): 'RETIRED', ('INSPECTION_REQUIRED', 'approveInspection'): 'ACTIVE', ('INSPECTION_REQUIRED', 'retire'): 'RETIRED'}\n\ndef step(state: str, operation: str) -> str:\n    try:\n        return TRANSITIONS[(state, operation)]\n    except KeyError as error:\n        raise ValueError('operation not allowed') from error\n", "pass": true}
{"scenario": "changed-model-interpreter-rejects-retire", "actual": "REJECT", "expected": "REJECT", "pass": true}
{"scenario": "old-generated-artifact-still-allows-retire", "actual": "RETIRED", "expected": "RETIRED", "pass": true}
{"scenario": "regenerated-artifact-observes-removed-edge", "actual": "REJECT", "expected": "REJECT", "pass": true}
{"scenario": "handwritten-contract-detects-model-drift", "actual": "RETIRED", "expected": "RETIRED", "pass": true}
{"scenario": "unchecked-model-can-violate-domain-contract", "actual": ["ACTIVE", "REJECT"], "expected": ["ACTIVE", "REJECT"], "pass": true}
