SHADOWS SOURCE-CONTRACT TRANSLATION — bounded implementation input

10 original chunks SAM/Pico byte-equal and source SHA guarded. 825 SAM phase4/7 writer PCs/opcodes mechanically translated at identical logical addresses. SAM common8000:BFFF differs from Pico6000:7FFF; SAM span lists are NOT usable directly. Known8212 screen classification explicitly marked UNSAFE (BC56 tilemap counterexample). BA00:BDFF is dynamic HOME and must always survive; no E clean-tile omission inherited.

Narrow H window requested by sole owner: B89E through next B8A8, stop on ANY other paging call.251 source instructions,44 writers,87 conservative memory-operand sites,36 stack operations, no unresolved CFG. Spans6000:6500 +7C80:7E00 +7ECD +7F03 total1666 bytes cover every low write envelope. Extra selfmods7ECD and7F03 were identified and sent to owner before H fixture. Source token establishes only after full4→8 viaB89B, consumes only8→4 viaB8A8; any manager/IRQ call invalidates.

IY entersB492 as5DE0 and is not reassigned on its own paths.80D8 sets5DE0 for15 records,5DE0 for15,6182 for13;8071 advances DE003E, B saved/restored. Maximum read64A2. IX render-list outputs remain5BB0:5E31.754E/7550 clears5E1E:64A8 before7556 invalidating bank exit. Source8077 selfmod JR NC/C both edges included. HL8093 pointer is read-only and data-dependent; no invented full16bit bound. Source CALL/PUSH/POP/RET stack HOME; no source SP reassignment in window and no SAM dynamicSP optimization translated.

FIXTURE_INPUTS.json provides SHA/PCguards,spangeometry,writer/read/stack bounds, selfmod branches,full8192 equality oracle and adversarial guard cases.1666 purecopy singlebyte geometry cases PASS; this is not H Z80/native/runtime qualification. Owner must bind final H helper ABI and run its own emulator fixtures. No media/global edits; no emulator launched.
