{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:YMOZWE6ZMARUKLVBXEFKH57R37","short_pith_number":"pith:YMOZWE6Z","canonical_record":{"source":{"id":"2507.06042","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-08T14:44:01Z","cross_cats_sorted":[],"title_canon_sha256":"0d2cde17b51aa8276e51dfa6c1fc048c5642b116b1e0dc106a4bde8e4e45a030","abstract_canon_sha256":"18d8a92299a676d76ee483b98211eaf6981f8fdfab7b7a621002f0b9af3d53d0"},"schema_version":"1.0"},"canonical_sha256":"c31d9b13d96023452ea1b90aa3f7f1dfd944315a6f5163f2bd4b54272a1055b8","source":{"kind":"arxiv","id":"2507.06042","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.06042","created_at":"2026-07-05T11:33:40Z"},{"alias_kind":"arxiv_version","alias_value":"2507.06042v1","created_at":"2026-07-05T11:33:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.06042","created_at":"2026-07-05T11:33:40Z"},{"alias_kind":"pith_short_12","alias_value":"YMOZWE6ZMARU","created_at":"2026-07-05T11:33:40Z"},{"alias_kind":"pith_short_16","alias_value":"YMOZWE6ZMARUKLVB","created_at":"2026-07-05T11:33:40Z"},{"alias_kind":"pith_short_8","alias_value":"YMOZWE6Z","created_at":"2026-07-05T11:33:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:YMOZWE6ZMARUKLVBXEFKH57R37","target":"record","payload":{"canonical_record":{"source":{"id":"2507.06042","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-08T14:44:01Z","cross_cats_sorted":[],"title_canon_sha256":"0d2cde17b51aa8276e51dfa6c1fc048c5642b116b1e0dc106a4bde8e4e45a030","abstract_canon_sha256":"18d8a92299a676d76ee483b98211eaf6981f8fdfab7b7a621002f0b9af3d53d0"},"schema_version":"1.0"},"canonical_sha256":"c31d9b13d96023452ea1b90aa3f7f1dfd944315a6f5163f2bd4b54272a1055b8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:33:40.526189Z","signature_b64":"dkjg8wuzo4V3AUUow7ChaidjjI1oGSrVApW2804fplJjDFRcX1M3ww1Pnuhk1azZ2kJ3m5eDfQCiKG+iD/yhCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c31d9b13d96023452ea1b90aa3f7f1dfd944315a6f5163f2bd4b54272a1055b8","last_reissued_at":"2026-07-05T11:33:40.525589Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:33:40.525589Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.06042","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:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3NsW/r2B+AL+jE3x5ZDFT2ikKKpl/7IHqH2Ov2bWNQzGBc+f1ExKXPYCxgsMIauvvNCgwAxni4DZuuk/tsvmAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T01:02:43.023247Z"},"content_sha256":"e20d0a32e07877d3214c2f61c61ee8aa150f366d6291304c1fa497e124ec1e6f","schema_version":"1.0","event_id":"sha256:e20d0a32e07877d3214c2f61c61ee8aa150f366d6291304c1fa497e124ec1e6f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:YMOZWE6ZMARUKLVBXEFKH57R37","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Lockean beliefs that are deductively closed and minimal change","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Lluis Godo, Lluis Subirana, Ram\\'on Pino P\\'erez, Tommaso Flaminio","submitted_at":"2025-07-08T14:44:01Z","abstract_excerpt":"Within the formal setting of the Lockean thesis, an agent belief set is defined in terms of degrees of confidence and these are described in probabilistic terms. This approach is of established interest, notwithstanding some limitations that make its use troublesome in some contexts, like, for instance, in belief change theory. Precisely, Lockean belief sets are not generally closed under (classical) logical deduction. The aim of the present paper is twofold: on one side we provide two characterizations of those belief sets that are closed under classical logic deduction, and on the other we p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.06042","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.06042/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:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qjf04cxBIyqEKCO4xmk8c9aRe65mYV46RgvZXVhqqZJ2QzQxzyOxJmbRgsLpJyj15yjS7IGbKEoxxnVpvvzHDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T01:02:43.024592Z"},"content_sha256":"de215ce59087c5aba36329064cd4d910847ac7e8ecf29df74de9061a632d88ad","schema_version":"1.0","event_id":"sha256:de215ce59087c5aba36329064cd4d910847ac7e8ecf29df74de9061a632d88ad"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YMOZWE6ZMARUKLVBXEFKH57R37/bundle.json","state_url":"https://pith.science/pith/YMOZWE6ZMARUKLVBXEFKH57R37/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YMOZWE6ZMARUKLVBXEFKH57R37/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-22T01:02:43Z","links":{"resolver":"https://pith.science/pith/YMOZWE6ZMARUKLVBXEFKH57R37","bundle":"https://pith.science/pith/YMOZWE6ZMARUKLVBXEFKH57R37/bundle.json","state":"https://pith.science/pith/YMOZWE6ZMARUKLVBXEFKH57R37/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YMOZWE6ZMARUKLVBXEFKH57R37/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:YMOZWE6ZMARUKLVBXEFKH57R37","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":"18d8a92299a676d76ee483b98211eaf6981f8fdfab7b7a621002f0b9af3d53d0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-08T14:44:01Z","title_canon_sha256":"0d2cde17b51aa8276e51dfa6c1fc048c5642b116b1e0dc106a4bde8e4e45a030"},"schema_version":"1.0","source":{"id":"2507.06042","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.06042","created_at":"2026-07-05T11:33:40Z"},{"alias_kind":"arxiv_version","alias_value":"2507.06042v1","created_at":"2026-07-05T11:33:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.06042","created_at":"2026-07-05T11:33:40Z"},{"alias_kind":"pith_short_12","alias_value":"YMOZWE6ZMARU","created_at":"2026-07-05T11:33:40Z"},{"alias_kind":"pith_short_16","alias_value":"YMOZWE6ZMARUKLVB","created_at":"2026-07-05T11:33:40Z"},{"alias_kind":"pith_short_8","alias_value":"YMOZWE6Z","created_at":"2026-07-05T11:33:40Z"}],"graph_snapshots":[{"event_id":"sha256:de215ce59087c5aba36329064cd4d910847ac7e8ecf29df74de9061a632d88ad","target":"graph","created_at":"2026-07-05T11:33:40Z","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.06042/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Within the formal setting of the Lockean thesis, an agent belief set is defined in terms of degrees of confidence and these are described in probabilistic terms. This approach is of established interest, notwithstanding some limitations that make its use troublesome in some contexts, like, for instance, in belief change theory. Precisely, Lockean belief sets are not generally closed under (classical) logical deduction. The aim of the present paper is twofold: on one side we provide two characterizations of those belief sets that are closed under classical logic deduction, and on the other we p","authors_text":"Lluis Godo, Lluis Subirana, Ram\\'on Pino P\\'erez, Tommaso Flaminio","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-08T14:44:01Z","title":"On Lockean beliefs that are deductively closed and minimal change"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.06042","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:e20d0a32e07877d3214c2f61c61ee8aa150f366d6291304c1fa497e124ec1e6f","target":"record","created_at":"2026-07-05T11:33:40Z","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":"18d8a92299a676d76ee483b98211eaf6981f8fdfab7b7a621002f0b9af3d53d0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-08T14:44:01Z","title_canon_sha256":"0d2cde17b51aa8276e51dfa6c1fc048c5642b116b1e0dc106a4bde8e4e45a030"},"schema_version":"1.0","source":{"id":"2507.06042","kind":"arxiv","version":1}},"canonical_sha256":"c31d9b13d96023452ea1b90aa3f7f1dfd944315a6f5163f2bd4b54272a1055b8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c31d9b13d96023452ea1b90aa3f7f1dfd944315a6f5163f2bd4b54272a1055b8","first_computed_at":"2026-07-05T11:33:40.525589Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:33:40.525589Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dkjg8wuzo4V3AUUow7ChaidjjI1oGSrVApW2804fplJjDFRcX1M3ww1Pnuhk1azZ2kJ3m5eDfQCiKG+iD/yhCg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:33:40.526189Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.06042","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e20d0a32e07877d3214c2f61c61ee8aa150f366d6291304c1fa497e124ec1e6f","sha256:de215ce59087c5aba36329064cd4d910847ac7e8ecf29df74de9061a632d88ad"],"state_sha256":"388d17d28c4c1cd10bcc3bf97677c94ca119389e4210155c34c6881aba2801d9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0HKckSw0VzW+zMZkSxHKOU+MwYrwebkCinAK4UxfS5sEQtucrGHk2Cf5HISL6IBK6RLduk63KFzHVOO/+p06Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T01:02:43.031036Z","bundle_sha256":"eedea71c94b909f163125e8ffd1ffe641f2f012d3266743c4394bde7173bdd30"}}