{"id":"59fe0caa-1613-43e8-bd8d-a5c040cd8684","arxiv_id":"2605.29696","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Historical case study claims the key step for the Wheeler-DeWitt equation was its rigorization via an inner-product expression, not the initial equation statement itself.","lead":"The paper uses the 1962-1967 history of the Wheeler-DeWitt equation to argue that rigor in theoretical physics is an internal norm aimed at enabling concrete calculations rather than an external ideal of mathematical perfection. A smart generalist might read it to understand how credit and formal standards actually evolve inside physics communities.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"Archival sufficiency to isolate inner-product rigorisation as the decisive credit factor","rationale":"The reader's weakest_assumption already isolates the precise evidentiary requirement for the historiographical claim. No additional internal inconsistency or missing derivation appears in the argument structure; the single concrete check above directly tests whether the archival material supports the required distinction.","tokens_in":1733,"tokens_out":293,"duration_ms":15475,"concrete_test":"Extract every reference to the Wheeler-DeWitt equation and to its inner product in DeWitt's 1967 paper together with any 1965-1967 letters between Wheeler and DeWitt; check whether the inner-product formula is singled out as the element that rendered the equation calculable, versus the equation statement alone being presented as the main advance.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central explanatory hypothesis requires that the 1962-1967 published record plus archives contain enough granularity to show that the inner-product expression (rather than the Wheeler-DeWitt equation statement itself) was the step that removed barriers to concrete calculation and thereby fixed credit attribution. If the sources treat the equation and its inner product as a single package, or if other elements (e.g., superspace geometry or constraint handling) receive equal or greater emphasis in the actors' own accounts, the claim that rigorisation via the inner product was the load-bearing step does not follow from the evidence.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims that rigour in mid-twentieth-century theoretical physics is an endogenous norm whose primary function is to remove barriers to concrete calculation and clear conceptualisation, rather than to meet an external standard of mathematical truth. Through a case study of the Wheeler-DeWitt equation in the period 1962–1967, drawing on archival material and the published record, it advances the explanatory hypothesis that credit attribution turned on the rigorisation of the equation via the expression for the inner product, not on the initial statement of the equation itself.","tokens_in":1847,"tokens_out":385,"duration_ms":18251,"significance":"If the historical reconstruction holds, the work supplies a concrete illustration of how local norms of rigour operate in quantum gravity research and how they shape credit attribution. The archival grounding distinguishes the analysis from purely conceptual accounts and offers a falsifiable claim about which technical step removed calculational obstacles.","major_comments":[{"comment":"The central hypothesis—that the inner-product expression, rather than the equation statement, was the load-bearing step fixing credit attribution—requires explicit demonstration that the 1962–1967 sources treat these elements as separable. If the actors’ correspondence and papers present the Wheeler-DeWitt equation and its inner product as a single package, or if superspace geometry and constraint handling receive comparable emphasis in contemporary accounts, the claim that inner-product rigorisation was decisive does not follow from the evidence. Direct quotations or dated archival references isolating this distinction are needed.","section":"The central explanatory hypothesis"}],"minor_comments":[{"comment":"The abstract would benefit from naming one or two key archival collections or specific 1967 papers that anchor the evidence chain, allowing readers to assess the granularity of the sources immediately.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their thoughtful summary and for identifying a point where the evidential basis for our central hypothesis can be made more explicit. We address the major comment below and will revise the manuscript to incorporate additional direct quotations and dated archival references that isolate the distinction between the initial equation statement and the inner-product rigorization.","responses":[{"response":"We agree that the manuscript would be strengthened by more explicit textual evidence demonstrating that the historical actors treated the equation statement and the inner-product expression as separable steps. While our archival analysis already indicates that credit attribution hinged on the ability to perform concrete calculations once the inner product was supplied, we will revise the relevant sections (particularly those drawing on Wheeler-DeWitt correspondence from 1965–1967) to include direct quotations where the inner product is singled out as the step that removed calculational barriers, distinct from the initial constraint equation. We will also check and report on whether superspace geometry or constraint handling received comparable emphasis in the same sources, adding dated references to support or qualify the claim that inner-product rigorization was the decisive element for credit attribution.","revision_made":"yes","referee_comment":"[The central explanatory hypothesis] The central hypothesis—that the inner-product expression, rather than the equation statement, was the load-bearing step fixing credit attribution—requires explicit demonstration that the 1962–1967 sources treat these elements as separable. If the actors’ correspondence and papers present the Wheeler-DeWitt equation and its inner product as a single package, or if superspace geometry and constraint handling receive comparable emphasis in contemporary accounts, the claim that inner-product rigorisation was decisive does not follow from the evidence. Direct quotations or dated archival references isolating this distinction are needed."}],"tokens_in":1339,"tokens_out":371,"duration_ms":15479,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main thing here is the claim that credit for the Wheeler-DeWitt equation turned on the inner-product expression that made it rigorous enough for actual calculations, rather than on stating the equation itself. The authors use archival material and the published record from that period to argue this point.\n\nWhat stands out is the focus on how physicists define rigor internally: it is about clearing the way for concrete work and clear concepts, not about meeting some external mathematical ideal. The case study illustrates that idea with a specific slice of quantum gravity history, and the hypothesis about the inner product as the load-bearing step is not one I have seen in the standard accounts.\n\nThe soft spot is exactly the one flagged in the stress test. The sources may not separate the inner product cleanly from the equation or from other elements like superspace geometry. If the actors themselves treated the whole package as a unit, or if their letters and papers give equal or greater weight to constraint handling, then the argument that the inner product alone determined credit attribution does not follow. The abstract states the hypothesis clearly but does not include the key excerpts or citation chains, so it is difficult to judge how granular the evidence actually is.\n\nThis is a paper for historians of mid-century theoretical physics who care about credit practices and local norms of rigor. A reader working on the history of quantum gravity would find the interpretive angle useful even if they end up disagreeing with the weighting of the sources.\n\nIt deserves peer review. The claim is specific and the method is appropriate for the question; the referees can check whether the archives really isolate the inner product as the decisive move.","headline":"The paper's new claim is that the inner-product expression, not the equation statement, was the decisive rigorization step that fixed credit for the Wheeler-DeWitt work in 1962-67.","tokens_in":2350,"tokens_out":412,"would_cite":false,"duration_ms":17874,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The Wheeler-DeWitt equation gained its significance from the later expression for its inner product, which enabled concrete calculations, rather than from the initial statement of the equation itself.","keywords":["Wheeler-DeWitt equation","rigour in physics","credit attribution","quantum gravity","inner product","historical case study","1960s theoretical physics","canonical quantisation"],"falsifier":"A previously unseen letter or notebook entry in which Wheeler or DeWitt states that the bare form of the equation, without any inner product, already constituted the completed and credit-worthy contribution.","tokens_in":2625,"feed_emoji":"","tokens_out":749,"duration_ms":17668,"temperature":0.7,"pith_summary":"The paper argues that rigour in theoretical physics is an internal standard aimed at clearing the way for calculations and clear thinking about physical quantities, not at meeting external mathematical ideals. It supports this through a close study of how the Wheeler-DeWitt equation developed between 1962 and 1967, showing that the decisive step was the addition of an inner product that turned the equation into a well-defined object one could actually use. A reader would care because the account changes how credit is assigned: the people who supplied the inner product, not those who first wrote the equation, performed the work that mattered under the standards of the time. The case therefore illustrates how physicists decide what counts as a finished piece of theory.","feed_headline":"Inner product step fixed credit for the Wheeler-DeWitt equation","feed_subtitle":"Archival records show the 1967 expression that allowed calculations, not the 1962 equation statement, was treated as the decisive rigorisati","key_machinery":"The inner product expression that supplied a norm on the space of wave functionals and thereby rendered the Wheeler-DeWitt equation suitable for concrete computations.","core_discovery":"In the period 1962-1967 the Wheeler-DeWitt equation moved from a semi-formal constraint to a usable model once an expression for the inner product on the space of wave functionals was supplied; that step, rather than the writing of the equation alone, constituted the rigorisation that removed barriers to calculation and thereby fixed credit attribution between Wheeler and DeWitt.","pith_inferences":["Historians studying other constraint equations in physics may find that the inner-product or measure step often carries the decisive credit.","Current work on the problem of time in quantum gravity might be examined to see whether an analogous inner-product construction is still missing.","The case suggests that credit disputes in theoretical physics are best resolved by recovering the precise point at which a model became calculable rather than by comparing dates of first mention."],"forward_implications":["Credit for equations in canonical quantum gravity is assigned according to the step that first permits calculational contact with observables.","Physicists' standards of rigour change over time in response to the practical need to produce well-defined models rather than to satisfy abstract completeness.","Historical accounts of theory development must track the internal sequence of rigorisation steps rather than the first appearance of an equation on paper.","The Wheeler-DeWitt equation's status as a named object emerged from the 1967 inner-product work, not from the 1962 constraint statement."],"fun_headline_variants":["Inner product key to Wheeler-DeWitt rigour and credit 1962-67","Wheeler-DeWitt credit followed 1967 inner product expression","1967 inner product turned Wheeler-DeWitt into usable model","Credit for Wheeler-DeWitt hinged on inner product step not equation","Inner product expression fixed rigour and attribution 1962-67 Wheeler-DeWitt"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"Archival letters, notes, and the published papers from 1962-1967 are enough to show that the inner-product step, not the equation statement, was what Wheeler and DeWitt treated as the essential advance.","fun_headline_variants_meta":{"raw":{"variants":["Inner product key to Wheeler-DeWitt rigour and credit 1962-67","Wheeler-DeWitt credit followed 1967 inner product expression","1967 inner product turned Wheeler-DeWitt into usable model","Credit for Wheeler-DeWitt hinged on inner product step not equation","Inner product expression fixed rigour and attribution 1962-67 Wheeler-DeWitt"]},"model":"grok-4.3","cost_usd":0.004556,"raw_usage":{"total_tokens":2270,"prompt_tokens":680,"num_sources_used":0,"completion_tokens":83,"cost_in_usd_ticks":45562000,"prompt_tokens_details":{"text_tokens":680,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1507,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":680,"tokens_out":83,"duration_ms":10036,"temperature":1.0,"reasoning_tokens":1507,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T23:48:12.672743+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A previously unseen letter or notebook entry in which Wheeler or DeWitt states that the bare form of the equation, without any inner product, already constituted the completed and credit-worthy contribution.","supporting_citations":[],"review_version":1}