{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:4TNH4CKEC5CFS4VKYA7ZHO5UQB","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":"27b056d24145451b164854c7205b4dc072fe746f755d74e94d3f0ee4a87240b2","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2025-07-23T17:28:03Z","title_canon_sha256":"7bcf132d5527068e6b351de811cedb86601d47cc3551f668fa649c2c0b169374"},"schema_version":"1.0","source":{"id":"2507.17715","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.17715","created_at":"2026-07-05T11:42:17Z"},{"alias_kind":"arxiv_version","alias_value":"2507.17715v1","created_at":"2026-07-05T11:42:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.17715","created_at":"2026-07-05T11:42:17Z"},{"alias_kind":"pith_short_12","alias_value":"4TNH4CKEC5CF","created_at":"2026-07-05T11:42:17Z"},{"alias_kind":"pith_short_16","alias_value":"4TNH4CKEC5CFS4VK","created_at":"2026-07-05T11:42:17Z"},{"alias_kind":"pith_short_8","alias_value":"4TNH4CKE","created_at":"2026-07-05T11:42:17Z"}],"graph_snapshots":[{"event_id":"sha256:687db4043f43b9c0a0d67f2b9e43e22b92c121a104c7bde45593b487dcc73591","target":"graph","created_at":"2026-07-05T11:42:17Z","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.17715/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this note, we investigate the algebraic and topological representation theory of cylindric ortholattices and cylindric Boolean algebras. The first contribution demonstrates that cylindric ortholattices are closed under canonical completions. By equipping a spectral topology to the dual space associated with the canonical completion, we then establish a dual equivalence between the category of cylindric ortholattices and a certain subcategory of the category of spectral spaces. This work builds on the completion and duality results obtained by Harding, McDonald, and Peinado in the setting of","authors_text":"Joseph McDonald","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2025-07-23T17:28:03Z","title":"Canonical completion and duality for cylindric ortholattices and cylindric Boolean algebras"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.17715","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:b638a07a242dc9f7ed14e7980dacbda4385e1a3ca3fdb6a2edbcadce383a48aa","target":"record","created_at":"2026-07-05T11:42:17Z","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":"27b056d24145451b164854c7205b4dc072fe746f755d74e94d3f0ee4a87240b2","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2025-07-23T17:28:03Z","title_canon_sha256":"7bcf132d5527068e6b351de811cedb86601d47cc3551f668fa649c2c0b169374"},"schema_version":"1.0","source":{"id":"2507.17715","kind":"arxiv","version":1}},"canonical_sha256":"e4da7e094417445972aac03f93bbb4805bfa2e8d9b71532605bddc3dd32b3cdf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e4da7e094417445972aac03f93bbb4805bfa2e8d9b71532605bddc3dd32b3cdf","first_computed_at":"2026-07-05T11:42:17.255394Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:42:17.255394Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BBgB86caKoOvsQw2xc6vGMWJjTxu9FPqaYTEhBE+ZS6vYOtFW8apfpuzrLw4KoN4PuCBaEAR9yRGIGiqqcBPBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:42:17.255862Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.17715","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b638a07a242dc9f7ed14e7980dacbda4385e1a3ca3fdb6a2edbcadce383a48aa","sha256:687db4043f43b9c0a0d67f2b9e43e22b92c121a104c7bde45593b487dcc73591"],"state_sha256":"28a0340d3f69f07952dc9e2e635961564dca9d0a7450a90241efd749e2e530cb"}