{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:Y2BSLKNOZENQ77W6VAAFIONTPX","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":"4e1bc2e98dcfb31d0fd3ab4e71aed882f70e2279de9fb79acb31ec0fa889dac0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-08-02T00:35:19Z","title_canon_sha256":"48fa3081df29404e5866c2f9d02f66e0dcfa7d073bd613c04827a87bb564fd13"},"schema_version":"1.0","source":{"id":"2608.00913","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.00913","created_at":"2026-08-04T01:55:36Z"},{"alias_kind":"arxiv_version","alias_value":"2608.00913v1","created_at":"2026-08-04T01:55:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.00913","created_at":"2026-08-04T01:55:36Z"},{"alias_kind":"pith_short_12","alias_value":"Y2BSLKNOZENQ","created_at":"2026-08-04T01:55:36Z"},{"alias_kind":"pith_short_16","alias_value":"Y2BSLKNOZENQ77W6","created_at":"2026-08-04T01:55:36Z"},{"alias_kind":"pith_short_8","alias_value":"Y2BSLKNO","created_at":"2026-08-04T01:55:36Z"}],"graph_snapshots":[{"event_id":"sha256:c657fabdc191c3744f543bb1e410df9951138cce1efc02985f3dd736122d27f9","target":"graph","created_at":"2026-08-04T01:55: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/2608.00913/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Double-categorical database schemas are enriched with universal quantification in the form of right adjoints to substitution. This allows phrasing of the important query, relational division. It is shown that such right adjoints together with suitable tabulators interpret modal operators, provide cartesian closed structure, and, when combined with global cocartesian structure, interpret first-order predicate logic and thus description logic. These structures are applied throughout to querying and optimization. It is seen, for example, that Frobenius reciprocity and Beck-Chevalley hold in any s","authors_text":"Michael Lambert","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-08-02T00:35:19Z","title":"Quantification in Double-Categorical Database Schemas"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.00913","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:29032efa105f4e52f4745e970a1d43a17814479a119658d10d3f7da5b57e8435","target":"record","created_at":"2026-08-04T01:55: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":"4e1bc2e98dcfb31d0fd3ab4e71aed882f70e2279de9fb79acb31ec0fa889dac0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-08-02T00:35:19Z","title_canon_sha256":"48fa3081df29404e5866c2f9d02f66e0dcfa7d073bd613c04827a87bb564fd13"},"schema_version":"1.0","source":{"id":"2608.00913","kind":"arxiv","version":1}},"canonical_sha256":"c68325a9aec91b0ffedea8005439b37dc9e1ad03a9bf4e6d5857b4952498d192","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c68325a9aec91b0ffedea8005439b37dc9e1ad03a9bf4e6d5857b4952498d192","first_computed_at":"2026-08-04T01:55:36.906565Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-04T01:55:36.906565Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RMGdImvpSU8Xb1Y7dDS55E12+whmxR0FHRRscnb71O/AzFYxcAdQqQOgQuGX3CEaXFIdGkgBOv6+Miftj7YfBg==","signature_status":"signed_v1","signed_at":"2026-08-04T01:55:36.908153Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.00913","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:29032efa105f4e52f4745e970a1d43a17814479a119658d10d3f7da5b57e8435","sha256:c657fabdc191c3744f543bb1e410df9951138cce1efc02985f3dd736122d27f9"],"state_sha256":"1eb8cccc3eaff6777c9f945d24ef5721867dc5cd89f8827c0226030931329043"}