GCTI-05 validation boundary (2026-11-05)

FINITE_EXACT_REFERENCE_IMPLEMENTATION: YES
FINITE_PARTIAL_DETERMINISTIC_MOORE: YES
CONSERVATIVE_ACTION_EXTENSION: old states, observations, definedness and transitions unchanged
RULE_EDIT_BEYOND_CONSERVATIVE_SCOPE: REJECTED / NEGATIVE CONTROL
OLD_LANGUAGE_TRACE_TRANSFER: PROVED UNDER STATED MAPPING CONDITIONS
FINITE_STATE_INVERSE_LIMIT_REALIZABILITY: MATHEMATICALLY PROVED
COUNTABLE_TAIL_GHOST: ABSTRACT MATHEMATICAL COUNTEREXAMPLE
INFINITE_MACHINE_EXECUTION: NOT PERFORMED
PAPER_FORMAL_ASSISTANT: NOT LEAN/ROCQ VERIFIED
EXTERNAL_PEER_REVIEW: NOT PROVIDED
SOURCE_PINS: LOCAL SNAPSHOT DIGESTS ONLY; NO EXTERNAL SIGNATURE
EXTERNAL_EXECUTION_OR_PHYSICAL_VALIDATION: NOT PERFORMED
PERFORMANCE_ADVANTAGE: NOT CLAIMED
UNIVERSAL_INFORMATION_CONSERVATION: NOT PROVED

Current explicit version tower: 3 versions; shared classes 1->2->0; cross pairs 4->2->0
Randomized versioned pairs: 160; seed 85
Source state instances: 830; candidate cross-source pairs: 1067
Split witnesses verified: 31; random certificate rejects or mismatches: 0
GCTI05 tests: 62 PASS
Upstream regression: GCTI04 50 PASS, GCTI03 41 PASS, GCTI02 30 PASS, GCTI01 9 PASS
