The Verifiable Semantic Execution Layer

I am opening VSEL for public support through Giveth. VSEL, the Verifiable Semantic Execution Layer, is a research-driven engineering project built around a simple but uncomfortable premise: systems do not fail only because code is buggy. They fail because execution, intention, policy, and verified behavior are often treated as separate worlds. In most critical infrastructure, a system can execute correctly according to its local implementation and still violate the semantic intent it was suppose