If I remove the battery without powering down, the flash stays on. However, if I turn it off by opening the battery compartment the flash turns off.
I think the AE lock was a bit of a red herring. If I press any button on the camera, the flash will power off when the camera turns off. This is true even if the flash is not attached when the button is pressed.
Here are a collection of logs:
Odd numbered logs, I do not do AE and the flash stays on. Even number logs, I do AE/Lock (4,6,8) or enter the flash menu (10,12) and the flash turns off.
https://anonfile.com/Q809l0fbb8/magiclantern_flash_logs.tar.gzThere is no single log line that is present in all of the "off" cases that is not present in any of the "non-off" cases. So it must be more complicated than a single mpu message. Perhaps part of a large MPU message? Or handled entirely within the MPU, in which case it sounds like disabling the auto-off would not be possible.