{"id":"cd5c309e-b334-49a7-a462-06047654aebe","arxiv_id":"2606.15423","paper_version":3,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"Black-hole interiors would be terminated at a finite radius where curvature hits the Planck scale, so the classical singularity at r = 0 is never formed.","lead":"This paper proposes that the quantum 'sum over geometries' loses validity as black-hole curvature approaches the Planck scale, so the interior ends at a tiny boundary instead of an infinite-density singularity. Generalists might care because it is a concrete attempt to resolve the oldest paradox of general relativity without inventing new particles or forces.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim rests on an unsupported identification of finite Planck curvature with loss of Sobolev regularity; no argument shows the smooth Schwarzschild metric at r_B leaves W^{2,2}.","rationale":"The reader's weakest_assumption correctly identifies the unsupported link between K ~ ℓ_P^{-4} and failure of W^{2,2} regularity. This is the most load-bearing concern because the entire construction—the existence and location of B_Q, the mass-inflation cutoff, and the GHY boundary action—depends on the claim that the metric leaves W^{2,2} exactly when the Kretschmann scalar reaches the Planck value. The paper does not provide a theorem or derivation for this; the cited work [12] addresses well-posedness of the Cauchy problem with L^2 curvature bounds, not a regularity threshold in terms of K. The smoothness of the Schwarzschild metric at the computed r_B makes the claim empirically falsifiable by direct computation. The paper's own Eq. (6) is introduced as a formal definition, not proven. The alternative grounding via Δh_ij ~ h_ij is essentially a restatement of Planck-scale uncertainty. While the supplement algebra is internally consistent and the Kerr cap derivation follows from the stated assumptions, those assumptions include the unsupported threshold. I therefore agree with the REJECT verdict; no verdict adjustment is needed.","tokens_in":10176,"tokens_out":4092,"duration_ms":44759,"concrete_test":"Compute the W^{2,2} norm of the Schwarzschild interior metric on the region r ∈ [r_B/2, 2r_g] in standard Schwarzschild coordinates. Since the metric components are smooth (C^∞) and all derivatives are bounded on this region (which excludes r = 0), the L^2 norm of the second derivatives is finite, so the metric is in W^{2,2} at r = r_B. This directly contradicts the premise that K = ℓ_P^{-4} forces a Sobolev failure for the paper's headline example. If the premise fails, Eq. (6) is inapplicable and the boundary B_Q is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is the assertion that when the Kretschmann scalar reaches K ~ ℓ_P^{-4}, the metric ceases to be twice weakly differentiable (leaves W^{2,2}), making the Einstein–Hilbert action undefined and hence Ψ = 0. This is not supported. The analytic Schwarzschild interior has R = 0 and is smooth for all r > 0; at the paper's own boundary radius r_B = (√48 r_g ℓ_P^2)^{1/3}, K = ℓ_P^{-4} but the metric is C^∞ and lies in W^{2,2} on any compact region away from r = 0. Nothing in the cited bounded-L^2-curvature theorem [12] implies a threshold in K at which differentiability fails; that theorem concerns well-posedness of the vacuum Cauchy problem for initial data with bounded L^2 curvature, not local regularity at a finite curvature value. The alternate argument in §2.1 that Δh_ij ~ h_ij in a Planck cell is the Planck-scale postulate restated, not a derivation from the functional integral. Moreover, Eq. (6) is introduced as 'we formally define the exclusionary regime,' confirming that Ψ = 0 is stipulated rather than derived. Consequently B_Q's location is not established, and the central claim that the manifold terminates at r_B > 0 is unproven. The subsequent mass-inflation cap and GHY action inherit this unsupported threshold.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that the gravitational functional integral loses support at a Planck-curvature threshold K ~ ℓ_P^{-4}, producing a quantum boundary B_Q that truncates black-hole interiors at a finite positive radius before the classical singularity. The argument proceeds from the Wheeler–DeWitt equation and the Feynman sum over geometries, asserting that at Planck curvature the metric leaves the Sobolev space W^{2,2}, the Einstein–Hilbert action becomes undefined, and the wavefunctional consequently has strictly zero support beyond B_Q. On this basis the paper derives a Schwarzschild boundary radius r_B (Eq. 10), a Kerr mass-inflation cutoff n_max (Eq. 11), a maximum Kerr boundary radius (Eq. 12), and a finite Gibbons–Hawking–York boundary action (Eq. 14). The paper claims that these results remove the classical singularity without invoking trans-Planckian degrees of freedom.","tokens_in":10518,"tokens_out":4372,"duration_ms":46973,"significance":"If the central mechanism were established, the paper would propose a strikingly parsimonious resolution of black-hole singularities and mass inflation, with concrete quantitative anchors such as r_B ~ 10^{-22} m for a solar-mass black hole and n_max ≈ 2.6×10^7. The paper is also commendably explicit: it labels Eq. (6) as a formal definition, states the Planck-curvature threshold as an input, and provides supplementary derivations for the quantitative formulas. However, the central inference from 'phase amplitude undefined' to 'Ψ = 0' is a non-sequitur, and the identification of K ~ ℓ_P^{-4} with a loss of W^{2,2} regularity is unsupported. Because the boundary location is effectively stipulated rather than derived, the quantitative outputs are restatements of the input threshold in different variables. The significance of the framework is therefore conditional on a central premise that the manuscript does not establish.","major_comments":[{"comment":"The central inference 'phase amplitude undefined ⇒ Ψ = 0' is a non-sequitur. An undefined or divergent functional-integral phase does not imply that the wavefunctional vanishes; it means the integral as written is not a well-defined amplitude. In ordinary quantum mechanics, an ill-defined path integral does not license setting the wavefunction to zero. Moreover, Eq. (6) is introduced with the phrase 'we formally define the exclusionary regime', which concedes that zero support is imposed rather than derived. Since the truncation of the manifold and all quantitative boundary radii follow from this imposed condition, the central claim of the paper is not established by the functional-integral argument.","section":"Abstract; §2.2, Eq. (6)"},{"comment":"The asserted loss of W^{2,2} regularity at K ~ ℓ_P^{-4} is unsupported. The Schwarzschild interior is C^∞ for all r > 0; at the paper's own boundary radius r_B from Eq. (10), the metric is locally smooth and lies in W^{2,2} on any compact region excluding r = 0. Furthermore, the vacuum Schwarzschild interior has Ricci scalar R = 0, so the Einstein–Hilbert bulk action density is identically zero at r_B; there is no 'undefined action' at the location where the boundary is placed. The cited bounded-L²-curvature theorem [12] concerns well-posedness of the classical Cauchy problem for initial data with L² curvature, not a threshold at which a smooth metric loses differentiability. The alternative argument in §2.1 that Δh_ij ~ h_ij in a Planck cell restates the Planck-scale postulate rather than deriving it from the functional integral.","section":"§2.1–§2.2 and Supplement S2"},{"comment":"The mass-inflation cutoff n_max and the Kerr boundary radius r_B^Kerr are not independent predictions. They are obtained by taking the paper's own Kretschmann formula, substituting r_- ≈ r_g/(2n³), and imposing K = ℓ_P^{-4}. The existence and location of B_Q are thus assumed, not derived. In the absence of independent support for the Sobolev-failure premise, Eqs. (11)–(12) merely rewrite the input threshold in different variables and do not provide a falsifiable prediction that would discriminate the framework from other Planck-scale cutoff schemes.","section":"§3.2.1 and Supplement S7–S8"},{"comment":"The GHY boundary-action calculation is not well-defined as presented. Eq. (13) is an integral over a 3-surface, but Eq. (14) is described as integrating over 'one minimal spatial slice (one Planck unit t_P)'—supplying a time interval converts the expression into a 4-volume-like quantity and the step Δt = t_P is an ad hoc discretization. The claim that 'divergent square roots cancel' is applied to an integrand that is already finite in Eq. (S13); the result 3/2 M c² Δt is at best an order-of-magnitude estimate, not a derivation. Additionally, the trace of the extrinsic curvature K in Eq. (13) is notationally conflated with the Kretschmann scalar K used throughout the paper.","section":"§3.3, Eq. (14) and Supplement S10–S14"}],"minor_comments":[{"comment":"The dimensions and meaning of Eq. (4) are unclear: Δp Δh ~ ℏ/V mixes a momentum density with a metric perturbation. A brief derivation from the ADM commutation relations would improve clarity.","section":"§2, Eq. (4)"},{"comment":"The Kay–Wald theorem [11] is cited as a general diagnostic for Cauchy-horizon pathologies, but the theorem concerns uniqueness and thermal properties of quasifree states on spacetimes with bifurcate Killing horizons. Its applicability to the mass-inflation setting should be qualified.","section":"§2.3"},{"comment":"The notation for the Kretschmann scalar and the extrinsic curvature trace (both called K) is confusing, especially because Eq. (13) uses K for the latter while the surrounding text uses K for the former. A different symbol, e.g. Tr K, would avoid ambiguity.","section":"§3.1–§3.2"}],"recommendation":"reject","confidential_remarks":"The paper candidly acknowledges that Eq. (6) is a formal definition rather than a derived result; this definition carries the entire argument. The quantitative outputs are consequences of the assumed Planck-curvature threshold, so the central claim is currently unfalsifiable within the manuscript's scope. This is a foundational gap, not a presentation issue."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague — I read the Shaya paper because it claims to do a lot with very little: no trans-Planckian degrees of freedom, just a boundary where the functional integral loses support. There is real craft here — the Kerr mass-inflation cap, the boundary radius scaling, and the GHY bookkeeping are worked out concretely, and the supplement is transparent about the algebra. But the central inference is not a derivation. The paper's own Eq. (6) says 'we formally define the exclusionary regime,' and that is the honest description. Undefined phase amplitude does not imply Ψ = 0; a superposition of geometries with no unique classical pick is the normal quantum state, not an empty one.\n\nThe Sobolev argument is the weak link. The Schwarzschild interior used for the headline r_B has R = 0 and is C^∞ at r_B; reaching K ~ ℓ_P^-4 does not remove the metric from W^{2,2}. Klainerman–Rodnianski–Szeftel is a well-posedness theorem for the classical Cauchy problem, not a local regularity threshold at a finite curvature value. So the boundary location is not established — it is a restatement of the Planck-curvature postulate, with algebra substituted for argument. The Δh_ij ~ h_ij Planck-cell uncertainty is the same postulate in different clothing.\n\nThere is also a flat internal inconsistency: the abstract's n_qb for a solar-mass hole is around 10^75 while §3.2.1/S8 gives 2.6×10^7. That is not a typo in a prefactor; it is about 68 orders of magnitude. Maybe the two expressions are meant for different regimes, but the paper does not say so.\n\nWhat I credit genuinely: the paper is readable, honest in tone, and the Kerr computation is a real calculation even if it inherits the unsupported threshold. It is the kind of paper a good referee could help the author make into something precise — by forcing the 'Ψ = 0' step to be derived from a defined measure, not declared. For the black-hole interior community it is a provocative proposal; for students, a useful case study in where functional-integral heuristics turn into stipulation. I would send it to review, but I would not expect the central mechanism to survive verbatim.","headline":"The paper's central mechanism is asserted rather than derived: the black-hole boundary is a restatement of the Planck-curvature postulate, not a consequence of the functional integral.","tokens_in":11089,"tokens_out":4493,"would_cite":false,"duration_ms":48816,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.60.-m","04.70.-s"],"model":"deepseek-v4-flash","headline":"The paper argues that the gravitational functional integral loses all support once curvature reaches the Planck scale, so black hole interiors end at a finite positive radius and the classical singularity is never reached.","keywords":["quantum boundary","Planck curvature","black hole singularity","sum over geometries","Wheeler-DeWitt equation","mass inflation","Sobolev regularity","Gibbons-Hawking-York action"],"falsifier":"Take any explicit smooth (C^∞) Lorentzian metric with Kretschmann scalar exceeding ℓ_P^{-4} on some open set (for instance a regular black hole metric with a Planck-scale core) and verify it lies in W^{2,2} with square-integrable second derivatives; its existence shows Planck curvature does not imply the definedness failure the argument requires. Alternatively, compute the Einstein–Hilbert bulk action for the vacuum Schwarzschild interior at r_B: since R=0 there, the action density is zero and well-defined, so the asserted 'undefined action' does not occur at the radius where Eq. (10) is deriv","tokens_in":9923,"feed_emoji":"🕳️","tokens_out":7513,"duration_ms":70370,"temperature":0.7,"pith_summary":"The paper claims that the sum over geometries terminates at a Planck-curvature boundary, making the classical singularity physically unreachable. Its central move is to link Planck curvature to a failure of metric differentiability: at K~ℓ_P^{-4}, Heisenberg uncertainty makes the metric fluctuate at order unity, the Einstein–Hilbert action becomes mathematically undefined, and the wavefunctional is exactly zero beyond that point. For a non-spinning black hole this places the end of spacetime at r_B=(√48 r_g ℓ_P²)^{1/3}, about 10^-22 m for a solar mass. For spinning holes, the same boundary caps mass inflation at a finite amplification and excises the inner horizon, ring, and any passage beyond. If correct, every black hole interior ends at a finite, macroscopically meaningful boundary without any new trans-Planckian physics.","feed_headline":"10^-22 m: black hole interiors hit a Planck-curvature wall","feed_subtitle":"A quantum argument says the classical singularity never forms; mass inflation stops at a finite radius.","key_machinery":"The central object is the quantum boundary B_Q, defined as the surface where the Kretschmann scalar reaches K=ℓ_P^{-4}. The argument is carried by a definedness chain: at that curvature, ADM Heisenberg uncertainty forces metric fluctuations of order unity (Δh_ij~h_ij) within a Planck cell; this makes the metric leave W^{2,2}, so the Einstein–Hilbert action is mathematically undefined; an undefined action makes the phase factor e^{iS/ℏ} meaningless, so the wavefunctional is identically zero; and zero support acts as topological excision of the region beyond B_Q. For Schwarzschild, matching K=48 r_g^2/r^6 to ℓ_P^{-4} yields r_B=(√48 r_g ℓ_P²)^{1/3}. For Kerr, matching the mass-inflated, shrink","core_discovery":"On the paper's own terms, the central discovery is that the gravitational wavefunctional has strictly zero support for geometries whose Kretschmann curvature reaches the Planck threshold ℓ_P^{-4}: Ψ[h_ij]=0 for all h_ij outside the Sobolev space W^{2,2}. Because the Einstein–Hilbert action needs twice weakly differentiable metrics, and because Planck-scale quantum fluctuations make the metric non-differentiable there, the phase amplitude is undefined and those geometries cannot appear in the functional integral. The paper derives quantitative anchors: the Schwarzschild interior truncates at r_B=(√48 r_g ℓ_P²)^{1/3}; a maximal Kerr hole caps its internal mass amplification at n_max≈0.67(r_g/ℓ","pith_inferences":["If the zero-support mechanism is right, then no physical process can ever probe curvatures above ℓ_P^{-4}: any approach to the threshold would be topologically excised, making trans-Planckian physics observationally inaccessible by construction.","The same Sobolev criterion would, if applied consistently, forbid any metric with K>ℓ_P^{-4} anywhere, including regular black hole models and cosmological bounces, predicting a universal cutoff rather than a bounce; this is a testable distinction against those models.","The ~10^-22 m boundary for solar-mass black holes is far too small for direct imaging, but the predicted absence of mass-inflation effects and the finite inner-boundary action could plausibly leave imprints on gravitational-wave ringdown or on the late-time evolution of black hole interiors.","The paper's argument implies the functional integral is defined only on W^{2,2} metrics; a natural extension would be to check whether this restricted domain reproduces the Bekenstein–Hawking entropy from counting boundary states at B_Q."],"forward_implications":["Every black hole interior, regardless of spin, terminates at a finite boundary set by Planck curvature; the classical central singularity never forms.","For rotating black holes, the inner Cauchy horizon, ring singularity, and any extension to other asymptotically flat regions are excised from the physical manifold; mass inflation is capped at a finite amplification.","The interior action is finite and macroscopic, S_GHY^qb≈(3/2) M c² Δt per boundary segment, so the quantum boundary contributes real dynamical bookkeeping.","Anisotropic BKL oscillations are capped patch-by-patch: any Kasner crest reaching Planck curvature becomes a transient local boundary and its continuous symmetries are annihilated.","The framework supports cosmic censorship: no non-unique extension past the Cauchy horizon exists (strong), and no naked singularity can be exposed (weak)."],"fun_headline_variants":["Quantum wall ends black hole interiors before singularity","Planck curvature boundary: no black hole singularity, ever","Wavefunction zero at Planck curvature: singularity impossible","Black hole interiors hit quantum boundary, not singularity","Mass inflation stops at Planck scale: no singularity forms"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The whole construction hinges on the premise that reaching Planck curvature forces the metric to leave the W^{2,2} space—that a smooth, perfectly differentiable metric cannot have K~ℓ_P^{-4}; if smooth metrics with arbitrarily large curvature remain admissible, the link from curvature to undefined action and zero wavefunctional collapses.","fun_headline_variants_meta":{"raw":{"variants":["Quantum wall ends black hole interiors before singularity","Planck curvature boundary: no black hole singularity, ever","Wavefunction zero at Planck curvature: singularity impossible","Black hole interiors hit quantum boundary, not singularity","Mass inflation stops at Planck scale: no singularity forms"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000184,"raw_usage":{"total_tokens":1235,"prompt_tokens":907,"completion_tokens":328,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":651,"completion_tokens_details":{"reasoning_tokens":265}},"tokens_in":651,"tokens_out":328,"duration_ms":4004,"temperature":1.0,"reasoning_tokens":265,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T11:20:18.809072+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take any explicit smooth (C^∞) Lorentzian metric with Kretschmann scalar exceeding ℓ_P^{-4} on some open set (for instance a regular black hole metric with a Planck-scale core) and verify it lies in W^{2,2} with square-integrable second derivatives; its existence shows Planck curvature does not imply the definedness failure the argument requires. Alternatively, compute the Einstein–Hilbert bulk action for the vacuum Schwarzschild interior at r_B: since R=0 there, the action density is zero and well-defined, so the asserted 'undefined action' does not occur at the radius where Eq. (10) is deriv","supporting_citations":[],"review_version":2}