{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:HGQT5VPUKGJ3T3JZLJAS3WQBCX","short_pith_number":"pith:HGQT5VPU","canonical_record":{"source":{"id":"2108.08678","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2021-08-19T13:40:35Z","cross_cats_sorted":[],"title_canon_sha256":"c01891d0bcc5c0a575bf06670b0d701799bd3cb53f9b3adffd3355a2711d0d48","abstract_canon_sha256":"66b9525882208b7c4ece4d1b19a173e486fe13e7773671fdd7b4a85f807098df"},"schema_version":"1.0"},"canonical_sha256":"39a13ed5f45193b9ed395a412dda0115c369b616f346f2edb92b359ae814768a","source":{"kind":"arxiv","id":"2108.08678","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2108.08678","created_at":"2026-07-05T03:07:12Z"},{"alias_kind":"arxiv_version","alias_value":"2108.08678v1","created_at":"2026-07-05T03:07:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2108.08678","created_at":"2026-07-05T03:07:12Z"},{"alias_kind":"pith_short_12","alias_value":"HGQT5VPUKGJ3","created_at":"2026-07-05T03:07:12Z"},{"alias_kind":"pith_short_16","alias_value":"HGQT5VPUKGJ3T3JZ","created_at":"2026-07-05T03:07:12Z"},{"alias_kind":"pith_short_8","alias_value":"HGQT5VPU","created_at":"2026-07-05T03:07:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:HGQT5VPUKGJ3T3JZLJAS3WQBCX","target":"record","payload":{"canonical_record":{"source":{"id":"2108.08678","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2021-08-19T13:40:35Z","cross_cats_sorted":[],"title_canon_sha256":"c01891d0bcc5c0a575bf06670b0d701799bd3cb53f9b3adffd3355a2711d0d48","abstract_canon_sha256":"66b9525882208b7c4ece4d1b19a173e486fe13e7773671fdd7b4a85f807098df"},"schema_version":"1.0"},"canonical_sha256":"39a13ed5f45193b9ed395a412dda0115c369b616f346f2edb92b359ae814768a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:07:12.389061Z","signature_b64":"jJ3PCgT+a7f6m4zTwpzNSXFlALtmzG40aKwNa21IyAC/Fh1P0KEm8CYXDG3TTqRbIRc2i9eW99X39fiAyKYyAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"39a13ed5f45193b9ed395a412dda0115c369b616f346f2edb92b359ae814768a","last_reissued_at":"2026-07-05T03:07:12.388682Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:07:12.388682Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2108.08678","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-05T03:07:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YFixLmUHzwtfCmpgQbjiRxU/8lzOXWMjsuqMEg1FYCx8lXyZfy1Py5IQyuRRKHGAkPVCNhrqrSi6GWS4sOoVAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T04:55:26.476682Z"},"content_sha256":"e1b4191b6ee5633544f2c1f8874c9a9ce1c480e7c26b5faccdabf08f82d89861","schema_version":"1.0","event_id":"sha256:e1b4191b6ee5633544f2c1f8874c9a9ce1c480e7c26b5faccdabf08f82d89861"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:HGQT5VPUKGJ3T3JZLJAS3WQBCX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Legislative Recipe: Syntax for Machine-Readable Legislation","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Bryan Wilson, Megan Ma","submitted_at":"2021-08-19T13:40:35Z","abstract_excerpt":"Legal interpretation is a linguistic venture. In judicial opinions, for example, courts are often asked to interpret the text of statutes and legislation. As time has shown, this is not always as easy as it sounds. Matters can hinge on vague or inconsistent language and, under the surface, human biases can impact the decision-making of judges. This raises an important question: what if there was a method of extracting the meaning of statutes consistently? That is, what if it were possible to use machines to encode legislation in a mathematically precise form that would permit clearer responses"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2108.08678","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/2108.08678/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-05T03:07:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jkb8qi4wgQYLVQpDPQXB4DHn4XSjGigfNyL0tidsM26jmh8yvwnls59qgin1VdO8PvMDuRem2QVcO+TB/RWtAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T04:55:26.477064Z"},"content_sha256":"294850d83d66684cb4111cdc87208e422a1ce2bfaae17467fd0e29b2c0c7ca23","schema_version":"1.0","event_id":"sha256:294850d83d66684cb4111cdc87208e422a1ce2bfaae17467fd0e29b2c0c7ca23"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HGQT5VPUKGJ3T3JZLJAS3WQBCX/bundle.json","state_url":"https://pith.science/pith/HGQT5VPUKGJ3T3JZLJAS3WQBCX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HGQT5VPUKGJ3T3JZLJAS3WQBCX/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-08-13T04:55:26Z","links":{"resolver":"https://pith.science/pith/HGQT5VPUKGJ3T3JZLJAS3WQBCX","bundle":"https://pith.science/pith/HGQT5VPUKGJ3T3JZLJAS3WQBCX/bundle.json","state":"https://pith.science/pith/HGQT5VPUKGJ3T3JZLJAS3WQBCX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HGQT5VPUKGJ3T3JZLJAS3WQBCX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:HGQT5VPUKGJ3T3JZLJAS3WQBCX","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":"66b9525882208b7c4ece4d1b19a173e486fe13e7773671fdd7b4a85f807098df","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2021-08-19T13:40:35Z","title_canon_sha256":"c01891d0bcc5c0a575bf06670b0d701799bd3cb53f9b3adffd3355a2711d0d48"},"schema_version":"1.0","source":{"id":"2108.08678","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2108.08678","created_at":"2026-07-05T03:07:12Z"},{"alias_kind":"arxiv_version","alias_value":"2108.08678v1","created_at":"2026-07-05T03:07:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2108.08678","created_at":"2026-07-05T03:07:12Z"},{"alias_kind":"pith_short_12","alias_value":"HGQT5VPUKGJ3","created_at":"2026-07-05T03:07:12Z"},{"alias_kind":"pith_short_16","alias_value":"HGQT5VPUKGJ3T3JZ","created_at":"2026-07-05T03:07:12Z"},{"alias_kind":"pith_short_8","alias_value":"HGQT5VPU","created_at":"2026-07-05T03:07:12Z"}],"graph_snapshots":[{"event_id":"sha256:294850d83d66684cb4111cdc87208e422a1ce2bfaae17467fd0e29b2c0c7ca23","target":"graph","created_at":"2026-07-05T03:07:12Z","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/2108.08678/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Legal interpretation is a linguistic venture. In judicial opinions, for example, courts are often asked to interpret the text of statutes and legislation. As time has shown, this is not always as easy as it sounds. Matters can hinge on vague or inconsistent language and, under the surface, human biases can impact the decision-making of judges. This raises an important question: what if there was a method of extracting the meaning of statutes consistently? That is, what if it were possible to use machines to encode legislation in a mathematically precise form that would permit clearer responses","authors_text":"Bryan Wilson, Megan Ma","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2021-08-19T13:40:35Z","title":"The Legislative Recipe: Syntax for Machine-Readable Legislation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2108.08678","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:e1b4191b6ee5633544f2c1f8874c9a9ce1c480e7c26b5faccdabf08f82d89861","target":"record","created_at":"2026-07-05T03:07:12Z","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":"66b9525882208b7c4ece4d1b19a173e486fe13e7773671fdd7b4a85f807098df","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2021-08-19T13:40:35Z","title_canon_sha256":"c01891d0bcc5c0a575bf06670b0d701799bd3cb53f9b3adffd3355a2711d0d48"},"schema_version":"1.0","source":{"id":"2108.08678","kind":"arxiv","version":1}},"canonical_sha256":"39a13ed5f45193b9ed395a412dda0115c369b616f346f2edb92b359ae814768a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"39a13ed5f45193b9ed395a412dda0115c369b616f346f2edb92b359ae814768a","first_computed_at":"2026-07-05T03:07:12.388682Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:07:12.388682Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jJ3PCgT+a7f6m4zTwpzNSXFlALtmzG40aKwNa21IyAC/Fh1P0KEm8CYXDG3TTqRbIRc2i9eW99X39fiAyKYyAA==","signature_status":"signed_v1","signed_at":"2026-07-05T03:07:12.389061Z","signed_message":"canonical_sha256_bytes"},"source_id":"2108.08678","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e1b4191b6ee5633544f2c1f8874c9a9ce1c480e7c26b5faccdabf08f82d89861","sha256:294850d83d66684cb4111cdc87208e422a1ce2bfaae17467fd0e29b2c0c7ca23"],"state_sha256":"cbe15d43e4da813bf6c12c51a2265f2c507cd3731b356031d1318144d6b3666e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8ck3KUwXSNv5cyEc810IAcQgNMCtSI+FYST7XXFlmHElCAVE7CbZLKHRFN4/dhcVstYw+/x0Klg+3XzfA87nAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T04:55:26.479486Z","bundle_sha256":"f78b492e63d8443fd7171b01dfa1b7a30d540422a5ed0d9a1cfbf7df1cfcbfc7"}}