3.14.4 (main, Apr  7 2026, 13:13:20) [Clang 21.0.0 (clang-2100.0.123.102)]
PASS valid equipment passes three layers
PASS JSON syntax rejected
OBSERVED JSON syntax rejected {"equipment_contract": "NOT_RUN", "failure": {"code": "JSON_SYNTAX", "path": "line:1:column:2"}, "generic_fsm": "NOT_RUN", "syntax_structure": "FAIL"}
PASS later stages not run on malformed JSON
PASS JSON legal but shape wrong
OBSERVED JSON legal but shape wrong {"equipment_contract": "NOT_RUN", "failure": {"code": "SHAPE", "path": "$.states"}, "generic_fsm": "NOT_RUN", "syntax_structure": "FAIL"}
PASS unknown state is semantic error
OBSERVED unknown state is semantic error {"equipment_contract": "NOT_RUN", "failure": {"code": "UNKNOWN_STATE", "path": "$.transitions[0].to"}, "generic_fsm": "FAIL", "syntax_structure": "PASS"}
PASS structure passed before semantic failure
PASS complete structure gate precedes semantic gate
OBSERVED complete structure gate precedes semantic gate {"equipment_contract": "NOT_RUN", "failure": {"code": "SHAPE", "path": "$.transitions[1].to"}, "generic_fsm": "NOT_RUN", "syntax_structure": "FAIL"}
PASS duplicate dispatch key rejected
OBSERVED duplicate dispatch key rejected {"equipment_contract": "NOT_RUN", "failure": {"code": "NONDETERMINISTIC", "path": "$.transitions[4]"}, "generic_fsm": "FAIL", "syntax_structure": "PASS"}
PASS declared terminal cannot exit
OBSERVED declared terminal cannot exit {"equipment_contract": "NOT_RUN", "failure": {"code": "TERMINAL_OUTGOING", "path": "$.transitions[4].from"}, "generic_fsm": "FAIL", "syntax_structure": "PASS"}
PASS wrong policy actually revives retired equipment
OBSERVED wrong-policy trace=["INSPECTION_REQUIRED", "RETIRED", "ACTIVE"]
PASS domain contract blocks generic-valid wrong policy
OBSERVED domain contract blocks generic-valid wrong policy {"equipment_contract": "FAIL", "failure": {"code": "EQUIPMENT_CONTRACT", "path": "$"}, "generic_fsm": "PASS", "syntax_structure": "PASS"}
PASS wrong policy passes first two gates
PASS chapter30 approval policy counterexample still rejected
PASS chapter30 fixture duplicate-state
PASS chapter30 fixture unknown-target
PASS chapter30 fixture unknown-operation
PASS chapter30 fixture unknown-initial
PASS chapter30 fixture nondeterministic-edge
PASS chapter30 fixture retired-reactivation
PASS chapter30 fixture unreachable-state
PASS chapter30 fixture unknown-field
PASS chapter30 fixture boolean-version
PASS chapter30 fixture state-wrong-type
PASS chapter30 fixture invalid-json
PASS chapter30 fixture duplicate-key
PASS chapter30 fixture non-json-constant
PASS adjacent UTC half-open periods accepted without mutation
PASS zero length period
REJECTED INVALID_PERIOD at $[0]
PASS reverse period
REJECTED INVALID_PERIOD at $[0]
PASS unknown equipment reference
REJECTED UNKNOWN_EQUIPMENT at $[0].equipment_id
PASS missing timezone
REJECTED UTC_SECONDS_REQUIRED at $[0].start
PASS invalid calendar date
REJECTED INVALID_TIME at $[0].start
PASS boolean is not string identity
REJECTED SHAPE at $[0].equipment_id
PASS number is not active flag
REJECTED SHAPE at $[0].active
PASS same equipment active overlap
REJECTED OVERLAP at $[1]
PASS inactive history does not occupy
PASS different equipment can overlap
PASS duplicate reservation identity
REJECTED DUPLICATE_REQUEST at $[1].request_id
PASS chapter32 checks=38
