{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:FEZIQN6MSYQFOOJ37DMI2UZ5DD","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":"e850a2c373385f52bf8777f79d00d18f187d50322bfcdef48899c5820373ddd2","cross_cats_sorted":["hep-ex","hep-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-07T02:40:32Z","title_canon_sha256":"15a75777bc9d24ee31458f34d09ac4c967a1695e8a65905dc945a41b69e7d451"},"schema_version":"1.0","source":{"id":"2607.05762","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.05762","created_at":"2026-07-08T01:18:44Z"},{"alias_kind":"arxiv_version","alias_value":"2607.05762v1","created_at":"2026-07-08T01:18:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.05762","created_at":"2026-07-08T01:18:44Z"},{"alias_kind":"pith_short_12","alias_value":"FEZIQN6MSYQF","created_at":"2026-07-08T01:18:44Z"},{"alias_kind":"pith_short_16","alias_value":"FEZIQN6MSYQFOOJ3","created_at":"2026-07-08T01:18:44Z"},{"alias_kind":"pith_short_8","alias_value":"FEZIQN6M","created_at":"2026-07-08T01:18:44Z"}],"graph_snapshots":[{"event_id":"sha256:0eec678a5a4ce37d314f835246855c44de054cd181f6c0db661877fa141dacaf","target":"graph","created_at":"2026-07-08T01:18:44Z","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.05762/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Scientific results produced by LLM generated analysis code must be understandable and reproducible. However, uncertainty can arise at different stages of the process, both in the original natural language specification and in the generated implementation. As a result, even executable code may not provide a clear understanding of which quantities are being computed or which assumptions determine the final results. To address this challenge, we introduce quantity grounded semantic differencing, a multi-agent framework for analyzing and comparing scientific programs generated by LLMs. The framewo","authors_text":"Ahmed Hammad, Mihoko Nojiri","cross_cats":["hep-ex","hep-ph"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-07T02:40:32Z","title":"Articulating Assumptions in AI-Generated Scientific Analyses through Task Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.05762","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:4fe0d5d1a1b836f5a19888218546bb4a2cabccc88c8db53344dfc292ae18d3d6","target":"record","created_at":"2026-07-08T01:18:44Z","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":"e850a2c373385f52bf8777f79d00d18f187d50322bfcdef48899c5820373ddd2","cross_cats_sorted":["hep-ex","hep-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-07T02:40:32Z","title_canon_sha256":"15a75777bc9d24ee31458f34d09ac4c967a1695e8a65905dc945a41b69e7d451"},"schema_version":"1.0","source":{"id":"2607.05762","kind":"arxiv","version":1}},"canonical_sha256":"29328837cc962057393bf8d88d533d18f8b94e9912f4f3273a5f4cda9d2321dd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"29328837cc962057393bf8d88d533d18f8b94e9912f4f3273a5f4cda9d2321dd","first_computed_at":"2026-07-08T01:18:44.130055Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-08T01:18:44.130055Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LJshVSrfX11Ugmzg6nZnosWr8VKD67axtPjZQzN5DPhyWqFRKpJHxKTsF/8V69Vs+1JNCUUMfiuPWiHKJvcUDA==","signature_status":"signed_v1","signed_at":"2026-07-08T01:18:44.130496Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.05762","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4fe0d5d1a1b836f5a19888218546bb4a2cabccc88c8db53344dfc292ae18d3d6","sha256:0eec678a5a4ce37d314f835246855c44de054cd181f6c0db661877fa141dacaf"],"state_sha256":"4c700f2040dd9785a0ea5e71e64ee86d98d717d773df618a0569fd12ea8f6cb8"}