{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:AFVFFEL5RZYJGH42QI7RK4IODF","short_pith_number":"pith:AFVFFEL5","canonical_record":{"source":{"id":"0904.4615","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2009-04-29T14:04:59Z","cross_cats_sorted":["cs.NI"],"title_canon_sha256":"67e03d6e341c85ee1b897fec810f8b442aae45b86944e6313c106cdc3fb09657","abstract_canon_sha256":"8fc2eb4009f436b0d7521caf9a2d195b5d255d7e5e1873845f61c1f48cd25bf1"},"schema_version":"1.0"},"canonical_sha256":"016a52917d8e70931f9a823f15710e196cf4296d92e6770f4f5ad7121de014c2","source":{"kind":"arxiv","id":"0904.4615","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0904.4615","created_at":"2026-05-18T04:29:43Z"},{"alias_kind":"arxiv_version","alias_value":"0904.4615v2","created_at":"2026-05-18T04:29:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0904.4615","created_at":"2026-05-18T04:29:43Z"},{"alias_kind":"pith_short_12","alias_value":"AFVFFEL5RZYJ","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"AFVFFEL5RZYJGH42","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"AFVFFEL5","created_at":"2026-05-18T12:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:AFVFFEL5RZYJGH42QI7RK4IODF","target":"record","payload":{"canonical_record":{"source":{"id":"0904.4615","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2009-04-29T14:04:59Z","cross_cats_sorted":["cs.NI"],"title_canon_sha256":"67e03d6e341c85ee1b897fec810f8b442aae45b86944e6313c106cdc3fb09657","abstract_canon_sha256":"8fc2eb4009f436b0d7521caf9a2d195b5d255d7e5e1873845f61c1f48cd25bf1"},"schema_version":"1.0"},"canonical_sha256":"016a52917d8e70931f9a823f15710e196cf4296d92e6770f4f5ad7121de014c2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:29:43.263809Z","signature_b64":"byh7BHOhGzR3dPcHx6WhGKAo//JBUjeWkV9Usv9qGu6u6VFm50wcUSekGh93RhrFrp4RAp91fNSBcL10qLrPDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"016a52917d8e70931f9a823f15710e196cf4296d92e6770f4f5ad7121de014c2","last_reissued_at":"2026-05-18T04:29:43.263279Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:29:43.263279Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0904.4615","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-18T04:29:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yg/Yfky9KKp3jpYlsI7KkzdfJUC+9pRD/cvpIfV666wZCvlLbrqMmt8UbzN9GvE6l036qlV6KnnZjbI7EnxcBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T19:39:13.163121Z"},"content_sha256":"163508e96d0952b647b62889b28f77a49508002b4acebc8e48bd607aa7adeb20","schema_version":"1.0","event_id":"sha256:163508e96d0952b647b62889b28f77a49508002b4acebc8e48bd607aa7adeb20"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:AFVFFEL5RZYJGH42QI7RK4IODF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Dynamic FTSS in Asynchronous Systems: the Case of Unison","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NI"],"primary_cat":"cs.DS","authors_text":"LIP6), Maria Potop-Butucaru (INRIA Rocquencourt, S\\'ebastien Tixeuil (LIP6), Swan Dubois (INRIA Rocquencourt","submitted_at":"2009-04-29T14:04:59Z","abstract_excerpt":"Distributed fault-tolerance can mask the effect of a limited number of permanent faults, while self-stabilization provides forward recovery after an arbitrary number of transient fault hit the system. FTSS protocols combine the best of both worlds since they are simultaneously fault-tolerant and self-stabilizing. To date, FTSS solutions either consider static (i.e. fixed point) tasks, or assume synchronous scheduling of the system components. In this paper, we present the first study of dynamic tasks in asynchronous systems, considering the unison problem as a benchmark. Unison can be seen as "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0904.4615","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-18T04:29:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GofNSqbAua3gmCCbDk9aJRe+B7Bt3IQjGvmlzveYSUbLsLefvpleT6lxZnGYGmFBO97tQFFyf03QeRj0dc/kDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T19:39:13.163600Z"},"content_sha256":"b5d554a8a5f3d0e594f823beb14384de0ce37edda04c1cb2353f8b816d87ce6b","schema_version":"1.0","event_id":"sha256:b5d554a8a5f3d0e594f823beb14384de0ce37edda04c1cb2353f8b816d87ce6b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AFVFFEL5RZYJGH42QI7RK4IODF/bundle.json","state_url":"https://pith.science/pith/AFVFFEL5RZYJGH42QI7RK4IODF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AFVFFEL5RZYJGH42QI7RK4IODF/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-22T19:39:13Z","links":{"resolver":"https://pith.science/pith/AFVFFEL5RZYJGH42QI7RK4IODF","bundle":"https://pith.science/pith/AFVFFEL5RZYJGH42QI7RK4IODF/bundle.json","state":"https://pith.science/pith/AFVFFEL5RZYJGH42QI7RK4IODF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AFVFFEL5RZYJGH42QI7RK4IODF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:AFVFFEL5RZYJGH42QI7RK4IODF","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":"8fc2eb4009f436b0d7521caf9a2d195b5d255d7e5e1873845f61c1f48cd25bf1","cross_cats_sorted":["cs.NI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2009-04-29T14:04:59Z","title_canon_sha256":"67e03d6e341c85ee1b897fec810f8b442aae45b86944e6313c106cdc3fb09657"},"schema_version":"1.0","source":{"id":"0904.4615","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0904.4615","created_at":"2026-05-18T04:29:43Z"},{"alias_kind":"arxiv_version","alias_value":"0904.4615v2","created_at":"2026-05-18T04:29:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0904.4615","created_at":"2026-05-18T04:29:43Z"},{"alias_kind":"pith_short_12","alias_value":"AFVFFEL5RZYJ","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"AFVFFEL5RZYJGH42","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"AFVFFEL5","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:b5d554a8a5f3d0e594f823beb14384de0ce37edda04c1cb2353f8b816d87ce6b","target":"graph","created_at":"2026-05-18T04:29: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":"Distributed fault-tolerance can mask the effect of a limited number of permanent faults, while self-stabilization provides forward recovery after an arbitrary number of transient fault hit the system. FTSS protocols combine the best of both worlds since they are simultaneously fault-tolerant and self-stabilizing. To date, FTSS solutions either consider static (i.e. fixed point) tasks, or assume synchronous scheduling of the system components. In this paper, we present the first study of dynamic tasks in asynchronous systems, considering the unison problem as a benchmark. Unison can be seen as ","authors_text":"LIP6), Maria Potop-Butucaru (INRIA Rocquencourt, S\\'ebastien Tixeuil (LIP6), Swan Dubois (INRIA Rocquencourt","cross_cats":["cs.NI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2009-04-29T14:04:59Z","title":"Dynamic FTSS in Asynchronous Systems: the Case of Unison"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0904.4615","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:163508e96d0952b647b62889b28f77a49508002b4acebc8e48bd607aa7adeb20","target":"record","created_at":"2026-05-18T04:29: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":"8fc2eb4009f436b0d7521caf9a2d195b5d255d7e5e1873845f61c1f48cd25bf1","cross_cats_sorted":["cs.NI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2009-04-29T14:04:59Z","title_canon_sha256":"67e03d6e341c85ee1b897fec810f8b442aae45b86944e6313c106cdc3fb09657"},"schema_version":"1.0","source":{"id":"0904.4615","kind":"arxiv","version":2}},"canonical_sha256":"016a52917d8e70931f9a823f15710e196cf4296d92e6770f4f5ad7121de014c2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"016a52917d8e70931f9a823f15710e196cf4296d92e6770f4f5ad7121de014c2","first_computed_at":"2026-05-18T04:29:43.263279Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:29:43.263279Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"byh7BHOhGzR3dPcHx6WhGKAo//JBUjeWkV9Usv9qGu6u6VFm50wcUSekGh93RhrFrp4RAp91fNSBcL10qLrPDA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:29:43.263809Z","signed_message":"canonical_sha256_bytes"},"source_id":"0904.4615","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:163508e96d0952b647b62889b28f77a49508002b4acebc8e48bd607aa7adeb20","sha256:b5d554a8a5f3d0e594f823beb14384de0ce37edda04c1cb2353f8b816d87ce6b"],"state_sha256":"31bf2a6e2a00b23756dc9c4b3e9f02fcbba3ef0fc43087188977852eeea0001f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Si1aSuA3Cp1yNDuFuVB36ekG6Tm3A6x64VInkhkvK+rxj+3BSLKoAoBwt/NbI7lG0QyD7OAeMEBiZOqTIH4zBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T19:39:13.165653Z","bundle_sha256":"f55d2197c8778e2b1e5953b9072d6f4bf32c67739dda8864045a9614976ce322"}}