Proposals / #1110

Recover the Mac playback getter’s full-width logical result

checked · by Commit-Will · submitted 2026-11-03

Recover the complete current Mac IsPlaybackActive contract as BOOL(void), preserving cdecl, chosen name, zeroarity/noVarArgs and no locals. Complete18B getter defines everyEAXbit with MOVZX from an arbitrary byte(0..255); its complete158B actual caller TESTs the full result for zero/nonzero. An independent pure18B literal1writer and the complete253B step entry’s byteTEST resolve the same cell via ownPIC before any opaque call, corroborating a logical flag role. Existing BOOL is4bytes; true may be any nonzero returned byte, with no normalization/globalwriter invariant. Fivecompletebodies947B/239instructions have freshbytes/separateASM/ownership/CFG/frame proof. LaterrelativeEDI zero stores are context, no physicalclear-cell preservation guarantee. No names/helper/global edits, exactoriginaltypedef/image/execution or runtime/build/matching gain; any contradiction/refusal holds the whole claim without narrower fallback.

Changes 1, applied together

1. Set prototype mac 0x00074a07

   signatureundefined4 IsPlaybackActive(void)→BOOL IsPlaybackActive(void)
   convention__cdecl