{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:C7DT3RTTYWTFXO6MHUM77JZKAO","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":"2f9cc9ef1c19076700fe68ce3a229c630effe0f7ce2fcc588a7790abfcdcb365","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2026-07-31T09:18:14Z","title_canon_sha256":"569374a98a434f8d706656209ad9c8d28b51551b490d4cb4aaff4ce7e008a350"},"schema_version":"1.0","source":{"id":"2607.29198","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.29198","created_at":"2026-08-03T01:21:01Z"},{"alias_kind":"arxiv_version","alias_value":"2607.29198v1","created_at":"2026-08-03T01:21:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.29198","created_at":"2026-08-03T01:21:01Z"},{"alias_kind":"pith_short_12","alias_value":"C7DT3RTTYWTF","created_at":"2026-08-03T01:21:01Z"},{"alias_kind":"pith_short_16","alias_value":"C7DT3RTTYWTFXO6M","created_at":"2026-08-03T01:21:01Z"},{"alias_kind":"pith_short_8","alias_value":"C7DT3RTT","created_at":"2026-08-03T01:21:01Z"}],"graph_snapshots":[{"event_id":"sha256:fae4f99c066dabddff50ae20676b61c7f19ce665a4a8461373e158665f43df81","target":"graph","created_at":"2026-08-03T01:21: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.29198/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Internet of Things (IoT) devices in smart spaces and buildings are an emerging class of distributed systems with critical safety requirements. This paper presents Knox, the first system to enable safety checking in IoT-enabled smart spaces. Knox's contributions include (i) safety specifications: a new language for safety clauses in such smart spaces, and (ii) static safety checking: two new algorithms for static verification of multiple safety properties across multiple routines running inside a smart space. Since the latter problem is NP-hard, we present and analyze novel and explainable algo","authors_text":"Indranil Gupta, Jadon T. Schuler, Kaimeng Zhu, Oliver Rogalski, Rishabh Menezes","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2026-07-31T09:18:14Z","title":"Knox: Fortifying Smart Spaces With Safety Guarantees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.29198","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:c1194f82a175e5f2c9a17bd5725e5bc352782cd55681c1b79219ce5470f8cc78","target":"record","created_at":"2026-08-03T01:21: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":"2f9cc9ef1c19076700fe68ce3a229c630effe0f7ce2fcc588a7790abfcdcb365","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2026-07-31T09:18:14Z","title_canon_sha256":"569374a98a434f8d706656209ad9c8d28b51551b490d4cb4aaff4ce7e008a350"},"schema_version":"1.0","source":{"id":"2607.29198","kind":"arxiv","version":1}},"canonical_sha256":"17c73dc673c5a65bbbcc3d19ffa72a03bb23e432fa744791d62a2b51bac281cd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"17c73dc673c5a65bbbcc3d19ffa72a03bb23e432fa744791d62a2b51bac281cd","first_computed_at":"2026-08-03T01:21:01.610569Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-03T01:21:01.610569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qJbDIKkcmsxWNAxpWeRkOn7SUaOqyISxD+facxBnv+VP2JaO4ZMszCnsbLECF2IAKufNyAh7Ng/DxeIvLjl5Bg==","signature_status":"signed_v1","signed_at":"2026-08-03T01:21:01.612328Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.29198","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c1194f82a175e5f2c9a17bd5725e5bc352782cd55681c1b79219ce5470f8cc78","sha256:fae4f99c066dabddff50ae20676b61c7f19ce665a4a8461373e158665f43df81"],"state_sha256":"65c17a932dc7a4ad6e5bc9b65650ef08d0dd87a3bf56c2a62c4f18396bba40cc"}