{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:SQVHOWME3JEO5MLVINOGMJCUZG","short_pith_number":"pith:SQVHOWME","canonical_record":{"source":{"id":"2507.05017","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2025-07-07T14:00:05Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"089a6a7da5000ea577f89b7232b6da42a6f08c7c3ad3fb7ecd3963ae246d9201","abstract_canon_sha256":"9721aa241ef2e887bb8c940c52c1a5925581edf46976bbc848b48a1ef314a80b"},"schema_version":"1.0"},"canonical_sha256":"942a775984da48eeb175435c662454c9b08160f8d17155fec4a6ab91d84c555e","source":{"kind":"arxiv","id":"2507.05017","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.05017","created_at":"2026-07-05T11:33:07Z"},{"alias_kind":"arxiv_version","alias_value":"2507.05017v1","created_at":"2026-07-05T11:33:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.05017","created_at":"2026-07-05T11:33:07Z"},{"alias_kind":"pith_short_12","alias_value":"SQVHOWME3JEO","created_at":"2026-07-05T11:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"SQVHOWME3JEO5MLV","created_at":"2026-07-05T11:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"SQVHOWME","created_at":"2026-07-05T11:33:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:SQVHOWME3JEO5MLVINOGMJCUZG","target":"record","payload":{"canonical_record":{"source":{"id":"2507.05017","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2025-07-07T14:00:05Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"089a6a7da5000ea577f89b7232b6da42a6f08c7c3ad3fb7ecd3963ae246d9201","abstract_canon_sha256":"9721aa241ef2e887bb8c940c52c1a5925581edf46976bbc848b48a1ef314a80b"},"schema_version":"1.0"},"canonical_sha256":"942a775984da48eeb175435c662454c9b08160f8d17155fec4a6ab91d84c555e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:33:07.983396Z","signature_b64":"NvDopTfZIZXdWBt8MvAUq7Vy7l3lHPGETos1tAgKIP+U7M1ssz8g3HgcEAwBQs7fIAmbxcH58mvjdAKRid6vCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"942a775984da48eeb175435c662454c9b08160f8d17155fec4a6ab91d84c555e","last_reissued_at":"2026-07-05T11:33:07.982786Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:33:07.982786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.05017","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-05T11:33:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"voWa61OKUb7FzKD2Tey7Vh9OXd+zLJTDwMf04XWNuxBGBg4IP8v+ZR+TzVPLyGehnukcMCttuBqk5hV84NBtBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T07:05:47.196389Z"},"content_sha256":"3432edc3f4d5dc952eb617dce613a3e8fbfc4536ac0b8b4c06a81e83952de422","schema_version":"1.0","event_id":"sha256:3432edc3f4d5dc952eb617dce613a3e8fbfc4536ac0b8b4c06a81e83952de422"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:SQVHOWME3JEO5MLVINOGMJCUZG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verified Language Processing with Hybrid Explainability: A Technical Report","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"cs.CL","authors_text":"Giacomo Bergami, Graham Morgan, Oliver Robert Fox","submitted_at":"2025-07-07T14:00:05Z","abstract_excerpt":"The volume and diversity of digital information have led to a growing reliance on Machine Learning techniques, such as Natural Language Processing, for interpreting and accessing appropriate data. While vector and graph embeddings represent data for similarity tasks, current state-of-the-art pipelines lack guaranteed explainability, failing to determine similarity for given full texts accurately. These considerations can also be applied to classifiers exploiting generative language models with logical prompts, which fail to correctly distinguish between logical implication, indifference, and i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.05017","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/2507.05017/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-05T11:33:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NqH3f5KacVeJ4fsqElVhx3H2ga1L5yJ7nEYdf2R3wq2uyUMDdGlVlugvOSC6C6ZSboN0VKIvA9l79usLN/IVBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T07:05:47.197073Z"},"content_sha256":"bd0c09c53cde62923e8cbe2719c3bdee62c4c771ccc3b0667d3a7c0ff3d97b8b","schema_version":"1.0","event_id":"sha256:bd0c09c53cde62923e8cbe2719c3bdee62c4c771ccc3b0667d3a7c0ff3d97b8b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SQVHOWME3JEO5MLVINOGMJCUZG/bundle.json","state_url":"https://pith.science/pith/SQVHOWME3JEO5MLVINOGMJCUZG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SQVHOWME3JEO5MLVINOGMJCUZG/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-07T07:05:47Z","links":{"resolver":"https://pith.science/pith/SQVHOWME3JEO5MLVINOGMJCUZG","bundle":"https://pith.science/pith/SQVHOWME3JEO5MLVINOGMJCUZG/bundle.json","state":"https://pith.science/pith/SQVHOWME3JEO5MLVINOGMJCUZG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SQVHOWME3JEO5MLVINOGMJCUZG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:SQVHOWME3JEO5MLVINOGMJCUZG","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":"9721aa241ef2e887bb8c940c52c1a5925581edf46976bbc848b48a1ef314a80b","cross_cats_sorted":["cs.SC"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2025-07-07T14:00:05Z","title_canon_sha256":"089a6a7da5000ea577f89b7232b6da42a6f08c7c3ad3fb7ecd3963ae246d9201"},"schema_version":"1.0","source":{"id":"2507.05017","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.05017","created_at":"2026-07-05T11:33:07Z"},{"alias_kind":"arxiv_version","alias_value":"2507.05017v1","created_at":"2026-07-05T11:33:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.05017","created_at":"2026-07-05T11:33:07Z"},{"alias_kind":"pith_short_12","alias_value":"SQVHOWME3JEO","created_at":"2026-07-05T11:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"SQVHOWME3JEO5MLV","created_at":"2026-07-05T11:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"SQVHOWME","created_at":"2026-07-05T11:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:bd0c09c53cde62923e8cbe2719c3bdee62c4c771ccc3b0667d3a7c0ff3d97b8b","target":"graph","created_at":"2026-07-05T11:33:07Z","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/2507.05017/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The volume and diversity of digital information have led to a growing reliance on Machine Learning techniques, such as Natural Language Processing, for interpreting and accessing appropriate data. While vector and graph embeddings represent data for similarity tasks, current state-of-the-art pipelines lack guaranteed explainability, failing to determine similarity for given full texts accurately. These considerations can also be applied to classifiers exploiting generative language models with logical prompts, which fail to correctly distinguish between logical implication, indifference, and i","authors_text":"Giacomo Bergami, Graham Morgan, Oliver Robert Fox","cross_cats":["cs.SC"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.05017","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:3432edc3f4d5dc952eb617dce613a3e8fbfc4536ac0b8b4c06a81e83952de422","target":"record","created_at":"2026-07-05T11:33:07Z","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":"9721aa241ef2e887bb8c940c52c1a5925581edf46976bbc848b48a1ef314a80b","cross_cats_sorted":["cs.SC"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2025-07-07T14:00:05Z","title_canon_sha256":"089a6a7da5000ea577f89b7232b6da42a6f08c7c3ad3fb7ecd3963ae246d9201"},"schema_version":"1.0","source":{"id":"2507.05017","kind":"arxiv","version":1}},"canonical_sha256":"942a775984da48eeb175435c662454c9b08160f8d17155fec4a6ab91d84c555e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"942a775984da48eeb175435c662454c9b08160f8d17155fec4a6ab91d84c555e","first_computed_at":"2026-07-05T11:33:07.982786Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:33:07.982786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NvDopTfZIZXdWBt8MvAUq7Vy7l3lHPGETos1tAgKIP+U7M1ssz8g3HgcEAwBQs7fIAmbxcH58mvjdAKRid6vCA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:33:07.983396Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.05017","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3432edc3f4d5dc952eb617dce613a3e8fbfc4536ac0b8b4c06a81e83952de422","sha256:bd0c09c53cde62923e8cbe2719c3bdee62c4c771ccc3b0667d3a7c0ff3d97b8b"],"state_sha256":"78165d02c24a24fa193aa73f29ab430041145bc29e096e319144aaa3a955596b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"unkZ9Qozus1+b8CfjtWONvVqwPg/cT+g2xpqxgrqhMcwbLV5hgbvgDkB/nOgmF6ZKdZcM9pjNnQmh2cuGzHMCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T07:05:47.203208Z","bundle_sha256":"d41784ec4199cc8fc749c0f0123a9d2c32e46825c6fc6caab3a482612a3e3653"}}