{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:3A5A3I7MXEUQYRTYJBVNFDWLFN","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":"1db62bbf7de2ff310fad2e11e634dc9c2645e823281804fcd9d3a95bb40d87e3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2025-04-20T04:09:09Z","title_canon_sha256":"2b2dfdf89eb56d769a87f5f478219cbb3002faa1b4c276181e6ed63c86ea6021"},"schema_version":"1.0","source":{"id":"2504.14480","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.14480","created_at":"2026-07-05T11:19:06Z"},{"alias_kind":"arxiv_version","alias_value":"2504.14480v3","created_at":"2026-07-05T11:19:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.14480","created_at":"2026-07-05T11:19:06Z"},{"alias_kind":"pith_short_12","alias_value":"3A5A3I7MXEUQ","created_at":"2026-07-05T11:19:06Z"},{"alias_kind":"pith_short_16","alias_value":"3A5A3I7MXEUQYRTY","created_at":"2026-07-05T11:19:06Z"},{"alias_kind":"pith_short_8","alias_value":"3A5A3I7M","created_at":"2026-07-05T11:19:06Z"}],"graph_snapshots":[{"event_id":"sha256:9c890c0212ba94fc57fa6537fbc751b1114204822f69a86a40e1aa7e33f1a395","target":"graph","created_at":"2026-07-05T11:19:06Z","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/2504.14480/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present the first technique to synthesize programs that compose side-effecting functions, pure functions, and control flow, from partial traces containing records of only the side-effecting functions. This technique can be applied to synthesize API composing scripts from logs of calls made to those APIs, or a script from traces of system calls made by a workload, for example. All of the provided traces are positive examples, meaning that they describe desired behavior. Our approach does not require negative examples. Instead, it generalizes over the examples and uses cost metrics to prevent","authors_text":"Daniel Kroening, Joey Dodds, Margarida Ferreira, Victor Nicolet","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.14480","kind":"arxiv","version":3},"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:5e03c931443ab2c7e01d5853081e69bd056c4be97aa910eb4a52828fdb0bd139","target":"record","created_at":"2026-07-05T11:19:06Z","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":"1db62bbf7de2ff310fad2e11e634dc9c2645e823281804fcd9d3a95bb40d87e3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2025-04-20T04:09:09Z","title_canon_sha256":"2b2dfdf89eb56d769a87f5f478219cbb3002faa1b4c276181e6ed63c86ea6021"},"schema_version":"1.0","source":{"id":"2504.14480","kind":"arxiv","version":3}},"canonical_sha256":"d83a0da3ecb9290c4678486ad28ecb2b76847c5588f94f7a303285aaae798754","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d83a0da3ecb9290c4678486ad28ecb2b76847c5588f94f7a303285aaae798754","first_computed_at":"2026-07-05T11:19:06.175627Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:19:06.175627Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NSXXxT2j0B0Jard2uyypopmCEa6fMgSpKWrRBfpPtKpY4v4WImLqu5KPrMEtmwtsLnUJfNArqSjYYYzI7YIiCw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:19:06.176079Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.14480","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5e03c931443ab2c7e01d5853081e69bd056c4be97aa910eb4a52828fdb0bd139","sha256:9c890c0212ba94fc57fa6537fbc751b1114204822f69a86a40e1aa7e33f1a395"],"state_sha256":"d4be53e006acb554d6339c0df7a6ec324d7b052c099fe5a514f912263e569660"}