{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:4FGZWKXG3PTCKGETEKESK5CZWQ","short_pith_number":"pith:4FGZWKXG","canonical_record":{"source":{"id":"2406.12546","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-18T12:24:22Z","cross_cats_sorted":[],"title_canon_sha256":"cc7ef3574f826448d385daf71daeb359a0f5a425ceff8b33856944b0fe4a4057","abstract_canon_sha256":"97282c45c97504c43429714192348eaff3ded82d265082b789767d780cbbc2ab"},"schema_version":"1.0"},"canonical_sha256":"e14d9b2ae6dbe62518932289257459b4275635cc3be250b9f86ad5eba1abdf48","source":{"kind":"arxiv","id":"2406.12546","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.12546","created_at":"2026-07-05T09:17:13Z"},{"alias_kind":"arxiv_version","alias_value":"2406.12546v2","created_at":"2026-07-05T09:17:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.12546","created_at":"2026-07-05T09:17:13Z"},{"alias_kind":"pith_short_12","alias_value":"4FGZWKXG3PTC","created_at":"2026-07-05T09:17:13Z"},{"alias_kind":"pith_short_16","alias_value":"4FGZWKXG3PTCKGET","created_at":"2026-07-05T09:17:13Z"},{"alias_kind":"pith_short_8","alias_value":"4FGZWKXG","created_at":"2026-07-05T09:17:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:4FGZWKXG3PTCKGETEKESK5CZWQ","target":"record","payload":{"canonical_record":{"source":{"id":"2406.12546","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-18T12:24:22Z","cross_cats_sorted":[],"title_canon_sha256":"cc7ef3574f826448d385daf71daeb359a0f5a425ceff8b33856944b0fe4a4057","abstract_canon_sha256":"97282c45c97504c43429714192348eaff3ded82d265082b789767d780cbbc2ab"},"schema_version":"1.0"},"canonical_sha256":"e14d9b2ae6dbe62518932289257459b4275635cc3be250b9f86ad5eba1abdf48","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:17:13.936203Z","signature_b64":"gKdUJRyr18+6ENMYNC+ZaPGLdPBCY+mX6mehkito5skSWBFs9JVwCRaIIFVjfnIN3hOOqL5Mxx+7byrO03SnDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e14d9b2ae6dbe62518932289257459b4275635cc3be250b9f86ad5eba1abdf48","last_reissued_at":"2026-07-05T09:17:13.935754Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:17:13.935754Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.12546","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-07-05T09:17:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/P1J40u+obt3AgJDfy8BMmfm7MKJB45/h/pIMyXJVWrMWY5/5ZpeAu3rWQHQyRqZakAuhcB1GR1E7wVOMJKgDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T21:59:40.496778Z"},"content_sha256":"f943396bb93a9449bb4907959082e5a46cb60d696d58e453184675335ffc63b3","schema_version":"1.0","event_id":"sha256:f943396bb93a9449bb4907959082e5a46cb60d696d58e453184675335ffc63b3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:4FGZWKXG3PTCKGETEKESK5CZWQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Liar, Liar, Logical Mire: A Benchmark for Suppositional Reasoning in Large Language Models","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Barbara Plank, Philipp Mondorf","submitted_at":"2024-06-18T12:24:22Z","abstract_excerpt":"Knights and knaves problems represent a classic genre of logical puzzles where characters either tell the truth or lie. The objective is to logically deduce each character's identity based on their statements. The challenge arises from the truth-telling or lying behavior, which influences the logical implications of each statement. Solving these puzzles requires not only direct deductions from individual statements, but the ability to assess the truthfulness of statements by reasoning through various hypothetical scenarios. As such, knights and knaves puzzles serve as compelling examples of su"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.12546","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/2406.12546/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-05T09:17:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uEHRuI40CVJwvs4zkKDxtqqAhixRnLYsMhQW8/Qj+bCopI3W3WdZiz9ecmPKoCZ7+wiemMcj95bOEBbqpipGCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T21:59:40.497165Z"},"content_sha256":"a5ceb9f928bd4f3be18f392780f67cbba8af35429afced7c5b3f3dee33f48ea1","schema_version":"1.0","event_id":"sha256:a5ceb9f928bd4f3be18f392780f67cbba8af35429afced7c5b3f3dee33f48ea1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4FGZWKXG3PTCKGETEKESK5CZWQ/bundle.json","state_url":"https://pith.science/pith/4FGZWKXG3PTCKGETEKESK5CZWQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4FGZWKXG3PTCKGETEKESK5CZWQ/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-13T21:59:40Z","links":{"resolver":"https://pith.science/pith/4FGZWKXG3PTCKGETEKESK5CZWQ","bundle":"https://pith.science/pith/4FGZWKXG3PTCKGETEKESK5CZWQ/bundle.json","state":"https://pith.science/pith/4FGZWKXG3PTCKGETEKESK5CZWQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4FGZWKXG3PTCKGETEKESK5CZWQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:4FGZWKXG3PTCKGETEKESK5CZWQ","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":"97282c45c97504c43429714192348eaff3ded82d265082b789767d780cbbc2ab","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-18T12:24:22Z","title_canon_sha256":"cc7ef3574f826448d385daf71daeb359a0f5a425ceff8b33856944b0fe4a4057"},"schema_version":"1.0","source":{"id":"2406.12546","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.12546","created_at":"2026-07-05T09:17:13Z"},{"alias_kind":"arxiv_version","alias_value":"2406.12546v2","created_at":"2026-07-05T09:17:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.12546","created_at":"2026-07-05T09:17:13Z"},{"alias_kind":"pith_short_12","alias_value":"4FGZWKXG3PTC","created_at":"2026-07-05T09:17:13Z"},{"alias_kind":"pith_short_16","alias_value":"4FGZWKXG3PTCKGET","created_at":"2026-07-05T09:17:13Z"},{"alias_kind":"pith_short_8","alias_value":"4FGZWKXG","created_at":"2026-07-05T09:17:13Z"}],"graph_snapshots":[{"event_id":"sha256:a5ceb9f928bd4f3be18f392780f67cbba8af35429afced7c5b3f3dee33f48ea1","target":"graph","created_at":"2026-07-05T09:17:13Z","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/2406.12546/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Knights and knaves problems represent a classic genre of logical puzzles where characters either tell the truth or lie. The objective is to logically deduce each character's identity based on their statements. The challenge arises from the truth-telling or lying behavior, which influences the logical implications of each statement. Solving these puzzles requires not only direct deductions from individual statements, but the ability to assess the truthfulness of statements by reasoning through various hypothetical scenarios. As such, knights and knaves puzzles serve as compelling examples of su","authors_text":"Barbara Plank, Philipp Mondorf","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-18T12:24:22Z","title":"Liar, Liar, Logical Mire: A Benchmark for Suppositional Reasoning in Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.12546","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:f943396bb93a9449bb4907959082e5a46cb60d696d58e453184675335ffc63b3","target":"record","created_at":"2026-07-05T09:17:13Z","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":"97282c45c97504c43429714192348eaff3ded82d265082b789767d780cbbc2ab","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-18T12:24:22Z","title_canon_sha256":"cc7ef3574f826448d385daf71daeb359a0f5a425ceff8b33856944b0fe4a4057"},"schema_version":"1.0","source":{"id":"2406.12546","kind":"arxiv","version":2}},"canonical_sha256":"e14d9b2ae6dbe62518932289257459b4275635cc3be250b9f86ad5eba1abdf48","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e14d9b2ae6dbe62518932289257459b4275635cc3be250b9f86ad5eba1abdf48","first_computed_at":"2026-07-05T09:17:13.935754Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:17:13.935754Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gKdUJRyr18+6ENMYNC+ZaPGLdPBCY+mX6mehkito5skSWBFs9JVwCRaIIFVjfnIN3hOOqL5Mxx+7byrO03SnDg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:17:13.936203Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.12546","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f943396bb93a9449bb4907959082e5a46cb60d696d58e453184675335ffc63b3","sha256:a5ceb9f928bd4f3be18f392780f67cbba8af35429afced7c5b3f3dee33f48ea1"],"state_sha256":"b18daeb41eb541f7ea9cb3637e8eb42849f3753c91a68622d5787894ba011c3c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OgWBRFaky+J37uzAmZ8al/E436HFVzDOJZikac+riqt4acm293Tsj/uoJ8bKuhrv08z6eQnP+eG2OfCXzRB/DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T21:59:40.503604Z","bundle_sha256":"9eea575f443ebabd8274b82fdc944044099dd9ea003be485780b67de6e4a504a"}}