{"as_of":"2026-08-10T15:27:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8a52914e2a85c22f601c0fe5ab803f23512d560d9267e30d2b1fee80cd297a72","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T04:18:36.779686Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.01047/citation-record","integrity":"/paper/2608.01047/integrity","json":"/paper/2608.01047/citation-record.json","paper":"/paper/2608.01047"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:31.558333Z","title":"Toward dynamic energy- efficient operation of cellular network infrastructure,","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:31.558333Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:9acc38972e7e5858278aa0f8f5ba5579df91e706d8ea280cea7cedefaec1371d","observation_id":"314e7c1b-e4b2-4d85-b5b7-2489c5461a97","resolution":{"observed_at":"2026-08-06T04:18:31.558333Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:31.668904Z","title":"Energy-efficient wireless communications: Tutorial, survey, and open issues,","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:31.668904Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:9c1a57c2a814373c7bb8de3c34d298de7fde093657c34cc5b5ba560738c847b1","observation_id":"2d78a8ca-8060-4b68-9909-e74d953ef904","resolution":{"observed_at":"2026-08-06T04:18:31.668904Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:31.772310Z","title":"Multi- tenant radio access network slicing: Statistical multiplexing of spatial loads,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:31.772310Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:116ffe067e52685a21edfecedc980a03c8fd9c465da3b8596e65a03108a190f7","observation_id":"dbef4c83-5705-48f8-9896-4de57bddcf75","resolution":{"observed_at":"2026-08-06T04:18:31.772310Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:31.918314Z","title":"O-RAN: Disrupting the vir- tualized RAN ecosystem,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:31.918314Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:4d0578bb67d701ef799092440c5569cfe79baa9929c9cde0232b60f1dc2edfaa","observation_id":"092380c0-667a-492e-a235-459b7569f24f","resolution":{"observed_at":"2026-08-06T04:18:31.918314Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:31.987833Z","title":"Under- standing O-RAN: Architecture, interfaces, algorithms, security, and re- search challenges,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:31.987833Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:b71affea05e37df4ad449c90b2b7a006204faec3777182775c9f582c0c6cab13","observation_id":"4ae248a7-7460-404c-9b48-0684c23aabcf","resolution":{"observed_at":"2026-08-06T04:18:31.987833Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:32.095719Z","title":"Open RAN xApps design and evaluation: Lessons learnt and identi- fied challenges,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:32.095719Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:bb20fea2cae467e0238c76370923e914d249f11f0f6fa23ddb9e912601ee4460","observation_id":"90a06793-a72d-4f69-be91-be934629c8fa","resolution":{"observed_at":"2026-08-06T04:18:32.095719Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:32.198994Z","title":"E2 interface: Application protocol (E2AP),","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:32.198994Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:cd37fd22b909069a77a590fdfa417b26f4ed4e43bd62df6fc45120639079b732","observation_id":"7f3f22b7-5a9f-4552-a913-b20bf82dcded","resolution":{"observed_at":"2026-08-06T04:18:32.198994Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:32.273584Z","title":"A1 interface: General aspects and principles,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:32.273584Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:e7fbbe97a6a5d82427cd93db8314f423dddeaf3ee53168059448c7cbf0d457ef","observation_id":"2d0682a9-5ae4-4e2a-890a-83eba0c94745","resolution":{"observed_at":"2026-08-06T04:18:32.273584Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:32.421888Z","title":"O-RAN operations and maintenance interface specification,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:32.421888Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:fe6e8a05457b6f765d0cbfb626b3cd96386f1dd41d26298b77ff12a2c462edf0","observation_id":"7d83f474-c1ab-4eca-b7ee-6affdfe349e6","resolution":{"observed_at":"2026-08-06T04:18:32.421888Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:32.553120Z","title":"Intelli- gence and learning in O-RAN for data-driven NextG cellular networks,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:32.553120Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:6a891b55608862f1f2baeb1ca015fbeca36f3fc4c0d815cb6abb1d0858833f4e","observation_id":"1a9668c3-9f5a-42d6-b322-709451b4d0f5","resolution":{"observed_at":"2026-08-06T04:18:32.553120Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:32.670034Z","title":"AgentRAN: An agentic AI architecture for autonomous control of open 6G networks,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:32.670034Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:954993e85192390ebdb29a1c7ab9ec1bdc85f561128060e902251442ccf0ea3c","observation_id":"10d95ab9-40c2-49b6-af55-18612e978d09","resolution":{"observed_at":"2026-08-06T04:18:32.670034Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:32.802574Z","title":"ns-O- RAN: Simulating O-RAN 5G systems in ns-3,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:32.802574Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:f7f0475d7c31dacf2ca6e4a057c9824451f3550d16d7eae17c2b5c017b488db5","observation_id":"1ab942c2-2211-444b-9775-e9b36333d7ff","resolution":{"observed_at":"2026-08-06T04:18:32.802574Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:32.886954Z","title":"5G; NR; radio resource control (RRC); protocol specification,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:32.886954Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:0f368c518f5904e34fbe650e45d7ade5edd2e1d17c1fb8d1848972fca8c4a7b5","observation_id":"cdef7bc2-4991-48eb-b8f3-d3005690efd2","resolution":{"observed_at":"2026-08-06T04:18:32.886954Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:33.014280Z","title":"E2 service model (E2SM) RAN control,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:33.014280Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:f771e5251dc520b7adc647317429ca1fa42dd337e55b8f4609346ee1f9a2a659","observation_id":"386a2312-9975-4597-b901-a72a59ca7185","resolution":{"observed_at":"2026-08-06T04:18:33.014280Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:33.139183Z","title":"OCUDU: Open-source 5G and beyond CU/DU,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:33.139183Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:eee4104d2a15cfe3e62e05c2d1e1e2833a03e4aa3a012c8c7dcd4395c04d8c0b","observation_id":"3b6548db-c9a4-4887-9453-523f6d0cb3f5","resolution":{"observed_at":"2026-08-06T04:18:33.139183Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:33.254835Z","title":"Qwen3.6-35B-A3B model card,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:33.254835Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:673d664a6433486539958624160ccd7a926005ce79943ae09b7819bcd946b430","observation_id":"ff58e4cf-7841-4a12-af4a-257e569798d5","resolution":{"observed_at":"2026-08-06T04:18:33.254835Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:33.395494Z","title":"Qwen3-4B-Instruct-2507 model card,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:33.395494Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:37b6ae8563084da2a9ce9d40f3ce168758380871b3a5e492f30ef188febf14a4","observation_id":"7d65c084-ad12-4739-8743-d106ca94aaec","resolution":{"observed_at":"2026-08-06T04:18:33.395494Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:33.534862Z","title":"PACIFISTA: Conflict evaluation and management in open RAN,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:33.534862Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:0a902e0f84ff7660e3babe84a3cb2659b1636ec2a1a76990a47260f312d8a742","observation_id":"0f209c0f-b0df-448e-94e6-319717f13fb5","resolution":{"observed_at":"2026-08-06T04:18:33.534862Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:33.629936Z","title":"COMIX: Generalized conflict management in O-RAN xApps—architecture, workflow, and a power control case,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:33.629936Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:039aac185aa73269af43b80aed3ae71fc6811f81af4c452932dd105341c1d0fd","observation_id":"5ccf8ebf-537f-415b-b64a-5bb64289e317","resolution":{"observed_at":"2026-08-06T04:18:33.629936Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:33.771824Z","title":"Conflict mitigation framework and conflict detection in O-RAN Near-RT RIC,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:33.771824Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:9b01af1a1aa71e04fd718e7edb4d0d98de3038465692bdf85327de8be6370677","observation_id":"f6c2be29-1321-43bb-952a-f32064fe755d","resolution":{"observed_at":"2026-08-06T04:18:33.771824Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:34.032392Z","title":"QACM: QoS-aware xApp conflict mitigation in open RAN,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:34.032392Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:43f1816c5430280f0decca08e22af8972f1f58db2c911fb0fecabdeeb9f49df0","observation_id":"b2d65737-1af8-4cda-95a9-3d91ddfd1364","resolution":{"observed_at":"2026-08-06T04:18:34.032392Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:34.127603Z","title":"ACCoRD: Actor-critic conflict resolution with deep learning for O-RAN xApps,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:34.127603Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:0cb15735938ca9f442d52c89d15c995d13c0e88b649ca9b23383bef2d411ce05","observation_id":"4e287579-a10a-4fe3-bf55-8cde7aaa4065","resolution":{"observed_at":"2026-08-06T04:18:34.127603Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:34.265219Z","title":"Open RAN conflict agents: Detecting and mitigating xApp conflicts with generative agents,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:34.265219Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:843daaae24f0066c8f2218dadbb234f1b039d610d123cfdf540abc025163609f","observation_id":"6d08ec37-8228-4f6d-99c0-0ceeeef06221","resolution":{"observed_at":"2026-08-06T04:18:34.265219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:34.457789Z","title":"Experimental evaluation of xApp conflict mitigation framework in O-RAN: Insights from testbed deployment in OTIC,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:34.457789Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:c3a9573e681a1cc30ff3ba5b897a8554a7bc2012b1189be17f46c85ed242e270","observation_id":"dc98c475-27a1-4b9c-a43d-2c45b85418a0","resolution":{"observed_at":"2026-08-06T04:18:34.457789Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:34.627089Z","title":"Detecting out-of-order control messages in O-RAN: Dataset, benchmarks, and early-warning models,","venue":null,"work_id":null,"year":1941},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:34.627089Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:187982eb7adcb29ef85e2d441e9b0648b9ecf95e4c076452a74af6e28b9958b5","observation_id":"fa184246-6850-45c4-802a-9605c8c9e252","resolution":{"observed_at":"2026-08-06T04:18:34.627089Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:34.757164Z","title":"A runtime safety copilot for AI-native O-RAN: Predictive verification and fail-safe enforcement in Near-RT RIC control loops,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:34.757164Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:a0ea24cb171c71130f38a22e2277210de2de6cd9fab280357e2dae59f4d34e69","observation_id":"a19825fd-a8ad-48e7-893a-5c1e713173f5","resolution":{"observed_at":"2026-08-06T04:18:34.757164Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:34.875915Z","title":"Consistent updates for software-defined networks: Change you can believe in!","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:34.875915Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:c0732ac70001e65fb32580881af7d57f5738669eecaf072d1dc5e24af2333b4b","observation_id":"5d74ac6a-54f5-48f0-be2d-ecd34ea7a3eb","resolution":{"observed_at":"2026-08-06T04:18:34.875915Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:35.031675Z","title":"Abstractions for network update,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:35.031675Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:da83e94652b05d9f706bd7848e5367b90226f280c692ef4c17fe31a4c54bccde","observation_id":"ea7c61f7-04de-4689-a800-72474556b378","resolution":{"observed_at":"2026-08-06T04:18:35.031675Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:35.162437Z","title":"Dionysus: Dynamic scheduling of network updates,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:35.162437Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:774205ebbec8877350dcc6d5be34bc0ce1d635a6e76676dbd01f171e5c9aa1ef","observation_id":"deea672b-33b6-4181-9dac-45c1fbad4272","resolution":{"observed_at":"2026-08-06T04:18:35.162437Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:35.238063Z","title":"A NICE way to test OpenFlow applications,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:35.238063Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:078baefa533e0139c0a76a3c5e0cad4af68ee57849c77f89d0eaa449da3b9bd4","observation_id":"cf34ccdb-c9dd-4d62-98d0-dc158811cfd8","resolution":{"observed_at":"2026-08-06T04:18:35.238063Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:35.363437Z","title":"SDNRacer: Concurrency analysis for software-defined networks,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:35.363437Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:4beca1cca1a292488619ec8fdad3a1c389fb5c98808bbbe45ddf875cc01bbaf9","observation_id":"92ca11ae-e546-41a4-832b-139874be416e","resolution":{"observed_at":"2026-08-06T04:18:35.363437Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:35.471099Z","title":"Abstraction-guided synthesis of synchronization,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:35.471099Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:cfa0bd26f9ebc245ed69e57e94a7c68a18dad65f1bc42c3ce1057711cb4c479e","observation_id":"a29cba21-44af-4305-80a1-d37c4547b282","resolution":{"observed_at":"2026-08-06T04:18:35.471099Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:35.597751Z","title":"Synchronization synthesis for network programs,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:35.597751Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:a24c73cd5dbd103a739e6f30ece6e4335351b5b6ccc39aa33f1a252bc01d2c2d","observation_id":"ae344150-5631-4549-b2ef-96d0ae1336b4","resolution":{"observed_at":"2026-08-06T04:18:35.597751Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:35.701484Z","title":"Towards achieving energy efficiency and service availability in 6G O-RAN via formal verification,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:35.701484Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:5ac64c606e594233711b21c37f1596d692529e7230709d0ff11e3fc223710d3c","observation_id":"747a9efc-0871-4552-8f50-48ab8a8dd57b","resolution":{"observed_at":"2026-08-06T04:18:35.701484Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-05T19:36:53.627935Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.21434","snapshot_observed_at":"2026-08-06T04:18:35.842791Z","title":"Agentic model checking,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:35.842791Z"},"links":{"cited_paper":"/paper/2605.21434","citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:059cd2af29fb6c2b720b86f223e695ead51c5226c033e75dcc8273fae7a1c71e","observation_id":"1688b2a8-10f1-4cdd-aa15-fc708ddf2404","resolution":{"observed_at":"2026-08-06T04:18:35.842791Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:35.926395Z","title":"Time, clocks, and the ordering of events in a distributed system,","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:35.926395Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:cdb90bf3004233317d72306e5783def9a69a66ab373735a93570048023de9f2a","observation_id":"5a900609-b0b1-49dd-9bce-50b35747a2a8","resolution":{"observed_at":"2026-08-06T04:18:35.926395Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:36.053194Z","title":"All from one, one for all: On model checking using repre- sentatives,","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:36.053194Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:dc7f74f9b75c1c11c8556a12110733c70279ff32aaab9930194b128eabcca02e","observation_id":"8dd6d0ca-27f1-4408-98a9-e3c036d77f91","resolution":{"observed_at":"2026-08-06T04:18:36.053194Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:36.208750Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:36.208750Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:9dfa2b16389be901b714ad34b09ae60b842d737a4b9d4cbe45ad78579c987072","observation_id":"bc49899b-be99-458e-8b17-cbd4ff0e04d5","resolution":{"observed_at":"2026-08-06T04:18:36.208750Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:36.354669Z","title":"Godefroid,Partial-Order Methods for the Verification of Concurrent Systems","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:36.354669Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:01a76afc9d80a6fed94ff5e0af0e4e2b4ceca7f4e2f4f858192fd765e2a74f0c","observation_id":"1bf9ae05-7c17-43fe-abb5-49203aad04a2","resolution":{"observed_at":"2026-08-06T04:18:36.354669Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:36.494099Z","title":"Finding and reproducing heisenbugs in concurrent programs,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:36.494099Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:5fc12f9fa3f3feca20ee900bcfc2e8a11ede63353cd3aa6b64780a0af98db1f1","observation_id":"c98467c1-696c-4f51-af76-8cc415d14403","resolution":{"observed_at":"2026-08-06T04:18:36.494099Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:36.565602Z","title":"Dynamic partial-order reduction for model checking software,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:36.565602Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:2765daebe434c052dad41879731dc9510f1cd984b96ad02bb8dfee9ef628a1e4","observation_id":"10711b3e-db41-4fb2-b193-fdd961e75288","resolution":{"observed_at":"2026-08-06T04:18:36.565602Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:36.668246Z","title":"Optimal dynamic partial order reduction,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:36.668246Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:494c6ea1c13c03ebbb8557ae9f538daaba0b8d8e9152ab7787e0c44d771ba6a7","observation_id":"1b5efe17-a54a-4f24-a8d5-122c8d513fb0","resolution":{"observed_at":"2026-08-06T04:18:36.668246Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:18:36.779686Z","title":"Source sets: A foundation for optimal dynamic partial order reduction,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:36.779686Z"},"links":{"citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:3aab4ea7816b5267eb39a27e70a1619aba328b489368b62f111d1bcb5e7f6dfe","observation_id":"35be8796-4a19-4f8b-b449-106aca294f82","resolution":{"observed_at":"2026-08-06T04:18:36.779686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","latest_version":3,"primary_category":"cs.NI","snapshot_observed_at":"2026-08-09T07:37:01.517477Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":43,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":43},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2608.01047."}