{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:JND5C53RH6Q3MNH4J5VCBKLGEC","short_pith_number":"pith:JND5C53R","canonical_record":{"source":{"id":"2308.16180","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-30T17:57:37Z","cross_cats_sorted":[],"title_canon_sha256":"0f9fc3c6567e5098c4f9a2968dae02bcba79230415a69d4c984d108c4aa154aa","abstract_canon_sha256":"83786834456722338186902744785e8d8c852c3813f456143e0dd6593b61f680"},"schema_version":"1.0"},"canonical_sha256":"4b47d177713fa1b634fc4f6a20a966209d977e11162de232097b7fe5af744161","source":{"kind":"arxiv","id":"2308.16180","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.16180","created_at":"2026-07-05T08:20:07Z"},{"alias_kind":"arxiv_version","alias_value":"2308.16180v1","created_at":"2026-07-05T08:20:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.16180","created_at":"2026-07-05T08:20:07Z"},{"alias_kind":"pith_short_12","alias_value":"JND5C53RH6Q3","created_at":"2026-07-05T08:20:07Z"},{"alias_kind":"pith_short_16","alias_value":"JND5C53RH6Q3MNH4","created_at":"2026-07-05T08:20:07Z"},{"alias_kind":"pith_short_8","alias_value":"JND5C53R","created_at":"2026-07-05T08:20:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:JND5C53RH6Q3MNH4J5VCBKLGEC","target":"record","payload":{"canonical_record":{"source":{"id":"2308.16180","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-30T17:57:37Z","cross_cats_sorted":[],"title_canon_sha256":"0f9fc3c6567e5098c4f9a2968dae02bcba79230415a69d4c984d108c4aa154aa","abstract_canon_sha256":"83786834456722338186902744785e8d8c852c3813f456143e0dd6593b61f680"},"schema_version":"1.0"},"canonical_sha256":"4b47d177713fa1b634fc4f6a20a966209d977e11162de232097b7fe5af744161","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:20:07.704633Z","signature_b64":"rJkV47cSJUk4+K0EZ+03m2q/F5u6qUpKjUqnS50RHv4oYckY4xgFmUGPEl9zGhL+V6QutGYfiLg5QkE3Gf3XBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4b47d177713fa1b634fc4f6a20a966209d977e11162de232097b7fe5af744161","last_reissued_at":"2026-07-05T08:20:07.704123Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:20:07.704123Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2308.16180","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-05T08:20:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QjSfnFfsD4ovr8y5NmOQntykxMK0VecdfVtQiOkHdJsLDONuVU0Udt/XtRRQunbo4o4psArxr5OOyMULGjzPDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T14:52:50.876471Z"},"content_sha256":"456077ad85acd822bee36acbbd14ff0548ee28c719c2531ac09d8bbe3b00a741","schema_version":"1.0","event_id":"sha256:456077ad85acd822bee36acbbd14ff0548ee28c719c2531ac09d8bbe3b00a741"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:JND5C53RH6Q3MNH4J5VCBKLGEC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Framework and Methodology for Verification of a Complex Scientific Simulation Software, Flash-X","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Akash Dhruv, Anshu Dubey, Jared O'Neal, Klaus Weide, Rajeev Jain","submitted_at":"2023-08-30T17:57:37Z","abstract_excerpt":"Computational science relies on scientific software as its primary instrument for scientific discovery. Therefore, similar to the use of other types of scientific instruments, correct software and the correct operation of the software is necessary for executing rigorous scientific investigations. Scientific software verification can be especially difficult, as users typically need to modify the software as part of a scientific study. Systematic methodologies for building test suites for scientific software are rare in the literature. Here, we describe a methodology that we have developed for F"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.16180","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/2308.16180/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-05T08:20:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JIIeSUeEb/PF8Cf0lvy8Keb/NHKqanhSEf6el8efyNNzuPfytEwpW+fxygf38WBi4vZgw1+uusXpypwJ7GcGDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T14:52:50.876834Z"},"content_sha256":"0512c01bd9e957b8b0d98069a9dfe454a2b772536c35fadd4ace60632344df59","schema_version":"1.0","event_id":"sha256:0512c01bd9e957b8b0d98069a9dfe454a2b772536c35fadd4ace60632344df59"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JND5C53RH6Q3MNH4J5VCBKLGEC/bundle.json","state_url":"https://pith.science/pith/JND5C53RH6Q3MNH4J5VCBKLGEC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JND5C53RH6Q3MNH4J5VCBKLGEC/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-06T14:52:50Z","links":{"resolver":"https://pith.science/pith/JND5C53RH6Q3MNH4J5VCBKLGEC","bundle":"https://pith.science/pith/JND5C53RH6Q3MNH4J5VCBKLGEC/bundle.json","state":"https://pith.science/pith/JND5C53RH6Q3MNH4J5VCBKLGEC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JND5C53RH6Q3MNH4J5VCBKLGEC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:JND5C53RH6Q3MNH4J5VCBKLGEC","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":"83786834456722338186902744785e8d8c852c3813f456143e0dd6593b61f680","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-30T17:57:37Z","title_canon_sha256":"0f9fc3c6567e5098c4f9a2968dae02bcba79230415a69d4c984d108c4aa154aa"},"schema_version":"1.0","source":{"id":"2308.16180","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.16180","created_at":"2026-07-05T08:20:07Z"},{"alias_kind":"arxiv_version","alias_value":"2308.16180v1","created_at":"2026-07-05T08:20:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.16180","created_at":"2026-07-05T08:20:07Z"},{"alias_kind":"pith_short_12","alias_value":"JND5C53RH6Q3","created_at":"2026-07-05T08:20:07Z"},{"alias_kind":"pith_short_16","alias_value":"JND5C53RH6Q3MNH4","created_at":"2026-07-05T08:20:07Z"},{"alias_kind":"pith_short_8","alias_value":"JND5C53R","created_at":"2026-07-05T08:20:07Z"}],"graph_snapshots":[{"event_id":"sha256:0512c01bd9e957b8b0d98069a9dfe454a2b772536c35fadd4ace60632344df59","target":"graph","created_at":"2026-07-05T08:20:07Z","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/2308.16180/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Computational science relies on scientific software as its primary instrument for scientific discovery. Therefore, similar to the use of other types of scientific instruments, correct software and the correct operation of the software is necessary for executing rigorous scientific investigations. Scientific software verification can be especially difficult, as users typically need to modify the software as part of a scientific study. Systematic methodologies for building test suites for scientific software are rare in the literature. Here, we describe a methodology that we have developed for F","authors_text":"Akash Dhruv, Anshu Dubey, Jared O'Neal, Klaus Weide, Rajeev Jain","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-30T17:57:37Z","title":"Framework and Methodology for Verification of a Complex Scientific Simulation Software, Flash-X"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.16180","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:456077ad85acd822bee36acbbd14ff0548ee28c719c2531ac09d8bbe3b00a741","target":"record","created_at":"2026-07-05T08:20:07Z","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":"83786834456722338186902744785e8d8c852c3813f456143e0dd6593b61f680","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-30T17:57:37Z","title_canon_sha256":"0f9fc3c6567e5098c4f9a2968dae02bcba79230415a69d4c984d108c4aa154aa"},"schema_version":"1.0","source":{"id":"2308.16180","kind":"arxiv","version":1}},"canonical_sha256":"4b47d177713fa1b634fc4f6a20a966209d977e11162de232097b7fe5af744161","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4b47d177713fa1b634fc4f6a20a966209d977e11162de232097b7fe5af744161","first_computed_at":"2026-07-05T08:20:07.704123Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:20:07.704123Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rJkV47cSJUk4+K0EZ+03m2q/F5u6qUpKjUqnS50RHv4oYckY4xgFmUGPEl9zGhL+V6QutGYfiLg5QkE3Gf3XBw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:20:07.704633Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.16180","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:456077ad85acd822bee36acbbd14ff0548ee28c719c2531ac09d8bbe3b00a741","sha256:0512c01bd9e957b8b0d98069a9dfe454a2b772536c35fadd4ace60632344df59"],"state_sha256":"3c3ecd8581589838d001410f63dbdf720bbce82eac5b082f087b64572880c6be"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Tlw4pJxt4w9CX6jq95YO1UDb4OCZ9118slg2aeYgiZSHyxKFUc+djl5I+05zkszVTk4qMAcP7LpaffNejSm1Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T14:52:50.878859Z","bundle_sha256":"ac8298cbfbabdcecb37e023c57942a30220cb33d9eb5b1833a9aef1ed5734120"}}