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

FINITE_EXACT_REFERENCE_IMPLEMENTATION: YES
PAPER_AUXILIARY_PROOFS: REVIEWABLE TEXT, NOT LEAN-VERIFIED
RESEARCH_SCOPE: finite typed partial deterministic Moore systems
SOURCE_IDENTITY: provided local snapshots and self-generated digest pins only
EXTERNAL_AUTHORITY_SIGNATURE: NOT PROVIDED
RUNTIME_PERFORMANCE_BENCHMARK: NOT PERFORMED
UNBOUNDED_GENERALIZATION: NOT PROVED
TCGCT/TCGQT NATIVE_RUNTIME_INTEGRATION: NOT PERFORMED
PHYSICAL_INFORMATION_CONSERVATION: NOT CLAIMED
DATA_GENERATOR_ORACLE: full supplied finite tables, not external world

Current verification case set: 9 explicit model pairs
Randomized pair-model set: 180 pairs, seed 20261105
Pairwise independent BFS comparisons: 5719 total, 2838 cross-system
GCTI04 tests: 50 PASS
Regression: GCTI03 41 PASS, GCTI02 30 PASS, GCTI01 9 PASS
