{"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"}