{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:D7CO2TS2B4SRIV2LJJ7NKYJIMH","short_pith_number":"pith:D7CO2TS2","schema_version":"1.0","canonical_sha256":"1fc4ed4e5a0f2514574b4a7ed5612861f7128d7c065a742ddfcf522fcca26203","source":{"kind":"arxiv","id":"2605.25186","version":1},"attestation_state":"computed","paper":{"title":"By Their Fruits You Will Know Them: Comparing Formalizations of Law by the Decisions They Encode","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Julius Vernie, Matthias Grabmair","submitted_at":"2026-05-24T17:31:31Z","abstract_excerpt":"Formalizing legal provisions promises machine-accessible law and automated legal reasoning, and recent LLMs make it tempting to generate such formalizations directly from statutory text. However, any formalization makes implicit interpretive choices whose consequences are hard to anticipate, especially if an LLM is the author. We present a method for systematically comparing different formalizations of the same legal provision by their inferences on individual cases. Given multiple formalizations of a provision, we match them at the node level, derive a shared interface for each pair from the "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.25186","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-24T17:31:31Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"e4835b13abc6ff452dd3d82242bea2eebc6811e749d499f01dd5e5bbc095e85b","abstract_canon_sha256":"c4933da0430134095ae1c981aa61abaffd96d4a75c7c7b93aa75e27dccca4bd3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-26T02:04:22.044765Z","signature_b64":"dVzq6S4J1YYHyCYWe9gMhejLC0MKIR+SI8NJAPhLINBcIGvZxK6PdhBlP104g/VYabibHlVadtqeOCTV2iWyBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1fc4ed4e5a0f2514574b4a7ed5612861f7128d7c065a742ddfcf522fcca26203","last_reissued_at":"2026-05-26T02:04:22.043968Z","signature_status":"signed_v1","first_computed_at":"2026-05-26T02:04:22.043968Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"By Their Fruits You Will Know Them: Comparing Formalizations of Law by the Decisions They Encode","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Julius Vernie, Matthias Grabmair","submitted_at":"2026-05-24T17:31:31Z","abstract_excerpt":"Formalizing legal provisions promises machine-accessible law and automated legal reasoning, and recent LLMs make it tempting to generate such formalizations directly from statutory text. However, any formalization makes implicit interpretive choices whose consequences are hard to anticipate, especially if an LLM is the author. We present a method for systematically comparing different formalizations of the same legal provision by their inferences on individual cases. Given multiple formalizations of a provision, we match them at the node level, derive a shared interface for each pair from the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.25186","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/2605.25186/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.25186","created_at":"2026-05-26T02:04:22.044093+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.25186v1","created_at":"2026-05-26T02:04:22.044093+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.25186","created_at":"2026-05-26T02:04:22.044093+00:00"},{"alias_kind":"pith_short_12","alias_value":"D7CO2TS2B4SR","created_at":"2026-05-26T02:04:22.044093+00:00"},{"alias_kind":"pith_short_16","alias_value":"D7CO2TS2B4SRIV2L","created_at":"2026-05-26T02:04:22.044093+00:00"},{"alias_kind":"pith_short_8","alias_value":"D7CO2TS2","created_at":"2026-05-26T02:04:22.044093+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/D7CO2TS2B4SRIV2LJJ7NKYJIMH","json":"https://pith.science/pith/D7CO2TS2B4SRIV2LJJ7NKYJIMH.json","graph_json":"https://pith.science/api/pith-number/D7CO2TS2B4SRIV2LJJ7NKYJIMH/graph.json","events_json":"https://pith.science/api/pith-number/D7CO2TS2B4SRIV2LJJ7NKYJIMH/events.json","paper":"https://pith.science/paper/D7CO2TS2"},"agent_actions":{"view_html":"https://pith.science/pith/D7CO2TS2B4SRIV2LJJ7NKYJIMH","download_json":"https://pith.science/pith/D7CO2TS2B4SRIV2LJJ7NKYJIMH.json","view_paper":"https://pith.science/paper/D7CO2TS2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.25186&json=true","fetch_graph":"https://pith.science/api/pith-number/D7CO2TS2B4SRIV2LJJ7NKYJIMH/graph.json","fetch_events":"https://pith.science/api/pith-number/D7CO2TS2B4SRIV2LJJ7NKYJIMH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/D7CO2TS2B4SRIV2LJJ7NKYJIMH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/D7CO2TS2B4SRIV2LJJ7NKYJIMH/action/storage_attestation","attest_author":"https://pith.science/pith/D7CO2TS2B4SRIV2LJJ7NKYJIMH/action/author_attestation","sign_citation":"https://pith.science/pith/D7CO2TS2B4SRIV2LJJ7NKYJIMH/action/citation_signature","submit_replication":"https://pith.science/pith/D7CO2TS2B4SRIV2LJJ7NKYJIMH/action/replication_record"}},"created_at":"2026-05-26T02:04:22.044093+00:00","updated_at":"2026-05-26T02:04:22.044093+00:00"}