Make inside cuts preserve bounded observations of attachment #332

Prove that finite outside observations of canonical deterministic attachment are unchanged when the inside resource is cut at the converter’s total-query bound k(q).

Keep the existing DDS, reply-tag and input-domain hypotheses explicit. Use the converter contract from #317 and existing attachment semantics.

Acceptance: equality through q outside queries, independence of any larger inside horizon, and an identity or forwarding-converter test. The result supplies the finite-cut compatibility needed by #318.

Dependency: #317. Parent: #318.