{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:PE3L6NVDLTURVXYXGZHYJFYTMR","short_pith_number":"pith:PE3L6NVD","schema_version":"1.0","canonical_sha256":"7936bf36a35ce91adf17364f849713646eaf889c7f30ce24fc47a05b7af1dd89","source":{"kind":"arxiv","id":"2608.01047","version":1},"attestation_state":"computed","paper":{"title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Yinghan Hou, Zongyou Yang","submitted_at":"2026-08-02T07:29:14Z","abstract_excerpt":"Agentic RAN controllers combine mobility, energy, and resource actions across independently implemented interfaces. Even when each command is valid and the target state is safe, asynchronous actuation can drive the network through unsafe intermediate states. In a frozen study of a 35B planner, 28.8% of locally valid plans remained asynchronously unsafe. We introduce VeraRAN, which checks plans before actuation by modeling request, delivery, acceptance, application, completion, and observation for each action while exploring plausible delays and event orders. When VeraRAN finds a counterexample"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2608.01047","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2026-08-02T07:29:14Z","cross_cats_sorted":[],"title_canon_sha256":"b1b2ab9ff9b94612bd0cc4c1dde43e35b415af7993187c819a591e24569f3d71","abstract_canon_sha256":"ae7583d65c03e2b77f88b03de4944774e582217e1aa5b8700aceb0cb1ab6c995"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-04T01:56:20.314101Z","signature_b64":"GQOpBAJ3t+TXNVFdKoF5RIA/qoPsczWvAkgbR8BTkVes2rAoBn0JZhE0b1NbIHonr0y7rTD6PEFwH9QGs7HeCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7936bf36a35ce91adf17364f849713646eaf889c7f30ce24fc47a05b7af1dd89","last_reissued_at":"2026-08-04T01:56:20.312642Z","signature_status":"signed_v1","first_computed_at":"2026-08-04T01:56:20.312642Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Yinghan Hou, Zongyou Yang","submitted_at":"2026-08-02T07:29:14Z","abstract_excerpt":"Agentic RAN controllers combine mobility, energy, and resource actions across independently implemented interfaces. Even when each command is valid and the target state is safe, asynchronous actuation can drive the network through unsafe intermediate states. In a frozen study of a 35B planner, 28.8% of locally valid plans remained asynchronously unsafe. We introduce VeraRAN, which checks plans before actuation by modeling request, delivery, acceptance, application, completion, and observation for each action while exploring plausible delays and event orders. When VeraRAN finds a counterexample"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.01047","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/2608.01047/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2608.01047","created_at":"2026-08-04T01:56:20.313934+00:00"},{"alias_kind":"arxiv_version","alias_value":"2608.01047v1","created_at":"2026-08-04T01:56:20.313934+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.01047","created_at":"2026-08-04T01:56:20.313934+00:00"},{"alias_kind":"pith_short_12","alias_value":"PE3L6NVDLTUR","created_at":"2026-08-04T01:56:20.313934+00:00"},{"alias_kind":"pith_short_16","alias_value":"PE3L6NVDLTURVXYX","created_at":"2026-08-04T01:56:20.313934+00:00"},{"alias_kind":"pith_short_8","alias_value":"PE3L6NVD","created_at":"2026-08-04T01:56:20.313934+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PE3L6NVDLTURVXYXGZHYJFYTMR","json":"https://pith.science/pith/PE3L6NVDLTURVXYXGZHYJFYTMR.json","graph_json":"https://pith.science/api/pith-number/PE3L6NVDLTURVXYXGZHYJFYTMR/graph.json","events_json":"https://pith.science/api/pith-number/PE3L6NVDLTURVXYXGZHYJFYTMR/events.json","paper":"https://pith.science/paper/PE3L6NVD"},"agent_actions":{"view_html":"https://pith.science/pith/PE3L6NVDLTURVXYXGZHYJFYTMR","download_json":"https://pith.science/pith/PE3L6NVDLTURVXYXGZHYJFYTMR.json","view_paper":"https://pith.science/paper/PE3L6NVD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2608.01047&json=true","fetch_graph":"https://pith.science/api/pith-number/PE3L6NVDLTURVXYXGZHYJFYTMR/graph.json","fetch_events":"https://pith.science/api/pith-number/PE3L6NVDLTURVXYXGZHYJFYTMR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PE3L6NVDLTURVXYXGZHYJFYTMR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PE3L6NVDLTURVXYXGZHYJFYTMR/action/storage_attestation","attest_author":"https://pith.science/pith/PE3L6NVDLTURVXYXGZHYJFYTMR/action/author_attestation","sign_citation":"https://pith.science/pith/PE3L6NVDLTURVXYXGZHYJFYTMR/action/citation_signature","submit_replication":"https://pith.science/pith/PE3L6NVDLTURVXYXGZHYJFYTMR/action/replication_record"}},"created_at":"2026-08-04T01:56:20.313934+00:00","updated_at":"2026-08-04T01:56:20.313934+00:00"}