{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:JDTYE7IN7SWOPA6EAV4DMVYEXN","short_pith_number":"pith:JDTYE7IN","canonical_record":{"source":{"id":"1504.08321","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-30T18:03:35Z","cross_cats_sorted":[],"title_canon_sha256":"3ac49eda2f16a91206b83408172454d479f3c47551dc804b1971b866367e18e9","abstract_canon_sha256":"7faaf240f72fddc089b5da68cc5f4fa6a640adddaf2903180104786daf5722ad"},"schema_version":"1.0"},"canonical_sha256":"48e7827d0dfcace783c40578365704bb4255bc6a7ce541561b19107c5b0382b1","source":{"kind":"arxiv","id":"1504.08321","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.08321","created_at":"2026-05-18T00:36:41Z"},{"alias_kind":"arxiv_version","alias_value":"1504.08321v3","created_at":"2026-05-18T00:36:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.08321","created_at":"2026-05-18T00:36:41Z"},{"alias_kind":"pith_short_12","alias_value":"JDTYE7IN7SWO","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"JDTYE7IN7SWOPA6E","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"JDTYE7IN","created_at":"2026-05-18T12:29:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:JDTYE7IN7SWOPA6EAV4DMVYEXN","target":"record","payload":{"canonical_record":{"source":{"id":"1504.08321","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-30T18:03:35Z","cross_cats_sorted":[],"title_canon_sha256":"3ac49eda2f16a91206b83408172454d479f3c47551dc804b1971b866367e18e9","abstract_canon_sha256":"7faaf240f72fddc089b5da68cc5f4fa6a640adddaf2903180104786daf5722ad"},"schema_version":"1.0"},"canonical_sha256":"48e7827d0dfcace783c40578365704bb4255bc6a7ce541561b19107c5b0382b1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:36:41.687642Z","signature_b64":"q62eKScEsgzuIN+9YPrKWEPeVaQLzbxrMUitA0nqVZM5oOo9sEIKQoNfTWSakGVGQ8SrL2SM5rHMJ7cUXa9OBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"48e7827d0dfcace783c40578365704bb4255bc6a7ce541561b19107c5b0382b1","last_reissued_at":"2026-05-18T00:36:41.686935Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:36:41.686935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.08321","source_version":3,"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:36:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Aes10xKQzf3AbeH83KyqivDVT7jwfHwkU1561GWwN+tBf+W5tPGgYxfIN8QIq61NB+y9yHg2GjIkZ14ajHvuAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T16:53:46.215050Z"},"content_sha256":"e27a64ad7f7b2e8d5a9b851964ca840064d9d5dc5390e0f2967d7de5d3f27fc1","schema_version":"1.0","event_id":"sha256:e27a64ad7f7b2e8d5a9b851964ca840064d9d5dc5390e0f2967d7de5d3f27fc1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:JDTYE7IN7SWOPA6EAV4DMVYEXN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Evaluation trees for proposition algebra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alban Ponse, Jan A. Bergstra","submitted_at":"2015-04-30T18:03:35Z","abstract_excerpt":"Proposition algebra is based on Hoare's conditional connective, which is a ternary connective comparable to if-then-else and used in the setting of propositional logic. Conditional statements are provided with a simple semantics that is based on evaluation trees and that characterizes so-called free valuation congruence: two conditional statements are free valuation congruent if, and only if, they have equal evaluation trees. Free valuation congruence is axiomatized by the four basic equational axioms of proposition algebra that define the conditional connective. Valuation congruences that ide"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.08321","kind":"arxiv","version":3},"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:36:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RkAzJZtJGAY7s5uPbQtnlS9v6gga218a0Qzlv2HZKSXYvki60KOAefdcZv0UCw3F0f5QVqIvOhTI8k+Li6WHCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T16:53:46.215441Z"},"content_sha256":"ef303fbbf186c6cbc88e6420e47a4029aea472673ff6d1ebe64f8453da43d04b","schema_version":"1.0","event_id":"sha256:ef303fbbf186c6cbc88e6420e47a4029aea472673ff6d1ebe64f8453da43d04b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JDTYE7IN7SWOPA6EAV4DMVYEXN/bundle.json","state_url":"https://pith.science/pith/JDTYE7IN7SWOPA6EAV4DMVYEXN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JDTYE7IN7SWOPA6EAV4DMVYEXN/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-01T16:53:46Z","links":{"resolver":"https://pith.science/pith/JDTYE7IN7SWOPA6EAV4DMVYEXN","bundle":"https://pith.science/pith/JDTYE7IN7SWOPA6EAV4DMVYEXN/bundle.json","state":"https://pith.science/pith/JDTYE7IN7SWOPA6EAV4DMVYEXN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JDTYE7IN7SWOPA6EAV4DMVYEXN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:JDTYE7IN7SWOPA6EAV4DMVYEXN","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":"7faaf240f72fddc089b5da68cc5f4fa6a640adddaf2903180104786daf5722ad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-30T18:03:35Z","title_canon_sha256":"3ac49eda2f16a91206b83408172454d479f3c47551dc804b1971b866367e18e9"},"schema_version":"1.0","source":{"id":"1504.08321","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.08321","created_at":"2026-05-18T00:36:41Z"},{"alias_kind":"arxiv_version","alias_value":"1504.08321v3","created_at":"2026-05-18T00:36:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.08321","created_at":"2026-05-18T00:36:41Z"},{"alias_kind":"pith_short_12","alias_value":"JDTYE7IN7SWO","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"JDTYE7IN7SWOPA6E","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"JDTYE7IN","created_at":"2026-05-18T12:29:27Z"}],"graph_snapshots":[{"event_id":"sha256:ef303fbbf186c6cbc88e6420e47a4029aea472673ff6d1ebe64f8453da43d04b","target":"graph","created_at":"2026-05-18T00:36:41Z","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":"Proposition algebra is based on Hoare's conditional connective, which is a ternary connective comparable to if-then-else and used in the setting of propositional logic. Conditional statements are provided with a simple semantics that is based on evaluation trees and that characterizes so-called free valuation congruence: two conditional statements are free valuation congruent if, and only if, they have equal evaluation trees. Free valuation congruence is axiomatized by the four basic equational axioms of proposition algebra that define the conditional connective. Valuation congruences that ide","authors_text":"Alban Ponse, Jan A. Bergstra","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-30T18:03:35Z","title":"Evaluation trees for proposition algebra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.08321","kind":"arxiv","version":3},"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:e27a64ad7f7b2e8d5a9b851964ca840064d9d5dc5390e0f2967d7de5d3f27fc1","target":"record","created_at":"2026-05-18T00:36:41Z","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":"7faaf240f72fddc089b5da68cc5f4fa6a640adddaf2903180104786daf5722ad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-30T18:03:35Z","title_canon_sha256":"3ac49eda2f16a91206b83408172454d479f3c47551dc804b1971b866367e18e9"},"schema_version":"1.0","source":{"id":"1504.08321","kind":"arxiv","version":3}},"canonical_sha256":"48e7827d0dfcace783c40578365704bb4255bc6a7ce541561b19107c5b0382b1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"48e7827d0dfcace783c40578365704bb4255bc6a7ce541561b19107c5b0382b1","first_computed_at":"2026-05-18T00:36:41.686935Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:36:41.686935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"q62eKScEsgzuIN+9YPrKWEPeVaQLzbxrMUitA0nqVZM5oOo9sEIKQoNfTWSakGVGQ8SrL2SM5rHMJ7cUXa9OBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:36:41.687642Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.08321","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e27a64ad7f7b2e8d5a9b851964ca840064d9d5dc5390e0f2967d7de5d3f27fc1","sha256:ef303fbbf186c6cbc88e6420e47a4029aea472673ff6d1ebe64f8453da43d04b"],"state_sha256":"bc7f9e3188279907a4b4d8ba3af4bc13630ce94b8fab9ebff69c33fd36800195"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"owL4+oloItvu4kA2ru0nw24LBLuVgyAXNtG3TiwJYBxGe8gSy3Ii4OKu/0umPiEgAsy4U5pUdOhXZYVTrAWXCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T16:53:46.217448Z","bundle_sha256":"4563d7777319bbe9f17f50c8e66548dcf3a2d0d0335028fa99a047284ad491fe"}}