{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:IALMCMUMJUPGAJIIV2L7KMXW2C","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"cf8c927e4ed265ab29eadb0ef895ecca7ece377082c0c8815b0c1340b436be39","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2012-10-31T11:32:55Z","title_canon_sha256":"47004ba6c23b03ed428fba5c7f7d05bc7e381c39e75d27c04a8c8408baa96dfe"},"schema_version":"1.0","source":{"id":"1210.8303","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.8303","created_at":"2026-05-18T03:31:33Z"},{"alias_kind":"arxiv_version","alias_value":"1210.8303v3","created_at":"2026-05-18T03:31:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.8303","created_at":"2026-05-18T03:31:33Z"},{"alias_kind":"pith_short_12","alias_value":"IALMCMUMJUPG","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"IALMCMUMJUPGAJII","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"IALMCMUM","created_at":"2026-05-18T12:27:09Z"}],"graph_snapshots":[{"event_id":"sha256:4c04cc09c44e1e050e1e5395a247163ef0df971774bbe5ce41f7c306b4ac04d3","target":"graph","created_at":"2026-05-18T03:31:33Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"How does one verify that the output of a complicated program is correct? One can formally prove that the program is correct, but this may be beyond the power of existing methods. Alternatively one can check that the output produced for a particular input satisfies the desired input-output relation, by running a checker on the input-output pair. Then one only needs to prove the correctness of the checker. But for some problems even such a checker may be too complicated to formally verify. There is a third alternative: augment the original program to produce not only an output but also a correct","authors_text":"Loukas Georgiadis, Robert E. Tarjan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2012-10-31T11:32:55Z","title":"Dominator Tree Certification and Independent Spanning Trees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.8303","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:303420a40fc2633bc5da27ac470eb9964f341c30c1fb9a66536c02d7a3f29199","target":"record","created_at":"2026-05-18T03:31:33Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"cf8c927e4ed265ab29eadb0ef895ecca7ece377082c0c8815b0c1340b436be39","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2012-10-31T11:32:55Z","title_canon_sha256":"47004ba6c23b03ed428fba5c7f7d05bc7e381c39e75d27c04a8c8408baa96dfe"},"schema_version":"1.0","source":{"id":"1210.8303","kind":"arxiv","version":3}},"canonical_sha256":"4016c1328c4d1e602508ae97f532f6d0a2f228abfc477f90eb6fd1acc705d645","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4016c1328c4d1e602508ae97f532f6d0a2f228abfc477f90eb6fd1acc705d645","first_computed_at":"2026-05-18T03:31:33.751045Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:31:33.751045Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sFHOrrO9xqLBgSn2llpoMvVzcmAPvh9UsniGBRfakz7PEP1yOM80MXLlbxJGjAmUnxyichG1e5IUVOPEbNilBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:31:33.751822Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.8303","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:303420a40fc2633bc5da27ac470eb9964f341c30c1fb9a66536c02d7a3f29199","sha256:4c04cc09c44e1e050e1e5395a247163ef0df971774bbe5ce41f7c306b4ac04d3"],"state_sha256":"35c69456e3bb00a2807c2b79e3b63dacb1594c04fcf2e593eda768d71be890da"}