{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:ZGWCQM4TV7JHXSSOB7DATNCNOP","short_pith_number":"pith:ZGWCQM4T","canonical_record":{"source":{"id":"2106.06086","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2021-06-10T23:44:05Z","cross_cats_sorted":["cs.NE"],"title_canon_sha256":"8e504bb10c0ec23fdec3fe045e22b35244e532774babda59c4b720a6f4782469","abstract_canon_sha256":"6a53707fd57940e4864e7d3f0c593492431fd8a59213b4c8597968eb8c7db6f1"},"schema_version":"1.0"},"canonical_sha256":"c9ac283393afd27bca4e0fc609b44d73dac81234c5525f63f94da8bd56471e6d","source":{"kind":"arxiv","id":"2106.06086","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.06086","created_at":"2026-07-05T02:48:25Z"},{"alias_kind":"arxiv_version","alias_value":"2106.06086v1","created_at":"2026-07-05T02:48:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.06086","created_at":"2026-07-05T02:48:25Z"},{"alias_kind":"pith_short_12","alias_value":"ZGWCQM4TV7JH","created_at":"2026-07-05T02:48:25Z"},{"alias_kind":"pith_short_16","alias_value":"ZGWCQM4TV7JHXSSO","created_at":"2026-07-05T02:48:25Z"},{"alias_kind":"pith_short_8","alias_value":"ZGWCQM4T","created_at":"2026-07-05T02:48:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:ZGWCQM4TV7JHXSSOB7DATNCNOP","target":"record","payload":{"canonical_record":{"source":{"id":"2106.06086","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2021-06-10T23:44:05Z","cross_cats_sorted":["cs.NE"],"title_canon_sha256":"8e504bb10c0ec23fdec3fe045e22b35244e532774babda59c4b720a6f4782469","abstract_canon_sha256":"6a53707fd57940e4864e7d3f0c593492431fd8a59213b4c8597968eb8c7db6f1"},"schema_version":"1.0"},"canonical_sha256":"c9ac283393afd27bca4e0fc609b44d73dac81234c5525f63f94da8bd56471e6d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:48:25.869130Z","signature_b64":"J00Ku+4tryeYFo9ZrnfPwzXabSrYeCGR/Dz18m1bPwSn/z9KosxOMMPienmCYD+r9W23S0RYcybSYIODq15jDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c9ac283393afd27bca4e0fc609b44d73dac81234c5525f63f94da8bd56471e6d","last_reissued_at":"2026-07-05T02:48:25.868671Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:48:25.868671Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2106.06086","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-05T02:48:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wCoSLba3QGIIUcXYPC9cB8V2x1+VqQORbgdEuS/QG2SigG210n9c+JR1sbmYo/C8FfnAKH1HsRjVoETQv54jBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T21:45:05.634354Z"},"content_sha256":"5ac87dbfe3c448765682e997d7375b07af2baa8155a944b318b4020b7f7933f2","schema_version":"1.0","event_id":"sha256:5ac87dbfe3c448765682e997d7375b07af2baa8155a944b318b4020b7f7933f2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:ZGWCQM4TV7JHXSSOB7DATNCNOP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PSB2: The Second Program Synthesis Benchmark Suite","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.NE"],"primary_cat":"cs.SE","authors_text":"Peter Kelly, Thomas Helmuth","submitted_at":"2021-06-10T23:44:05Z","abstract_excerpt":"For the past six years, researchers in genetic programming and other program synthesis disciplines have used the General Program Synthesis Benchmark Suite to benchmark many aspects of automatic program synthesis systems. These problems have been used to make notable progress toward the goal of general program synthesis: automatically creating the types of software that human programmers code. Many of the systems that have attempted the problems in the original benchmark suite have used it to demonstrate performance improvements granted through new techniques. Over time, the suite has gradually"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.06086","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/2106.06086/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-05T02:48:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fBmRlGjSzraDIq3G2HdHoVkOMKFpB/BFjjCMUrYF1QjvfRUtFzekfuY5338H7Xw6NSGAzvhulfFV+CsZq8ApCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T21:45:05.635260Z"},"content_sha256":"525da20ffe8b7bd358636a94a01655d20d142851c7f76767cbf45ffd524abbab","schema_version":"1.0","event_id":"sha256:525da20ffe8b7bd358636a94a01655d20d142851c7f76767cbf45ffd524abbab"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZGWCQM4TV7JHXSSOB7DATNCNOP/bundle.json","state_url":"https://pith.science/pith/ZGWCQM4TV7JHXSSOB7DATNCNOP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZGWCQM4TV7JHXSSOB7DATNCNOP/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-03T21:45:05Z","links":{"resolver":"https://pith.science/pith/ZGWCQM4TV7JHXSSOB7DATNCNOP","bundle":"https://pith.science/pith/ZGWCQM4TV7JHXSSOB7DATNCNOP/bundle.json","state":"https://pith.science/pith/ZGWCQM4TV7JHXSSOB7DATNCNOP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZGWCQM4TV7JHXSSOB7DATNCNOP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:ZGWCQM4TV7JHXSSOB7DATNCNOP","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":"6a53707fd57940e4864e7d3f0c593492431fd8a59213b4c8597968eb8c7db6f1","cross_cats_sorted":["cs.NE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2021-06-10T23:44:05Z","title_canon_sha256":"8e504bb10c0ec23fdec3fe045e22b35244e532774babda59c4b720a6f4782469"},"schema_version":"1.0","source":{"id":"2106.06086","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.06086","created_at":"2026-07-05T02:48:25Z"},{"alias_kind":"arxiv_version","alias_value":"2106.06086v1","created_at":"2026-07-05T02:48:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.06086","created_at":"2026-07-05T02:48:25Z"},{"alias_kind":"pith_short_12","alias_value":"ZGWCQM4TV7JH","created_at":"2026-07-05T02:48:25Z"},{"alias_kind":"pith_short_16","alias_value":"ZGWCQM4TV7JHXSSO","created_at":"2026-07-05T02:48:25Z"},{"alias_kind":"pith_short_8","alias_value":"ZGWCQM4T","created_at":"2026-07-05T02:48:25Z"}],"graph_snapshots":[{"event_id":"sha256:525da20ffe8b7bd358636a94a01655d20d142851c7f76767cbf45ffd524abbab","target":"graph","created_at":"2026-07-05T02:48:25Z","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/2106.06086/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"For the past six years, researchers in genetic programming and other program synthesis disciplines have used the General Program Synthesis Benchmark Suite to benchmark many aspects of automatic program synthesis systems. These problems have been used to make notable progress toward the goal of general program synthesis: automatically creating the types of software that human programmers code. Many of the systems that have attempted the problems in the original benchmark suite have used it to demonstrate performance improvements granted through new techniques. Over time, the suite has gradually","authors_text":"Peter Kelly, Thomas Helmuth","cross_cats":["cs.NE"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2021-06-10T23:44:05Z","title":"PSB2: The Second Program Synthesis Benchmark Suite"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.06086","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:5ac87dbfe3c448765682e997d7375b07af2baa8155a944b318b4020b7f7933f2","target":"record","created_at":"2026-07-05T02:48:25Z","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":"6a53707fd57940e4864e7d3f0c593492431fd8a59213b4c8597968eb8c7db6f1","cross_cats_sorted":["cs.NE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2021-06-10T23:44:05Z","title_canon_sha256":"8e504bb10c0ec23fdec3fe045e22b35244e532774babda59c4b720a6f4782469"},"schema_version":"1.0","source":{"id":"2106.06086","kind":"arxiv","version":1}},"canonical_sha256":"c9ac283393afd27bca4e0fc609b44d73dac81234c5525f63f94da8bd56471e6d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c9ac283393afd27bca4e0fc609b44d73dac81234c5525f63f94da8bd56471e6d","first_computed_at":"2026-07-05T02:48:25.868671Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:48:25.868671Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"J00Ku+4tryeYFo9ZrnfPwzXabSrYeCGR/Dz18m1bPwSn/z9KosxOMMPienmCYD+r9W23S0RYcybSYIODq15jDA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:48:25.869130Z","signed_message":"canonical_sha256_bytes"},"source_id":"2106.06086","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5ac87dbfe3c448765682e997d7375b07af2baa8155a944b318b4020b7f7933f2","sha256:525da20ffe8b7bd358636a94a01655d20d142851c7f76767cbf45ffd524abbab"],"state_sha256":"7a7500ab44adeac97c74c911862d536052e032ccaa697d8d1e342865d338dc05"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lCq/uUCXgMMw+4BpUPfpxOHCK0FN5Rw58Vhx3RByyc4+5DCS0fkHt3fOtL4kOxTymLeGMukqhNdHU6lq1YAICQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T21:45:05.659539Z","bundle_sha256":"870a8fc783e96134d8cf09173d7d09fdbe2d18dbf0f166b9868be98f2ff6c382"}}