Evidence-Bounded Symbolic Equivalence in an Executable Ordinary Standard Model Pipeline

This release presents a sealed, reproducible dual-route validation of an executable ordinary Standard Model benchmark comprising eight tree-level processes, nineteen diagram records, and fourteen frozen comparison points. Independent native and oracle routes agree after frozen electroweak neutral normalization, with 8/8 process passes, 14/14 exact neutral-comparison passes, and 14/14 numerical-regression passes across deterministic replays. The supported claim is limited to exact neutral equivalence for the sealed eight-process, fourteen-point contract; unrestricted, all-kinematics, all-branches, and observable-level equivalence are not claimed. The release PDF is connected to a cryptographically traceable sealed evidence lineage.