> leverage AI to implement verifiable enforcement of the invariants

The only verifiable invariants that are going to work in the long run are:

  air gaps
  data diodes

Interposing relays used to be used with PLCs[1] to prevent motor control systems from energizing both forward and reverse power to a large motor in the unlikely but possible event of control systems failure. We need to apply the same amount of engineering rigor to our computer systems.

We simply shouldn't trust software to a job that belongs in hardware.

[1] https://en.wikipedia.org/wiki/Programmable_logic_controller