{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:2KNFKHPASPD7YCQI47M4Z5Q2WK","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":"ffea3ea87a1cbc76d036c304689d954aadff68d0f9dba1b4df2e68489773999c","cross_cats_sorted":["math.GN","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2026-05-19T19:03:46Z","title_canon_sha256":"2450f5023692305718b19f141d51312072844f65e019b26c7091581e479ba23a"},"schema_version":"1.0","source":{"id":"2605.20407","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.20407","created_at":"2026-05-21T01:04:36Z"},{"alias_kind":"arxiv_version","alias_value":"2605.20407v1","created_at":"2026-05-21T01:04:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.20407","created_at":"2026-05-21T01:04:36Z"},{"alias_kind":"pith_short_12","alias_value":"2KNFKHPASPD7","created_at":"2026-05-21T01:04:36Z"},{"alias_kind":"pith_short_16","alias_value":"2KNFKHPASPD7YCQI","created_at":"2026-05-21T01:04:36Z"},{"alias_kind":"pith_short_8","alias_value":"2KNFKHPA","created_at":"2026-05-21T01:04:36Z"}],"graph_snapshots":[{"event_id":"sha256:cdd2157192f001a989a09a407d159dfc7fda8f96391385e89116a8bc110c69dc","target":"graph","created_at":"2026-05-21T01:04:36Z","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/2605.20407/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories, demonstrating that these groupoids satisfy a stronger universal property than that of their corresponding classifying toposes. We also prove a dual result that there exist classifying localic categories and groupoids for proper separated bundles satisfying a dual geometric theory. Thus, localic groupoids classify strictly more kinds of logical theories than top","authors_text":"Graham Manuell, Joshua L. Wrigley","cross_cats":["math.GN","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2026-05-19T19:03:46Z","title":"Generic bundles over a localic category"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.20407","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:6c4718ade676c0d42002ea28cd5dc054d33e10d84be6c733bb737d6625a0af43","target":"record","created_at":"2026-05-21T01:04:36Z","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":"ffea3ea87a1cbc76d036c304689d954aadff68d0f9dba1b4df2e68489773999c","cross_cats_sorted":["math.GN","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2026-05-19T19:03:46Z","title_canon_sha256":"2450f5023692305718b19f141d51312072844f65e019b26c7091581e479ba23a"},"schema_version":"1.0","source":{"id":"2605.20407","kind":"arxiv","version":1}},"canonical_sha256":"d29a551de093c7fc0a08e7d9ccf61ab286a201ab238196756b9c29aaabbb2035","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d29a551de093c7fc0a08e7d9ccf61ab286a201ab238196756b9c29aaabbb2035","first_computed_at":"2026-05-21T01:04:36.809975Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-21T01:04:36.809975Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QYNR5A1N0tNnnLCIZNRIm4ZrJ+mxxk5fIDXkXtq5QzWPmQE5anHn6tHceFMkOYYbqVwi/4RBxHU1B75zzg3RAw==","signature_status":"signed_v1","signed_at":"2026-05-21T01:04:36.810671Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.20407","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6c4718ade676c0d42002ea28cd5dc054d33e10d84be6c733bb737d6625a0af43","sha256:cdd2157192f001a989a09a407d159dfc7fda8f96391385e89116a8bc110c69dc"],"state_sha256":"9621458a086a60bd228744ecf9b4fd08b84b5cc2ce7e3e7923357cbd45e4bb58"}