{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:7OHEBSZ7NG4DL5O6WQDAP74QD5","short_pith_number":"pith:7OHEBSZ7","canonical_record":{"source":{"id":"1706.02462","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-06-08T07:22:21Z","cross_cats_sorted":[],"title_canon_sha256":"67c14435de6518a24200563c8214e1f15cb66e7b34d8dbb70eadeccaa4cad7b1","abstract_canon_sha256":"1a91ced4e8b0a048b70805cdf03a80a31542d7cac87fecac23759401baa2a0eb"},"schema_version":"1.0"},"canonical_sha256":"fb8e40cb3f69b835f5deb40607ff901f6729913ec0645c30f4184fcbdb1b6496","source":{"kind":"arxiv","id":"1706.02462","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.02462","created_at":"2026-05-18T00:01:00Z"},{"alias_kind":"arxiv_version","alias_value":"1706.02462v2","created_at":"2026-05-18T00:01:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.02462","created_at":"2026-05-18T00:01:00Z"},{"alias_kind":"pith_short_12","alias_value":"7OHEBSZ7NG4D","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"7OHEBSZ7NG4DL5O6","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"7OHEBSZ7","created_at":"2026-05-18T12:31:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:7OHEBSZ7NG4DL5O6WQDAP74QD5","target":"record","payload":{"canonical_record":{"source":{"id":"1706.02462","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-06-08T07:22:21Z","cross_cats_sorted":[],"title_canon_sha256":"67c14435de6518a24200563c8214e1f15cb66e7b34d8dbb70eadeccaa4cad7b1","abstract_canon_sha256":"1a91ced4e8b0a048b70805cdf03a80a31542d7cac87fecac23759401baa2a0eb"},"schema_version":"1.0"},"canonical_sha256":"fb8e40cb3f69b835f5deb40607ff901f6729913ec0645c30f4184fcbdb1b6496","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:00.637785Z","signature_b64":"tUqSfv2eKwn9hBKkmkA0+WvtZut06IQ5Q9Te9wzpiMsQFQAZw1flsWNO8DYyahjdtqwDtl1h0z8CNnxvPvD5Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb8e40cb3f69b835f5deb40607ff901f6729913ec0645c30f4184fcbdb1b6496","last_reissued_at":"2026-05-18T00:01:00.637393Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:00.637393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.02462","source_version":2,"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-18T00:01:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MS5AEC0DUOZt5N+QmPMSPmR1j8FQSi8minRnUyVO21mrT+DwMnUIZcyh9ZHCfPBVT6Ulx50cA7GoJE3BhYo7Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T16:48:49.443362Z"},"content_sha256":"ca304f8a4ebf742678fbf9cd7a536d5533c40df16a15e74d2ac3e9745e7067ac","schema_version":"1.0","event_id":"sha256:ca304f8a4ebf742678fbf9cd7a536d5533c40df16a15e74d2ac3e9745e7067ac"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:7OHEBSZ7NG4DL5O6WQDAP74QD5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Regular Boardgames","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jakub Kowalski, Jakub Sutowicz, Maksymilian Mika, Marek Szyku{\\l}a","submitted_at":"2017-06-08T07:22:21Z","abstract_excerpt":"We propose a new General Game Playing (GGP) language called Regular Boardgames (RBG), which is based on the theory of regular languages. The objective of RBG is to join key properties as expressiveness, efficiency, and naturalness of the description in one GGP formalism, compensating certain drawbacks of the existing languages. This often makes RBG more suitable for various research and practical developments in GGP. While dedicated mostly for describing board games, RBG is universal for the class of all finite deterministic turn-based games with perfect information. We establish foundations o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.02462","kind":"arxiv","version":2},"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-18T00:01:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TLcPEGOapPsR09N4tYWiZJ+EWGLyfB7/ABV+CW7mk0eDfoa+O7v8KP9mnLrGJpXaMDj8cNpLeIs6GhC9AlbZCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T16:48:49.444072Z"},"content_sha256":"f538b68a24b1e8dd8ee0cf30008704bb53d4e062f3dc45b9c0612c7149e1f9c2","schema_version":"1.0","event_id":"sha256:f538b68a24b1e8dd8ee0cf30008704bb53d4e062f3dc45b9c0612c7149e1f9c2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7OHEBSZ7NG4DL5O6WQDAP74QD5/bundle.json","state_url":"https://pith.science/pith/7OHEBSZ7NG4DL5O6WQDAP74QD5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7OHEBSZ7NG4DL5O6WQDAP74QD5/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-06-07T16:48:49Z","links":{"resolver":"https://pith.science/pith/7OHEBSZ7NG4DL5O6WQDAP74QD5","bundle":"https://pith.science/pith/7OHEBSZ7NG4DL5O6WQDAP74QD5/bundle.json","state":"https://pith.science/pith/7OHEBSZ7NG4DL5O6WQDAP74QD5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7OHEBSZ7NG4DL5O6WQDAP74QD5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:7OHEBSZ7NG4DL5O6WQDAP74QD5","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":"1a91ced4e8b0a048b70805cdf03a80a31542d7cac87fecac23759401baa2a0eb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-06-08T07:22:21Z","title_canon_sha256":"67c14435de6518a24200563c8214e1f15cb66e7b34d8dbb70eadeccaa4cad7b1"},"schema_version":"1.0","source":{"id":"1706.02462","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.02462","created_at":"2026-05-18T00:01:00Z"},{"alias_kind":"arxiv_version","alias_value":"1706.02462v2","created_at":"2026-05-18T00:01:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.02462","created_at":"2026-05-18T00:01:00Z"},{"alias_kind":"pith_short_12","alias_value":"7OHEBSZ7NG4D","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"7OHEBSZ7NG4DL5O6","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"7OHEBSZ7","created_at":"2026-05-18T12:31:05Z"}],"graph_snapshots":[{"event_id":"sha256:f538b68a24b1e8dd8ee0cf30008704bb53d4e062f3dc45b9c0612c7149e1f9c2","target":"graph","created_at":"2026-05-18T00:01:00Z","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 propose a new General Game Playing (GGP) language called Regular Boardgames (RBG), which is based on the theory of regular languages. The objective of RBG is to join key properties as expressiveness, efficiency, and naturalness of the description in one GGP formalism, compensating certain drawbacks of the existing languages. This often makes RBG more suitable for various research and practical developments in GGP. While dedicated mostly for describing board games, RBG is universal for the class of all finite deterministic turn-based games with perfect information. We establish foundations o","authors_text":"Jakub Kowalski, Jakub Sutowicz, Maksymilian Mika, Marek Szyku{\\l}a","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-06-08T07:22:21Z","title":"Regular Boardgames"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.02462","kind":"arxiv","version":2},"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:ca304f8a4ebf742678fbf9cd7a536d5533c40df16a15e74d2ac3e9745e7067ac","target":"record","created_at":"2026-05-18T00:01:00Z","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":"1a91ced4e8b0a048b70805cdf03a80a31542d7cac87fecac23759401baa2a0eb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-06-08T07:22:21Z","title_canon_sha256":"67c14435de6518a24200563c8214e1f15cb66e7b34d8dbb70eadeccaa4cad7b1"},"schema_version":"1.0","source":{"id":"1706.02462","kind":"arxiv","version":2}},"canonical_sha256":"fb8e40cb3f69b835f5deb40607ff901f6729913ec0645c30f4184fcbdb1b6496","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb8e40cb3f69b835f5deb40607ff901f6729913ec0645c30f4184fcbdb1b6496","first_computed_at":"2026-05-18T00:01:00.637393Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:00.637393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tUqSfv2eKwn9hBKkmkA0+WvtZut06IQ5Q9Te9wzpiMsQFQAZw1flsWNO8DYyahjdtqwDtl1h0z8CNnxvPvD5Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:00.637785Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.02462","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ca304f8a4ebf742678fbf9cd7a536d5533c40df16a15e74d2ac3e9745e7067ac","sha256:f538b68a24b1e8dd8ee0cf30008704bb53d4e062f3dc45b9c0612c7149e1f9c2"],"state_sha256":"3c057679f57a63d1e1790050a07a680bd1b4fb59cdcf1a3a6b8b95dfa4473b45"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wldsL9SjYysEFCefNrfRszjYdWtDNVkOHmoK/tHUvYrxd0stbu9uHlwxDAUjGEpRKvT9ga4hoV8Sy4k1lPWnDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T16:48:49.447838Z","bundle_sha256":"37b6856568eb07056db4964ba1f03b242b18451dcfa77e65eaddf25edae8b84a"}}