Equivalence-preserving re-expression as an auditability primitive — is this actually useful?
Epistemic status: I've built working implementations of what I describe, but the method is patent-pending and I can't open it. I know that's in tension with the norms here, so I'm not asking anyone to take the implementation on faith — I'm putting the ideas up for criticism, and I'll...
Sep 131