{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:QGQV5IKPASEW3REB4ZDFQH65GA","short_pith_number":"pith:QGQV5IKP","canonical_record":{"source":{"id":"2606.22238","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-20T21:41:31Z","cross_cats_sorted":[],"title_canon_sha256":"dbd65a4207d6b568933aeefb266fab6d30aed039c0bea3afeb8c6e8e150d7a86","abstract_canon_sha256":"2414fcde733e98f007d5fa553cde3f3a1f1fb449cc3e8044b982711de4b9bfe7"},"schema_version":"1.0"},"canonical_sha256":"81a15ea14f04896dc481e646581fdd300118bf9aa0f274fce06fc98c6c4603a5","source":{"kind":"arxiv","id":"2606.22238","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.22238","created_at":"2026-06-23T02:13:32Z"},{"alias_kind":"arxiv_version","alias_value":"2606.22238v1","created_at":"2026-06-23T02:13:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.22238","created_at":"2026-06-23T02:13:32Z"},{"alias_kind":"pith_short_12","alias_value":"QGQV5IKPASEW","created_at":"2026-06-23T02:13:32Z"},{"alias_kind":"pith_short_16","alias_value":"QGQV5IKPASEW3REB","created_at":"2026-06-23T02:13:32Z"},{"alias_kind":"pith_short_8","alias_value":"QGQV5IKP","created_at":"2026-06-23T02:13:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:QGQV5IKPASEW3REB4ZDFQH65GA","target":"record","payload":{"canonical_record":{"source":{"id":"2606.22238","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-20T21:41:31Z","cross_cats_sorted":[],"title_canon_sha256":"dbd65a4207d6b568933aeefb266fab6d30aed039c0bea3afeb8c6e8e150d7a86","abstract_canon_sha256":"2414fcde733e98f007d5fa553cde3f3a1f1fb449cc3e8044b982711de4b9bfe7"},"schema_version":"1.0"},"canonical_sha256":"81a15ea14f04896dc481e646581fdd300118bf9aa0f274fce06fc98c6c4603a5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T02:13:32.675473Z","signature_b64":"YlN3LgsE7kuqrhj8yq2jlkbKvxDOxvSHoEHMsyI6l3KHkeN9VdXbFB7yVLJ3Pj80UqiKUA8IgXmkD6iRAEieBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"81a15ea14f04896dc481e646581fdd300118bf9aa0f274fce06fc98c6c4603a5","last_reissued_at":"2026-06-23T02:13:32.675050Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T02:13:32.675050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.22238","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-23T02:13:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1A36dFAvG4vaM/U3pRFvc7j/BWTbOkCss3djlXRcx42pwJamJ6I59WFmyw6SwmCd7p/ms1ghG4kIV1vGiUx5Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T19:58:01.701524Z"},"content_sha256":"543a2041cda43166ba6951c0438e3ad766f29af2e33b168be2a99888432c409c","schema_version":"1.0","event_id":"sha256:543a2041cda43166ba6951c0438e3ad766f29af2e33b168be2a99888432c409c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:QGQV5IKPASEW3REB4ZDFQH65GA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Powerdomains and nondeterminism in synthetic domain theory","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Taro Sekiyama, Yue Niu","submitted_at":"2026-06-20T21:41:31Z","abstract_excerpt":"Synthetic domain theory is an axiomatization of domain theory within a constructive universe of sets such that all definable maps between domains are continuous. In this paper we construct the counterparts to the well-known lower, upper, and convex powerdomains in the setting of synthetic domain theory and prove that they produce computationally adequate denotational models of nondeterminism. By developing the theory of powerdomains in synthetic domain theory, we obtain a nondeterministic metalanguage that directly embeds into dependent type theory, where the latter serves as an expressive log"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.22238","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.22238/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-23T02:13:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+OezojRo7zLsq8F2jjg6nUx3yl9abc0cNGJKHoQSp8lwYrhwpYSNMJP6MbcyCI2iIUGToeuo9/HMrLuLZVCiBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T19:58:01.701911Z"},"content_sha256":"37dd8ef2b1e12c6e6715e5b8978e2d5796bd5f33c1f671367b52663238a2a8cb","schema_version":"1.0","event_id":"sha256:37dd8ef2b1e12c6e6715e5b8978e2d5796bd5f33c1f671367b52663238a2a8cb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QGQV5IKPASEW3REB4ZDFQH65GA/bundle.json","state_url":"https://pith.science/pith/QGQV5IKPASEW3REB4ZDFQH65GA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QGQV5IKPASEW3REB4ZDFQH65GA/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-29T19:58:01Z","links":{"resolver":"https://pith.science/pith/QGQV5IKPASEW3REB4ZDFQH65GA","bundle":"https://pith.science/pith/QGQV5IKPASEW3REB4ZDFQH65GA/bundle.json","state":"https://pith.science/pith/QGQV5IKPASEW3REB4ZDFQH65GA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QGQV5IKPASEW3REB4ZDFQH65GA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:QGQV5IKPASEW3REB4ZDFQH65GA","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":"2414fcde733e98f007d5fa553cde3f3a1f1fb449cc3e8044b982711de4b9bfe7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-20T21:41:31Z","title_canon_sha256":"dbd65a4207d6b568933aeefb266fab6d30aed039c0bea3afeb8c6e8e150d7a86"},"schema_version":"1.0","source":{"id":"2606.22238","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.22238","created_at":"2026-06-23T02:13:32Z"},{"alias_kind":"arxiv_version","alias_value":"2606.22238v1","created_at":"2026-06-23T02:13:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.22238","created_at":"2026-06-23T02:13:32Z"},{"alias_kind":"pith_short_12","alias_value":"QGQV5IKPASEW","created_at":"2026-06-23T02:13:32Z"},{"alias_kind":"pith_short_16","alias_value":"QGQV5IKPASEW3REB","created_at":"2026-06-23T02:13:32Z"},{"alias_kind":"pith_short_8","alias_value":"QGQV5IKP","created_at":"2026-06-23T02:13:32Z"}],"graph_snapshots":[{"event_id":"sha256:37dd8ef2b1e12c6e6715e5b8978e2d5796bd5f33c1f671367b52663238a2a8cb","target":"graph","created_at":"2026-06-23T02:13:32Z","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.22238/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Synthetic domain theory is an axiomatization of domain theory within a constructive universe of sets such that all definable maps between domains are continuous. In this paper we construct the counterparts to the well-known lower, upper, and convex powerdomains in the setting of synthetic domain theory and prove that they produce computationally adequate denotational models of nondeterminism. By developing the theory of powerdomains in synthetic domain theory, we obtain a nondeterministic metalanguage that directly embeds into dependent type theory, where the latter serves as an expressive log","authors_text":"Taro Sekiyama, Yue Niu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-20T21:41:31Z","title":"Powerdomains and nondeterminism in synthetic domain theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.22238","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:543a2041cda43166ba6951c0438e3ad766f29af2e33b168be2a99888432c409c","target":"record","created_at":"2026-06-23T02:13:32Z","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":"2414fcde733e98f007d5fa553cde3f3a1f1fb449cc3e8044b982711de4b9bfe7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-20T21:41:31Z","title_canon_sha256":"dbd65a4207d6b568933aeefb266fab6d30aed039c0bea3afeb8c6e8e150d7a86"},"schema_version":"1.0","source":{"id":"2606.22238","kind":"arxiv","version":1}},"canonical_sha256":"81a15ea14f04896dc481e646581fdd300118bf9aa0f274fce06fc98c6c4603a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81a15ea14f04896dc481e646581fdd300118bf9aa0f274fce06fc98c6c4603a5","first_computed_at":"2026-06-23T02:13:32.675050Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T02:13:32.675050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YlN3LgsE7kuqrhj8yq2jlkbKvxDOxvSHoEHMsyI6l3KHkeN9VdXbFB7yVLJ3Pj80UqiKUA8IgXmkD6iRAEieBQ==","signature_status":"signed_v1","signed_at":"2026-06-23T02:13:32.675473Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.22238","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:543a2041cda43166ba6951c0438e3ad766f29af2e33b168be2a99888432c409c","sha256:37dd8ef2b1e12c6e6715e5b8978e2d5796bd5f33c1f671367b52663238a2a8cb"],"state_sha256":"6d8e82f2bcda8e8f847a032ec4ac52af67000578688bee2c61aa4706ea511c8a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z07dWSOsXpIsKwYo4m+B78smLAdIsSIwAfa84RZo5B7ieE+yThGrQqzoMpA2nxGIrheOsO2GLD8I0TzlNt/aDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T19:58:01.703825Z","bundle_sha256":"0e95fe6cf76d5e0d757b82e77b9090aeb7f9f48c60aa92597483fc1a20b892a7"}}