a6c4278084
The streaming choke point was covered only by an identity check on the imported alias (a change-detector that would pass with a no-op wiring). Replace it with a real chunk-loop run asserting STOP -> stop and MAX_TOKENS -> length on the assembled response, and collapse the duplicate transport cases into one parametrized invariant.