Oh whew, I just realized there's nothing wrong with the formulas
The problem there is that the function for testing manual robot data hacks is shared between schematics and analyses, and the function was first written for schematics and only later adapted to analyses, but it assumed at the time that any robot that had an analysis also had a schematic. This is not always the case (as with Behemoths and the Lightning, as you encountered), so in cases where there is an analysis but no schematic the manual hack will always say it's unavailable (then give a bogus reason because the message system believed the original test was correct when it really wasn't).
It's saying security level 0 you're already at the proper depth (which you probably headed to because lower-depth terminals told you to go there
).
Anyway, now those manual Analysis() hacks will be available as expected.
(And as a side note, security level 0 terminals are actually a thing, you just don't currently find any within 0b10 itself.)
