{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:4YAA2DGOZNSYD2RCTOEEBNZ4VT","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":"235d6e8de843be7e52b350f5c9ae7d7b37598736f98c41522be8dddc8c58bc13","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-01-31T14:51:24Z","title_canon_sha256":"ef1565cf9e619eb3ec3205fc57ad8f28f8e43a72e5170513139b1a90884935e0"},"schema_version":"1.0","source":{"id":"2501.19187","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.19187","created_at":"2026-07-05T10:07:57Z"},{"alias_kind":"arxiv_version","alias_value":"2501.19187v1","created_at":"2026-07-05T10:07:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.19187","created_at":"2026-07-05T10:07:57Z"},{"alias_kind":"pith_short_12","alias_value":"4YAA2DGOZNSY","created_at":"2026-07-05T10:07:57Z"},{"alias_kind":"pith_short_16","alias_value":"4YAA2DGOZNSYD2RC","created_at":"2026-07-05T10:07:57Z"},{"alias_kind":"pith_short_8","alias_value":"4YAA2DGO","created_at":"2026-07-05T10:07:57Z"}],"graph_snapshots":[{"event_id":"sha256:e21bca9ec044b87d62b2943bb94f400a5caff68e7248bfb9c388149d50d8917d","target":"graph","created_at":"2026-07-05T10:07:57Z","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/2501.19187/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modalities in homotopy type theory are used to create and access subuniverses of a given type universe. These have significant applications throughout mathematics and computer science, and in particular can be used to create universes in which certain logical principles are true. We define presentations of topological modalities, which act as an internalisation of the notion of a Grothendieck topology. A specific presentation of a modality gives access to a surprising amount of computational information, such as explicit methods of determining membership of the subuniverse via internal sheaf c","authors_text":"Mark Damuni Williams","cross_cats":["math.CT"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-01-31T14:51:24Z","title":"Projective Presentations of Lex Modalities"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.19187","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:b7d6018e8a3ee622a6a77ea0768aa8bff10d7246370e93517b9b840be7b709a5","target":"record","created_at":"2026-07-05T10:07:57Z","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":"235d6e8de843be7e52b350f5c9ae7d7b37598736f98c41522be8dddc8c58bc13","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-01-31T14:51:24Z","title_canon_sha256":"ef1565cf9e619eb3ec3205fc57ad8f28f8e43a72e5170513139b1a90884935e0"},"schema_version":"1.0","source":{"id":"2501.19187","kind":"arxiv","version":1}},"canonical_sha256":"e6000d0ccecb6581ea229b8840b73cacec3f2688b9c08909a2023879100e7e1b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e6000d0ccecb6581ea229b8840b73cacec3f2688b9c08909a2023879100e7e1b","first_computed_at":"2026-07-05T10:07:57.402728Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:07:57.402728Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XRbN93RKEE0KZRxlXOp3MHOVZnaGcvwDuWVybDPx5kPe1WDfMI6VCqikN3hQ4Z040DjjuAlig8P9OYG+L2kfBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:07:57.403185Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.19187","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b7d6018e8a3ee622a6a77ea0768aa8bff10d7246370e93517b9b840be7b709a5","sha256:e21bca9ec044b87d62b2943bb94f400a5caff68e7248bfb9c388149d50d8917d"],"state_sha256":"c92c57c6bc693688cacfe215cb990a565d29c45fff77934dfe19c82af4b50760"}