Deterministic Arithmetic Substrates for Cross-Platform Verifiable Governance Evidence: A Framework for Reproducible Computation Provenance | Synapse