{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FFGCZRX56DIKNYTOU3OEDMEYRF","short_pith_number":"pith:FFGCZRX5","canonical_record":{"source":{"id":"2511.12276","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-11-15T16:09:31Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"27f5ae068010fec145f25c40cdf2765259ecc104ffa5d0e4f84cd94275c44e6c","abstract_canon_sha256":"445a3bd781b05496d2d2ba2f7782000c0c733baff15df54f928d4df19e1c2fb6"},"schema_version":"1.0"},"canonical_sha256":"294c2cc6fdf0d0a6e26ea6dc41b09889788f11988f65b24930f4e76566d79291","source":{"kind":"arxiv","id":"2511.12276","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.12276","created_at":"2026-05-25T02:01:09Z"},{"alias_kind":"arxiv_version","alias_value":"2511.12276v2","created_at":"2026-05-25T02:01:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.12276","created_at":"2026-05-25T02:01:09Z"},{"alias_kind":"pith_short_12","alias_value":"FFGCZRX56DIK","created_at":"2026-05-25T02:01:09Z"},{"alias_kind":"pith_short_16","alias_value":"FFGCZRX56DIKNYTO","created_at":"2026-05-25T02:01:09Z"},{"alias_kind":"pith_short_8","alias_value":"FFGCZRX5","created_at":"2026-05-25T02:01:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FFGCZRX56DIKNYTOU3OEDMEYRF","target":"record","payload":{"canonical_record":{"source":{"id":"2511.12276","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-11-15T16:09:31Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"27f5ae068010fec145f25c40cdf2765259ecc104ffa5d0e4f84cd94275c44e6c","abstract_canon_sha256":"445a3bd781b05496d2d2ba2f7782000c0c733baff15df54f928d4df19e1c2fb6"},"schema_version":"1.0"},"canonical_sha256":"294c2cc6fdf0d0a6e26ea6dc41b09889788f11988f65b24930f4e76566d79291","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-25T02:01:09.508542Z","signature_b64":"RyykUHWkS3S1abMSngyrCO+i+g7FC9pLJ4TyTElEPSA8yPi4vqQC0nWgTB2bzOI528d2CnMgsiluZm/bbGMoAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"294c2cc6fdf0d0a6e26ea6dc41b09889788f11988f65b24930f4e76566d79291","last_reissued_at":"2026-05-25T02:01:09.507684Z","signature_status":"signed_v1","first_computed_at":"2026-05-25T02:01:09.507684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2511.12276","source_version":2,"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-25T02:01:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nUE5xwheNcA1uKR8fDysvP9X/VLu8mgl3Xa8/AYTPZU2XdE/k3vXbN9h47d5DyhWAgxZm/zicTHGEMLFDvZfAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T08:34:29.607736Z"},"content_sha256":"85e20c29392ae227dd0b82ead4b4fd17cfde23788296db18169ca90b1e88f32d","schema_version":"1.0","event_id":"sha256:85e20c29392ae227dd0b82ead4b4fd17cfde23788296db18169ca90b1e88f32d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FFGCZRX56DIKNYTOU3OEDMEYRF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reflections on the design, applications and implementations of the normative specification language eFLINT","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Christopher A. Esterhuyse, L. Thomas van Binsbergen, Tim M\\\"uller","submitted_at":"2025-11-15T16:09:31Z","abstract_excerpt":"Checking the compliance of software against laws, regulations and contracts is increasingly important and costly as the embedding of software into societal practices is becoming more pervasive. Moreover, the digitalised services provided by governmental organisations and companies are governed by an increasing amount of laws and regulations, requiring highly adaptable compliance practices. A potential solution is to automate compliance using software. However, automating compliance is difficult for various reasons. Legal practices involve subjective processes such as interpretation and qualifi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.12276","kind":"arxiv","version":2},"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/2511.12276/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-05-25T02:01:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I7s7l3xpFHfPhMqUzCyEE0QK9gdwo3pLWgbcUYR/X08kmVWO6QrIQpHPGywLQFmS9qxapOPw3rk1mTQIsG29Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T08:34:29.608125Z"},"content_sha256":"16c832ba31edadc45f282542552d6e7e3e61b28058da3b4c0725ee2f045d8d83","schema_version":"1.0","event_id":"sha256:16c832ba31edadc45f282542552d6e7e3e61b28058da3b4c0725ee2f045d8d83"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FFGCZRX56DIKNYTOU3OEDMEYRF/bundle.json","state_url":"https://pith.science/pith/FFGCZRX56DIKNYTOU3OEDMEYRF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FFGCZRX56DIKNYTOU3OEDMEYRF/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-05-28T08:34:29Z","links":{"resolver":"https://pith.science/pith/FFGCZRX56DIKNYTOU3OEDMEYRF","bundle":"https://pith.science/pith/FFGCZRX56DIKNYTOU3OEDMEYRF/bundle.json","state":"https://pith.science/pith/FFGCZRX56DIKNYTOU3OEDMEYRF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FFGCZRX56DIKNYTOU3OEDMEYRF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FFGCZRX56DIKNYTOU3OEDMEYRF","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":"445a3bd781b05496d2d2ba2f7782000c0c733baff15df54f928d4df19e1c2fb6","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-11-15T16:09:31Z","title_canon_sha256":"27f5ae068010fec145f25c40cdf2765259ecc104ffa5d0e4f84cd94275c44e6c"},"schema_version":"1.0","source":{"id":"2511.12276","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.12276","created_at":"2026-05-25T02:01:09Z"},{"alias_kind":"arxiv_version","alias_value":"2511.12276v2","created_at":"2026-05-25T02:01:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.12276","created_at":"2026-05-25T02:01:09Z"},{"alias_kind":"pith_short_12","alias_value":"FFGCZRX56DIK","created_at":"2026-05-25T02:01:09Z"},{"alias_kind":"pith_short_16","alias_value":"FFGCZRX56DIKNYTO","created_at":"2026-05-25T02:01:09Z"},{"alias_kind":"pith_short_8","alias_value":"FFGCZRX5","created_at":"2026-05-25T02:01:09Z"}],"graph_snapshots":[{"event_id":"sha256:16c832ba31edadc45f282542552d6e7e3e61b28058da3b4c0725ee2f045d8d83","target":"graph","created_at":"2026-05-25T02:01:09Z","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/2511.12276/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Checking the compliance of software against laws, regulations and contracts is increasingly important and costly as the embedding of software into societal practices is becoming more pervasive. Moreover, the digitalised services provided by governmental organisations and companies are governed by an increasing amount of laws and regulations, requiring highly adaptable compliance practices. A potential solution is to automate compliance using software. However, automating compliance is difficult for various reasons. Legal practices involve subjective processes such as interpretation and qualifi","authors_text":"Christopher A. Esterhuyse, L. Thomas van Binsbergen, Tim M\\\"uller","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-11-15T16:09:31Z","title":"Reflections on the design, applications and implementations of the normative specification language eFLINT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.12276","kind":"arxiv","version":2},"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:85e20c29392ae227dd0b82ead4b4fd17cfde23788296db18169ca90b1e88f32d","target":"record","created_at":"2026-05-25T02:01:09Z","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":"445a3bd781b05496d2d2ba2f7782000c0c733baff15df54f928d4df19e1c2fb6","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-11-15T16:09:31Z","title_canon_sha256":"27f5ae068010fec145f25c40cdf2765259ecc104ffa5d0e4f84cd94275c44e6c"},"schema_version":"1.0","source":{"id":"2511.12276","kind":"arxiv","version":2}},"canonical_sha256":"294c2cc6fdf0d0a6e26ea6dc41b09889788f11988f65b24930f4e76566d79291","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"294c2cc6fdf0d0a6e26ea6dc41b09889788f11988f65b24930f4e76566d79291","first_computed_at":"2026-05-25T02:01:09.507684Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-25T02:01:09.507684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RyykUHWkS3S1abMSngyrCO+i+g7FC9pLJ4TyTElEPSA8yPi4vqQC0nWgTB2bzOI528d2CnMgsiluZm/bbGMoAA==","signature_status":"signed_v1","signed_at":"2026-05-25T02:01:09.508542Z","signed_message":"canonical_sha256_bytes"},"source_id":"2511.12276","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85e20c29392ae227dd0b82ead4b4fd17cfde23788296db18169ca90b1e88f32d","sha256:16c832ba31edadc45f282542552d6e7e3e61b28058da3b4c0725ee2f045d8d83"],"state_sha256":"4754536b9b15e213bba83d69901c54cd2e85ef8b7208f73173b9813ecdf01a55"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sFrkoFNOdH2AJFOEOApPZIX3bbtSeHVgHZDyDPWps4BlOZWyp6cB7UR0IcN+0uylyxem6z3AtsRlYWaE4T8fAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T08:34:29.610185Z","bundle_sha256":"ad36872bc6ec68417cb05ac9089a47aabfa6d0b54035cb2b4b233e804324da73"}}