# C288 author review

Question: Which K-width combinations are actual paths through the retained four nodes?

Conclusion: Four complete-node paths give19K, while K and4K remain formal width combinations without corresponding node edges.

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:

- A formal additive module is not a closed action on the finite source register.
- Path decompositions with shared endpoints are dependent.
- The4K difference of widths is not an event edge.

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.