{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:IYFBCCJBPUJXJFGTQUUTCSNPE6","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":"407895b58010ff5f6b698cff0df2abdb98429a9cef48473118361da594de5eb7","cross_cats_sorted":["cs.NA","math.NA","physics.comp-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-03-18T04:08:07Z","title_canon_sha256":"c5371074524a7781f8753e266c2be748933bee825e0b8e9e6e0a056daf9fe7b3"},"schema_version":"1.0","source":{"id":"2503.13877","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.13877","created_at":"2026-07-05T10:33:20Z"},{"alias_kind":"arxiv_version","alias_value":"2503.13877v1","created_at":"2026-07-05T10:33:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.13877","created_at":"2026-07-05T10:33:20Z"},{"alias_kind":"pith_short_12","alias_value":"IYFBCCJBPUJX","created_at":"2026-07-05T10:33:20Z"},{"alias_kind":"pith_short_16","alias_value":"IYFBCCJBPUJXJFGT","created_at":"2026-07-05T10:33:20Z"},{"alias_kind":"pith_short_8","alias_value":"IYFBCCJB","created_at":"2026-07-05T10:33:20Z"}],"graph_snapshots":[{"event_id":"sha256:ecdd48dc3bb067670198a1a7dec4acf8812d3342c7178fd0f1ffa7be269d9920","target":"graph","created_at":"2026-07-05T10:33:20Z","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/2503.13877/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"First-order systems of hyperbolic partial differential equations (PDEs) occur ubiquitously throughout computational physics, commonly used in simulations of fluid turbulence, shock waves, electromagnetic interactions, and even general relativistic phenomena. Such equations are often challenging to solve numerically in the non-linear case, due to their tendency to form discontinuities even for smooth initial data, which can cause numerical algorithms to become unstable, violate conservation laws, or converge to physically incorrect solutions. In this paper, we introduce a new formal verificatio","authors_text":"Ammar Hakim, Jonathan Gorard","cross_cats":["cs.NA","math.NA","physics.comp-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-03-18T04:08:07Z","title":"Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.13877","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:8392c965bc3d255d52d6d8531ee7fcbe85aef9c4b9cd86e1a59addfc967435ed","target":"record","created_at":"2026-07-05T10:33:20Z","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":"407895b58010ff5f6b698cff0df2abdb98429a9cef48473118361da594de5eb7","cross_cats_sorted":["cs.NA","math.NA","physics.comp-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-03-18T04:08:07Z","title_canon_sha256":"c5371074524a7781f8753e266c2be748933bee825e0b8e9e6e0a056daf9fe7b3"},"schema_version":"1.0","source":{"id":"2503.13877","kind":"arxiv","version":1}},"canonical_sha256":"460a1109217d137494d385293149af27b53331d3479b32d15312e889bb5d8f70","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"460a1109217d137494d385293149af27b53331d3479b32d15312e889bb5d8f70","first_computed_at":"2026-07-05T10:33:20.289653Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:33:20.289653Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eeRHnybUNh8xSEnY5FcbM4DookZAq/foo9IWtvy8L1CAfDkeFTo3K6RBDkhdHjzuxQuxiM81bzQUGFFgHoGBDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:33:20.290107Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.13877","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8392c965bc3d255d52d6d8531ee7fcbe85aef9c4b9cd86e1a59addfc967435ed","sha256:ecdd48dc3bb067670198a1a7dec4acf8812d3342c7178fd0f1ffa7be269d9920"],"state_sha256":"0583f413bfeb66f432ab2d4249eb2ee0b027eea49cf36f3e44ac2dd903aaf6c7"}