The " Kraken " in this context refers to the untamed, unpredictable, and potentially catastrophic risks posed by Lethal Autonomous Weapon Systems that operate without meaningful human control. Typed machine code—a form of programming that enforces strict rules on data types and operations at the lowest level—is argued to be the only effective mechanism for "caging" these systems by guaranteeing, rather than just testing, that they comply with safety and legal requirements.  Here is why typed machine code is essential for taming autonomous weapons: 1. Eliminating Unintended Behaviour (Safety) Preventing "Black Box" Failures: Modern AI often operates as a "black box," making it impossible for commanders to predict behaviour in novel environments. Typed code ensures that software adheres to pre-defined, rigid parameters, making the system's actions predictable. Reducing Unintended Engagements: DoD Directive 3000.09 requires minimising risks o...