{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:GH4ID6T46QDX3WH3HUXJDAB43R","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":"70a2c28e60879842cff9b103e538399590b4ac0433a514af4d74ceb6aeb734e8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.LO","submitted_at":"2022-07-22T13:09:38Z","title_canon_sha256":"ca512985c3ce4d75348537f2d2ca1e75d110026f8a3aafedd94d7bb02f89abb3"},"schema_version":"1.0","source":{"id":"2207.11065","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2207.11065","created_at":"2026-07-05T04:42:43Z"},{"alias_kind":"arxiv_version","alias_value":"2207.11065v1","created_at":"2026-07-05T04:42:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2207.11065","created_at":"2026-07-05T04:42:43Z"},{"alias_kind":"pith_short_12","alias_value":"GH4ID6T46QDX","created_at":"2026-07-05T04:42:43Z"},{"alias_kind":"pith_short_16","alias_value":"GH4ID6T46QDX3WH3","created_at":"2026-07-05T04:42:43Z"},{"alias_kind":"pith_short_8","alias_value":"GH4ID6T4","created_at":"2026-07-05T04:42:43Z"}],"graph_snapshots":[{"event_id":"sha256:f005ef45404475659555be81e540c68558eb98fe80939f9abb83994277579667","target":"graph","created_at":"2026-07-05T04:42:43Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2207.11065/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We develop the theory of meta-iteration trees, that is, iteration trees whose base \"model\" is itself an ordinary iteration tree. We prove a comparison theorem for meta-iteration strategies parallel to the one for ordinary iteration strategies, and use it to show that the iteration strategy component of a mouse pair condenses to itself under weak tree embeddings. These constitute a class of embeddings between iteration trees that is significantly larger than the class of embeddings mentioned in the definition of mouse pair. We then use this very strong hull condensation property of mouse pairs ","authors_text":"Benjamin Siskind, John Steel","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.LO","submitted_at":"2022-07-22T13:09:38Z","title":"Full normalization for mouse pairs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2207.11065","kind":"arxiv","version":1},"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:f9e2d793713b9d6a6daeef4c20c605040bf17b2df5f72d2229fefa77414ddb61","target":"record","created_at":"2026-07-05T04:42:43Z","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":"70a2c28e60879842cff9b103e538399590b4ac0433a514af4d74ceb6aeb734e8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.LO","submitted_at":"2022-07-22T13:09:38Z","title_canon_sha256":"ca512985c3ce4d75348537f2d2ca1e75d110026f8a3aafedd94d7bb02f89abb3"},"schema_version":"1.0","source":{"id":"2207.11065","kind":"arxiv","version":1}},"canonical_sha256":"31f881fa7cf4077dd8fb3d2e91803cdc7045f8ad93177b74fcbd16a013a76d84","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"31f881fa7cf4077dd8fb3d2e91803cdc7045f8ad93177b74fcbd16a013a76d84","first_computed_at":"2026-07-05T04:42:43.256180Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:42:43.256180Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yjlOfzoW5k/SMTBx61OWecO7Yjk2Ro79SJ+JOzMQ12H0rqIUIOBprhPzyMa0/+unt/Mo2realNJBYLnoLZ5yAg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:42:43.256570Z","signed_message":"canonical_sha256_bytes"},"source_id":"2207.11065","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f9e2d793713b9d6a6daeef4c20c605040bf17b2df5f72d2229fefa77414ddb61","sha256:f005ef45404475659555be81e540c68558eb98fe80939f9abb83994277579667"],"state_sha256":"383b1f1b21ec18d67b9b5ca0bacbffd5f0bc2af0611bcd74c89b4385bd093677"}