{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:L4NUSEM7SRTIIXOHUSK453OTAX","short_pith_number":"pith:L4NUSEM7","canonical_record":{"source":{"id":"2203.15653","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-29T15:11:04Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"6dbbf3b50bc3902ecad957fa6101e2229d5c5a24b9e08f742a2ef64def9a8c75","abstract_canon_sha256":"cbf504422ff5cd212deb1e9e28c2f533f59d6c2297760436c2f309c51af9c6d2"},"schema_version":"1.0"},"canonical_sha256":"5f1b49119f9466845dc7a495ceedd305f3ad54dc47b77bc6ad9baff12a1d6590","source":{"kind":"arxiv","id":"2203.15653","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.15653","created_at":"2026-07-05T04:09:28Z"},{"alias_kind":"arxiv_version","alias_value":"2203.15653v1","created_at":"2026-07-05T04:09:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.15653","created_at":"2026-07-05T04:09:28Z"},{"alias_kind":"pith_short_12","alias_value":"L4NUSEM7SRTI","created_at":"2026-07-05T04:09:28Z"},{"alias_kind":"pith_short_16","alias_value":"L4NUSEM7SRTIIXOH","created_at":"2026-07-05T04:09:28Z"},{"alias_kind":"pith_short_8","alias_value":"L4NUSEM7","created_at":"2026-07-05T04:09:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:L4NUSEM7SRTIIXOHUSK453OTAX","target":"record","payload":{"canonical_record":{"source":{"id":"2203.15653","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-29T15:11:04Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"6dbbf3b50bc3902ecad957fa6101e2229d5c5a24b9e08f742a2ef64def9a8c75","abstract_canon_sha256":"cbf504422ff5cd212deb1e9e28c2f533f59d6c2297760436c2f309c51af9c6d2"},"schema_version":"1.0"},"canonical_sha256":"5f1b49119f9466845dc7a495ceedd305f3ad54dc47b77bc6ad9baff12a1d6590","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:09:28.728027Z","signature_b64":"vwsL0ehOX+023IcGBiOzts7bxucJIs48clkmyg3HYH47jf62rOxVE0wgutbab3lrZhuTd+BohE5np4LbC9P7Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5f1b49119f9466845dc7a495ceedd305f3ad54dc47b77bc6ad9baff12a1d6590","last_reissued_at":"2026-07-05T04:09:28.727608Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:09:28.727608Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2203.15653","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-05T04:09:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q0V1iSFA2RJrSSLcubPwwXoBR0VcL6T+D5xjiwrqcYDBX9x4ZOXtKyONjqBjQ9YHvn7dmeKOXi9lLvm2f332Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T22:29:40.201229Z"},"content_sha256":"c9e5abb54ed42ae33a2cf8ac333907d8237b3d1e6523287d615df95ba0dfe3e6","schema_version":"1.0","event_id":"sha256:c9e5abb54ed42ae33a2cf8ac333907d8237b3d1e6523287d615df95ba0dfe3e6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:L4NUSEM7SRTIIXOHUSK453OTAX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards the Future: Bring Program Correctness back to the focus","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Chongyi Yuan, Lijie Wen, Xiongliang Yan","submitted_at":"2022-03-29T15:11:04Z","abstract_excerpt":"Program correctness used to be the main concern of computer software in the early days when formal semantics was a hot topic. But, the word \"correct\" was afterwards replaced by reliable, robust and trustworthy etc., a tradeoff situation then. This is not because correctness is no longer important, but because people found no way to get through in this direction. The tradeoff has led software engineers to focus on techniques and testing tools. Rapid development of software engineering has now reached a peak and programmers are now working freely without worrying too much about bugs, since bugs "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.15653","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/2203.15653/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-05T04:09:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0OjflR05HSTACrPfQCzHt1nnx+Kk2dZ2GW15paMDcJpK9u6c9DuqtGa6VHR3bUNSykewRk/xvOyMFhiG171YDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T22:29:40.201763Z"},"content_sha256":"59ab667036039996492e080fd98e2c4e03b0a8c3a2fd1e728db645bb47f0eb9d","schema_version":"1.0","event_id":"sha256:59ab667036039996492e080fd98e2c4e03b0a8c3a2fd1e728db645bb47f0eb9d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L4NUSEM7SRTIIXOHUSK453OTAX/bundle.json","state_url":"https://pith.science/pith/L4NUSEM7SRTIIXOHUSK453OTAX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L4NUSEM7SRTIIXOHUSK453OTAX/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-07-31T22:29:40Z","links":{"resolver":"https://pith.science/pith/L4NUSEM7SRTIIXOHUSK453OTAX","bundle":"https://pith.science/pith/L4NUSEM7SRTIIXOHUSK453OTAX/bundle.json","state":"https://pith.science/pith/L4NUSEM7SRTIIXOHUSK453OTAX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L4NUSEM7SRTIIXOHUSK453OTAX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:L4NUSEM7SRTIIXOHUSK453OTAX","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":"cbf504422ff5cd212deb1e9e28c2f533f59d6c2297760436c2f309c51af9c6d2","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-29T15:11:04Z","title_canon_sha256":"6dbbf3b50bc3902ecad957fa6101e2229d5c5a24b9e08f742a2ef64def9a8c75"},"schema_version":"1.0","source":{"id":"2203.15653","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.15653","created_at":"2026-07-05T04:09:28Z"},{"alias_kind":"arxiv_version","alias_value":"2203.15653v1","created_at":"2026-07-05T04:09:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.15653","created_at":"2026-07-05T04:09:28Z"},{"alias_kind":"pith_short_12","alias_value":"L4NUSEM7SRTI","created_at":"2026-07-05T04:09:28Z"},{"alias_kind":"pith_short_16","alias_value":"L4NUSEM7SRTIIXOH","created_at":"2026-07-05T04:09:28Z"},{"alias_kind":"pith_short_8","alias_value":"L4NUSEM7","created_at":"2026-07-05T04:09:28Z"}],"graph_snapshots":[{"event_id":"sha256:59ab667036039996492e080fd98e2c4e03b0a8c3a2fd1e728db645bb47f0eb9d","target":"graph","created_at":"2026-07-05T04:09:28Z","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/2203.15653/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Program correctness used to be the main concern of computer software in the early days when formal semantics was a hot topic. But, the word \"correct\" was afterwards replaced by reliable, robust and trustworthy etc., a tradeoff situation then. This is not because correctness is no longer important, but because people found no way to get through in this direction. The tradeoff has led software engineers to focus on techniques and testing tools. Rapid development of software engineering has now reached a peak and programmers are now working freely without worrying too much about bugs, since bugs ","authors_text":"Chongyi Yuan, Lijie Wen, Xiongliang Yan","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-29T15:11:04Z","title":"Towards the Future: Bring Program Correctness back to the focus"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.15653","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:c9e5abb54ed42ae33a2cf8ac333907d8237b3d1e6523287d615df95ba0dfe3e6","target":"record","created_at":"2026-07-05T04:09:28Z","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":"cbf504422ff5cd212deb1e9e28c2f533f59d6c2297760436c2f309c51af9c6d2","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-29T15:11:04Z","title_canon_sha256":"6dbbf3b50bc3902ecad957fa6101e2229d5c5a24b9e08f742a2ef64def9a8c75"},"schema_version":"1.0","source":{"id":"2203.15653","kind":"arxiv","version":1}},"canonical_sha256":"5f1b49119f9466845dc7a495ceedd305f3ad54dc47b77bc6ad9baff12a1d6590","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5f1b49119f9466845dc7a495ceedd305f3ad54dc47b77bc6ad9baff12a1d6590","first_computed_at":"2026-07-05T04:09:28.727608Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:09:28.727608Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vwsL0ehOX+023IcGBiOzts7bxucJIs48clkmyg3HYH47jf62rOxVE0wgutbab3lrZhuTd+BohE5np4LbC9P7Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T04:09:28.728027Z","signed_message":"canonical_sha256_bytes"},"source_id":"2203.15653","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c9e5abb54ed42ae33a2cf8ac333907d8237b3d1e6523287d615df95ba0dfe3e6","sha256:59ab667036039996492e080fd98e2c4e03b0a8c3a2fd1e728db645bb47f0eb9d"],"state_sha256":"27e93cf8d38283a975a5d82f7e57c2ff8bb4da9ea515f96af2acd21617ce5f14"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/BmyA/wvveE+NL3QuygjLZPKhTkcD6kksOJ3+5T4grXYhXpPS1UHitLUUDxnZl8QxLKOAH49iQWBK9w5EePSDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-31T22:29:40.206864Z","bundle_sha256":"1762212798dd1cdd008567934551c681c3ab0c3cb12d79c5d65a5b0efc52d18d"}}