{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:PW7Q76CKLE63MXME4OU4YHBREJ","short_pith_number":"pith:PW7Q76CK","schema_version":"1.0","canonical_sha256":"7dbf0ff84a593db65d84e3a9cc1c31225096e40c22c600e6452d4a817e655bca","source":{"kind":"arxiv","id":"2608.00808","version":1},"attestation_state":"computed","paper":{"title":"Turning Interaction History into Execution State: A Runtime Layer for Long-Horizon Coding Agents","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ahmed E. Hassan, Bram Adams, Chao Peng, Chenglin Li, Tse-Hsun (Peter) Chen, Yisen Xu, Zehao Wang","submitted_at":"2026-08-01T18:25:00Z","abstract_excerpt":"Long-horizon coding agents accumulate hundreds of actions and observations in their trajectories, yet nothing in this record indicates which observations still describe the repository as it currently stands. Before every decision, the model must implicitly infer the execution status from raw history, and when this inference falls short, the agent acts on outdated file contents or re-executes work whose results are still valid. We propose Ledger, a deterministic runtime layer that distills an agent's completed interactions into an explicit execution state: what has been observed, what has been "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2608.00808","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-08-01T18:25:00Z","cross_cats_sorted":[],"title_canon_sha256":"195734b3b766518d0bfeac2d9d9b7f0a9e44c74bbb156c3a977a93c193ca4bb0","abstract_canon_sha256":"d0aa996cc9669012c3960c5bf70bb5219e123a85babbcb1966c6e29f052d0e32"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-04T01:55:11.130710Z","signature_b64":"q+wEpcOX6mSxM0b4mvMLGakH+OTLHZRUWDLipwaMmqD8eTiWQGUz0kjWSjLvPuqhvbUtOkN4GPfI9v7BS8t3Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7dbf0ff84a593db65d84e3a9cc1c31225096e40c22c600e6452d4a817e655bca","last_reissued_at":"2026-08-04T01:55:11.129288Z","signature_status":"signed_v1","first_computed_at":"2026-08-04T01:55:11.129288Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Turning Interaction History into Execution State: A Runtime Layer for Long-Horizon Coding Agents","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ahmed E. Hassan, Bram Adams, Chao Peng, Chenglin Li, Tse-Hsun (Peter) Chen, Yisen Xu, Zehao Wang","submitted_at":"2026-08-01T18:25:00Z","abstract_excerpt":"Long-horizon coding agents accumulate hundreds of actions and observations in their trajectories, yet nothing in this record indicates which observations still describe the repository as it currently stands. Before every decision, the model must implicitly infer the execution status from raw history, and when this inference falls short, the agent acts on outdated file contents or re-executes work whose results are still valid. We propose Ledger, a deterministic runtime layer that distills an agent's completed interactions into an explicit execution state: what has been observed, what has been "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.00808","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/2608.00808/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2608.00808","created_at":"2026-08-04T01:55:11.130539+00:00"},{"alias_kind":"arxiv_version","alias_value":"2608.00808v1","created_at":"2026-08-04T01:55:11.130539+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.00808","created_at":"2026-08-04T01:55:11.130539+00:00"},{"alias_kind":"pith_short_12","alias_value":"PW7Q76CKLE63","created_at":"2026-08-04T01:55:11.130539+00:00"},{"alias_kind":"pith_short_16","alias_value":"PW7Q76CKLE63MXME","created_at":"2026-08-04T01:55:11.130539+00:00"},{"alias_kind":"pith_short_8","alias_value":"PW7Q76CK","created_at":"2026-08-04T01:55:11.130539+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PW7Q76CKLE63MXME4OU4YHBREJ","json":"https://pith.science/pith/PW7Q76CKLE63MXME4OU4YHBREJ.json","graph_json":"https://pith.science/api/pith-number/PW7Q76CKLE63MXME4OU4YHBREJ/graph.json","events_json":"https://pith.science/api/pith-number/PW7Q76CKLE63MXME4OU4YHBREJ/events.json","paper":"https://pith.science/paper/PW7Q76CK"},"agent_actions":{"view_html":"https://pith.science/pith/PW7Q76CKLE63MXME4OU4YHBREJ","download_json":"https://pith.science/pith/PW7Q76CKLE63MXME4OU4YHBREJ.json","view_paper":"https://pith.science/paper/PW7Q76CK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2608.00808&json=true","fetch_graph":"https://pith.science/api/pith-number/PW7Q76CKLE63MXME4OU4YHBREJ/graph.json","fetch_events":"https://pith.science/api/pith-number/PW7Q76CKLE63MXME4OU4YHBREJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PW7Q76CKLE63MXME4OU4YHBREJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PW7Q76CKLE63MXME4OU4YHBREJ/action/storage_attestation","attest_author":"https://pith.science/pith/PW7Q76CKLE63MXME4OU4YHBREJ/action/author_attestation","sign_citation":"https://pith.science/pith/PW7Q76CKLE63MXME4OU4YHBREJ/action/citation_signature","submit_replication":"https://pith.science/pith/PW7Q76CKLE63MXME4OU4YHBREJ/action/replication_record"}},"created_at":"2026-08-04T01:55:11.130539+00:00","updated_at":"2026-08-04T01:55:11.130539+00:00"}