{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:XQRJ4IR26WNDINOSE5CNL7W7KK","short_pith_number":"pith:XQRJ4IR2","canonical_record":{"source":{"id":"2509.10694","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-09-12T21:14:29Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"2dff09170098605bae8f1fe6dd1c28cf8815013026530be9d0e9a8bb2cbb3f9e","abstract_canon_sha256":"d14483b51bf35376d791b0748abd9e08307e70b197aace12f3e48d6e0ea6733b"},"schema_version":"1.0"},"canonical_sha256":"bc229e223af59a3435d22744d5fedf52a3ee5ada529f43cf534fb7ff708ae149","source":{"kind":"arxiv","id":"2509.10694","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.10694","created_at":"2026-07-05T12:11:26Z"},{"alias_kind":"arxiv_version","alias_value":"2509.10694v1","created_at":"2026-07-05T12:11:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.10694","created_at":"2026-07-05T12:11:26Z"},{"alias_kind":"pith_short_12","alias_value":"XQRJ4IR26WND","created_at":"2026-07-05T12:11:26Z"},{"alias_kind":"pith_short_16","alias_value":"XQRJ4IR26WNDINOS","created_at":"2026-07-05T12:11:26Z"},{"alias_kind":"pith_short_8","alias_value":"XQRJ4IR2","created_at":"2026-07-05T12:11:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:XQRJ4IR26WNDINOSE5CNL7W7KK","target":"record","payload":{"canonical_record":{"source":{"id":"2509.10694","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-09-12T21:14:29Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"2dff09170098605bae8f1fe6dd1c28cf8815013026530be9d0e9a8bb2cbb3f9e","abstract_canon_sha256":"d14483b51bf35376d791b0748abd9e08307e70b197aace12f3e48d6e0ea6733b"},"schema_version":"1.0"},"canonical_sha256":"bc229e223af59a3435d22744d5fedf52a3ee5ada529f43cf534fb7ff708ae149","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:11:26.018241Z","signature_b64":"Px+g28WFLEgXGU0aUYPaj55gqQjhocmR/7DYb98j1idsPd6AqQiV2zZyIHZfW8da2D6odABQYRGYEl2ShtRyBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bc229e223af59a3435d22744d5fedf52a3ee5ada529f43cf534fb7ff708ae149","last_reissued_at":"2026-07-05T12:11:26.017790Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:11:26.017790Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.10694","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-05T12:11:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BThJ61Egq6AfhQpH5oIVnYB/ljGzYCu0KGwNfyyIAWpww5LZQ3fWQq7TA4WICv6dVODsJmnh1DtVKJtq5JWDAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T00:43:41.506176Z"},"content_sha256":"dcd99f4a26e6cbcf74a66244f6ca0596a90b15e53838d9c57206a7e9698224af","schema_version":"1.0","event_id":"sha256:dcd99f4a26e6cbcf74a66244f6ca0596a90b15e53838d9c57206a7e9698224af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:XQRJ4IR26WNDINOSE5CNL7W7KK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LG","authors_text":"Chang Lou, Kahfi S. Zulkifli, Shaowei Zhu, Wenbo Qian, Yuan Zhou, Zhen Zhang","submitted_at":"2025-09-12T21:14:29Z","abstract_excerpt":"Modern machine learning frameworks support very large models by incorporating parallelism and optimization techniques. Yet, these very techniques add new layers of complexity, introducing silent errors that severely degrade model performance. Existing solutions are either ad hoc or too costly for production.\n  We present Scalify, a lightweight framework that exposes silent errors by verifying semantic equivalence of computational graphs using equality saturation and Datalog-style reasoning. To scale, Scalify partitions graphs with parallel rewriting and layer memoization, reuses rewrite templa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.10694","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/2509.10694/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-05T12:11:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bjVRrJJW2NPSoUD51PFbXhYn6TLlGISXAqCdP7LjhfIlwcuxMyJ3jHCkRMX4j7OY7hbP+mCr0pf5K0fSdzNfCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T00:43:41.506567Z"},"content_sha256":"d2cef8e42ab5de2cf1a37cadc614654bc26c6f8d2ea10f4867dfa905f5ad0540","schema_version":"1.0","event_id":"sha256:d2cef8e42ab5de2cf1a37cadc614654bc26c6f8d2ea10f4867dfa905f5ad0540"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XQRJ4IR26WNDINOSE5CNL7W7KK/bundle.json","state_url":"https://pith.science/pith/XQRJ4IR26WNDINOSE5CNL7W7KK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XQRJ4IR26WNDINOSE5CNL7W7KK/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-08-19T00:43:41Z","links":{"resolver":"https://pith.science/pith/XQRJ4IR26WNDINOSE5CNL7W7KK","bundle":"https://pith.science/pith/XQRJ4IR26WNDINOSE5CNL7W7KK/bundle.json","state":"https://pith.science/pith/XQRJ4IR26WNDINOSE5CNL7W7KK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XQRJ4IR26WNDINOSE5CNL7W7KK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:XQRJ4IR26WNDINOSE5CNL7W7KK","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":"d14483b51bf35376d791b0748abd9e08307e70b197aace12f3e48d6e0ea6733b","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-09-12T21:14:29Z","title_canon_sha256":"2dff09170098605bae8f1fe6dd1c28cf8815013026530be9d0e9a8bb2cbb3f9e"},"schema_version":"1.0","source":{"id":"2509.10694","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.10694","created_at":"2026-07-05T12:11:26Z"},{"alias_kind":"arxiv_version","alias_value":"2509.10694v1","created_at":"2026-07-05T12:11:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.10694","created_at":"2026-07-05T12:11:26Z"},{"alias_kind":"pith_short_12","alias_value":"XQRJ4IR26WND","created_at":"2026-07-05T12:11:26Z"},{"alias_kind":"pith_short_16","alias_value":"XQRJ4IR26WNDINOS","created_at":"2026-07-05T12:11:26Z"},{"alias_kind":"pith_short_8","alias_value":"XQRJ4IR2","created_at":"2026-07-05T12:11:26Z"}],"graph_snapshots":[{"event_id":"sha256:d2cef8e42ab5de2cf1a37cadc614654bc26c6f8d2ea10f4867dfa905f5ad0540","target":"graph","created_at":"2026-07-05T12:11:26Z","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/2509.10694/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modern machine learning frameworks support very large models by incorporating parallelism and optimization techniques. Yet, these very techniques add new layers of complexity, introducing silent errors that severely degrade model performance. Existing solutions are either ad hoc or too costly for production.\n  We present Scalify, a lightweight framework that exposes silent errors by verifying semantic equivalence of computational graphs using equality saturation and Datalog-style reasoning. To scale, Scalify partitions graphs with parallel rewriting and layer memoization, reuses rewrite templa","authors_text":"Chang Lou, Kahfi S. Zulkifli, Shaowei Zhu, Wenbo Qian, Yuan Zhou, Zhen Zhang","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.10694","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:dcd99f4a26e6cbcf74a66244f6ca0596a90b15e53838d9c57206a7e9698224af","target":"record","created_at":"2026-07-05T12:11:26Z","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":"d14483b51bf35376d791b0748abd9e08307e70b197aace12f3e48d6e0ea6733b","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-09-12T21:14:29Z","title_canon_sha256":"2dff09170098605bae8f1fe6dd1c28cf8815013026530be9d0e9a8bb2cbb3f9e"},"schema_version":"1.0","source":{"id":"2509.10694","kind":"arxiv","version":1}},"canonical_sha256":"bc229e223af59a3435d22744d5fedf52a3ee5ada529f43cf534fb7ff708ae149","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc229e223af59a3435d22744d5fedf52a3ee5ada529f43cf534fb7ff708ae149","first_computed_at":"2026-07-05T12:11:26.017790Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:11:26.017790Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Px+g28WFLEgXGU0aUYPaj55gqQjhocmR/7DYb98j1idsPd6AqQiV2zZyIHZfW8da2D6odABQYRGYEl2ShtRyBg==","signature_status":"signed_v1","signed_at":"2026-07-05T12:11:26.018241Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.10694","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dcd99f4a26e6cbcf74a66244f6ca0596a90b15e53838d9c57206a7e9698224af","sha256:d2cef8e42ab5de2cf1a37cadc614654bc26c6f8d2ea10f4867dfa905f5ad0540"],"state_sha256":"d20688fcfcf621d1718204957d32c9ed8450b0ca94808542c0ec8ac23b7eeaa1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GrdcoF6FAqFngdnbRFa59cpMMskp/EOJylK9L0uXT4NOquMjnC23ftNKShyCXTiNEaiIo25Zlzv/J7PwtOINBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T00:43:41.510048Z","bundle_sha256":"d79177c877318647acc87b50158d85a9a5cd510e44d49c0e60d3f3bd257a4d28"}}