{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:J3WW3JGINFOYR2FEVWK7BYOQ5J","short_pith_number":"pith:J3WW3JGI","canonical_record":{"source":{"id":"2406.01500","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2024-06-03T16:27:07Z","cross_cats_sorted":[],"title_canon_sha256":"7e77d0be0ad5ac998bb1c737a926d98f5002564c1a2026cc688bec838297584d","abstract_canon_sha256":"5944b0f6eb2c9bda2e828085da462bf12a027e82cbe86b16a82b5cee1ab5610a"},"schema_version":"1.0"},"canonical_sha256":"4eed6da4c8695d88e8a4ad95f0e1d0ea4e46f29efb0f130b8c4ce6f68666da7a","source":{"kind":"arxiv","id":"2406.01500","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.01500","created_at":"2026-07-05T08:26:40Z"},{"alias_kind":"arxiv_version","alias_value":"2406.01500v1","created_at":"2026-07-05T08:26:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.01500","created_at":"2026-07-05T08:26:40Z"},{"alias_kind":"pith_short_12","alias_value":"J3WW3JGINFOY","created_at":"2026-07-05T08:26:40Z"},{"alias_kind":"pith_short_16","alias_value":"J3WW3JGINFOYR2FE","created_at":"2026-07-05T08:26:40Z"},{"alias_kind":"pith_short_8","alias_value":"J3WW3JGI","created_at":"2026-07-05T08:26:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:J3WW3JGINFOYR2FEVWK7BYOQ5J","target":"record","payload":{"canonical_record":{"source":{"id":"2406.01500","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2024-06-03T16:27:07Z","cross_cats_sorted":[],"title_canon_sha256":"7e77d0be0ad5ac998bb1c737a926d98f5002564c1a2026cc688bec838297584d","abstract_canon_sha256":"5944b0f6eb2c9bda2e828085da462bf12a027e82cbe86b16a82b5cee1ab5610a"},"schema_version":"1.0"},"canonical_sha256":"4eed6da4c8695d88e8a4ad95f0e1d0ea4e46f29efb0f130b8c4ce6f68666da7a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:26:40.546054Z","signature_b64":"Ul8nLwO83lmrL+mCxgW956gvxakgU8tNkklJuyMKaY/EmGgIIkRBjOrqiVuB0VYT46fCcdeDiZEc3LkxdDgRBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4eed6da4c8695d88e8a4ad95f0e1d0ea4e46f29efb0f130b8c4ce6f68666da7a","last_reissued_at":"2026-07-05T08:26:40.545493Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:26:40.545493Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.01500","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:26:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mivAiKw0+ZpUTF81PWAiqCoM3iUI+2C2Pb+RAFl0+16vRg6JsPzAfoI2/SvNF4j/ZyjqehRtuOJRJYKYLQwEBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T00:51:38.017031Z"},"content_sha256":"ee0674902b2041e5ef46ba8f0a53f4c2320771bd712914028cda07f4441e6703","schema_version":"1.0","event_id":"sha256:ee0674902b2041e5ef46ba8f0a53f4c2320771bd712914028cda07f4441e6703"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:J3WW3JGINFOYR2FEVWK7BYOQ5J","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Going Bananas! - Unfolding Program Synthesis with Origami","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Emilio Francesquini, Fabr\\'icio Olivetti de Fran\\c{c}a, Matheus Campos Fernandes","submitted_at":"2024-06-03T16:27:07Z","abstract_excerpt":"Automatically creating a computer program using input-output examples can be a challenging task, especially when trying to synthesize computer programs that require loops or recursion. Even though the use of recursion can make the algorithmic description more succinct and declarative, this concept creates additional barriers to program synthesis algorithms such as the creation and the (tentative) evaluation of non-terminating programs. One reason is that the recursive function must define how to traverse (or generate) the data structure and, at the same time, how to process it. In functional p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.01500","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/2406.01500/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:26:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mMZEPEHZwU/9m6n84leJUZA52hpPz5w4bhzlUlylnLutJMo/yZ4JQv90aeMauZUpjUehgyWJx5Vx9ngaCA1qDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T00:51:38.017542Z"},"content_sha256":"9d28f6f21592c3627af17fe873e3fb0aeb24fa3bd740d45166979a26fcef07e9","schema_version":"1.0","event_id":"sha256:9d28f6f21592c3627af17fe873e3fb0aeb24fa3bd740d45166979a26fcef07e9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J3WW3JGINFOYR2FEVWK7BYOQ5J/bundle.json","state_url":"https://pith.science/pith/J3WW3JGINFOYR2FEVWK7BYOQ5J/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J3WW3JGINFOYR2FEVWK7BYOQ5J/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-08-22T00:51:38Z","links":{"resolver":"https://pith.science/pith/J3WW3JGINFOYR2FEVWK7BYOQ5J","bundle":"https://pith.science/pith/J3WW3JGINFOYR2FEVWK7BYOQ5J/bundle.json","state":"https://pith.science/pith/J3WW3JGINFOYR2FEVWK7BYOQ5J/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J3WW3JGINFOYR2FEVWK7BYOQ5J/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:J3WW3JGINFOYR2FEVWK7BYOQ5J","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":"5944b0f6eb2c9bda2e828085da462bf12a027e82cbe86b16a82b5cee1ab5610a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2024-06-03T16:27:07Z","title_canon_sha256":"7e77d0be0ad5ac998bb1c737a926d98f5002564c1a2026cc688bec838297584d"},"schema_version":"1.0","source":{"id":"2406.01500","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.01500","created_at":"2026-07-05T08:26:40Z"},{"alias_kind":"arxiv_version","alias_value":"2406.01500v1","created_at":"2026-07-05T08:26:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.01500","created_at":"2026-07-05T08:26:40Z"},{"alias_kind":"pith_short_12","alias_value":"J3WW3JGINFOY","created_at":"2026-07-05T08:26:40Z"},{"alias_kind":"pith_short_16","alias_value":"J3WW3JGINFOYR2FE","created_at":"2026-07-05T08:26:40Z"},{"alias_kind":"pith_short_8","alias_value":"J3WW3JGI","created_at":"2026-07-05T08:26:40Z"}],"graph_snapshots":[{"event_id":"sha256:9d28f6f21592c3627af17fe873e3fb0aeb24fa3bd740d45166979a26fcef07e9","target":"graph","created_at":"2026-07-05T08:26:40Z","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/2406.01500/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automatically creating a computer program using input-output examples can be a challenging task, especially when trying to synthesize computer programs that require loops or recursion. Even though the use of recursion can make the algorithmic description more succinct and declarative, this concept creates additional barriers to program synthesis algorithms such as the creation and the (tentative) evaluation of non-terminating programs. One reason is that the recursive function must define how to traverse (or generate) the data structure and, at the same time, how to process it. In functional p","authors_text":"Emilio Francesquini, Fabr\\'icio Olivetti de Fran\\c{c}a, Matheus Campos Fernandes","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2024-06-03T16:27:07Z","title":"Going Bananas! - Unfolding Program Synthesis with Origami"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.01500","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:ee0674902b2041e5ef46ba8f0a53f4c2320771bd712914028cda07f4441e6703","target":"record","created_at":"2026-07-05T08:26:40Z","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":"5944b0f6eb2c9bda2e828085da462bf12a027e82cbe86b16a82b5cee1ab5610a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2024-06-03T16:27:07Z","title_canon_sha256":"7e77d0be0ad5ac998bb1c737a926d98f5002564c1a2026cc688bec838297584d"},"schema_version":"1.0","source":{"id":"2406.01500","kind":"arxiv","version":1}},"canonical_sha256":"4eed6da4c8695d88e8a4ad95f0e1d0ea4e46f29efb0f130b8c4ce6f68666da7a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4eed6da4c8695d88e8a4ad95f0e1d0ea4e46f29efb0f130b8c4ce6f68666da7a","first_computed_at":"2026-07-05T08:26:40.545493Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:26:40.545493Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ul8nLwO83lmrL+mCxgW956gvxakgU8tNkklJuyMKaY/EmGgIIkRBjOrqiVuB0VYT46fCcdeDiZEc3LkxdDgRBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:26:40.546054Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.01500","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ee0674902b2041e5ef46ba8f0a53f4c2320771bd712914028cda07f4441e6703","sha256:9d28f6f21592c3627af17fe873e3fb0aeb24fa3bd740d45166979a26fcef07e9"],"state_sha256":"ccfa49fcfdf1d9f38d055deec1fc71376af802537ba3217cdcce457f31ddeb36"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BRkVaL7kKN9xj5qq1pBpiU00/3pgnbHA0A81Y8v48lI4mbtn8myL1ch1dP7JQh0vhZEkRfceaDG5lmuZRk7WCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T00:51:38.020914Z","bundle_sha256":"e9c074c746dec2f3688beef864709d4f1219d90f031ec93fbed9bd48684c0713"}}