{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:WZ5NODEXPUPWI4B3W3EYHJWDJR","short_pith_number":"pith:WZ5NODEX","schema_version":"1.0","canonical_sha256":"b67ad70c977d1f64703bb6c983a6c34c4eb87fd7bfb8f11a08eaef6041a446f7","source":{"kind":"arxiv","id":"2606.12504","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.12504","created_at":"2026-06-12T00:07:52.687190+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.12504v1","created_at":"2026-06-12T00:07:52.687190+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.12504","created_at":"2026-06-12T00:07:52.687190+00:00"},{"alias_kind":"pith_short_12","alias_value":"WZ5NODEXPUPW","created_at":"2026-06-12T00:07:52.687190+00:00"},{"alias_kind":"pith_short_16","alias_value":"WZ5NODEXPUPWI4B3","created_at":"2026-06-12T00:07:52.687190+00:00"},{"alias_kind":"pith_short_8","alias_value":"WZ5NODEX","created_at":"2026-06-12T00:07:52.687190+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR","json":"https://pith.science/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR.json","graph_json":"https://pith.science/api/pith-number/WZ5NODEXPUPWI4B3W3EYHJWDJR/graph.json","events_json":"https://pith.science/api/pith-number/WZ5NODEXPUPWI4B3W3EYHJWDJR/events.json","paper":"https://pith.science/paper/WZ5NODEX"},"agent_actions":{"view_html":"https://pith.science/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR","download_json":"https://pith.science/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR.json","view_paper":"https://pith.science/paper/WZ5NODEX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.12504&json=true","fetch_graph":"https://pith.science/api/pith-number/WZ5NODEXPUPWI4B3W3EYHJWDJR/graph.json","fetch_events":"https://pith.science/api/pith-number/WZ5NODEXPUPWI4B3W3EYHJWDJR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR/action/storage_attestation","attest_author":"https://pith.science/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR/action/author_attestation","sign_citation":"https://pith.science/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR/action/citation_signature","submit_replication":"https://pith.science/pith/WZ5NODEXPUPWI4B3W3EYHJWDJR/action/replication_record"}},"created_at":"2026-06-12T00:07:52.687190+00:00","updated_at":"2026-06-12T00:07:52.687190+00:00"}