{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:7O3FVJYYNFG34AATVDQU4SJH3K","short_pith_number":"pith:7O3FVJYY","canonical_record":{"source":{"id":"2606.23442","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-22T14:59:20Z","cross_cats_sorted":[],"title_canon_sha256":"07821952c7327a22a754a530f2740b70940ff79affb00fc58026048c7f0b8063","abstract_canon_sha256":"e7e370dabd060a4cc867e44b8745e3f576f7447995a4f41921ef205fec2efef9"},"schema_version":"1.0"},"canonical_sha256":"fbb65aa718694dbe0013a8e14e4927da99150ce494f78cbcf3ec519f8b5008e4","source":{"kind":"arxiv","id":"2606.23442","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23442","created_at":"2026-06-23T03:14:20Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23442v1","created_at":"2026-06-23T03:14:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23442","created_at":"2026-06-23T03:14:20Z"},{"alias_kind":"pith_short_12","alias_value":"7O3FVJYYNFG3","created_at":"2026-06-23T03:14:20Z"},{"alias_kind":"pith_short_16","alias_value":"7O3FVJYYNFG34AAT","created_at":"2026-06-23T03:14:20Z"},{"alias_kind":"pith_short_8","alias_value":"7O3FVJYY","created_at":"2026-06-23T03:14:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:7O3FVJYYNFG34AATVDQU4SJH3K","target":"record","payload":{"canonical_record":{"source":{"id":"2606.23442","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-22T14:59:20Z","cross_cats_sorted":[],"title_canon_sha256":"07821952c7327a22a754a530f2740b70940ff79affb00fc58026048c7f0b8063","abstract_canon_sha256":"e7e370dabd060a4cc867e44b8745e3f576f7447995a4f41921ef205fec2efef9"},"schema_version":"1.0"},"canonical_sha256":"fbb65aa718694dbe0013a8e14e4927da99150ce494f78cbcf3ec519f8b5008e4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T03:14:20.079396Z","signature_b64":"NFyJJQz7xCy3MauSuSO1EUVlFRExCCFxZFf00v3/Txa4ua+zplpW0N51s5jiLs3uSNTj+IRt1Vqe/jDH6H4zAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fbb65aa718694dbe0013a8e14e4927da99150ce494f78cbcf3ec519f8b5008e4","last_reissued_at":"2026-06-23T03:14:20.079034Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T03:14:20.079034Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.23442","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-23T03:14:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s7HYkeoPn6LGaIDPDsIorDhkR0B+gYG84ZqqHyfJeX/qGvcwifJRld4qN9BHaIMjoIA+nOcM5LdyEWY5YE/GCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T23:18:49.280479Z"},"content_sha256":"3b443046833ca365e3fcd6825b509c1737e5588e179b5efa9e744d6ad4983032","schema_version":"1.0","event_id":"sha256:3b443046833ca365e3fcd6825b509c1737e5588e179b5efa9e744d6ad4983032"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:7O3FVJYYNFG34AATVDQU4SJH3K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sort-Stratified Semantics for Temporal Conflict Detection in ODRL Policies","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Christoph Lange, Christoph Quix, Daham M. Mustafa, Diego Collarana, Rafiqul Haque, Sabrina Kirrane, Sandra Geisler, Stefan Decker","submitted_at":"2026-06-22T14:59:20Z","abstract_excerpt":"In the Open Digital Rights Language (ODRL), temporal constraints range over two sorts, instants and durations, but the comparison operators do not distinguish them. The same operator thus means \"earlier instant\" or \"shorter duration,\" leaving conflict detection between two policies unsound. We resolve this by sort stratification: each temporal operand is typed to one of two ordered domains, points in time or amounts of time. Each constraint then denotes an interval, and conflict reduces to interval comparison under a three-valued verdict (Conflict, Compatible, Unknown). We characterise the che"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23442","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.23442/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-23T03:14:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VNCvFKMIeJbQyNXjGizDKgsiCZTDPlmg5+ua9V2b33YcbCquuwXQ5wb9MfPoHlB32zbRvpS562m47MiGLM0eDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T23:18:49.280844Z"},"content_sha256":"4b1c2b8667e32258a9df74c3ef517e667523893e19f64b9f5a50c2c9c9b4eef4","schema_version":"1.0","event_id":"sha256:4b1c2b8667e32258a9df74c3ef517e667523893e19f64b9f5a50c2c9c9b4eef4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7O3FVJYYNFG34AATVDQU4SJH3K/bundle.json","state_url":"https://pith.science/pith/7O3FVJYYNFG34AATVDQU4SJH3K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7O3FVJYYNFG34AATVDQU4SJH3K/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-24T23:18:49Z","links":{"resolver":"https://pith.science/pith/7O3FVJYYNFG34AATVDQU4SJH3K","bundle":"https://pith.science/pith/7O3FVJYYNFG34AATVDQU4SJH3K/bundle.json","state":"https://pith.science/pith/7O3FVJYYNFG34AATVDQU4SJH3K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7O3FVJYYNFG34AATVDQU4SJH3K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:7O3FVJYYNFG34AATVDQU4SJH3K","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":"e7e370dabd060a4cc867e44b8745e3f576f7447995a4f41921ef205fec2efef9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-22T14:59:20Z","title_canon_sha256":"07821952c7327a22a754a530f2740b70940ff79affb00fc58026048c7f0b8063"},"schema_version":"1.0","source":{"id":"2606.23442","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23442","created_at":"2026-06-23T03:14:20Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23442v1","created_at":"2026-06-23T03:14:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23442","created_at":"2026-06-23T03:14:20Z"},{"alias_kind":"pith_short_12","alias_value":"7O3FVJYYNFG3","created_at":"2026-06-23T03:14:20Z"},{"alias_kind":"pith_short_16","alias_value":"7O3FVJYYNFG34AAT","created_at":"2026-06-23T03:14:20Z"},{"alias_kind":"pith_short_8","alias_value":"7O3FVJYY","created_at":"2026-06-23T03:14:20Z"}],"graph_snapshots":[{"event_id":"sha256:4b1c2b8667e32258a9df74c3ef517e667523893e19f64b9f5a50c2c9c9b4eef4","target":"graph","created_at":"2026-06-23T03:14:20Z","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.23442/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In the Open Digital Rights Language (ODRL), temporal constraints range over two sorts, instants and durations, but the comparison operators do not distinguish them. The same operator thus means \"earlier instant\" or \"shorter duration,\" leaving conflict detection between two policies unsound. We resolve this by sort stratification: each temporal operand is typed to one of two ordered domains, points in time or amounts of time. Each constraint then denotes an interval, and conflict reduces to interval comparison under a three-valued verdict (Conflict, Compatible, Unknown). We characterise the che","authors_text":"Christoph Lange, Christoph Quix, Daham M. Mustafa, Diego Collarana, Rafiqul Haque, Sabrina Kirrane, Sandra Geisler, Stefan Decker","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-22T14:59:20Z","title":"Sort-Stratified Semantics for Temporal Conflict Detection in ODRL Policies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23442","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:3b443046833ca365e3fcd6825b509c1737e5588e179b5efa9e744d6ad4983032","target":"record","created_at":"2026-06-23T03:14:20Z","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":"e7e370dabd060a4cc867e44b8745e3f576f7447995a4f41921ef205fec2efef9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-22T14:59:20Z","title_canon_sha256":"07821952c7327a22a754a530f2740b70940ff79affb00fc58026048c7f0b8063"},"schema_version":"1.0","source":{"id":"2606.23442","kind":"arxiv","version":1}},"canonical_sha256":"fbb65aa718694dbe0013a8e14e4927da99150ce494f78cbcf3ec519f8b5008e4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fbb65aa718694dbe0013a8e14e4927da99150ce494f78cbcf3ec519f8b5008e4","first_computed_at":"2026-06-23T03:14:20.079034Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T03:14:20.079034Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NFyJJQz7xCy3MauSuSO1EUVlFRExCCFxZFf00v3/Txa4ua+zplpW0N51s5jiLs3uSNTj+IRt1Vqe/jDH6H4zAQ==","signature_status":"signed_v1","signed_at":"2026-06-23T03:14:20.079396Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.23442","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3b443046833ca365e3fcd6825b509c1737e5588e179b5efa9e744d6ad4983032","sha256:4b1c2b8667e32258a9df74c3ef517e667523893e19f64b9f5a50c2c9c9b4eef4"],"state_sha256":"6c898174a39feb3f1ccc8fca61efc60c92f43712017597e7143f1a575f016aa2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"txmXSo5RFIGzvBPlhMaD75SHq3Ao3DtAXN8Z9tth8U+0TLFlrJByZUw9zB3N4BF58jpkfH6UdiW7LuOIDfO9Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T23:18:49.282739Z","bundle_sha256":"c4387616f3e6131bed3c75d1f54e7e6c5936b267b05021cc970f7383dc242327"}}