{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:SZ6RZDGT5EGKPIJTPNOTIVV3S4","short_pith_number":"pith:SZ6RZDGT","schema_version":"1.0","canonical_sha256":"967d1c8cd3e90ca7a1337b5d3456bb971c677fc319f944e45bf7283cd6ada10e","source":{"kind":"arxiv","id":"2411.00197","version":2},"attestation_state":"computed","paper":{"title":"Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexandra Silva, James Li, Noam Zilberstein","submitted_at":"2024-10-31T20:28:01Z","abstract_excerpt":"While there is a long tradition of reasoning about (non)termination in program analysis, specialized logics are typically needed to give different termination criteria. This includes partial correctness, where termination is not guaranteed, and total correctness, where it is guaranteed. We present Total Outcome Logic (TOL), a single logic which can express the full spectrum of termination conditions and program properties offered by the aforementioned logics. TOL extends (non)termination and (in)correctness reasoning across different kinds of branching effects, so that a single metatheory powe"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2411.00197","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-10-31T20:28:01Z","cross_cats_sorted":[],"title_canon_sha256":"f692a66561a73cb8296479ee749ce865e53994fa7f3105949a180e8921ce0243","abstract_canon_sha256":"9fb7c23ec03aa98efc72dcc2de95b8c83f6bcda557f95ec5dbb1b1248367d1a3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:25:40.167565Z","signature_b64":"4+hq5Q4k3XlecLge8hkEu95y15gf21qiqH+t7Z+dta3dJAYoWJJ68R+WBGd5bIVsEkPgzBcMxh6r2tFPrieMBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"967d1c8cd3e90ca7a1337b5d3456bb971c677fc319f944e45bf7283cd6ada10e","last_reissued_at":"2026-07-05T11:25:40.167119Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:25:40.167119Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexandra Silva, James Li, Noam Zilberstein","submitted_at":"2024-10-31T20:28:01Z","abstract_excerpt":"While there is a long tradition of reasoning about (non)termination in program analysis, specialized logics are typically needed to give different termination criteria. This includes partial correctness, where termination is not guaranteed, and total correctness, where it is guaranteed. We present Total Outcome Logic (TOL), a single logic which can express the full spectrum of termination conditions and program properties offered by the aforementioned logics. TOL extends (non)termination and (in)correctness reasoning across different kinds of branching effects, so that a single metatheory powe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.00197","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/2411.00197/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2411.00197","created_at":"2026-07-05T11:25:40.167175+00:00"},{"alias_kind":"arxiv_version","alias_value":"2411.00197v2","created_at":"2026-07-05T11:25:40.167175+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.00197","created_at":"2026-07-05T11:25:40.167175+00:00"},{"alias_kind":"pith_short_12","alias_value":"SZ6RZDGT5EGK","created_at":"2026-07-05T11:25:40.167175+00:00"},{"alias_kind":"pith_short_16","alias_value":"SZ6RZDGT5EGKPIJT","created_at":"2026-07-05T11:25:40.167175+00:00"},{"alias_kind":"pith_short_8","alias_value":"SZ6RZDGT","created_at":"2026-07-05T11:25:40.167175+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SZ6RZDGT5EGKPIJTPNOTIVV3S4","json":"https://pith.science/pith/SZ6RZDGT5EGKPIJTPNOTIVV3S4.json","graph_json":"https://pith.science/api/pith-number/SZ6RZDGT5EGKPIJTPNOTIVV3S4/graph.json","events_json":"https://pith.science/api/pith-number/SZ6RZDGT5EGKPIJTPNOTIVV3S4/events.json","paper":"https://pith.science/paper/SZ6RZDGT"},"agent_actions":{"view_html":"https://pith.science/pith/SZ6RZDGT5EGKPIJTPNOTIVV3S4","download_json":"https://pith.science/pith/SZ6RZDGT5EGKPIJTPNOTIVV3S4.json","view_paper":"https://pith.science/paper/SZ6RZDGT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2411.00197&json=true","fetch_graph":"https://pith.science/api/pith-number/SZ6RZDGT5EGKPIJTPNOTIVV3S4/graph.json","fetch_events":"https://pith.science/api/pith-number/SZ6RZDGT5EGKPIJTPNOTIVV3S4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SZ6RZDGT5EGKPIJTPNOTIVV3S4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SZ6RZDGT5EGKPIJTPNOTIVV3S4/action/storage_attestation","attest_author":"https://pith.science/pith/SZ6RZDGT5EGKPIJTPNOTIVV3S4/action/author_attestation","sign_citation":"https://pith.science/pith/SZ6RZDGT5EGKPIJTPNOTIVV3S4/action/citation_signature","submit_replication":"https://pith.science/pith/SZ6RZDGT5EGKPIJTPNOTIVV3S4/action/replication_record"}},"created_at":"2026-07-05T11:25:40.167175+00:00","updated_at":"2026-07-05T11:25:40.167175+00:00"}