{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:4LGF7J6I2OACUKIYKD3JF2POIY","short_pith_number":"pith:4LGF7J6I","canonical_record":{"source":{"id":"1610.01133","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-10-04T19:26:28Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"b3b5d37eacb9ae8c3604d90bf9595004b238ecb6c2e76d4ad1a803cf7414541e","abstract_canon_sha256":"d3fd4daa631ee57230e5af2c55438b0864104543f9e7d14ce58f0a2bdd02fe13"},"schema_version":"1.0"},"canonical_sha256":"e2cc5fa7c8d3802a291850f692e9ee463c90f597a627133bbcb16d6ca6005aaa","source":{"kind":"arxiv","id":"1610.01133","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.01133","created_at":"2026-05-18T01:03:12Z"},{"alias_kind":"arxiv_version","alias_value":"1610.01133v1","created_at":"2026-05-18T01:03:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.01133","created_at":"2026-05-18T01:03:12Z"},{"alias_kind":"pith_short_12","alias_value":"4LGF7J6I2OAC","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4LGF7J6I2OACUKIY","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4LGF7J6I","created_at":"2026-05-18T12:29:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:4LGF7J6I2OACUKIYKD3JF2POIY","target":"record","payload":{"canonical_record":{"source":{"id":"1610.01133","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-10-04T19:26:28Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"b3b5d37eacb9ae8c3604d90bf9595004b238ecb6c2e76d4ad1a803cf7414541e","abstract_canon_sha256":"d3fd4daa631ee57230e5af2c55438b0864104543f9e7d14ce58f0a2bdd02fe13"},"schema_version":"1.0"},"canonical_sha256":"e2cc5fa7c8d3802a291850f692e9ee463c90f597a627133bbcb16d6ca6005aaa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:03:12.367930Z","signature_b64":"961bDQMjuvRNplW7L1/W2Ut0rsuRr7dBgItUahSHxl9CiRl4e+P51iEWkh1+6onbPrxrDAjrEnXBhIwx8lbgCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e2cc5fa7c8d3802a291850f692e9ee463c90f597a627133bbcb16d6ca6005aaa","last_reissued_at":"2026-05-18T01:03:12.367351Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:03:12.367351Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.01133","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-05-18T01:03:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CIHzo0nGY14d0xlUYn8FbNm3vvk9BZOzdSAg02h2hWqhTzGn0gpRdUwWjslLUd9xMsKi1X0djRlJYSpLNT1xBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T09:32:28.398907Z"},"content_sha256":"7094ca8f3af218e829c924100a11b0e167362db4a494554d39f4e805e11852cd","schema_version":"1.0","event_id":"sha256:7094ca8f3af218e829c924100a11b0e167362db4a494554d39f4e805e11852cd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:4LGF7J6I2OACUKIYKD3JF2POIY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mathematical Execution: A Unified Approach for Testing Numerical Code","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Zhendong Su, Zhoulai Fu","submitted_at":"2016-10-04T19:26:28Z","abstract_excerpt":"This paper presents Mathematical Execution (ME), a new, unified approach for testing numerical code. The key idea is to (1) capture the desired testing objective via a representing function and (2) transform the automated testing problem to the minimization problem of the representing function. The minimization problem is to be solved via mathematical optimization. The main feature of ME is that it directs input space exploration by only executing the representing function, thus avoiding static or symbolic reasoning about the program semantics, which is particularly challenging for numerical c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.01133","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":""},"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-05-18T01:03:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YBvSR1bud3fwA6RIGh0clkPsRDWdJh+iXxLf7LTHuIFeTW5E5w88pEmD2cdglg0XuEqzUC0AloC5RoK9RyUMCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T09:32:28.399364Z"},"content_sha256":"8be06db0b41a56b7fa90fde13b9a29681514a72862bfd31175daa030dac6eaee","schema_version":"1.0","event_id":"sha256:8be06db0b41a56b7fa90fde13b9a29681514a72862bfd31175daa030dac6eaee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4LGF7J6I2OACUKIYKD3JF2POIY/bundle.json","state_url":"https://pith.science/pith/4LGF7J6I2OACUKIYKD3JF2POIY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4LGF7J6I2OACUKIYKD3JF2POIY/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-05-30T09:32:28Z","links":{"resolver":"https://pith.science/pith/4LGF7J6I2OACUKIYKD3JF2POIY","bundle":"https://pith.science/pith/4LGF7J6I2OACUKIYKD3JF2POIY/bundle.json","state":"https://pith.science/pith/4LGF7J6I2OACUKIYKD3JF2POIY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4LGF7J6I2OACUKIYKD3JF2POIY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:4LGF7J6I2OACUKIYKD3JF2POIY","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":"d3fd4daa631ee57230e5af2c55438b0864104543f9e7d14ce58f0a2bdd02fe13","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-10-04T19:26:28Z","title_canon_sha256":"b3b5d37eacb9ae8c3604d90bf9595004b238ecb6c2e76d4ad1a803cf7414541e"},"schema_version":"1.0","source":{"id":"1610.01133","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.01133","created_at":"2026-05-18T01:03:12Z"},{"alias_kind":"arxiv_version","alias_value":"1610.01133v1","created_at":"2026-05-18T01:03:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.01133","created_at":"2026-05-18T01:03:12Z"},{"alias_kind":"pith_short_12","alias_value":"4LGF7J6I2OAC","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4LGF7J6I2OACUKIY","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4LGF7J6I","created_at":"2026-05-18T12:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:8be06db0b41a56b7fa90fde13b9a29681514a72862bfd31175daa030dac6eaee","target":"graph","created_at":"2026-05-18T01:03:12Z","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"},"paper":{"abstract_excerpt":"This paper presents Mathematical Execution (ME), a new, unified approach for testing numerical code. The key idea is to (1) capture the desired testing objective via a representing function and (2) transform the automated testing problem to the minimization problem of the representing function. The minimization problem is to be solved via mathematical optimization. The main feature of ME is that it directs input space exploration by only executing the representing function, thus avoiding static or symbolic reasoning about the program semantics, which is particularly challenging for numerical c","authors_text":"Zhendong Su, Zhoulai Fu","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-10-04T19:26:28Z","title":"Mathematical Execution: A Unified Approach for Testing Numerical Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.01133","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:7094ca8f3af218e829c924100a11b0e167362db4a494554d39f4e805e11852cd","target":"record","created_at":"2026-05-18T01:03:12Z","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":"d3fd4daa631ee57230e5af2c55438b0864104543f9e7d14ce58f0a2bdd02fe13","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-10-04T19:26:28Z","title_canon_sha256":"b3b5d37eacb9ae8c3604d90bf9595004b238ecb6c2e76d4ad1a803cf7414541e"},"schema_version":"1.0","source":{"id":"1610.01133","kind":"arxiv","version":1}},"canonical_sha256":"e2cc5fa7c8d3802a291850f692e9ee463c90f597a627133bbcb16d6ca6005aaa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e2cc5fa7c8d3802a291850f692e9ee463c90f597a627133bbcb16d6ca6005aaa","first_computed_at":"2026-05-18T01:03:12.367351Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:03:12.367351Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"961bDQMjuvRNplW7L1/W2Ut0rsuRr7dBgItUahSHxl9CiRl4e+P51iEWkh1+6onbPrxrDAjrEnXBhIwx8lbgCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:03:12.367930Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.01133","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7094ca8f3af218e829c924100a11b0e167362db4a494554d39f4e805e11852cd","sha256:8be06db0b41a56b7fa90fde13b9a29681514a72862bfd31175daa030dac6eaee"],"state_sha256":"f7f4b8c69fc1102dd4c584c383cbccb4e4017d062b6e4a7d0c97c96f0e2bda48"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d3PLD2zKF1ipm5q7vmo3IdhcMMStoIZb4dR+dd2muGc2uDNtSTbF95uv1fTSA8QGrhbkB/iSqeLwMrGvTVliBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T09:32:28.402537Z","bundle_sha256":"329cd91d2b859f47685d9c340f39350d2d28ea438d93907805bb9902cb35b828"}}