{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:76DYXXMNC4VAEM5MKOEUYDSEK3","short_pith_number":"pith:76DYXXMN","canonical_record":{"source":{"id":"1810.09974","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-23T17:08:42Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"9be150b4764e739d615fa9bc005232d2649a68268b1407e42d7c9dc1192be5ac","abstract_canon_sha256":"08af65886d6b9574dc0f3f970ea83ec5f87abba31015b4b0847d052f7795a310"},"schema_version":"1.0"},"canonical_sha256":"ff878bdd8d172a0233ac53894c0e4456d35cb216dac649625cc83134c6a75c1a","source":{"kind":"arxiv","id":"1810.09974","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.09974","created_at":"2026-05-18T00:02:28Z"},{"alias_kind":"arxiv_version","alias_value":"1810.09974v1","created_at":"2026-05-18T00:02:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.09974","created_at":"2026-05-18T00:02:28Z"},{"alias_kind":"pith_short_12","alias_value":"76DYXXMNC4VA","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"76DYXXMNC4VAEM5M","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"76DYXXMN","created_at":"2026-05-18T12:32:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:76DYXXMNC4VAEM5MKOEUYDSEK3","target":"record","payload":{"canonical_record":{"source":{"id":"1810.09974","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-23T17:08:42Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"9be150b4764e739d615fa9bc005232d2649a68268b1407e42d7c9dc1192be5ac","abstract_canon_sha256":"08af65886d6b9574dc0f3f970ea83ec5f87abba31015b4b0847d052f7795a310"},"schema_version":"1.0"},"canonical_sha256":"ff878bdd8d172a0233ac53894c0e4456d35cb216dac649625cc83134c6a75c1a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:28.740016Z","signature_b64":"fFIcWV4kRgrcHIKhTQu3dEofjFiSpIrr36nkG9HzG0S1OoVioYugMNopt+oD3T4srw4t6A0FOpzNWmhXKNqhBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ff878bdd8d172a0233ac53894c0e4456d35cb216dac649625cc83134c6a75c1a","last_reissued_at":"2026-05-18T00:02:28.739457Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:28.739457Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.09974","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:02:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xd9KJbQL/Q2prUokzhtJaeZf5pxr2J6NXjngvLMN/vDGcxivq/CfvHyTWu4BiLG1Do2gwqQKLH31Ct/C7Ol6AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T03:35:21.489568Z"},"content_sha256":"a7157602baee66b6a70c348978f68b6295447e42abec259e4dd724de0c3bce2d","schema_version":"1.0","event_id":"sha256:a7157602baee66b6a70c348978f68b6295447e42abec259e4dd724de0c3bce2d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:76DYXXMNC4VAEM5MKOEUYDSEK3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algorithmic Traversals of Infinite Graphs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.LO","authors_text":"Anton Jay Kienzle, Siddharth Bhaskar","submitted_at":"2018-10-23T17:08:42Z","abstract_excerpt":"A traversal of a connected graph is a linear ordering of its vertices all of whose initial segments induce connected subgraphs. Traversals, and their refinements such as breadth-first and depth-first traversals, are computed by various graph searching algorithms. We extend the theory of generic search and breadth-first search from finite graphs to wellordered infinite graphs, recovering the notion of \"search trees\" in this context. We also prove tight upper bounds on the extent to which graph search and breadth-first search can modify the order type of the original graph, as well as characteri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.09974","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:02:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LB2THtLC36Fg2g47fDP09Q0cyOSpkkcBcR0s4QyrYvKqH256W+IlWSBCGwmFPKg9VHpWsA+jOln4q8pw1ec9Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T03:35:21.490187Z"},"content_sha256":"a694c2e353d37c2af20f8f4562925f0e8d740444cd495e6a7797199714a08bc2","schema_version":"1.0","event_id":"sha256:a694c2e353d37c2af20f8f4562925f0e8d740444cd495e6a7797199714a08bc2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/76DYXXMNC4VAEM5MKOEUYDSEK3/bundle.json","state_url":"https://pith.science/pith/76DYXXMNC4VAEM5MKOEUYDSEK3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/76DYXXMNC4VAEM5MKOEUYDSEK3/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-11T03:35:21Z","links":{"resolver":"https://pith.science/pith/76DYXXMNC4VAEM5MKOEUYDSEK3","bundle":"https://pith.science/pith/76DYXXMNC4VAEM5MKOEUYDSEK3/bundle.json","state":"https://pith.science/pith/76DYXXMNC4VAEM5MKOEUYDSEK3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/76DYXXMNC4VAEM5MKOEUYDSEK3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:76DYXXMNC4VAEM5MKOEUYDSEK3","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":"08af65886d6b9574dc0f3f970ea83ec5f87abba31015b4b0847d052f7795a310","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-23T17:08:42Z","title_canon_sha256":"9be150b4764e739d615fa9bc005232d2649a68268b1407e42d7c9dc1192be5ac"},"schema_version":"1.0","source":{"id":"1810.09974","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.09974","created_at":"2026-05-18T00:02:28Z"},{"alias_kind":"arxiv_version","alias_value":"1810.09974v1","created_at":"2026-05-18T00:02:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.09974","created_at":"2026-05-18T00:02:28Z"},{"alias_kind":"pith_short_12","alias_value":"76DYXXMNC4VA","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"76DYXXMNC4VAEM5M","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"76DYXXMN","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:a694c2e353d37c2af20f8f4562925f0e8d740444cd495e6a7797199714a08bc2","target":"graph","created_at":"2026-05-18T00:02:28Z","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":"A traversal of a connected graph is a linear ordering of its vertices all of whose initial segments induce connected subgraphs. Traversals, and their refinements such as breadth-first and depth-first traversals, are computed by various graph searching algorithms. We extend the theory of generic search and breadth-first search from finite graphs to wellordered infinite graphs, recovering the notion of \"search trees\" in this context. We also prove tight upper bounds on the extent to which graph search and breadth-first search can modify the order type of the original graph, as well as characteri","authors_text":"Anton Jay Kienzle, Siddharth Bhaskar","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-23T17:08:42Z","title":"Algorithmic Traversals of Infinite Graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.09974","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:a7157602baee66b6a70c348978f68b6295447e42abec259e4dd724de0c3bce2d","target":"record","created_at":"2026-05-18T00:02:28Z","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":"08af65886d6b9574dc0f3f970ea83ec5f87abba31015b4b0847d052f7795a310","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-23T17:08:42Z","title_canon_sha256":"9be150b4764e739d615fa9bc005232d2649a68268b1407e42d7c9dc1192be5ac"},"schema_version":"1.0","source":{"id":"1810.09974","kind":"arxiv","version":1}},"canonical_sha256":"ff878bdd8d172a0233ac53894c0e4456d35cb216dac649625cc83134c6a75c1a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ff878bdd8d172a0233ac53894c0e4456d35cb216dac649625cc83134c6a75c1a","first_computed_at":"2026-05-18T00:02:28.739457Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:28.739457Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fFIcWV4kRgrcHIKhTQu3dEofjFiSpIrr36nkG9HzG0S1OoVioYugMNopt+oD3T4srw4t6A0FOpzNWmhXKNqhBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:28.740016Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.09974","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a7157602baee66b6a70c348978f68b6295447e42abec259e4dd724de0c3bce2d","sha256:a694c2e353d37c2af20f8f4562925f0e8d740444cd495e6a7797199714a08bc2"],"state_sha256":"5de30a1502d32a283fff0c27c68300dcb97fe36f45400f751aa66ba4d645980e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b/B2dX5bncCstJ24QDHsVy1gM7tFOEJs1VZIOEBLM7dKV35/YNOcP7zUY1BpLCt/x4iZa0LlymSIzAlLvaPUBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T03:35:21.494411Z","bundle_sha256":"acfcba60149bf006a127a9523643faf009191d77486c195f6d2eea4d815240bc"}}