Four claims over two comparison records A tree. The verification record ev_ccbaea4b at the top has status fail with two passed and two failed claims. Its left column holds the two percent_change claims, pseudocode and assembly, both pass with observed_status unchanged, pointing at the comparison record ev_2161e17a whose left side is ev_b492c85e from ledger-arm64-O1 and right side ev_142cc943 from ledger-arm64-O2. That comparison is unknown on references, and its residual unknown names only overall and references, so neither claim lists it. The right column holds the two total claims, both fail with observed_status changed, pointing at the comparison record ev_40ba96d8 with sides ev_a1fe53ff and ev_bfe3275b, which recorded the residual unknown unk_823f4184, Function comparison is changed. verify_reconstruction ev_ccbaea4b status fail: 2 passed, 2 failed, 0 unknown percent-change-pseudocode status pass, observed_status unchanged percent-change-assembly status pass, observed_status unchanged comparison_evidence_id compare_functions ev_2161e17a left ev_b492c85e (ledger-arm64-O1) right ev_142cc943 (ledger-arm64-O2) unknown_ids empty no unknown in the claim scope its unknown names overall and references total-pseudocode status fail, observed_status changed total-assembly status fail, observed_status changed comparison_evidence_id compare_functions ev_40ba96d8 left ev_a1fe53ff (ledger-arm64-O1) right ev_bfe3275b (ledger-arm64-O2) unknown_ids unk_823f4184 Function comparison is changed (medium)