# C284 author review

Question: Do all-K legs recover the source-index and state choices without imposing the598 pairing?

Conclusion: All3072 independent-selector comparisons reduce to48 under23 divisibility and six under529 divisibility; the index relation is recovered rather than imposed.

The exact results were inspected against the source register and independently expressed domain identities in the checker. The second run verifies deterministic reproduction, not independent scientific review. No new agent review is claimed.

Limits:

- Divisibility is a declared structural criterion, not historical necessity.
- Uniqueness is bounded by the frozen fields and endpoint domain.
- The source pairing does not independently impose local-image alignment.

The report and checkpoint are authored interpretations. The verifier authenticates the supplied inputs and calculations; it does not prove historical intentionality. Original dependencies and all standing controls remain unchanged.