Verification¶

How a claim about the original is checked against the port. The native execution oracle runs original functions against their Python ports; the recovered core gate steps bot streams and recorded runs through the recovered core and Python and compares them tick by tick; evidence records say what each kind of evidence establishes. Known deltas live in coverage and scope and original bugs.