{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:SDL4OPYISI5F5YA5OOPYIZFQCC","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":"b227e55323f9831298a80da400953ed3e76115654469c54d401f56a3b947f7f0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-12T09:53:03Z","title_canon_sha256":"16e0586bb859725cbcd79f4e0b810107bdbce58c601c384ad78c9be8440703aa"},"schema_version":"1.0","source":{"id":"1907.05649","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.05649","created_at":"2026-05-17T23:40:47Z"},{"alias_kind":"arxiv_version","alias_value":"1907.05649v1","created_at":"2026-05-17T23:40:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.05649","created_at":"2026-05-17T23:40:47Z"},{"alias_kind":"pith_short_12","alias_value":"SDL4OPYISI5F","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"SDL4OPYISI5F5YA5","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"SDL4OPYI","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:06691263adc71702e1a4224bcbb5bffe30705781b5c4c26cea4c6ec172944e68","target":"graph","created_at":"2026-05-17T23:40:47Z","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"},"paper":{"abstract_excerpt":"Effective program synthesis requires a way to minimise the number of candidate programs being searched. A type signature, for example, places some small restrictions on the structure of potential candidates. We introduce and motivate a distilled program synthesis problem where a type signature is the only machine-readable information available, but does not sufficiently minimise the search space. To address this, we develop a system of property relations that can be used to flexibly encode and query information that was not previously available to the synthesiser. Our experience using these to","authors_text":"Bruce Collie, Michael O'Boyle","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-12T09:53:03Z","title":"Augmenting Type Signatures for Program Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.05649","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:8bbe452e2d4331bd535d01e577e6e0b20d0205f494aeea59007d0a67eede057f","target":"record","created_at":"2026-05-17T23:40:47Z","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":"b227e55323f9831298a80da400953ed3e76115654469c54d401f56a3b947f7f0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-12T09:53:03Z","title_canon_sha256":"16e0586bb859725cbcd79f4e0b810107bdbce58c601c384ad78c9be8440703aa"},"schema_version":"1.0","source":{"id":"1907.05649","kind":"arxiv","version":1}},"canonical_sha256":"90d7c73f08923a5ee01d739f8464b010b334eef2e600b1a01a4b0e4e0df5f2dc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"90d7c73f08923a5ee01d739f8464b010b334eef2e600b1a01a4b0e4e0df5f2dc","first_computed_at":"2026-05-17T23:40:47.425956Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:47.425956Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IDd5uWDk7yRJRq12kVyczjvQIajJcNdfvXy8kcOX78gk1x+wl8j8H4Rw/DwiBN0Hs5KFQ6aRqb0T2E4m3LNKBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:47.426664Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.05649","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8bbe452e2d4331bd535d01e577e6e0b20d0205f494aeea59007d0a67eede057f","sha256:06691263adc71702e1a4224bcbb5bffe30705781b5c4c26cea4c6ec172944e68"],"state_sha256":"f92179e9d5c72d2985f111658fefc7ce68dd6c90f1a00dc747c14b53de08075e"}