{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:XIIVIQ7L34I3BGK2CQUMWBBJXY","short_pith_number":"pith:XIIVIQ7L","canonical_record":{"source":{"id":"1703.09326","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-27T22:24:36Z","cross_cats_sorted":[],"title_canon_sha256":"2642ca29277b330fc44e284b9d2d273a644567944685a0224394213527a7e7a4","abstract_canon_sha256":"ca5e6f2af3bee6b849b905d9708aa2217aa830da73008e7006ebd085408e3ccf"},"schema_version":"1.0"},"canonical_sha256":"ba115443ebdf11b0995a1428cb0429be3f3115612df1995d84e0f03a66e369ed","source":{"kind":"arxiv","id":"1703.09326","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.09326","created_at":"2026-05-18T00:42:43Z"},{"alias_kind":"arxiv_version","alias_value":"1703.09326v2","created_at":"2026-05-18T00:42:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.09326","created_at":"2026-05-18T00:42:43Z"},{"alias_kind":"pith_short_12","alias_value":"XIIVIQ7L34I3","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"XIIVIQ7L34I3BGK2","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"XIIVIQ7L","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:XIIVIQ7L34I3BGK2CQUMWBBJXY","target":"record","payload":{"canonical_record":{"source":{"id":"1703.09326","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-27T22:24:36Z","cross_cats_sorted":[],"title_canon_sha256":"2642ca29277b330fc44e284b9d2d273a644567944685a0224394213527a7e7a4","abstract_canon_sha256":"ca5e6f2af3bee6b849b905d9708aa2217aa830da73008e7006ebd085408e3ccf"},"schema_version":"1.0"},"canonical_sha256":"ba115443ebdf11b0995a1428cb0429be3f3115612df1995d84e0f03a66e369ed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:43.714386Z","signature_b64":"Kw4VoKaDMMcccrWbzKCNAuZATdkXC7hXDug7mD80i2sCxr0Plo0v0uSCpRn5MhaW/xXw6DJvqvT3QS0COJyRBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ba115443ebdf11b0995a1428cb0429be3f3115612df1995d84e0f03a66e369ed","last_reissued_at":"2026-05-18T00:42:43.713639Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:43.713639Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.09326","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:42:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pTSM8fw8becrQVfed9j5ZhH35FfZxCQktC9Cpl5abNUeiBgFd/rZi1zUlWQyV1TlmATyWff3Ex/veSZgYd4EAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T14:23:57.291916Z"},"content_sha256":"e1402552ca075cd90de7d820afbf55c9d0ea9f88cbebbe7181f6386ef87e2977","schema_version":"1.0","event_id":"sha256:e1402552ca075cd90de7d820afbf55c9d0ea9f88cbebbe7181f6386ef87e2977"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:XIIVIQ7L34I3BGK2CQUMWBBJXY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Preserving Stabilization while Practically Bounding State Space","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Sandeep S. Kulkarni, Vidhya Tekken Valapil","submitted_at":"2017-03-27T22:24:36Z","abstract_excerpt":"Stabilization is a key dependability property for dealing with unanticipated transient faults, as it guarantees that even in the presence of such faults, the system will recover to states where it satisfies its specification. One of the desirable attributes of stabilization is the use of bounded space for each variable. In this paper, we present an algorithm that transforms a stabilizing program that uses variables with unbounded domain into a stabilizing program that uses bounded variables and (practically bounded) physical time. While non-stabilizing programs (that do not handle transient fa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.09326","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:42:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6jOxfT36UjVATf9kPKAax7Sev3TPUiptICrnQ/rhAGRre0iVFQoOVIjYjVMy0az6jNX0dUyGhFsPBSRJQwwdDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T14:23:57.292680Z"},"content_sha256":"d9c3309e600fcec39c95ed4951ec8748d74590a0023af51a43e17e9d41547492","schema_version":"1.0","event_id":"sha256:d9c3309e600fcec39c95ed4951ec8748d74590a0023af51a43e17e9d41547492"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XIIVIQ7L34I3BGK2CQUMWBBJXY/bundle.json","state_url":"https://pith.science/pith/XIIVIQ7L34I3BGK2CQUMWBBJXY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XIIVIQ7L34I3BGK2CQUMWBBJXY/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-30T14:23:57Z","links":{"resolver":"https://pith.science/pith/XIIVIQ7L34I3BGK2CQUMWBBJXY","bundle":"https://pith.science/pith/XIIVIQ7L34I3BGK2CQUMWBBJXY/bundle.json","state":"https://pith.science/pith/XIIVIQ7L34I3BGK2CQUMWBBJXY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XIIVIQ7L34I3BGK2CQUMWBBJXY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XIIVIQ7L34I3BGK2CQUMWBBJXY","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":"ca5e6f2af3bee6b849b905d9708aa2217aa830da73008e7006ebd085408e3ccf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-27T22:24:36Z","title_canon_sha256":"2642ca29277b330fc44e284b9d2d273a644567944685a0224394213527a7e7a4"},"schema_version":"1.0","source":{"id":"1703.09326","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.09326","created_at":"2026-05-18T00:42:43Z"},{"alias_kind":"arxiv_version","alias_value":"1703.09326v2","created_at":"2026-05-18T00:42:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.09326","created_at":"2026-05-18T00:42:43Z"},{"alias_kind":"pith_short_12","alias_value":"XIIVIQ7L34I3","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"XIIVIQ7L34I3BGK2","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"XIIVIQ7L","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:d9c3309e600fcec39c95ed4951ec8748d74590a0023af51a43e17e9d41547492","target":"graph","created_at":"2026-05-18T00:42:43Z","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":"Stabilization is a key dependability property for dealing with unanticipated transient faults, as it guarantees that even in the presence of such faults, the system will recover to states where it satisfies its specification. One of the desirable attributes of stabilization is the use of bounded space for each variable. In this paper, we present an algorithm that transforms a stabilizing program that uses variables with unbounded domain into a stabilizing program that uses bounded variables and (practically bounded) physical time. While non-stabilizing programs (that do not handle transient fa","authors_text":"Sandeep S. Kulkarni, Vidhya Tekken Valapil","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-27T22:24:36Z","title":"Preserving Stabilization while Practically Bounding State Space"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.09326","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:e1402552ca075cd90de7d820afbf55c9d0ea9f88cbebbe7181f6386ef87e2977","target":"record","created_at":"2026-05-18T00:42:43Z","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":"ca5e6f2af3bee6b849b905d9708aa2217aa830da73008e7006ebd085408e3ccf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-27T22:24:36Z","title_canon_sha256":"2642ca29277b330fc44e284b9d2d273a644567944685a0224394213527a7e7a4"},"schema_version":"1.0","source":{"id":"1703.09326","kind":"arxiv","version":2}},"canonical_sha256":"ba115443ebdf11b0995a1428cb0429be3f3115612df1995d84e0f03a66e369ed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ba115443ebdf11b0995a1428cb0429be3f3115612df1995d84e0f03a66e369ed","first_computed_at":"2026-05-18T00:42:43.713639Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:42:43.713639Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Kw4VoKaDMMcccrWbzKCNAuZATdkXC7hXDug7mD80i2sCxr0Plo0v0uSCpRn5MhaW/xXw6DJvqvT3QS0COJyRBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:42:43.714386Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.09326","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e1402552ca075cd90de7d820afbf55c9d0ea9f88cbebbe7181f6386ef87e2977","sha256:d9c3309e600fcec39c95ed4951ec8748d74590a0023af51a43e17e9d41547492"],"state_sha256":"e5c9e78fd94ae26cd76fe772a7134e5a09151cbaf5e0fee67be3f403adce4d1c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ie0RNviVwbkiJHjv2WAg4INY10NaTTK2yNrNxaKTBKVjpSXI57xd6WIlGSWbd6yzqdUp+jHW5EqNElfh+W/jAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T14:23:57.296640Z","bundle_sha256":"618f18fd6a06052ac75f7fcdce8cdcf5e6216bef52831dc166083503c4a090c8"}}