{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:K3HA3VLHZSTAFPWVBAIVGIWHIQ","short_pith_number":"pith:K3HA3VLH","canonical_record":{"source":{"id":"1209.3234","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-09-14T15:55:24Z","cross_cats_sorted":[],"title_canon_sha256":"344a7ead2c1e9e656d8344af5416963100db824a6b9674789c4136340fbc7acd","abstract_canon_sha256":"73dc485e9930352098f43ab08b8e15abb8a40c4731e0757d346b511bec80623f"},"schema_version":"1.0"},"canonical_sha256":"56ce0dd567cca602bed508115322c7440ca43bced35fc5523e41fec5a2d152ee","source":{"kind":"arxiv","id":"1209.3234","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1209.3234","created_at":"2026-05-18T03:45:32Z"},{"alias_kind":"arxiv_version","alias_value":"1209.3234v1","created_at":"2026-05-18T03:45:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.3234","created_at":"2026-05-18T03:45:32Z"},{"alias_kind":"pith_short_12","alias_value":"K3HA3VLHZSTA","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"K3HA3VLHZSTAFPWV","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"K3HA3VLH","created_at":"2026-05-18T12:27:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:K3HA3VLHZSTAFPWVBAIVGIWHIQ","target":"record","payload":{"canonical_record":{"source":{"id":"1209.3234","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-09-14T15:55:24Z","cross_cats_sorted":[],"title_canon_sha256":"344a7ead2c1e9e656d8344af5416963100db824a6b9674789c4136340fbc7acd","abstract_canon_sha256":"73dc485e9930352098f43ab08b8e15abb8a40c4731e0757d346b511bec80623f"},"schema_version":"1.0"},"canonical_sha256":"56ce0dd567cca602bed508115322c7440ca43bced35fc5523e41fec5a2d152ee","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:45:32.445114Z","signature_b64":"/e0R+yHn70kCct8G/Y6+17NDsuLQFs5nS2as7d6Z7DQ6/lTEpRN0J7bH0fJsOz/uzm28p02RqJkAdhPjzmxgBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56ce0dd567cca602bed508115322c7440ca43bced35fc5523e41fec5a2d152ee","last_reissued_at":"2026-05-18T03:45:32.444625Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:45:32.444625Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1209.3234","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-18T03:45:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZoOE4EQZGU5Ur2bXp5mp1M30d4iW72p+xqmNg27oN1IcTLl9gXuQKz0OM2nrcESpIsr6JcMxcIdvMGOqfe7zAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T16:20:20.237200Z"},"content_sha256":"2de6f1a445e9362b010a3d9748ea3acf830d134cd912bb789ba8193a0c4bc5db","schema_version":"1.0","event_id":"sha256:2de6f1a445e9362b010a3d9748ea3acf830d134cd912bb789ba8193a0c4bc5db"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:K3HA3VLHZSTAFPWVBAIVGIWHIQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Complexity of Multi-Mean-Payoff and Multi-Energy Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Alexander Rabinovich, Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Yaron Velner","submitted_at":"2012-09-14T15:55:24Z","abstract_excerpt":"In mean-payoff games, the objective of the protagonist is to ensure that the limit average of an infinite sequence of numeric weights is nonnegative. In energy games, the objective is to ensure that the running sum of weights is always nonnegative. Multi-mean-payoff and multi-energy games replace individual weights by tuples, and the limit average (resp. running sum) of each coordinate must be (resp. remain) nonnegative. These games have applications in the synthesis of resource-bounded processes with multiple resources.\n  We prove the finite-memory determinacy of multi-energy games and show t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.3234","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-18T03:45:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TaeqDiFG3yuun9DGitoNtsRnDC8hwzlJacHJiY4u3qM2DPSK0l4bcTF75qWuTCNNIqgID/JKi+em27KIStX7Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T16:20:20.237918Z"},"content_sha256":"aacdefbdfa1b1e9cbdc6ad6ad5a335745be374cbb25152e5dd64c785bb938544","schema_version":"1.0","event_id":"sha256:aacdefbdfa1b1e9cbdc6ad6ad5a335745be374cbb25152e5dd64c785bb938544"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K3HA3VLHZSTAFPWVBAIVGIWHIQ/bundle.json","state_url":"https://pith.science/pith/K3HA3VLHZSTAFPWVBAIVGIWHIQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K3HA3VLHZSTAFPWVBAIVGIWHIQ/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-25T16:20:20Z","links":{"resolver":"https://pith.science/pith/K3HA3VLHZSTAFPWVBAIVGIWHIQ","bundle":"https://pith.science/pith/K3HA3VLHZSTAFPWVBAIVGIWHIQ/bundle.json","state":"https://pith.science/pith/K3HA3VLHZSTAFPWVBAIVGIWHIQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K3HA3VLHZSTAFPWVBAIVGIWHIQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:K3HA3VLHZSTAFPWVBAIVGIWHIQ","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":"73dc485e9930352098f43ab08b8e15abb8a40c4731e0757d346b511bec80623f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-09-14T15:55:24Z","title_canon_sha256":"344a7ead2c1e9e656d8344af5416963100db824a6b9674789c4136340fbc7acd"},"schema_version":"1.0","source":{"id":"1209.3234","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1209.3234","created_at":"2026-05-18T03:45:32Z"},{"alias_kind":"arxiv_version","alias_value":"1209.3234v1","created_at":"2026-05-18T03:45:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.3234","created_at":"2026-05-18T03:45:32Z"},{"alias_kind":"pith_short_12","alias_value":"K3HA3VLHZSTA","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"K3HA3VLHZSTAFPWV","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"K3HA3VLH","created_at":"2026-05-18T12:27:11Z"}],"graph_snapshots":[{"event_id":"sha256:aacdefbdfa1b1e9cbdc6ad6ad5a335745be374cbb25152e5dd64c785bb938544","target":"graph","created_at":"2026-05-18T03:45:32Z","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":"In mean-payoff games, the objective of the protagonist is to ensure that the limit average of an infinite sequence of numeric weights is nonnegative. In energy games, the objective is to ensure that the running sum of weights is always nonnegative. Multi-mean-payoff and multi-energy games replace individual weights by tuples, and the limit average (resp. running sum) of each coordinate must be (resp. remain) nonnegative. These games have applications in the synthesis of resource-bounded processes with multiple resources.\n  We prove the finite-memory determinacy of multi-energy games and show t","authors_text":"Alexander Rabinovich, Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Yaron Velner","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-09-14T15:55:24Z","title":"The Complexity of Multi-Mean-Payoff and Multi-Energy Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.3234","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:2de6f1a445e9362b010a3d9748ea3acf830d134cd912bb789ba8193a0c4bc5db","target":"record","created_at":"2026-05-18T03:45:32Z","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":"73dc485e9930352098f43ab08b8e15abb8a40c4731e0757d346b511bec80623f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-09-14T15:55:24Z","title_canon_sha256":"344a7ead2c1e9e656d8344af5416963100db824a6b9674789c4136340fbc7acd"},"schema_version":"1.0","source":{"id":"1209.3234","kind":"arxiv","version":1}},"canonical_sha256":"56ce0dd567cca602bed508115322c7440ca43bced35fc5523e41fec5a2d152ee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56ce0dd567cca602bed508115322c7440ca43bced35fc5523e41fec5a2d152ee","first_computed_at":"2026-05-18T03:45:32.444625Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:45:32.444625Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/e0R+yHn70kCct8G/Y6+17NDsuLQFs5nS2as7d6Z7DQ6/lTEpRN0J7bH0fJsOz/uzm28p02RqJkAdhPjzmxgBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:45:32.445114Z","signed_message":"canonical_sha256_bytes"},"source_id":"1209.3234","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2de6f1a445e9362b010a3d9748ea3acf830d134cd912bb789ba8193a0c4bc5db","sha256:aacdefbdfa1b1e9cbdc6ad6ad5a335745be374cbb25152e5dd64c785bb938544"],"state_sha256":"6f9255e65ce1084d41e30bb71a5e6f3484f8f5fc53ff25dc4524470001e11644"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X1in3bSei/4fhukqBmtu1RyaGfPxdBv4VlJK2KIHUvITO3vkRAuMIZ6zAm7JqQ03XOx6rRL0Kx2xjSqJoaIlDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T16:20:20.241915Z","bundle_sha256":"674d21a8671afe4814e4e48d9137849d273c0d823a91d5c6a0944f31a43e1eb6"}}