TAS replay runtime + universal input-coupling oracle: the L3 gate is live

Layer 3 ("playable") was unverifiable because nothing could drive deterministic input: the .tas.json schema existed but the runtime had no replay support and --check-input-coupling was a stub. Landed end-to-end this session: (a) platform.c (via emitter_c.py) parses --tas-replay <path> and loads a flat event script ("<frame> <swcha-hex> <swchb_clear-hex> <fire 0|1>"; the C loader is a trivial fscanf — prove_loop converts .tas.json to this format so no…

Raw traces, ROM material, local paths, and personal data are not part of this public record.