{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:HM5HOXDRJHOFWGVLWDSMQYOQ3Y","short_pith_number":"pith:HM5HOXDR","canonical_record":{"source":{"id":"2404.03664","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-02-16T10:56:15Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ba5b6272241087f15218e600858630915c621d8ad40becdff7af57cb253d68bc","abstract_canon_sha256":"723ec501c7e73ec1916d9ab0a2b6ebce89f28b1ac4155270482380fde9501170"},"schema_version":"1.0"},"canonical_sha256":"3b3a775c7149dc5b1aabb0e4c861d0de3a57854d1a99159ad9a0d02f4d8c8871","source":{"kind":"arxiv","id":"2404.03664","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.03664","created_at":"2026-07-05T10:21:18Z"},{"alias_kind":"arxiv_version","alias_value":"2404.03664v4","created_at":"2026-07-05T10:21:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.03664","created_at":"2026-07-05T10:21:18Z"},{"alias_kind":"pith_short_12","alias_value":"HM5HOXDRJHOF","created_at":"2026-07-05T10:21:18Z"},{"alias_kind":"pith_short_16","alias_value":"HM5HOXDRJHOFWGVL","created_at":"2026-07-05T10:21:18Z"},{"alias_kind":"pith_short_8","alias_value":"HM5HOXDR","created_at":"2026-07-05T10:21:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:HM5HOXDRJHOFWGVLWDSMQYOQ3Y","target":"record","payload":{"canonical_record":{"source":{"id":"2404.03664","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-02-16T10:56:15Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ba5b6272241087f15218e600858630915c621d8ad40becdff7af57cb253d68bc","abstract_canon_sha256":"723ec501c7e73ec1916d9ab0a2b6ebce89f28b1ac4155270482380fde9501170"},"schema_version":"1.0"},"canonical_sha256":"3b3a775c7149dc5b1aabb0e4c861d0de3a57854d1a99159ad9a0d02f4d8c8871","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:21:18.605798Z","signature_b64":"IzOc+wK11iepbbe6k5OKk38gookOlOKlA6Ph9aA1YNK8/OpcWuyUWymIkUPyzY4BIHyakw5ya91VPaWqevT9CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3b3a775c7149dc5b1aabb0e4c861d0de3a57854d1a99159ad9a0d02f4d8c8871","last_reissued_at":"2026-07-05T10:21:18.605341Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:21:18.605341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.03664","source_version":4,"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-05T10:21:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uCmOdNmAxFeaNLz7z9l07XkJEjrGoAd9BkJuFq1oOl47c3X35rbZpaYDih6JJxcicC02QcDSVJfPakFByR0cAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T12:23:03.541178Z"},"content_sha256":"42337533789d993bd7ba52e56e378b5155dfb610395dad414129e4ccd2ac9c7b","schema_version":"1.0","event_id":"sha256:42337533789d993bd7ba52e56e378b5155dfb610395dad414129e4ccd2ac9c7b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:HM5HOXDRJHOFWGVLWDSMQYOQ3Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Christoph Laaber, Erblin Isaku, Hassan Sartaj, Jan F. Nyg\\r{a}rd, Shaukat Ali, Thomas Schwitalla","submitted_at":"2024-02-16T10:56:15Z","abstract_excerpt":"The Cancer Registry of Norway (CRN) uses an automated cancer registration support system (CaReSS) to support core cancer registry activities, i.e, data capture, data curation, and producing data products and statistics for various stakeholders. GURI is a core component of CaReSS, which is responsible for validating incoming data with medical rules. Such medical rules are manually implemented by medical experts based on medical standards, regulations, and research. Since large language models (LLMs) have been trained on a large amount of public information, including these documents, they can b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.03664","kind":"arxiv","version":4},"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/2404.03664/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-05T10:21:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Txr2WbKq6DRDFEycoTVu2IM1wtWxC6L/nm4mecfvFrJ88TqmaDH0Kl5HEYU32Z/k76mgL2kj3QMe7+jHme9aDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T12:23:03.541598Z"},"content_sha256":"bd3c77409c3088f2ed1426735fcfefd4d825e18af23af1c034086dbcd7412a1c","schema_version":"1.0","event_id":"sha256:bd3c77409c3088f2ed1426735fcfefd4d825e18af23af1c034086dbcd7412a1c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HM5HOXDRJHOFWGVLWDSMQYOQ3Y/bundle.json","state_url":"https://pith.science/pith/HM5HOXDRJHOFWGVLWDSMQYOQ3Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HM5HOXDRJHOFWGVLWDSMQYOQ3Y/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-04T12:23:03Z","links":{"resolver":"https://pith.science/pith/HM5HOXDRJHOFWGVLWDSMQYOQ3Y","bundle":"https://pith.science/pith/HM5HOXDRJHOFWGVLWDSMQYOQ3Y/bundle.json","state":"https://pith.science/pith/HM5HOXDRJHOFWGVLWDSMQYOQ3Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HM5HOXDRJHOFWGVLWDSMQYOQ3Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:HM5HOXDRJHOFWGVLWDSMQYOQ3Y","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":"723ec501c7e73ec1916d9ab0a2b6ebce89f28b1ac4155270482380fde9501170","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-02-16T10:56:15Z","title_canon_sha256":"ba5b6272241087f15218e600858630915c621d8ad40becdff7af57cb253d68bc"},"schema_version":"1.0","source":{"id":"2404.03664","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.03664","created_at":"2026-07-05T10:21:18Z"},{"alias_kind":"arxiv_version","alias_value":"2404.03664v4","created_at":"2026-07-05T10:21:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.03664","created_at":"2026-07-05T10:21:18Z"},{"alias_kind":"pith_short_12","alias_value":"HM5HOXDRJHOF","created_at":"2026-07-05T10:21:18Z"},{"alias_kind":"pith_short_16","alias_value":"HM5HOXDRJHOFWGVL","created_at":"2026-07-05T10:21:18Z"},{"alias_kind":"pith_short_8","alias_value":"HM5HOXDR","created_at":"2026-07-05T10:21:18Z"}],"graph_snapshots":[{"event_id":"sha256:bd3c77409c3088f2ed1426735fcfefd4d825e18af23af1c034086dbcd7412a1c","target":"graph","created_at":"2026-07-05T10:21:18Z","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/2404.03664/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Cancer Registry of Norway (CRN) uses an automated cancer registration support system (CaReSS) to support core cancer registry activities, i.e, data capture, data curation, and producing data products and statistics for various stakeholders. GURI is a core component of CaReSS, which is responsible for validating incoming data with medical rules. Such medical rules are manually implemented by medical experts based on medical standards, regulations, and research. Since large language models (LLMs) have been trained on a large amount of public information, including these documents, they can b","authors_text":"Christoph Laaber, Erblin Isaku, Hassan Sartaj, Jan F. Nyg\\r{a}rd, Shaukat Ali, Thomas Schwitalla","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-02-16T10:56:15Z","title":"LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.03664","kind":"arxiv","version":4},"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:42337533789d993bd7ba52e56e378b5155dfb610395dad414129e4ccd2ac9c7b","target":"record","created_at":"2026-07-05T10:21:18Z","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":"723ec501c7e73ec1916d9ab0a2b6ebce89f28b1ac4155270482380fde9501170","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-02-16T10:56:15Z","title_canon_sha256":"ba5b6272241087f15218e600858630915c621d8ad40becdff7af57cb253d68bc"},"schema_version":"1.0","source":{"id":"2404.03664","kind":"arxiv","version":4}},"canonical_sha256":"3b3a775c7149dc5b1aabb0e4c861d0de3a57854d1a99159ad9a0d02f4d8c8871","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3b3a775c7149dc5b1aabb0e4c861d0de3a57854d1a99159ad9a0d02f4d8c8871","first_computed_at":"2026-07-05T10:21:18.605341Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:21:18.605341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IzOc+wK11iepbbe6k5OKk38gookOlOKlA6Ph9aA1YNK8/OpcWuyUWymIkUPyzY4BIHyakw5ya91VPaWqevT9CQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:21:18.605798Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.03664","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:42337533789d993bd7ba52e56e378b5155dfb610395dad414129e4ccd2ac9c7b","sha256:bd3c77409c3088f2ed1426735fcfefd4d825e18af23af1c034086dbcd7412a1c"],"state_sha256":"a4699dd85b4b030582e1052b0e467dade93783a6151f394b87f9b969d7cd9499"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YxvQdON7sq2OTdgcxBL+94BwUSCtZhjXpTB/A9tvxRUkCbaYz9k7+XP8WqUYNEJwkGCCCppQIFi4W+NupVTABw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T12:23:03.544179Z","bundle_sha256":"75ab9ea734c350fecb0ec79c91d4dd6f3a1ef3ff1ff662fb345e55b8a1022a91"}}