{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:NVFSGSQAWQGBVTH2ETAYXDL6HR","short_pith_number":"pith:NVFSGSQA","canonical_record":{"source":{"id":"2606.12676","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-10T21:01:48Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"8c77e7a8d8548944220bbae3ea6e04ad9bedc9661e19d6de647c264aa05a2e7d","abstract_canon_sha256":"79da3ca85f7609045c23f5af8f51c3c635073d7d5424a26c34ec1dbc758b195a"},"schema_version":"1.0"},"canonical_sha256":"6d4b234a00b40c1accfa24c18b8d7e3c59c5b8b2cebac224b88bde4b84bc3188","source":{"kind":"arxiv","id":"2606.12676","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.12676","created_at":"2026-06-12T01:08:44Z"},{"alias_kind":"arxiv_version","alias_value":"2606.12676v1","created_at":"2026-06-12T01:08:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.12676","created_at":"2026-06-12T01:08:44Z"},{"alias_kind":"pith_short_12","alias_value":"NVFSGSQAWQGB","created_at":"2026-06-12T01:08:44Z"},{"alias_kind":"pith_short_16","alias_value":"NVFSGSQAWQGBVTH2","created_at":"2026-06-12T01:08:44Z"},{"alias_kind":"pith_short_8","alias_value":"NVFSGSQA","created_at":"2026-06-12T01:08:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:NVFSGSQAWQGBVTH2ETAYXDL6HR","target":"record","payload":{"canonical_record":{"source":{"id":"2606.12676","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-10T21:01:48Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"8c77e7a8d8548944220bbae3ea6e04ad9bedc9661e19d6de647c264aa05a2e7d","abstract_canon_sha256":"79da3ca85f7609045c23f5af8f51c3c635073d7d5424a26c34ec1dbc758b195a"},"schema_version":"1.0"},"canonical_sha256":"6d4b234a00b40c1accfa24c18b8d7e3c59c5b8b2cebac224b88bde4b84bc3188","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-12T01:08:44.094184Z","signature_b64":"Ivgp6TzYwl4pkoKJi4FdthxRbKqz/pI/ahj6/PebskFIHL79ERQjvVznGbASHw/gG00hyrLRMXUXW6BJ/taTDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6d4b234a00b40c1accfa24c18b8d7e3c59c5b8b2cebac224b88bde4b84bc3188","last_reissued_at":"2026-06-12T01:08:44.093341Z","signature_status":"signed_v1","first_computed_at":"2026-06-12T01:08:44.093341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.12676","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-12T01:08:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fBRUoaYkAe4UJ8T3xmqU33JYmvH/dbwyGzhF0jyknOkkf0N7hPaUhYxfzRcswUi+uNkO1yjXZPWB8ZKZuogIBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T18:14:45.722055Z"},"content_sha256":"bfac877db86a9402a437df899654264fcaccca38d8ea9944ab1c21b0998793a1","schema_version":"1.0","event_id":"sha256:bfac877db86a9402a437df899654264fcaccca38d8ea9944ab1c21b0998793a1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:NVFSGSQAWQGBVTH2ETAYXDL6HR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Calculus of Apartness over Separoids: Effective Convex Representation, Stratified Conservativity, and the Complexity of Entailment","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CG"],"primary_cat":"cs.LO","authors_text":"Baris Basaran, Faruk Alpay","submitted_at":"2026-06-10T21:01:48Z","abstract_excerpt":"Every finite family of compact convex bodies in Euclidean space induces an apartness relation between disjoint index sets: two sets are apart when the convex hulls of the corresponding unions are disjoint. This paper studies the finite theory obtained by taking apartness as the primitive relation. Its basic laws are symmetry, bilateral subsumption, and vacuity, equivalently the separation-polarity form of acyclic separoids. The main contribution is an effective rational realization theorem with uniform margins and the exact consequence theory it supports. Every finite apartness separoid is rea"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.12676","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.12676/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-12T01:08:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9eGC2qNgy70IKRyrRrpQhWbvdBQAQsAMNawApTH8k/8CwqtUduGMdzbmkWLxz3QH3onWdgbUGcBFiLdOKBMpDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T18:14:45.722438Z"},"content_sha256":"10d9f953d0be434b339d48ae8a4f27ec15b2c3eb98409cf5a9b84bc9fbe2e52f","schema_version":"1.0","event_id":"sha256:10d9f953d0be434b339d48ae8a4f27ec15b2c3eb98409cf5a9b84bc9fbe2e52f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NVFSGSQAWQGBVTH2ETAYXDL6HR/bundle.json","state_url":"https://pith.science/pith/NVFSGSQAWQGBVTH2ETAYXDL6HR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NVFSGSQAWQGBVTH2ETAYXDL6HR/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-29T18:14:45Z","links":{"resolver":"https://pith.science/pith/NVFSGSQAWQGBVTH2ETAYXDL6HR","bundle":"https://pith.science/pith/NVFSGSQAWQGBVTH2ETAYXDL6HR/bundle.json","state":"https://pith.science/pith/NVFSGSQAWQGBVTH2ETAYXDL6HR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NVFSGSQAWQGBVTH2ETAYXDL6HR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:NVFSGSQAWQGBVTH2ETAYXDL6HR","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":"79da3ca85f7609045c23f5af8f51c3c635073d7d5424a26c34ec1dbc758b195a","cross_cats_sorted":["cs.CG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-10T21:01:48Z","title_canon_sha256":"8c77e7a8d8548944220bbae3ea6e04ad9bedc9661e19d6de647c264aa05a2e7d"},"schema_version":"1.0","source":{"id":"2606.12676","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.12676","created_at":"2026-06-12T01:08:44Z"},{"alias_kind":"arxiv_version","alias_value":"2606.12676v1","created_at":"2026-06-12T01:08:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.12676","created_at":"2026-06-12T01:08:44Z"},{"alias_kind":"pith_short_12","alias_value":"NVFSGSQAWQGB","created_at":"2026-06-12T01:08:44Z"},{"alias_kind":"pith_short_16","alias_value":"NVFSGSQAWQGBVTH2","created_at":"2026-06-12T01:08:44Z"},{"alias_kind":"pith_short_8","alias_value":"NVFSGSQA","created_at":"2026-06-12T01:08:44Z"}],"graph_snapshots":[{"event_id":"sha256:10d9f953d0be434b339d48ae8a4f27ec15b2c3eb98409cf5a9b84bc9fbe2e52f","target":"graph","created_at":"2026-06-12T01:08:44Z","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.12676/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Every finite family of compact convex bodies in Euclidean space induces an apartness relation between disjoint index sets: two sets are apart when the convex hulls of the corresponding unions are disjoint. This paper studies the finite theory obtained by taking apartness as the primitive relation. Its basic laws are symmetry, bilateral subsumption, and vacuity, equivalently the separation-polarity form of acyclic separoids. The main contribution is an effective rational realization theorem with uniform margins and the exact consequence theory it supports. Every finite apartness separoid is rea","authors_text":"Baris Basaran, Faruk Alpay","cross_cats":["cs.CG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-10T21:01:48Z","title":"A Calculus of Apartness over Separoids: Effective Convex Representation, Stratified Conservativity, and the Complexity of Entailment"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.12676","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:bfac877db86a9402a437df899654264fcaccca38d8ea9944ab1c21b0998793a1","target":"record","created_at":"2026-06-12T01:08:44Z","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":"79da3ca85f7609045c23f5af8f51c3c635073d7d5424a26c34ec1dbc758b195a","cross_cats_sorted":["cs.CG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-10T21:01:48Z","title_canon_sha256":"8c77e7a8d8548944220bbae3ea6e04ad9bedc9661e19d6de647c264aa05a2e7d"},"schema_version":"1.0","source":{"id":"2606.12676","kind":"arxiv","version":1}},"canonical_sha256":"6d4b234a00b40c1accfa24c18b8d7e3c59c5b8b2cebac224b88bde4b84bc3188","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6d4b234a00b40c1accfa24c18b8d7e3c59c5b8b2cebac224b88bde4b84bc3188","first_computed_at":"2026-06-12T01:08:44.093341Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-12T01:08:44.093341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ivgp6TzYwl4pkoKJi4FdthxRbKqz/pI/ahj6/PebskFIHL79ERQjvVznGbASHw/gG00hyrLRMXUXW6BJ/taTDQ==","signature_status":"signed_v1","signed_at":"2026-06-12T01:08:44.094184Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.12676","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bfac877db86a9402a437df899654264fcaccca38d8ea9944ab1c21b0998793a1","sha256:10d9f953d0be434b339d48ae8a4f27ec15b2c3eb98409cf5a9b84bc9fbe2e52f"],"state_sha256":"8aeeb426f60de7740771a2eea7c109e4a21fc633fc5da9dbeb20d7a0e59419d2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zqU9VMGecC1GNE0g42eXuyiKbVX6PoLeSfHN9hn7feIvJmXNmhuvuFdguUN2HtaFVqhFDdKmpuHnDi8alyYKBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T18:14:45.724362Z","bundle_sha256":"23c57f0c488807c8a874fa65a4ab491f1d9cc982eb2eebfb1231391cea0d991d"}}