README

Formal systems are missing a validation layer between syntax and execution. A string can be syntactically legal and still not executable. A premise set can contain individually well-formed formulas whose conjunction describes a state no evaluation can resolve. A provability request can route through its own verdict without grounding. A halting query can demand an answer from a structure that…