{"id":"2b44ba97-069a-4a7d-9b63-95b538425b50","arxiv_id":"2407.03725","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Conditional inference after a non-rejected pre-test for asymptotic normality conditions is asymptotically valid and typically conservative when the conditions hold.","lead":"The paper shows that inference conditional on not rejecting a pre-test for model conditions remains asymptotically valid if the conditions hold, though usually conservative. Economists and statisticians who condition inference on pre-test results may find this result relevant to their practice.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader's UNVERDICTED verdict stems directly from absence of the full text, which precludes checking proofs or the precise regularity conditions. My review reaches the same point: the abstract alone supplies no concrete technical gap to attack, so the reader's assessment requires no adjustment.","tokens_in":1573,"tokens_out":222,"duration_ms":13020,"concrete_test":"Obtain the full manuscript and verify that the proof of conditional validity (the central theorem) does not invoke any auxiliary assumption stronger than the stated mild regularity restrictions when the pre-test statistic and estimator are asymptotically dependent.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract states a theoretical result: under the maintained conditions plus mild regularity restrictions, conditional coverage after a non-rejected pre-test remains valid (typically conservative) irrespective of asymptotic dependence between estimator and pre-test. If the conditions fail, the paper exhibits cases of larger conditional coverage. No internal inconsistency, hidden circularity, or unsupported step is visible from the given statement of the claim.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript examines whether inference for a target parameter, conducted only after not rejecting a pre-test for the conditions supporting asymptotic normality of an estimator, is less reliable than unconditional inference. The central claim is that if the tested conditions and mild regularity restrictions hold, then conditional coverage remains valid (typically conservative), and this holds irrespective of asymptotic dependence between the estimator and pre-test statistic. When the conditions fail, the paper exhibits cases where conditional coverage exceeds unconditional coverage.","tokens_in":1629,"tokens_out":255,"duration_ms":12962,"significance":"If the result holds under the stated assumptions, it would be a useful clarification for econometric practice regarding pre-testing for model conditions, indicating that conditional inference does not undermine validity in the manner sometimes feared. The result addresses the dependence between estimator and pre-test, which is a relevant but often secondary concern in the literature on pre-test bias.","major_comments":[],"minor_comments":[{"comment":"The abstract states the main result but does not outline the key steps in the derivation or provide explicit statements of the mild regularity restrictions; the full manuscript should include these to allow readers to verify the conditions under which the claim applies.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading and positive assessment of the manuscript. The referee correctly summarizes the central claim and notes its potential usefulness as a clarification for practice. No specific major comments are listed in the report, so we have no points requiring response or revision. We agree with the recommendation for minor revision only in the sense that we remain open to any editorial suggestions, but none are indicated here.","responses":[],"tokens_in":1073,"tokens_out":99,"duration_ms":10281,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that pre-testing does not invalidate inference in the way many people worry. Under the paper's assumptions plus some mild regularity conditions, the conditional coverage probability after failing to reject the pre-test is still at least the nominal level, though usually conservative. This holds even when the estimator and the pre-test statistic are asymptotically dependent. When the tested conditions fail, the paper gives examples where the conditional intervals actually have better coverage than the unconditional ones. That pair of results is the concrete contribution. It sits on top of standard asymptotic normality arguments rather than introducing new machinery, which keeps the claim straightforward. The result directly addresses a recurring practical question in applied work where researchers test for things like instrument validity or heteroskedasticity before proceeding. The soft spot is that the abstract leaves the exact regularity restrictions and the definition of the pre-test somewhat implicit, so a reader has to wait for the full proof to see how restrictive they turn out to be in common settings. No circularity or hidden fitting appears in the stated claim. The paper is aimed at econometricians who routinely condition on pre-test outcomes and want a clear asymptotic statement rather than simulation evidence. It is worth sending to referees because the question is live in the literature and the answer is stated cleanly enough to be checked.","headline":"The paper shows conditional inference after a non-rejected pre-test stays valid under the maintained conditions, and the validity does not depend on asymptotic dependence between the estimator and the pre-test.","tokens_in":2101,"tokens_out":335,"would_cite":true,"duration_ms":8907,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/RealityFromDistinction.lean","rs_theorem":"reality_from_one_distinction","paper_passage":"We show that if the tested conditions and mild regularity restrictions hold, conditional inference is still valid, albeit typically conservative. Validity holds regardless of the asymptotic dependence between the estimator and the pre-test."},{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"The first point follows in particular from properties of convex functionals of Gaussian measures (Davydov et al., 1998), and the Gaussian correlation inequality (Royen, 2014)."}],"headline":"Econometric pre-test validity result using Gaussian correlation inequality; no overlap with RS forcing chain","alignment":"orthogonal","rationale":"Paper proves conditional coverage after non-rejected pre-tests remains valid (conservative) under null via Gaussian correlation inequality on convex symmetric sets (Theorem 1, Corollary 1, using Royen 2014). Central machinery is finite/infinite-dimensional specification tests (F-tests, Kolmogorov-Smirnov, etc.) under Assumptions 1-2. RS framework (reality_from_one_distinction, Jcost uniqueness in Cost/FunctionalEquation, phi-ladder constants, 8-tick/D=3 forcing in AlexanderDuality/DimensionForcing) derives physical constants and cost functions from bare distinguishability with zero adjustable parameters. No shared structures (J-cost, ratio symmetry, 8-periodicity, parameter-free constants) or contradictions; domain is applied econometrics (DID/RDD/IV pre-trends tests) vs. RS foundational logic-to-physics.","tokens_in":50351,"confidence":"high","tokens_out":404,"duration_ms":6401,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Conditional inference after not rejecting a pre-test for asymptotic normality conditions remains valid, though typically conservative.","keywords":["pre-testing","conditional inference","asymptotic normality","coverage probability","econometrics","hypothesis testing"],"falsifier":"A concrete counter-example in which the tested conditions hold, the pre-test does not reject with positive probability, yet the conditional coverage probability falls strictly below the nominal level.","tokens_in":4825,"feed_emoji":"","tokens_out":576,"duration_ms":19854,"temperature":0.7,"pith_summary":"The paper asks whether restricting inference to cases where a pre-test for the conditions needed for asymptotic normality does not reject undermines the reliability of that inference. It establishes that when those conditions and mild regularity restrictions hold, the resulting conditional confidence intervals still achieve at least the nominal coverage level. This validity result holds even when the estimator and the pre-test statistic are asymptotically dependent. Readers who routinely run specification tests before reporting standard errors or intervals can therefore continue to do so without introducing invalidity, although the intervals will often be wider than they would be without the pre-test.","feed_headline":"Conditional inference after pre-test remains valid","feed_subtitle":"Passing a test for asymptotic normality conditions does not invalidate subsequent confidence intervals even with dependence between test and","key_machinery":"The conditional coverage probability of the confidence interval given that the pre-test is not rejected; the proof shows this probability is bounded below by the nominal level whenever the maintained conditions hold.","core_discovery":"Assume that an estimator is asymptotically normal for a target parameter under some conditions. Suppose also that one can test these conditions, and one conducts inference for the target only if the pre-test is not rejected. We show that if the tested conditions and mild regularity restrictions hold, conditional inference is still valid, albeit typically conservative. Validity holds regardless of the asymptotic dependence between the estimator and the pre-test. If the tested conditions do not hold, we exhibit conditions under which confidence intervals have larger conditional than unconditional coverage.","pith_inferences":["The result may reduce reluctance to report diagnostic tests before main results in applied work.","Similar arguments could be examined for other common pre-tests such as those for instrument strength."],"forward_implications":["When the tested conditions hold, conditional inference achieves correct or higher coverage.","The validity result does not require the estimator and pre-test to be asymptotically independent.","When the tested conditions fail, there exist cases in which conditional coverage exceeds unconditional coverage."],"fun_headline_variants":["Inference valid after passing pre-test for normality","Pre-testing normality conditions does not break inference","Conditional inference remains valid regardless of pre-test dependence","Pre-test non-rejection yields conservative but valid intervals"],"cache_read_input_tokens":2432,"weakest_assumption_plain":"The estimator is asymptotically normal under the conditions that the pre-test is checking, and the pre-test is consistent for those conditions.","fun_headline_variants_meta":{"raw":{"variants":["Inference valid after passing pre-test for normality","Pre-testing normality conditions does not break inference","Conditional inference remains valid regardless of pre-test dependence","Pre-test non-rejection yields conservative but valid intervals"]},"model":"grok-4.3","cost_usd":0.003201,"raw_usage":{"total_tokens":1664,"prompt_tokens":552,"num_sources_used":0,"completion_tokens":56,"cost_in_usd_ticks":32012000,"prompt_tokens_details":{"text_tokens":552,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1056,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":552,"tokens_out":56,"duration_ms":5855,"temperature":1.0,"reasoning_tokens":1056,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-23T23:17:34.615372+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete counter-example in which the tested conditions hold, the pre-test does not reject with positive probability, yet the conditional coverage probability falls strictly below the nominal level.","supporting_citations":[],"review_version":1}