{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:FGK7NCT2HHZZL67DD6BQM5EKFM","short_pith_number":"pith:FGK7NCT2","canonical_record":{"source":{"id":"1007.1669","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-07-09T20:16:30Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"d64ac2ad6352ac7295ab6dcdc740a546bf1a4076b6bf8d6bb109e59be99785b3","abstract_canon_sha256":"0224159390f7f6aaa38657ef5bf1746a74412e58af1765ee14595433985cb002"},"schema_version":"1.0"},"canonical_sha256":"2995f68a7a39f395fbe31f8306748a2b0568d56adabac69e1ea107673588e813","source":{"kind":"arxiv","id":"1007.1669","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1007.1669","created_at":"2026-05-18T04:39:59Z"},{"alias_kind":"arxiv_version","alias_value":"1007.1669v4","created_at":"2026-05-18T04:39:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1007.1669","created_at":"2026-05-18T04:39:59Z"},{"alias_kind":"pith_short_12","alias_value":"FGK7NCT2HHZZ","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"FGK7NCT2HHZZL67D","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"FGK7NCT2","created_at":"2026-05-18T12:26:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:FGK7NCT2HHZZL67DD6BQM5EKFM","target":"record","payload":{"canonical_record":{"source":{"id":"1007.1669","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-07-09T20:16:30Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"d64ac2ad6352ac7295ab6dcdc740a546bf1a4076b6bf8d6bb109e59be99785b3","abstract_canon_sha256":"0224159390f7f6aaa38657ef5bf1746a74412e58af1765ee14595433985cb002"},"schema_version":"1.0"},"canonical_sha256":"2995f68a7a39f395fbe31f8306748a2b0568d56adabac69e1ea107673588e813","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:39:59.113569Z","signature_b64":"VnKLBxycv9yKRhmtNWA0/49RnZ7UXadFabUpnk5/XJlGsr9XEG7QcNJiau0ERA8EMue4YZrpZCE1MdHzZ7bkDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2995f68a7a39f395fbe31f8306748a2b0568d56adabac69e1ea107673588e813","last_reissued_at":"2026-05-18T04:39:59.112982Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:39:59.112982Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1007.1669","source_version":4,"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-18T04:39:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M9v/pvW1titXZzM+Yzb7khH9+2zp0A+SMG9ds+mvV5yuElXKogrgfm+Vzal+A+avSm4ODjP3VoTCyKxR7jKoBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T00:11:26.859341Z"},"content_sha256":"cb298b1cf17a753fd5c77b32abadbaf55cbd40556cac4e52d0a7d657d83eb23d","schema_version":"1.0","event_id":"sha256:cb298b1cf17a753fd5c77b32abadbaf55cbd40556cac4e52d0a7d657d83eb23d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:FGK7NCT2HHZZL67DD6BQM5EKFM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generalized Mean-payoff and Energy Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT"],"primary_cat":"cs.LO","authors_text":"Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger","submitted_at":"2010-07-09T20:16:30Z","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. Generalized mean-payoff and 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 generalized energy games and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1007.1669","kind":"arxiv","version":4},"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-18T04:39:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qsCvDptS068bXLxHI0RxJTt2d7ORHl5nQhxjH8QAqfCWJ3FjXRbkQpvCL25jOAfuw/M5mv0mmUY5RVLySoN8DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T00:11:26.859956Z"},"content_sha256":"6be1870f66638a0e7602b23ba8f5f97df40129fa9a7e6224b8ad714212ac704c","schema_version":"1.0","event_id":"sha256:6be1870f66638a0e7602b23ba8f5f97df40129fa9a7e6224b8ad714212ac704c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FGK7NCT2HHZZL67DD6BQM5EKFM/bundle.json","state_url":"https://pith.science/pith/FGK7NCT2HHZZL67DD6BQM5EKFM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FGK7NCT2HHZZL67DD6BQM5EKFM/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-26T00:11:26Z","links":{"resolver":"https://pith.science/pith/FGK7NCT2HHZZL67DD6BQM5EKFM","bundle":"https://pith.science/pith/FGK7NCT2HHZZL67DD6BQM5EKFM/bundle.json","state":"https://pith.science/pith/FGK7NCT2HHZZL67DD6BQM5EKFM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FGK7NCT2HHZZL67DD6BQM5EKFM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:FGK7NCT2HHZZL67DD6BQM5EKFM","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":"0224159390f7f6aaa38657ef5bf1746a74412e58af1765ee14595433985cb002","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-07-09T20:16:30Z","title_canon_sha256":"d64ac2ad6352ac7295ab6dcdc740a546bf1a4076b6bf8d6bb109e59be99785b3"},"schema_version":"1.0","source":{"id":"1007.1669","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1007.1669","created_at":"2026-05-18T04:39:59Z"},{"alias_kind":"arxiv_version","alias_value":"1007.1669v4","created_at":"2026-05-18T04:39:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1007.1669","created_at":"2026-05-18T04:39:59Z"},{"alias_kind":"pith_short_12","alias_value":"FGK7NCT2HHZZ","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"FGK7NCT2HHZZL67D","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"FGK7NCT2","created_at":"2026-05-18T12:26:07Z"}],"graph_snapshots":[{"event_id":"sha256:6be1870f66638a0e7602b23ba8f5f97df40129fa9a7e6224b8ad714212ac704c","target":"graph","created_at":"2026-05-18T04:39:59Z","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. Generalized mean-payoff and 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 generalized energy games and ","authors_text":"Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger","cross_cats":["cs.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-07-09T20:16:30Z","title":"Generalized Mean-payoff and Energy Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1007.1669","kind":"arxiv","version":4},"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:cb298b1cf17a753fd5c77b32abadbaf55cbd40556cac4e52d0a7d657d83eb23d","target":"record","created_at":"2026-05-18T04:39:59Z","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":"0224159390f7f6aaa38657ef5bf1746a74412e58af1765ee14595433985cb002","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-07-09T20:16:30Z","title_canon_sha256":"d64ac2ad6352ac7295ab6dcdc740a546bf1a4076b6bf8d6bb109e59be99785b3"},"schema_version":"1.0","source":{"id":"1007.1669","kind":"arxiv","version":4}},"canonical_sha256":"2995f68a7a39f395fbe31f8306748a2b0568d56adabac69e1ea107673588e813","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2995f68a7a39f395fbe31f8306748a2b0568d56adabac69e1ea107673588e813","first_computed_at":"2026-05-18T04:39:59.112982Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:39:59.112982Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VnKLBxycv9yKRhmtNWA0/49RnZ7UXadFabUpnk5/XJlGsr9XEG7QcNJiau0ERA8EMue4YZrpZCE1MdHzZ7bkDg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:39:59.113569Z","signed_message":"canonical_sha256_bytes"},"source_id":"1007.1669","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cb298b1cf17a753fd5c77b32abadbaf55cbd40556cac4e52d0a7d657d83eb23d","sha256:6be1870f66638a0e7602b23ba8f5f97df40129fa9a7e6224b8ad714212ac704c"],"state_sha256":"952c65b865294428e5c4cf0ffd0d3a9cc3430e2f8e9a9638f2411b4ec0f75db8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dKXDgYKafWCUt3L+Z81ikNm7v4ddn2z+/E2KRaWow4+OT1GhDYKQW5slkf79Du9/gmfUYavOdq7NiKNJNv45BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T00:11:26.863475Z","bundle_sha256":"87737c05f7df133c551481abc1741d8a531084da455f7d5f50a94cbed0a82586"}}