Proposals / #1113

Recover the complete Mac game-name predicate's Boolean result

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

Recover BOOL4 for Mac001abf7e while preserving exact char* szGameName Stack4, selected name, cdecl, arity, noVarArgs and all3locals. All normal fullEAX roots are literal0/1 after opaque-call boundaries, for arbitrary helper/global values. Its sole complete caller owns all3CALLs and TESTs each full result. The first actual argument reloads that caller's precise char* Stack8 formal before any opaque CALL. Complete408B128instruction scope matches fresh database raw to separate assembly, ownership and nativeCFG. Caller finalCALL has hypothetical IF-return outside ownership. No name-availability polarity, global/table invariant, opaque effects/preservation/cleanup, pointer/string safety, unique original typedef, MachO identity/execution or source/build/runtime/matching gain. Any contradiction/refusal holds the original whole contract without a reduced variant.

Changes 1, applied together

1. Set prototype mac 0x001abf7e

   signatureundefined4 GAME_CheckIfGameNameExistsSafely(char * szGameName)→BOOL GAME_CheckIfGameNameExistsSafely(char * szGameName)
   convention__cdecl