{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:FYHBYSQMGSOXMRQTD4DE5CB5YV","short_pith_number":"pith:FYHBYSQM","canonical_record":{"source":{"id":"1810.02142","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-04T10:42:37Z","cross_cats_sorted":[],"title_canon_sha256":"8416c0e4b78ae98f2fa350a8157a2a56ad08a5b87bb0a0fd822358fea2b69428","abstract_canon_sha256":"632cf14017831da0f10fadf98ecd5f1ccc7b844b22ba98f4b2b31d2e5dadfc65"},"schema_version":"1.0"},"canonical_sha256":"2e0e1c4a0c349d7646131f064e883dc57cc61543b832855281f97ceaac08fe49","source":{"kind":"arxiv","id":"1810.02142","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.02142","created_at":"2026-05-18T00:04:06Z"},{"alias_kind":"arxiv_version","alias_value":"1810.02142v1","created_at":"2026-05-18T00:04:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.02142","created_at":"2026-05-18T00:04:06Z"},{"alias_kind":"pith_short_12","alias_value":"FYHBYSQMGSOX","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_16","alias_value":"FYHBYSQMGSOXMRQT","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_8","alias_value":"FYHBYSQM","created_at":"2026-05-18T12:32:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:FYHBYSQMGSOXMRQTD4DE5CB5YV","target":"record","payload":{"canonical_record":{"source":{"id":"1810.02142","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-04T10:42:37Z","cross_cats_sorted":[],"title_canon_sha256":"8416c0e4b78ae98f2fa350a8157a2a56ad08a5b87bb0a0fd822358fea2b69428","abstract_canon_sha256":"632cf14017831da0f10fadf98ecd5f1ccc7b844b22ba98f4b2b31d2e5dadfc65"},"schema_version":"1.0"},"canonical_sha256":"2e0e1c4a0c349d7646131f064e883dc57cc61543b832855281f97ceaac08fe49","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:04:06.114435Z","signature_b64":"lQJgTnioSai7J8l+IqMXaTYd1oFHkvpKwMxoJiFuS9MjiIqb20OK4viE2S2i0rvSgr8XeWNgDxQm0G6HmlZHBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e0e1c4a0c349d7646131f064e883dc57cc61543b832855281f97ceaac08fe49","last_reissued_at":"2026-05-18T00:04:06.113727Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:04:06.113727Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.02142","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-05-18T00:04:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ld0FwwwC3rQYywsQk7Qm3tdOTf6uj9/mw3ERS8PC8SzWjt4Wgl82u8uL4WIMfeqk17pbcCdhSdlsbhzMPmQCAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T15:24:24.237716Z"},"content_sha256":"3886b6d50715f70ce583c64e09e0c1b65621fa483647697eaa9eeb94294f4eb1","schema_version":"1.0","event_id":"sha256:3886b6d50715f70ce583c64e09e0c1b65621fa483647697eaa9eeb94294f4eb1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:FYHBYSQMGSOXMRQTD4DE5CB5YV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alban Ponse, Daan J.C. Staudt, Jan A. Bergstra","submitted_at":"2018-10-04T10:42:37Z","abstract_excerpt":"Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression. Short-circuit evaluation is widely used in programming, with sequential conjunction and disjunction as primitive connectives.\n  We study the question which logical laws axiomatize short-circuit evaluation under the following assumptions: compound statements are evaluated from left to right, each atom (propositional variable) evaluates to either true or false, and atomic evaluations can cause a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.02142","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":""},"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-18T00:04:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0cCvcbcXeSNkmmkWpZiL31gdoBNnPI7D6GyjIRM/+SVsUNzcmfgNZkNSRSTXNMXSOnFNDJFdCLGLH7kSSZBEDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T15:24:24.238359Z"},"content_sha256":"619e1590b68bc069bbb3eb071e7a100903e7d6736b282ad4b0a335925724b7f6","schema_version":"1.0","event_id":"sha256:619e1590b68bc069bbb3eb071e7a100903e7d6736b282ad4b0a335925724b7f6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FYHBYSQMGSOXMRQTD4DE5CB5YV/bundle.json","state_url":"https://pith.science/pith/FYHBYSQMGSOXMRQTD4DE5CB5YV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FYHBYSQMGSOXMRQTD4DE5CB5YV/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-06-01T15:24:24Z","links":{"resolver":"https://pith.science/pith/FYHBYSQMGSOXMRQTD4DE5CB5YV","bundle":"https://pith.science/pith/FYHBYSQMGSOXMRQTD4DE5CB5YV/bundle.json","state":"https://pith.science/pith/FYHBYSQMGSOXMRQTD4DE5CB5YV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FYHBYSQMGSOXMRQTD4DE5CB5YV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:FYHBYSQMGSOXMRQTD4DE5CB5YV","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":"632cf14017831da0f10fadf98ecd5f1ccc7b844b22ba98f4b2b31d2e5dadfc65","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-04T10:42:37Z","title_canon_sha256":"8416c0e4b78ae98f2fa350a8157a2a56ad08a5b87bb0a0fd822358fea2b69428"},"schema_version":"1.0","source":{"id":"1810.02142","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.02142","created_at":"2026-05-18T00:04:06Z"},{"alias_kind":"arxiv_version","alias_value":"1810.02142v1","created_at":"2026-05-18T00:04:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.02142","created_at":"2026-05-18T00:04:06Z"},{"alias_kind":"pith_short_12","alias_value":"FYHBYSQMGSOX","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_16","alias_value":"FYHBYSQMGSOXMRQT","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_8","alias_value":"FYHBYSQM","created_at":"2026-05-18T12:32:25Z"}],"graph_snapshots":[{"event_id":"sha256:619e1590b68bc069bbb3eb071e7a100903e7d6736b282ad4b0a335925724b7f6","target":"graph","created_at":"2026-05-18T00:04:06Z","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"},"paper":{"abstract_excerpt":"Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression. Short-circuit evaluation is widely used in programming, with sequential conjunction and disjunction as primitive connectives.\n  We study the question which logical laws axiomatize short-circuit evaluation under the following assumptions: compound statements are evaluated from left to right, each atom (propositional variable) evaluates to either true or false, and atomic evaluations can cause a","authors_text":"Alban Ponse, Daan J.C. Staudt, Jan A. Bergstra","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-04T10:42:37Z","title":"Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.02142","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:3886b6d50715f70ce583c64e09e0c1b65621fa483647697eaa9eeb94294f4eb1","target":"record","created_at":"2026-05-18T00:04:06Z","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":"632cf14017831da0f10fadf98ecd5f1ccc7b844b22ba98f4b2b31d2e5dadfc65","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-04T10:42:37Z","title_canon_sha256":"8416c0e4b78ae98f2fa350a8157a2a56ad08a5b87bb0a0fd822358fea2b69428"},"schema_version":"1.0","source":{"id":"1810.02142","kind":"arxiv","version":1}},"canonical_sha256":"2e0e1c4a0c349d7646131f064e883dc57cc61543b832855281f97ceaac08fe49","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2e0e1c4a0c349d7646131f064e883dc57cc61543b832855281f97ceaac08fe49","first_computed_at":"2026-05-18T00:04:06.113727Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:04:06.113727Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lQJgTnioSai7J8l+IqMXaTYd1oFHkvpKwMxoJiFuS9MjiIqb20OK4viE2S2i0rvSgr8XeWNgDxQm0G6HmlZHBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:04:06.114435Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.02142","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3886b6d50715f70ce583c64e09e0c1b65621fa483647697eaa9eeb94294f4eb1","sha256:619e1590b68bc069bbb3eb071e7a100903e7d6736b282ad4b0a335925724b7f6"],"state_sha256":"7bd9a93cb5b8d2af6d970efa4ab5a16afd20f37ae6b0594cec7a531737b41422"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c8sIgOjShVdip/AEZ+CPwePouFUnGUZJkcwXhZGbO9/jSI1HcG+sz0q+HL+3IM05X39ukUem4K2BiEznUyJzDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T15:24:24.241688Z","bundle_sha256":"8dc35f5e409b8aa51eb9e697c45e7f72bb6bac87f3cb82ead28bde333cfb8948"}}