{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:OPBFNWY46IMPIWNOMN5UAAKBAX","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":"1ce80d9edd7876453e2c301db28efdfc10a372645752ce5948befb6e44d627ac","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2026-07-31T11:21:21Z","title_canon_sha256":"2a32d9118de2994da729989de632b748205aac33e2c3d6a7311b6b6982a64c18"},"schema_version":"1.0","source":{"id":"2607.29303","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.29303","created_at":"2026-08-03T01:24:13Z"},{"alias_kind":"arxiv_version","alias_value":"2607.29303v1","created_at":"2026-08-03T01:24:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.29303","created_at":"2026-08-03T01:24:13Z"},{"alias_kind":"pith_short_12","alias_value":"OPBFNWY46IMP","created_at":"2026-08-03T01:24:13Z"},{"alias_kind":"pith_short_16","alias_value":"OPBFNWY46IMPIWNO","created_at":"2026-08-03T01:24:13Z"},{"alias_kind":"pith_short_8","alias_value":"OPBFNWY4","created_at":"2026-08-03T01:24:13Z"}],"graph_snapshots":[{"event_id":"sha256:7557150ba57c60a3eb219b5c794ea75e60e636ec016a6c88cc49cb75ecd43618","target":"graph","created_at":"2026-08-03T01:24: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/2607.29303/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Correctness checking tools for High-Performance Computing programs are typically limited to specific parallel programming models such as MPI or OpenSHMEM. The CoVer framework previously addressed this by introducing a generic, contract-based approach that decoupled API requirements from the core tool. However, CoVer's effectiveness remains bounded by the expressiveness of its underlying contract language, restricting the types of errors it can verify. This paper presents an extension to the CoVer contract language designed to capture and check a broader range of error classes. Our extensions i","authors_text":"Christian Bischof, Yussur Mustafa Oraji","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.29303","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:9dfd0e6612d96bca9980f416f8517513362794586d6ef6eca116d9ac5ab08751","target":"record","created_at":"2026-08-03T01:24: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":"1ce80d9edd7876453e2c301db28efdfc10a372645752ce5948befb6e44d627ac","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2026-07-31T11:21:21Z","title_canon_sha256":"2a32d9118de2994da729989de632b748205aac33e2c3d6a7311b6b6982a64c18"},"schema_version":"1.0","source":{"id":"2607.29303","kind":"arxiv","version":1}},"canonical_sha256":"73c256db1cf218f459ae637b40014105ebd744068b06a2dad3cac1c4ffaed7ad","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73c256db1cf218f459ae637b40014105ebd744068b06a2dad3cac1c4ffaed7ad","first_computed_at":"2026-08-03T01:24:13.306752Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-03T01:24:13.306752Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"suNszIskbFzb7Ubcw4UM96qFHTr4RXbhnZt+rxoTkVkuY3dZHNrT49zQPn7RJuM0XoHHMSxtAfcH1zoFOQ7NCw==","signature_status":"signed_v1","signed_at":"2026-08-03T01:24:13.308199Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.29303","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9dfd0e6612d96bca9980f416f8517513362794586d6ef6eca116d9ac5ab08751","sha256:7557150ba57c60a3eb219b5c794ea75e60e636ec016a6c88cc49cb75ecd43618"],"state_sha256":"0ad95bbb8922e0225fb3d63432c0b921c57932012f5ec35b9ae4e39796b4d253"}