{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:DMP3ZNNWCQ4Y3KST5ENFBFMSGM","short_pith_number":"pith:DMP3ZNNW","canonical_record":{"source":{"id":"2606.02926","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-01T22:05:25Z","cross_cats_sorted":[],"title_canon_sha256":"3d7db3216abf7e2adc453254c7219f0e766d6db3f38aaea22052375054b9a8c7","abstract_canon_sha256":"c68f2f1102af07a3678af7817d95477970ef056b5c36bcb7f8cce92d19bbe211"},"schema_version":"1.0"},"canonical_sha256":"1b1fbcb5b614398daa53e91a5095923303f13ce8661839d6f0ac4024eb2fdbc6","source":{"kind":"arxiv","id":"2606.02926","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.02926","created_at":"2026-06-03T01:05:26Z"},{"alias_kind":"arxiv_version","alias_value":"2606.02926v1","created_at":"2026-06-03T01:05:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.02926","created_at":"2026-06-03T01:05:26Z"},{"alias_kind":"pith_short_12","alias_value":"DMP3ZNNWCQ4Y","created_at":"2026-06-03T01:05:26Z"},{"alias_kind":"pith_short_16","alias_value":"DMP3ZNNWCQ4Y3KST","created_at":"2026-06-03T01:05:26Z"},{"alias_kind":"pith_short_8","alias_value":"DMP3ZNNW","created_at":"2026-06-03T01:05:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:DMP3ZNNWCQ4Y3KST5ENFBFMSGM","target":"record","payload":{"canonical_record":{"source":{"id":"2606.02926","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-01T22:05:25Z","cross_cats_sorted":[],"title_canon_sha256":"3d7db3216abf7e2adc453254c7219f0e766d6db3f38aaea22052375054b9a8c7","abstract_canon_sha256":"c68f2f1102af07a3678af7817d95477970ef056b5c36bcb7f8cce92d19bbe211"},"schema_version":"1.0"},"canonical_sha256":"1b1fbcb5b614398daa53e91a5095923303f13ce8661839d6f0ac4024eb2fdbc6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-03T01:05:26.744496Z","signature_b64":"24r6oUzM0g90wqKyR6il+pnZCZ/G8FDYFjOtCKA2OVdj4/3m7kLiTn8B2i6jakAftNet8wq8vPTtKfNlJkZVDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1b1fbcb5b614398daa53e91a5095923303f13ce8661839d6f0ac4024eb2fdbc6","last_reissued_at":"2026-06-03T01:05:26.744044Z","signature_status":"signed_v1","first_computed_at":"2026-06-03T01:05:26.744044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.02926","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-06-03T01:05:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GWY/IZRuKPw0VMnktY6MnkfOTex4qyzd8LRmmsA9hAl9nX072z+HzSx+Cm6kQ+3DklksiHmu+cLZPHIsjBPzAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T00:51:58.790040Z"},"content_sha256":"df2d5471e9119db8f8b8335cecfd71f00e09eb9ed47d19eca8ab43f127869da6","schema_version":"1.0","event_id":"sha256:df2d5471e9119db8f8b8335cecfd71f00e09eb9ed47d19eca8ab43f127869da6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:DMP3ZNNWCQ4Y3KST5ENFBFMSGM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Bertram Lud\\\"ascher, Evgeny Skvortsov, Ojaswa Garg, Shawn Bowers, Yilin Xia","submitted_at":"2026-06-01T22:05:25Z","abstract_excerpt":"Logica is an open-source logic programming language that compiles to SQL and runs on DuckDB, SQLite, PostgreSQL, and BigQuery. Unlike classic Datalog, it freely combines recursion and aggregation, concisely expressing algorithms from shortest paths to PageRank. This expressiveness raises semantic challenges: aggregates update by replacement rather than accumulation, evaluation depends on rule scheduling, and programs may converge to meaningful results without reaching a fixpoint, placing them outside traditional fixpoint semantics.\n  We address this with Defendant-Opponent (DO) semantics, a st"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.02926","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/2606.02926/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-06-03T01:05:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KBch7NXM7di2gVRmGGuuQDRdZbOfrhSRWyQn2pOAQF9DBG4wcImpcOs/egMfLwsc1xB/bZSSUb77ufhjblcqCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T00:51:58.790430Z"},"content_sha256":"ee0b4157792956f70a5f4c691ec0ab516291a7e402c6cbb5e29cfec4afa5c988","schema_version":"1.0","event_id":"sha256:ee0b4157792956f70a5f4c691ec0ab516291a7e402c6cbb5e29cfec4afa5c988"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DMP3ZNNWCQ4Y3KST5ENFBFMSGM/bundle.json","state_url":"https://pith.science/pith/DMP3ZNNWCQ4Y3KST5ENFBFMSGM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DMP3ZNNWCQ4Y3KST5ENFBFMSGM/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-06-23T00:51:58Z","links":{"resolver":"https://pith.science/pith/DMP3ZNNWCQ4Y3KST5ENFBFMSGM","bundle":"https://pith.science/pith/DMP3ZNNWCQ4Y3KST5ENFBFMSGM/bundle.json","state":"https://pith.science/pith/DMP3ZNNWCQ4Y3KST5ENFBFMSGM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DMP3ZNNWCQ4Y3KST5ENFBFMSGM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:DMP3ZNNWCQ4Y3KST5ENFBFMSGM","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":"c68f2f1102af07a3678af7817d95477970ef056b5c36bcb7f8cce92d19bbe211","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-01T22:05:25Z","title_canon_sha256":"3d7db3216abf7e2adc453254c7219f0e766d6db3f38aaea22052375054b9a8c7"},"schema_version":"1.0","source":{"id":"2606.02926","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.02926","created_at":"2026-06-03T01:05:26Z"},{"alias_kind":"arxiv_version","alias_value":"2606.02926v1","created_at":"2026-06-03T01:05:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.02926","created_at":"2026-06-03T01:05:26Z"},{"alias_kind":"pith_short_12","alias_value":"DMP3ZNNWCQ4Y","created_at":"2026-06-03T01:05:26Z"},{"alias_kind":"pith_short_16","alias_value":"DMP3ZNNWCQ4Y3KST","created_at":"2026-06-03T01:05:26Z"},{"alias_kind":"pith_short_8","alias_value":"DMP3ZNNW","created_at":"2026-06-03T01:05:26Z"}],"graph_snapshots":[{"event_id":"sha256:ee0b4157792956f70a5f4c691ec0ab516291a7e402c6cbb5e29cfec4afa5c988","target":"graph","created_at":"2026-06-03T01:05:26Z","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/2606.02926/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Logica is an open-source logic programming language that compiles to SQL and runs on DuckDB, SQLite, PostgreSQL, and BigQuery. Unlike classic Datalog, it freely combines recursion and aggregation, concisely expressing algorithms from shortest paths to PageRank. This expressiveness raises semantic challenges: aggregates update by replacement rather than accumulation, evaluation depends on rule scheduling, and programs may converge to meaningful results without reaching a fixpoint, placing them outside traditional fixpoint semantics.\n  We address this with Defendant-Opponent (DO) semantics, a st","authors_text":"Bertram Lud\\\"ascher, Evgeny Skvortsov, Ojaswa Garg, Shawn Bowers, Yilin Xia","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-01T22:05:25Z","title":"Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.02926","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:df2d5471e9119db8f8b8335cecfd71f00e09eb9ed47d19eca8ab43f127869da6","target":"record","created_at":"2026-06-03T01:05:26Z","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":"c68f2f1102af07a3678af7817d95477970ef056b5c36bcb7f8cce92d19bbe211","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-01T22:05:25Z","title_canon_sha256":"3d7db3216abf7e2adc453254c7219f0e766d6db3f38aaea22052375054b9a8c7"},"schema_version":"1.0","source":{"id":"2606.02926","kind":"arxiv","version":1}},"canonical_sha256":"1b1fbcb5b614398daa53e91a5095923303f13ce8661839d6f0ac4024eb2fdbc6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1b1fbcb5b614398daa53e91a5095923303f13ce8661839d6f0ac4024eb2fdbc6","first_computed_at":"2026-06-03T01:05:26.744044Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-03T01:05:26.744044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"24r6oUzM0g90wqKyR6il+pnZCZ/G8FDYFjOtCKA2OVdj4/3m7kLiTn8B2i6jakAftNet8wq8vPTtKfNlJkZVDw==","signature_status":"signed_v1","signed_at":"2026-06-03T01:05:26.744496Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.02926","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:df2d5471e9119db8f8b8335cecfd71f00e09eb9ed47d19eca8ab43f127869da6","sha256:ee0b4157792956f70a5f4c691ec0ab516291a7e402c6cbb5e29cfec4afa5c988"],"state_sha256":"b0bb7ff28ba4664b15aa43646390c0e73a05615336966d9088a45da4a95d5ea7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KLFW8fEGMtOFF+xP1pPJOcNsJkhAPuJK8go591guFR8SwutiYll7jak1pKSS5XYKv6UXnzConDLjMFDma2vGBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T00:51:58.792544Z","bundle_sha256":"788cedea5af54cfdffd9e122d051e0083089ba91e95fc78215ec94a287205d9a"}}