The principle that formal verification operates independently of the medium it checks — the same Lean code that verifies a math proof can verify a physics argument. The barrier is not capability but corpus: physics lacks the training data that made mathematical formalization efficient
