{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:ZIQIUN7X74HUPQIIFDCDRWDT5R","short_pith_number":"pith:ZIQIUN7X","canonical_record":{"source":{"id":"1708.09253","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-29T12:29:41Z","cross_cats_sorted":["cs.CC","cs.DS","cs.FL"],"title_canon_sha256":"83173bd7f6d478e72acd4bede4ea0b6186d8f80b11b066280d81139c2897be04","abstract_canon_sha256":"235c13575f747adae64f2ba0c2eadcdd35f781d01a8e9da7e23e335b1c4a2a93"},"schema_version":"1.0"},"canonical_sha256":"ca208a37f7ff0f47c10828c438d873ec40e61019bc1a8999cac6d080026f68b7","source":{"kind":"arxiv","id":"1708.09253","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.09253","created_at":"2026-05-18T00:36:20Z"},{"alias_kind":"arxiv_version","alias_value":"1708.09253v1","created_at":"2026-05-18T00:36:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.09253","created_at":"2026-05-18T00:36:20Z"},{"alias_kind":"pith_short_12","alias_value":"ZIQIUN7X74HU","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZIQIUN7X74HUPQII","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZIQIUN7X","created_at":"2026-05-18T12:31:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:ZIQIUN7X74HUPQIIFDCDRWDT5R","target":"record","payload":{"canonical_record":{"source":{"id":"1708.09253","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-29T12:29:41Z","cross_cats_sorted":["cs.CC","cs.DS","cs.FL"],"title_canon_sha256":"83173bd7f6d478e72acd4bede4ea0b6186d8f80b11b066280d81139c2897be04","abstract_canon_sha256":"235c13575f747adae64f2ba0c2eadcdd35f781d01a8e9da7e23e335b1c4a2a93"},"schema_version":"1.0"},"canonical_sha256":"ca208a37f7ff0f47c10828c438d873ec40e61019bc1a8999cac6d080026f68b7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:36:20.454369Z","signature_b64":"+ku5gjFN3707VRhUfJofd0cHcJ+IKxIeYbcqiOSbO62QNNAdSdUeUJwCKgXRI3wvW+cIp3qL6bEhi8JjvzgQAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ca208a37f7ff0f47c10828c438d873ec40e61019bc1a8999cac6d080026f68b7","last_reissued_at":"2026-05-18T00:36:20.453743Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:36:20.453743Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.09253","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:36:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QvGy92YJOaSqla2Icc23wy1rgezcaonfQmSEmFJD+WLZTSwuw7I/5p6JDZSwa/Kovr/OX+Vq/a+1TjzipdnLDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T17:40:44.922280Z"},"content_sha256":"4118bffd3cb6e9e17ddf8ebe64b67d737876e9f766f8dbc499286e9a6ed6ed2b","schema_version":"1.0","event_id":"sha256:4118bffd3cb6e9e17ddf8ebe64b67d737876e9f766f8dbc499286e9a6ed6ed2b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:ZIQIUN7X74HUPQIIFDCDRWDT5R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient Algorithms for Checking Fast Termination in VASS","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.CC","cs.DS","cs.FL"],"primary_cat":"cs.LO","authors_text":"Anton\\'in Ku\\v{c}era, Dominik Velan, Krishnendu Chatterjee, Petr Novotn\\'y, Tom\\'a\\v{s} Br\\'azdil","submitted_at":"2017-08-29T12:29:41Z","abstract_excerpt":"Vector Addition Systems with States (VASS) consists of a finite state space equipped with d counters, where in each transition every counter is incremented, decremented, or left unchanged. VASS provide a fundamental model for analysis of concurrent processes, parametrized systems, and they are also used as abstract models for programs for bounds analysis. While termination is the basic liveness property that asks the qualitative question of whether a given model always terminates or not, the more general quantitative question asks for bounds on the number of steps to termination. In the realm "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.09253","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:36:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yWj5LEddqsiyAqI0qwdabg7zbTIzWtJM8p9wOTf5goy6uSq8C54bKm5JJ0u/12+8kb3YLJ6WWnrEBMNDOPp7Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T17:40:44.923006Z"},"content_sha256":"625b7d08f515eac7fee0177df77cec5b59b92ec05123ff8bb4a4a9f6db02506b","schema_version":"1.0","event_id":"sha256:625b7d08f515eac7fee0177df77cec5b59b92ec05123ff8bb4a4a9f6db02506b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZIQIUN7X74HUPQIIFDCDRWDT5R/bundle.json","state_url":"https://pith.science/pith/ZIQIUN7X74HUPQIIFDCDRWDT5R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZIQIUN7X74HUPQIIFDCDRWDT5R/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-25T17:40:44Z","links":{"resolver":"https://pith.science/pith/ZIQIUN7X74HUPQIIFDCDRWDT5R","bundle":"https://pith.science/pith/ZIQIUN7X74HUPQIIFDCDRWDT5R/bundle.json","state":"https://pith.science/pith/ZIQIUN7X74HUPQIIFDCDRWDT5R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZIQIUN7X74HUPQIIFDCDRWDT5R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:ZIQIUN7X74HUPQIIFDCDRWDT5R","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":"235c13575f747adae64f2ba0c2eadcdd35f781d01a8e9da7e23e335b1c4a2a93","cross_cats_sorted":["cs.CC","cs.DS","cs.FL"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-29T12:29:41Z","title_canon_sha256":"83173bd7f6d478e72acd4bede4ea0b6186d8f80b11b066280d81139c2897be04"},"schema_version":"1.0","source":{"id":"1708.09253","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.09253","created_at":"2026-05-18T00:36:20Z"},{"alias_kind":"arxiv_version","alias_value":"1708.09253v1","created_at":"2026-05-18T00:36:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.09253","created_at":"2026-05-18T00:36:20Z"},{"alias_kind":"pith_short_12","alias_value":"ZIQIUN7X74HU","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZIQIUN7X74HUPQII","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZIQIUN7X","created_at":"2026-05-18T12:31:59Z"}],"graph_snapshots":[{"event_id":"sha256:625b7d08f515eac7fee0177df77cec5b59b92ec05123ff8bb4a4a9f6db02506b","target":"graph","created_at":"2026-05-18T00:36:20Z","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":"Vector Addition Systems with States (VASS) consists of a finite state space equipped with d counters, where in each transition every counter is incremented, decremented, or left unchanged. VASS provide a fundamental model for analysis of concurrent processes, parametrized systems, and they are also used as abstract models for programs for bounds analysis. While termination is the basic liveness property that asks the qualitative question of whether a given model always terminates or not, the more general quantitative question asks for bounds on the number of steps to termination. In the realm ","authors_text":"Anton\\'in Ku\\v{c}era, Dominik Velan, Krishnendu Chatterjee, Petr Novotn\\'y, Tom\\'a\\v{s} Br\\'azdil","cross_cats":["cs.CC","cs.DS","cs.FL"],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-29T12:29:41Z","title":"Efficient Algorithms for Checking Fast Termination in VASS"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.09253","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:4118bffd3cb6e9e17ddf8ebe64b67d737876e9f766f8dbc499286e9a6ed6ed2b","target":"record","created_at":"2026-05-18T00:36:20Z","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":"235c13575f747adae64f2ba0c2eadcdd35f781d01a8e9da7e23e335b1c4a2a93","cross_cats_sorted":["cs.CC","cs.DS","cs.FL"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-29T12:29:41Z","title_canon_sha256":"83173bd7f6d478e72acd4bede4ea0b6186d8f80b11b066280d81139c2897be04"},"schema_version":"1.0","source":{"id":"1708.09253","kind":"arxiv","version":1}},"canonical_sha256":"ca208a37f7ff0f47c10828c438d873ec40e61019bc1a8999cac6d080026f68b7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ca208a37f7ff0f47c10828c438d873ec40e61019bc1a8999cac6d080026f68b7","first_computed_at":"2026-05-18T00:36:20.453743Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:36:20.453743Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+ku5gjFN3707VRhUfJofd0cHcJ+IKxIeYbcqiOSbO62QNNAdSdUeUJwCKgXRI3wvW+cIp3qL6bEhi8JjvzgQAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:36:20.454369Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.09253","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4118bffd3cb6e9e17ddf8ebe64b67d737876e9f766f8dbc499286e9a6ed6ed2b","sha256:625b7d08f515eac7fee0177df77cec5b59b92ec05123ff8bb4a4a9f6db02506b"],"state_sha256":"93d1994f089bb9771bdc9070f5e40643399c847ef5a34cfae485fcc842e4b8a7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"seJXNvVUs2i3lDXmY42lQH889ygwwwMPGFV/KNgaWmtQTHXEVjyCe7gLgSVVFclCgz6sIwULALBXNoKB0n2ZBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T17:40:44.926761Z","bundle_sha256":"a9e647ceb18eacb56172a5207414a1c49f6f29dacd2824fddaf58ef98e7b4fb5"}}