{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:PQ5XQM6HWPF43L47IZEDWIFIJT","short_pith_number":"pith:PQ5XQM6H","canonical_record":{"source":{"id":"1502.03985","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-02-13T13:45:35Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"270636832973129d331300792f7dd646fa29bb58666a83363e89a52b5b8d3879","abstract_canon_sha256":"2a8dd2ca28b7207123b51dc2797b0543fdb8900710c1332a3ea1dd8038498a78"},"schema_version":"1.0"},"canonical_sha256":"7c3b7833c7b3cbcdaf9f46483b20a84cf084a6bfa9c352f7b265020c6841d1e0","source":{"kind":"arxiv","id":"1502.03985","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.03985","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"arxiv_version","alias_value":"1502.03985v1","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.03985","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"pith_short_12","alias_value":"PQ5XQM6HWPF4","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"PQ5XQM6HWPF43L47","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"PQ5XQM6H","created_at":"2026-05-18T12:29:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:PQ5XQM6HWPF43L47IZEDWIFIJT","target":"record","payload":{"canonical_record":{"source":{"id":"1502.03985","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-02-13T13:45:35Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"270636832973129d331300792f7dd646fa29bb58666a83363e89a52b5b8d3879","abstract_canon_sha256":"2a8dd2ca28b7207123b51dc2797b0543fdb8900710c1332a3ea1dd8038498a78"},"schema_version":"1.0"},"canonical_sha256":"7c3b7833c7b3cbcdaf9f46483b20a84cf084a6bfa9c352f7b265020c6841d1e0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:27:06.778155Z","signature_b64":"r0JwIY1iasA1OXhympW/wEcPMPBO6cEUL4N+yKDHzRPMhT8aIc/eYvUjl1MFTfOUn/BkSGIrxLgG0vw+eRMgAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7c3b7833c7b3cbcdaf9f46483b20a84cf084a6bfa9c352f7b265020c6841d1e0","last_reissued_at":"2026-05-18T02:27:06.777440Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:27:06.777440Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.03985","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-18T02:27:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AVaNOkX/Q8h5TMiI+D99d+ea1aB8FIZDO6+MNHQ3feaWpmsgjM5yRiRS9AIGhnj5kIfy9P7k5sLsEUOC62iqAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T01:43:20.723112Z"},"content_sha256":"e7d0262ebfa37720c266d660f1aee6dedc76f511c6354178f4c76ca9b1b770fe","schema_version":"1.0","event_id":"sha256:e7d0262ebfa37720c266d660f1aee6dedc76f511c6354178f4c76ca9b1b770fe"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:PQ5XQM6HWPF43L47IZEDWIFIJT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A local strategy for cleaning expanding cellular domains by simple robots","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CG"],"primary_cat":"cs.DS","authors_text":"David Kriesel, Elmar Langetepe, Rolf Klein","submitted_at":"2015-02-13T13:45:35Z","abstract_excerpt":"We present a strategy SEP for finite state machines tasked with cleaning a cellular environment in which a contamination spreads. Initially, the contaminated area is of height $h$ and width $w$. It may be bounded by four monotonic chains, and contain rectangular holes. The robot does not know the initial contamination, sensing only the eight cells in its neighborhood. It moves from cell to cell, $d$ times faster than the contamination spreads, and is able to clean its current cell. A speed of $d<\\sqrt{2}(h+w)$ is in general not sufficient to contain the contamination. Our strategy SEP succeeds"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.03985","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-18T02:27:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TT89S3pCbfVHCN2kwuFdhDMBsTVolJZ59s8hBu2C5Yr8NDyP6aIhvOgiF+PtqLOCHTxA4C7//NWegc5wv6T7DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T01:43:20.723815Z"},"content_sha256":"ad5968a6c72a857164884f53e29c05626bea5811b899db357a5b02c4ac50b492","schema_version":"1.0","event_id":"sha256:ad5968a6c72a857164884f53e29c05626bea5811b899db357a5b02c4ac50b492"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PQ5XQM6HWPF43L47IZEDWIFIJT/bundle.json","state_url":"https://pith.science/pith/PQ5XQM6HWPF43L47IZEDWIFIJT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PQ5XQM6HWPF43L47IZEDWIFIJT/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-06-01T01:43:20Z","links":{"resolver":"https://pith.science/pith/PQ5XQM6HWPF43L47IZEDWIFIJT","bundle":"https://pith.science/pith/PQ5XQM6HWPF43L47IZEDWIFIJT/bundle.json","state":"https://pith.science/pith/PQ5XQM6HWPF43L47IZEDWIFIJT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PQ5XQM6HWPF43L47IZEDWIFIJT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:PQ5XQM6HWPF43L47IZEDWIFIJT","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":"2a8dd2ca28b7207123b51dc2797b0543fdb8900710c1332a3ea1dd8038498a78","cross_cats_sorted":["cs.CG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-02-13T13:45:35Z","title_canon_sha256":"270636832973129d331300792f7dd646fa29bb58666a83363e89a52b5b8d3879"},"schema_version":"1.0","source":{"id":"1502.03985","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.03985","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"arxiv_version","alias_value":"1502.03985v1","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.03985","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"pith_short_12","alias_value":"PQ5XQM6HWPF4","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"PQ5XQM6HWPF43L47","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"PQ5XQM6H","created_at":"2026-05-18T12:29:37Z"}],"graph_snapshots":[{"event_id":"sha256:ad5968a6c72a857164884f53e29c05626bea5811b899db357a5b02c4ac50b492","target":"graph","created_at":"2026-05-18T02:27:06Z","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":"We present a strategy SEP for finite state machines tasked with cleaning a cellular environment in which a contamination spreads. Initially, the contaminated area is of height $h$ and width $w$. It may be bounded by four monotonic chains, and contain rectangular holes. The robot does not know the initial contamination, sensing only the eight cells in its neighborhood. It moves from cell to cell, $d$ times faster than the contamination spreads, and is able to clean its current cell. A speed of $d<\\sqrt{2}(h+w)$ is in general not sufficient to contain the contamination. Our strategy SEP succeeds","authors_text":"David Kriesel, Elmar Langetepe, Rolf Klein","cross_cats":["cs.CG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-02-13T13:45:35Z","title":"A local strategy for cleaning expanding cellular domains by simple robots"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.03985","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:e7d0262ebfa37720c266d660f1aee6dedc76f511c6354178f4c76ca9b1b770fe","target":"record","created_at":"2026-05-18T02:27:06Z","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":"2a8dd2ca28b7207123b51dc2797b0543fdb8900710c1332a3ea1dd8038498a78","cross_cats_sorted":["cs.CG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-02-13T13:45:35Z","title_canon_sha256":"270636832973129d331300792f7dd646fa29bb58666a83363e89a52b5b8d3879"},"schema_version":"1.0","source":{"id":"1502.03985","kind":"arxiv","version":1}},"canonical_sha256":"7c3b7833c7b3cbcdaf9f46483b20a84cf084a6bfa9c352f7b265020c6841d1e0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7c3b7833c7b3cbcdaf9f46483b20a84cf084a6bfa9c352f7b265020c6841d1e0","first_computed_at":"2026-05-18T02:27:06.777440Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:27:06.777440Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"r0JwIY1iasA1OXhympW/wEcPMPBO6cEUL4N+yKDHzRPMhT8aIc/eYvUjl1MFTfOUn/BkSGIrxLgG0vw+eRMgAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:27:06.778155Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.03985","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e7d0262ebfa37720c266d660f1aee6dedc76f511c6354178f4c76ca9b1b770fe","sha256:ad5968a6c72a857164884f53e29c05626bea5811b899db357a5b02c4ac50b492"],"state_sha256":"ea8df4b94bffa9ea8b480fcd37f923d2369aee90d36fa5d4f60e708858c361cd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ucyMgkou/0X66x9o3xCm+TGhoJc992JNiv0Licf2l2Qxl6IqOxZMJO6wOQ1Ys/lXEKIfo2egD1KNLVL0aK0nBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T01:43:20.727279Z","bundle_sha256":"c7e714b19335bc610f1ba7bc32a913a2e0d63e13e92348fc0c665c54c0ca8bd9"}}