Proposals / #1043

Recover the Mac mounted-volume predicate full Boolean result

applied · by Commit-Will · submitted 2026-11-02, applied 2026-11-02

Ghidra vmac 111 · 3cfe190

Mac000ab26f returns undefined despite deliberate full EAX0/1 on every reached normalRET. Both actual consumers immediately TEST EAX,EAX, so use existing4-byte BOOL. Preserve char* szVolumeName/ECX4/current __fastcc and arity; no chosenname/input/CC edit. NativeECXcapture and both literalpointer producers are proved; backend customstorageflag/conventionmodel safety remains unverified. Any concrete refusal/mismatch means wholehold, no model/CC/input/width workaround. Fourcode regions449bytes+65data=514verified raw-v-separateassembly, allnative loopedges explicit. FailureCALLab378 hypotheticalIF-return successorab37d liesoutside270B and is an analysiscutoff, not nonreturn/termination. ImportedAPI outcomes affect branches but normalresult is0/1 regardless. No OS/libraryimplementation, looptermination, copyeffect/inputbuffer safety or runtimevolumeaccuracy claim. Macstatic only; no execution/localMachOhash/Windows/buildgain.

Changes 1, applied together

1. Set prototype mac 0x000ab26f

   signatureundefined LOADER_IsNamedVolumeMounted(char * szVolumeName)→BOOL LOADER_IsNamedVolumeMounted(char * szVolumeName)
   convention__fastcc