{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:WZ5NODEXPUPWI4B3W3EYHJWDJR","short_pith_number":"pith:WZ5NODEX","canonical_record":{"source":{"id":"2606.12504","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-10T17:09:38Z","cross_cats_sorted":[],"title_canon_sha256":"4606eb0c1c81a785dc1d872313fac1cd24204ac385be4bd65bcd76ff27caeaea","abstract_canon_sha256":"38551acff643367a0f382f79d3a2ba2e75dfa45c11573fee48e54492ff747ca0"},"schema_version":"1.0"},"canonical_sha256":"b67ad70c977d1f64703bb6c983a6c34c4eb87fd7bfb8f11a08eaef6041a446f7","source":{"kind":"arxiv","id":"2606.12504","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.12504","created_at":"2026-06-12T00:07:52Z"},{"alias_kind":"arxiv_version","alias_value":"2606.12504v1","created_at":"2026-06-12T00:07:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.12504","created_at":"2026-06-12T00:07:52Z"},{"alias_kind":"pith_short_12","alias_value":"WZ5NODEXPUPW","created_at":"2026-06-12T00:07:52Z"},{"alias_kind":"pith_short_16","alias_value":"WZ5NODEXPUPWI4B3","created_at":"2026-06-12T00:07:52Z"},{"alias_kind":"pith_short_8","alias_value":"WZ5NODEX","created_at":"2026-06-12T00:07:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:WZ5NODEXPUPWI4B3W3EYHJWDJR","target":"record","payload":{"canonical_record":{"source":{"id":"2606.12504","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-10T17:09:38Z","cross_cats_sorted":[],"title_canon_sha256":"4606eb0c1c81a785dc1d872313fac1cd24204ac385be4bd65bcd76ff27caeaea","abstract_canon_sha256":"38551acff643367a0f382f79d3a2ba2e75dfa45c11573fee48e54492ff747ca0"},"schema_version":"1.0"},"canonical_sha256":"b67ad70c977d1f64703bb6c983a6c34c4eb87fd7bfb8f11a08eaef6041a446f7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-12T00:07:52.687619Z","signature_b64":"yOftgoLivV9haS8Yg2FNsYkE9AryZ8zBWnJkEk+RXk7twA7KAjaA0JNgQIwlW1sjZh5MS6UC8X1LjPl/NiaiCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b67ad70c977d1f64703bb6c983a6c34c4eb87fd7bfb8f11a08eaef6041a446f7","last_reissued_at":"2026-06-12T00:07:52.687113Z","signature_status":"signed_v1","first_computed_at":"2026-06-12T00:07:52.687113Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.12504","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-12T00:07:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lFaR0JR8EiO7oPc+Z4EjxBOYqvAGQLp7A5jTjKSROrqTLH8suYaCdP7Lv8rpCFTwFiZTD5as98iIVqJr9INaDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T21:59:18.030503Z"},"content_sha256":"fc998089f6423d274da4191ca0bb202ac52fc21075bdec815347e3b9af66ad50","schema_version":"1.0","event_id":"sha256:fc998089f6423d274da4191ca0bb202ac52fc21075bdec815347e3b9af66ad50"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:WZ5NODEXPUPWI4B3W3EYHJWDJR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Type Theory of Sense: Witnessed Choice in Stratified Semantic Spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Iman Poernomo","submitted_at":"2026-06-10T17:09:38Z","abstract_excerpt":"We introduce TTS, a dependent type theory in which semantic composition is represented by horn filling and distinctions between possible completions are witnessed relative to explicit measurement regimes. TTS replaces globally canonical composition with regime-indexed indiscernibility and constructive apartness, allowing filler spaces to be classified as canonical when all completions are observationally connected and forked when two warranted completions are positively separated. Separation witnesses enter the calculus only through measurement contexts recording actual instrument outputs, yie"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.12504","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.12504/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-12T00:07:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g4NgQbzTskbOVY+CIN0hu3+pg7vX7X4aF51KQ5nNhfTvRftwo9y/sztAmhGB3D7oTQGZ7iZNP/R3SiirtlkKCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T21:59:18.030872Z"},"content_sha256":"312a342960affd2b65c88580d35f731f9b44fa9c609872b4c2ee1a523e1e5b73","schema_version":"1.0","event_id":"sha256:312a342960affd2b65c88580d35f731f9b44fa9c609872b4c2ee1a523e1e5b73"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR/bundle.json","state_url":"https://pith.science/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR/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-29T21:59:18Z","links":{"resolver":"https://pith.science/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR","bundle":"https://pith.science/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR/bundle.json","state":"https://pith.science/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:WZ5NODEXPUPWI4B3W3EYHJWDJR","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":"38551acff643367a0f382f79d3a2ba2e75dfa45c11573fee48e54492ff747ca0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-10T17:09:38Z","title_canon_sha256":"4606eb0c1c81a785dc1d872313fac1cd24204ac385be4bd65bcd76ff27caeaea"},"schema_version":"1.0","source":{"id":"2606.12504","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.12504","created_at":"2026-06-12T00:07:52Z"},{"alias_kind":"arxiv_version","alias_value":"2606.12504v1","created_at":"2026-06-12T00:07:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.12504","created_at":"2026-06-12T00:07:52Z"},{"alias_kind":"pith_short_12","alias_value":"WZ5NODEXPUPW","created_at":"2026-06-12T00:07:52Z"},{"alias_kind":"pith_short_16","alias_value":"WZ5NODEXPUPWI4B3","created_at":"2026-06-12T00:07:52Z"},{"alias_kind":"pith_short_8","alias_value":"WZ5NODEX","created_at":"2026-06-12T00:07:52Z"}],"graph_snapshots":[{"event_id":"sha256:312a342960affd2b65c88580d35f731f9b44fa9c609872b4c2ee1a523e1e5b73","target":"graph","created_at":"2026-06-12T00:07:52Z","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.12504/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce TTS, a dependent type theory in which semantic composition is represented by horn filling and distinctions between possible completions are witnessed relative to explicit measurement regimes. TTS replaces globally canonical composition with regime-indexed indiscernibility and constructive apartness, allowing filler spaces to be classified as canonical when all completions are observationally connected and forked when two warranted completions are positively separated. Separation witnesses enter the calculus only through measurement contexts recording actual instrument outputs, yie","authors_text":"Iman Poernomo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-10T17:09:38Z","title":"A Type Theory of Sense: Witnessed Choice in Stratified Semantic Spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.12504","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:fc998089f6423d274da4191ca0bb202ac52fc21075bdec815347e3b9af66ad50","target":"record","created_at":"2026-06-12T00:07:52Z","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":"38551acff643367a0f382f79d3a2ba2e75dfa45c11573fee48e54492ff747ca0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-10T17:09:38Z","title_canon_sha256":"4606eb0c1c81a785dc1d872313fac1cd24204ac385be4bd65bcd76ff27caeaea"},"schema_version":"1.0","source":{"id":"2606.12504","kind":"arxiv","version":1}},"canonical_sha256":"b67ad70c977d1f64703bb6c983a6c34c4eb87fd7bfb8f11a08eaef6041a446f7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b67ad70c977d1f64703bb6c983a6c34c4eb87fd7bfb8f11a08eaef6041a446f7","first_computed_at":"2026-06-12T00:07:52.687113Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-12T00:07:52.687113Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yOftgoLivV9haS8Yg2FNsYkE9AryZ8zBWnJkEk+RXk7twA7KAjaA0JNgQIwlW1sjZh5MS6UC8X1LjPl/NiaiCw==","signature_status":"signed_v1","signed_at":"2026-06-12T00:07:52.687619Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.12504","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fc998089f6423d274da4191ca0bb202ac52fc21075bdec815347e3b9af66ad50","sha256:312a342960affd2b65c88580d35f731f9b44fa9c609872b4c2ee1a523e1e5b73"],"state_sha256":"5018ec7cc58ea5650be4b02d2d8b8a7887c41280c221d40d2cc51e22229fc4f2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m6/MjErtXJgc3vKH2O0HcLhviHC7BxExWQHQsBZc0QfBhnk0OGFLM7bpJlKeFktSvyPy93R6YWAeL+Eh1zt2BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T21:59:18.032911Z","bundle_sha256":"df15586f68d7484aa4bb04716cdd4de389f20cc54d03d4ae5c3fc8a9cb8171b2"}}