{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:P5BH5LNMNVCQKNNL7BFBQ3TZTW","short_pith_number":"pith:P5BH5LNM","canonical_record":{"source":{"id":"1506.08726","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-29T16:45:03Z","cross_cats_sorted":[],"title_canon_sha256":"38b58db60b4f1c63b24fafa0df27c76b1366ff169b185415f37f7c3e1e6ab2b4","abstract_canon_sha256":"19d427461319abe37b1454b5c651ac0044177f7fde4323474d637d030be44895"},"schema_version":"1.0"},"canonical_sha256":"7f427eadac6d450535abf84a186e799d9561a587913288d1e95cd7e22ed2e3d5","source":{"kind":"arxiv","id":"1506.08726","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.08726","created_at":"2026-05-18T01:17:12Z"},{"alias_kind":"arxiv_version","alias_value":"1506.08726v3","created_at":"2026-05-18T01:17:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.08726","created_at":"2026-05-18T01:17:12Z"},{"alias_kind":"pith_short_12","alias_value":"P5BH5LNMNVCQ","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"P5BH5LNMNVCQKNNL","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"P5BH5LNM","created_at":"2026-05-18T12:29:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:P5BH5LNMNVCQKNNL7BFBQ3TZTW","target":"record","payload":{"canonical_record":{"source":{"id":"1506.08726","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-29T16:45:03Z","cross_cats_sorted":[],"title_canon_sha256":"38b58db60b4f1c63b24fafa0df27c76b1366ff169b185415f37f7c3e1e6ab2b4","abstract_canon_sha256":"19d427461319abe37b1454b5c651ac0044177f7fde4323474d637d030be44895"},"schema_version":"1.0"},"canonical_sha256":"7f427eadac6d450535abf84a186e799d9561a587913288d1e95cd7e22ed2e3d5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:12.783824Z","signature_b64":"2E6p52iuIHjU1R/funk3QhMyU/FzUryfq+meiDHKTMULtBh8IR1MjqzAczoPBjmUW0nCHLQ94XGTgfrhnFtPBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7f427eadac6d450535abf84a186e799d9561a587913288d1e95cd7e22ed2e3d5","last_reissued_at":"2026-05-18T01:17:12.783192Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:12.783192Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.08726","source_version":3,"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-18T01:17:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mbWNsrMDGWZ/zSV1qDfNaIIc1FNAdxbGtaRxVsqpLdnoUO2Mg9x70CScZusCYA9Wq+72Ym1R+8Gg702nBIeVAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T23:30:23.138331Z"},"content_sha256":"9511756480ca64584b5f6048ae1647f630917a12596a4ac66062d73ffe26e2a7","schema_version":"1.0","event_id":"sha256:9511756480ca64584b5f6048ae1647f630917a12596a4ac66062d73ffe26e2a7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:P5BH5LNMNVCQKNNL7BFBQ3TZTW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The First Reactive Synthesis Competition (SYNTCOMP 2014)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Adam Walker, Guillermo A. P\\'erez, Jean-Fran\\c{c}ois Raskin, Leander Tentrup, Leonid Ryzhyk, Martina Seidl, Ocan Sankur, Robert K\\\"onighofer, Roderick Bloem, Romain Brenguier, R\\\"udiger Ehlers, Swen Jacobs, Timotheus Hell","submitted_at":"2015-06-29T16:45:03Z","abstract_excerpt":"We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of synthesis procedures for reactive systems. The first iteration of SYNTCOMP is based on the controller synthesis problem for finite-state systems and safety specifications. We provide an overview of this problem and existing approaches to solve it, and report on the design and results of the first SYNTCOMP. This includes the definition of the benchmark format, the collection of benchmarks, the rules of the competition, and the five synthesis to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.08726","kind":"arxiv","version":3},"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-18T01:17:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PT4nl8tLEyV5Y5bWwBh/54QrhUG92Os/bSUVbN1XR13d3tYCcK4+XPWd7RPFCRrnRaf+huaVvXN6zEhufS3jDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T23:30:23.138861Z"},"content_sha256":"5558e7132044c1014095e9033741567ca96b0c5c7a4f9950bf3cf77cd06af336","schema_version":"1.0","event_id":"sha256:5558e7132044c1014095e9033741567ca96b0c5c7a4f9950bf3cf77cd06af336"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P5BH5LNMNVCQKNNL7BFBQ3TZTW/bundle.json","state_url":"https://pith.science/pith/P5BH5LNMNVCQKNNL7BFBQ3TZTW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P5BH5LNMNVCQKNNL7BFBQ3TZTW/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-27T23:30:23Z","links":{"resolver":"https://pith.science/pith/P5BH5LNMNVCQKNNL7BFBQ3TZTW","bundle":"https://pith.science/pith/P5BH5LNMNVCQKNNL7BFBQ3TZTW/bundle.json","state":"https://pith.science/pith/P5BH5LNMNVCQKNNL7BFBQ3TZTW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P5BH5LNMNVCQKNNL7BFBQ3TZTW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:P5BH5LNMNVCQKNNL7BFBQ3TZTW","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":"19d427461319abe37b1454b5c651ac0044177f7fde4323474d637d030be44895","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-29T16:45:03Z","title_canon_sha256":"38b58db60b4f1c63b24fafa0df27c76b1366ff169b185415f37f7c3e1e6ab2b4"},"schema_version":"1.0","source":{"id":"1506.08726","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.08726","created_at":"2026-05-18T01:17:12Z"},{"alias_kind":"arxiv_version","alias_value":"1506.08726v3","created_at":"2026-05-18T01:17:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.08726","created_at":"2026-05-18T01:17:12Z"},{"alias_kind":"pith_short_12","alias_value":"P5BH5LNMNVCQ","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"P5BH5LNMNVCQKNNL","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"P5BH5LNM","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:5558e7132044c1014095e9033741567ca96b0c5c7a4f9950bf3cf77cd06af336","target":"graph","created_at":"2026-05-18T01:17:12Z","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":"We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of synthesis procedures for reactive systems. The first iteration of SYNTCOMP is based on the controller synthesis problem for finite-state systems and safety specifications. We provide an overview of this problem and existing approaches to solve it, and report on the design and results of the first SYNTCOMP. This includes the definition of the benchmark format, the collection of benchmarks, the rules of the competition, and the five synthesis to","authors_text":"Adam Walker, Guillermo A. P\\'erez, Jean-Fran\\c{c}ois Raskin, Leander Tentrup, Leonid Ryzhyk, Martina Seidl, Ocan Sankur, Robert K\\\"onighofer, Roderick Bloem, Romain Brenguier, R\\\"udiger Ehlers, Swen Jacobs, Timotheus Hell","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-29T16:45:03Z","title":"The First Reactive Synthesis Competition (SYNTCOMP 2014)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.08726","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:9511756480ca64584b5f6048ae1647f630917a12596a4ac66062d73ffe26e2a7","target":"record","created_at":"2026-05-18T01:17:12Z","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":"19d427461319abe37b1454b5c651ac0044177f7fde4323474d637d030be44895","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-29T16:45:03Z","title_canon_sha256":"38b58db60b4f1c63b24fafa0df27c76b1366ff169b185415f37f7c3e1e6ab2b4"},"schema_version":"1.0","source":{"id":"1506.08726","kind":"arxiv","version":3}},"canonical_sha256":"7f427eadac6d450535abf84a186e799d9561a587913288d1e95cd7e22ed2e3d5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7f427eadac6d450535abf84a186e799d9561a587913288d1e95cd7e22ed2e3d5","first_computed_at":"2026-05-18T01:17:12.783192Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:12.783192Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2E6p52iuIHjU1R/funk3QhMyU/FzUryfq+meiDHKTMULtBh8IR1MjqzAczoPBjmUW0nCHLQ94XGTgfrhnFtPBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:12.783824Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.08726","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9511756480ca64584b5f6048ae1647f630917a12596a4ac66062d73ffe26e2a7","sha256:5558e7132044c1014095e9033741567ca96b0c5c7a4f9950bf3cf77cd06af336"],"state_sha256":"7368ca6c267fb098a2bfc31328416ebc57ea1b5f3ca8c65e901143f20d4938b9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FR30kgZiM/7rlmCXlUHZxlN1jSvF/8J3TvxxLZU09nOzrJPkbiu2ITNvYrYEsfEtk5qrabOAoe+JFN17wIiNDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T23:30:23.142242Z","bundle_sha256":"5a69e848238008ae3f88220b30111ba0abe4bc3438f6d709a82f2925f86fc480"}}