Theorem. Interface-preserving architecture reduction [ftip-00KC]
Theorem. Interface-preserving architecture reduction [ftip-00KC]
If two architecture records induce the same conditional output law on a fixed task and evaluation interface, every evaluation functional \(J\) gives the same value. This is an immediate pushforward identity under the stated output-law and interface assumptions. It does not imply that distinct architectures are generally equivalent.