{"id":"7024cecf-f18e-4a3c-8fdc-2c741f47f158","arxiv_id":"2607.29011","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":7,"one_line_summary":"For a 1383 kg off-road vehicle, airborne wheel-reaction torque can recover only about 9–13°/s of pitch rate; DART's pre-takeoff speed gating plus in-flight dual-axis control turns 0/30 into 30/30 simulated steep-lip landings.","lead":"Off-road vehicles that jump can barely change their pitch in the air: wheel spin alone recovers only about 9–13°/s, so jump safety must be engineered before takeoff. A new controller, DART, slows the approach into a certified speed window and uses wheel reaction torques during flight, lifting steep-lip simulated landings from 0/30 to 30/30.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Point-mass ballistic model's ~39% range underprediction (V-A4) means the 'certified' takeoff set inherits per-geometry calibration; Theorem 3's T-sensitivity is already visible in the single certified miss.","rationale":"The reader's weakest assumption identifies precisely the point-mass ballistic model's calibration dependence. My read agrees: the certified set F is built on flight-time and landing-geometry predictions that are empirically off by ~39% in range, and the paper's own one certified miss demonstrates how sensitive the certificate is to flight-time errors. This is a load-bearing concern because the headline contribution is a 'closed-form certified feasible-takeoff set' and a 'conservative go/no-go gate'; if the ballistic prediction requires per-geometry calibration, the certification is not closed-form for deployment. It does not, however, overturn the paper's central momentum-budget ceiling, which is physically sound and supported by the direction-resolved budget tests and the hard-limit calibration. The simulation evidence is extensive, honestly reported, and the limitations section explicitly flags calibration needs and the lack of hardware validation. The CONDITIONAL verdict already captures this weakness, so I recommend no change. A concrete re-evaluation with measured flight times would settle whether the certificate is robust or merely calibrated.","tokens_in":30010,"tokens_out":21191,"duration_ms":227990,"concrete_test":"Re-run the certified-boundary grid of Section V-A3 with membership in F evaluated using the measured BeamNG flight time T_meas instead of the point-mass T(v0), and compare landing outcomes against C_L. Count certified states that fail and uncertified states that succeed, and quantify the shift in D(Tc, B_r) when T changes by the amount implied by the 39% range discrepancy. Additionally, on a new gap geometry, set the speed window with the uncalibrated point-mass model and check whether the 30/30 on-target result survives without per-geometry gap calibration. If the certificate's membership flips for a nontrivial fraction of boundary states, the certified set is a calibrated interpolation rather than a closed-form certificate.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The certified feasible set F and the speed window of Proposition 1 depend on A3: point-mass ballistic translation to compute flight time T(v0) and the landing-surface crossing. Section V-A4 reports that the point-mass model underpredicts measured BeamNG range by ≈39% at 28 m/s, forcing per-geometry calibration of gap length. This undercuts the 'closed-form certified' claim: for an unseen geometry, F is not a predictive certificate unless the gap is re-calibrated. The sensitivity is concrete: Theorem 3's displacement cap D(Tc, B_r) grows with Tc (linearly in the budget-limited branch, quadratically in the torque-limited branch), and the certified-boundary grid already shows one certified state failing because its flight ran 0.3 s longer than its cell siblings. A 39% range error can produce far larger T errors than 0.3 s in some launch regimes, so states inside F for the point-mass T may be unreachable for the actual flight time, and states outside may be reachable. The go/no-go window [v_min, v_crit] is therefore only as trustworthy as the calibration; the abstract's 'closed-form certified' phrasing overstates the guarantee. The momentum-budget ceiling (Theorem 1) is not affected, and the authors report the discrepancy honestly, but the central 'certified set' contribution is materially weakened.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes DART, a cross-phase controller for high-speed off-road vehicle jumps. The core theoretical contribution is a wheel angular-momentum budget (Theorem 1) showing that the recoverable in-flight body pitch-rate change is bounded by wheel spin-speed limits, not motor torque: for a 1383 kg platform this gives roughly 9–13 deg/s nose-up under drive and about twice that with braking. Since takeoff disturbances beyond this budget are physically unrecoverable, the paper back-propagates the landing constraint through the airborne dynamics to construct a closed-form certified feasible takeoff set F (Theorems 2–3, Corollaries 4–5, Propositions 1–2). This set is deployed as a pre-takeoff speed gate and speed-shaping law, together with an in-flight dual-axis torque-reaction controller with a per-flight roll latch. The approach is evaluated in BeamNG.tech simulation: the airborne law outperforms RW-PD and TOBB on over-budget pitch-rate entries and banked run-ups, and the speed regulator reduces touchdown speed by 36% and raises on-target landings from 0/30 to 30/30 in a steep-lip scenario.","tokens_in":30384,"tokens_out":9584,"duration_ms":94501,"significance":"If the results hold, Theorem 1 is a valuable and general physical insight: it formalizes why large takeoff pitch-rate disturbances cannot be rescued by any airborne actuator in a wheeled vehicle, and it correctly identifies the pre-takeoff phase as the only place where decisive leverage exists. The closed-form certificate is a useful sufficient condition for the reduced double-integrator model, and the extensive simulation suite—including paired same-tick protocols, ablations, gain sweeps, and robustness tests—is a strength. The paper is also commendably transparent about limitations: it explicitly reports the ballistic model underprediction, the single certified-boundary miss, the one-dimensional nature of the deployed gate, and the fact that all results are simulation-only. The main weakness is that the word 'certified' is used more strongly than the implementation and model fidelity support.","major_comments":[{"comment":"The point-mass ballistic model underpredicts measured BeamNG range by ≈39% at 28 m/s, and the gap length is calibrated per launch geometry. Because the flight time T(v0) enters the certificate of Theorem 3 and the speed window of Proposition 1, the 'closed-form certified feasible-takeoff set' is not a predictive certificate for unseen geometry without recalibration. A 39% range error can correspond to much larger flight-time errors than the 0.3 s that already produced a certified miss in §V-A3. The sufficiency claim of F is conditional on an accurate T; the paper should either bound the T error and erode F accordingly, or explicitly frame the contribution as a model-in-the-loop certificate requiring per-geometry calibration.","section":"§V-A4, §III-C (Prop. 1, Thm. 3)"},{"comment":"The certificate accepts 62 of 125 jumps and 61 land clean; the single miss is attributed to a replicate whose flight ran 0.3 s longer than its cell siblings. If membership was evaluated with the measured takeoff state but a wrong (nominal) flight time, then the certificate is not robust to T estimation error. If the actual T was used, then a state passing the certificate failed to land clean, which contradicts the sufficiency guarantee of Theorem 3. The paper should clarify which T was used and, if necessary, add a margin on T so that the certificate is truly conservative in the deployed simulator.","section":"§V-A3 (certified-boundary grid)"},{"comment":"The end-to-end go/no-go gate implements only the speed-window projection [v_min, v_crit], not full-state membership in F. The gate-on takeoff states in §V-B4 remain over the pitch-rate budget (median |ω_θ0| = 43 deg/s vs. B ≈ 9–13 deg/s), so they are outside the certified set. The abstract's claim that DART 'supplies a conservative go/no-go condition' is therefore not supported by the deployed system: the gate reduces impact energy but does not certify attitude feasibility. This is a load-bearing gap between the theoretical contribution and its headline deployment, and the paper's own statement that 'online full-state F membership is future work' should be reflected in the contributions and abstract.","section":"§III-E, §V-B4, Cor. 5"},{"comment":"The budget calculation in Eq. (10) uses the nominal wheel inertia I_w = 1.2 kg m², while the momentum-exchange probe reports an effective per-corner spin inertia of 0.83–0.98 kg m². These values are numerically inconsistent: using 0.9 kg m² with the stated 1200-rpm sustained envelope gives a nose-up budget of roughly 7–8 deg/s at typical takeoff wheel speeds, below the 9–13 deg/s headline. The paper should state which inertia is used in the headline numbers and reconcile the nominal and effective values, since the quantitative ceiling is a central claim.","section":"§III-B, §IV-A, §V-A3"}],"minor_comments":[{"comment":"Suggest adding a qualifier such as 'under the reduced model' or 'after calibration' to 'closed-form certified feasible-takeoff set' to match the implementation described in the body.","section":"Abstract"},{"comment":"The term 'DART pool' is not defined in the table or text; clarify that it combines two 30-jump runs and the 'floor' is the same-law replicate gap.","section":"Table III"},{"comment":"The heading-trim parameters (yaw deadband 2°, gain 0.55, steer cap 0.45) are introduced but not evaluated in the results; a sentence mapping them to an experiment would help.","section":"§III-F"},{"comment":"The choice of the latch threshold φ_on = 8° and deadband φ_db = 2° is stated but not justified; a brief rationale (e.g., below the observed roll disturbance levels) would be useful.","section":"§IV-A"},{"comment":"The end-to-end experiment reports 'on-target' landings but not 'safe-land' counts; since the gate-on median pitch error is 32.8° (close to the 35° crash-avoidance bound), readers should be told how many gate-on landings meet the full safe-land criterion.","section":"§V-B4"}],"recommendation":"major_revision","confidential_remarks":"The authors are unusually candid about limitations, and the core momentum-budget impossibility result is a solid contribution that likely deserves publication after revision. My central concern is not the mathematics of Theorem 1 but the gap between the 'certified' language and what is actually delivered: a calibrated 1D speed regulator that does not enforce full-state membership in F, built on a ballistic model with 39% range error. If the authors revise the claims to be explicitly model-conditional and add a robustness margin on flight time, the paper would be much stronger. I recommend major revision rather than rejection because the issues are fixable within the manuscript's scope and the fundamental physical insight is sound."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main thing to know: the momentum-budget result is real. Theorem 1 — that wheel angular momentum, not motor torque, caps recoverable in-flight pitch-rate change to roughly 9–13°/s on the 1383 kg platform — is a clean conservation-of-angular-momentum statement, and the direction-resolved tests back it up. That reframes the jump problem: pre-takeoff shaping matters more than in-flight heroics. The cross-phase back-propagation of landing constraints into a closed-form feasible takeoff set (Theorems 2–3, Corollary 5) is also a genuine addition; prior work gave stabilizing laws but no authority ceiling or hard gate.\n\nThe paper is honest. It reports the 36% touchdown-speed reduction as calibration-dependent, notes that the one-dimensional gate certifies only the speed axis, and includes the negative finding that gating increased landing-pitch error on the steep lip because slower traversal amplified takeoff pitch rate. That transparency extends to the simulation evidence, which is extensive: N=30 per cell, paired designs, ablation controls, and null results reported.\n\nThe soft spots are real but not fatal. The certified set rests on the point-mass ballistic model in V-A4, which underpredicted measured range by about 39% at 28 m/s and forced per-geometry calibration of the gap length. So 'closed-form certified' is accurate for the calibrated geometry, not for an unseen one without re-identification. The one certified miss on the boundary grid, caused by a 0.3s flight-time variation, shows this sensitivity concretely. The deployed gate is also a one-dimensional speed regulator, not full-state F membership — the paper says this explicitly and calls full-state gating future work. These are limitations, not defects; the authors flag each one.\n\nThe theory itself is sound under the stated assumptions (A1–A5), and the budget claim is not fitted to the headline outcome. I'd send this to peer review. The momentum-budget framing is a genuinely useful contribution to the airborne-vehicle literature, and the gap between certificate and calibration is exactly what reviewers should probe. If you work on reachability-based safety or off-road control, bring it to the reading group; otherwise it's a solid but niche read.","headline":"Momentum-budget ceiling is the real contribution; the 'certified' set is calibration-dependent but the paper is honest and deserves serious peer review.","tokens_in":30866,"tokens_out":5579,"would_cite":true,"duration_ms":54496,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"On a 1383 kg vehicle, airborne pitch correction is physically capped at roughly 9–13°/s by wheel angular momentum, not motor torque; jump safety must therefore be enforced before takeoff by shaping speed into a certified window.","keywords":["off-road jumping","wheel-reaction attitude control","angular-momentum budget","reachability-based gating","takeoff speed shaping","dual-axis airborne control","torque vectoring","sim-to-real gap"],"falsifier":"In a free-flight test with wheels initially at rest, command full drive torque and measure the body pitch-rate change at the instant the wheels hit the drivetrain hard limit; the paper's parameters predict about 21.7°/s from rest and 16–18°/s at typical takeoff wheel speeds. If a measured rate well above that is achieved, the claimed angular-momentum ceiling is wrong. Alternatively, inject a takeoff pitch rate of −40°/s on a 1383 kg platform and see whether any controller can land within the terminal window |ω_θ(T)−ω_target|≤ω̅_θ; if yes, Theorem 1's impossibility bound fails.","tokens_in":29917,"feed_emoji":"🛞","tokens_out":8935,"duration_ms":78085,"temperature":0.7,"pith_summary":"High-speed jumping is a crash hazard because a few degrees of pitch error at landing can turn a four-wheel touchdown into a nose-first impact. This paper tries to establish that the airborne phase is barely controllable: on the studied 1383 kg electric platform, the wheels' finite angular momentum caps recoverable body pitch-rate change at about 9–13°/s in the nose-up direction, roughly twice that in the braking/reverse direction, and no amount of motor torque can exceed that ceiling. The consequence is that the decisive control lever sits before takeoff. DART back-propagates the landing constraint into a closed-form certified feasible takeoff set, uses it as a conservative go/no-go gate and a pre-takeoff speed-shaping law, and in flight regulates pitch and roll through steer-resolved wheel reaction with a per-flight roll latch. In controlled full-scale simulation, the pre-takeoff speed regulator reduces touchdown speed by 36% and raises on-target landings from 0/30 to 30/30 on the steep-lip scenario, while the airborne law lands 29/30 versus 0/30 for baselines; all results are simulation-only.","feed_headline":"Airborne jump corrections cap at ~13°/s; speed shaping saves landings","feed_subtitle":"Slowing a steep-lip approach before launch turned 0/30 crash landings into 30/30 on-target touchdowns in simulation.","key_machinery":"The load-bearing identity is the pitch-axis projection of angular-momentum conservation, I_yy Δω_θ = Σ I_i Δω_i, evaluated at the wheel-speed bounds. Theorem 1 turns this into directional budgets B↑ and B↓—the angular momentum already stored in the wheels, divided by body pitch inertia—and proves any required correction beyond them is impossible. Theorem 3's null-then-correct construction then checks, in closed form, whether the takeoff state can null the rate error and still have enough directional margin and flight time D(T_c, B_r) to reach the landing pitch; membership in that certified set F is the conservative go/no-go condition. Corollary 5 back-propagates F onto the speed axis as v_ma","core_discovery":"The central discovery is a hard physical ceiling: total chassis-plus-wheel angular momentum is conserved in flight, so the wheels—not motor torque—limit attitude correction. On the 1383 kg platform, the nose-up drive budget ΣI_i(ω_max−ω_i0)/I_yy is about 9–13°/s, the braking/reverse budget about twice that, and the drivetrain hard limit still only 16–18°/s. Theorem 1 makes the impossibility explicit: a takeoff pitch-rate error beyond that directional budget cannot be brought into the landing window in flight. The constructive response is a closed-form certified feasible takeoff set (Theorem 3), whose speed projection yields the pre-takeoff go/no-go gate and speed-shaping law (Corollary 5), m","pith_inferences":["If the certified set is applied outside calibrated geometry, the paper's own point-mass translation error (≈39% range underprediction at 28 m/s) means the 'certified' speed window is only as good as the per-geometry calibration; a robust deployment would need to estimate that error and erode F by an uncertainty ball.","The budget formula gives a design lever: raising wheel inertia or wheel-speed envelope, or lowering body pitch inertia, directly raises the 9–13°/s ceiling—though at fixed footprint B∝1/m, so mass growth tightens it.","The same conservation argument should transfer to any independently driven, steered wheeled vehicle, so a small-scale instrumented RC platform could measure the budget before full-scale hardware, and the paper's two-sided prediction (convergence inside the budget, separation outside) is testable there.","A practical consequence of the yaw-leak analysis is that any roll-correction law that dithers in and out of engagement can accumulate same-sign yaw impulses; the per-flight latch is one remedy, but yaw-loop phase compensation would be the natural next control layer."],"forward_implications":["Any jump whose takeoff pitch-rate disturbance exceeds the directional wheel-momentum budget is physically unrecoverable in flight; the only option is to shape or refuse the takeoff before launch.","Slowing a steep-lip approach to the certified speed window reduced touchdown speed by 36% and raised on-target landings from 0/30 to 30/30 in the evaluated scenario, while the empty-window branch stopped the vehicle before the lip.","When the takeoff state is inside the budget, all tested control laws perform alike; the airborne law matters only for over-budget disturbances.","On banked run-ups, the dual-axis law with the roll latch holds median pitch error at or below 2° across tested cross-slopes, with the largest baseline separation at 12°.","The momentum budget scales inversely with vehicle mass (B∝1/m at fixed wheel hardware), so heavier vehicles have even less airborne authority and depend more on pre-takeoff gating."],"fun_headline_variants":["Airborne pitch limit ~13°/s; speed shaping before launch yields 30/30","Pre-takeoff speed law turns 0/30 crash landings into 30/30 on-target","Pre-takeoff speed gate from DART turns 0/30 to 30/30 safe","Airborne pitch recovery ~13°/s; DART shapes takeoff speed for safe landings"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The certified takeoff set F is built on assumption A3 that the airborne center of mass follows a point-mass ballistic arc with known landing geometry and flight time; the paper reports in Section V-A4 that this point-mass model underpredicts measured range by about 39% at 28 m/s, requiring per-geometry calibration—so if that discrepancy or landing-surface estimation error is representative, the certified speed window is not certified for an uncalibrated vehicle.","fun_headline_variants_meta":{"raw":{"variants":["Airborne pitch limit ~13°/s; speed shaping before launch yields 30/30","Pre-takeoff speed law turns 0/30 crash landings into 30/30 on-target","Pre-takeoff speed gate from DART turns 0/30 to 30/30 safe","Airborne pitch recovery ~13°/s; DART shapes takeoff speed for safe landings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001227,"raw_usage":{"total_tokens":4986,"prompt_tokens":957,"completion_tokens":4029,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":701,"completion_tokens_details":{"reasoning_tokens":3928}},"tokens_in":701,"tokens_out":4029,"duration_ms":27245,"temperature":1.0,"reasoning_tokens":3928,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T15:25:49.124308+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In a free-flight test with wheels initially at rest, command full drive torque and measure the body pitch-rate change at the instant the wheels hit the drivetrain hard limit; the paper's parameters predict about 21.7°/s from rest and 16–18°/s at typical takeoff wheel speeds. If a measured rate well above that is achieved, the claimed angular-momentum ceiling is wrong. Alternatively, inject a takeoff pitch rate of −40°/s on a 1383 kg platform and see whether any controller can land within the terminal window |ω_θ(T)−ω_target|≤ω̅_θ; if yes, Theorem 1's impossibility bound fails.","supporting_citations":[],"review_version":1}