Formal Structural Verification of V3 Architecture via Automated Reverse Reading - Static Validator and Academic Report | Synapse