C.25:20 - Review Matrix and Repair Tests
A checking reader can test a Q-Bundle with five questions:
- Is the endpoint shape admissible? One characteristic where one characteristic is live, one bundle where several typed contributors are load-bearing.
- Are scope and mechanism slots kept distinct from measures?
- Is any summary number trying to replace the bundle?
- Would a gate still be auditable if the family label were removed?
- If comparison needs cross-context semantic correspondence, is the
F.9Bridge predicate tested separately from the family bundle?
Repair from bare family prose should therefore recover the endpoint shape first, then choose whether any narrow slice deserves a separate CHR publication.