{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:PWBNPEDW42XNLF6UH2LIDGZY7M","short_pith_number":"pith:PWBNPEDW","canonical_record":{"source":{"id":"2606.10598","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-09T09:01:41Z","cross_cats_sorted":[],"title_canon_sha256":"3a88d75e87339b648630b6d9887bbdd9823b9125b417e9e03aebe5567cae3c79","abstract_canon_sha256":"abe8799552fe966e11212e4f6be33774a225d0e5052401c127e48b829be79bd3"},"schema_version":"1.0"},"canonical_sha256":"7d82d79076e6aed597d43e96819b38fb11eed25d7d57ba233225bc7909573253","source":{"kind":"arxiv","id":"2606.10598","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.10598","created_at":"2026-06-10T01:10:28Z"},{"alias_kind":"arxiv_version","alias_value":"2606.10598v1","created_at":"2026-06-10T01:10:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.10598","created_at":"2026-06-10T01:10:28Z"},{"alias_kind":"pith_short_12","alias_value":"PWBNPEDW42XN","created_at":"2026-06-10T01:10:28Z"},{"alias_kind":"pith_short_16","alias_value":"PWBNPEDW42XNLF6U","created_at":"2026-06-10T01:10:28Z"},{"alias_kind":"pith_short_8","alias_value":"PWBNPEDW","created_at":"2026-06-10T01:10:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:PWBNPEDW42XNLF6UH2LIDGZY7M","target":"record","payload":{"canonical_record":{"source":{"id":"2606.10598","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-09T09:01:41Z","cross_cats_sorted":[],"title_canon_sha256":"3a88d75e87339b648630b6d9887bbdd9823b9125b417e9e03aebe5567cae3c79","abstract_canon_sha256":"abe8799552fe966e11212e4f6be33774a225d0e5052401c127e48b829be79bd3"},"schema_version":"1.0"},"canonical_sha256":"7d82d79076e6aed597d43e96819b38fb11eed25d7d57ba233225bc7909573253","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-10T01:10:28.738459Z","signature_b64":"BApraf+4LXSuTDrpH4cZQnyAWBGzhm+Lv1pF9GwwIZbkBi7SDuOkOD+CyFGZo03EiVBASl4kk73p+/mizWg2AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7d82d79076e6aed597d43e96819b38fb11eed25d7d57ba233225bc7909573253","last_reissued_at":"2026-06-10T01:10:28.737594Z","signature_status":"signed_v1","first_computed_at":"2026-06-10T01:10:28.737594Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.10598","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-06-10T01:10:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HuvjLdgA61Cvz4MBY2nrGwfHPLaoI8f8jJ9/gsbPWZG0Vcq63knzT4vKiGS6mPYRz5JGN/qsBxbw8A/qOzEvCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T14:50:01.588465Z"},"content_sha256":"1cad8a648557da773a0153427ba326541db65941c44359467b51c1912b26ff4d","schema_version":"1.0","event_id":"sha256:1cad8a648557da773a0153427ba326541db65941c44359467b51c1912b26ff4d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:PWBNPEDW42XNLF6UH2LIDGZY7M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exploring and Complementing End Users' Requirements in IoT enabled System","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chenxu Wang, Haotian Li, Haoxiang Yan, Shuyuan Xiao, Xiaohong Chen, Xiaoyi Chen, Zhi Jin","submitted_at":"2026-06-09T09:01:41Z","abstract_excerpt":"End users create IoT automation rules via trigger action programming, but their expressions are often fragmented, capturing device operations rather than high level intents. This gap leads to missing conditions, logical conflicts, and overlooked safety constraints, risking hazardous behaviors. To address this, we propose an intent driven requirements completion approach that reframes rule completion as a dual process: reconstructing intent from fragmented rules, then regenerating rules from that intent, with safety embedded throughout. We introduce a Bidirectional Requirements Traceability Tre"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.10598","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.10598/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-06-10T01:10:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eN/VOspWjczsrykNIhXdU5FdD53tF3fOmnw2tcgwdRa14YPSxDFJdk4oBqThYfGzVdqXN66t1Mint4CjgGb4DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T14:50:01.589009Z"},"content_sha256":"2d901f4dca854b9225a91772a9a14fc82bb3d4e882de3644914de934992dee02","schema_version":"1.0","event_id":"sha256:2d901f4dca854b9225a91772a9a14fc82bb3d4e882de3644914de934992dee02"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PWBNPEDW42XNLF6UH2LIDGZY7M/bundle.json","state_url":"https://pith.science/pith/PWBNPEDW42XNLF6UH2LIDGZY7M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PWBNPEDW42XNLF6UH2LIDGZY7M/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-08-03T14:50:01Z","links":{"resolver":"https://pith.science/pith/PWBNPEDW42XNLF6UH2LIDGZY7M","bundle":"https://pith.science/pith/PWBNPEDW42XNLF6UH2LIDGZY7M/bundle.json","state":"https://pith.science/pith/PWBNPEDW42XNLF6UH2LIDGZY7M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PWBNPEDW42XNLF6UH2LIDGZY7M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:PWBNPEDW42XNLF6UH2LIDGZY7M","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":"abe8799552fe966e11212e4f6be33774a225d0e5052401c127e48b829be79bd3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-09T09:01:41Z","title_canon_sha256":"3a88d75e87339b648630b6d9887bbdd9823b9125b417e9e03aebe5567cae3c79"},"schema_version":"1.0","source":{"id":"2606.10598","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.10598","created_at":"2026-06-10T01:10:28Z"},{"alias_kind":"arxiv_version","alias_value":"2606.10598v1","created_at":"2026-06-10T01:10:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.10598","created_at":"2026-06-10T01:10:28Z"},{"alias_kind":"pith_short_12","alias_value":"PWBNPEDW42XN","created_at":"2026-06-10T01:10:28Z"},{"alias_kind":"pith_short_16","alias_value":"PWBNPEDW42XNLF6U","created_at":"2026-06-10T01:10:28Z"},{"alias_kind":"pith_short_8","alias_value":"PWBNPEDW","created_at":"2026-06-10T01:10:28Z"}],"graph_snapshots":[{"event_id":"sha256:2d901f4dca854b9225a91772a9a14fc82bb3d4e882de3644914de934992dee02","target":"graph","created_at":"2026-06-10T01:10:28Z","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/2606.10598/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"End users create IoT automation rules via trigger action programming, but their expressions are often fragmented, capturing device operations rather than high level intents. This gap leads to missing conditions, logical conflicts, and overlooked safety constraints, risking hazardous behaviors. To address this, we propose an intent driven requirements completion approach that reframes rule completion as a dual process: reconstructing intent from fragmented rules, then regenerating rules from that intent, with safety embedded throughout. We introduce a Bidirectional Requirements Traceability Tre","authors_text":"Chenxu Wang, Haotian Li, Haoxiang Yan, Shuyuan Xiao, Xiaohong Chen, Xiaoyi Chen, Zhi Jin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-09T09:01:41Z","title":"Exploring and Complementing End Users' Requirements in IoT enabled System"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.10598","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:1cad8a648557da773a0153427ba326541db65941c44359467b51c1912b26ff4d","target":"record","created_at":"2026-06-10T01:10:28Z","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":"abe8799552fe966e11212e4f6be33774a225d0e5052401c127e48b829be79bd3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-09T09:01:41Z","title_canon_sha256":"3a88d75e87339b648630b6d9887bbdd9823b9125b417e9e03aebe5567cae3c79"},"schema_version":"1.0","source":{"id":"2606.10598","kind":"arxiv","version":1}},"canonical_sha256":"7d82d79076e6aed597d43e96819b38fb11eed25d7d57ba233225bc7909573253","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7d82d79076e6aed597d43e96819b38fb11eed25d7d57ba233225bc7909573253","first_computed_at":"2026-06-10T01:10:28.737594Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-10T01:10:28.737594Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BApraf+4LXSuTDrpH4cZQnyAWBGzhm+Lv1pF9GwwIZbkBi7SDuOkOD+CyFGZo03EiVBASl4kk73p+/mizWg2AA==","signature_status":"signed_v1","signed_at":"2026-06-10T01:10:28.738459Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.10598","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1cad8a648557da773a0153427ba326541db65941c44359467b51c1912b26ff4d","sha256:2d901f4dca854b9225a91772a9a14fc82bb3d4e882de3644914de934992dee02"],"state_sha256":"e5a5a281b4f589debcab1b0dc607eafe33b432521615a97018e38a3b80c975c4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6PsKxDKJaT69SDLXLqM12TJaynVNhfekFCPJAh22brUM5tZTfP4LYOSzogfv1nlyum1aekvDDBZwcMLPHtRECA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T14:50:01.595029Z","bundle_sha256":"d8c4acf68624124b3b4a3e8d9657d62f94cc14dabbea0721554da7b3ed9b21f3"}}