{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:2EFNULPUASKGPIBA6OQG4C5QQ2","short_pith_number":"pith:2EFNULPU","canonical_record":{"source":{"id":"2507.18564","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2025-07-24T16:38:52Z","cross_cats_sorted":["math.GN"],"title_canon_sha256":"2cb3dc99315cdeabf4d01606f24f4229485fa326f7a5019ee7b1e18c4d85b598","abstract_canon_sha256":"9de4aead90ae943c45a22f2d66f494739a594813e291c39d401c0dc0918e0aab"},"schema_version":"1.0"},"canonical_sha256":"d10ada2df4049467a020f3a06e0bb086ade07a006c2f598bea07e81351df2e27","source":{"kind":"arxiv","id":"2507.18564","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.18564","created_at":"2026-07-05T11:42:50Z"},{"alias_kind":"arxiv_version","alias_value":"2507.18564v1","created_at":"2026-07-05T11:42:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.18564","created_at":"2026-07-05T11:42:50Z"},{"alias_kind":"pith_short_12","alias_value":"2EFNULPUASKG","created_at":"2026-07-05T11:42:50Z"},{"alias_kind":"pith_short_16","alias_value":"2EFNULPUASKGPIBA","created_at":"2026-07-05T11:42:50Z"},{"alias_kind":"pith_short_8","alias_value":"2EFNULPU","created_at":"2026-07-05T11:42:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:2EFNULPUASKGPIBA6OQG4C5QQ2","target":"record","payload":{"canonical_record":{"source":{"id":"2507.18564","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2025-07-24T16:38:52Z","cross_cats_sorted":["math.GN"],"title_canon_sha256":"2cb3dc99315cdeabf4d01606f24f4229485fa326f7a5019ee7b1e18c4d85b598","abstract_canon_sha256":"9de4aead90ae943c45a22f2d66f494739a594813e291c39d401c0dc0918e0aab"},"schema_version":"1.0"},"canonical_sha256":"d10ada2df4049467a020f3a06e0bb086ade07a006c2f598bea07e81351df2e27","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:42:50.131547Z","signature_b64":"eFIj4ArJpWPnD2xsTPcsX7Li5bUEAbGgl9CP6XB8To58v1/ZCwts9wEHhVXqCB56A840dR5HPI+O+XAuc6NSAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d10ada2df4049467a020f3a06e0bb086ade07a006c2f598bea07e81351df2e27","last_reissued_at":"2026-07-05T11:42:50.131139Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:42:50.131139Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.18564","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-07-05T11:42:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d7a5IVxKkeird08Rfr0tw5B+RaMuX8duSAFUf/OGADHOF+j/7oHEBcCQ53CJgOvvweH3hwJt94s33SdKxU4KDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T22:06:18.971582Z"},"content_sha256":"2085204c26d0ddb7385346039f143b928f185e023f90f3dc745b962e40937f0f","schema_version":"1.0","event_id":"sha256:2085204c26d0ddb7385346039f143b928f185e023f90f3dc745b962e40937f0f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:2EFNULPUASKGPIBA6OQG4C5QQ2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computability of Separation Axioms in Countable Second Countable Spaces","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.GN"],"primary_cat":"math.LO","authors_text":"Andrew DeLapo, David Gonzalez","submitted_at":"2025-07-24T16:38:52Z","abstract_excerpt":"We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on the separation principles, calibrating an arithmetic completeness result for each of the Tychonoff separation axioms. Beyond this, we prove completeness results for various other topological properties, such as being Polish and having a particular Cantor-Bendixson rank, using tools from computable structure theory. This work contrasts with previous work analyzing countable, second countable spaces which used the frame"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.18564","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.18564/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T11:42:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OzVYEF+iQxmoIM16ATj5t/1QfTf9nGJUoPcpPo1U8IS7NvK8NYLZ9wxsq18YFHYaI5OIyOuD08Ai47oRLIY4DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T22:06:18.972200Z"},"content_sha256":"158cfc774dc37e1e97e0b866b1dbdd3b6681e3a6dad00b66afe93624d4a4ee71","schema_version":"1.0","event_id":"sha256:158cfc774dc37e1e97e0b866b1dbdd3b6681e3a6dad00b66afe93624d4a4ee71"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2EFNULPUASKGPIBA6OQG4C5QQ2/bundle.json","state_url":"https://pith.science/pith/2EFNULPUASKGPIBA6OQG4C5QQ2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2EFNULPUASKGPIBA6OQG4C5QQ2/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-08-05T22:06:18Z","links":{"resolver":"https://pith.science/pith/2EFNULPUASKGPIBA6OQG4C5QQ2","bundle":"https://pith.science/pith/2EFNULPUASKGPIBA6OQG4C5QQ2/bundle.json","state":"https://pith.science/pith/2EFNULPUASKGPIBA6OQG4C5QQ2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2EFNULPUASKGPIBA6OQG4C5QQ2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:2EFNULPUASKGPIBA6OQG4C5QQ2","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":"9de4aead90ae943c45a22f2d66f494739a594813e291c39d401c0dc0918e0aab","cross_cats_sorted":["math.GN"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2025-07-24T16:38:52Z","title_canon_sha256":"2cb3dc99315cdeabf4d01606f24f4229485fa326f7a5019ee7b1e18c4d85b598"},"schema_version":"1.0","source":{"id":"2507.18564","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.18564","created_at":"2026-07-05T11:42:50Z"},{"alias_kind":"arxiv_version","alias_value":"2507.18564v1","created_at":"2026-07-05T11:42:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.18564","created_at":"2026-07-05T11:42:50Z"},{"alias_kind":"pith_short_12","alias_value":"2EFNULPUASKG","created_at":"2026-07-05T11:42:50Z"},{"alias_kind":"pith_short_16","alias_value":"2EFNULPUASKGPIBA","created_at":"2026-07-05T11:42:50Z"},{"alias_kind":"pith_short_8","alias_value":"2EFNULPU","created_at":"2026-07-05T11:42:50Z"}],"graph_snapshots":[{"event_id":"sha256:158cfc774dc37e1e97e0b866b1dbdd3b6681e3a6dad00b66afe93624d4a4ee71","target":"graph","created_at":"2026-07-05T11:42:50Z","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/2507.18564/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on the separation principles, calibrating an arithmetic completeness result for each of the Tychonoff separation axioms. Beyond this, we prove completeness results for various other topological properties, such as being Polish and having a particular Cantor-Bendixson rank, using tools from computable structure theory. This work contrasts with previous work analyzing countable, second countable spaces which used the frame","authors_text":"Andrew DeLapo, David Gonzalez","cross_cats":["math.GN"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2025-07-24T16:38:52Z","title":"Computability of Separation Axioms in Countable Second Countable Spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.18564","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:2085204c26d0ddb7385346039f143b928f185e023f90f3dc745b962e40937f0f","target":"record","created_at":"2026-07-05T11:42:50Z","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":"9de4aead90ae943c45a22f2d66f494739a594813e291c39d401c0dc0918e0aab","cross_cats_sorted":["math.GN"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2025-07-24T16:38:52Z","title_canon_sha256":"2cb3dc99315cdeabf4d01606f24f4229485fa326f7a5019ee7b1e18c4d85b598"},"schema_version":"1.0","source":{"id":"2507.18564","kind":"arxiv","version":1}},"canonical_sha256":"d10ada2df4049467a020f3a06e0bb086ade07a006c2f598bea07e81351df2e27","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d10ada2df4049467a020f3a06e0bb086ade07a006c2f598bea07e81351df2e27","first_computed_at":"2026-07-05T11:42:50.131139Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:42:50.131139Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eFIj4ArJpWPnD2xsTPcsX7Li5bUEAbGgl9CP6XB8To58v1/ZCwts9wEHhVXqCB56A840dR5HPI+O+XAuc6NSAw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:42:50.131547Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.18564","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2085204c26d0ddb7385346039f143b928f185e023f90f3dc745b962e40937f0f","sha256:158cfc774dc37e1e97e0b866b1dbdd3b6681e3a6dad00b66afe93624d4a4ee71"],"state_sha256":"61803ee7b607de834261d3c9c2a2b6887e50618e83a0de28fe5450348afc8029"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V65Dc1xZi//fhBjePgtPL+clbS9YpJo9JlYpnoD6EHAiBSfXU5epopEc/bkyqaLn69Hi9OsJUReaYzCMLFxAAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T22:06:18.975842Z","bundle_sha256":"d312e70dbdd5ef138beecd5b62e31745e06be96fe74c93bfecaddaf3cca2fc1a"}}