{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:3SS3X3BUUHQN7I74B3FL6XN2XV","short_pith_number":"pith:3SS3X3BU","canonical_record":{"source":{"id":"1502.04844","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-17T10:11:26Z","cross_cats_sorted":[],"title_canon_sha256":"379c4be5de6b677b24198c48e721e5616e2e1e340e154d4e565606febf1676a8","abstract_canon_sha256":"5c16f1d1b92181ea8eb8565d2dbb71d33990761ecc2d5d5590fd4d8bb774f08c"},"schema_version":"1.0"},"canonical_sha256":"dca5bbec34a1e0dfa3fc0ecabf5dbabd7ae4f7bb052eab096df3c4f2e87a5478","source":{"kind":"arxiv","id":"1502.04844","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.04844","created_at":"2026-05-18T02:26:53Z"},{"alias_kind":"arxiv_version","alias_value":"1502.04844v1","created_at":"2026-05-18T02:26:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.04844","created_at":"2026-05-18T02:26:53Z"},{"alias_kind":"pith_short_12","alias_value":"3SS3X3BUUHQN","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"3SS3X3BUUHQN7I74","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"3SS3X3BU","created_at":"2026-05-18T12:29:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:3SS3X3BUUHQN7I74B3FL6XN2XV","target":"record","payload":{"canonical_record":{"source":{"id":"1502.04844","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-17T10:11:26Z","cross_cats_sorted":[],"title_canon_sha256":"379c4be5de6b677b24198c48e721e5616e2e1e340e154d4e565606febf1676a8","abstract_canon_sha256":"5c16f1d1b92181ea8eb8565d2dbb71d33990761ecc2d5d5590fd4d8bb774f08c"},"schema_version":"1.0"},"canonical_sha256":"dca5bbec34a1e0dfa3fc0ecabf5dbabd7ae4f7bb052eab096df3c4f2e87a5478","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:26:53.704958Z","signature_b64":"3jeERtK8oT0/HMBUMqCDs8p1/yhSBI2uL5M2boY9+b4ClQvEcGbTlRgfIy4d2JgkSPXvC5kQCSXPqI7XNctiCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dca5bbec34a1e0dfa3fc0ecabf5dbabd7ae4f7bb052eab096df3c4f2e87a5478","last_reissued_at":"2026-05-18T02:26:53.704400Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:26:53.704400Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.04844","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-05-18T02:26:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KFxrHyEClQV6Z4okF2RMxUpgMPpO7UaVLzxxQ1FweG3I+j4Annqnre043hmmlIdpJUVs3eBaVHiU96xhx+5SAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T07:36:45.514850Z"},"content_sha256":"a0d013d3f0d68a4ee7b9ea56085b3edf5ecbefb50e7e3ac708bf2d942807ebdd","schema_version":"1.0","event_id":"sha256:a0d013d3f0d68a4ee7b9ea56085b3edf5ecbefb50e7e3ac708bf2d942807ebdd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:3SS3X3BUUHQN7I74B3FL6XN2XV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Complexity of Synthesis from Probabilistic Components","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi","submitted_at":"2015-02-17T10:11:26Z","abstract_excerpt":"The synthesis problem asks for the automatic construction of a system from its specification. In the traditional setting, the system is \"constructed from scratch\" rather than composed from reusable components. However, this is rare in practice, and almost every non-trivial software system relies heavily on the use of libraries of reusable components. Recently, Lustig and Vardi introduced dataflow and controlflow synthesis from libraries of reusable components. They proved that dataflow synthesis is undecidable, while controlflow synthesis is decidable. The problem of controlflow synthesis from"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.04844","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":""},"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-05-18T02:26:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qU7R35/iEJkcW6mx+jXKGAO8HzG90eM05m4zSrAi7bkjIgWudTpx3VxK25CH1VcMdsxim8ef8vTpjXOzVbNSDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T07:36:45.515445Z"},"content_sha256":"e4355a8f34a51060f0e78c83e1afd2672c7e9a294511f669a936e22585c6eb1b","schema_version":"1.0","event_id":"sha256:e4355a8f34a51060f0e78c83e1afd2672c7e9a294511f669a936e22585c6eb1b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3SS3X3BUUHQN7I74B3FL6XN2XV/bundle.json","state_url":"https://pith.science/pith/3SS3X3BUUHQN7I74B3FL6XN2XV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3SS3X3BUUHQN7I74B3FL6XN2XV/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-05-27T07:36:45Z","links":{"resolver":"https://pith.science/pith/3SS3X3BUUHQN7I74B3FL6XN2XV","bundle":"https://pith.science/pith/3SS3X3BUUHQN7I74B3FL6XN2XV/bundle.json","state":"https://pith.science/pith/3SS3X3BUUHQN7I74B3FL6XN2XV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3SS3X3BUUHQN7I74B3FL6XN2XV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:3SS3X3BUUHQN7I74B3FL6XN2XV","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":"5c16f1d1b92181ea8eb8565d2dbb71d33990761ecc2d5d5590fd4d8bb774f08c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-17T10:11:26Z","title_canon_sha256":"379c4be5de6b677b24198c48e721e5616e2e1e340e154d4e565606febf1676a8"},"schema_version":"1.0","source":{"id":"1502.04844","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.04844","created_at":"2026-05-18T02:26:53Z"},{"alias_kind":"arxiv_version","alias_value":"1502.04844v1","created_at":"2026-05-18T02:26:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.04844","created_at":"2026-05-18T02:26:53Z"},{"alias_kind":"pith_short_12","alias_value":"3SS3X3BUUHQN","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"3SS3X3BUUHQN7I74","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"3SS3X3BU","created_at":"2026-05-18T12:29:02Z"}],"graph_snapshots":[{"event_id":"sha256:e4355a8f34a51060f0e78c83e1afd2672c7e9a294511f669a936e22585c6eb1b","target":"graph","created_at":"2026-05-18T02:26:53Z","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":"The synthesis problem asks for the automatic construction of a system from its specification. In the traditional setting, the system is \"constructed from scratch\" rather than composed from reusable components. However, this is rare in practice, and almost every non-trivial software system relies heavily on the use of libraries of reusable components. Recently, Lustig and Vardi introduced dataflow and controlflow synthesis from libraries of reusable components. They proved that dataflow synthesis is undecidable, while controlflow synthesis is decidable. The problem of controlflow synthesis from","authors_text":"Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-17T10:11:26Z","title":"The Complexity of Synthesis from Probabilistic Components"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.04844","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:a0d013d3f0d68a4ee7b9ea56085b3edf5ecbefb50e7e3ac708bf2d942807ebdd","target":"record","created_at":"2026-05-18T02:26:53Z","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":"5c16f1d1b92181ea8eb8565d2dbb71d33990761ecc2d5d5590fd4d8bb774f08c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-17T10:11:26Z","title_canon_sha256":"379c4be5de6b677b24198c48e721e5616e2e1e340e154d4e565606febf1676a8"},"schema_version":"1.0","source":{"id":"1502.04844","kind":"arxiv","version":1}},"canonical_sha256":"dca5bbec34a1e0dfa3fc0ecabf5dbabd7ae4f7bb052eab096df3c4f2e87a5478","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dca5bbec34a1e0dfa3fc0ecabf5dbabd7ae4f7bb052eab096df3c4f2e87a5478","first_computed_at":"2026-05-18T02:26:53.704400Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:26:53.704400Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3jeERtK8oT0/HMBUMqCDs8p1/yhSBI2uL5M2boY9+b4ClQvEcGbTlRgfIy4d2JgkSPXvC5kQCSXPqI7XNctiCA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:26:53.704958Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.04844","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a0d013d3f0d68a4ee7b9ea56085b3edf5ecbefb50e7e3ac708bf2d942807ebdd","sha256:e4355a8f34a51060f0e78c83e1afd2672c7e9a294511f669a936e22585c6eb1b"],"state_sha256":"b545861aff22c79af14473c97674e2a234892ab20ed79cab0ed5e4e6239f57cc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7z4cjpZuFpoWqS+6QLKQdwtTeogPNNO5KGpPF41PiiVTepaGpwp4DwC4mU17plIpiYfL5jx0y/3vGqJHuaJRBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T07:36:45.518820Z","bundle_sha256":"330fbf895993069f60288e69fce7cdf79f54d734f5012d60dd39ae207eeb42cf"}}