{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:ZUZ7CP2AMB7NP6HEZNOSB3YVAY","short_pith_number":"pith:ZUZ7CP2A","canonical_record":{"source":{"id":"2209.02353","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-06T10:38:19Z","cross_cats_sorted":["cs.CY","cs.LO"],"title_canon_sha256":"796be5907747c240f7f0369ff714e19dfef3157ba31ba3e0e9e0aff8c2c618a7","abstract_canon_sha256":"52962ed67f19ebbd215071f5dcdb67208ce914df4856f6ffd4908eb3c7b7532d"},"schema_version":"1.0"},"canonical_sha256":"cd33f13f40607ed7f8e4cb5d20ef15060796cee7e3f83500709db4bbe65236a3","source":{"kind":"arxiv","id":"2209.02353","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.02353","created_at":"2026-07-05T04:55:10Z"},{"alias_kind":"arxiv_version","alias_value":"2209.02353v1","created_at":"2026-07-05T04:55:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.02353","created_at":"2026-07-05T04:55:10Z"},{"alias_kind":"pith_short_12","alias_value":"ZUZ7CP2AMB7N","created_at":"2026-07-05T04:55:10Z"},{"alias_kind":"pith_short_16","alias_value":"ZUZ7CP2AMB7NP6HE","created_at":"2026-07-05T04:55:10Z"},{"alias_kind":"pith_short_8","alias_value":"ZUZ7CP2A","created_at":"2026-07-05T04:55:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:ZUZ7CP2AMB7NP6HEZNOSB3YVAY","target":"record","payload":{"canonical_record":{"source":{"id":"2209.02353","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-06T10:38:19Z","cross_cats_sorted":["cs.CY","cs.LO"],"title_canon_sha256":"796be5907747c240f7f0369ff714e19dfef3157ba31ba3e0e9e0aff8c2c618a7","abstract_canon_sha256":"52962ed67f19ebbd215071f5dcdb67208ce914df4856f6ffd4908eb3c7b7532d"},"schema_version":"1.0"},"canonical_sha256":"cd33f13f40607ed7f8e4cb5d20ef15060796cee7e3f83500709db4bbe65236a3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:55:10.095070Z","signature_b64":"gh54GMs8Ah1S/c03CsH9LpBoRs989eXwy3V5fQRSwbDjzvKi9m2Jv0FQhjN86ttvBJMgm4FblGNaLXKR0LOADA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cd33f13f40607ed7f8e4cb5d20ef15060796cee7e3f83500709db4bbe65236a3","last_reissued_at":"2026-07-05T04:55:10.094690Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:55:10.094690Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2209.02353","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-07-05T04:55:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"USg0CyN1+ifCU9B7gNIwzT8SghseIzszW/zRTtz4hnJ9nIbe64NO8l84IB1Q9tIJxa1HqyM130EDuZuDqQMBDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-19T18:34:31.535655Z"},"content_sha256":"5c67b262ffb442b3cdc302a077a63c2bb788d4947030fffd9681bd269c8b5a3f","schema_version":"1.0","event_id":"sha256:5c67b262ffb442b3cdc302a077a63c2bb788d4947030fffd9681bd269c8b5a3f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:ZUZ7CP2AMB7NP6HEZNOSB3YVAY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From Legal Contracts to Legal Calculi: the code-driven normativity","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CY","cs.LO"],"primary_cat":"cs.PL","authors_text":"Italy), Silvia Crafa (University of Padova","submitted_at":"2022-09-06T10:38:19Z","abstract_excerpt":"Using dedicated software to represent or enact legislation or regulation has the advantage of solving the inherent ambiguity of legal texts and enabling the automation of compliance with legal norms. On the other hand, the so-called code-driven normativity is less flexible than the legal provisions it claims to implement, and transforms the nature of legal protection, potentially reducing the capability of individual human beings to invoke legal remedies.\n  In this article we focus on software-based legal contracts; we illustrate the design of a legal calculus whose primitives allow a direct f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.02353","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/2209.02353/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-07-05T04:55:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H0/bhKxPLE5ulf777upKACLEwTg5Mye5X+p8mZ7q22Bnfu7uJwiOe97KcKgyBbXbS+82TohOtMeeY2U96JrMAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-19T18:34:31.536043Z"},"content_sha256":"c9b604dde1194f873fc47c0b701d994da29ff18fe7c788869ccea8e266ad2262","schema_version":"1.0","event_id":"sha256:c9b604dde1194f873fc47c0b701d994da29ff18fe7c788869ccea8e266ad2262"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZUZ7CP2AMB7NP6HEZNOSB3YVAY/bundle.json","state_url":"https://pith.science/pith/ZUZ7CP2AMB7NP6HEZNOSB3YVAY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZUZ7CP2AMB7NP6HEZNOSB3YVAY/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-07-19T18:34:31Z","links":{"resolver":"https://pith.science/pith/ZUZ7CP2AMB7NP6HEZNOSB3YVAY","bundle":"https://pith.science/pith/ZUZ7CP2AMB7NP6HEZNOSB3YVAY/bundle.json","state":"https://pith.science/pith/ZUZ7CP2AMB7NP6HEZNOSB3YVAY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZUZ7CP2AMB7NP6HEZNOSB3YVAY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:ZUZ7CP2AMB7NP6HEZNOSB3YVAY","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":"52962ed67f19ebbd215071f5dcdb67208ce914df4856f6ffd4908eb3c7b7532d","cross_cats_sorted":["cs.CY","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-06T10:38:19Z","title_canon_sha256":"796be5907747c240f7f0369ff714e19dfef3157ba31ba3e0e9e0aff8c2c618a7"},"schema_version":"1.0","source":{"id":"2209.02353","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.02353","created_at":"2026-07-05T04:55:10Z"},{"alias_kind":"arxiv_version","alias_value":"2209.02353v1","created_at":"2026-07-05T04:55:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.02353","created_at":"2026-07-05T04:55:10Z"},{"alias_kind":"pith_short_12","alias_value":"ZUZ7CP2AMB7N","created_at":"2026-07-05T04:55:10Z"},{"alias_kind":"pith_short_16","alias_value":"ZUZ7CP2AMB7NP6HE","created_at":"2026-07-05T04:55:10Z"},{"alias_kind":"pith_short_8","alias_value":"ZUZ7CP2A","created_at":"2026-07-05T04:55:10Z"}],"graph_snapshots":[{"event_id":"sha256:c9b604dde1194f873fc47c0b701d994da29ff18fe7c788869ccea8e266ad2262","target":"graph","created_at":"2026-07-05T04:55:10Z","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/2209.02353/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Using dedicated software to represent or enact legislation or regulation has the advantage of solving the inherent ambiguity of legal texts and enabling the automation of compliance with legal norms. On the other hand, the so-called code-driven normativity is less flexible than the legal provisions it claims to implement, and transforms the nature of legal protection, potentially reducing the capability of individual human beings to invoke legal remedies.\n  In this article we focus on software-based legal contracts; we illustrate the design of a legal calculus whose primitives allow a direct f","authors_text":"Italy), Silvia Crafa (University of Padova","cross_cats":["cs.CY","cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-06T10:38:19Z","title":"From Legal Contracts to Legal Calculi: the code-driven normativity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.02353","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:5c67b262ffb442b3cdc302a077a63c2bb788d4947030fffd9681bd269c8b5a3f","target":"record","created_at":"2026-07-05T04:55:10Z","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":"52962ed67f19ebbd215071f5dcdb67208ce914df4856f6ffd4908eb3c7b7532d","cross_cats_sorted":["cs.CY","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-06T10:38:19Z","title_canon_sha256":"796be5907747c240f7f0369ff714e19dfef3157ba31ba3e0e9e0aff8c2c618a7"},"schema_version":"1.0","source":{"id":"2209.02353","kind":"arxiv","version":1}},"canonical_sha256":"cd33f13f40607ed7f8e4cb5d20ef15060796cee7e3f83500709db4bbe65236a3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cd33f13f40607ed7f8e4cb5d20ef15060796cee7e3f83500709db4bbe65236a3","first_computed_at":"2026-07-05T04:55:10.094690Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:55:10.094690Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gh54GMs8Ah1S/c03CsH9LpBoRs989eXwy3V5fQRSwbDjzvKi9m2Jv0FQhjN86ttvBJMgm4FblGNaLXKR0LOADA==","signature_status":"signed_v1","signed_at":"2026-07-05T04:55:10.095070Z","signed_message":"canonical_sha256_bytes"},"source_id":"2209.02353","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5c67b262ffb442b3cdc302a077a63c2bb788d4947030fffd9681bd269c8b5a3f","sha256:c9b604dde1194f873fc47c0b701d994da29ff18fe7c788869ccea8e266ad2262"],"state_sha256":"11e65fa4b73b7fcd936fe08b9ebfdbb6961840b226ba67686939bbed6f56b53a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xLsKAfZ3unSgIBLU6PlIduwu2LGT1Y+2zVxrfimQWs2ReGeI5C8BfjhXiG8qJVTT/ypIYH37WaZqKsDZWBYICA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-19T18:34:31.539006Z","bundle_sha256":"7cf06b565fd503e07b73279378f7f1e56e721f48006460a2e0ddc59a37a08972"}}