{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:Q4OC4V2OXDT5HW5MSDEV3VYB23","short_pith_number":"pith:Q4OC4V2O","canonical_record":{"source":{"id":"1501.03353","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-01-14T14:05:18Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"879f17e222af3ace085b8e67bdcff714af6c7ed434f6315ae6d4a661e2f04142","abstract_canon_sha256":"343004c70e30413dbe594ff4bf5ccd06105088dcf7fdc6e0b10c2ea9e0d50550"},"schema_version":"1.0"},"canonical_sha256":"871c2e574eb8e7d3dbac90c95dd701d6e68e6bcebb564ebe0fcde638ee9c47bd","source":{"kind":"arxiv","id":"1501.03353","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.03353","created_at":"2026-05-18T02:29:24Z"},{"alias_kind":"arxiv_version","alias_value":"1501.03353v1","created_at":"2026-05-18T02:29:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.03353","created_at":"2026-05-18T02:29:24Z"},{"alias_kind":"pith_short_12","alias_value":"Q4OC4V2OXDT5","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"Q4OC4V2OXDT5HW5M","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"Q4OC4V2O","created_at":"2026-05-18T12:29:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:Q4OC4V2OXDT5HW5MSDEV3VYB23","target":"record","payload":{"canonical_record":{"source":{"id":"1501.03353","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-01-14T14:05:18Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"879f17e222af3ace085b8e67bdcff714af6c7ed434f6315ae6d4a661e2f04142","abstract_canon_sha256":"343004c70e30413dbe594ff4bf5ccd06105088dcf7fdc6e0b10c2ea9e0d50550"},"schema_version":"1.0"},"canonical_sha256":"871c2e574eb8e7d3dbac90c95dd701d6e68e6bcebb564ebe0fcde638ee9c47bd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:29:24.214809Z","signature_b64":"tcpMfWFDfSHGHq3fNjgBrJ4SJXDJqPr3FCdNwfLTP4P5lRr/7ggt9YNurzHGHyOB3ewZxNfZorsg5wEKVFF5Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"871c2e574eb8e7d3dbac90c95dd701d6e68e6bcebb564ebe0fcde638ee9c47bd","last_reissued_at":"2026-05-18T02:29:24.214401Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:29:24.214401Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1501.03353","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-05-18T02:29:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"veNrTq6EJfqSiLn4jDqMAKUJrDB2twXmkf349OZNJQidhNqW0PBDlMQ00j6yktYfKPMupAxxS2UrJx9Gio9jBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T07:56:53.766030Z"},"content_sha256":"b89cd757e57186b7e82fc174d757cae69c3e6ba14716008bbfbd3964e37f24bb","schema_version":"1.0","event_id":"sha256:b89cd757e57186b7e82fc174d757cae69c3e6ba14716008bbfbd3964e37f24bb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:Q4OC4V2OXDT5HW5MSDEV3VYB23","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CR","authors_text":"Fabian Bendun, Joerg Hoffmann, Michael Backes, Ninja Marnau","submitted_at":"2015-01-14T14:05:18Z","abstract_excerpt":"We introduce PriCL: the first framework for expressing and automatically reasoning about privacy case law by means of precedent. PriCL is parametric in an underlying logic for expressing world properties, and provides support for court decisions, their justification, the circumstances in which the justification applies as well as court hierarchies. Moreover, the framework offers a tight connection between privacy case law and the notion of norms that underlies existing rule-based privacy research. In terms of automation, we identify the major reasoning tasks for privacy cases such as deducing "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.03353","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":""},"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-05-18T02:29:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Tvj/Dk/mFD8B/1AppyCk0Mf/9NICSPWLuvh4dDvPkKF2WaKhIp1h3u8W8Fh0Td8yYDbbp5E7bHhNWNakM1upCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T07:56:53.766734Z"},"content_sha256":"c7a3eedf643b19cb1593bc3edb307ef5e2c08fcce6d195bf796b90fbb72adfcd","schema_version":"1.0","event_id":"sha256:c7a3eedf643b19cb1593bc3edb307ef5e2c08fcce6d195bf796b90fbb72adfcd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q4OC4V2OXDT5HW5MSDEV3VYB23/bundle.json","state_url":"https://pith.science/pith/Q4OC4V2OXDT5HW5MSDEV3VYB23/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q4OC4V2OXDT5HW5MSDEV3VYB23/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-08T07:56:53Z","links":{"resolver":"https://pith.science/pith/Q4OC4V2OXDT5HW5MSDEV3VYB23","bundle":"https://pith.science/pith/Q4OC4V2OXDT5HW5MSDEV3VYB23/bundle.json","state":"https://pith.science/pith/Q4OC4V2OXDT5HW5MSDEV3VYB23/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q4OC4V2OXDT5HW5MSDEV3VYB23/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:Q4OC4V2OXDT5HW5MSDEV3VYB23","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":"343004c70e30413dbe594ff4bf5ccd06105088dcf7fdc6e0b10c2ea9e0d50550","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-01-14T14:05:18Z","title_canon_sha256":"879f17e222af3ace085b8e67bdcff714af6c7ed434f6315ae6d4a661e2f04142"},"schema_version":"1.0","source":{"id":"1501.03353","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.03353","created_at":"2026-05-18T02:29:24Z"},{"alias_kind":"arxiv_version","alias_value":"1501.03353v1","created_at":"2026-05-18T02:29:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.03353","created_at":"2026-05-18T02:29:24Z"},{"alias_kind":"pith_short_12","alias_value":"Q4OC4V2OXDT5","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"Q4OC4V2OXDT5HW5M","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"Q4OC4V2O","created_at":"2026-05-18T12:29:37Z"}],"graph_snapshots":[{"event_id":"sha256:c7a3eedf643b19cb1593bc3edb307ef5e2c08fcce6d195bf796b90fbb72adfcd","target":"graph","created_at":"2026-05-18T02:29:24Z","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"},"paper":{"abstract_excerpt":"We introduce PriCL: the first framework for expressing and automatically reasoning about privacy case law by means of precedent. PriCL is parametric in an underlying logic for expressing world properties, and provides support for court decisions, their justification, the circumstances in which the justification applies as well as court hierarchies. Moreover, the framework offers a tight connection between privacy case law and the notion of norms that underlies existing rule-based privacy research. In terms of automation, we identify the major reasoning tasks for privacy cases such as deducing ","authors_text":"Fabian Bendun, Joerg Hoffmann, Michael Backes, Ninja Marnau","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-01-14T14:05:18Z","title":"PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.03353","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:b89cd757e57186b7e82fc174d757cae69c3e6ba14716008bbfbd3964e37f24bb","target":"record","created_at":"2026-05-18T02:29:24Z","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":"343004c70e30413dbe594ff4bf5ccd06105088dcf7fdc6e0b10c2ea9e0d50550","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-01-14T14:05:18Z","title_canon_sha256":"879f17e222af3ace085b8e67bdcff714af6c7ed434f6315ae6d4a661e2f04142"},"schema_version":"1.0","source":{"id":"1501.03353","kind":"arxiv","version":1}},"canonical_sha256":"871c2e574eb8e7d3dbac90c95dd701d6e68e6bcebb564ebe0fcde638ee9c47bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"871c2e574eb8e7d3dbac90c95dd701d6e68e6bcebb564ebe0fcde638ee9c47bd","first_computed_at":"2026-05-18T02:29:24.214401Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:29:24.214401Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tcpMfWFDfSHGHq3fNjgBrJ4SJXDJqPr3FCdNwfLTP4P5lRr/7ggt9YNurzHGHyOB3ewZxNfZorsg5wEKVFF5Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T02:29:24.214809Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.03353","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b89cd757e57186b7e82fc174d757cae69c3e6ba14716008bbfbd3964e37f24bb","sha256:c7a3eedf643b19cb1593bc3edb307ef5e2c08fcce6d195bf796b90fbb72adfcd"],"state_sha256":"13fbea1e18cc48610e58f387ccfa1ce33e1d68cce18aceb31c5568b1a5358031"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ic5cVmzQk7nuKA2ihEmVGP0TZ4QVIB47z8mT5pcqkqGKXJE0zHXW7xfWO/+g67dODgGp/pWfaAYr9Sog3E+fDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T07:56:53.771248Z","bundle_sha256":"78ffe313942e8089a81b0732f0212ce1b98f4f18010966016a6c70990c1aae8b"}}