{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:KHU37WJR3XGJN5LAG43QB7UKU4","short_pith_number":"pith:KHU37WJR","canonical_record":{"source":{"id":"1806.11559","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-24T10:50:26Z","cross_cats_sorted":[],"title_canon_sha256":"4058affffdd895b9edf7cd4b5f936c4fce698fafab4a848a5dc7e24d382bceef","abstract_canon_sha256":"f7228a6050c023822f879d94744c43eec3aa0fab904652cfbdada0d49a3bdfbc"},"schema_version":"1.0"},"canonical_sha256":"51e9bfd931ddcc96f560373700fe8aa71d2a70d2cf817db6b2bf511a705267a7","source":{"kind":"arxiv","id":"1806.11559","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.11559","created_at":"2026-05-18T00:12:01Z"},{"alias_kind":"arxiv_version","alias_value":"1806.11559v1","created_at":"2026-05-18T00:12:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.11559","created_at":"2026-05-18T00:12:01Z"},{"alias_kind":"pith_short_12","alias_value":"KHU37WJR3XGJ","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_16","alias_value":"KHU37WJR3XGJN5LA","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_8","alias_value":"KHU37WJR","created_at":"2026-05-18T12:32:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:KHU37WJR3XGJN5LAG43QB7UKU4","target":"record","payload":{"canonical_record":{"source":{"id":"1806.11559","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-24T10:50:26Z","cross_cats_sorted":[],"title_canon_sha256":"4058affffdd895b9edf7cd4b5f936c4fce698fafab4a848a5dc7e24d382bceef","abstract_canon_sha256":"f7228a6050c023822f879d94744c43eec3aa0fab904652cfbdada0d49a3bdfbc"},"schema_version":"1.0"},"canonical_sha256":"51e9bfd931ddcc96f560373700fe8aa71d2a70d2cf817db6b2bf511a705267a7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:12:01.535303Z","signature_b64":"Ce9lHlusFS81hGFXLtiGtI/u4tzt+FX+8C5hoGwRP6NGqx5o14xw8drYNDnjgOjhNaN6WxG8wuhQD2qu2wMtCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"51e9bfd931ddcc96f560373700fe8aa71d2a70d2cf817db6b2bf511a705267a7","last_reissued_at":"2026-05-18T00:12:01.534658Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:12:01.534658Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.11559","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-18T00:12:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KgxhPajT2Lt6LpRcihSO/2q4J+U3TSsA5HW0A56mfsPOxRSZ0XAtaSAeQujLMtOfIbBZg/rb1wQeIWB4VlXuDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T07:03:18.055338Z"},"content_sha256":"a29f5ff33045042ec3fa981dffa49d41a6ce3f2ceaf0b868494aa0396b81dc34","schema_version":"1.0","event_id":"sha256:a29f5ff33045042ec3fa981dffa49d41a6ce3f2ceaf0b868494aa0396b81dc34"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:KHU37WJR3XGJN5LAG43QB7UKU4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Resource Logics with a Diminishing Resource","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Brian Logan, Natasha Alechina","submitted_at":"2018-06-24T10:50:26Z","abstract_excerpt":"Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We introduce a simple and realistic assumption that there is at least one diminishing resource, that is, a resource that cannot be produced and every action has a non-zero cost on this resource. An example of such resource is time. We show that, with this assumption, problems that are undecidable even for the underlying Alternating Time Temporal Logic, such as model-checking under imperfect information and perfect recall, become decidable for resource logics with"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.11559","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-18T00:12:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7YB81Rp4f9QPfkzCHJA6O+H9szmY3rBL6V1n3Zb7xu3JdJOsnGw6ROX9noRmInqhEKHdY+xwvGMV52f8A06lDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T07:03:18.056074Z"},"content_sha256":"84fcd5292f6e55c5b0252018143c6449602a16cb66a9abb646cb96d972d0de00","schema_version":"1.0","event_id":"sha256:84fcd5292f6e55c5b0252018143c6449602a16cb66a9abb646cb96d972d0de00"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KHU37WJR3XGJN5LAG43QB7UKU4/bundle.json","state_url":"https://pith.science/pith/KHU37WJR3XGJN5LAG43QB7UKU4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KHU37WJR3XGJN5LAG43QB7UKU4/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-31T07:03:18Z","links":{"resolver":"https://pith.science/pith/KHU37WJR3XGJN5LAG43QB7UKU4","bundle":"https://pith.science/pith/KHU37WJR3XGJN5LAG43QB7UKU4/bundle.json","state":"https://pith.science/pith/KHU37WJR3XGJN5LAG43QB7UKU4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KHU37WJR3XGJN5LAG43QB7UKU4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:KHU37WJR3XGJN5LAG43QB7UKU4","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":"f7228a6050c023822f879d94744c43eec3aa0fab904652cfbdada0d49a3bdfbc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-24T10:50:26Z","title_canon_sha256":"4058affffdd895b9edf7cd4b5f936c4fce698fafab4a848a5dc7e24d382bceef"},"schema_version":"1.0","source":{"id":"1806.11559","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.11559","created_at":"2026-05-18T00:12:01Z"},{"alias_kind":"arxiv_version","alias_value":"1806.11559v1","created_at":"2026-05-18T00:12:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.11559","created_at":"2026-05-18T00:12:01Z"},{"alias_kind":"pith_short_12","alias_value":"KHU37WJR3XGJ","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_16","alias_value":"KHU37WJR3XGJN5LA","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_8","alias_value":"KHU37WJR","created_at":"2026-05-18T12:32:33Z"}],"graph_snapshots":[{"event_id":"sha256:84fcd5292f6e55c5b0252018143c6449602a16cb66a9abb646cb96d972d0de00","target":"graph","created_at":"2026-05-18T00:12:01Z","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":"Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We introduce a simple and realistic assumption that there is at least one diminishing resource, that is, a resource that cannot be produced and every action has a non-zero cost on this resource. An example of such resource is time. We show that, with this assumption, problems that are undecidable even for the underlying Alternating Time Temporal Logic, such as model-checking under imperfect information and perfect recall, become decidable for resource logics with","authors_text":"Brian Logan, Natasha Alechina","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-24T10:50:26Z","title":"Resource Logics with a Diminishing Resource"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.11559","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:a29f5ff33045042ec3fa981dffa49d41a6ce3f2ceaf0b868494aa0396b81dc34","target":"record","created_at":"2026-05-18T00:12:01Z","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":"f7228a6050c023822f879d94744c43eec3aa0fab904652cfbdada0d49a3bdfbc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-24T10:50:26Z","title_canon_sha256":"4058affffdd895b9edf7cd4b5f936c4fce698fafab4a848a5dc7e24d382bceef"},"schema_version":"1.0","source":{"id":"1806.11559","kind":"arxiv","version":1}},"canonical_sha256":"51e9bfd931ddcc96f560373700fe8aa71d2a70d2cf817db6b2bf511a705267a7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"51e9bfd931ddcc96f560373700fe8aa71d2a70d2cf817db6b2bf511a705267a7","first_computed_at":"2026-05-18T00:12:01.534658Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:12:01.534658Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ce9lHlusFS81hGFXLtiGtI/u4tzt+FX+8C5hoGwRP6NGqx5o14xw8drYNDnjgOjhNaN6WxG8wuhQD2qu2wMtCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:12:01.535303Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.11559","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a29f5ff33045042ec3fa981dffa49d41a6ce3f2ceaf0b868494aa0396b81dc34","sha256:84fcd5292f6e55c5b0252018143c6449602a16cb66a9abb646cb96d972d0de00"],"state_sha256":"fa09556686aceb543df791a654c4cc83019c126b228c97ff4e28e6e35a9585ed"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q84RcfzXDGOBy4o3uGrn/t79i+V4FlvJH0X0nGD0YLlHsFG9q+xvzK1DOLB7zWUYiv/p40x2qwdZxfoHyt5uAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T07:03:18.060306Z","bundle_sha256":"e6603a45addca11f2afb68eed143b55564d64153548a01ba8072832f3445e05f"}}