{"id":"d0ec74e9-2d15-44b9-a155-742203a2ffa4","arxiv_id":"2508.10413","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper claims a discrete-state probabilistic model for ROS 2 DDS retransmission latency, but the supplied body is the wrong manuscript, leaving the claim unverifiable.","lead":"The abstract promises a probabilistic latency model for reliable ROS 2 DDS communication over lossy wireless, validated across 270 scenarios. The submitted full text is a different paper entirely, so the analysis could not be reviewed.","discovery_kind":"unclear","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Submitted full text is a different paper (CorrectNav); the DDS model, its derivation, and the 270-scenario validation are absent, making the central claim unverifiable.","rationale":"The reader correctly identifies that the paper cannot be evaluated because the full text is a different paper. The reader's weakest_assumption focuses on the steady-state/stationarity premise of the model, which is a substantive concern about the DDS analysis. However, the more immediate and load-bearing issue is that the entire derivation and validation are absent: no equations, no state definitions, no experimental setup. Without the actual text, we cannot even determine whether the model assumes stationarity, whether losses are treated as i.i.d., or whether the 270 scenarios are real and fairly reported. Thus our concern is broader than the reader's: it is not merely that one assumption is uncheckable, but that the complete evidence base for the central claim is missing. This is an objective, document-level finding, not a disagreement with the authors' approach. The abstract is plausible and the problem is worth studying, but plausibility is not verifiability. We therefore keep the verdict UNVERDICTED and the confidence low. If the actual paper were retrieved, the stationarity and correlation-of-loss assumptions the reader flagged would be exactly the first items to scrutinize, followed by reproduction of the 270-scenario validation.","tokens_in":11359,"tokens_out":4056,"duration_ms":41954,"concrete_test":"Fetch the actual full text of arXiv:2508.10413 from arXiv.org and verify it contains: (1) an explicit discrete-state Markov model with state definitions and transition probabilities for heartbeat, fragmentation, and retransmission; (2) a description of the 270 validation scenarios and the metrics used; (3) figures/tables comparing analytical predictions with experimental results. If any of these are missing—or if the fetched document is the CorrectNav paper—the central claim is unsupported. As an immediate check, search the provided full text for 'DDS', 'heartbeat', 'fragmentation', 'latency', or 'ROS 2'; zero hits would confirm the mismatch.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of arXiv:2508.10413 is that the proposed Probabilistic Latency Analysis (PLA) accurately predicts the steady-state distribution of unacknowledged messages and retransmission latency in ROS 2 DDS, validated across 270 scenarios. For that claim to hold, the paper must contain (i) a discrete-state Markov model explicitly defining states and transition probabilities for heartbeat, IP fragmentation, and retransmission events; (ii) a derivation of steady-state probabilities and latency distributions; and (iii) an experimental comparison supporting the claimed 'close alignment'. The supplied full text, however, is arXiv:2508.10416v1 (CorrectNav, a vision-language navigation paper). It contains none of the DDS analysis: no ROS 2/DDS protocol details, no equations for the Markov model, no latency derivation, and no 270-scenario experiments. Every load-bearing component of the central claim is therefore absent from the provided material. The abstract alone asserts the result, but an abstract is not evidence. This is not a critique of the model's assumptions (e.g., stationarity or loss independence); it is a document-integrity problem that leaves the central claim completely unsupported. The correct disposition is UNVERDICTED, matching the reader's verdict.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript arXiv:2508.10413 claims to propose Probabilistic Latency Analysis (PLA), a discrete-state analytic model of ROS 2 DDS reliable transmission over lossy wireless networks. According to the abstract, PLA computes the steady-state probability distribution of unacknowledged messages and the retransmission latency, and it is validated across 270 scenarios spanning packet delivery ratios, message sizes, and publication/retransmission intervals. However, the supplied full text is arXiv:2508.10416v1, a vision-language navigation paper (CorrectNav) that contains no ROS 2/DDS content. The received manuscript therefore contains only an abstract for the claimed contribution; the model definition, derivation, and experimental comparison are absent.","tokens_in":11607,"tokens_out":4291,"duration_ms":43085,"significance":"If the claim were fully substantiated, the paper would address a practical and under-modeled problem: the joint effect of heartbeat period, IP fragmentation, and retransmission interval on end-to-end latency in reliable ROS 2 DDS communication over wireless links. A validated analytic steady-state distribution would give practitioners a basis for tuning reliability parameters and could be a useful contribution. The claimed 270-scenario validation is broad. However, because the submitted body does not contain the model or the experiments, the contribution cannot be confirmed. No machine-checked proofs, reproducible code, or parameter-free derivations are visible in the provided material, so the paper's current evidentiary value rests entirely on the abstract.","major_comments":[{"comment":"The supplied full text is not the manuscript under review. It is arXiv:2508.10416v1 (CorrectNav), a vision-language navigation paper. There is no discrete-state Markov model, no transition probabilities, no steady-state derivation, no latency formulas, and no ROS 2/DDS experimental section. Every load-bearing component of the abstract's central claim is absent. This is not a local presentation issue: the reader cannot verify that PLA exists beyond the abstract's assertion.","section":"Full Text"},{"comment":"The abstract states that PLA is validated 'across 270 scenarios' with 'close alignment', but it provides no scenario definition, error metric, confidence intervals, or information about whether model parameters were fit to the same data. Without the experimental and derivation sections, the risk of circularity (e.g., the steady-state distribution being shaped by parameters chosen to match the 270 experiments) cannot be assessed. The same absence prevents evaluation of the model's stationarity and loss-independence assumptions. This is a load-bearing gap.","section":"Abstract"}],"minor_comments":[{"comment":"The full text carries a different arXiv identifier (2508.10416v1) and a different title. This appears to be an upload or pipeline error; the authors should verify that the submitted source matches the claimed paper.","section":"Full Text (header)"},{"comment":"The phrase 'close alignment' should be quantified (e.g., mean absolute error, Kolmogorov-Smirnov statistic, or per-percentile absolute error) so that the strength of the validation is testable.","section":"Abstract"},{"comment":"If the correct full text is obtained, the paper should include a section listing the discrete states and the exact transition probabilities for heartbeat, fragmentation, and retransmission events, so that the steady-state assumption and independence assumptions are transparent.","section":"General"}],"recommendation":"uncertain","confidential_remarks":"For the editor: the supplied full text is a different paper (CorrectNav), not the DDS latency paper. This looks like a submission/pipeline error rather than a technical flaw in the claims. I recommend requesting the correct manuscript before any technical review; if the correct text cannot be supplied, the manuscript should be withdrawn. My 'uncertain' verdict reflects the absence of evidence, not a judgment on the scientific validity of PLA."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: the file I received is not the paper described. The metadata and abstract promise a probabilistic latency analysis (PLA) of ROS 2 DDS reliable transmission; the full text is \"CorrectNav,\" a vision-language-action navigation paper. Every load-bearing element of the DDS claim—the discrete-state Markov model, the heartbeat/IP-fragmentation/retransmission coupling, the steady-state derivation, and the 270-scenario experimental validation—is absent. This is a document-integrity problem, not a technical flaw I can evaluate.\n\nWhat the paper does well, at least in its abstract: it identifies a real gap. ROS 2 practitioners using DDS over lossy wireless links do have to tune heartbeat and retransmission parameters under a complex interaction, and a quantitative model that outputs latency distributions would be a useful subfield contribution. The validation claim is strong and specific. If the body delivered what the abstract promises, this would deserve a careful read.\n\nBut I cannot assess whether it delivers. I don't have the derivations, the state definitions, the transition probabilities, or the experimental setup. The \"270 scenarios\" is a bare assertion. I can't tell whether the model parameters are derived from first principles or fitted to the experiments, and I can't check the obvious soft spots: the steady-state assumption on real wireless channels with correlated, time-varying losses, and whether the event-level abstraction captures the dynamics that actually drive end-to-end latency. Those may be handled well or poorly in the real paper; I have no way to know. The references in the body belong to the navigation paper, so I can't evaluate the citation pattern for the DDS work either.\n\nWho this is for: a network/robotics researcher who wants to tune DDS reliability parameters analytically would likely find value in a correct PLA. But the version I was given has no usable content for that person.\n\nRecommendation: this should not go to peer review as-is. A serious editor would desk reject it and ask the authors to submit the correct full text. If the actual DDS paper appears, I'd be glad to review it; the idea is promising enough to warrant referee time.","headline":"The submission's full text is a different paper; the claimed DDS latency analysis and its 270-scenario validation are absent, so this is unverdictable and should be returned, not peer reviewed.","tokens_in":12062,"tokens_out":3035,"would_cite":false,"duration_ms":28037,"reading_group":"no","serious_thinker":"unclear","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims PLA, a discrete-state analytic model, predicts the steady-state distribution of unacknowledged messages and retransmission latency in ROS 2 DDS reliable communication over lossy wireless networks.","keywords":["ROS 2","DDS","reliable transmission","latency analysis","probabilistic model","wireless networks","retransmission"],"falsifier":"Take the same 270 scenarios but transmit over a channel with bursty errors (e.g., a two-state Markov loss process) instead of independent random loss; if the measured latency distribution deviates from PLA's steady-state prediction in a way that grows with burst length, the fixed-packet-delivery-ratio assumption is the cause.","tokens_in":11264,"feed_emoji":"📡","tokens_out":4247,"duration_ms":41247,"temperature":0.7,"pith_summary":"In ROS 2, DDS reliability is maintained by periodic heartbeats that trigger acknowledgments and retransmissions of missing samples, and on lossy wireless links the interaction of heartbeat period, IP fragmentation, and retransmission interval makes end-to-end latency hard to predict. The authors propose Probabilistic Latency Analysis (PLA), a discrete-state model of the reliable transmission process that computes the steady-state probability distribution of unacknowledged messages and retransmission latency. They validate PLA across 270 scenarios varying packet delivery ratios, message sizes, and publish/retransmission intervals, reporting close alignment between analytical predictions and experiments. If this holds, PLA provides a theoretical basis for tuning DDS parameters to meet reliability and latency targets in wireless industrial robotics.","feed_headline":"ROS 2 latency over lossy links becomes a calculable distribution","feed_subtitle":"Heartbeat, fragmentation, and retransmission intervals feed a steady-state model that matches 270 test scenarios.","key_machinery":"A discrete-state probabilistic model of the reliable transmission process, in which each state represents the number of unacknowledged messages (or the outstanding-fragment/reassembly status), and transitions are governed by periodic heartbeat events, ACK solicitation, IP fragmentation, and packet delivery ratio. This state machine yields the steady-state distribution of unacknowledged messages and retransmission latency via standard Markov-chain analysis.","core_discovery":"PLA models the reliable transmission process of ROS 2 DDS at two levels: middleware-level events (heartbeat generation, ACK solicitation, selective retransmission scheduling) and transport-level events (IP fragmentation, packet loss). From these events it builds a discrete-state model whose steady-state solution yields the probability distribution of unacknowledged messages and the retransmission latency. The model's key output is therefore a latency distribution, not just a mean, parameterized by the heartbeat period, message size, packet delivery ratio, and publish/retransmission intervals. The paper reports that over 270 experimental scenarios the analytical distributions closely match me","pith_inferences":["PLA's event-level independence assumption (losses treated via a fixed packet delivery ratio) will likely under-predict delay under bursty/correlated wireless loss; extending the state model with a two-state (Gilbert-Elliott) channel could test this.","Because the supplied full text is a different paper (CorrectNav), the abstract is the only available evidence here; a full assessment requires reading the actual PLA manuscript's derivation and experimental setup.","The steady-state distribution could be converted into a probabilistic real-time bound if combined with response-time analysis for ROS 2 executors."],"forward_implications":["DDS users can predict latency distributions analytically from heartbeat, fragment, and retransmission settings without exhaustive testbed runs.","PLA exposes how heartbeat period and retransmission interval jointly shape tail latency, enabling principled tuning for lossy wireless links.","The steady-state distribution provides a basis for optimizing reliability/latency trade-offs in wireless industrial robotics under ROS 2.","The same event-level decomposition could be reused for other DDS implementations with different heartbeat/retransmission policies."],"supporting_citations":[],"fun_headline_variants":["Probabilistic model predicts ROS 2 latency distributions on lossy links","New analysis turns ROS 2 DDS latency into a calculable distribution","Steady-state model matches ROS 2 latency across 270 lossy scenarios","ROS 2 latency: from guesswork to a probability distribution","Discrete-state model yields ROS 2 retransmission latency distribution"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The reliable transmission process is assumed to reach a steady state whose behavior is fully captured by fixed parameters (packet delivery ratio, message size, heartbeat period, retransmission interval); real lossy wireless channels with time-varying, correlated losses would violate this and can break the predicted distribution.","fun_headline_variants_meta":{"raw":{"variants":["Probabilistic model predicts ROS 2 latency distributions on lossy links","New analysis turns ROS 2 DDS latency into a calculable distribution","Steady-state model matches ROS 2 latency across 270 lossy scenarios","ROS 2 latency: from guesswork to a probability distribution","Discrete-state model yields ROS 2 retransmission latency distribution"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000768,"raw_usage":{"total_tokens":3227,"prompt_tokens":717,"completion_tokens":2510,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":461,"completion_tokens_details":{"reasoning_tokens":2416}},"tokens_in":461,"tokens_out":2510,"duration_ms":17167,"temperature":1.0,"reasoning_tokens":2416,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T20:26:05.121390+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the same 270 scenarios but transmit over a channel with bursty errors (e.g., a two-state Markov loss process) instead of independent random loss; if the measured latency distribution deviates from PLA's steady-state prediction in a way that grows with burst length, the fixed-packet-delivery-ratio assumption is the cause.","supporting_citations":[],"review_version":1}