{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:QVSYTT3ZJIT2HFQKJJLYAUPQF4","short_pith_number":"pith:QVSYTT3Z","canonical_record":{"source":{"id":"2602.05510","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2026-02-05T10:08:40Z","cross_cats_sorted":[],"title_canon_sha256":"71d184578b6cc90cfc4a7e551803cb51914fd3eed57e27305ab75a8fcb23a3b6","abstract_canon_sha256":"bc96b730fb3a794bb3caaed0c07580100275f4c30adfdbe9cb2c42a4af669f31"},"schema_version":"1.0"},"canonical_sha256":"856589cf794a27a3960a4a578051f02f02b2e44d85c29e83b686c26acadf4da0","source":{"kind":"arxiv","id":"2602.05510","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.05510","created_at":"2026-08-07T00:45:34Z"},{"alias_kind":"arxiv_version","alias_value":"2602.05510v3","created_at":"2026-08-07T00:45:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.05510","created_at":"2026-08-07T00:45:34Z"},{"alias_kind":"pith_short_12","alias_value":"QVSYTT3ZJIT2","created_at":"2026-08-07T00:45:34Z"},{"alias_kind":"pith_short_16","alias_value":"QVSYTT3ZJIT2HFQK","created_at":"2026-08-07T00:45:34Z"},{"alias_kind":"pith_short_8","alias_value":"QVSYTT3Z","created_at":"2026-08-07T00:45:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:QVSYTT3ZJIT2HFQKJJLYAUPQF4","target":"record","payload":{"canonical_record":{"source":{"id":"2602.05510","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2026-02-05T10:08:40Z","cross_cats_sorted":[],"title_canon_sha256":"71d184578b6cc90cfc4a7e551803cb51914fd3eed57e27305ab75a8fcb23a3b6","abstract_canon_sha256":"bc96b730fb3a794bb3caaed0c07580100275f4c30adfdbe9cb2c42a4af669f31"},"schema_version":"1.0"},"canonical_sha256":"856589cf794a27a3960a4a578051f02f02b2e44d85c29e83b686c26acadf4da0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-07T00:45:34.267350Z","signature_b64":"uzieK3YHGGGsibbP0wDFq7+yYeN60FNr53FDwGFVxqWPvnxjFIo4eZiVnovN9Qd5oOK5aZo9pp/ynCcQr8KPCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"856589cf794a27a3960a4a578051f02f02b2e44d85c29e83b686c26acadf4da0","last_reissued_at":"2026-08-07T00:45:34.265845Z","signature_status":"signed_v1","first_computed_at":"2026-08-07T00:45:34.265845Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2602.05510","source_version":3,"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-08-07T00:45:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ivqy0n+LIq2RVTX+pqR6lWm6x58Ae76unU7aEJ/jL5OmL65VKlths9cDxUXB6RXKwNgjy1St4YMCjtfDPuMjDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T11:10:56.660802Z"},"content_sha256":"51bf3b39036817e7e954612714494b84813768cfcd9f604328159f3fa4c8dc67","schema_version":"1.0","event_id":"sha256:51bf3b39036817e7e954612714494b84813768cfcd9f604328159f3fa4c8dc67"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:QVSYTT3ZJIT2HFQKJJLYAUPQF4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Statistical Verification of Medium-Access Parameterization for Power-Grid Edge Ad Hoc Sensor Networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Haitian Wang, Xian Zhang, Xinyu Wang, Yihao Ding, Yiren Wang, Zichen Geng","submitted_at":"2026-02-05T10:08:40Z","abstract_excerpt":"The widespread deployment of power grid ad hoc sensor networks based on IEEE 802.15.4 raises reliability challenges when nodes selfishly adapt CSMA/CA parameters to maximize individual performance. Such behavior degrades reliability, energy efficiency, and compliance with strict grid constraints. Existing analytical and simulation approaches often fail to rigorously evaluate configurations under asynchronous, event-driven, and resource-limited conditions. We develop a verification framework that integrates stochastic timed hybrid automata with statistical model checking (SMC) with confidence b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.05510","kind":"arxiv","version":3},"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/2602.05510/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-08-07T00:45:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/RLrK3s8oMpRG/ozW+zafATD+ySGs+6gPTJ1UReHIdiIPCtsp9fwuA80A1mogeYy+7Dtpczm5J4FKY5iKD7hAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T11:10:56.661371Z"},"content_sha256":"c305d8d799101e98147dbf2cf5b719c60cc4de246757f73b2a660c027c188506","schema_version":"1.0","event_id":"sha256:c305d8d799101e98147dbf2cf5b719c60cc4de246757f73b2a660c027c188506"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QVSYTT3ZJIT2HFQKJJLYAUPQF4/bundle.json","state_url":"https://pith.science/pith/QVSYTT3ZJIT2HFQKJJLYAUPQF4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QVSYTT3ZJIT2HFQKJJLYAUPQF4/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-14T11:10:56Z","links":{"resolver":"https://pith.science/pith/QVSYTT3ZJIT2HFQKJJLYAUPQF4","bundle":"https://pith.science/pith/QVSYTT3ZJIT2HFQKJJLYAUPQF4/bundle.json","state":"https://pith.science/pith/QVSYTT3ZJIT2HFQKJJLYAUPQF4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QVSYTT3ZJIT2HFQKJJLYAUPQF4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:QVSYTT3ZJIT2HFQKJJLYAUPQF4","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":"bc96b730fb3a794bb3caaed0c07580100275f4c30adfdbe9cb2c42a4af669f31","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2026-02-05T10:08:40Z","title_canon_sha256":"71d184578b6cc90cfc4a7e551803cb51914fd3eed57e27305ab75a8fcb23a3b6"},"schema_version":"1.0","source":{"id":"2602.05510","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.05510","created_at":"2026-08-07T00:45:34Z"},{"alias_kind":"arxiv_version","alias_value":"2602.05510v3","created_at":"2026-08-07T00:45:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.05510","created_at":"2026-08-07T00:45:34Z"},{"alias_kind":"pith_short_12","alias_value":"QVSYTT3ZJIT2","created_at":"2026-08-07T00:45:34Z"},{"alias_kind":"pith_short_16","alias_value":"QVSYTT3ZJIT2HFQK","created_at":"2026-08-07T00:45:34Z"},{"alias_kind":"pith_short_8","alias_value":"QVSYTT3Z","created_at":"2026-08-07T00:45:34Z"}],"graph_snapshots":[{"event_id":"sha256:c305d8d799101e98147dbf2cf5b719c60cc4de246757f73b2a660c027c188506","target":"graph","created_at":"2026-08-07T00:45:34Z","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/2602.05510/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The widespread deployment of power grid ad hoc sensor networks based on IEEE 802.15.4 raises reliability challenges when nodes selfishly adapt CSMA/CA parameters to maximize individual performance. Such behavior degrades reliability, energy efficiency, and compliance with strict grid constraints. Existing analytical and simulation approaches often fail to rigorously evaluate configurations under asynchronous, event-driven, and resource-limited conditions. We develop a verification framework that integrates stochastic timed hybrid automata with statistical model checking (SMC) with confidence b","authors_text":"Haitian Wang, Xian Zhang, Xinyu Wang, Yihao Ding, Yiren Wang, Zichen Geng","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2026-02-05T10:08:40Z","title":"Statistical Verification of Medium-Access Parameterization for Power-Grid Edge Ad Hoc Sensor Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.05510","kind":"arxiv","version":3},"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:51bf3b39036817e7e954612714494b84813768cfcd9f604328159f3fa4c8dc67","target":"record","created_at":"2026-08-07T00:45:34Z","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":"bc96b730fb3a794bb3caaed0c07580100275f4c30adfdbe9cb2c42a4af669f31","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2026-02-05T10:08:40Z","title_canon_sha256":"71d184578b6cc90cfc4a7e551803cb51914fd3eed57e27305ab75a8fcb23a3b6"},"schema_version":"1.0","source":{"id":"2602.05510","kind":"arxiv","version":3}},"canonical_sha256":"856589cf794a27a3960a4a578051f02f02b2e44d85c29e83b686c26acadf4da0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"856589cf794a27a3960a4a578051f02f02b2e44d85c29e83b686c26acadf4da0","first_computed_at":"2026-08-07T00:45:34.265845Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-07T00:45:34.265845Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uzieK3YHGGGsibbP0wDFq7+yYeN60FNr53FDwGFVxqWPvnxjFIo4eZiVnovN9Qd5oOK5aZo9pp/ynCcQr8KPCw==","signature_status":"signed_v1","signed_at":"2026-08-07T00:45:34.267350Z","signed_message":"canonical_sha256_bytes"},"source_id":"2602.05510","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:51bf3b39036817e7e954612714494b84813768cfcd9f604328159f3fa4c8dc67","sha256:c305d8d799101e98147dbf2cf5b719c60cc4de246757f73b2a660c027c188506"],"state_sha256":"56f47342a223b73d516946e4c6c79d42f4354107111267ec2085361c7354d387"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oR7uyG7CxfTnF8xCtPhKyE+3+YxLqusXectuTqe5i1YekxMHUSH5An59beXFu/9l2SOgeUf6O98qe90+c1NoDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T11:10:56.666718Z","bundle_sha256":"0b6f308c47e9be589842bd7a17e77a5337176ccbf29473815729d839f6244b40"}}