[
  {
    "Book": "A",
    "Section": "00_White_Paper",
    "Claim": "Space of worlds triplet",
    "Original wording": "W = (D, R, G)",
    "Problem": "No topology/metric on the space of worlds is given anywhere in the book.",
    "Classification before repair": "Definition",
    "Repair applied": "Flag as informal; formal construction deferred to supplement Def. 1",
    "Classification after repair": "Definition (informal)",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "00_White_Paper",
    "Claim": "Selection functional and W*",
    "Original wording": "Xi(W)=alpha C(W)+beta S(W)+gamma G(W)-delta D(W); W*=argmax Xi(W)",
    "Problem": "Presented as boxed/established; existence and uniqueness of the argmax are not addressed at this level of the text.",
    "Classification before repair": "Definition/Postulate",
    "Repair applied": "See files 03/04/D01 for the detailed existence discussion",
    "Classification after repair": "Postulate (existence open)",
    "Remaining risk": "Critical/High"
  },
  {
    "Book": "A",
    "Section": "00_White_Paper",
    "Claim": "Fundamental dynamical equation",
    "Original wording": "d_t I = div(D(I,t) grad I) + alpha I - beta I^3 + eta(x,t)",
    "Problem": "Domain, boundary conditions, and noise statistics are never specified anywhere in the book.",
    "Classification before repair": "Postulate",
    "Repair applied": "Flagged; needs domain/BC/noise specification (file 07)",
    "Classification after repair": "Postulate (under-specified)",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "00_White_Paper",
    "Claim": "a_* emerges from data without tuning",
    "Original wording": "a_* approx 9.4e-11 m/s^2 ... emerging directly from data without tuning",
    "Problem": "Contradicted by ch.21.3 (a_* is a best-fit parameter) and by the repository code, which uses the McGaugh 2016 RAR form with an empty SPARC data directory.",
    "Classification before repair": "Numerical Evidence",
    "Repair applied": "Downgrade to fitted/borrowed parameter, add citation, disclose missing data (file 21)",
    "Classification after repair": "Numerical Evidence (borrowed functional form, fitted parameter, unverified in-repo)",
    "Remaining risk": "Critical/High"
  },
  {
    "Book": "A",
    "Section": "00_White_Paper",
    "Claim": "Ringdown formula",
    "Original wording": "omega_n = omega_n^GR [1 - epsilon exp(-(a_*/a_hor)^p)]",
    "Problem": "Asymptotic behavior of the formula as written conflicts with the claimed mass-dependence trend (ch.22/23).",
    "Classification before repair": "Postulate",
    "Repair applied": "Swap ratio or clarify (file 22)",
    "Classification after repair": "Postulate (internal inconsistency flagged)",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "00_White_Paper",
    "Claim": "Information preservation, no absolute singularities",
    "Original wording": "Absolute singularities are forbidden ... information is never destroyed",
    "Problem": "Built into the definition of D(W) by construction, not an independently proven result.",
    "Classification before repair": "Postulate",
    "Repair applied": "Reclassify as definitional consequence of Xi's construction, not a separate theorem",
    "Classification after repair": "Postulate",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "01_Limits_of_Postulated_Physics",
    "Claim": "Anthropic reasoning is explanatorily empty",
    "Original wording": "Anthropic explanations replace causal understanding with selection bias.",
    "Problem": "None -- honest philosophical argument, no proof burden claimed.",
    "Classification before repair": "Physical Interpretation",
    "Repair applied": "None needed",
    "Classification after repair": "Physical Interpretation",
    "Remaining risk": "Low"
  },
  {
    "Book": "A",
    "Section": "02_Space_of_Possible_Worlds",
    "Claim": "Worlds as (D,R,G) triplets",
    "Original wording": "W = (mathcal D, mathcal R, mathcal G)",
    "Problem": "D, R, G are described only in prose; no explicit mathematical construction (sets, operators, maps) is ever given.",
    "Classification before repair": "Definition (informal)",
    "Repair applied": "Toy formalization proposed in supplement Def. 1",
    "Classification after repair": "Definition (informal, unformalized)",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "02_Space_of_Possible_Worlds",
    "Claim": "Most possible worlds must not exist",
    "Original wording": "the overwhelming majority would be short-lived, structureless, or incoherent",
    "Problem": "No measure on the space of worlds is ever defined, so 'most'/'overwhelming majority' has no formal referent.",
    "Classification before repair": "Assumption",
    "Repair applied": "Flag as rhetorical without a measure-theoretic basis",
    "Classification after repair": "Assumption (unquantified)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "03_PrePhysical_Selection_Principle",
    "Claim": "W* need not be unique",
    "Original wording": "This definition does not assume uniqueness",
    "Problem": "None -- an honest, correctly-hedged statement.",
    "Classification before repair": "Definition",
    "Repair applied": "None needed (positive feature)",
    "Classification after repair": "Definition",
    "Remaining risk": "Low"
  },
  {
    "Book": "A",
    "Section": "03_PrePhysical_Selection_Principle",
    "Claim": "Structural stability epsilon-delta definition",
    "Original wording": "for all epsilon>0, exists delta>0: ||W-W'||<delta => Xi(W')>Xi_min",
    "Problem": "Uses a norm ||W-W'|| on the space of worlds, which is never constructed.",
    "Classification before repair": "Definition",
    "Repair applied": "Needs an explicit metric/norm on W (see supplement Def. 1)",
    "Classification after repair": "Definition (undefined norm)",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "03_PrePhysical_Selection_Principle",
    "Claim": "Absolute-singularity worlds have Xi -> -infinity",
    "Original wording": "any world in which absolute singularities are unavoidable satisfies: Xi(W) -> -infinity",
    "Problem": "Notation misuse: this is a limit-type statement applied to a fixed argument W rather than a sequence/family of worlds.",
    "Classification before repair": "Assumption",
    "Repair applied": "Rewrite as a limit along a sequence/family of worlds approaching the singular regime",
    "Classification after repair": "Assumption (notation repaired)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "04_Mathematical_Properties_of_Xi",
    "Claim": "Continuity of Xi",
    "Original wording": "let ||.|| denote a suitable metric or topology on W ... Continuity requires that lim Xi(W')=Xi(W)",
    "Problem": "The topology is assumed to exist ('suitable'), never constructed or exhibited.",
    "Classification before repair": "Assumption",
    "Repair applied": "Flag as conditional pending explicit topology (supplement Prop. 1)",
    "Classification after repair": "Assumption (conditional)",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "04_Mathematical_Properties_of_Xi",
    "Claim": "Xi bounded above",
    "Original wording": "Formally, there exists Xi_max < infinity such that Xi(W) <= Xi_max for all W",
    "Problem": "Asserted ('Formally') with no explicit functional forms for C,S,G,D and no proof.",
    "Classification before repair": "Assumption",
    "Repair applied": "Remove 'Formally'; state as an assumption pending explicit functional forms",
    "Classification after repair": "Assumption",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "04_Mathematical_Properties_of_Xi",
    "Claim": "Existence of W* via continuity+boundedness",
    "Original wording": "(implied by combining 4.1 and the definition of W* in ch.3)",
    "Problem": "Boundedness above plus continuity does NOT imply attainment of the supremum without compactness of the domain or coercivity of Xi -- neither is established.",
    "Classification before repair": "Theorem (implied)",
    "Repair applied": "Downgrade to conditional Proposition; supply Existence Lemma requiring compactness or coercivity (supplement Prop. 1)",
    "Classification after repair": "Conjecture / open (existence not established)",
    "Remaining risk": "Critical/High"
  },
  {
    "Book": "A",
    "Section": "04_Mathematical_Properties_of_Xi",
    "Claim": "Uniqueness not guaranteed; degeneracy allowed",
    "Original wording": "does not guarantee uniqueness. Multiple worlds may attain comparable maximal values",
    "Problem": "None -- honestly and correctly hedged.",
    "Classification before repair": "Proposition (honest)",
    "Repair applied": "None needed",
    "Classification after repair": "Proposition (honest, no proof needed)",
    "Remaining risk": "Low"
  },
  {
    "Book": "A",
    "Section": "05_From_Selection_to_Physical_Emergence",
    "Claim": "Conditions for physical phase = components of Xi",
    "Original wording": "These conditions are not imposed independently. They are precisely those enforced by maximization of Xi",
    "Problem": "No explicit map from the four informal conditions to C,S,G,D is ever constructed.",
    "Classification before repair": "Postulate",
    "Repair applied": "Soften to 'motivated by' rather than 'precisely those enforced by'",
    "Classification after repair": "Postulate",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "05_From_Selection_to_Physical_Emergence",
    "Claim": "W* is treated as the actual/realized world (ontological actualization)",
    "Original wording": "The realized world is W* = argmax Xi(W)  [ch.3.2, reused throughout ch.5]",
    "Problem": "The identification of the mathematical maximizer with the ontologically actual world is never flagged as a separate, additional postulate distinct from the mathematical optimization claim.",
    "Classification before repair": "Postulate (unflagged)",
    "Repair applied": "Insert explicit Ontological Actualization Postulate (supplement Postulate 1)",
    "Classification after repair": "Postulate (now explicitly flagged, still unproven/unargued)",
    "Remaining risk": "Critical/High"
  },
  {
    "Book": "A",
    "Section": "06_The_Informational_Field_Ixt",
    "Claim": "I(x,t) defined over emergent x,t",
    "Original wording": "I(x,t) = coherent informational density ... Neither coordinate is fundamental; both arise from the dynamical behavior of I itself",
    "Problem": "Writing I(x,t) presupposes the very domain structure (differentiable x, orderable t) that chapters 9-10 claim emerges from I's dynamics -- a circularity.",
    "Classification before repair": "Definition",
    "Repair applied": "Flag circularity; either demote continuum notation to 'effective' or supply a pre-geometric fundamental formulation",
    "Classification after repair": "Definition (circularity flagged)",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "06_The_Informational_Field_Ixt",
    "Claim": "Entropy-coherence heuristic relation",
    "Original wording": "S ~ - integral I log I dx",
    "Problem": "None -- honestly labeled 'a useful heuristic relation.'",
    "Classification before repair": "Heuristic",
    "Repair applied": "None needed (positive feature)",
    "Classification after repair": "Heuristic",
    "Remaining risk": "Low"
  },
  {
    "Book": "A",
    "Section": "07_The_Fundamental_Dynamical_Equation",
    "Claim": "Equation 'emerges' from Xi rather than being postulated",
    "Original wording": "This law is not postulated as a fundamental principle of nature, but emerges as the simplest generative dynamics compatible with the selection constraints imposed by Xi",
    "Problem": "No derivation from Xi-maximization to this specific functional form is given anywhere in the book.",
    "Classification before repair": "Postulate",
    "Repair applied": "Reclassify explicitly as a postulate motivated by analogy with known reaction-diffusion systems",
    "Classification after repair": "Postulate",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "07_The_Fundamental_Dynamical_Equation",
    "Claim": "Locality not assumed, diffusion term",
    "Original wording": "Locality itself is not assumed; it arises dynamically as diffusion becomes dominant over long-range correlations",
    "Problem": "The operator div(D grad I) is already a local differential operator by construction -- locality is built in, not emergent.",
    "Classification before repair": "Heuristic",
    "Repair applied": "Flag circularity (shared with files 06/09)",
    "Classification after repair": "Heuristic (circularity flagged)",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "07_The_Fundamental_Dynamical_Equation",
    "Claim": "alpha constrained by Xi",
    "Original wording": "Its allowed range is constrained by the selection functional Xi",
    "Problem": "No explicit map from Xi-maximization to bounds on alpha (or beta, or D's functional form) is ever constructed.",
    "Classification before repair": "Postulate",
    "Repair applied": "Flag as needed lemma (not supplied)",
    "Classification after repair": "Postulate (unsupported)",
    "Remaining risk": "Medium-High"
  },
  {
    "Book": "A",
    "Section": "07_The_Fundamental_Dynamical_Equation",
    "Claim": "Cubic term always forbids divergence",
    "Original wording": "Absolute divergence of I is dynamically forbidden, ensuring consistency with the pre-physical exclusion of absolute singularities",
    "Problem": "Directly contradicted by ch.8.3/ch.20.2, which claim parameter regimes exist with I -> infinity; for beta>0 the standard comparison principle precludes blow-up regardless of parameter balance.",
    "Classification before repair": "Proposition (implied)",
    "Repair applied": "Reconcile the two claims; add explicit hypothesis (beta>0, D>=0) and comparison-principle citation",
    "Classification after repair": "Mathematical Error (internal inconsistency) -- requires repair",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "07_The_Fundamental_Dynamical_Equation",
    "Claim": "Global convergence to stable phases regardless of initial conditions",
    "Original wording": "Any configuration consistent with boundedness and non-negativity will evolve toward one of the stable phases selected by Xi",
    "Problem": "No Lyapunov functional or proof of global attractor behavior is given; equation is not obviously a gradient flow when D=D(I,t) depends explicitly on t.",
    "Classification before repair": "Theorem (implied)",
    "Repair applied": "Downgrade; no proof supplied",
    "Classification after repair": "Conjecture",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "08_Phase_Structure_of_the_Equation",
    "Claim": "Homogeneous phase",
    "Original wording": "I(x,t) -> I_0 = const",
    "Problem": "None -- consistent, reasonable description of a genuine fixed point.",
    "Classification before repair": "Physical Interpretation",
    "Repair applied": "None needed",
    "Classification after repair": "Physical Interpretation",
    "Remaining risk": "Low"
  },
  {
    "Book": "A",
    "Section": "08_Phase_Structure_of_the_Equation",
    "Claim": "Collapse-prone regime causes I -> infinity",
    "Original wording": "If amplification dominates excessively or saturation is insufficient, the field I grows without bound: I(x,t) -> infinity",
    "Problem": "Contradicts ch.7.3's own claim that the cubic saturation term dynamically forbids divergence for beta>0; inconsistent with the comparison-principle behavior of the stated equation.",
    "Classification before repair": "Proposition (implied)",
    "Repair applied": "Resolve via explicit hypothesis check or correction (patch instructions)",
    "Classification after repair": "Mathematical Error -- requires repair",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "09_Emergence_of_Space",
    "Claim": "Graph Laplacian construction",
    "Original wording": "partial_t I_i = sum_j D_ij (I_j - I_i) + ...",
    "Problem": "None -- a genuine, useful pre-geometric construction (a positive feature).",
    "Classification before repair": "Definition",
    "Repair applied": "None needed structurally; needs to be reconciled with ch.7's continuum PDE as 'the' fundamental equation",
    "Classification after repair": "Definition",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "09_Emergence_of_Space",
    "Claim": "Discrete Laplacian converges to continuum operator",
    "Original wording": "the discrete Laplacian converges to a differential operator, and the system can be described by a continuous field I(x,t)",
    "Problem": "Presented as an established limiting fact; rigorous discrete-to-continuum convergence of graph Laplacians requires specific hypotheses (e.g. manifold sampling, bandwidth scaling) that are never stated or verified.",
    "Classification before repair": "Proposition (implied)",
    "Repair applied": "Downgrade; state needed hypotheses (supplement Conjecture)",
    "Classification after repair": "Conjecture",
    "Remaining risk": "Medium-High"
  },
  {
    "Book": "A",
    "Section": "09_Emergence_of_Space",
    "Claim": "Spectral dimension converges to a stable value",
    "Original wording": "Numerical simulations show that d_s converges to a stable value in the structured phase",
    "Problem": "No d_s measurement or simulation output is exhibited anywhere in chapters 18-20 or elsewhere in the book.",
    "Classification before repair": "Numerical Evidence",
    "Repair applied": "Flag as unverified cross-reference; either supply the simulation or soften claim",
    "Classification after repair": "Numerical Evidence (unverified cross-reference)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "10_Emergence_of_Time",
    "Claim": "t is merely an ordering relation, not a fundamental clock",
    "Original wording": "the symbol t does not represent an external clock. Rather, it labels successive stages ... This ordering exists even in the absence of any metric notion of duration",
    "Problem": "The same equation is written with a partial derivative d_t I, which requires t to already possess full continuum/differentiable structure, not merely an order relation -- a load-bearing logical circularity.",
    "Classification before repair": "Postulate",
    "Repair applied": "Either demote the continuum PDE to an emergent/effective equation or drop the claim that d_t I is compatible with a merely-ordered t",
    "Classification after repair": "Postulate (circularity flagged, unresolved)",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "10_Emergence_of_Time",
    "Claim": "Arrow of time from stability, not fundamental postulate",
    "Original wording": "The arrow of time is therefore not imposed by initial conditions. It is an intrinsic consequence of the system's tendency to approach structurally stable attractors",
    "Problem": "Relies on the unproven global-convergence/Lyapunov claim flagged in file 07 (07-5).",
    "Classification before repair": "Physical Interpretation",
    "Repair applied": "Note dependency on file-07 open conjecture",
    "Classification after repair": "Physical Interpretation (dependent on open conjecture)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "11_Informational_Origin_of_Gravity",
    "Claim": "Phi is the unique scalar functional of I",
    "Original wording": "It is the unique scalar functional of I that converts relative informational concentration into a force-like quantity consistent with stability constraints",
    "Problem": "No uniqueness proof given; other monotonic functionals of I would serve equally well.",
    "Classification before repair": "Postulate",
    "Repair applied": "Remove 'unique'; state as a convenient/motivated choice",
    "Classification after repair": "Postulate",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "11_Informational_Origin_of_Gravity",
    "Claim": "Equation of motion x-double-dot = -grad Phi follows, not postulated",
    "Original wording": "This equation is not postulated but follows from the tendency of excitations to flow toward regions of lower informational cost",
    "Problem": "No adiabatic/multiple-scale reduction of a localized PDE solution to a centroid equation of motion is given anywhere.",
    "Classification before repair": "Postulate",
    "Repair applied": "Reclassify as an ansatz motivated by analogy; needed lemma (adiabatic reduction) not supplied",
    "Classification after repair": "Postulate",
    "Remaining risk": "Medium-High"
  },
  {
    "Book": "A",
    "Section": "11_Informational_Origin_of_Gravity",
    "Claim": "Equivalence principle is a structural necessity, not a postulate",
    "Original wording": "This universality yields the equivalence principle as a structural necessity, not a postulate",
    "Problem": "The universality of free fall follows trivially from the modeling choice that the equation of motion contains no mass-dependent coefficient (11-3) -- the postulate is simply relocated, not eliminated.",
    "Classification before repair": "Proposition (implied)",
    "Repair applied": "Clarify that 11.4 follows from the assumed form of 11.2, not independently",
    "Classification after repair": "Physical Interpretation / consequence of an assumed ansatz",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "12_Comparison_with_Newtonian_and_Relativistic_Gravity",
    "Claim": "Newtonian gravity emerges in the weak-field limit",
    "Original wording": "Thus, Newtonian gravity emerges as the weak-gradient, long-wavelength limit of informational dynamics",
    "Problem": "Only a qualitative potential-gradient acceleration law is shown; no Poisson equation, G, or inverse-square law with mass sourcing is derived.",
    "Classification before repair": "Proposition (conditional on ch.11 postulates)",
    "Repair applied": "Soften to 'a Newtonian-structured acceleration law'; note Poisson/G content not derived",
    "Classification after repair": "Proposition (qualitative correspondence only)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "12_Comparison_with_Newtonian_and_Relativistic_Gravity",
    "Claim": "Effective metric ansatz",
    "Original wording": "ds^2 = -e^{2 Phi} dt^2 + e^{-2 Phi} d ell^2",
    "Problem": "Dimensionally ambiguous: no factor of c (or c=1 convention) relates dt^2 to d ell^2, and Phi is elsewhere established to be dimensionless (Appendix E), compounding the issue.",
    "Classification before repair": "Postulate/Ansatz",
    "Repair applied": "Insert explicit c or natural-units statement (patch instructions; see also E01)",
    "Classification after repair": "Postulate/Ansatz (dimensional gap flagged)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "13_Dark_Matter_as_an_Informational_Phase",
    "Claim": "a_* arises dynamically, not imposed by hand",
    "Original wording": "This scale is not imposed by hand. It arises dynamically from the balance between amplification, diffusion, and saturation ... Numerical analysis ... confirms the emergence of a universal acceleration scale",
    "Problem": "Directly contradicted by ch.21.3 (best-fit parameter) and by the repository code (McGaugh 2016 RAR form, empty SPARC data directory).",
    "Classification before repair": "Numerical Evidence",
    "Repair applied": "Downgrade per file-21 finding",
    "Classification after repair": "Numerical Evidence (borrowed/fitted, not derived)",
    "Remaining risk": "Critical/High"
  },
  {
    "Book": "A",
    "Section": "14_Dark_Energy_as_Global_Structural_Continuity",
    "Claim": "Effective equation of state near w=-1",
    "Original wording": "w_eff approx -1 ... consistent with observational constraints",
    "Problem": "No derivation of the functional form from the field equation; presented as heuristic scaling, appropriately hedged with 'approx'.",
    "Classification before repair": "Heuristic",
    "Repair applied": "None required beyond noting no derivation exists",
    "Classification after repair": "Heuristic",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "14_Dark_Energy_as_Global_Structural_Continuity",
    "Claim": "Small nonzero Lambda explained by structural viability",
    "Original wording": "The non-zero but small value of Lambda is therefore a consequence of structural viability, not coincidence ... this is no longer mysterious",
    "Problem": "Structurally identical to the 'too high is bad, too low is bad' anthropic-style reasoning the book itself criticizes in ch.1.2; no computation of Lambda's magnitude from Xi is given.",
    "Classification before repair": "Postulate",
    "Repair applied": "Reframe as a qualitative plausibility argument of the same explanatory kind as anthropic reasoning, unless a computation is supplied",
    "Classification after repair": "Postulate (in tension with ch.1's own standard)",
    "Remaining risk": "Medium-High"
  },
  {
    "Book": "A",
    "Section": "15_Breakdown_of_the_Spacetime_Description",
    "Claim": "D(I,t) -> 0 as I -> I_crit",
    "Original wording": "the effective diffusion coefficient tends to zero: D(I,t) -> 0",
    "Problem": "No explicit functional form for D(I,t) is given anywhere in the book; the limiting behavior is stipulated, not derived.",
    "Classification before repair": "Assumption",
    "Repair applied": "Supply an explicit toy functional form for D(I) (supplement)",
    "Classification after repair": "Assumption (unspecified functional form)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "16_Conditional_vs_Absolute_Singularities",
    "Claim": "Resolves the black-hole information paradox",
    "Original wording": "This resolves the black-hole information paradox without exotic assumptions [ch.00]; similarly in ch.16-17",
    "Problem": "Does not engage the technical criteria (unitarity, Page curve, S_BH=A/4G reproduction) by which candidate resolutions are actually judged in the literature; no citation to Hawking 1976 or Page 1993.",
    "Classification before repair": "Physical Interpretation (claimed as resolution)",
    "Repair applied": "Downgrade to 'conceptual reframing'; add citations",
    "Classification after repair": "Physical Interpretation (reframing, not a technical resolution)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "16_Conditional_vs_Absolute_Singularities",
    "Claim": "Absolute singularity worlds have Xi -> -infinity (repeat)",
    "Original wording": "such worlds satisfy: Xi(W) -> -infinity",
    "Problem": "Same notation issue as file 03 (03-3): limit notation misapplied to a fixed W.",
    "Classification before repair": "Assumption",
    "Repair applied": "Same repair as file 03",
    "Classification after repair": "Assumption (notation repaired)",
    "Remaining risk": "Low-Medium"
  },
  {
    "Book": "A",
    "Section": "17_What_Happens_to_Information",
    "Claim": "The paradox dissolves",
    "Original wording": "the paradox dissolves",
    "Problem": "Same overstatement as file 16; repeats without adding new support.",
    "Classification before repair": "Physical Interpretation",
    "Repair applied": "Same repair as file 16",
    "Classification after repair": "Physical Interpretation",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "18_Numerical_Implementation",
    "Claim": "Parameters selected by maximizing Xi eliminates fine-tuning",
    "Original wording": "Instead, they are selected by maximizing the pre-physical selection functional Xi ... This procedure eliminates fine-tuning",
    "Problem": "The actual pseudocode (Appendix A.2) implements a qualitative pass/fail viability screen, not a literal maximization of an explicit, computable Xi=alphaC+betaS+gammaG-deltaD (C,S,G,D have no explicit formulas anywhere).",
    "Classification before repair": "Numerical Evidence / Postulate",
    "Repair applied": "Relabel as a qualitative viability screen loosely motivated by Xi's components",
    "Classification after repair": "Numerical Evidence (illustrative toy screen, not literal Xi maximization)",
    "Remaining risk": "Medium-High"
  },
  {
    "Book": "A",
    "Section": "19_Simulation_Results",
    "Claim": "Absence of runaway collapse confirms no absolute singularities, dynamically not imposed",
    "Original wording": "This confirms that the absence of absolute singularities is not imposed externally, but arises dynamically from the structure of the equation and the selection principle",
    "Problem": "No parameter sweep, convergence, or resolution-independence study is shown; claim is based on limited illustrative runs and is in tension with the ch.7/8/20 blow-up inconsistency.",
    "Classification before repair": "Numerical Evidence",
    "Repair applied": "Soften 'confirms' to 'is consistent with, in the illustrative runs performed'",
    "Classification after repair": "Numerical Evidence (illustrative toy simulation)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "20_Failure_Modes",
    "Claim": "Over-amplified universes with insufficient beta cause I -> infinity",
    "Original wording": "For parameter choices with excessively large alpha or insufficient beta, the informational field grows uncontrollably: I(x,t) -> infinity",
    "Problem": "Same mathematical inconsistency as files 07/08 (07-4/08-2): contradicts the comparison-principle-guaranteed boundedness of the stated equation for beta>0.",
    "Classification before repair": "Proposition (implied)",
    "Repair applied": "Same repair as files 07/08",
    "Classification after repair": "Mathematical Error -- requires repair",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "21_SPARC_Galaxy_Test",
    "Claim": "RAR functional form adopted from the literature",
    "Original wording": "We adopt a functional form consistent with the emergent dynamics and widely used in the literature: a_obs = a_bar / (1 - exp(-sqrt(a_bar/a_*)))",
    "Problem": "The functional form is the McGaugh, Lelli and Schombert (2016) RAR interpolating function, imported wholesale; 'consistent with the emergent dynamics' is asserted, not derived from the field equation.",
    "Classification before repair": "Postulate (borrowed)",
    "Repair applied": "Cite McGaugh, Lelli and Schombert (2016); state the form is imported, not derived",
    "Classification after repair": "Postulate (borrowed empirical fit)",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "21_SPARC_Galaxy_Test",
    "Claim": "a_* not imposed by theory, nor calibrated",
    "Original wording": "This value emerges directly from the data. It is not imposed by the theory, nor calibrated using external constraints",
    "Problem": "Directly contradicted by the immediately preceding sentence in the same chapter ('a_* is determined by minimizing the scatter ... across the full dataset') and by the repository code (fit_a_star.py, empty data/raw/sparc directory, empty output CSV).",
    "Classification before repair": "Numerical Evidence",
    "Repair applied": "Rewrite per patch instructions; disclose absent SPARC data in this repository",
    "Classification after repair": "Numerical Evidence (fitted parameter; not reproducible from data/code present in this repository)",
    "Remaining risk": "Critical/High"
  },
  {
    "Book": "A",
    "Section": "22_Gravitational_Wave_Ringdown_Test",
    "Claim": "Ringdown frequency shift formula and its mass trend",
    "Original wording": "omega_n = omega_n^GR [1 - epsilon exp(-(a_*/a_hor)^p)] ... deviations from general relativity ... should be more pronounced for mergers involving high-mass ... black holes [ch.23.1]",
    "Problem": "As written (ratio a_*/a_hor), the formula gives deviations of order epsilon (order-unity) for essentially all stellar/intermediate-mass black holes (where a_hor >> a_*) and SMALLER deviations as a_hor decreases toward a_* -- the opposite mass-trend from the one required by ch.23.1.",
    "Classification before repair": "Postulate/Ansatz",
    "Repair applied": "Swap ratio to a_hor/a_*, or otherwise correct the asymptotics (patch instructions)",
    "Classification after repair": "Mathematical Error (asymptotic inconsistency) -- requires repair",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "22_Gravitational_Wave_Ringdown_Test",
    "Claim": "epsilon, p are order-unity coefficients",
    "Original wording": "epsilon and p are order-unity constants determined by the suppression profile",
    "Problem": "No functional form for the 'suppression profile' (i.e. D(I) near I_crit) is ever specified, so nothing determines epsilon, p in practice.",
    "Classification before repair": "Postulate",
    "Repair applied": "Flag as free/unconstrained parameters pending an explicit perturbation calculation",
    "Classification after repair": "Postulate (unconstrained)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "23_New_Falsifiable_Predictions",
    "Claim": "Deviations increase with black hole mass",
    "Original wording": "the theory predicts that deviations ... should be more pronounced for mergers involving high-mass ... black holes",
    "Problem": "Reveals (does not itself cause) the ch.22 formula's asymptotic inconsistency -- see 22 above.",
    "Classification before repair": "Postulate/prediction",
    "Repair applied": "Resolve jointly with ch.22 fix",
    "Classification after repair": "Postulate/prediction (depends on ch.22 fix)",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "24_How_to_Falsify_This_Theory",
    "Claim": "Existence of a rival successful theory would kill the model",
    "Original wording": "A fully consistent and empirically successful alternative explains dark matter, dark energy, and singularities ... without invoking informational structure or pre-physical selection [would demonstrate the model is killed]",
    "Problem": "The mere existence of a preferable rival theory does not, in the Popperian sense, falsify a theory (falsification requires contradicting observation, not a preferred competitor).",
    "Classification before repair": "Physical Interpretation (falsifiability criterion)",
    "Repair applied": "Reword as an Occam's-razor preference statement rather than a falsification criterion",
    "Classification after repair": "Physical Interpretation (minor logical correction)",
    "Remaining risk": "Low"
  },
  {
    "Book": "A",
    "Section": "25_Relation_to_Existing_Theories",
    "Claim": "Not MOND: derives a_* dynamically, RAR is a consequence not an axiom",
    "Original wording": "does not modify force laws by fiat, derives a_* dynamically from informational evolution ... The Radial Acceleration Relation emerges here as a consequence, not an axiom ... This resemblance is superficial",
    "Problem": "Directly contradicted by the book's own ch.21 (a_* is fit, RAR form is imported from McGaugh 2016) and by the repository code -- the resemblance to MOND/RAR is not superficial at the level of functional form or fitting procedure.",
    "Classification before repair": "Physical Interpretation / comparative claim",
    "Repair applied": "Substantially rewrite per patch instructions; add missing citations (Milgrom 1983; McGaugh, Lelli, Schombert 2016)",
    "Classification after repair": "Physical Interpretation (overstated comparison) -- requires repair",
    "Remaining risk": "Critical/High"
  },
  {
    "Book": "A",
    "Section": "26_Conceptual_Implications",
    "Claim": "Existence is a selected outcome ('selected because it works')",
    "Original wording": "It is selected because it works",
    "Problem": "Repeats, without adding to, the file-05 finding that the mathematical-argmax-to-actual-world identification is never flagged as a separate postulate.",
    "Classification before repair": "Physical Interpretation",
    "Repair applied": "Cross-reference supplement Postulate 1",
    "Classification after repair": "Physical Interpretation (inherits file-05 gap)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "27_Summary_of_Results",
    "Claim": "What has been explained (list)",
    "Original wording": "The framework provides unified explanations for several foundational problems ... [fine-tuning, spacetime emergence, gravity, singularities/information paradox, a_*, small Lambda]",
    "Problem": "Every item in this list is, per the per-chapter audits, a Postulate/Heuristic/Conjecture or an overstated Numerical-Evidence claim, not a proven Theorem.",
    "Classification before repair": "Physical Interpretation (framed as accomplished results)",
    "Repair applied": "Reframe each bullet with hedged language ('offers a candidate/interpretive account of')",
    "Classification after repair": "Physical Interpretation (overstated recap) -- requires repair",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "28_Future_Directions",
    "Claim": "Open mathematical questions (existence/uniqueness, Xi over infinite-dim spaces, dimensionality/locality emergence)",
    "Original wording": "existence and uniqueness of global solutions to the informational dynamical equation ... formal properties of the selection functional Xi over infinite-dimensional spaces ... precise conditions for the emergence of dimensionality and locality",
    "Problem": "None -- this is an honest, corroborating admission that directly supports several of this audit's central findings (files 04, 07, 09).",
    "Classification before repair": "Heuristic/roadmap (honest)",
    "Repair applied": "Cross-reference from chs. 3/4/7/9/34/35 explicitly",
    "Classification after repair": "Heuristic/roadmap (honest) -- positive finding",
    "Remaining risk": "Low"
  },
  {
    "Book": "A",
    "Section": "29_Quantum_Completion",
    "Claim": "Hamiltonian Ĥ_I is 'a minimal form consistent with unitarity and locality'",
    "Original wording": "A minimal form consistent with unitarity and locality in configuration space is [Ĥ_I formula]",
    "Problem": "Minimality/uniqueness among possible local functional Hamiltonians is asserted, not proven; many other forms would also satisfy the stated requirements.",
    "Classification before repair": "Postulate/Ansatz",
    "Repair applied": "Remove 'minimal'; state as one possible choice",
    "Classification after repair": "Postulate/Ansatz",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "29_Quantum_Completion",
    "Claim": "Born rule uniquely selected by stability",
    "Original wording": "the only measure on projective Hilbert space that is additive under refinement, invariant under unitary evolution, and stable under composition is the quadratic Born measure",
    "Problem": "This is, in substance, a Gleason-type/Zurek-envariance-type/Deutsch-Wallace-type result from the existing literature, cited nowhere, with none of the standard hypotheses (e.g. Hilbert-space dimension >= 3, sigma-additivity in the infinite-dimensional field-configuration space actually used here) checked.",
    "Classification before repair": "Theorem (implied)",
    "Repair applied": "Cite the actual theorem being invoked and check its hypotheses for this infinite-dimensional configuration space",
    "Classification after repair": "Heuristic (uncited, hypotheses unverified)",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "29_Quantum_Completion",
    "Claim": "Classical limit recovers the reaction-diffusion equation exactly",
    "Original wording": "these expectation values obey an effective deterministic dynamics [reaction-diffusion equation] ... which exactly reproduces the classical emergent informational equation",
    "Problem": "Ĥ_I as constructed has no spatial-coupling term between I(x) and I(x') (checked explicitly in Appendix G.4); a manifestly unitary generator with no such coupling cannot produce a spatial diffusion term in its classical limit, and unitary (time-reversible) dynamics is generically in tension with the dissipative, irreversible classical PDE (ch.7, ch.10).",
    "Classification before repair": "Proposition (implied 'exact' derivation)",
    "Repair applied": "Add explicit spatial-coupling term to Ĥ_I and redo the semiclassical reduction, or acknowledge the gap",
    "Classification after repair": "Conjecture (derivation does not go through as stated) -- requires repair",
    "Remaining risk": "Critical/High"
  },
  {
    "Book": "A",
    "Section": "30_QFT_Emergent_Phase",
    "Claim": "Locality is not postulated; it is an emergent property of informational organization",
    "Original wording": "In the present framework, locality is not postulated; it is an emergent property of informational organization",
    "Problem": "No computation is performed showing mutual information actually decays for solutions of the ch.7 PDE; the criterion is defined but never checked against the specific dynamics.",
    "Classification before repair": "Heuristic/Conjecture",
    "Repair applied": "Relabel as a conjectured mechanism, not an established property",
    "Classification after repair": "Heuristic/Conjecture",
    "Remaining risk": "Medium-High"
  },
  {
    "Book": "A",
    "Section": "30_QFT_Emergent_Phase",
    "Claim": "Lorentz invariance as an RG attractor",
    "Original wording": "Lorentz-invariant fixed points are those where correlation functions exhibit relativistic scaling ... Xi disfavors worlds where such instabilities dominate",
    "Problem": "The scaling form quoted is standard CFT boilerplate, correctly stated in isolation, but no calculation within this framework's own dynamics is shown to produce such a fixed point.",
    "Classification before repair": "Conjecture",
    "Repair applied": "Flag as unproven for this specific system; cite general RG/CFT literature",
    "Classification after repair": "Conjecture",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "31_QFT_Closure",
    "Claim": "Full closure claim with no new content",
    "Original wording": "We provide a complete conceptual, structural, and operational closure of QFT ... No new axioms are introduced ... no metaphysical or structural gaps persist",
    "Problem": "Chapter substantially duplicates ch.30's content and structure but removes ch.30's own hedges ('does not claim a complete derivation') while adding no new derivation.",
    "Classification before repair": "Heuristic/Conjecture (re-asserted as closure)",
    "Repair applied": "Delete as redundant or rewrite to carry ch.30's hedges; merge chapters",
    "Classification after repair": "Heuristic/Conjecture (overstated relative to identical ch.30 content) -- requires repair",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "32_Formal_Closure_of_QFT",
    "Claim": "Measurement problem does not persist into the QFT regime",
    "Original wording": "Thus, the measurement problem does not persist into the QFT regime. Probabilities are inherited from deeper stability principles, not introduced ad hoc",
    "Problem": "Repeats the file-29 uncited/unverified Born-rule claim as an established fact, a third time (after chs.29 and this restatement), with no new derivation.",
    "Classification before repair": "Heuristic (re-asserted as resolved)",
    "Repair applied": "Same repair as file 29 Born-rule finding",
    "Classification after repair": "Heuristic (uncited, hypotheses unverified) -- requires repair",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "32_Formal_Closure_of_QFT",
    "Claim": "What is not claimed (honest list)",
    "Original wording": "A complete derivation of the Standard Model particle spectrum ... A fully rigorous C*-algebraic construction of local operator nets ...",
    "Problem": "None -- a genuine, honest disclosure of remaining open technical work.",
    "Classification before repair": "Heuristic (honest)",
    "Repair applied": "None needed (positive feature)",
    "Classification after repair": "Heuristic (honest)",
    "Remaining risk": "Low"
  },
  {
    "Book": "A",
    "Section": "33_SM_Emergence_Program",
    "Claim": "Program is now fully specified, no foundational ambiguity remains",
    "Original wording": "The Standard Model emergence program is now fully specified. No foundational ambiguity remains",
    "Problem": "Inconsistent with the chapter's own careful hedging elsewhere ('No claim is made that the full Standard Model spectrum is already derived'); a specified research plan is not the same as the underlying physics having no ambiguity.",
    "Classification before repair": "Physical Interpretation / roadmap",
    "Repair applied": "Downgrade closing line to match the chapter's own opening hedge",
    "Classification after repair": "Physical Interpretation / roadmap (one overstated line) -- requires repair",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "34_Implementation_Roadmap",
    "Claim": "Framework is conceptually complete, only execution remains",
    "Original wording": "The framework is conceptually complete. What follows is an execution program ... does not defer its foundations to future research. It defers only its numerical and empirical execution",
    "Problem": "Directly contradicted by the accumulated findings of this audit: existence of W* unproven (file 04/D01), ontological-actualization postulate unflagged (file 05), PDE domain/BC/noise unspecified and internally inconsistent (files 07/08/20), quantum-to-classical limit gap (file 29/G01), uncited Born-rule claim (file 29) -- none of which are merely 'numerical or empirical execution' tasks.",
    "Classification before repair": "Postulate (framed as established)",
    "Repair applied": "Replace with an honest statement that several foundational (not merely technical) questions remain open, cross-referencing ch.28.3",
    "Classification after repair": "Postulate -- directly contradicted by this audit's findings; requires repair",
    "Remaining risk": "Critical/High"
  },
  {
    "Book": "A",
    "Section": "34_Implementation_Roadmap",
    "Claim": "Born-rule stability selection already established analytically",
    "Original wording": "Born-rule stability selection, already established analytically in the framework, is tested numerically for robustness",
    "Problem": "Repeats the uncited/unverified file-29 Born-rule claim as an already-established fact.",
    "Classification before repair": "Postulate (framed as established)",
    "Repair applied": "Same repair as file 29",
    "Classification after repair": "Postulate -- requires repair",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "35_Final_Closure_Statement",
    "Claim": "Foundational issues are closed (list)",
    "Original wording": "The following foundational issues are closed within the present framework: [origin of law, fine-tuning, measurement problem, spacetime/gravity/dark matter/dark energy emergence, QFT status, black-hole information, coupling extraction] ... No additional postulates are required",
    "Problem": "Every listed item is, per this audit, a Postulate/Heuristic/Conjecture or a checkably overstated Numerical-Evidence claim (a_* in ch.21/25.4; the classical-limit derivation in ch.29/G.4), not a proven closure.",
    "Classification before repair": "Postulate (framed as established closure)",
    "Repair applied": "Rewrite to reflect the mixed state established by this audit: genuine reinterpretation + honest research program, alongside multiple open foundational questions",
    "Classification after repair": "Postulate -- directly contradicted by this audit's findings; requires repair",
    "Remaining risk": "Critical/High"
  },
  {
    "Book": "A",
    "Section": "A01_Full_Simulation_Code",
    "Claim": "Xi_evaluate pseudocode reveals qualitative screen, not literal Xi maximization",
    "Original wording": "return alpha*C + beta*S + gamma*G - delta*D  [after: if divergence_detected: return -infinity; if no_locality_emerges: return -large_penalty]",
    "Problem": "C,S,G,D are never given explicit computable formulas anywhere in the book; in practice the screen is pass/fail on divergence/locality, not a literal functional evaluation.",
    "Classification before repair": "Numerical Evidence / Postulate",
    "Repair applied": "Relabel as an illustrative viability screen (shared repair with file 18)",
    "Classification after repair": "Numerical Evidence (illustrative toy screen)",
    "Remaining risk": "Medium-High"
  },
  {
    "Book": "A",
    "Section": "A01_Full_Simulation_Code",
    "Claim": "All figures generated directly from this code",
    "Original wording": "All figures in the main text and appendices are generated directly from this code without post-processing or manual adjustment",
    "Problem": "There are zero \\includegraphics commands anywhere in the 37 audited .tex files -- no figures exist in the document being audited for this claim to describe.",
    "Classification before repair": "Numerical Evidence (claim about provenance)",
    "Repair applied": "Remove or clarify; likely a holdover from a companion document",
    "Classification after repair": "Numerical Evidence (claim inapplicable to this document) -- requires repair",
    "Remaining risk": "Low-Medium"
  },
  {
    "Book": "A",
    "Section": "B01_SPARC_Data_Processing",
    "Claim": "All plots shown in the main text generated directly from these scripts",
    "Original wording": "All plots shown in the main text are generated directly from these scripts",
    "Problem": "Same issue as A01: no plots/figures exist anywhere in the audited .tex files.",
    "Classification before repair": "Numerical Evidence (claim about provenance)",
    "Repair applied": "Remove or clarify (same repair as A01)",
    "Classification after repair": "Numerical Evidence (claim inapplicable) -- requires repair",
    "Remaining risk": "Low-Medium"
  },
  {
    "Book": "A",
    "Section": "B01_SPARC_Data_Processing",
    "Claim": "RAR functional form used without derivation",
    "Original wording": "The functional form used is: a_obs = a_bar / (1 - exp(-sqrt(a_bar/a_*)))",
    "Problem": "Same as file 21: imported from McGaugh 2016, not derived from the field equation.",
    "Classification before repair": "Postulate (borrowed)",
    "Repair applied": "Same repair as file 21",
    "Classification after repair": "Postulate (borrowed)",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "C01_Ringdown_Signal_Modeling",
    "Claim": "Comparing to 'observed data'",
    "Original wording": "Bayesian parameter estimation is performed by comparing synthetic signals to observed data",
    "Problem": "Checked against the repository code (generate_synthetic.py, compare_models.py): the pipeline as implemented uses synthetic/mock data and a simpler ad hoc sigmoid-suppression toy model, not the documented mass-dependent a_hor/a_* exponential formula.",
    "Classification before repair": "Numerical Evidence (methodology description)",
    "Repair applied": "Correct 'observed data' to 'synthetic/mock data'; note the gap between documented formula and implemented toy model",
    "Classification after repair": "Numerical Evidence (mismatch between documented theory and implemented code) -- requires repair",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "C01_Ringdown_Signal_Modeling",
    "Claim": "Modified quasinormal mode formulas (omega_n, tau_n)",
    "Original wording": "omega_n = omega_n^GR [1 - epsilon exp(-(a_*/a_hor)^p)]; tau_n = tau_n^GR [1 + epsilon' exp(-(a_*/a_hor)^p)]",
    "Problem": "Same asymptotic-consistency problem as ch.22 (shared fix).",
    "Classification before repair": "Postulate/Ansatz",
    "Repair applied": "Same repair as ch.22",
    "Classification after repair": "Mathematical Error (asymptotic inconsistency) -- requires repair",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "D01_Math_Properties_Selection_Functional",
    "Claim": "Existence of maximizers via compactness or coercivity",
    "Original wording": "If W_viable is compact ... continuity of Xi guarantees the existence of at least one maximizer ... If W_viable is non-compact, existence can still be ensured by coercivity",
    "Problem": "This is the mathematically correct template (Weierstrass extreme value theorem / direct method), but neither hypothesis (compactness of an explicit topology, or coercivity under an explicit norm) is ever verified for the actual (D,R,G) construction of ch.2.",
    "Classification before repair": "Proposition (conditional)",
    "Repair applied": "State explicitly as conditional; supply the missing topology/norm construction (supplement Prop. 1) -- the single most important repair in the book per the audit's special-focus item A",
    "Classification after repair": "Proposition (conditional, hypothesis undischarged) -- existence remains open",
    "Remaining risk": "Critical/High"
  },
  {
    "Book": "A",
    "Section": "D01_Math_Properties_Selection_Functional",
    "Claim": "Xi is mathematically well-defined under mild and natural assumptions",
    "Original wording": "The selection functional Xi is mathematically well-defined under mild and natural assumptions ... ensure the emergence of a physical world is neither arbitrary nor fine-tuned",
    "Problem": "The 'mild and natural' assumptions required (explicit topology/norm with compactness or coercivity) are exactly the open mathematical content of the existence question and are not discharged anywhere.",
    "Classification before repair": "Proposition (conclusion)",
    "Repair applied": "Downgrade language; do not claim the conclusion follows from 'mild' assumptions",
    "Classification after repair": "Proposition -- requires repair",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "E01_Dimensional_Analysis",
    "Claim": "I is dimensionless",
    "Original wording": "I is taken to be dimensionless",
    "Problem": "None on its own -- correctly required for log I to be well-defined.",
    "Classification before repair": "Definition/Assumption",
    "Repair applied": "None needed",
    "Classification after repair": "Definition/Assumption",
    "Remaining risk": "Low"
  },
  {
    "Book": "A",
    "Section": "E01_Dimensional_Analysis",
    "Claim": "Acceleration from gradient of dimensionless Phi",
    "Original wording": "a ~ |grad Phi| ... [a_*] = L T^{-2}",
    "Problem": "Dimensional error: gradient of a dimensionless Phi has units of inverse length, not acceleration; contradicts Phi=-log I being dimensionless (E.1) versus x-double-dot=-grad Phi (ch.11.2) requiring Phi to carry units of L^2 T^-2.",
    "Classification before repair": "Definition (implied consistent)",
    "Repair applied": "Insert an explicit dimensional constant (e.g. Phi_phys := Lambda_a * (-log I)) -- see supplement Remark/fix",
    "Classification after repair": "Mathematical Error (dimensional inconsistency) -- requires repair",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "E01_Dimensional_Analysis",
    "Claim": "Framework confirmed dimensionally self-consistent",
    "Original wording": "This confirms that the framework is dimensionally self-consistent and free of hidden unit assumptions",
    "Problem": "Directly contradicted by the E-3 finding above.",
    "Classification before repair": "Proposition (conclusion)",
    "Repair applied": "Remove 'confirms' pending the E-3 repair",
    "Classification after repair": "Proposition -- requires repair",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "F01_Relation_to_Information_Theory",
    "Claim": "Resolves apparent paradoxes (BH/cosmology)",
    "Original wording": "This resolves apparent paradoxes associated with black holes and cosmology without requiring hidden degrees of freedom or external observers",
    "Problem": "Same overstatement as chs.16-17; no new content.",
    "Classification before repair": "Physical Interpretation",
    "Repair applied": "Downgrade to 'offers a reframing of' (shared repair with files 16-17)",
    "Classification after repair": "Physical Interpretation",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "G01_Technical_Details_Quantum_Completion",
    "Claim": "Self-adjointness of Ĥ_I",
    "Original wording": "is formally self-adjoint provided D(I,x,t) >= 0, D and V are sufficiently smooth ... boundary terms vanish",
    "Problem": "None -- correctly stated Sturm-Liouville-type sufficient conditions; sound as far as it goes.",
    "Classification before repair": "Proposition",
    "Repair applied": "None needed (positive feature)",
    "Classification after repair": "Proposition",
    "Remaining risk": "Low"
  },
  {
    "Book": "A",
    "Section": "G01_Technical_Details_Quantum_Completion",
    "Claim": "Semiclassical limit reduces exactly to the classical reaction-diffusion equation",
    "Original wording": "this reduces exactly to the classical equation used throughout the paper",
    "Problem": "Ĥ_I as constructed has no spatial-coupling term between I(x) and I(x') for x != x' (only pointwise functional derivatives and a pointwise potential); such an ultralocal Hamiltonian cannot generate a spatial diffusion term in any semiclassical limit -- checked explicitly, the claimed derivation does not go through as stated.",
    "Classification before repair": "Proposition ('reduces exactly')",
    "Repair applied": "Add explicit spatial-coupling term to Ĥ_I (e.g. a gradient-energy term) and redo the reduction, or acknowledge the gap (supplement Remark)",
    "Classification after repair": "Conjecture (derivation does not go through as stated) -- requires repair",
    "Remaining risk": "Critical/High"
  },
  {
    "Book": "A",
    "Section": "G01_Technical_Details_Quantum_Completion",
    "Claim": "All approximations are controlled, no additional postulates introduced",
    "Original wording": "Appendix G demonstrates that the quantum completion outlined in Section 29 rests on standard and defensible mathematical constructions. No additional postulates are introduced, and all approximations are controlled",
    "Problem": "Directly contradicted by the G-4 finding above: the central approximation (classical-limit recovery) is not controlled as stated.",
    "Classification before repair": "Proposition (conclusion)",
    "Repair applied": "Remove/soften pending the spatial-coupling repair",
    "Classification after repair": "Proposition -- requires repair",
    "Remaining risk": "High"
  },
  {
    "Book": "A",
    "Section": "H01_Algebraic_Construction_Local_Operator_Nets",
    "Claim": "Local operator algebra definition",
    "Original wording": "The local operator algebra A(R) is the set of bounded operators ... that act nontrivially only on H_R ... up to corrections suppressed by epsilon(ell)",
    "Problem": "The 'up to corrections' qualifier attached to a strict set-equality is informal; needs its own formal (e.g. epsilon-approximate) definition.",
    "Classification before repair": "Definition",
    "Repair applied": "Formalize the approximate-factorization notion explicitly (supplement)",
    "Classification after repair": "Definition (informal correction term)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "H01_Algebraic_Construction_Local_Operator_Nets",
    "Claim": "Commutator bound via mutual information",
    "Original wording": "||[O_1, O_2]|| <= O(I(R_1 : R_2))",
    "Problem": "Asserted as though self-evident; no proof or citation given, and no hypotheses (e.g. bounded operator norms) stated.",
    "Classification before repair": "Proposition (implied)",
    "Repair applied": "Cite or prove under stated hypotheses (needed lemma)",
    "Classification after repair": "Conjecture (uncited/unproven)",
    "Remaining risk": "Medium-High"
  },
  {
    "Book": "A",
    "Section": "H01_Algebraic_Construction_Local_Operator_Nets",
    "Claim": "Resolves long-standing tensions between algebraic rigor and physical applicability",
    "Original wording": "This resolves long-standing tensions between algebraic rigor and physical applicability",
    "Problem": "No specific named tension from the AQFT literature (Reeh-Schlieder, split property, type-III factors, DHR superselection theory) is identified or engaged with; no citation given.",
    "Classification before repair": "Physical Interpretation (claimed resolution)",
    "Repair applied": "Cite specific tensions being addressed, or remove the claim",
    "Classification after repair": "Physical Interpretation -- requires repair (needed citation)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "K01_NonPerturbative_RG",
    "Claim": "Coarse-graining induces a scale-dependent equation of the same functional form",
    "Original wording": "The original microscopic equation ... induces a scale-dependent effective equation [same reaction-diffusion form with renormalized D_ell, alpha_ell, beta_ell]",
    "Problem": "Coarse-graining a nonlinear PDE generically generates new operators/terms not present in the original equation (standard Wilsonian/functional-RG fact); no invariant-manifold argument or truncation scheme is given to justify closure onto the same 3-parameter family.",
    "Classification before repair": "Proposition (implied)",
    "Repair applied": "Supply an invariant-manifold argument or explicitly acknowledge a truncation ansatz (needed lemma)",
    "Classification after repair": "Assumption/Conjecture -- requires repair",
    "Remaining risk": "Medium-High"
  },
  {
    "Book": "A",
    "Section": "K01_NonPerturbative_RG",
    "Claim": "This resolves the long-standing reliance of QFT on perturbative control",
    "Original wording": "This resolves the long-standing reliance of QFT on perturbative control",
    "Problem": "No actual non-perturbative fixed point of this specific system's dynamics is exhibited or computed anywhere in the book.",
    "Classification before repair": "Physical Interpretation",
    "Repair applied": "Downgrade to 'is not limited in principle to perturbative regimes; no explicit non-perturbative fixed point is computed here'",
    "Classification after repair": "Physical Interpretation -- requires repair",
    "Remaining risk": "Medium"
  },
  {
    "Book": "A",
    "Section": "L01_Coupling_Extraction_Pipeline",
    "Claim": "Coupling constants are no longer arbitrary inputs",
    "Original wording": "Coupling constants are no longer arbitrary inputs. They are emergent, stability-selected outputs of a well-defined data-to-parameter pipeline",
    "Problem": "No coupling constant has actually been extracted via this pipeline anywhere in the book; the program is unexecuted.",
    "Classification before repair": "Physical Interpretation (framed as accomplished)",
    "Repair applied": "Change to future/conditional tense ('would no longer be arbitrary inputs, if this program succeeds')",
    "Classification after repair": "Physical Interpretation -- requires repair",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "00a_Abstract",
    "Claim": "Gravity arises as a temporally closed dynamical phase",
    "Original wording": "we demonstrate that both viewpoints are conceptually unnecessary",
    "Problem": "Demonstrate is overstrong for an interpretive framework built on a two-body toy PDE",
    "Classification before repair": "Physical Interpretation presented as demonstrated fact",
    "Repair applied": "Reword to propose/argue",
    "Classification after repair": "Physical Interpretation (explicit)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "00a_Abstract",
    "Claim": "Framework provides a concrete testable framework",
    "Original wording": "provides a concrete, testable framework in which gravitational behavior can appear, disappear, and re-emerge",
    "Problem": "Reasonable framing; falsifiability not yet cashed out into a concrete experiment in this file",
    "Classification before repair": "Postulate",
    "Repair applied": "None needed (fine as scoped)",
    "Classification after repair": "Postulate",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "00b_WB_Summary",
    "Claim": "Psi(t) formal definition as tuple including memory kernel integral",
    "Original wording": "Psi(t) = (rho(x,t), grad Phi(x,t), gamma, integral_0^t K(t-tau) rho(tau) d tau)",
    "Problem": "K(t-tau) never given a functional form anywhere in the 31 files; no counterpart in the validated Markovian simulation code",
    "Classification before repair": "Definition",
    "Repair applied": "State K is an uninstantiated placeholder; clarify memory is implicit via (rho,v) ODE order in the actual code",
    "Classification after repair": "Definition (with explicit caveat)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "00b_WB_Summary",
    "Claim": "L_crit defined via unspecified functional F",
    "Original wording": "L_crit = F(gamma, tau_memory, T_orbit, phase alignment)",
    "Problem": "F never given closed form or fitting procedure; phase alignment never mathematically defined anywhere",
    "Classification before repair": "Definition (placeholder)",
    "Repair applied": "Flag F and phase alignment as undefined; needed-definition gap",
    "Classification after repair": "Assumption (functional form unspecified)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "00b_WB_Summary",
    "Claim": "Removing inertial term eliminates all orbital phenomena",
    "Original wording": "Its removal collapses the system into a purely overdamped gradient flow and eliminates all orbital phenomena observed in the simulations",
    "Problem": "All overgeneralizes beyond the specific parameter ranges actually tested",
    "Classification before repair": "Numerical Evidence overstated as universal",
    "Repair applied": "Scope to tested parameter ranges",
    "Classification after repair": "Numerical Evidence (scoped)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "01_Introduction",
    "Claim": "Emergent-gravity programs lack a mathematically precise existence criterion",
    "Original wording": "Emergence is invoked as an explanatory label rather than a mathematically precise condition",
    "Problem": "No specific emergent-gravity paper (Jacobson, Verlinde, Padmanabhan) is cited or engaged; critique is uncited",
    "Classification before repair": "Heuristic/critique",
    "Repair applied": "Add citations to specific emergent-gravity programs being critiqued",
    "Classification after repair": "Heuristic (citation needed)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "01_Introduction",
    "Claim": "This work does not claim universality or quantize gravity",
    "Original wording": "We do not attempt to quantize gravity, modify general relativity, or propose a new metric theory",
    "Problem": "None -- correctly self-scoped",
    "Classification before repair": "Assumption (scope statement)",
    "Repair applied": "None needed",
    "Classification after repair": "Assumption (scope statement)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "02_Conceptual_Foundations",
    "Claim": "Gradient-dominated systems cannot sustain bound/cyclic motion without forcing",
    "Original wording": "Such systems cannot sustain bound motion or cyclic behavior without external forcing",
    "Problem": "True and provable (gradient flows are non-increasing in the potential) but stated as bare assertion with no proof or citation",
    "Classification before repair": "Heuristic asserted as fact",
    "Repair applied": "Supply short proof as a Lemma (see closure_supplement_section.tex Lemma S.1)",
    "Classification after repair": "Lemma (proof supplied in supplement)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "02_Conceptual_Foundations",
    "Claim": "Gravity requires closure over time rather than a pointwise condition",
    "Original wording": "gravity is understood as a temporally extended phenomenon, requiring closure over time rather than satisfaction of a pointwise condition",
    "Problem": "Central postulate of the book; correctly framed as a reframing/perspective, not a proven result",
    "Classification before repair": "Postulate",
    "Repair applied": "None needed (already correctly framed)",
    "Classification after repair": "Postulate",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "03_Math_Framework",
    "Claim": "Continuity, damped-inertial, and screened-Poisson equations are the complete dynamical content",
    "Original wording": "These equations constitute the complete dynamical content of the model",
    "Problem": "Equations are unlabeled as Axioms/Postulates; reader cannot tell they are postulated rather than derived",
    "Classification before repair": "Definition (unlabeled as axiom)",
    "Repair applied": "Explicitly label as the model's Axioms/Postulates",
    "Classification after repair": "Axiom/Postulate (explicit)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "03_Math_Framework",
    "Claim": "Center of mass r_i(t) defined for each localized density component",
    "Original wording": "For each localized density component rho_i(x,t), the center of mass is defined as...",
    "Problem": "No formal method given for decomposing the single field rho(x,t) into rho_1, rho_2; actual code uses an undisclosed spatial bisection of the box",
    "Classification before repair": "Definition (hidden assumption)",
    "Repair applied": "Disclose actual segmentation heuristic and its untested robustness (P-03-1)",
    "Classification after repair": "Assumption (segmentation heuristic, disclosed)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "03_Math_Framework",
    "Claim": "L(t) is not conserved a priori; its persistence is a direct measure of inertial structure",
    "Original wording": "This quantity is not conserved a priori, but its persistence or decay provides a direct measure of inertial structure",
    "Problem": "Reasonable and correctly hedged (not claiming conservation)",
    "Classification before repair": "Physical Interpretation",
    "Repair applied": "None needed",
    "Classification after repair": "Physical Interpretation",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "03_Math_Framework",
    "Claim": "Time-averaged angular momentum defined as finite-window Cesaro average",
    "Original wording": "<|L|> = (1/T) integral_0^T |L(t)| dt",
    "Problem": "Genuine finite-T time average, consistent with Focus Area F question -- but later redefined in Appendices G/H/I/M as an infinite-horizon limit, never reconciled",
    "Classification before repair": "Definition",
    "Repair applied": "Reconcile finite-T and T-to-infinity forms (see closure_supplement_section.tex Def S.1/S.2)",
    "Classification after repair": "Definition (needs reconciliation across book)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "04_Numerical_Construction",
    "Claim": "No parameters are tuned to enforce orbital motion",
    "Original wording": "No parameters are tuned to enforce orbital motion. The appearance, disappearance, or re-emergence of bound trajectories is treated as an empirical outcome",
    "Problem": "Plausible good-faith claim but not independently verifiable from the text alone",
    "Classification before repair": "Assumption (self-attested practice)",
    "Repair applied": "None practical beyond disclosure; flag as attested, not provable from prose",
    "Classification after repair": "Assumption (self-attested)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "04_Numerical_Construction",
    "Claim": "Observed behavior is not a numerical artifact but a genuine dynamical phase",
    "Original wording": "these numerical choices ensure that observed gravitational behavior is not a numerical artifact, but a genuine dynamical phase supported by the underlying equations",
    "Problem": "This is the conclusion Appendix B is meant to establish, asserted pre-emptively in ch.4",
    "Classification before repair": "Numerical Evidence stated before evidence given",
    "Repair applied": "Move/qualify as forward reference to Appendix B",
    "Classification after repair": "Numerical Evidence (forward-referenced)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "04_Numerical_Construction",
    "Claim": "Density floor clamp regularization is not disclosed",
    "Original wording": "(not stated in this file; density clamp I = max(I, 1e-8) present in actual code run_orbit_test.py)",
    "Problem": "Undisclosed regularization step that could bias diagnostics near strong compressions; absent from Appendix B too",
    "Classification before repair": "Needed disclosure (undocumented assumption)",
    "Repair applied": "Add explicit disclosure and sensitivity test of clamp value",
    "Classification after repair": "Assumption (now flagged, still undisclosed in source)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "05_Orbital_Phenomenology",
    "Claim": "Orbital motion emerges without central forces, inverse-square law, or conserved angular momentum",
    "Original wording": "The governing equations contain no inverse-square law, no angular momentum conservation law, and no predefined notion of attraction",
    "Problem": "True by inspection of ch.3's stated equations",
    "Classification before repair": "Definition-level (true by construction)",
    "Repair applied": "None needed",
    "Classification after repair": "Definition-level (true by construction)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "05_Orbital_Phenomenology",
    "Claim": "Oscillations persist under grid refinement, horizon extension, and perturbation variation",
    "Original wording": "These oscillations are not numerical noise. They persist under refinement of the grid, extension of the integration horizon, and variation of initial perturbations",
    "Problem": "Appropriately hedged as empirical (NE); consistent with Appendix B for tested parameter values",
    "Classification before repair": "Numerical Evidence",
    "Repair applied": "None needed (well-hedged)",
    "Classification after repair": "Numerical Evidence",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "05_Orbital_Phenomenology",
    "Claim": "Whether orbital vs collapse occurs depends solely on whether inertial memory survives",
    "Original wording": "The same initial configuration can produce either orbital motion or collapse depending solely on whether inertial memory survives long enough to close dynamically",
    "Problem": "Solely overreaches: grid resolution, box size, and the undisclosed body-segmentation heuristic are not ruled out as contributing factors",
    "Classification before repair": "Numerical Evidence overstated as sole cause",
    "Repair applied": "Remove solely; acknowledge untested confounds",
    "Classification after repair": "Numerical Evidence (scoped)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "06_Phase_Classification",
    "Claim": "Orbital/Collapsing/Flyby regimes are mutually exclusive and exhaustive",
    "Original wording": "These regimes are mutually exclusive and exhaustive within the explored parameter space",
    "Problem": "Actual validated classifier (runner.py) returns 5 categories (ORBIT/COLLAPSE/OVERDAMPED_STATIC/CHAOTIC/UNKNOWN), not 3; mapping to the 3-way narrative is undocumented",
    "Classification before repair": "Definition presented as exhaustive partition",
    "Repair applied": "Disclose 5-way to 3-way coarsening (P-06-1)",
    "Classification after repair": "Numerical Evidence (coarsening disclosed)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "06_Phase_Classification",
    "Claim": "N_orbit and Delta_r are well-formed, dimensionless/count diagnostics",
    "Original wording": "N_orbit = (1/2) #{t | d-dot(t)=0}; Delta_r = std(d(t))/<d(t)>",
    "Problem": "None -- clean, dimensionally sound definitions",
    "Classification before repair": "Definition",
    "Repair applied": "None needed",
    "Classification after repair": "Definition",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "06_Phase_Classification",
    "Claim": "Identical instantaneous config can belong to different phases; this demonstrates non-locality of phase membership",
    "Original wording": "This demonstrates that phase membership cannot be inferred from local-in-time quantities",
    "Problem": "Demonstrates overstates a single illustrative case as a general proof",
    "Classification before repair": "Numerical Evidence overstated as demonstration",
    "Repair applied": "Reword demonstrates to illustrates",
    "Classification after repair": "Numerical Evidence (illustrative)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "07_Existence_Problem",
    "Claim": "Chapter title The Existence Problem addresses solution existence",
    "Original wording": "7. The Existence Problem",
    "Problem": "Chapter actually addresses non-existence of an instantaneous force law, never PDE well-posedness (existence/uniqueness of solutions to the governing system)",
    "Classification before repair": "Mislabeled scope",
    "Repair applied": "Retitle chapter; add explicit existence-assumption subsection (P-07-1/2)",
    "Classification after repair": "Assumption (solution existence, now flagged as such)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "07_Existence_Problem",
    "Claim": "No single-valued mapping from instantaneous state to dynamical outcome exists",
    "Original wording": "no single-valued mapping from instantaneous state variables to dynamical outcome exists",
    "Problem": "Empirical counterexample at one gamma value is generalized to a universal non-existence claim without proof",
    "Classification before repair": "Conjecture presented as established fact",
    "Repair applied": "Downgrade explicitly to Conjecture, scope to tested diagnostics",
    "Classification after repair": "Conjecture",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "07_Existence_Problem",
    "Claim": "Formally, there exists no function S mapping instantaneous fields to Orbital/Non-Orbital",
    "Original wording": "Formally, there exists no function S such that S(rho(t),v(t),Phi(t),gamma) => Orbital or Non-Orbital",
    "Problem": "No proof given; only tested against a narrow set of coarse diagnostics (d, d-dot, gamma, L), not the full field",
    "Classification before repair": "Conjecture dressed as Theorem-like formal statement",
    "Repair applied": "Reword per P-07-3 to scope claim to tested diagnostics",
    "Classification after repair": "Conjecture (scoped)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "07_Existence_Problem",
    "Claim": "Gravity exists only when system achieves temporal closure over [0,t]",
    "Original wording": "Gravity exists => Psi(t) satisfies a closure condition over [0,t]",
    "Problem": "Consistent restatement of the book's central postulate; not itself a new proof burden",
    "Classification before repair": "Postulate",
    "Repair applied": "None needed",
    "Classification after repair": "Postulate",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "08_Closure_Functional",
    "Claim": "Psi(t) is a history-bearing object, intrinsically nonlocal in time",
    "Original wording": "Psi(t) is not a state in the Hamiltonian sense. It is a history-bearing object whose definition is intrinsically nonlocal in time",
    "Problem": "Consistent with Def but K(t-tau) inside Psi(t) remains uninstantiated (see 00b entry)",
    "Classification before repair": "Definition",
    "Repair applied": "Cross-reference K instantiation gap",
    "Classification after repair": "Definition (with caveat)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "08_Closure_Functional",
    "Claim": "C is the simplest functional consistent with all observed phase transitions",
    "Original wording": "This form is not assumed a priori; it is the simplest functional consistent with all observed phase transitions",
    "Problem": "No alternative functional forms shown tested/rejected; simplest and all observed unverifiable from text",
    "Classification before repair": "Assumption overstated as optimality claim",
    "Repair applied": "Reword per P-08-1 to remove simplest/all-observed claim",
    "Classification after repair": "Assumption (operational form, unranked)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "08_Closure_Functional",
    "Claim": "L_crit = F(gamma, tau_memory, T_orbit, phase alignment), non-universal",
    "Original wording": "L_crit is not a universal constant. It depends on the temporal and structural properties of the system history",
    "Problem": "Honest non-universality claim -- but F, tau_memory estimator, and phase alignment are never formally defined anywhere",
    "Classification before repair": "Definition (placeholder functional)",
    "Repair applied": "Needed definition; supply explicit estimator or flag as open (closure_supplement_section.tex)",
    "Classification after repair": "Assumption (functional form unspecified)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "08_Closure_Functional",
    "Claim": "Gravity may exist for intermediate gamma, disappear, and reappear (windowed behavior)",
    "Original wording": "Gravity may exist for intermediate values of gamma, Disappear for slightly larger or smaller values, And reappear when temporal coherence is restored",
    "Problem": "Consistent with Appendix E's non-monotonic reappearance claim, though that claim itself lacks a specific data citation (see Gap in Appendix E entry)",
    "Classification before repair": "Numerical Evidence",
    "Repair applied": "Cross-reference Appendix E data citation gap",
    "Classification after repair": "Numerical Evidence (cross-ref needed)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "09_Gravity_Temporally_Closed_Phase",
    "Claim": "Gravity is defined as the set of histories satisfying C[Psi(t)]=1",
    "Original wording": "Gravity = {Psi(t) | C[Psi(t)]=1}",
    "Problem": "Consistent Definition/Corollary of ch.8; no new proof burden",
    "Classification before repair": "Definition",
    "Repair applied": "None needed",
    "Classification after repair": "Definition",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "09_Gravity_Temporally_Closed_Phase",
    "Claim": "Formally, closure occurs only when inertial content exceeds a threshold (iff statement)",
    "Original wording": "Formally, closure occurs only when inertial content accumulated over a full history exceeds a history-dependent threshold: C[Psi(t)]=1 iff <|L|>_Psi > L_crit",
    "Problem": "Drops ch.8's own hedge (operational representation, based on experimental evidence) and restates as unqualified Formally",
    "Classification before repair": "Definition overstated as formal biconditional",
    "Repair applied": "Restore hedge per P-09-1",
    "Classification after repair": "Definition (operational, hedge restored)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "09_Gravity_Temporally_Closed_Phase",
    "Claim": "No requirement that C remain invariant under parameter variation or perturbation",
    "Original wording": "There is no requirement that C remain invariant under parameter variation, horizon extension, or perturbation of initial histories",
    "Problem": "Consistent with Appendix E/F data",
    "Classification before repair": "Numerical Evidence",
    "Repair applied": "None needed",
    "Classification after repair": "Numerical Evidence",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "10_Validation_Parameter_Scans",
    "Claim": "Phase existence is not uniquely determined by gamma; temporal history is essential",
    "Original wording": "Phase existence is not uniquely determined by gamma, No force-law or static threshold can predict gravitational behavior, Temporal history is an essential degree of freedom",
    "Problem": "Correctly scoped to the specific gamma approx 0.014 mixed-outcome data; does not overgeneralize to all gamma",
    "Classification before repair": "Numerical Evidence (well-scoped)",
    "Repair applied": "None needed",
    "Classification after repair": "Numerical Evidence",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "10_Validation_Parameter_Scans",
    "Claim": "Horizon scaling (x1,x2,x4) functions as a necessary condition for temporal closure",
    "Original wording": "Horizon scaling therefore functions as a necessary condition for identifying temporally closed dynamics rather than finite-time artifacts",
    "Problem": "A finite 3-multiple horizon test cannot, by itself, verify the T-to-infinity limit definition used in Appendices G/H/M",
    "Classification before repair": "Numerical Evidence conflated with definitional sufficiency",
    "Repair applied": "State explicitly as necessary-but-not-sufficient for the infinite-horizon definition",
    "Classification after repair": "Numerical Evidence (necessary-condition only)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "10_Validation_Parameter_Scans",
    "Claim": "Big Orbit Validator ensures phase identification is objective and algorithmic",
    "Original wording": "This architecture ensures that phase identification is objective, algorithmic, and independent of visual inspection or single-run behavior",
    "Problem": "Reasonable methodological claim, consistent with Appendix D's pipeline description",
    "Classification before repair": "Assumption (methodology)",
    "Repair applied": "None needed",
    "Classification after repair": "Assumption (methodology)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "11_Relation_Known_Physics",
    "Claim": "Newtonian gravity may be recovered only as a phenomenological limit within a closed phase window",
    "Original wording": "Newtonian gravity may be recovered only as a phenomenological limit within a closed phase window, not as a foundational principle",
    "Problem": "No explicit computation anywhere in the 31 files shows the screened-Poisson/damped-inertial system reducing to 1/r^2 attraction in any limit",
    "Classification before repair": "Postulate/claim with no supporting derivation",
    "Repair applied": "Needed lemma: show the Newtonian limit explicitly or remove the claim",
    "Classification after repair": "Conjecture (Newtonian limit unproven)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "11_Relation_Known_Physics",
    "Claim": "General relativity and this framework are orthogonal, not competing",
    "Original wording": "For this reason, the two frameworks are orthogonal rather than competing",
    "Problem": "Reasonable, well-hedged comparison claim; no formal mapping claimed",
    "Classification before repair": "Physical Interpretation",
    "Repair applied": "None needed",
    "Classification after repair": "Physical Interpretation",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "11_Relation_Known_Physics",
    "Claim": "Hopf bifurcation analogy is incomplete",
    "Original wording": "These features are reminiscent of Hopf bifurcations... However, the analogy is incomplete",
    "Problem": "Self-correctly hedged; good practice",
    "Classification before repair": "Heuristic (self-qualified)",
    "Repair applied": "None needed",
    "Classification after repair": "Heuristic (self-qualified)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "12_Implications",
    "Claim": "Cosmological structure formation must be reinterpreted if gravity is conditional",
    "Original wording": "If gravity exists only within temporally closed dynamical phases, then large-scale structure formation must be reinterpreted accordingly",
    "Problem": "Correctly hedged with If -- conditional, speculative implication",
    "Classification before repair": "Conjecture (correctly conditional)",
    "Repair applied": "None needed",
    "Classification after repair": "Conjecture",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "12_Implications",
    "Claim": "Gravity is the first demonstrated case of a more general temporal-closure principle",
    "Original wording": "gravity serves as the first demonstrated case of a more general principle",
    "Problem": "Demonstrated overstates a single illustrative toy-model result as establishing a general principle spanning particles, bound states, fields",
    "Classification before repair": "Physical Interpretation overstated as demonstrated",
    "Repair applied": "Reword demonstrated to illustrative",
    "Classification after repair": "Physical Interpretation (illustrative)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "13_Limitations_Open_Problems",
    "Claim": "Closure functional is defined operationally rather than analytically; structure only partially characterized",
    "Original wording": "the closure functional C[Psi(t)] is presently defined operationally rather than analytically. While its empirical extraction is well-defined, its mathematical structure remains only partially characterized",
    "Problem": "Directly contradicts the Theorem-level claims made in Appendices J, K, N about exactly this kind of analytic/stability result",
    "Classification before repair": "Assumption (honest, self-aware)",
    "Repair applied": "Reconcile with appendix Theorem downgrades (Gap #14)",
    "Classification after repair": "Assumption (confirmed correct by this audit)",
    "Remaining risk": "Low (for this chapter itself); High (manuscript-wide consistency)"
  },
  {
    "Book": "B1",
    "Section": "13_Limitations_Open_Problems",
    "Claim": "Proofs of stability and uniqueness for closed dynamical phases are listed as future work",
    "Original wording": "Proofs of stability and uniqueness for closed dynamical phases, listed under What Must Be Proven Next",
    "Problem": "Same tension as above -- appendices claim to have already proven closely related results",
    "Classification before repair": "Assumption (honest)",
    "Repair applied": "See Gap #14 resolution via appendix downgrades",
    "Classification after repair": "Assumption (confirmed correct)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "14_Conclusion",
    "Claim": "Results are incompatible with overdamped gradient-flow descriptions",
    "Original wording": "These results are incompatible with overdamped gradient-flow descriptions and with any framework based solely on instantaneous interactions",
    "Problem": "True by construction (gradient flows cannot oscillate) but stated without proof or forward reference",
    "Classification before repair": "True fact stated without proof",
    "Repair applied": "Add forward reference to Lemma S.1 in supplement",
    "Classification after repair": "Lemma (via supplement)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "14_Conclusion",
    "Claim": "This work does not claim to provide a final theory of gravity",
    "Original wording": "this work does not claim to provide a final theory of gravity. It defines an open and extensible framework",
    "Problem": "Honest self-scoping, consistent with ch.13",
    "Classification before repair": "Assumption (scope statement)",
    "Repair applied": "None needed",
    "Classification after repair": "Assumption (scope statement)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppA_Full_Math_Derivations",
    "Claim": "Appendix title promises full mathematical derivations",
    "Original wording": "Appendix A: Full Mathematical Derivations",
    "Problem": "Contains no derivations -- a catalog/restatement of definitions already given in chs.3,8,00b; title overpromises",
    "Classification before repair": "Definition (mislabeled as derivation)",
    "Repair applied": "Retitle to Catalog of Definitions or similar",
    "Classification after repair": "Definition (retitled)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppA_Full_Math_Derivations",
    "Claim": "Inertial term is essential; overdamped limit cannot support orbital motion",
    "Original wording": "The presence of the inertial term partial_t v is essential. In the overdamped limit, the system reduces to gradient flow and cannot support orbital motion",
    "Problem": "True and provable (Lemma-level), stated without formal proof",
    "Classification before repair": "True fact stated without proof",
    "Repair applied": "Supply proof as Lemma S.1 in supplement",
    "Classification after repair": "Lemma (via supplement)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppB_Numerical_Stability",
    "Claim": "CFL-type stability bound holds for the explicit scheme",
    "Original wording": "Delta t <~ C * Delta x / max|v|, where C<1 is a safety factor",
    "Problem": "Standard, correct result for explicit hyperbolic/advective schemes; no citation given (minor)",
    "Classification before repair": "Lemma (correct, standard)",
    "Repair applied": "Add citation to standard CFL literature",
    "Classification after repair": "Lemma (citation added)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppB_Numerical_Stability",
    "Claim": "All three diagnostics converge monotonically with grid refinement, no regime transitions induced",
    "Original wording": "All three quantities converge monotonically with increasing resolution. No regime transitions are induced by grid refinement",
    "Problem": "Appropriately hedged Numerical Evidence claim",
    "Classification before repair": "Numerical Evidence",
    "Repair applied": "None needed",
    "Classification after repair": "Numerical Evidence",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppB_Numerical_Stability",
    "Claim": "Density floor clamp is never disclosed in this stability appendix",
    "Original wording": "(absent from this file; I = max(I, 1e-8) present in actual code)",
    "Problem": "A Numerical Stability and Convergence appendix should disclose and test sensitivity to this regularization; it does not",
    "Classification before repair": "Needed disclosure (omission)",
    "Repair applied": "Add explicit disclosure and sensitivity test",
    "Classification after repair": "Assumption (flagged, still undisclosed in source)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "AppC_Extended_Data_Tables",
    "Claim": "Orbit rate decreases smoothly with increasing gamma, consistent with gradual crossover not instability",
    "Original wording": "The orbit rate decreases smoothly with increasing gamma, consistent with a gradual phase crossover rather than a numerical instability or threshold artifact",
    "Problem": "Well-hedged (consistent with, not proves)",
    "Classification before repair": "Numerical Evidence",
    "Repair applied": "None needed",
    "Classification after repair": "Numerical Evidence",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppC_Extended_Data_Tables",
    "Claim": "Complete run-level tables are provided in machine-readable CSV in accompanying data archive",
    "Original wording": "Complete run-level tables are provided in machine-readable CSV format in the accompanying data archive",
    "Problem": "This audit had read-only access to .tex only and could not verify the archive's existence/consistency",
    "Classification before repair": "Needed external verification (not a finding of wrongdoing)",
    "Repair applied": "Flag for verification by someone with repo access",
    "Classification after repair": "Numerical Evidence (external verification pending)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppD_Reproducibility",
    "Claim": "No result relies on interactive decisions, visual inspection, or post-hoc filtering",
    "Original wording": "No result reported in this manuscript relies on interactive decisions, visual inspection, or post-hoc filtering",
    "Problem": "Self-attestation of good practice, not independently checkable from the prose alone",
    "Classification before repair": "Assumption (self-attested)",
    "Repair applied": "None practical; note as attested",
    "Classification after repair": "Assumption (self-attested)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppD_Reproducibility",
    "Claim": "Given identical inputs, all extracted metrics are reproducible up to floating point roundoff",
    "Original wording": "Given identical inputs, all extracted metrics are reproducible up to floating-point roundoff",
    "Problem": "Plausible for fixed-seed explicit scheme; no cross-platform/bit-reproducibility test reported",
    "Classification before repair": "Assumption (plausible, untested)",
    "Repair applied": "None needed beyond noting untested scope",
    "Classification after repair": "Assumption (plausible, untested)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppE_Negative_Results",
    "Claim": "At gamma=0.014, identical parameters yield both collapse and orbit outcomes across seeds",
    "Original wording": "The same gamma value therefore supports both C[Psi]=0 and C[Psi]=1 outcomes",
    "Problem": "Well-supported empirical claim, core evidence for the whole book's thesis; correctly scoped to this gamma and this two-body setup",
    "Classification before repair": "Numerical Evidence",
    "Repair applied": "None needed",
    "Classification after repair": "Numerical Evidence",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppE_Negative_Results",
    "Claim": "Failed regimes persist under horizon scaling (x2, x4), not premature truncations",
    "Original wording": "This confirms that failed regimes are not premature truncations of orbital dynamics but genuine non-gravitational phases",
    "Problem": "Well-supported, consistent with Appendix B/C",
    "Classification before repair": "Numerical Evidence",
    "Repair applied": "None needed",
    "Classification after repair": "Numerical Evidence",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppE_Negative_Results",
    "Claim": "Orbital regimes reappear at higher damping than some collapsing ones (non-monotonic reappearance)",
    "Original wording": "orbital regimes are observed at damping strengths larger than those exhibiting collapse, demonstrating that gravitational existence is not a monotonic function of gamma",
    "Problem": "No specific gamma values or table/figure cited; Appendix C's own table (Section C.3) shows a monotonically decreasing orbit rate, not obviously corroborating this claim",
    "Classification before repair": "Numerical Evidence with missing citation",
    "Repair applied": "Add specific data citation supporting non-monotonicity or reconcile with Appendix C table",
    "Classification after repair": "Numerical Evidence (citation gap)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "AppF_Emergent_Structural_Consequences",
    "Claim": "Gravitational existence exhibits hysteresis (path-dependence beyond simple history dependence)",
    "Original wording": "The outcome depends not only on the past state, but on the path by which inertial coherence is accumulated or lost",
    "Problem": "Consistent with, and appropriately downstream of, Appendix E data; no new mathematical machinery introduced",
    "Classification before repair": "Numerical Evidence / Physical Interpretation",
    "Repair applied": "None needed",
    "Classification after repair": "Numerical Evidence / Physical Interpretation",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppF_Emergent_Structural_Consequences",
    "Claim": "Classical singularities are replaced by closure failure within this framework",
    "Original wording": "Within this framework, classical singularities are replaced by closure failure events marking the termination of gravitational existence",
    "Problem": "Appropriately scoped with within this framework; more modest than Appendix H's later overclaim",
    "Classification before repair": "Physical Interpretation (appropriately scoped)",
    "Repair applied": "Use as template for App H's re-scoping",
    "Classification after repair": "Physical Interpretation (appropriately scoped)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppG_Big_Bang",
    "Claim": "Big Bang identified rigorously as the Pre-Closure Phase of the dynamical system",
    "Original wording": "we demonstrate that within the present framework the Big Bang is not a singular event. Instead, it is rigorously identified as a pre-closure phase",
    "Problem": "No mapping given from toy two-body PDE to any cosmological quantity (scale factor, FRW metric, Friedmann equations); rigorously is unsupported",
    "Classification before repair": "Physical Interpretation (analogy) overstated as rigorous identification",
    "Repair applied": "Reword per P-G-1",
    "Classification after repair": "Physical Interpretation / Heuristic analogy",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppG_Big_Bang",
    "Claim": "Proposition G.1: closure time t_c > 0 for all regimes that ultimately exhibit gravitational structure",
    "Original wording": "For all simulated regimes that ultimately exhibit gravitational structure, the closure time satisfies t_c > 0",
    "Problem": "Plausible and likely provable directly from the definitions (continuity argument) but no proof is actually supplied in the text; also mildly circular via ultimately exhibit gravitational structure",
    "Classification before repair": "Proposition asserted without proof",
    "Repair applied": "Supply proof (see closure_supplement_section.tex Lemma S.2)",
    "Classification after repair": "Proposition (proof supplied in supplement)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "AppG_Big_Bang",
    "Claim": "This conclusion is not speculative; it is a definitive reinterpretation of cosmic origin",
    "Original wording": "This result is not speculative. It follows directly from the equations, simulations, and invariants developed in this work and constitutes a definitive reinterpretation of cosmic origin",
    "Problem": "Single most overstrong passage in the manuscript; no cosmological mapping exists to support not speculative/definitive",
    "Classification before repair": "Heuristic analogy overstated as definitive non-speculative result",
    "Repair applied": "Reword per P-G-2",
    "Classification after repair": "Physical Interpretation / Heuristic (explicitly speculative)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppG_Big_Bang",
    "Claim": "Different universes may exhibit distinct effective Big Bang times t_c",
    "Original wording": "different universes may exhibit distinct effective Big Bang times t_c",
    "Problem": "Speculative extrapolation with no quantitative cosmological content attached",
    "Classification before repair": "Conjecture",
    "Repair applied": "Label explicitly as speculative implication",
    "Classification after repair": "Conjecture (speculative)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "AppH_Singularities",
    "Claim": "Proposition H.1: if |L(t)| to 0 as t to infinity then C[Psi]=0",
    "Original wording": "If a dynamical regime exhibits asymptotic decay of angular momentum, lim_{t to infinity}|L(t)|=0, then C[Psi]=0",
    "Problem": "Proof given is valid (Cesaro mean of a sequence tending to 0 tends to 0) -- a genuinely sound small result",
    "Classification before repair": "Proposition (verified sound)",
    "Repair applied": "None needed -- keep as Proposition",
    "Classification after repair": "Proposition (verified sound)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppH_Singularities",
    "Claim": "Corollary H.1: any regime traditionally identified as singular corresponds to C[Psi]=0",
    "Original wording": "Any regime traditionally identified as singular corresponds to C[Psi]=0",
    "Problem": "Category error: GR singularities are defined via curvature blowup/geodesic incompleteness in a Lorentzian spacetime this model does not represent; the corollary does not follow from Prop H.1 without an unstated bridging identification",
    "Classification before repair": "Corollary presented as following from a valid proof",
    "Repair applied": "Downgrade per P-H-1",
    "Classification after repair": "Physical Interpretation / Heuristic (analogy, bridging assumption stated)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppH_Singularities",
    "Claim": "No physical divergences occur at closure failure; all fields remain finite",
    "Original wording": "No quantity in the present framework diverges at closure failure. All fields remain finite, smooth, and numerically stable",
    "Problem": "Consistent with the model's own numerics (density floor notwithstanding) -- reasonable internal claim",
    "Classification before repair": "Numerical Evidence",
    "Repair applied": "None needed",
    "Classification after repair": "Numerical Evidence",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppI_BlackHoles",
    "Claim": "Black Hole is defined as a spatially localized region of sustained temporal closure",
    "Original wording": "Black Hole = A spatially localized region of sustained temporal closure",
    "Problem": "Clean Definition given C_D is well-defined; no black hole metric, horizon, or curvature calculation performed anywhere to connect to actual GR black holes",
    "Classification before repair": "Definition (interpretive mapping, not derived)",
    "Repair applied": "Label explicitly as Physical Interpretation, not derived correspondence",
    "Classification after repair": "Definition / Physical Interpretation",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "AppI_BlackHoles",
    "Claim": "Proposition I.1: sustained escape from D is dynamically forbidden",
    "Original wording": "If C_D=1 and C_(Omega minus D)=0, then sustained escape from D is dynamically forbidden",
    "Problem": "No proof given; the Interpretation paragraph argues the converse direction only (escape would reduce L below threshold, if it happened)",
    "Classification before repair": "Proposition asserted without proof",
    "Repair applied": "Downgrade to Conjecture per P-I-1",
    "Classification after repair": "Conjecture",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppI_BlackHoles",
    "Claim": "M_BH proportional to <|L|>_D^alpha with alpha approx 1",
    "Original wording": "Numerically: M_BH proportional to <|L|>_D^alpha, alpha approx 1",
    "Problem": "No data, figure, or table given or cited anywhere supporting this specific exponent",
    "Classification before repair": "Numerical Evidence claimed with no evidence shown",
    "Repair applied": "Remove or supply actual data per P-I-2",
    "Classification after repair": "Unverified numeric assertion (flagged)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppI_BlackHoles",
    "Claim": "Hawking radiation, shadows, ringdowns discussed as closure phenomena with no quantitative content",
    "Original wording": "Radiation corresponds to stochastic boundary fluctuations... Shadows trace closure domains. Ringdowns probe closure stiffness",
    "Problem": "Pure verbal analogy; no metric, photon-sphere calculation, or radiation spectrum computed anywhere",
    "Classification before repair": "Heuristic presented adjacent to Definition/Proposition language",
    "Repair applied": "Explicitly relabel as Heuristic/Physical Interpretation",
    "Classification after repair": "Heuristic / Physical Interpretation",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppJ_Dark_Matter_Reservoirs",
    "Claim": "Dark matter does not exist as a substance; conclusion is forced by the equations and simulations",
    "Original wording": "we demonstrate that dark matter does not exist as a substance within the framework developed in this work. This conclusion is forced by the equations, simulations, and large-scale parameter scans",
    "Problem": "The only validated numerics anywhere in the grounding codebase is a two-body simulation; nothing addresses galaxy-scale dark matter halos; forced by is unsupported",
    "Classification before repair": "Conjecture overstated as forced/demonstrated conclusion",
    "Repair applied": "Reword per P-J-1",
    "Classification after repair": "Conjecture (speculative extension, unproven)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppJ_Dark_Matter_Reservoirs",
    "Claim": "Key Numerical Fact: removing reservoir regions destroys flat rotation curves and lensing",
    "Original wording": "Key Numerical Fact. Removing these regions from the simulation destroys flat rotation curves and lensing-like deflections",
    "Problem": "No simulation, figure, or table is shown or cited anywhere in this file supporting this claim",
    "Classification before repair": "Numerical Fact claimed with zero evidence",
    "Repair applied": "Remove or replace with conditional statement per P-J-2",
    "Classification after repair": "Unsupported claim (flagged, no evidence)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppJ_Dark_Matter_Reservoirs",
    "Claim": "Theorem J.1: non-closing regions cannot collapse into bound objects (no stars, compact objects, etc.)",
    "Original wording": "Theorem J.1. Non-closing regions cannot collapse into bound objects... no stars, no radiation, no compact objects, no thermodynamic equilibration",
    "Problem": "Equivocates the model's narrow technical collapse (C_D=1) with the astrophysical sense (Jeans instability, virialization); no engagement with LambdaCDM structure formation literature",
    "Classification before repair": "Theorem overstated via equivocation, no citation engagement",
    "Repair applied": "Downgrade to Conjecture per P-J-3, add literature comparison",
    "Classification after repair": "Conjecture (equivocation flagged, literature gap noted)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppJ_Dark_Matter_Reservoirs",
    "Claim": "No direct dark matter detection experiment will ever succeed",
    "Original wording": "no direct detection experiments will ever succeed",
    "Problem": "Strong falsifiable-sounding prediction asserted with no quantitative particle-physics argument behind it",
    "Classification before repair": "Conjecture presented as confident prediction",
    "Repair applied": "Soften to qualitative expectation, note absence of quantitative backing",
    "Classification after repair": "Conjecture (qualitative)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "AppK_Dark_Energy",
    "Claim": "Dark energy is not energy; it is global temporal non-closure drift, and this is inevitable",
    "Original wording": "Dark Energy is not energy... dark energy ceases to be mysterious. It becomes inevitable",
    "Problem": "No quantitative derivation of an expansion history, w(z), or energy density connects this framework to observed dark energy; inevitable is unsupported",
    "Classification before repair": "Conjecture overstated as inevitable resolved fact",
    "Repair applied": "Reword per overstrong_language_log item 16",
    "Classification after repair": "Conjecture / Physical Interpretation (speculative)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppK_Dark_Energy",
    "Claim": "Proposition K.1: without global closure, inertial separation cannot saturate",
    "Original wording": "If a system lacks global temporal closure, inertial separation between closed subsystems cannot saturate",
    "Problem": "One-sentence plausibility argument, no equation derived or bounded from the governing PDE system",
    "Classification before repair": "Proposition asserted without derivation",
    "Repair applied": "Downgrade to Conjecture per P-K-1",
    "Classification after repair": "Conjecture",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppK_Dark_Energy",
    "Claim": "Theorem K.1: global non-closure drift is necessarily uniform at leading order",
    "Original wording": "Global non-closure drift is necessarily uniform at leading order... Local fluctuations average out; the drift survives",
    "Problem": "No averaging theorem, fluctuation-spectrum calculation, or definition of leading order given anywhere",
    "Classification before repair": "Theorem asserted via hand-waving",
    "Repair applied": "Downgrade to Conjecture per P-K-2",
    "Classification after repair": "Conjecture",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppL_Dark_Matter_Halo",
    "Claim": "Numerical scans confirm the halo boundary is generically finite in thickness (citing Section 10; Appendix E)",
    "Original wording": "Numerical scans confirm that this boundary is generically finite in thickness and internally structured (Section 10; Appendix E)",
    "Problem": "Cited sections describe the two-body gamma-scan (no spatial structure at all); cannot confirm anything about a spatial closure-density field c(x); direct citation mismatch",
    "Classification before repair": "Numerical Evidence claim with incorrect citation",
    "Repair applied": "Correct citation per P-L-1",
    "Classification after repair": "Conjecture (citation corrected, spatial claim unvalidated)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppL_Dark_Matter_Halo",
    "Claim": "Proposition L.1 (Halo enhancement): assumed profile yields extended operative mass support",
    "Original wording": "Proposition L.1 (Halo enhancement). If rho is centrally concentrated and c(x) decays gradually... Proof (constructive)...",
    "Problem": "The arithmetic is valid, but conditional on a hand-picked assumed profile never shown to arise from the model's actual dynamics on any simulated many-body configuration",
    "Classification before repair": "Proposition presented as general derived result",
    "Repair applied": "Relabel Illustrative Constructive Example per P-L-2",
    "Classification after repair": "Illustrative Constructive Example (valid math, unvalidated premise)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppL_Dark_Matter_Halo",
    "Claim": "If M_op(r) ~ r across the halo, v(r) approx const (flat rotation curves)",
    "Original wording": "If M_op(r) ~ r across the halo, v(r) approx const",
    "Problem": "The if is never shown to hold for the model's actual dynamics; presented conditionally here but stated unconditionally in the Final Conclusion (L.10)",
    "Classification before repair": "Conditional claim later slid into unconditional conclusion",
    "Repair applied": "Restore conditionality throughout per P-L-3",
    "Classification after repair": "Conjecture (explicitly conditional)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppL_Dark_Matter_Halo",
    "Claim": "Final Conclusion: Dark Matter = Halo-Scale Sub-Closure; no new matter is required",
    "Original wording": "Dark Matter = Halo-Scale Sub-Closure of Inertial Flow... No new matter is required",
    "Problem": "States as unconditional fact a result that was explicitly conditional on an untested profile assumption in L.4/L.5",
    "Classification before repair": "Physical Interpretation overstated as settled conclusion",
    "Repair applied": "Reword per P-L-3",
    "Classification after repair": "Physical Interpretation (explicitly conditional)",
    "Remaining risk": "High"
  },
  {
    "Book": "B1",
    "Section": "AppI2_Multistability",
    "Claim": "Multistability at fixed gamma: distinct outcomes from identical equations, schemes, and control parameters",
    "Original wording": "these outcomes occur under Identical governing equations, Identical numerical schemes, Identical control parameters",
    "Problem": "Well-supported and consistent with Appendix E's gamma=0.014,0.020 data; a rare case of a consistent citation in this appendix block",
    "Classification before repair": "Numerical Evidence (well-supported)",
    "Repair applied": "None needed",
    "Classification after repair": "Numerical Evidence",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppI2_Multistability",
    "Claim": "Gamma_boundary defined as {gamma : 0 < P_gamma(C=1) < 1}",
    "Original wording": "Gamma_boundary = {gamma : 0 < P_gamma(C=1) < 1}",
    "Problem": "P_gamma (a probability over the admissible-history ensemble) is never given a formal sample-space/measure definition",
    "Classification before repair": "Definition (formally incomplete)",
    "Repair applied": "State explicitly as empirical frequency over the finite tested seed ensemble",
    "Classification after repair": "Definition (empirical frequency, now explicit)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "AppI2_Multistability",
    "Claim": "Temporal closure is the only invariant criterion consistent with the full numerical evidence",
    "Original wording": "Temporal closure remains the only invariant criterion consistent with the full numerical evidence",
    "Problem": "The only is an unsupported uniqueness claim; no systematic search over alternative criteria reported",
    "Classification before repair": "Numerical Evidence overstated as uniqueness claim",
    "Repair applied": "Reword per P-I2-2",
    "Classification after repair": "Numerical Evidence (scoped to criteria tested)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppM_Closure_vs_Force_Laws",
    "Claim": "Theorem M.1: two systems with identical Psi(t0) but different histories can have different C values",
    "Original wording": "Theorem M.1 (History Sensitivity of Gravitational Existence)... Proof (Constructive)",
    "Problem": "Legitimate existence-by-construction argument grounded in real Appendix E data, but does not exclude ordinary deterministic chaos/sensitive dependence on initial conditions as the mechanism; no Lyapunov-exponent control given",
    "Classification before repair": "Theorem overstated; core logic sounder than other App G-N Theorems but missing a key control",
    "Repair applied": "Downgrade to Proposition with chaos caveat per P-M-1",
    "Classification after repair": "Proposition (numerically constructive, chaos not excluded)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "AppM_Closure_vs_Force_Laws",
    "Claim": "This test cannot be evaded by adding higher-order local terms or modified potentials",
    "Original wording": "This test cannot be evaded by adding higher-order local terms, modifying potential shapes, or introducing effective forces dependent on position or velocity alone",
    "Problem": "No alternative local-in-time model was actually constructed and tested against the data to check this claim",
    "Classification before repair": "Conjecture overstated as proven non-circumventability",
    "Repair applied": "Soften per P-M-2",
    "Classification after repair": "Conjecture (untested against constructed alternatives)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "AppM_Closure_vs_Force_Laws",
    "Claim": "Once observed, it cannot be explained away",
    "Original wording": "Once observed, it cannot be explained away",
    "Problem": "Rhetorical overreach on top of an already-incomplete argument (chaos alternative not excluded)",
    "Classification before repair": "Rhetorical overclaim",
    "Repair applied": "Soften per P-M-2",
    "Classification after repair": "Heuristic (rhetoric removed)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppN_Finite_Stable_Universes",
    "Claim": "Theorem N.1: N_stable <= floor(gamma_c / Delta_gamma_min) = floor(0.03/0.004) = 7",
    "Original wording": "Theorem N.1 (Finite Stability Theorem -- Upper Bound)... N_stable <= 7",
    "Problem": "Independent re-derivation from the actual validated 45-point scan gives gamma_c=0.022, Delta_gamma_min=0.0010, packing bound = floor(0.022/0.0010) = 22, not 7; the stated constants do not match the real underlying data",
    "Classification before repair": "Theorem, internally inconsistent with its own grounding data once independently checked",
    "Repair applied": "Downgrade to Conjecture; report both raw count (7) and honestly-recomputed packing bound (22) per P-N-2/P-N-3",
    "Classification after repair": "Conjecture (numeric discrepancy disclosed)",
    "Remaining risk": "Very High"
  },
  {
    "Book": "B1",
    "Section": "AppN_Finite_Stable_Universes",
    "Claim": "Delta_gamma_min approx 0.004 is empirical, not postulated",
    "Original wording": "Delta_gamma_min approx 0.004. This quantity is empirical, not postulated",
    "Problem": "In the grounding code Delta_gamma_min is literally the median spacing between adjacent sampled gamma grid points -- a property of the chosen scan grid, not a proven lower bound on achievable stable-interval widths; a finer scan could only increase N_stable",
    "Classification before repair": "Assumption presented as proven lower bound",
    "Repair applied": "Reframe explicitly as scan-resolution artifact per P-N-3",
    "Classification after repair": "Assumption (scan-resolution artifact, explicitly flagged)",
    "Remaining risk": "Very High"
  },
  {
    "Book": "B1",
    "Section": "AppN_Finite_Stable_Universes",
    "Claim": "Theorem N.7 (Conditional No-Eighth-Universe Theorem)",
    "Original wording": "Theorem N.7 (Conditional No-Eighth-Universe Theorem). If the full dense scan... reveals no additional robust stability interval... then no eighth stable universe exists",
    "Problem": "Logically valid as a conditional, but the antecedent (completed dense scan) is explicitly unverified per the chapter's own status note; risk of being quoted unconditionally",
    "Classification before repair": "Theorem (conditionally valid, hypothesis unverified)",
    "Repair applied": "Relabel Conditional Proposition per P-N-4",
    "Classification after repair": "Conditional Proposition (hypothesis flagged unverified)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B1",
    "Section": "AppN_Finite_Stable_Universes",
    "Claim": "There exists no more than seven dynamically stable universes (ontological reading)",
    "Original wording": "There exists no more than seven dynamically stable universes",
    "Problem": "Even granting the internal packing-bound argument, generalizing a 1-parameter, two-body, 2D toy-model result to the number of possible physical universes in reality requires an entirely separate, unstated argument (that gamma alone faithfully parametrizes the space of possible universes)",
    "Classification before repair": "Conjecture overstated as ontological Theorem",
    "Repair applied": "Downgrade explicitly to Conjecture/Speculative Physical Interpretation per P-N-5",
    "Classification after repair": "Conjecture / Speculative Physical Interpretation",
    "Remaining risk": "Very High"
  },
  {
    "Book": "B1",
    "Section": "AppN_Finite_Stable_Universes",
    "Claim": "Within the pre-physical selection framework of this work (terminology)",
    "Original wording": "Within the pre-physical selection framework of this work, the set of dynamically stable, history-robust universes is finite",
    "Problem": "Cross-book terminology error: pre-physical selection framework is a different book in this manuscript series (PrePhysicalSelection_EmergentReality), not this book's temporal-closure framework",
    "Classification before repair": "Editorial/terminology error",
    "Repair applied": "Fix per P-N-1",
    "Classification after repair": "Editorial error (corrected)",
    "Remaining risk": "Low"
  },
  {
    "Book": "B1",
    "Section": "AppN_Finite_Stable_Universes",
    "Claim": "Lambda_i (inertial stability constant) directly computable from logs",
    "Original wording": "Lambda_i quantifies resistance to collapse and is directly computable from logs",
    "Problem": "Definition is fine; no actual computed values, table, or figure of Lambda_i shown or cited anywhere in this file",
    "Classification before repair": "Definition (uninstantiated)",
    "Repair applied": "Add table of computed Lambda_i values or note as not yet tabulated",
    "Classification after repair": "Definition (uninstantiated, flagged)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "B2",
    "Section": "Appendix O (O.1)",
    "Claim": "Purely dissipative non-Hamiltonian field system self-organizes into finite discrete horizon-robust inertial phases",
    "Original wording": "\"We establish, by direct numerical validation under repeat and horizon stress, that a purely dissipative, non-Hamiltonian field system can self-organize...\"",
    "Problem": "Data/figures not shown in this file; claim points to validation done elsewhere without cross-reference",
    "Classification before repair": "Numerical Evidence (asserted, unshown)",
    "Repair applied": "Add explicit cross-reference to Appendix Z/GGG figures; downgrade 'establish' to 'is consistent with'",
    "Classification after repair": "Numerical Evidence (properly scoped)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix O (O.2)",
    "Claim": "Sustained bounded oscillation from pure dissipation is a qualitatively new organizing principle",
    "Original wording": "\"Such behavior is rare in the absence of Hamiltonian structure and represents a qualitatively new organizing principle.\"",
    "Problem": "No citation to existing dissipative-systems/limit-cycle literature (Van der Pol, Prigogine dissipative structures) that already shows this qualitative behavior",
    "Classification before repair": "Unproven comparative claim",
    "Repair applied": "Add citations; soften novelty claim to 'novel within this closure-functional framework' rather than 'qualitatively new' in general",
    "Classification after repair": "Heuristic / Physical Interpretation",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix O (O.6)",
    "Claim": "Finiteness of stable regimes is dynamically enforced, not assumed",
    "Original wording": "\"the system dynamics enforce...finiteness... The answer arises from robustness constraints, not philosophical postulates.\"",
    "Problem": "No derivation anywhere in file of why finiteness must hold",
    "Classification before repair": "Overstrong / unproven",
    "Repair applied": "Downgrade to 'observed to be finite in the parameter ranges scanned'",
    "Classification after repair": "Numerical Evidence (bounded scope)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix O (O.7-O.8)",
    "Claim": "Findings are proven / fully supported, not speculative",
    "Original wording": "\"What is proven in this appendix...\"; \"fully supported by validated data and does not rely on speculative interpretation\"",
    "Problem": "Word 'proven' used for numerical/empirical findings with zero in-file data",
    "Classification before repair": "Overstrong language",
    "Repair applied": "Replace 'proven' with 'exhibited/observed'",
    "Classification after repair": "Numerical Evidence",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix Q (Sec 'Gravity as phase')",
    "Claim": "Pi(gamma)=<<|L|>>/gamma >= Pi_crit is the fundamental gravity condition",
    "Original wording": "\"The simulations enforce one inequality, and only one: Pi(gamma)=<<|L|>>/gamma >= Pi_crit\"",
    "Problem": "'Ensemble-averaged' double-bracket notation <<|L|>> never defined (ensemble over what variable?); inconsistent with Ch.8's single-bracket time-average-only <|L|>",
    "Classification before repair": "Definition (incomplete)",
    "Repair applied": "Define 'ensemble' explicitly (over omega? repeats? ICs?) and reconcile notation with Ch.8",
    "Classification after repair": "Definition (pending completion)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix Q ('Gravity Is Discrete')",
    "Claim": "gamma_c ~ 0.03 is the critical dissipation extinction boundary",
    "Original wording": "\"gamma_c approx 0.03\"",
    "Problem": "Bare empirical number, no in-file citation, error bar, or convergence check",
    "Classification before repair": "Numerical Evidence (unsupported in-file)",
    "Repair applied": "Cross-reference to the actual validator run/figure that produced this number",
    "Classification after repair": "Numerical Evidence (needs citation)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix Q ('Minimum Phase Width')",
    "Claim": "Delta gamma_min ~ 0.004 is a dynamically enforced minimum stable-phase width",
    "Original wording": "\"width(I_i) >= Delta gamma_min approx 0.004... This enforces finiteness and robustness.\"",
    "Problem": "No resolution/convergence study rules out finer gamma-sampling revealing narrower additional windows; Appendix AA's grid-refinement study addresses spatial (Delta x) resolution only, not gamma-scan resolution",
    "Classification before repair": "Assumption presented as dynamical law",
    "Repair applied": "Add explicit gamma-scan convergence study (halve gamma step, check window count stable) before treating as enforced; else downgrade to Conjecture",
    "Classification after repair": "Conjecture (pending convergence study)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix Q ('Finite Number of Gravitational Universes')",
    "Claim": "N_gravity <= floor(gamma_c/Delta gamma_min) <= 7",
    "Original wording": "\"N_gravity <= floor(gamma_c/Delta gamma_min) <= 7... This finiteness is enforced by dynamics, not assumption.\"",
    "Problem": "Arithmetic (0.03/0.004=7.5, floor=7) is correct GIVEN the two empirical inputs, but those inputs are themselves unvalidated against scan-resolution artifacts (see row above); 'enforced by dynamics' overclaims",
    "Classification before repair": "Corollary conditional on an unproven Assumption",
    "Repair applied": "State explicitly as conditional: 'IF gamma_c and Delta gamma_min are resolution-independent, THEN N<=7'; run the resolution check",
    "Classification after repair": "Conditional Corollary (Conjecture-level input)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix Q ('Effective Acceleration')",
    "Claim": "g_eff(t)=rddot(t)=-grad Phi_eff(t), potential reconstructed never imposed",
    "Original wording": "\"The potential is reconstructed, never imposed.\"",
    "Problem": "Existence of scalar Phi_eff requires the acceleration field to be irrotational (curl-free); this condition is never checked or stated",
    "Classification before repair": "Unproven existence claim",
    "Repair applied": "Add explicit irrotationality check/hypothesis before asserting Phi_eff exists",
    "Classification after repair": "Assumption (irrotationality unverified)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix Q (Closing)",
    "Claim": "'You did not reinterpret gravity. You derived what gravity must be when it is allowed to emerge instead of being imposed.'",
    "Original wording": "\"You derived what gravity must be...\"",
    "Problem": "No derivation chain from C[Psi] to the stated criteria is shown; purely rhetorical closing",
    "Classification before repair": "Overstrong language",
    "Repair applied": "Replace with 'we propose a phase-based redefinition of gravity motivated by, and restricted to, this toy dissipative model'",
    "Classification after repair": "Physical Interpretation",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix R (Def. R.1)",
    "Claim": "Operational definition of 'signal'/coherent influence between regions",
    "Original wording": "\"A signal is said to propagate from region A to region B if a localized perturbation...produces a reproducible, phase-coherent response...\"",
    "Problem": "None -- well posed, matches actual emergent_causality.py implementation",
    "Classification before repair": "Definition",
    "Repair applied": "No repair needed",
    "Classification after repair": "Definition",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix R (R.4/Theorem R.1)",
    "Claim": "A finite maximum coherent-influence speed c_eff exists, derived from dissipation+coherence",
    "Original wording": "\"No faster propagation is dynamically admissible...''; boxed c_eff := sup{v: coherent influence survives horizon robustness} < infinity",
    "Problem": "Derivation is dimensional/heuristic (uses ~, <~), not a rigorous analytic bound from the PDE; finiteness of ell_coh is asserted not proven; labeled 'Theorem' with no proof beyond the heuristic argument",
    "Classification before repair": "Theorem (mislabeled)",
    "Repair applied": "Downgrade to 'Proposition R.1 (heuristic, numerically supported by emergent_causality.py, R^2=0.97-0.99)'",
    "Classification after repair": "Proposition / Numerical Evidence",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix R (R.6)",
    "Claim": "'No spacetime axioms are invoked' in deriving c_eff",
    "Original wording": "\"At no point in the derivation of c_eff is spacetime geometry invoked... no metric...\"",
    "Problem": "The derivation silently assumes a pre-existing Euclidean spatial metric/distance (the PDE lives on a grid with dx=1.0) to even define 'distance' and 'speed'; true only for Lorentzian/4-metric structure, not spatial metric",
    "Classification before repair": "Overclaim / hidden assumption",
    "Repair applied": "Add explicit caveat: 'an ordinary spatial (non-Lorentzian) metric is assumed as pre-existing background structure'",
    "Classification after repair": "Qualified claim",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix R (Theorem R.1 wording)",
    "Claim": "c_eff is 'observer-independent'",
    "Original wording": "\"there exists a finite, observer-independent maximum speed of coherent influence c_eff\"",
    "Problem": "'Observer'/'frame' is not defined until Appendix S (next file) -- forward reference / premature claim",
    "Classification before repair": "Logical ordering issue",
    "Repair applied": "Remove 'observer-independent' from R; state it only after Appendix S defines frames",
    "Classification after repair": "Deferred claim",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix S (Def. S.1)",
    "Claim": "Definition of 'frame' as a reparameterization of (r(t),t)",
    "Original wording": "\"A frame is a reparameterization of observational variables (r(t),t) under which dynamical phase classification, closure, and coherence diagnostics are evaluated.\"",
    "Problem": "Space of allowable reparametrizations never specified (all diffeomorphisms? linear maps only?) -- fatal vagueness for everything downstream",
    "Classification before repair": "Definition (incomplete)",
    "Repair applied": "Explicitly restrict to linear, homogeneous transformations (state as an added assumption)",
    "Classification after repair": "Definition (repaired, contingent on added assumption)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix S (G_adm boxes)",
    "Claim": "The admissible-frame group G_adm equals the Lorentz group L(c_eff)",
    "Original wording": "\"G_adm = {T: T preserves c_eff}\"; then \"G_adm = L(c_eff)\"",
    "Problem": "Zero derivation between the two boxes; 'preserves one scalar' is a much weaker condition than what singles out the Lorentz group specifically (needs linearity, isotropy, uniform-motion preservation, group/reciprocity property)",
    "Classification before repair": "Conjecture/Postulate presented as established fact",
    "Repair applied": "Add bridge lemmas L1-L4 (linearity, straightness-preservation, isotropy, group-theoretic closure argument) as explicit assumptions; without them, downgrade to Conjecture",
    "Classification after repair": "Conjecture (pending L1-L4)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix S (Theorem S.1)",
    "Claim": "Theorem: admissible frame transformations for closure dynamics are isomorphic to the Lorentz group",
    "Original wording": "\"Theorem S.1 (Emergent Relativity)...[QED, blacksquare]\"",
    "Problem": "NO PROOF TEXT of any kind appears between the theorem statement and the QED mark -- a completely empty 'proof'",
    "Classification before repair": "Fake/absent proof",
    "Repair applied": "Remove QED mark; relabel 'Conjecture S.1 (not proven here)'; supply L1-L4 or explicitly mark as an open problem",
    "Classification after repair": "Conjecture, unproven",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix S (S.8)",
    "Claim": "Framework reproduces relativity of simultaneity, time dilation, length contraction",
    "Original wording": "\"This framework reproduces all operational content of special relativity: ...relativity of simultaneity, time dilation and length contraction...\"",
    "Problem": "None of these three are derived, computed, or written symbolically anywhere in this appendix or Appendix R",
    "Classification before repair": "Unproven assertion list",
    "Repair applied": "Remove or explicitly mark as 'conjectured, not yet derived, pending L1-L4 and explicit formula derivation'",
    "Classification after repair": "Conjecture",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix T (Def. T.2)",
    "Claim": "Inertial saturation: v->c_eff implies d/dv <L> -> 0",
    "Original wording": "\"v -> c_eff => d/dv <|L|> -> 0\"",
    "Problem": "Presupposes <|L|> is a differentiable function of propagation speed v; no such function is ever constructed anywhere in the book (no dispersion relation)",
    "Classification before repair": "Definition referencing an undefined object",
    "Repair applied": "Construct <|L|>(v) (or an analogous coherence-storage functional) explicitly from the governing PDE, or flag as an unconstructed placeholder",
    "Classification after repair": "Definition (incomplete, undefined function)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix T (T.5)",
    "Claim": "Massless (coherence-saturated) excitations must exist",
    "Original wording": "\"Therefore, excitations exist that approach the coherence limit... They are necessarily massless. No additional structure is required.\"",
    "Problem": "Logical error: a supremum bound (v<=c_eff) does not imply any solution attains or approaches it; no explicit family of solutions v_n->c_eff is constructed",
    "Classification before repair": "Existence claim with invalid inference (logical jump)",
    "Repair applied": "Construct an explicit dispersion relation/solution family with v_n -> c_eff, or downgrade to Conjecture",
    "Classification after repair": "Conjecture (existence not shown)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix T (T.6)",
    "Claim": "Uniqueness of the speed of light follows immediately from the framework",
    "Original wording": "\"If two distinct saturation speeds existed, then two coherence maxima would exist. But dissipation enforces a unique coherence boundary.\"",
    "Problem": "Circular: assumes the conclusion (a single global coherence boundary) as the premise; does not rule out multiple distinct excitation channels with independent saturation speeds",
    "Classification before repair": "Circular argument",
    "Repair applied": "Replace with explicit argument (or concede as an Assumption) that all excitation channels share one coherence boundary",
    "Classification after repair": "Assumption (unproven uniqueness)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix T (T.8)",
    "Claim": "Photon identified with 'inertial excitation with v=c_eff'; quantization deferred as secondary",
    "Original wording": "\"photon equiv inertial excitation with v=c_eff... Quantization, where present, enters as a secondary statistical description.\"",
    "Problem": "Promise of quantization/mode structure is never fulfilled in Appendix II (ch.46) or EEE (ch.55) -- checked explicitly, see those entries",
    "Classification before repair": "Physical Interpretation (naming), promise unfulfilled downstream",
    "Repair applied": "State explicitly that no mode equation/dispersion/quantization condition currently exists in the manuscript for this object",
    "Classification after repair": "Physical Interpretation (naming only)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix U (Sec U.4)",
    "Claim": "Transverse acceleration of light in a gravitational field: a_perp = -grad_perp Lambda(x)",
    "Original wording": "\"a_perp = -grad_perp Lambda(x)... This equation is empirical\"",
    "Problem": "Dimensionally inconsistent: Lambda has units length^2/time (specific angular momentum per Q's own <|L|> formula); grad(Lambda) has units of velocity, not acceleration -- off by one power of time; no fit/data shown despite being labeled 'empirical'",
    "Classification before repair": "Mathematical error (dimensional inconsistency) + mislabeled as empirical",
    "Repair applied": "State Lambda's units explicitly; insert missing timescale factor or redefine Lambda with velocity^2 units; relabel as Postulate/analogy, not empirical",
    "Classification after repair": "Postulate (dimensionally repaired form needed)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix U (U.6)",
    "Claim": "Universality of lensing requires no equivalence-principle postulate",
    "Original wording": "\"This universality requires no equivalence principle postulate. It follows from inertial organization alone.\"",
    "Problem": "Hidden assumption: universal coupling of every excitation type to Lambda's gradient IS a restatement of the (weak) equivalence principle, not an avoidance of it",
    "Classification before repair": "Logical jump / hidden assumption",
    "Repair applied": "State explicitly that universal coupling is assumed (equivalent in content to the equivalence principle), not derived",
    "Classification after repair": "Assumption (equivalence principle re-imported)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix U (U.8)",
    "Claim": "Geodesic motion recovered as effective description in slowly-varying limit; no quantitative check against GR",
    "Original wording": "(no explicit boxed claim; narrative)",
    "Problem": "No numeric comparison to the known GR deflection angle (4GM/(c^2 b), ~1.75'' solar) is attempted anywhere",
    "Classification before repair": "Missing quantitative validation",
    "Repair applied": "Add an explicit order-of-magnitude or numeric comparison to the classical GR lensing prediction",
    "Classification after repair": "Open gap (no comparison given)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix V (Theorem V.1)",
    "Claim": "Coherently-influenced regions are contained in the cone defined by c_eff",
    "Original wording": "\"Theorem V.1 (Emergent causal cone)...Proof (robustness-based)...\"",
    "Problem": "Proof is valid but essentially unpacks the definition of c_eff as a supremum (low independent content); inherits Appendix R's heuristic (not rigorous-analytic) evidentiary basis",
    "Classification before repair": "Theorem (valid but low-content; relabel for consistency)",
    "Repair applied": "Rename 'Theorem V.1' -> 'Proposition V.1' for consistency with R's downgrade",
    "Classification after repair": "Proposition (valid, low content)",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix V (Corollary V.1)",
    "Claim": "Cone boundaries are invariant under admissible frame transformations",
    "Original wording": "\"If T in G_adm and T preserves c_eff, then T maps cone boundaries to cone boundaries\"",
    "Problem": "Valid ONLY IF Appendix S's G_adm=Lorentz-group claim holds, which was found unproven (Theorem S.1 has no proof)",
    "Classification before repair": "Corollary conditional on an unproven claim",
    "Repair applied": "Flag explicitly as 'Corollary, conditional on Conjecture S.1'",
    "Classification after repair": "Conditional Corollary",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix V (V.4)",
    "Claim": "Causal cone defined using distance d(A,B) on the computational manifold",
    "Original wording": "\"Euclidean distance...or, more generally, the metric distance on the computational manifold used to evaluate spatial gradients and fluxes\"",
    "Problem": "None -- this file candidly states the pre-existing spatial-metric assumption, unlike R/S",
    "Classification before repair": "Definition (honestly scoped)",
    "Repair applied": "Use this wording as the template patch for R.6 and S.2/S.6",
    "Classification after repair": "Definition",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix W (Def. W.1)",
    "Claim": "Time is the emergent ordering parameter of irreversible coherence-degrading updates",
    "Original wording": "\"t equiv monotone index of irreversible loss and reorganization of inertial coherence\"",
    "Problem": "Circular: all governing equations (Psi(t), dI/dt, PDEs) are already parameterized by an independent time variable t; cannot derive t from a rate taken with respect to t",
    "Classification before repair": "Circular Definition",
    "Repair applied": "Reframe as an arrow-of-time LABEL on a pre-existing time parameter (entropy-arrow analogy), not a derivation of time's existence",
    "Classification after repair": "Heuristic (arrow-of-time analogy)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix W (W.4)",
    "Claim": "dI/dt<0 iff physical time advances",
    "Original wording": "\"dI/dt < 0 <=> physical time advances\"",
    "Problem": "Directly contradicts Appendices O/Q, which define stable 'gravity'/inertial phases by PERSISTENT, OSCILLATORY (non-monotonically-decaying) <|L|>(t); by this criterion time would stop/reverse during exactly those celebrated phases",
    "Classification before repair": "Internal contradiction with Appendices O/Q",
    "Repair applied": "Redefine I(t) as a genuinely monotonic quantity (e.g. cumulative dissipated action) distinct from oscillating <|L|>(t), or restrict W.4 to the overdamped regime only",
    "Classification after repair": "Contradiction requiring repair (unresolved)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix W (W.6)",
    "Claim": "Zero dissipation implies no time (perfect coherence limit)",
    "Original wording": "\"No dissipation. No irreversible change. No ordering. => No time.\"",
    "Problem": "Contradicts ordinary mechanics: an ideal conservative (gamma=0) system, e.g. Kepler orbit, has perfectly well-defined time evolution; untested edge case (code likely singular at gamma=0 since tau_decay~1/gamma)",
    "Classification before repair": "Unverified / likely false edge-case claim",
    "Repair applied": "Test the gamma->0 limit numerically or restrict the claim to this model's specific dissipative regime only",
    "Classification after repair": "Untested Conjecture",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix W (W.8)",
    "Claim": "Relativistic time dilation is 'explained, not postulated' via dtau prop dt/I",
    "Original wording": "\"d tau prop dt/I... Relativistic Time Dilation (Explained, Not Postulated)\"",
    "Problem": "I(t)'s dependence on velocity or gravitational potential is never given; no recovery of the standard SR/GR dilation factors is attempted",
    "Classification before repair": "Mislabeled Postulate (heading claims derivation, is actually a bare untested proportionality)",
    "Repair applied": "Relabel heading 'A Conjectured Coherence-Dependence of Clock Rate (Postulated, Not Yet Derived)'; supply I(v)/I(Phi) functional forms or remove the 'explained' claim",
    "Classification after repair": "Postulate",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix X (throughout)",
    "Claim": "Empirical two-regime phase separation of <|L|> and Delta r vs gamma from real validated data",
    "Original wording": "\"the data separate into two clearly distinct regions...\"",
    "Problem": "None substantive; figures confirmed present on disk; appropriately scoped as descriptive-only",
    "Classification before repair": "Numerical Evidence (well supported)",
    "Repair applied": "None needed; optional: note that 'sharp' vs 'steep-but-continuous' transition cannot be fully distinguished without a dedicated gamma-resolution study",
    "Classification after repair": "Numerical Evidence",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix Y (throughout)",
    "Claim": "Observed regimes survive horizon extension (160k/320k/640k steps), not finite-time artifacts",
    "Original wording": "\"extending the simulation horizon does not induce numerical divergence... does not force a transition to collapse...\"",
    "Problem": "None; figures confirmed present on disk; properly hedged as absence-of-evidence not proof-of-impossibility",
    "Classification before repair": "Numerical Evidence (well supported)",
    "Repair applied": "None needed",
    "Classification after repair": "Numerical Evidence",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix Z (throughout)",
    "Claim": "95 independent simulation logs classified by explicit ORBIT criterion; stability fraction vs gamma reported",
    "Original wording": "\"In total, the validator processed 95 independent simulation logs.\"",
    "Problem": "None substantive; minor: 'no additional stable regimes detected outside reported range' could note explicitly this is bounded to explored gamma range",
    "Classification before repair": "Numerical Evidence (well supported)",
    "Repair applied": "Minor wording clarification only",
    "Classification after repair": "Numerical Evidence",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix AA (Dimensionless Controls)",
    "Claim": "Pi_gamma, Pi_mu, Pi_s dimensionless groups control numerical vs. dynamical separation",
    "Original wording": "\"Pi_gamma := gamma * Delta t... Pi_mu := mu * Delta x... Pi_s := Delta t/Delta x^2 (diagnostic)\"",
    "Problem": "None; standard, well-hedged numerical-analysis practice; figures confirmed present on disk",
    "Classification before repair": "Methodology / Numerical Evidence",
    "Repair applied": "None needed",
    "Classification after repair": "Methodology",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix AA (Continuous Closure Metric)",
    "Claim": "M in [0,1] as a continuous re-expression of the binary ORBIT/COLLAPSE classifier",
    "Original wording": "\"M := (1/T) int_0^T 1(|L(t)|>L_crit) * 1(non-monotonic radial motion at t) dt\"",
    "Problem": "None; well-formed, dimensionally sound, explicitly non-overclaiming",
    "Classification before repair": "Definition",
    "Repair applied": "None needed",
    "Classification after repair": "Definition",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix AA (gap re: Appendix Q)",
    "Claim": "Grid-refinement study does not test gamma-scan resolution behind Delta gamma_min",
    "Original wording": "(implicit -- no such subsection exists in this file)",
    "Problem": "Appendix Q's N_gravity<=7 claim depends on Delta gamma_min being resolution-independent; AA only tests spatial (Delta x) refinement, not gamma-step refinement",
    "Classification before repair": "Missing companion check",
    "Repair applied": "Add explicit 'gamma-scan resolution convergence' subsection",
    "Classification after repair": "Open gap",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix BB (BB.4-BB.7)",
    "Claim": "Domain mass M_D, center of mass r_D, angular momentum L_D, history state Psi_D, closure C_D are well-defined continuum generalizations of Ch.8 objects",
    "Original wording": "\"M_D(t) = int_D rho dx...\"; \"L_D(t) = int_D rho (x-r_D) x v dx...\"",
    "Problem": "L_crit's functional form F(...) is never given anywhere in the book (inherited Ch.8 gap), so C_D[Psi]=1 is not operationally computable as stated",
    "Classification before repair": "Definition (logically coherent, operationally incomplete)",
    "Repair applied": "Supply or cite F's functional form, or explicitly flag Mass_D as a conditional/non-computable definition pending it",
    "Classification after repair": "Definition (flagged incomplete)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix BB (BB.9 item 1)",
    "Claim": "'Energy without mass' is forbidden in classical and relativistic physics",
    "Original wording": "\"energy without mass... All are forbidden in classical and relativistic physics.\"",
    "Problem": "FALSE: photons (E=pc, m=0) are the standard SR counterexample; energy without rest mass is textbook physics",
    "Classification before repair": "Factual/physics error",
    "Repair applied": "Remove this item from the list, or restrict the claim (e.g. to 'energy without ANY closure-supporting structure') and cite SR massless-particle energy explicitly",
    "Classification after repair": "Corrected claim (item removed/restricted)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix BB (BB.9 item 2)",
    "Claim": "'Mass with zero weight' is forbidden in classical and relativistic physics",
    "Original wording": "\"mass with zero weight... All are forbidden in classical and relativistic physics.\"",
    "Problem": "FALSE: an object far from any gravitating body (or in free fall) has essentially zero weight with nonzero mass in ordinary Newtonian mechanics -- textbook weightlessness",
    "Classification before repair": "Factual/physics error",
    "Repair applied": "Remove this item or restrict the claim; cite Newtonian free-fall/deep-space weightlessness explicitly",
    "Classification after repair": "Corrected claim (item removed/restricted)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix BB (BB.11)",
    "Claim": "'Mass is what survives history' -- summary identification of the constructed quantity with real physical mass",
    "Original wording": "\"Mass is not what resists acceleration. Mass is what survives history.\"",
    "Problem": "Zero quantitative connection anywhere in the appendix to any real particle mass (e.g. electron 9.109e-31 kg) or real physical system; entirely a toy-model formal construction",
    "Classification before repair": "Physical Interpretation presented without qualification",
    "Repair applied": "Explicitly label as Physical Interpretation / proposed alternative definition, not an empirical finding about real mass",
    "Classification after repair": "Physical Interpretation (labeled)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix CC (CC.5)",
    "Claim": "Weight requires an externally-generated closure potential Phi_E distinct from the object's self-field Phi_D",
    "Original wording": "\"Weight can only exist if the closure sustaining Phi is not generated solely by D.\"",
    "Problem": "The Phi = Phi_D + Phi_E decomposition is asserted, never formally justified from BB.3's screened-Poisson equation",
    "Classification before repair": "Assumption presented without derivation",
    "Repair applied": "Add a linearity-based Lemma (screened-Poisson operator is linear, so sources split additively given matching BCs) to formally license the decomposition",
    "Classification after repair": "Assumption (now supportable by a drafted Lemma)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix CC (CC.8)",
    "Claim": "Theorem: weight exists iff M_D!=0, C_D[Psi]=1, grad Phi_E != 0, Phi_E not generated exclusively by D",
    "Original wording": "\"Theorem (Existence of Weight)...\"",
    "Problem": "The formula for W_D (CC.5) makes no reference to C_D at all -- nothing forces W_D=0 when C_D=0; conditions 3 and 4 are also redundant as stated",
    "Classification before repair": "Theorem containing an unproven/disconnected condition",
    "Repair applied": "Redefine W_D to explicitly include a C_D factor (W_D := C_D * integral...), or drop condition 2 from the theorem and supply the missing argument",
    "Classification after repair": "Proposition (repaired definition needed)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix CC (CC.10)",
    "Claim": "||W_D||/M_D = <||grad Phi_E||>_D",
    "Original wording": "\"the ratio ||W_D||/M_D = <||grad Phi_E||>_D\"",
    "Problem": "Mathematical error: by the triangle inequality for vector integrals, only '<=' holds in general; equality requires grad Phi_E to have constant direction across D (unstated hypothesis)",
    "Classification before repair": "Mathematical error (vector calculus)",
    "Repair applied": "Replace '=' with '<=', or explicitly add the uniform-direction hypothesis needed for equality",
    "Classification after repair": "Corrected inequality (or qualified equality)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix CC (CC.12)",
    "Claim": "Global closure failure of the universe implies accelerating expansion, driving weight to zero",
    "Original wording": "\"C_universe[Psi]=0 => Rddot(t)>0... W_D -> 0 as t-> infinity\"",
    "Problem": "Bare unproven assertion, apparently imported from a different appendix (main-text Appendix K, Dark Energy) outside this audit's file set; not re-derived here",
    "Classification before repair": "Unsupported imported Postulate",
    "Repair applied": "Cite the source appendix explicitly and mark as an imported, not re-derived, assumption",
    "Classification after repair": "Postulate (cross-referenced)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix CC (CC.13)",
    "Claim": "Classical limit (mu->0, gamma->0, C_universe->1) recovers Newtonian weight W_D ~ M_D g",
    "Original wording": "\"equation (CC.5) reduces to W_D approx M_D g\"",
    "Problem": "Silently requires grad Phi_E to be approximately uniform across the (small) domain D -- the same missing hypothesis as CC.10, never stated",
    "Classification before repair": "Incomplete derivation (missing hypothesis)",
    "Repair applied": "State explicitly the near-field/slowly-varying-field approximation required for this reduction",
    "Classification after repair": "Proposition (repaired, hypothesis stated)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix DD (DD.5)",
    "Claim": "C_D[Psi]=0 implies F_D=0",
    "Original wording": "\"C_D[Psi]=0 => F_D=0\"",
    "Problem": "F_D's formula (DD.3) makes no reference to C_D; nothing forces this implication",
    "Classification before repair": "Unproven implication",
    "Repair applied": "Redefine F_D to include an explicit C_D factor, or supply the missing argument",
    "Classification after repair": "Assumption (pending redefinition)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix DD (DD.7)",
    "Claim": "Newton's third law fails: F_{D1->D2}+F_{D2->D1}!=0",
    "Original wording": "\"Newton's third law is not generally valid.\"",
    "Problem": "F_{D1->D2} is never defined anywhere in the appendix; given a linear, symmetric-kernel potential equation, reciprocity would plausibly hold absent a shown mechanism to break it",
    "Classification before repair": "Unproven / likely incorrect claim",
    "Repair applied": "Define F_{D1->D2} explicitly (e.g. via the linear superposition of Appendix CC) and check reciprocity directly",
    "Classification after repair": "Conjecture (undefined term)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix DD (DD.6)",
    "Claim": "F_D = d/dt int rho*v dx + int gamma*rho*v dx",
    "Original wording": "\"F_D = d/dt int_D rho v dx + int_D gamma rho v dx\"",
    "Problem": "Direct computation via continuity + eq. of motion gives F_D = d/dt int rho v dx + int v*div(rho v) dx (an advective term), not the gamma term claimed",
    "Classification before repair": "Probable computational/derivation error",
    "Repair applied": "Show the missing algebra or correct the claimed identity",
    "Classification after repair": "Needs re-derivation",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix HH (H.2)",
    "Claim": "Local closure functional formula for matter",
    "Original wording": "\"C_D[Psi] = 1{(1/T) int [int_D rho(x x v) dx] dt > L_crit}\"",
    "Problem": "No absolute value/norm taken before time-averaging (unlike Ch.8's magnitude-then-average convention); comparing a resulting vector to scalar L_crit via '>' is ill-typed as written",
    "Classification before repair": "Definition (ill-typed / inconsistent with Ch.8)",
    "Repair applied": "Insert |.| consistent with Ch.8's ⟨|L_D|⟩_T convention, or justify the departure explicitly",
    "Classification after repair": "Definition (repair needed)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix HH (H.4-H.5)",
    "Claim": "Matter without pressure/heat because sigma_C~=0",
    "Original wording": "\"Since sigma_C~=0, no pressure term arises.\"",
    "Problem": "Pressure/temperature are never independently defined within this framework; their 'absence' is asserted rather than shown given no such observable exists to compare against",
    "Classification before repair": "Unsupported / undefined-observable claim",
    "Repair applied": "Construct actual pressure/temperature analogs (e.g. via a stress tensor from the underlying PDE) or relabel as 'not yet defined here'",
    "Classification after repair": "Physical Interpretation (unsupported)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix II (II.5)",
    "Claim": "Photon polarization / electron spin identified with circulation integral S_D",
    "Original wording": "\"Photon polarization: open circulation with C_D=0. Electron spin: closed circulation with C_D=1. No intrinsic quantum postulate is required.\"",
    "Problem": "No quantization, SU(2)/spinor structure, or fermion/boson statistics is derived; 'spin'/'polarization' applied to a classical integral by naming only",
    "Classification before repair": "Physical Interpretation / bare analogy, no supporting mathematics",
    "Repair applied": "Construct an actual mode/quantization structure before using quantum vocabulary, or explicitly relabel as naming-only",
    "Classification after repair": "Physical Interpretation (relabeled)",
    "Remaining risk": "VERY HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix II (II.6)",
    "Claim": "Emergent mass m_eff proportional to spacetime integral of |J|",
    "Original wording": "\"m_eff prop int_0^T int_D |J| dx dt if and only if C_D[Psi]=1\"",
    "Problem": "Dimensionally not a mass (extra length dimension) and incompatible with Appendix BB's M_D=int rho dx for the same concept 'mass', unreconciled",
    "Classification before repair": "Definition inconsistent with another appendix's definition of the same quantity",
    "Repair applied": "Reconcile m_eff with M_D or rename to avoid conflation; fix dimensional analysis",
    "Classification after repair": "Definition (needs reconciliation)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix MM ch.47 (MM.1)",
    "Claim": "chi_C := functional derivative of (⟨|L|⟩-L_crit) with respect to Psi",
    "Original wording": "\"chi_C(t) equiv delta/delta-Psi (⟨|L|⟩-L_crit[Psi_history])\"",
    "Problem": "Psi is a heterogeneous tuple; the perturbation space/topology for the functional derivative is never specified",
    "Classification before repair": "Definition (ill-defined as stated)",
    "Repair applied": "Specify the perturbation direction/function space explicitly (Gateaux/Frechet sense)",
    "Classification after repair": "Definition (repair needed)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix MM ch.47 (MM.2)",
    "Claim": "gamma-derivative of ⟨|L|⟩ equals -(1/T) int t|L(t)|dt",
    "Original wording": "\"d⟨|L|⟩/d gamma = -(1/T) int_0^T t |L(t)| dt < 0\"",
    "Problem": "Structurally matches differentiating an UNSTATED exponential-envelope ansatz L(t;gamma)~L(t;0)e^{-gamma t} at gamma=0; this ansatz is never declared",
    "Classification before repair": "Hidden assumption (unstated linearization)",
    "Repair applied": "State the exponential-envelope ansatz explicitly and its validity regime (small gamma)",
    "Classification after repair": "Proposition (conditional on stated ansatz)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix JKL (JKL.4)",
    "Claim": "Theorem: Pauli exclusion from closure topology (combined circulation exceeding L_crit forces closure failure)",
    "Original wording": "\"If...L_{D1 cup D2} > L_crit[Psi_history], then C_{D1 cup D2}[Psi]=0.\"",
    "Problem": "Directly contradicts the sign convention of the book's own C[Psi]=Theta(⟨L⟩-L_crit) (exceeding L_crit gives C=1 everywhere else in the book), with no justification for the apparent inversion",
    "Classification before repair": "Mathematical/logical error (self-contradictory with the manuscript's own definitions)",
    "Repair applied": "Either justify an explicit upper-saturation convention for composite domains, or correct the sign",
    "Classification after repair": "Conjecture (self-contradiction unresolved)",
    "Remaining risk": "VERY HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix JKL (JKL.5)",
    "Claim": "Measurement probability P proportional to 1/chi_C",
    "Original wording": "\"P prop 1/chi_C\"",
    "Problem": "Bare, unnormalized proportionality; zero connection to the Born rule; chi_C itself ill-defined (see Appendix MM)",
    "Classification before repair": "Wholly unsupported Postulate",
    "Repair applied": "Derive an actual normalized probability measure or explicitly relabel as speculative Conjecture",
    "Classification after repair": "Conjecture",
    "Remaining risk": "VERY HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix JKL (JKL.6)",
    "Claim": "Definition of measurement: chi_C->infinity implies C_D in {0,1}",
    "Original wording": "\"chi_C -> infinity => C_D[Psi] in {0,1}.\"",
    "Problem": "C_D is already unconditionally valued in {0,1} by its own JKL.1 definition, making this implication logically vacuous as stated",
    "Classification before repair": "Vacuous Definition",
    "Repair applied": "Give 'indeterminate/undecided C_D' a precise meaning (e.g. via a limiting sequence) before this Definition is non-vacuous",
    "Classification after repair": "Definition (needs repair)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix ZZ (ZZ.10)",
    "Claim": "Delta r defined as std[d(t)]/⟨d(t)⟩ in the book's own equation index",
    "Original wording": "\"Delta r = std[d(t)]/⟨d(t)⟩\"",
    "Problem": "Does not match Appendix Q's and Appendix X's Delta r_osc := max(r)-min(r) for what is presented as the same diagnostic",
    "Classification before repair": "Cross-appendix notational inconsistency",
    "Repair applied": "Regenerate ZZ.10 to match Q/X's usage, or explicitly distinguish two named diagnostics",
    "Classification after repair": "Definition (needs reconciliation)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Manifesto (embedded 'Appendix MM.3')",
    "Claim": "Time dilation formula dtau'/dtau = sqrt(1-|v|^2/c_eff^2)",
    "Original wording": "\"Result. d tau'/d tau = sqrt(1-|v|^2/c_eff^2)\"",
    "Problem": "Presented as a 'Result' of 'closure equivalence' with zero intervening derivation; this is the standard SR Lorentz factor with c->c_eff substituted",
    "Classification before repair": "Imported standard-physics result presented as derived",
    "Repair applied": "Explicitly label as an imported/motivated formula pending an actual derivation from the closure framework",
    "Classification after repair": "Postulate (imported, not derived)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Manifesto ('Main Theorem')",
    "Claim": "Theorem (Closure Selection Principle): Physics equiv {Psi | D=0 and C[Psi] in {0,1}}",
    "Original wording": "\"Theorem (Closure Selection Principle)...[QED, square]\"",
    "Problem": "C[Psi] is unconditionally valued in {0,1} by its own definition, making the boxed claim vacuous; QED mark on essentially empty content",
    "Classification before repair": "Vacuous 'Theorem' with an inappropriate proof-closing mark",
    "Repair applied": "Remove the QED mark; state only the non-vacuous content (D=0, the dynamics holding)",
    "Classification after repair": "Definition (vacuous clause removed)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Manifesto (embedded 'Appendix NN.5')",
    "Claim": "Renormalization reinterpreted as closure regularization",
    "Original wording": "\"Divergences correspond to chi_C -> infinity. Renormalization restores finite closure susceptibility.\"",
    "Problem": "Zero connection to actual renormalization machinery (regulators, counterterms, beta functions, RG flow)",
    "Classification before repair": "Bare verbal analogy, no supporting mathematics",
    "Repair applied": "Either construct the analogous machinery or explicitly label as a naming analogy only",
    "Classification after repair": "Physical Interpretation (relabeled)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix AAA (B.1)",
    "Claim": "C_D[Psi]=1 implies pointwise divergence-free flux (∇.J~=0)",
    "Original wording": "\"C_D[Psi]=1 => nabla.J(x,t) ~ 0 for x in D.\"",
    "Problem": "C_D=1 really only supports roughly-constant NET boundary flux (via mass conservation), not pointwise-zero divergence inside D; an additional incompressibility/steadiness assumption is needed",
    "Classification before repair": "Hidden assumption (logical gap)",
    "Repair applied": "State the additional incompressibility/steadiness hypothesis explicitly",
    "Classification after repair": "Assumption (now stated)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix AAA (B.5, vs A.6)",
    "Claim": "Magnetic moment mu = alpha*L with alpha=1/2 exactly (B) vs alpha depends on geometry (A)",
    "Original wording": "\"alpha equiv 1/2\" (B.5) vs. \"alpha depends only on the internal closure geometry\" (A.6)",
    "Problem": "The two drafts embedded in the same file disagree; B's exact alpha=1/2 is correct given the definitions (mu and L are literally the same integral up to a factor), A's hedge is incorrect/unnecessary",
    "Classification before repair": "Internal inconsistency between two drafts",
    "Repair applied": "Delete or correct the earlier 'A' draft's claim to match B's exact result",
    "Classification after repair": "Corrected (B's version retained)",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix AAA (B.6)",
    "Claim": "F_mag = kappa * (v x B) is the unique force satisfying the no-work condition",
    "Original wording": "\"The unique rotationally invariant force law linear in v and B satisfying [F.v=0] is F_mag=kappa*v x B.\"",
    "Problem": "Uniqueness is asserted, not shown, though it IS provable via representation theory (bilinear rotationally-covariant maps decompose into a spin-2 part with no vector output and a spin-1 part isomorphic to v x B)",
    "Classification before repair": "Correct claim, unproven in-text",
    "Repair applied": "Supply the representation-theory uniqueness argument (drafted as a Lemma in the supplement)",
    "Classification after repair": "Proposition (now provable, Lemma supplied)",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix AAA (B.7)",
    "Claim": "Ampere-type relation: curl(B) approx lambda * J_eff",
    "Original wording": "\"nabla x B approx lambda J_eff\"",
    "Problem": "J_eff is defined to literally equal A (the vector potential); '-nabla^2 A prop to A' requires an unstated Helmholtz/eigenmode assumption not derivable from the curl-curl identity alone",
    "Classification before repair": "Hidden assumption (unjustified extra step)",
    "Repair applied": "State and justify the Helmholtz-type equation needed for A, or relabel the relation as a postulated analogy",
    "Classification after repair": "Postulate (assumption needed)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix BBB (BBB.1)",
    "Claim": "Core prediction: magnetic memory persists after an ultrafast quench of J",
    "Original wording": "\"exists Delta t_mem>0: J(t)~0 => B(t)!=0 for t in (t0,t0+Delta t_mem)\"",
    "Problem": "None -- matches the actual magnetic_memory.py implementation; well-specified and falsifiable, though tau_mem/alpha/p remain fit parameters, not first-principles numbers",
    "Classification before repair": "Definition/Prediction, well-supported",
    "Repair applied": "Engage with existing ultrafast-demagnetization literature (e.g. Beaurepaire et al. 1996) to sharpen the 'conventional expectation' comparison",
    "Classification after repair": "Numerical Evidence (well-scoped)",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix CCC (CCC.4)",
    "Claim": "E field 'follows uniquely' from inertial retardation and historical dependence",
    "Original wording": "\"This is not a postulate. It follows uniquely from inertial retardation and historical dependence.\"",
    "Problem": "No uniqueness argument or derivation is given for this specific ansatz",
    "Classification before repair": "Overclaimed Postulate",
    "Repair applied": "Relabel as a postulated retarded-field ansatz; no uniqueness proof given",
    "Classification after repair": "Postulate",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix CCC (CCC.5)",
    "Claim": "Gauss law without charge: nabla.E = (1/eps_eff)(-nabla. int K_E J dtau)",
    "Original wording": "\"nabla.E = (1/eps_eff)(-nabla. int_0^t K_E J dtau)\"",
    "Problem": "Substituting the screened-Poisson equation into the stated divergence expression leaves several terms (bare rho, mu^2*Phi contributions) unaccounted for; the clean boxed result does not obviously follow",
    "Classification before repair": "Probable derivation gap",
    "Repair applied": "Supply the missing intermediate algebra or correct the claimed identity",
    "Classification after repair": "Needs re-derivation",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix CCC (CCC.9 vs CCC.4)",
    "Claim": "Faraday's law derived using E=-∂tA, inconsistent with CCC.4's E=-∇Phi-based definition",
    "Original wording": "\"Using E=-∂t A yields directly nabla x E = -∂t B\"",
    "Problem": "Two different, unreconciled definitions of E appear in the same short appendix (CCC.4's Phi-based E vs CCC.9's A-based E)",
    "Classification before repair": "Internal inconsistency",
    "Repair applied": "Unify into the standard E=-∇Phi-∂tA potential decomposition explicitly",
    "Classification after repair": "Needs reconciliation",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix DDD (DDD.4)",
    "Claim": "Ampere-Maxwell-type relation: ∂tE = c_eff^2 * curl(B) - gamma_E*E",
    "Original wording": "\"∂tE = c_eff^2 nabla x B - gamma_E E\"",
    "Problem": "The shown substitution chain (involving only rho,Phi,J,gamma) never produces a curl(B) term; the result appears to be a non-sequitur / written by analogy rather than derived",
    "Classification before repair": "Apparent non-sequitur (unsupported central result)",
    "Repair applied": "Supply the actual missing derivation steps connecting to curl(B), or relabel as a postulated Maxwell-Ampere-type analogy",
    "Classification after repair": "Postulate (relabeled)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix EEE (EEE.5)",
    "Claim": "Quantization condition: total rotational-memory integral over one cycle = n*L_min, giving omega_n=n*omega_0",
    "Original wording": "\"int int x x J d^3x dt = n L_min...omega_n = n omega_0\"",
    "Problem": "No calculation shown of how the integral depends on omega/k for the given plane-wave mode; the quantization step is asserted by analogy, not derived",
    "Classification before repair": "Postulate presented as a derived 'condition'",
    "Repair applied": "Compute the integral explicitly as a function of omega/k for the EEE.5 mode, or relabel as Conjecture",
    "Classification after repair": "Conjecture",
    "Remaining risk": "VERY HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix EEE (EEE.6)",
    "Claim": "Energy-frequency relation E_n = n*hbar_eff*omega",
    "Original wording": "\"E_n = n hbar_eff omega\"",
    "Problem": "The field-energy integral (imported from standard EM) is never actually computed for the given mode and shown to equal n*omega; this is simply the real Planck relation relabeled",
    "Classification before repair": "Imported standard-physics result presented as derived",
    "Repair applied": "Show the actual energy computation for the mode, or relabel as an analogy to the Planck relation",
    "Classification after repair": "Postulate (relabeled)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix EEE (EEE.9)",
    "Claim": "Spectral lines are deterministic resonance conditions, not probabilistic transitions",
    "Original wording": "\"Spectral lines are therefore resonance conditions of closure, not probabilistic transitions.\"",
    "Problem": "Directly contradicts a century of precisely measured spontaneous-emission/decay statistics (exponential decay, half-lives, photon-counting statistics)",
    "Classification before repair": "Overreach contradicting established experimental physics",
    "Repair applied": "Remove or substantially qualify; engage with the existing evidence for probabilistic decay",
    "Classification after repair": "Needs retraction or major qualification",
    "Remaining risk": "VERY HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix FFF (FFF.6)",
    "Claim": "c_eff = sqrt(rho/mu) as the wave speed used for falsifiability predictions",
    "Original wording": "\"c_eff = sqrt(rho/mu)\"",
    "Problem": "Conflicts with Appendix R's own gamma/mu dimensional motivation for the same constant c_eff, unreconciled anywhere",
    "Classification before repair": "Cross-appendix formula inconsistency",
    "Repair applied": "Reconcile the two formulas or state explicitly they are different approximations valid in different regimes",
    "Classification after repair": "Needs reconciliation",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix FFF (FFF.8)",
    "Claim": "Deterministic origin of Born rule: P(x) prop |E(x)|^2, falsifiable via field reshaping",
    "Original wording": "\"If probabilities remain invariant under controlled field reshaping, the closure mechanism is incomplete.\"",
    "Problem": "This is simply the standard Born-rule-equivalent result already used in ordinary optics/QM; it does not distinguish the model from standard quantum mechanics as a falsification test",
    "Classification before repair": "Non-discriminating 'prediction'",
    "Repair applied": "Remove or rework so the test actually distinguishes the closure model from standard QM",
    "Classification after repair": "Needs rework",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix GGG (GGG.3/GGG.5)",
    "Claim": "Allowed validator status labels are {ORBIT, NON-CLOSURE, OVERDAMPED, UNSTABLE}",
    "Original wording": "\"The allowed status labels are: {ORBIT, NON-CLOSURE, OVERDAMPED, UNSTABLE}.\"",
    "Problem": "Direct inspection of the real orbit_runs.csv shows only {ORBIT, COLLAPSE} actually occur; verified via file read",
    "Classification before repair": "Factual error (checked against real data file)",
    "Repair applied": "Correct the label list to match the actual data: {ORBIT, COLLAPSE}",
    "Classification after repair": "Corrected",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix HHH (HHH.6)",
    "Claim": "tau_cl scales as (gamma_crit-gamma)^-1 near the critical point",
    "Original wording": "\"tau_cl ~ (gamma_crit - gamma)^-1\"",
    "Problem": "No regression fit, R^2, or uncertainty is reported anywhere for this specific exponent claim",
    "Classification before repair": "Unevidenced quantitative Conjecture",
    "Repair applied": "Report an actual log-log regression fit with uncertainty before asserting an exact exponent",
    "Classification after repair": "Conjecture (pending fit)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix III (III.3)",
    "Claim": "Closure strength constant C_* = gamma_crit*tau_cl is O(1)",
    "Original wording": "\"C_* is found to be O(1) across all validated runs\"",
    "Problem": "Appendix HHH claims tau_cl diverges as gamma->gamma_crit; the appendix never states at what gamma tau_cl is evaluated when constructing C_*, creating a possible inconsistency",
    "Classification before repair": "Ambiguity / possible inconsistency",
    "Repair applied": "State explicitly the reference gamma value used to evaluate tau_cl in C_*'s construction",
    "Classification after repair": "Needs clarification",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix III (III.6)",
    "Claim": "The three closure constants are algebraically independent and form a complete basis",
    "Original wording": "\"No constant can be eliminated in favor of the others without loss of information.\"",
    "Problem": "Asserted with zero supporting proof or argument",
    "Classification before repair": "Unproven completeness/independence claim",
    "Repair applied": "Supply a short proof (e.g. show the map to (gamma_crit,L_crit,tau_cl) is invertible) or downgrade the claim",
    "Classification after repair": "Conjecture (pending proof)",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix JJJ (JJJ.5.2)",
    "Claim": "Order parameter scaling exponent beta is a 'universal critical exponent'",
    "Original wording": "\"beta>0 is a universal critical exponent...independent of initial conditions, stable across numerical schemes\"",
    "Problem": "No numeric value, fit, or uncertainty reported anywhere in this file; 'universal' borrows precise statistical-mechanics vocabulary without supporting cross-model evidence",
    "Classification before repair": "Unevidenced quantitative Conjecture with overreaching terminology",
    "Repair applied": "Report an actual fitted beta with uncertainty; restrict 'universal' language pending cross-model tests",
    "Classification after repair": "Conjecture (pending evidence)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix JJJ (JJJ.6)",
    "Claim": "Existence transition is universal, independent of spatial dimension, potential, angular bias",
    "Original wording": "\"Existence is therefore a universal dynamical phase, not a model-specific phenomenon.\"",
    "Problem": "Zero cross-model numerical evidence anywhere in the manuscript (only one 2D toy PDE model has been studied); 'universality' is the single most technically loaded term in critical-phenomena physics",
    "Classification before repair": "Major unsupported overreach",
    "Repair applied": "Supply cross-model (dimension/potential/anisotropy) numerical evidence, or explicitly restrict the claim to this one model family",
    "Classification after repair": "Needs major softening or evidence",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix OOO (OOO.5)",
    "Claim": "L_min = hbar (identification of closure-quantization minimum with Planck's constant)",
    "Original wording": "\"L_min = hbar... This identification is not definitional, but operational... No other value supports stable existence.\"",
    "Problem": "Dimensionally meaningless without an explicit unit-conversion/calibration procedure (none given here); directly contradicts Appendix III's explicit warning against premature identification of these constants with real physical constants",
    "Classification before repair": "Mathematical/logical error of the highest severity in this audit; self-contradicts the manuscript's own stated methodology",
    "Repair applied": "Remove the identification here; defer to an explicit, justified calibration procedure (as later actually attempted, and shown to fail, in Appendix PPP)",
    "Classification after repair": "Corrected / removed pending Appendix PPP's honest calibration",
    "Remaining risk": "VERY HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix KKK (KKK.4)",
    "Claim": "CFL numerical stability condition implies a physical upper bound on c_eff",
    "Original wording": "\"stability requires c_eff <~ Delta x/Delta t.\"",
    "Problem": "Conflates a numerical-discretization-scheme artifact (CFL, a property of the chosen integrator) with a physical law; any physical speed can be numerically accommodated by shrinking Delta t",
    "Classification before repair": "Conceptual error (numerical-methods/physics conflation)",
    "Repair applied": "Remove or rework; re-derive any genuine physical bound from the continuum PDE's own stability/dispersion properties, not the discretized scheme",
    "Classification after repair": "Needs major correction",
    "Remaining risk": "VERY HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix LLL (LLL.3)",
    "Claim": "Superluminal propagation makes the memory integral ill-defined",
    "Original wording": "\"the integral becomes ill-defined, temporal ordering is lost\"",
    "Problem": "An ordinary time-domain convolution is mathematically well-defined regardless of assumed propagation speed elsewhere; the argument presupposes the causal bound it claims to derive",
    "Classification before repair": "Circular/unsubstantiated argument",
    "Repair applied": "Supply an actual mechanism, or acknowledge this restates rather than derives the causal bound",
    "Classification after repair": "Heuristic (restated, not derived)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix MMM (MMM.2)",
    "Claim": "Kinematic admissibility domain must be preserved by 'any transformation between observers'",
    "Original wording": "\"Any transformation between observers must preserve this domain in order to maintain closure.\"",
    "Problem": "The space of 'transformations' under consideration is never specified (linear? affine? diffeomorphisms?) -- fatal vagueness for the entire chapter, identical gap to Appendix S.1",
    "Classification before repair": "Definition (fatally incomplete)",
    "Repair applied": "Explicitly restrict to linear, homogeneous transformations (state as an added assumption, per the drafted Lemma L1)",
    "Classification after repair": "Definition (repaired via added assumption)",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix MMM (MMM.3-4)",
    "Claim": "Frame-independence of c_eff forces rejection of Galilean transformations",
    "Original wording": "\"Any admissible transformation...must preserve the maximal propagation speed... This condition uniquely fixes the transformation group.\"",
    "Problem": "This IMPORTS Einstein's second postulate (invariance of the speed bound across all frames) as an unstated assumption; the closure vocabulary does no independent logical work here",
    "Classification before repair": "Standard-physics result imported, not derived (the master brief's central diagnostic target)",
    "Repair applied": "State the frame-independence of c_eff as an explicit added postulate, not a consequence of closure dynamics",
    "Classification after repair": "Postulate (now stated explicitly)",
    "Remaining risk": "VERY HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix MMM (MMM.5)",
    "Claim": "Minimal closure unit hbar implies phase-space volume cannot be arbitrarily compressed",
    "Original wording": "\"The existence of a minimal closure unit L_min=hbar implies that phase-space volume elements cannot be arbitrarily compressed.\"",
    "Problem": "Imports Liouville's-theorem/symplectic-volume language with no phase space, canonical coordinates, or symplectic structure ever defined in this framework; also inherits Appendix OOO's broken L_min=hbar premise",
    "Classification before repair": "Unconnected import of unrelated real-physics machinery",
    "Repair applied": "Remove, or construct an actual phase-space/symplectic structure for the closure framework before invoking this language",
    "Classification after repair": "Needs removal or major reconstruction",
    "Remaining risk": "HIGH"
  },
  {
    "Book": "B2",
    "Section": "Appendix MMM (MMM.6)",
    "Claim": "The unique transformation group preserving c_eff, hbar, and closure admissibility is the Lorentz group",
    "Original wording": "\"The unique class of transformations that [3 conditions]...are the Lorentz transformations...No alternative transformation group satisfies all three constraints.\"",
    "Problem": "The CENTRAL CLAIMED RESULT of the appendix titled 'Lorentz Invariance from Closure,' stated with absolutely no supporting derivation anywhere -- no transformation formula, no group-axiom check, less mathematical content than even Appendix S's inadequate attempt",
    "Classification before repair": "Bare assertion of the conclusion; the least-supported 'derives Lorentz invariance' claim in the book",
    "Repair applied": "Supply bridge lemmas L1-L4 (linearity, isotropy, inertial-motion-preservation, standard group-theoretic argument) as explicit added assumptions before any proof can be attempted",
    "Classification after repair": "Conjecture (unproven, bridge lemmas needed)",
    "Remaining risk": "MAXIMUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix NNN (NNN.3)",
    "Claim": "c_eff=sqrt(rho/mu) attributed to Appendix KKK",
    "Original wording": "\"From Appendix KKK, the maximal propagation speed is: c_eff = sqrt(rho/mu).\"",
    "Problem": "Appendix KKK never actually states this formula; it appears in Appendix FFF/PPP instead -- a cross-reference/misattribution error",
    "Classification before repair": "Citation error",
    "Repair applied": "Correct the attribution to Appendix FFF/PPP",
    "Classification after repair": "Corrected",
    "Remaining risk": "LOW"
  },
  {
    "Book": "B2",
    "Section": "Appendix NNN (NNN.4)",
    "Claim": "Lorentz-violation magnitude scales as |⟨|L|⟩-L_crit|/L_crit",
    "Original wording": "\"Delta_LV ~ |⟨|L|⟩ - L_crit| / L_crit\"",
    "Problem": "Asserted, not derived from any equation for the underlying delta-rho/delta-mu corrections; no predicted coefficient given",
    "Classification before repair": "Conjecture (unquantified scaling form)",
    "Repair applied": "Derive the correction mechanism explicitly or supply a predicted coefficient",
    "Classification after repair": "Conjecture (as stated)",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "B2",
    "Section": "Appendix PPP (PPP.11/PPP.13)",
    "Claim": "Numerical collapse table: predicted hbar, G, Lambda fail by ~1, ~40, ~112 orders of magnitude respectively; theory explicitly falsified under declared Bookkeeping Map A",
    "Original wording": "\"the instantiated table above fails by many orders of magnitude...a clean, non-degenerate falsification of the theory under Map A.\"",
    "Problem": "None -- this is a genuine, honestly self-reported negative result with real computed numbers and an explicit, transparent calibration convention",
    "Classification before repair": "Numerical Evidence (negative, self-reported, well-documented)",
    "Repair applied": "None needed for honesty; recommend completing the PPP.12 bootstrap uncertainty bands and examining whether the differing failure magnitudes across constants indicate a structural (not just calibration-choice) problem",
    "Classification after repair": "Numerical Evidence (negative, credited)",
    "Remaining risk": "LOW (for the honesty); underlying theory fails this test"
  },
  {
    "Book": "B2",
    "Section": "Appendix BBBB (BBBB.3)",
    "Claim": "Structural admissibility criteria eliminate probability assignments, likelihood ratios, and ML classifiers as inadmissible",
    "Original wording": "\"These criteria eliminate probability assignments, likelihood ratios, and machine-learned classifiers as structurally inadmissible for foundational testing.\"",
    "Problem": "A well-defined closed-form likelihood-ratio statistic can itself be deterministic, monotonic, and stable; the blanket exclusion is asserted, not shown to follow from the stated criteria",
    "Classification before repair": "Overreaching methodological claim",
    "Repair applied": "Justify why likelihood-based methods necessarily fail the stated criteria, or soften the exclusion",
    "Classification after repair": "Needs justification or softening",
    "Remaining risk": "MEDIUM"
  },
  {
    "Book": "C",
    "Section": "01_Abstract_Introduction.tex",
    "Claim": "GR predicts singularities under generic collapse",
    "Original wording": "Classical general relativity predicts the formation of spacetime singularities in gravitational collapse, signaling a breakdown of the theory at high curvature.",
    "Problem": "None -- standard, uncontested background physics.",
    "Classification before repair": "Physical Interpretation",
    "Repair applied": "None needed.",
    "Classification after repair": "Physical Interpretation",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "01_Abstract_Introduction.tex",
    "Claim": "Overall thesis: singularity removal without conflict with observation",
    "Original wording": "The results demonstrate that singularity removal can be achieved without conflict with current experimental and observational constraints.",
    "Problem": "\"Demonstrate\" overstates a mix of solid scaling arguments, honest order-of-magnitude bounds, and one unverified numerical conjecture (Ch.7).",
    "Classification before repair": "Physical Interpretation / Summary",
    "Repair applied": "Soften to \"indicate\" or \"argue\"; downstream chapters individually re-classified.",
    "Classification after repair": "Physical Interpretation (softened)",
    "Remaining risk": "Low-Medium"
  },
  {
    "Book": "C",
    "Section": "02_Structural Stability as a Guiding Principle.tex",
    "Claim": "Definition of 'structural stability'",
    "Original wording": "Structural stability refers to the requirement that the qualitative behavior of a physical theory remain unchanged under small perturbations of its defining equations or parameters.",
    "Problem": "Reuses the name of the precise Andronov-Pontryagin dynamical-systems notion without specifying a perturbation space or topology; presented as a Definition but is actually a Heuristic.",
    "Classification before repair": "Definition (mislabeled)",
    "Repair applied": "Add remark distinguishing this book's heuristic usage from the formal dynamical-systems definition (closure supplement C.8).",
    "Classification after repair": "Heuristic / Axiom",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "02_Structural Stability as a Guiding Principle.tex",
    "Claim": "No-singularity condition imposed as fundamental constraint",
    "Original wording": "we impose a no-singularity condition as a fundamental constraint on admissible gravitational configurations.",
    "Problem": "None -- honestly labeled as a constraint choice, not derived.",
    "Classification before repair": "Axiom / Postulate",
    "Repair applied": "None needed.",
    "Classification after repair": "Axiom / Postulate",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "02_Structural Stability as a Guiding Principle.tex",
    "Claim": "Curvature invariants R, Ricci-squared, K must remain finite",
    "Original wording": "we require that all such invariants remain finite throughout spacetime.",
    "Problem": "None -- clearly a requirement/definition, not an unproven claim.",
    "Classification before repair": "Definition / Requirement",
    "Repair applied": "None needed.",
    "Classification after repair": "Definition / Requirement",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "03_Regular Interior Geometry.tex",
    "Claim": "Metric ansatz is static, spherically symmetric",
    "Original wording": "we adopt a static, spherically symmetric metric ansatz of the form ds^2 = -f(r) dt^2 + dr^2/f(r) + r^2 dOmega^2",
    "Problem": "None -- symmetries explicitly and correctly stated (exemplary practice).",
    "Classification before repair": "Definition",
    "Repair applied": "None needed.",
    "Classification after repair": "Definition",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "03_Regular Interior Geometry.tex",
    "Claim": "Asymptotic Schwarzschild behavior as r to infinity",
    "Original wording": "f(r) -> 1 - 2GM/r as r to infinity",
    "Problem": "Not derived from any field equation/action; a phenomenological boundary-condition assumption (book is honest elsewhere about being phenomenological).",
    "Classification before repair": "Assumption",
    "Repair applied": "None needed beyond noting it is an assumption, not a derived result.",
    "Classification after repair": "Assumption",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "03_Regular Interior Geometry.tex",
    "Claim": "Generic core behavior f(r) ~ 1 - alpha r^2 + O(r^4)",
    "Original wording": "f(r) approx 1 - alpha r^2 + O(r^4), with alpha>0, corresponding to a de Sitter-like or otherwise non-singular interior.",
    "Problem": "O(r^4) is imprecise for the specific ansatz used later (true next term is O(r^5)); harmless as a loose generic statement but should cross-reference the specific ansatz.",
    "Classification before repair": "Postulate (appropriately hedged)",
    "Repair applied": "Cross-reference explicit ansatz and corrected series order (closure supplement C.1).",
    "Classification after repair": "Postulate",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "03_Regular Interior Geometry.tex",
    "Claim": "Geodesic completeness through the core",
    "Original wording": "An essential consequence of the regular interior geometry is geodesic completeness. Timelike and null geodesics can be extended through the core region to arbitrary values of their affine parameters without encountering divergences or boundaries of the spacetime manifold.",
    "Problem": "Asserted as a general, established consequence; only one specific radial trajectory is even numerically checked elsewhere in the book; the manifold structure at r=0 (is it a genuine regular point?) is never established.",
    "Classification before repair": "Unproven Claim (worded as established Proposition)",
    "Repair applied": "Reclassify as Numerical-Evidence-for-a-specific-case + open Conjecture for the general claim; supply partial Lemma on regularity at r=0 (closure supplement C.1).",
    "Classification after repair": "Conjecture (partially supported)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "C",
    "Section": "04_Weak-Field Consistency.tex",
    "Claim": "Newtonian potential correction order",
    "Original wording": "Phi(r) = -GM/r + O(g^3/r^3)",
    "Problem": "Wrong power of r (should be g^3/r^4, per independent large-r series and consistent with the book's own Appendix A.3); also unphysical as written (no M-dependence in the correction term).",
    "Classification before repair": "Proposition (asserted)",
    "Repair applied": "Corrected to Phi(r) = -GM/r + GM g^3/r^4 + O(g^6/r^7) (closure supplement C.2).",
    "Classification after repair": "Proposition (corrected)",
    "Remaining risk": "Medium (was an outright error)"
  },
  {
    "Book": "C",
    "Section": "04_Weak-Field Consistency.tex",
    "Claim": "Light deflection formula with cubic suppression",
    "Original wording": "delta phi = (4GM/b)[1 + O(g^3/b^3)], 'Expanding the null geodesic equation in the weak-field limit, we find...'",
    "Problem": "No algebra shown despite 'we find' language; plausible and dimensionally consistent, corroborated numerically (<5% at b=500M) but not derived in text.",
    "Classification before repair": "Proposition (asserted as derived; no algebra shown)",
    "Repair applied": "Reword to scaling-argument language; derivation sketch available via O(g^3/r^4) metric correction.",
    "Classification after repair": "Heuristic / Numerical Evidence",
    "Remaining risk": "Low-Medium"
  },
  {
    "Book": "C",
    "Section": "04_Weak-Field Consistency.tex",
    "Claim": "Perihelion shift formula with cubic suppression",
    "Original wording": "Delta phi = (6 pi GM / (a(1-e^2)))[1 + O(g^3/a^3)], 'A perturbative analysis of the orbital equation yields...'",
    "Problem": "No algebra shown; same issue as light deflection.",
    "Classification before repair": "Proposition (asserted as derived; no algebra shown)",
    "Repair applied": "Reword to scaling-argument language.",
    "Classification after repair": "Heuristic / Numerical Evidence",
    "Remaining risk": "Low-Medium"
  },
  {
    "Book": "C",
    "Section": "04_Weak-Field Consistency.tex",
    "Claim": "Mercury precession reproduced 'to the same accuracy as GR'",
    "Original wording": "the observed perihelion precession of Mercury and other systems is reproduced to the same accuracy as in classical general relativity.",
    "Problem": "Only available numerical check (project code) has an acknowledged O(GM/p) systematic error of the same order as the measured effect -- a precision claim not backed to the precision stated. This is the specific known gap flagged in the audit brief.",
    "Classification before repair": "Proposition (numerically confirmed, as claimed)",
    "Repair applied": "Downgrade to qualitative/order-of-magnitude confirmation; precision test flagged as future work (patch P3).",
    "Classification after repair": "Numerical Evidence (order-of-magnitude only)",
    "Remaining risk": "High"
  },
  {
    "Book": "C",
    "Section": "04_Weak-Field Consistency.tex",
    "Claim": "PPN suppression n>=3",
    "Original wording": "delta g_munu ~ (g/r)^n, n >= 3",
    "Problem": "Consistent with independently verified leading-order n=3; 'n>=3' is a true but loose bound.",
    "Classification before repair": "Heuristic / Physical Interpretation",
    "Repair applied": "Optional: tighten to state leading order is exactly n=3.",
    "Classification after repair": "Heuristic / Physical Interpretation",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "05_Strong-Field Regime.tex",
    "Claim": "Radial infall reaches core with finite proper time/curvature, extendable",
    "Original wording": "The particle reaches the center with finite proper time, finite tidal forces, and finite curvature invariants... the trajectory can be smoothly extended beyond the core if the spacetime is analytically continued.",
    "Problem": "Only one specific trajectory (r0=10M, E=1, g=0.1) is numerically verified in the associated code; general claim ('the particle') overgeneralizes; 'if analytically continued' concedes the extension is not automatic.",
    "Classification before repair": "Unproven Claim (worded as general Proposition)",
    "Repair applied": "Reclassify as Numerical Evidence for the specific case checked.",
    "Classification after repair": "Numerical Evidence (single case)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "C",
    "Section": "05_Strong-Field Regime.tex",
    "Claim": "Non-radial orbits remain stable, no infinite potential barrier",
    "Original wording": "Numerical integration of non-radial geodesics shows that bound orbits remain stable down to radii close to the regular core... no trajectory encounters an infinite potential barrier or divergent force.",
    "Problem": "No broad (E,L) stability survey exists in the associated codebase; overclaims numerical scope. (The narrower 'no infinite barrier' claim IS provable directly from finiteness of f(r).)",
    "Classification before repair": "Numerical Evidence (asserted, scope overstated)",
    "Repair applied": "Split into provable Proposition (finite barrier, from finiteness of f) + open Conjecture (general orbit stability); see closure supplement C.3 and patch P5.",
    "Classification after repair": "Proposition (narrow) + Conjecture (broad)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "C",
    "Section": "05_Strong-Field Regime.tex",
    "Claim": "Effective potential V_eff(r)=f(r)(1+L^2/r^2)",
    "Original wording": "V_eff(r) = f(r)(1 + L^2/r^2)",
    "Problem": "None -- standard, correct formula for this metric ansatz (verified consistent with geodesic Lagrangian).",
    "Classification before repair": "Definition",
    "Repair applied": "None needed.",
    "Classification after repair": "Definition",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "05_Strong-Field Regime.tex",
    "Claim": "ISCO shift scales as O(g^3/(GM)^2)",
    "Original wording": "delta r_ISCO ~ O(g^3/(GM)^2)",
    "Problem": "Not derived with shown algebra in text, but independently corroborated: metric correction is exactly O(g^3/r^4), and standard perturbation-of-extremum theory implies linear-in-g^3 shift; also matches pre-existing numeric curve fit (exponent ~3).",
    "Classification before repair": "Proposition (asserted)",
    "Repair applied": "Analytic justification supplied (closure supplement, section_audit.md Sec.5); no numeric change needed.",
    "Classification after repair": "Proposition (corroborated)",
    "Remaining risk": "Low-Medium"
  },
  {
    "Book": "C",
    "Section": "06_Photon Dynamics and Black Hole Shadow.tex",
    "Claim": "Photon effective potential V_ph(r)=L^2 f(r)/r^2",
    "Original wording": "V_ph(r) = (L^2/r^2) f(r)",
    "Problem": "None -- standard, correct null-geodesic reduction.",
    "Classification before repair": "Definition",
    "Repair applied": "None needed.",
    "Classification after repair": "Definition",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "06_Photon Dynamics and Black Hole Shadow.tex",
    "Claim": "Photon sphere shift r_ph = 3GM + delta r(g)",
    "Original wording": "r_ph = 3GM + delta r(g), where delta r(g) ... vanishes in the limit g to 0",
    "Problem": "None -- consistent with scaling analysis; Schwarzschild limit correctly recovers 3GM (standard textbook value).",
    "Classification before repair": "Proposition",
    "Repair applied": "None needed.",
    "Classification after repair": "Proposition",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "06_Photon Dynamics and Black Hole Shadow.tex",
    "Claim": "Shadow correction scales as O(g^3/(GM)^3)",
    "Original wording": "the photon sphere, critical impact parameter, and overall shadow diameter coincide with Schwarzschild predictions up to corrections of order O(g^3/(GM)^3)",
    "Problem": "Not derived with shown algebra, but consistent with independently confirmed O(g^3/r^4) metric correction and existing numeric curve fit.",
    "Classification before repair": "Proposition (asserted)",
    "Repair applied": "Analytic justification supplied; no numeric change needed.",
    "Classification after repair": "Proposition (corroborated)",
    "Remaining risk": "Low-Medium"
  },
  {
    "Book": "C",
    "Section": "06_Photon Dynamics and Black Hole Shadow.tex",
    "Claim": "Interior ray-traced trajectories highly suppressed in intensity",
    "Original wording": "numerical simulations indicate that these interior contributions are highly suppressed in intensity.",
    "Problem": "No such simulation exists in the associated codebase, which explicitly declines to implement the required 2D ray-tracing.",
    "Classification before repair": "Numerical Evidence (asserted, unbacked)",
    "Repair applied": "Reword to explicit expectation, not measurement (patch P6).",
    "Classification after repair": "Heuristic / Conjecture",
    "Remaining risk": "Medium-High"
  },
  {
    "Book": "C",
    "Section": "07_Image Asymmetry and Effective Spin-Like Signatures.tex",
    "Claim": "Effective spin scales as O(g/GM) -- HIGHEST PRIORITY FINDING",
    "Original wording": "Numerical ray-tracing indicates that a_eff scales with the regularization length g as a_eff ~ O(g/GM), and thus vanishes smoothly in the Schwarzschild limit.",
    "Problem": "The associated codebase's effective_spin_scaling() function is explicitly, deliberately unimplemented, with a docstring stating a 1D proxy 'would misrepresent a different quantity as if it were the claimed one.' No computation supporting this claim exists anywhere in the available materials. Also anomalous: linear scaling vs. cubic scaling verified for every other observable in this framework.",
    "Classification before repair": "Numerical Evidence (asserted; in fact unimplemented)",
    "Repair applied": "Downgrade to explicitly labeled Conjecture with caveats (patch P7); single most important gravity-side repair in the book.",
    "Classification after repair": "Conjecture (unverified)",
    "Remaining risk": "High"
  },
  {
    "Book": "C",
    "Section": "07_Image Asymmetry and Effective Spin-Like Signatures.tex",
    "Claim": "Origin of image asymmetry (qualitative mechanism)",
    "Original wording": "photons with nearly critical impact parameters may penetrate below the photon sphere before being scattered back outward... leads to slight angular-dependent variations",
    "Problem": "None -- appropriately hedged with 'may', presented as heuristic mechanism not proof.",
    "Classification before repair": "Heuristic",
    "Repair applied": "None needed.",
    "Classification after repair": "Heuristic",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "07_Image Asymmetry and Effective Spin-Like Signatures.tex",
    "Claim": "Lyapunov-exponent-driven ring/brightness changes",
    "Original wording": "the modified effective potential alters the Lyapunov exponent governing photon orbit instability... ring thickness may increase marginally...",
    "Problem": "No explicit Lyapunov exponent formula or numeric value given anywhere; appropriately hedged with 'may' throughout.",
    "Classification before repair": "Heuristic (appropriately hedged)",
    "Repair applied": "None needed beyond noting no explicit computation exists.",
    "Classification after repair": "Heuristic",
    "Remaining risk": "Low-Medium"
  },
  {
    "Book": "C",
    "Section": "08_Numerical Methods.tex",
    "Claim": "Explicit metric ansatz f(r)=1-2M(r)/r, M(r)=Mr^3/(r^3+g^3)",
    "Original wording": "f(r) = 1 - 2M(r)/r, M(r) = M r^3/(r^3+g^3)",
    "Problem": "None -- matches the grounding code exactly; correctly and explicitly stated (first full statement in the book).",
    "Classification before repair": "Definition",
    "Repair applied": "None needed.",
    "Classification after repair": "Definition",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "08_Numerical Methods.tex",
    "Claim": "Construction 'guarantees' finiteness and completeness 'by design'",
    "Original wording": "This construction guarantees finiteness of curvature invariants and geodesic completeness by design.",
    "Problem": "'By design'/'guarantees' overclaims: requires the (unstated) fact that M(r)~r^3 is precisely the condition making f C^2 at r=0 with f'(0)=0; the general 'why cubic' argument is never given in the text.",
    "Classification before repair": "Assertion (overclaimed)",
    "Repair applied": "Supply Lemma: M(r)~r^n requires n>=3 for C^2 regularity, n=3 minimal for nonzero core curvature (closure supplement C.1).",
    "Classification after repair": "Proposition (with supplied Lemma)",
    "Remaining risk": "Low-Medium"
  },
  {
    "Book": "C",
    "Section": "08_Numerical Methods.tex",
    "Claim": "Boundary condition f(r) -> 1 - Lambda_eff r^2 as r->0",
    "Original wording": "As r -> 0, f(r) -> 1 - Lambda_eff r^2, yielding a regular, de Sitter-like core.",
    "Problem": "Correct but Lambda_eff is never given an explicit value in the text.",
    "Classification before repair": "Assumption / Proposition (unvalued)",
    "Repair applied": "Supply explicit value Lambda_eff = 2M/g^3 (closure supplement C.1).",
    "Classification after repair": "Proposition (valued)",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "08_Numerical Methods.tex",
    "Claim": "Ray-tracing / effective-asymmetry robustness and symmetry-test claims",
    "Original wording": "All reported features---including shadow size, ring thickness, and effective asymmetry---are robust under variations of numerical parameters... Symmetry tests verify invariance of results under rotations of the observer screen.",
    "Problem": "No ray-tracing computation of 'effective asymmetry' exists in the associated code to have been robustness- or symmetry-tested; blanket claim conflates backed (shadow size, Schwarzschild recovery) and unbacked (asymmetry) results.",
    "Classification before repair": "Numerical Evidence (asserted; partly unbacked)",
    "Repair applied": "Split claim: retain backed parts (shadow size, g->0 recovery), remove/qualify unbacked 'effective asymmetry' clause (patch P8).",
    "Classification after repair": "Numerical Evidence (shadow size only) + Conjecture (asymmetry)",
    "Remaining risk": "High"
  },
  {
    "Book": "C",
    "Section": "09_Observational_Implications.tex",
    "Claim": "EHT shadow bound g <= 0.5 GM",
    "Original wording": "g <~ epsilon_EHT^(1/3) GM ~ 0.5 GM",
    "Problem": "None -- arithmetic independently checked (0.1^(1/3)~0.46, 0.17^(1/3)~0.55); fair rounding of stated range.",
    "Classification before repair": "Physical Interpretation / Estimate",
    "Repair applied": "None needed.",
    "Classification after repair": "Physical Interpretation / Estimate",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "09_Observational_Implications.tex",
    "Claim": "Ringdown bound explicitly marked prospective",
    "Original wording": "this expectation should be treated as a target for future work rather than a result established here.",
    "Problem": "None -- exemplary hedging, matches house style; used as a model for repairing Ch.7.2.",
    "Classification before repair": "Heuristic (appropriately hedged)",
    "Repair applied": "None needed.",
    "Classification after repair": "Heuristic (appropriately hedged)",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "10_Discussion.tex",
    "Claim": "Comparison to Bardeen/Hayward: 'differs in emphasis rather than outcome'",
    "Original wording": "Examples include the Bardeen and Hayward metrics... The present approach differs from these models in emphasis rather than outcome.",
    "Problem": "No equations given for either comparison metric; no citations anywhere in the assigned files; working out the comparison shows a real, quantifiable outcome difference (M-dependence of core density vs. Hayward's M-independent construction), not merely a difference in emphasis.",
    "Classification before repair": "Comparison Claim (asserted, unsubstantiated)",
    "Repair applied": "Supply explicit side-by-side comparison with citations (closure supplement C.4, patch P10).",
    "Classification after repair": "Comparison Claim (substantiated)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "C",
    "Section": "10_Discussion.tex",
    "Claim": "Honest limitations: no microscopic derivation, static/spherical only, no stability analysis",
    "Original wording": "the interior regularization is introduced at an effective level, without a derivation from a fundamental quantum theory of gravity... restricted to static, spherically symmetric spacetimes... dynamical stability... has not been fully addressed.",
    "Problem": "None -- honest, well-hedged acknowledgment of open problems.",
    "Classification before repair": "Assumption / Limitation (honest)",
    "Repair applied": "None needed.",
    "Classification after repair": "Assumption / Limitation (honest)",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "Appendices_standalone.tex",
    "Claim": "K(0) = 48 M^2/g^6 -- HIGHEST PRIORITY MATH ERROR",
    "Original wording": "K(0) = 48 M^2 / g^6, demonstrating explicitly the absence of curvature singularities.",
    "Problem": "Wrong by exactly a factor of 2. Independent symbolic limit, high-precision numeric evaluation (mpmath, 5 methods converging to 96), and series-truncation cross-check all give K(0)=96M^2/g^6. Likely source: naive substitution r=g into the Schwarzschild exterior formula 48M^2/r^6 instead of taking the true r->0 limit of the regularized K(r).",
    "Classification before repair": "Proposition (computed; in fact wrong)",
    "Repair applied": "Corrected to K(0)=96M^2/g^6 with full derivation supplied (closure supplement C.1, patch P1).",
    "Classification after repair": "Proposition (corrected, verified)",
    "Remaining risk": "High (was an outright error)"
  },
  {
    "Book": "C",
    "Section": "Appendices_standalone.tex",
    "Claim": "All higher-order curvature invariants similarly bounded",
    "Original wording": "All higher-order invariants constructed from contractions of the Riemann tensor are similarly bounded.",
    "Problem": "Asserted without any argument.",
    "Classification before repair": "Unproven Claim",
    "Repair applied": "Supply analyticity-based Lemma (closure supplement C.1).",
    "Classification after repair": "Lemma (proven)",
    "Remaining risk": "Low (after repair)"
  },
  {
    "Book": "C",
    "Section": "Appendices_standalone.tex",
    "Claim": "Weak-field expansion f(r)=1-2M/r+O(g^3/r^4)",
    "Original wording": "f(r) = 1 - 2M/r + O(g^3/r^4)",
    "Problem": "None -- this is correct and independently verified; but is internally inconsistent with Ch.4.1's O(g^3/r^3) statement of the (related) Newtonian potential correction.",
    "Classification before repair": "Proposition (correct)",
    "Repair applied": "Cross-reference to Ch.4.1 correction (patch P2).",
    "Classification after repair": "Proposition (correct, cross-referenced)",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "Appendices_standalone.tex",
    "Claim": "'All qualitative features... robust'; Schwarzschild recovery as g->0",
    "Original wording": "In the limit g -> 0, the code reproduces standard Schwarzschild results, providing an additional consistency check.",
    "Problem": "None -- this specific claim IS genuinely implemented and checked in the associated code (isco_radius, photon_sphere_radius both use g->0 references).",
    "Classification before repair": "Numerical Evidence",
    "Repair applied": "None needed.",
    "Classification after repair": "Numerical Evidence",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "Conclusion.tex",
    "Claim": "Weak-field recovery 'demonstrated'",
    "Original wording": "we demonstrated that Newtonian gravity, light deflection, and perihelion precession are recovered with corrections that are strongly suppressed at large radii.",
    "Problem": "Inherits Ch.4 issues: equation error (4.1) and acknowledged precession systematic-error gap; 'demonstrated' overstates.",
    "Classification before repair": "Physical Interpretation / Summary",
    "Repair applied": "Soften to 'argued via scaling analysis and order-of-magnitude checks' (overstrong_language_log #15).",
    "Classification after repair": "Physical Interpretation / Summary (softened)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "C",
    "Section": "Conclusion.tex",
    "Claim": "Image asymmetries 'found' compatible with observational constraints",
    "Original wording": "we further studied photon dynamics, black hole shadow formation, and image asymmetries, finding that deviations from the Schwarzschild case are small and compatible with current observational constraints.",
    "Problem": "Inherits Ch.7 issue: the specific effective-spin/asymmetry claim was never actually computed.",
    "Classification before repair": "Physical Interpretation / Summary",
    "Repair applied": "Flag effective-spin claim as unverified conjecture in the summary (overstrong_language_log #15).",
    "Classification after repair": "Physical Interpretation / Summary (softened)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "C",
    "Section": "Conclusion.tex",
    "Claim": "Future work: rotating extension, dynamical stability, microscopic origin",
    "Original wording": "A key next step is the extension of the present framework to rotating spacetimes... analysis of dynamical stability under generic perturbations... investigate possible microscopic origins",
    "Problem": "None -- honest, appropriately hedged list of open problems.",
    "Classification before repair": "Heuristic / Open Problem list",
    "Repair applied": "None needed.",
    "Classification after repair": "Heuristic / Open Problem list",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "Ontology_01_PrePhysical_Selection_WorldChoice.tex",
    "Claim": "Existence of the space of possible worlds W and selection functional Xi",
    "Original wording": "Section 3 of the companion white paper on Emergent Reality introduces a real-valued selection functional Xi : W -> R, combining internal consistency C, structural stability S, generative capacity G, and a complexity penalty D.",
    "Problem": "C, S, G, D and the expected (D,R,G) internal structure of a world W are never defined in this file; entirely deferred to an out-of-scope companion paper. Xi is formally uninterpretable in isolation within this book.",
    "Classification before repair": "Definition (deferred / incomplete)",
    "Repair applied": "Flag as dependency on out-of-scope companion paper; symbol glossary marks C,S,G,D UNDEFINED.",
    "Classification after repair": "Definition (incomplete within this book)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "C",
    "Section": "Ontology_01_PrePhysical_Selection_WorldChoice.tex",
    "Claim": "Existence of the maximizer W* = argmax Xi(W)",
    "Original wording": "the mathematics of Xi, already established... W* = argmax_{W in W} Xi(W).",
    "Problem": "No compactness/coercivity/upper-semicontinuity argument given in this file; existence asserted, not proven, deferred to companion paper.",
    "Classification before repair": "Assumption (asserted as established)",
    "Repair applied": "Isolate as an explicit imported Assumption pending the companion paper's (unaudited) argument.",
    "Classification after repair": "Assumption",
    "Remaining risk": "Medium"
  },
  {
    "Book": "C",
    "Section": "Ontology_01_PrePhysical_Selection_WorldChoice.tex",
    "Claim": "Uniqueness of W* treated as a separate, open question",
    "Original wording": "Definition [World Choice]: ...the unique (or, absent strict uniqueness, the equivalence class of) maximizer of Xi over W...",
    "Problem": "None -- this is good practice: uniqueness is correctly NOT conflated with existence, exactly as the audit brief asked to check.",
    "Classification before repair": "Definition (honest hedge)",
    "Repair applied": "None needed.",
    "Classification after repair": "Definition (honest hedge)",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "Ontology_01_PrePhysical_Selection_WorldChoice.tex",
    "Claim": "Jump from mathematical argmax to ontological actuality -- HIGH PRIORITY",
    "Original wording": "World choice is the assignment of actuality to the unique (or... equivalence class of) maximizer of Xi over W, without positing the concurrent existence... of non-maximizing elements of W.",
    "Problem": "The ontological jump (mathematical argmax confers actual existence) is embedded inside a Definition rather than isolated as an explicit, separately-argued metaphysical Postulate; risks being read as a mathematical consequence rather than an independent posit.",
    "Classification before repair": "Definition (smuggles a Postulate)",
    "Repair applied": "Split into a purely mathematical Definition plus an explicit Postulate (Actuality-Selection) (closure supplement C.7, patch P13).",
    "Classification after repair": "Definition + Postulate (separated)",
    "Remaining risk": "Medium-High"
  },
  {
    "Book": "C",
    "Section": "Ontology_01_PrePhysical_Selection_WorldChoice.tex",
    "Claim": "Non-circularity / falsifiability of Xi-maximization",
    "Original wording": "Xi is falsifiable in aggregate: it predicts that the realized world's dynamical laws admit no generic mechanism for unbounded divergence, information loss, or geodesic incompleteness...",
    "Problem": "Reasonable argument that Xi is non-arbitrary; conflates falsifiability of downstream physical predictions with the (separately unfalsifiable) metaphysical actuality-postulate itself.",
    "Classification before repair": "Heuristic / Philosophical Argument",
    "Repair applied": "Add remark distinguishing falsifiable physical content from the unfalsifiable metaphysical posit.",
    "Classification after repair": "Heuristic / Philosophical Argument",
    "Remaining risk": "Medium (philosophically contestable, not mathematically at risk)"
  },
  {
    "Book": "C",
    "Section": "Ontology_02_Refutation_of_Infinite_Many_Worlds.tex",
    "Claim": "Level 1 / Level 2 distinction (world choice vs. statistical bookkeeping)",
    "Original wording": "Level 1 -- World choice... Level 2 -- Statistical bookkeeping within W*...",
    "Problem": "None -- reasonable conceptual framework, low risk on its own terms.",
    "Classification before repair": "Definition / Conceptual Framework",
    "Repair applied": "None needed.",
    "Classification after repair": "Definition / Conceptual Framework",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "Ontology_02_Refutation_of_Infinite_Many_Worlds.tex",
    "Claim": "Structural Argument I: atypical branches are structurally unstable",
    "Original wording": "Atypical branches are structurally unstable: they are exactly the kind of configuration that the selection criterion S... disfavors.",
    "Problem": "Heuristic analogy between a well-posed measure-concentration inequality (typicality) and the informal notion of structural instability (S, itself undefined in this book -- see Ontology_01 entry); no formal bridge given; honestly labeled as informal ('in the language used throughout this book').",
    "Classification before repair": "Heuristic (appropriately labeled informal)",
    "Repair applied": "Note the missing formal bridge to S; no further repair required given honest framing.",
    "Classification after repair": "Heuristic",
    "Remaining risk": "Medium"
  },
  {
    "Book": "C",
    "Section": "Ontology_02_Refutation_of_Infinite_Many_Worlds.tex",
    "Claim": "Theorem 'Ontological Non-Proliferation' -- SINGLE HIGHEST PRIORITY FINDING IN THE BOOK",
    "Original wording": "Theorem [Ontological Non-Proliferation]: Within the pre-physical selection framework, any thesis requiring an unbounded or infinite number of simultaneously actual, dynamically stable universes is false. Proof: By Appendix N.6-N.7, N_stable <= 7...",
    "Problem": "Proof rests entirely on an external, unaudited Appendix N (different book) that is itself self-acknowledged as conditional on a not-yet-completed dense scan; AND has an unbridged domain/scope mismatch -- the cited bound applies to one scalar parameter of one specific toy dynamical system, while the conclusion is a fully general claim about Everettian branching, modal realism, and the string landscape, none of which are shown (or argued) to be indexed by that same parameter. The Theorem does not follow from its own proof.",
    "Classification before repair": "Theorem (labeled, with Proof)",
    "Repair applied": "Downgrade to Conjecture with explicit conditional hypotheses (i) and (ii) (closure supplement C.6, patch P14).",
    "Classification after repair": "Conjecture (conditional, two open premises)",
    "Remaining risk": "High"
  },
  {
    "Book": "C",
    "Section": "Ontology_02_Refutation_of_Infinite_Many_Worlds.tex",
    "Claim": "'This book proves -- not postulates -- a finite upper bound'",
    "Original wording": "this book proves -- not postulates -- a finite upper bound on the number of dynamically stable universes admitted by the pre-physical selection framework.",
    "Problem": "Overclaims proof status given the external-dependency and scope-mismatch gaps above.",
    "Classification before repair": "Assertion (overclaimed)",
    "Repair applied": "Reword to 'supports a strong conjectural bound, conditional on...' (patch P14).",
    "Classification after repair": "Assertion (conjectural, conditional)",
    "Remaining risk": "High"
  },
  {
    "Book": "C",
    "Section": "Ontology_02_Refutation_of_Infinite_Many_Worlds.tex",
    "Claim": "Comparative summary table: '<=7 (proven)'",
    "Original wording": "Number of actual worlds & Unbounded / infinite & <= 7 (proven), typically 1 relevant to us",
    "Problem": "Repeats the Theorem's overclaim in table form.",
    "Classification before repair": "Assertion (overclaimed)",
    "Repair applied": "Reword to '<=7 (conjectured, conditional...)' (patch P15).",
    "Classification after repair": "Assertion (conjectural, conditional)",
    "Remaining risk": "High"
  },
  {
    "Book": "C",
    "Section": "Ontology_02_Refutation_of_Infinite_Many_Worlds.tex",
    "Claim": "Structural Argument III: parsimony and sufficient reason",
    "Original wording": "A finite, structurally selected actuality is the strictly more parsimonious hypothesis, and parsimony here is not aesthetic preference...",
    "Problem": "Philosophical argument, appropriately not dressed as a mathematical proof; contestable by proponents of modal realism who reject the parsimony premise, but no math-rigor issue.",
    "Classification before repair": "Heuristic / Philosophical Argument",
    "Repair applied": "None needed (no proof burden).",
    "Classification after repair": "Heuristic / Philosophical Argument",
    "Remaining risk": "Low (math) / Medium (philosophical contestability)"
  },
  {
    "Book": "C",
    "Section": "Ontology_02_Refutation_of_Infinite_Many_Worlds.tex",
    "Claim": "Branching as bookkeeping (concluding remarks)",
    "Original wording": "Branches remain an accurate and useful bookkeeping device for tracking which future measurement records are mutually exclusive within the one actual world W*...",
    "Problem": "None -- reasonable, careful concluding remarks, doesn't overclaim beyond what's already flagged elsewhere.",
    "Classification before repair": "Heuristic / Physical Interpretation",
    "Repair applied": "None needed.",
    "Classification after repair": "Heuristic / Physical Interpretation",
    "Remaining risk": "Low"
  },
  {
    "Book": "C",
    "Section": "Book-wide",
    "Claim": "Energy-condition status (NEC/WEC/SEC) of the regular black hole metric",
    "Original wording": "(never stated anywhere in the 15 assigned files; closest gesture: 'an effective repulsive component that counteracts unlimited gravitational collapse', Ch.3.2)",
    "Problem": "Complete silence on energy conditions, despite this being close to mandatory in the regular-black-hole literature and explicitly requested by this audit's brief. Independent derivation shows NEC/WEC hold everywhere but SEC is violated for r < ~0.79g, the generic and expected behavior for regular black holes.",
    "Classification before repair": "Gap (absent Definition/Proposition)",
    "Repair applied": "Supply full Proposition + proof (closure supplement C.5, patch P12).",
    "Classification after repair": "Proposition (proven, newly supplied)",
    "Remaining risk": "Medium (gap now closed by supplied content)"
  },
  {
    "Book": "C",
    "Section": "Book-wide",
    "Claim": "No bibliography/citations anywhere in the assigned files",
    "Original wording": "(Bardeen and Hayward named in Ch.10.2 with no \\cite or bibliography anywhere in any of the 15 files, confirmed by direct grep)",
    "Problem": "Every comparison to prior literature is made by name only; no formal citation apparatus exists.",
    "Classification before repair": "Gap (needed citations)",
    "Repair applied": "Supply explicit citations for Hayward (2006), Bardeen (1968) (closure supplement C.4).",
    "Classification after repair": "Comparison Claim (substantiated with citations)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "D",
    "Section": "01_Introduction.tex §1.3",
    "Claim": "Gleason's theorem statement",
    "Original wording": "Gleason's theorem demonstrates that any non-contextual probability measure on the lattice of projectors must take the Born form, but it assumes the existence of a probability measure from the outset.",
    "Problem": "Accurate but omits dim(H)>=3 hypothesis and the known failure of Gleason's theorem at dim=2 (qubits); this omission is never repaired anywhere in the book's main text.",
    "Classification before repair": "Definition/Background",
    "Repair applied": "Add explicit dim>=3 clause and one-sentence note that dim=2 is a known exception, addressed (if at all) only in Appendix A.",
    "Classification after repair": "Definition/Background (repaired)",
    "Remaining risk": "Medium: reader is not warned the qubit case is a live issue until Appendix A, five files later."
  },
  {
    "Book": "D",
    "Section": "01_Introduction.tex §1.4",
    "Claim": "Forward promise of uniqueness proof",
    "Original wording": "Alternative weighting schemes are shown to be structurally unstable.",
    "Problem": "'Shown' is unhedged; the actual demonstration (Ch.3/Appendix A) contains a mathematical error in its key mechanism and never closes the dim>=3 vs dim=2 issue.",
    "Classification before repair": "Proposition (asserted)",
    "Repair applied": "Soften to 'argued heuristically to be'; cross-reference the actual gaps in Ch.3/Appendix A.",
    "Classification after repair": "Conjecture/Heuristic",
    "Remaining risk": "Medium, contingent on Ch.3/Appendix A repairs."
  },
  {
    "Book": "D",
    "Section": "02_Structural...tex §2.1",
    "Claim": "Measurement = unitary branching",
    "Original wording": "A measurement...to a correlated composite state |Psi> = sum c_i|i>|A_i>|E_i>...this weighting is not specified by the unitary dynamics itself.",
    "Problem": "Silently assumes (i) {|i>},{|A_i>},{|E_i>} orthonormal, (ii) 'measurement' means a standard von Neumann projective measurement (PVM) onto orthogonal eigenspaces; neither is ever stated explicitly anywhere in the book.",
    "Classification before repair": "Assumption (hidden)",
    "Repair applied": "Add explicit Definition of 'projective measurement' and explicit orthonormality clause.",
    "Classification after repair": "Definition (once added)",
    "Remaining risk": "Medium: without the definition, downstream additivity/Gleason-comparison claims rest on an unstated formalism."
  },
  {
    "Book": "D",
    "Section": "02_Structural...tex §2.2",
    "Claim": "Definition of 'structural stability'",
    "Original wording": "w(psi+delta psi,i) = w(psi,i) + O(||delta psi||), with no amplification of microscopic changes into macroscopic probability shifts.",
    "Problem": "This is ordinary Lipschitz/continuity of w in psi, but is labeled 'structural stability', a term of art in dynamical systems (Peixoto/Andronov-Pontryagin) meaning something different (robustness of a vector field's phase portrait under perturbing the field). Reusing the phrase risks confusing referees and lends unearned rhetorical weight to the paper's central term.",
    "Classification before repair": "Definition (terminology collision)",
    "Repair applied": "Add a remark distinguishing this bespoke usage from the standard dynamical-systems meaning of 'structural stability', or rename the concept.",
    "Classification after repair": "Definition (disambiguated)",
    "Remaining risk": "Medium: referee confusion risk, not a mathematical error."
  },
  {
    "Book": "D",
    "Section": "02_Structural...tex §2.3",
    "Claim": "Additivity requirement",
    "Original wording": "Structural consistency requires additivity: w(i) = sum_alpha w(i,alpha). Failure of additivity leads to ambiguity under coarse-graining.",
    "Problem": "This is precisely Gleason's non-contextuality + additivity hypothesis, imported via an appeal to intuition ('structural consistency requires'), with no derivation and no acknowledgement that it is Gleason's own starting axiom. Directly contradicts later claims (Ch.6, Appendix A §A.6, Appendix C §C.1) that no such axiom/measure is presupposed.",
    "Classification before repair": "Presented as self-evident consequence (Axiom dressed as obvious)",
    "Repair applied": "Relabel explicitly as an Axiom (imported from Gleason's framework); state this plainly rather than deriving it from 'structural consistency'.",
    "Classification after repair": "Axiom/Assumption (named honestly)",
    "Remaining risk": "High: this is the central, thesis-level overclaim of the whole book, first appearing here."
  },
  {
    "Book": "D",
    "Section": "02_Structural...tex §2.3",
    "Claim": "Basis independence claim",
    "Original wording": "probabilities must depend only on the intrinsic structure of the Hilbert space and not on the particular choice of basis...This basis independence excludes weighting schemes that privilege specific decompositions.",
    "Problem": "Conflates two distinct properties: unitary invariance of the functional form vs. non-contextuality (value on P independent of the rest of the decomposition it sits in). Only the latter is doing Gleason's real work.",
    "Classification before repair": "Hidden Assumption/conflation",
    "Repair applied": "Separate into two explicitly named properties: 'unitary invariance' and 'non-contextuality'.",
    "Classification after repair": "Definition (disambiguated)",
    "Remaining risk": "Medium-High."
  },
  {
    "Book": "D",
    "Section": "02_Structural...tex §2.4",
    "Claim": "Uniqueness of squared amplitudes",
    "Original wording": "only those [weights] proportional to the squared amplitudes...satisfy these stability constraints in a generic and non-fine-tuned manner.",
    "Problem": "Correctly hedged with 'we argue', proof deferred to Ch.3/Appendix A, where it is shown below to be incomplete/erroneous in its key mechanism.",
    "Classification before repair": "Conjecture",
    "Repair applied": "Cross-reference Ch.3 Lemma D.1/D.3 and note the remaining dim=2 gap.",
    "Classification after repair": "Conjecture (pending repair)",
    "Remaining risk": "Medium."
  },
  {
    "Book": "D",
    "Section": "03_Geometric...tex §3.1",
    "Claim": "Hilbert space and projective decomposition",
    "Original wording": "The state space of a quantum system is a complex Hilbert space H...H = direct-sum H_i.",
    "Problem": "No dimension restriction stated here at all, despite this being the chapter that performs the actual uniqueness argument the book's title rests on; Appendix A later restricts to d>=3 with no cross-reference back to this chapter.",
    "Classification before repair": "Definition (incomplete)",
    "Repair applied": "State d>=3 explicitly in this chapter, or explicitly flag d=2 as a separate case to be treated elsewhere.",
    "Classification after repair": "Definition (repaired)",
    "Remaining risk": "High: this is where the silent qubit-restriction problem originates."
  },
  {
    "Book": "D",
    "Section": "03_Geometric...tex §3.2",
    "Claim": "Volume-fraction heuristic",
    "Original wording": "the volume of states within a fixed angular neighborhood of H_i scales with this squared norm, so that relative volume fractions...are captured by ||psi_i||^2.",
    "Problem": "Asserted without derivation; no Fubini-Study/Haar volume integral is ever computed. Plausible and in fact classically computable (Beta-distributed marginal), but not shown.",
    "Classification before repair": "Proposition (asserted as established)",
    "Repair applied": "Supply the actual volume computation, or downgrade to Heuristic pending it.",
    "Classification after repair": "Heuristic (until computation supplied)",
    "Remaining risk": "Medium."
  },
  {
    "Book": "D",
    "Section": "03_Geometric...tex §3.3",
    "Claim": "Additivity forces f quadratic",
    "Original wording": "Under mild regularity assumptions (e.g. continuity and monotonicity), this functional constraint forces f to be quadratic: f(x) = kx^2.",
    "Problem": "Verified correct via substitution y=x^2 reducing to Cauchy's functional equation, BUT only holds given an unstated hypothesis: dim(H_i) >= 2, needed to realize an arbitrary split of the squared norm. This makes the argument vacuous for rank-1 (qubit two-outcome) subspaces -- exactly the dim=2 exception.",
    "Classification before repair": "Proposition (asserted, hypothesis missing)",
    "Repair applied": "State the dim(H_i)>=2 hypothesis explicitly; supply the Cauchy-equation proof (Lemma D.1 in closure supplement).",
    "Classification after repair": "Proposition (proven, with explicit hypothesis)",
    "Remaining risk": "Medium (correct once repaired, but repair reveals the dim=2 gap explicitly)."
  },
  {
    "Book": "D",
    "Section": "03_Geometric...tex §3.3",
    "Claim": "Role of unitary invariance",
    "Original wording": "invariance under unitary transformations further demands that the weight depend only on the inner-product structure...The squared norm is the unique scalar...satisfying these invariance requirements.",
    "Problem": "Logical jump: unitary invariance alone does not select p=2; any function g(<psi|P_i|psi>) is trivially also unitarily invariant. The exponent is fixed by the additivity argument, not by invariance. Misattributes which axiom does the work.",
    "Classification before repair": "Logical jump",
    "Repair applied": "Correct the attribution: invariance only excludes phase/coordinate-dependent alternatives; additivity (Lemma D.1) fixes the exponent.",
    "Classification after repair": "Corrected attribution",
    "Remaining risk": "Medium."
  },
  {
    "Book": "D",
    "Section": "03_Geometric...tex §3.3",
    "Claim": "Chapter conclusion: Born rule uniquely selected",
    "Original wording": "the Born rule...emerges as the unique geometrically natural and structurally consistent measure on projective Hilbert space.",
    "Problem": "Overreaches: even granting the repaired local Lemma D.1, this establishes uniqueness only within one outcome subspace's own refinements (dim>=2), not the harder Gleason-grade cross-context/global consistency that forces a single measure valid across every resolution of the identity -- the actual technical heart of Gleason's theorem, and exactly why it needs dim>=3 and fails at dim=2.",
    "Classification before repair": "Proposition (overreaching)",
    "Repair applied": "Restrict the claim to local uniqueness; add explicit remark on the unclosed global-consistency gap and the dim=2 exception (Remark D.2).",
    "Classification after repair": "Proposition (scope restricted) + open Conjecture for global case",
    "Remaining risk": "High."
  },
  {
    "Book": "D",
    "Section": "03_Geometric...tex §3.4",
    "Claim": "Linear weighting fails additivity",
    "Original wording": "Linear weighting w prop ||psi_i|| violates additivity under subspace refinement.",
    "Problem": "Verified TRUE by direct computation (Pythagoras implies sum of norms generically != norm of sum). Correct claim, just asserted rather than proven.",
    "Classification before repair": "Proposition (asserted, provable)",
    "Repair applied": "Add explicit two-line proof (Lemma D.2).",
    "Classification after repair": "Proposition (proven)",
    "Remaining risk": "Low, once proof added."
  },
  {
    "Book": "D",
    "Section": "03_Geometric...tex §3.4",
    "Claim": "p-norm tensor-composition argument",
    "Original wording": "Higher-order weightings w prop ||psi_i||^p with p != 2 lead to concentration or dilution effects that are unstable under tensor-product composition.",
    "Problem": "Verified FALSE as the stated mechanism: for product states, ||(psi tensor phi)_ij|| = ||psi_i|| ||phi_j||, so mu_p factorizes as mu_p(psi)mu_p(phi) for EVERY p, not only p=2. The actual, correct, distinguishing property of p=2 is automatic normalization (sum_i||psi_i||^p = 1 for every decomposition only at p=2, via Parseval/Pythagoras), a different argument not stated here. Identical error recurs in Appendix A §A.4.",
    "Classification before repair": "Proposition (stated as fact)",
    "Repair applied": "Replace with the correct normalization-based argument (Lemma D.3).",
    "Classification after repair": "Proposition (corrected)",
    "Remaining risk": "High: a stated 'proof' ingredient is mathematically incorrect as written."
  },
  {
    "Book": "D",
    "Section": "04_Decoherence...tex §4.2",
    "Claim": "Decoherence kernel definition",
    "Original wording": "rho_ij(t) ~ rho_ij(0) K_ij(t), K_ii(t)=1, |K_ij(t)| -> 0 (i != j).",
    "Problem": "No explicit functional form of K_ij(t) is ever given; no model Hamiltonian, no coupling constant, no citation to the standard decoherence literature (Zurek, Joos-Zeh, Schlosshauer). Presented as if fully general rather than a phenomenological ansatz.",
    "Classification before repair": "Postulate/Physical Interpretation (phenomenological, unlabeled as such)",
    "Repair applied": "Explicitly label as a phenomenological ansatz; add citations.",
    "Classification after repair": "Postulate (labeled)",
    "Remaining risk": "Medium."
  },
  {
    "Book": "D",
    "Section": "04_Decoherence...tex §4.2",
    "Claim": "Pointer basis selection",
    "Original wording": "The basis in which decoherence is maximally effective is called the pointer basis. It is selected dynamically by the structure of the system-environment interaction Hamiltonian.",
    "Problem": "Asserted, not derived: no H_int is ever written down, and the standard selection rule (pointer states = eigenstates commuting with/nearest-commuting with H_int, i.e. Zurek's predictability sieve) is never stated.",
    "Classification before repair": "Assumption (unjustified as 'dynamical')",
    "Repair applied": "Add explicit definition citing the predictability-sieve criterion (Def. D.2).",
    "Classification after repair": "Definition (once added, with citation)",
    "Remaining risk": "Medium-High: Focus C explicitly asks this question."
  },
  {
    "Book": "D",
    "Section": "04_Decoherence...tex §4.2",
    "Claim": "Pointer basis = measurement basis",
    "Original wording": "This dynamical selection aligns with the projective decomposition introduced in Section 3: the pointer subspaces H_i define the physically meaningful measurement outcomes.",
    "Problem": "Hidden assumption/logical jump: nothing shows the dynamically-selected pointer basis (for an unspecified H_int) coincides with the abstractly posited outcome basis of Ch.2/3; asserted as 'alignment' without argument.",
    "Classification before repair": "Hidden Assumption",
    "Repair applied": "State explicitly as an assumption, not a consequence.",
    "Classification after repair": "Assumption (named)",
    "Remaining risk": "High: load-bearing link between chapters, unjustified."
  },
  {
    "Book": "D",
    "Section": "04_Decoherence...tex §4.3",
    "Claim": "Decoherence preserves diagonal weights",
    "Original wording": "decoherence does not alter the diagonal weights |c_i|^2...Thus, decoherence acts as a filter that eliminates unstable superpositions while leaving invariant a specific set of weights.",
    "Problem": "True but trivial given the K_ij ansatz (K_ii=1 by construction); presented as a nontrivial derived result rather than an immediate consequence of the modeling assumption in §4.2.",
    "Classification before repair": "Proposition (presented as nontrivial)",
    "Repair applied": "Note explicitly that this follows immediately from the §4.2 ansatz.",
    "Classification after repair": "Corollary (of Definition, trivial)",
    "Remaining risk": "Low."
  },
  {
    "Book": "D",
    "Section": "04_Decoherence...tex §4.4",
    "Claim": "Born weights as dynamically stable fixed points",
    "Original wording": "Any deviation from squared-norm weights would correspond to a different invariant assignment. However, such assignments are dynamically unstable: small perturbations...drive the system back toward the Born weights.",
    "Problem": "Unproven: the stated model (§4.2 kernel ansatz) only ever damps off-diagonal terms; it contains no mechanism that could move a population p_i toward or away from any value. No explicit dynamical map or linear-stability/eigenvalue analysis is given.",
    "Classification before repair": "Proposition (assumed proved)",
    "Repair applied": "Downgrade to Conjecture; note that an explicit Lindbladian with population-relaxation terms plus linear stability analysis would be needed to support the claim.",
    "Classification after repair": "Conjecture (downgraded)",
    "Remaining risk": "High."
  },
  {
    "Book": "D",
    "Section": "04_Decoherence...tex §4.4",
    "Claim": "Large-N reinforcement of decoherence stability",
    "Original wording": "In the large-environment (large-N) limit, measure concentration further reinforces this stability.",
    "Problem": "Conflates two different 'N's: number of environmental degrees of freedom (this section's context) vs. number of repeated copies/trials of the measured system (Ch.5's N). Borrows Ch.5's result rhetorically for a different physical limit.",
    "Classification before repair": "Logical jump/terminology conflation",
    "Repair applied": "Rename this section's N to N_env and Ch.5's to N_copies; state explicitly that these are different limits.",
    "Classification after repair": "Terminology corrected",
    "Remaining risk": "Medium-High: exactly the conflation Focus C warns about."
  },
  {
    "Book": "D",
    "Section": "05_Large-N...tex §5.2",
    "Claim": "Squared norm of frequency-sector projection",
    "Original wording": "||Pi_n Psi_N||^2 = N!/(prod n_i!) * prod |c_i|^{2n_i}.",
    "Problem": "Verified CORRECT: standard multinomial combinatorics for a tensor-power product state.",
    "Classification before repair": "Lemma (provable)",
    "Repair applied": "Promote to explicit Lemma with proof (already essentially given in text).",
    "Classification after repair": "Lemma (proven)",
    "Remaining risk": "Low."
  },
  {
    "Book": "D",
    "Section": "05_Large-N...tex §5.2",
    "Claim": "Stirling/KL divergence approximation",
    "Original wording": "||Pi_n Psi_N||^2 ~ exp[-N D(f||p)], with D the KL divergence.",
    "Problem": "Verified CORRECT: standard method-of-types/large-deviations (Sanov-type) asymptotic. No citation given despite being a 60-year-old standard result.",
    "Classification before repair": "Proposition (provable, standard, uncited)",
    "Repair applied": "Add citation (Cover & Thomas; Dembo & Zeitouni).",
    "Classification after repair": "Proposition (proven, cited)",
    "Remaining risk": "Low-Medium (citation only)."
  },
  {
    "Book": "D",
    "Section": "05_Large-N...tex §5.3",
    "Claim": "Haar-measure concentration statement",
    "Original wording": "The space H^{otimes N} equipped with the natural (Haar-induced) measure exhibits strong concentration phenomena...mu({|Phi>: sum|f_i-p_i|>eps}) <= exp(-cN eps^2).",
    "Problem": "As literally written this quantifies over arbitrary Haar-random |Phi>, which has no relation to psi or p_i and for which 'frequency vector' isn't even well-defined; a Haar-random state's marginal frequencies would concentrate near the UNIFORM distribution, not p_i=|c_i|^2. Almost certainly intended as a restatement of the correct, state-specific §5.2 result (as Appendix B §B.3 states it correctly), but as written the claim does not type-check.",
    "Classification before repair": "Mathematical imprecision / likely error as literally stated",
    "Repair applied": "Rewrite to match Appendix B §B.3's correctly-scoped phrasing (sum over sectors of the specific deterministic state's own norm, no Haar measure over arbitrary states).",
    "Classification after repair": "Proposition (corrected)",
    "Remaining risk": "High: a boxed, theorem-styled claim that does not type-check as written."
  },
  {
    "Book": "D",
    "Section": "05_Large-N...tex §5.3",
    "Claim": "Unspecified rate constant",
    "Original wording": "for some constant c>0.",
    "Problem": "Constant never specified or derived (would be a Chernoff/rate-function value in the standard theory).",
    "Classification before repair": "Needed citation/derivation",
    "Repair applied": "Provide the explicit rate-function form or cite the source.",
    "Classification after repair": "Proposition (constant specified or cited)",
    "Remaining risk": "Low-Medium."
  },
  {
    "Book": "D",
    "Section": "05_Large-N...tex §5.4",
    "Claim": "Born rule emerges 'without probability'",
    "Original wording": "this convergence is not interpreted as a probabilistic law...No probabilistic postulate has been introduced. The result follows from the high-dimensional geometry.",
    "Problem": "Conflates typicality with probability, and is circular: the concentrated quantity is a squared Hilbert-space norm computed using |c_i|^2 as the per-trial weight already assumed upstream (Ch.2/3/Appendix A). Shows only that IF single-shot weights are |c_i|^2 THEN empirical frequencies concentrate there (ordinary law of large numbers for ANY consistently-assigned probability), not an independent reason nature picks |c_i|^2. Corroborated by born_rule_measure_concentration.py, which samples directly from |c_i|^2 via rng.multinomial and verifies convergence back to it -- a correct LLN demonstration, not a test against alternative weightings.",
    "Classification before repair": "Proposition (presented as independent derivation)",
    "Repair applied": "Downgrade to 'Numerical/mathematical illustration of self-consistency (Law of Large Numbers corollary)'; add explicit circularity remark (Remark D.3).",
    "Classification after repair": "Numerical Evidence/Corollary (reclassified)",
    "Remaining risk": "High: central conceptual conflation flagged explicitly by the audit brief."
  },
  {
    "Book": "D",
    "Section": "05_Large-N...tex §5.4",
    "Claim": "Synthesis: Born rule as geometric/dynamical necessity",
    "Original wording": "Therefore, the Born rule emerges as a geometric and dynamical necessity, not as an axiom or subjective probability assignment.",
    "Problem": "Inherits every gap of Ch.2-5 (existence-of-measure assumption, dim=2 gap, p-norm error, dynamical-stability conjecture, typicality/probability conflation).",
    "Classification before repair": "Overreaching conclusion",
    "Repair applied": "Restate as 'consistent with, not independently derived from' upstream assumptions.",
    "Classification after repair": "Conjecture (contingent)",
    "Remaining risk": "High."
  },
  {
    "Book": "D",
    "Section": "06_Relation to Gleason...tex §6.1",
    "Claim": "Statement of Gleason's theorem",
    "Original wording": "Gleason's theorem establishes that, for a Hilbert space of dimension dim H >= 3, any measure mu...must take the form mu(P) = Tr(rho P).",
    "Problem": "Accurate paraphrase including the dim>=3 hypothesis (correctly stated when describing Gleason specifically); no citation given (Gleason 1957).",
    "Classification before repair": "Citation/Definition (correct, uncited)",
    "Repair applied": "Add citation.",
    "Classification after repair": "Citation/Definition (cited)",
    "Remaining risk": "Low."
  },
  {
    "Book": "D",
    "Section": "06_Relation to Gleason...tex §6.2",
    "Claim": "No probability measure assumed",
    "Original wording": "No probability measure is assumed at the outset [in our approach].",
    "Problem": "Directly contradicted by Appendix A §A.1, which posits the existence of exactly such a normalized map mu from its first line, and by Ch.2 §2.3's imported additivity axiom. This is the central, thesis-level overclaim of the book.",
    "Classification before repair": "Proposition (assumed true)",
    "Repair applied": "Reframe: 'a normalized weighting map is assumed to exist, exactly as in Gleason's setup; what is not assumed in advance is its functional form.'",
    "Classification after repair": "Proposition (corrected, honest)",
    "Remaining risk": "High: determines the answer to Focus B's (a)/(b)/(c) classification question -- correct answer is (b) shading into (c), not (a)."
  },
  {
    "Book": "D",
    "Section": "06_Relation to Gleason...tex §6.2",
    "Claim": "Additivity as consequence not axiom",
    "Original wording": "Additivity, positivity, and normalization are not axioms but consequences of invariance, decoherence, and measure concentration.",
    "Problem": "Self-contradicted by Appendix A §A.2, where additivity is explicitly listed as one of four IMPOSED conditions, not derived from anything.",
    "Classification before repair": "Self-contradictory claim",
    "Repair applied": "Reframe: 'Additivity is assumed (Appendix A §A.2); we show only that, once assumed, it helps fix the exponent under an additional dimensional hypothesis (Lemma D.1).'",
    "Classification after repair": "Proposition (corrected)",
    "Remaining risk": "High."
  },
  {
    "Book": "D",
    "Section": "06_Relation to Gleason...tex §6.2",
    "Claim": "'Logically prior' framing",
    "Original wording": "the present framework addresses the logically prior question: why does any outcome-weighting scheme exist at all, and why is only one stable?",
    "Problem": "Unproven meta-claim: existence of a weighting scheme is assumed (Appendix A §A.1), not derived, so the 'logically prior question' is not actually answered, only rhetorically posed.",
    "Classification before repair": "Overstated meta-claim",
    "Repair applied": "Replace with 'a complementary question, contingent on the same existence-of-a-weighting-map assumption Gleason makes.'",
    "Classification after repair": "Physical Interpretation (reframed, honest)",
    "Remaining risk": "High."
  },
  {
    "Book": "D",
    "Section": "06_Relation to Gleason...tex §6.4",
    "Claim": "Gleason/envariance/decision theory as corollaries",
    "Original wording": "Gleason's theorem, envariance, and decision-theoretic results emerge as consistent corollaries within the Born-weighted sector selected by stability.",
    "Problem": "Asserted, never derived anywhere in the book; no proof or proof sketch given that any of these three results follows from this book's stability postulates.",
    "Classification before repair": "Conjecture (no supporting argument offered at all)",
    "Repair applied": "Either supply a derivation or explicitly label as an open conjecture.",
    "Classification after repair": "Conjecture (labeled)",
    "Remaining risk": "High."
  },
  {
    "Book": "D",
    "Section": "07_Discussion...tex §7.2",
    "Claim": "Measurement problem 'resolved'",
    "Original wording": "the tension is resolved without introducing wavefunction collapse or additional axioms.",
    "Problem": "Overstrong on two counts: (i) 'resolved' given Ch.4's unproven dynamical-stability claim and Ch.3/Appendix A's unclosed global-uniqueness/dim>=3 gaps; (ii) 'without additional axioms' is false since additivity/non-contextuality (Ch.2 §2.3, Appendix A §A.2) is exactly such an axiom, imported from Gleason.",
    "Classification before repair": "Overreaching claim",
    "Repair applied": "Soften to 'addressed within an Everett/typicality-adjacent picture, contingent on Chapters 2-5's stability and uniqueness claims'; delete 'without additional axioms'.",
    "Classification after repair": "Physical Interpretation (qualified)",
    "Remaining risk": "High."
  },
  {
    "Book": "D",
    "Section": "07_Discussion...tex §7.3",
    "Claim": "Typicality defined objectively",
    "Original wording": "Typicality is defined objectively through measure concentration in Hilbert space, not through subjective ignorance or observer-dependent probabilities.",
    "Problem": "Reproduces, uncited, a position from the existing quantum/Bohmian and Everettian typicality literature (Durr-Goldstein-Zanghi; Wallace; Kent's critiques); inherits Ch.5's circularity (the 'typicality' measure used is itself the squared-norm measure whose privileged status is what's meant to be explained); no engagement with known objections.",
    "Classification before repair": "Physical Interpretation (uncited, unqualified)",
    "Repair applied": "Add citations; acknowledge known objections (e.g. Kent's critique of typicality-based Born-rule arguments).",
    "Classification after repair": "Physical Interpretation (qualified, cited)",
    "Remaining risk": "Medium."
  },
  {
    "Book": "D",
    "Section": "08_Appendix_A.tex §A.1",
    "Claim": "Existence of mu assumed vs. denied elsewhere",
    "Original wording": "A probability assignment is a map mu: P(H) x {P_i} -> [0,1]...In this work, we do not assume mu a priori to satisfy the Born rule.",
    "Problem": "True narrowly (functional form not assumed) but existence of a normalized [0,1]-valued mu IS assumed here on the first line -- precisely Gleason's own starting assumption -- directly falsifying Ch.6/Appendix C's 'no probability measure is assumed at the outset.'",
    "Classification before repair": "Definition (existence assumption, mislabeled elsewhere as absent)",
    "Repair applied": "Cross-reference explicitly: 'mu's existence is assumed, as in Gleason; only its functional form is derived.'",
    "Classification after repair": "Definition (honestly scoped)",
    "Remaining risk": "High."
  },
  {
    "Book": "D",
    "Section": "08_Appendix_A.tex §A.1",
    "Claim": "Silent dim>=3 restriction, no dim=2 treatment",
    "Original wording": "Let H be a complex separable Hilbert space of dimension d >= 3.",
    "Problem": "This is the ONLY place in the whole book where d>=3 is stated; never surfaced in the main narrative (Files 1-7) or the comparison chapters (Files 6, 10); the qubit case (d=2), where Gleason's theorem is KNOWN TO FAIL, is never mentioned anywhere in the book.",
    "Classification before repair": "Hidden Assumption/Undisclosed scope restriction",
    "Repair applied": "State the restriction in Ch.2/Ch.3 (not only the appendix); add explicit remark on why d=2 is excluded and what would be needed to treat it (Remark D.2).",
    "Classification after repair": "Hidden Assumption (surfaced, still open for d=2)",
    "Remaining risk": "High: directly the qubit-silent-restriction error the audit brief asks to check for."
  },
  {
    "Book": "D",
    "Section": "08_Appendix_A.tex §A.2",
    "Claim": "Four structural stability conditions",
    "Original wording": "Continuity; Unitary Invariance; Additivity; Stability Under Perturbations. The last condition is the key non-axiomatic input.",
    "Problem": "Conditions 1-3 are verbatim Gleason's own hypotheses. Condition 4 substantially overlaps condition 1 (continuity in psi) without the text clarifying what it adds (perturbation of the state vs. of the measurement context are not distinguished).",
    "Classification before repair": "Underspecified/possibly redundant axiom",
    "Repair applied": "Clarify whether condition 4 concerns state-perturbation or context-perturbation; if the latter, state it as a separate, explicit hypothesis.",
    "Classification after repair": "Definition (disambiguated)",
    "Remaining risk": "Medium."
  },
  {
    "Book": "D",
    "Section": "08_Appendix_A.tex §A.4",
    "Claim": "Proposition A.1 (central theorem)",
    "Original wording": "the only structurally stable choice satisfying the conditions of Section A.2 is mu([psi],P_i) = ||psi_i||^2.",
    "Problem": "Local additivity argument is salvageable given the added dim(H_i)>=2 hypothesis (not stated); but the proof never addresses mixed states, and never addresses the cross-context/global-consistency step that is the actual hard content of Gleason's theorem (why dim>=3 is needed, why dim=2 fails). As presented (with a formal QED box) it claims more than is shown.",
    "Classification before repair": "Proposition (marked as proven, formal QED)",
    "Repair applied": "Downgrade to Prop. D.1: local uniqueness only, dim(H_i)>=2, pure states only, explicit remark that global cross-context uniqueness is open and known to fail at dim H=2.",
    "Classification after repair": "Conjecture, partially supported (downgraded)",
    "Remaining risk": "Critical/Highest: this is the book's only formal proof attempt and it does not go through as written."
  },
  {
    "Book": "D",
    "Section": "08_Appendix_A.tex §A.4",
    "Claim": "Tensor-composition argument for excluding p!=2",
    "Original wording": "for p != 2, the induced measure...is not preserved under composition of independent subsystems: mu_p(psi tensor phi) != mu_p(psi) mu_p(phi).",
    "Problem": "Verified FALSE by direct computation: ||(psi tensor phi)_ij|| = ||psi_i|| ||phi_j||, so mu_p factorizes for every p. The correct distinguishing property of p=2 is automatic normalization via Parseval/Pythagoras (sum_i ||psi_i||^p = 1 for every decomposition only at p=2), a different, correct argument not used here.",
    "Classification before repair": "Mathematical error in stated proof mechanism",
    "Repair applied": "Replace with the correct normalization argument (Lemma D.3).",
    "Classification after repair": "Proposition (corrected)",
    "Remaining risk": "Critical: a formally 'proved' proposition's key step is mathematically false as written."
  },
  {
    "Book": "D",
    "Section": "08_Appendix_A.tex §A.6",
    "Claim": "'Does not presuppose non-contextuality'",
    "Original wording": "Unlike Gleason's theorem...our derivation: does not assume probability axioms, does not presuppose non-contextuality, derives the squared norm from stability rather than logic.",
    "Problem": "FALSE: non-contextuality means the value assigned to P does not depend on which larger orthogonal resolution of the identity it is embedded in. Section A.1 DEFINES mu as a function of state and a SINGLE projector P_i, with no dependence on the rest of the decomposition -- this IS the non-contextuality assumption, built into the definition of mu itself, before any stability argument runs. Directly self-contradictory within the same appendix.",
    "Classification before repair": "Self-contradictory/false claim",
    "Repair applied": "Delete; replace with 'assumes non-contextuality exactly as Gleason does, built into the definition of mu in §A.1; what is not assumed in advance is the functional form.'",
    "Classification after repair": "Corrected (honest)",
    "Remaining risk": "Critical/Highest: the sharpest, most checkable instance of the book's central overclaim."
  },
  {
    "Book": "D",
    "Section": "08_Appendix_A.tex §A.6",
    "Claim": "Gleason as corollary not starting point",
    "Original wording": "Gleason's result emerges here as a corollary, not a starting point.",
    "Problem": "Reverse of the truth given the above: Gleason's hypotheses (existence of measure, non-contextual additivity, dim>=3) ARE this appendix's starting point (§A.1-A.2); what follows is a narrower, partially-flawed, LOCAL version of Gleason's conclusion, not a derivation from which Gleason's axioms would follow.",
    "Classification before repair": "False claim",
    "Repair applied": "Replace with 'Gleason's hypotheses are this appendix's starting point; the added content is a restricted, local version of Gleason's uniqueness conclusion.'",
    "Classification after repair": "Corrected (honest)",
    "Remaining risk": "Critical."
  },
  {
    "Book": "D",
    "Section": "09_Appendix_B.tex §B.1-B.2",
    "Claim": "Setup duplicates Ch.5",
    "Original wording": "Let H be a finite-dimensional Hilbert space...An outcome sequence is characterized by empirical frequencies f_i := n_i/N.",
    "Problem": "Verified correct, consistent with Ch.5; but near-total content duplication of Ch.5 without materially new technical substance -- an organizational redundancy, not a rigor problem.",
    "Classification before repair": "Definition/Lemma (correct, redundant)",
    "Repair applied": "Consider merging with Ch.5 in a future revision to remove duplication.",
    "Classification after repair": "Definition/Lemma (unchanged)",
    "Remaining risk": "Low (organizational only)."
  },
  {
    "Book": "D",
    "Section": "09_Appendix_B.tex §B.3",
    "Claim": "Correctly-scoped concentration statement",
    "Original wording": "sum_{max_i|f_i-w_i|>eps} ||Pi_f Psi^{(N)}||^2 -> 0 as N -> infinity.",
    "Problem": "This is the CORRECT, well-posed version of the claim File 5 §5.3 states imprecisely (sums only over sectors of the specific deterministic state's own norm, no Haar measure over arbitrary states invoked).",
    "Classification before repair": "Proposition (correct)",
    "Repair applied": "Backport this phrasing into Ch.5 §5.3 (cross-reference LARGEN-2).",
    "Classification after repair": "Proposition (correct, canonical)",
    "Remaining risk": "Low: this is the book's best-stated version of the concentration result."
  },
  {
    "Book": "D",
    "Section": "09_Appendix_B.tex §B.4-B.5",
    "Claim": "Typicality vs. probability, again",
    "Original wording": "Typicality and Structural Selection...Emergence of the Born Rule Without Probability...No stochastic assumptions...enters the argument.",
    "Problem": "Repeats Ch.5 §5.4's typicality/probability conflation and circularity (the ambient measure concentrated on is itself built from the already-assumed squared-norm weight).",
    "Classification before repair": "Proposition (presented as independent derivation)",
    "Repair applied": "Same repair as Ch.5: Remark D.3 (circularity/typicality-vs-probability), applied here too.",
    "Classification after repair": "Numerical Evidence/Corollary (reclassified)",
    "Remaining risk": "High (same driver as Ch.5)."
  },
  {
    "Book": "D",
    "Section": "09_Appendix_B.tex §B.6",
    "Claim": "Non-Born weights structurally unstable",
    "Original wording": "Suppose one postulates alternative weights mu_i = f(||psi_i||^2) with f != id. Then, generically: the large-N state does not concentrate...",
    "Problem": "Same unproven-mechanism issue as Ch.3 §3.4/Appendix A §A.5: asserts dispersion/instability without a supporting calculation for general f.",
    "Classification before repair": "Conjecture (asserted)",
    "Repair applied": "Supply explicit calculation or downgrade formally to Conjecture with the missing calculation named.",
    "Classification after repair": "Conjecture (labeled)",
    "Remaining risk": "Medium-High."
  },
  {
    "Book": "D",
    "Section": "10_Appendix_C.tex §C.1",
    "Claim": "'Logically prior' to Gleason (strongest form)",
    "Original wording": "our derivation is logically prior to Gleason's theorem: Gleason's assumptions become consequences of structural stability rather than axioms.",
    "Problem": "The single most explicit statement of the book's central overclaim; contradicted by Appendix A's own formal setup (existence of mu, non-contextuality, additivity all assumed there, not derived). Highest-priority sentence to patch in the entire book.",
    "Classification before repair": "Proposition (central thesis claim)",
    "Repair applied": "Replace per patch APPC-1: state the shared-starting-point relationship honestly.",
    "Classification after repair": "Proposition (corrected, honest)",
    "Remaining risk": "Critical/Highest."
  },
  {
    "Book": "D",
    "Section": "10_Appendix_C.tex §C.1",
    "Claim": "Three 'does not assume' bullets",
    "Original wording": "the present framework does not assume: the existence of a probability measure; additivity as an axiom; non-contextuality as a primitive postulate.",
    "Problem": "All three bullets are individually, specifically contradicted by Appendix A (§A.1 for existence and non-contextuality; §A.2 condition 3 for additivity).",
    "Classification before repair": "Proposition (three specific false claims)",
    "Repair applied": "Delete or replace with an honest statement of what IS assumed.",
    "Classification after repair": "Corrected (honest)",
    "Remaining risk": "Critical."
  },
  {
    "Book": "D",
    "Section": "10_Appendix_C.tex §C.2",
    "Claim": "Envariance as special case",
    "Original wording": "Envariance may thus be viewed as a special-case manifestation of a deeper geometric stability principle.",
    "Problem": "Asserted, no derivation anywhere connecting envariance's symmetry argument to this book's stability postulates; no citation to Zurek.",
    "Classification before repair": "Conjecture (unsupported)",
    "Repair applied": "Label explicitly as an open conjecture; add citation.",
    "Classification after repair": "Conjecture (labeled, cited)",
    "Remaining risk": "Medium."
  },
  {
    "Book": "D",
    "Section": "10_Appendix_C.tex §C.3",
    "Claim": "Decision theory recoverable as summary",
    "Original wording": "Decision-theoretic results, when valid, can be recovered as effective summaries of the structurally selected weights, rather than their foundation.",
    "Problem": "Asserted, not derived; no citation to Deutsch/Wallace.",
    "Classification before repair": "Conjecture (unsupported)",
    "Repair applied": "Label explicitly as an open conjecture; add citation.",
    "Classification after repair": "Conjecture (labeled, cited)",
    "Remaining risk": "Medium."
  },
  {
    "Book": "D",
    "Section": "Book-wide",
    "Claim": "Absence of citations",
    "Original wording": "(applies to all ten files)",
    "Problem": "Zero \\cite commands and no bibliography anywhere in the book, despite extensive named discussion of Gleason, envariance, and decision-theoretic programs.",
    "Classification before repair": "Needed citation (book-wide gap)",
    "Repair applied": "Add a bibliography with Gleason 1957; Zurek 2003 (envariance); Deutsch 1999/Wallace 2012 (decision theory); Zeh/Joos/Schlosshauer (decoherence); Everett 1957.",
    "Classification after repair": "Citation gap (to be closed)",
    "Remaining risk": "Medium (referee will notice immediately)."
  },
  {
    "Book": "E",
    "Section": "01_Abstract.tex",
    "Claim": "U001: common origin of singularities and Born rule",
    "Original wording": "these two pathologies share a common origin: the absence of a stability criterion selecting physically admissible structures",
    "Problem": "Asserted as fact in abstract; no mathematical bridge exists anywhere in the book (see U036 finding)",
    "Classification before repair": "Conjecture presented as established fact",
    "Repair applied": "Downgrade to explicit conjecture/heuristic framing in abstract wording",
    "Classification after repair": "Conjecture / Physical Interpretation",
    "Remaining risk": "Medium — abstract oversells relative to book's own Conclusion"
  },
  {
    "Book": "E",
    "Section": "01_Abstract.tex",
    "Claim": "U002: singularities excluded, probabilities emerge as uniquely stable measures",
    "Original wording": "gravitational singularities are excluded and quantum probabilities emerge as uniquely stable measures",
    "Problem": "Indicative-mood claim of settled results; contradicts book's own later hedge (12.2)",
    "Classification before repair": "Heuristic stated as Theorem-strength result",
    "Repair applied": "Reword to 'are argued to be excluded' / 'are proposed to emerge'",
    "Classification after repair": "Physical Interpretation",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "01_Abstract.tex",
    "Claim": "U003: scope hedge",
    "Original wording": "The scope of this paper is conceptual and structural: we do not present a full unified dynamical theory",
    "Problem": "None — this is the correct, honest framing; flagged only because it is inconsistent with U002 two sentences earlier",
    "Classification before repair": "Accurate self-assessment",
    "Repair applied": "No repair needed; propagate this hedge earlier/into U002",
    "Classification after repair": "Assumption (correctly labeled)",
    "Remaining risk": "Low"
  },
  {
    "Book": "E",
    "Section": "02_Structural Stability as a Foundational Principle.tex",
    "Claim": "U004: formal definition of structural stability",
    "Original wording": "for any sufficiently small perturbation δS, the perturbed theory T'=T(S+δS) remains physically equivalent to T",
    "Problem": "No topology/metric defined on structure space S; 'sufficiently small' and 'physically equivalent' left quantitatively undefined",
    "Classification before repair": "Definition presented as complete/rigorous",
    "Repair applied": "Add explicit topology/uniform structure on S and a stated equivalence relation (see closure supplement Def. E.1-E.2)",
    "Classification after repair": "Definition (incomplete, repairable)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "02_Structural Stability as a Foundational Principle.tex",
    "Claim": "U007: selection principles beyond action functionals",
    "Original wording": "selection principles... do not replace dynamics; instead, they constrain it",
    "Problem": "The general 'selection principle' object promised here is not formalized until Appendix A (11 files later), under a different symbol (X instead of S), and never instantiated with a formula",
    "Classification before repair": "Programmatic claim with deferred, ultimately unfulfilled formalization",
    "Repair applied": "Cross-reference forward to Appendix A.1 explicitly; note in Appendix A that X is meant to be S/O from Ch. 2-3",
    "Classification after repair": "Physical Interpretation / unfulfilled forward reference",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "03_The Pre-Physical State Space.tex",
    "Claim": "U008: introduction of pre-physical state space O",
    "Original wording": "No a priori metric, causal structure, or dimensionality is assumed on O",
    "Problem": "Deliberately unconstructed primitive; acceptable as an axiom but means nothing about O is checkable",
    "Classification before repair": "Axiom/Postulate",
    "Repair applied": "None needed if explicitly labeled as a postulate rather than an established object",
    "Classification after repair": "Postulate",
    "Remaining risk": "Low (if labeled honestly)"
  },
  {
    "Book": "E",
    "Section": "03_The Pre-Physical State Space.tex",
    "Claim": "U009: O sufficient to encode quantum and gravitational DOF",
    "Original wording": "O is defined by relational and structural properties sufficient to encode both quantum and gravitational degrees of freedom",
    "Problem": "Existence claim with no construction given anywhere in the book",
    "Classification before repair": "Assumption presented with definitional confidence ('is defined by')",
    "Repair applied": "Reword to 'is postulated to be rich enough to encode...' and flag as open construction problem",
    "Classification after repair": "Assumption / Open Problem",
    "Remaining risk": "High — this is exactly the object the unification would need to be built on"
  },
  {
    "Book": "E",
    "Section": "03_The Pre-Physical State Space.tex",
    "Claim": "U011: measure on O plays dual role (quantum + gravitational)",
    "Original wording": "the measure... underlies probabilistic predictions in quantum theory and selects dynamically stable configurations in gravitational contexts... In the quantum limit, this reduces to the squared-norm measure... while in the gravitational limit it constrains the admissible geometric configurations",
    "Problem": "THE central candidate unification claim; no reduction map O→H or O→{metrics} is ever constructed; no proof that a single measure specializes to both; never revisited in Ch.4 or Ch.7, which build their results independently and directly",
    "Classification before repair": "Presented as an established mechanism ('reduces to', 'constrains')",
    "Repair applied": "Recast as an explicit open conjecture (see closure_supplement_section.tex, Conjecture E.1) requiring maps π_Q, π_G and proofs of pushforward/typicality claims",
    "Classification after repair": "Conjecture (currently unconstructed)",
    "Remaining risk": "High — this is the single most important gap for the whole book's central claim"
  },
  {
    "Book": "E",
    "Section": "03_The Pre-Physical State Space.tex",
    "Claim": "U012: non-degeneracy criterion",
    "Original wording": "the measure must not collapse onto sets of zero structural dimension",
    "Problem": "'structural dimension' is an undefined term, used only here in the entire book",
    "Classification before repair": "Definition using an undefined technical term",
    "Repair applied": "Define 'structural dimension' explicitly or replace with a standard measure-theoretic notion (e.g. support of positive Lebesgue/Hausdorff measure)",
    "Classification after repair": "Definition (incomplete)",
    "Remaining risk": "Low-Medium"
  },
  {
    "Book": "E",
    "Section": "04_Measure Geometry and the Origin of Probability.tex",
    "Claim": "U015: uniqueness of squared-norm measure",
    "Original wording": "the measure on H is uniquely fixed up to normalization... μ(P_i|ψ)=⟨ψ|P_i|ψ⟩",
    "Problem": "No proof given in this chapter; deferred to Appendix A.2, which itself omits the dimension≥3 hypothesis needed for a genuine Gleason-type uniqueness result",
    "Classification before repair": "Proposition asserted without in-chapter proof",
    "Repair applied": "Add explicit cross-reference to Appendix A.2 and note the dimension caveat there",
    "Classification after repair": "Proposition (proof incomplete — see Appendix A finding)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "04_Measure Geometry and the Origin of Probability.tex",
    "Claim": "U016: Born rule 'not postulated but derived'",
    "Original wording": "The Born rule is thus not postulated but derived as the unique measure compatible with structural stability",
    "Problem": "Relative derivation only: Born rule follows FROM the additivity/invariance/stability postulates of Sec 4.1 and Ch.2, which are themselves unproven physical postulates substituted for the Born rule itself",
    "Classification before repair": "Overstrong: implies an assumption-free derivation",
    "Repair applied": "Reword to 'obtained as the essentially unique consequence of the structural-stability postulates adopted in Sec 4.1', making the substitution of postulates explicit",
    "Classification after repair": "Postulate-conditioned Proposition",
    "Remaining risk": "Medium (language matches source Born-Rule book's own overstatement — not a new inflation)"
  },
  {
    "Book": "E",
    "Section": "04_Measure Geometry and the Origin of Probability.tex",
    "Claim": "U017: alternative weightings fail",
    "Original wording": "Linear measures violate additivity under superposition. Higher-order measures are unstable under decomposition... Contextual assignments... lack invariance",
    "Problem": "Linear-case argument is informally correct and checkable; higher-power (p≠2) and contextual cases are asserted, not demonstrated, in this chapter",
    "Classification before repair": "Proposition, partially unproven",
    "Repair applied": "Supply the general p≠2 non-additivity argument explicitly (sketched in closure supplement)",
    "Classification after repair": "Proposition (linear case verified; p≠2/contextual cases asserted)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "05_Dynamical Stability and Decoherence.TEX",
    "Claim": "U019: decoherence kernel exponential ansatz",
    "Original wording": "ρ_ij(t) ~ ρ_ij(0) e^{-Γ_ij t}",
    "Problem": "Γ_ij never given a formula or dependence on system-environment coupling; exponential form asserted as general when real decoherence functionals are frequently model-dependent (e.g. Gaussian decay)",
    "Classification before repair": "Definition presented as a general law",
    "Repair applied": "Label explicitly as a toy-model/illustrative ansatz; cite Joos-Zeh/Zurek for the general model-dependence of decoherence functional forms",
    "Classification after repair": "Assumption / toy-model ansatz",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "05_Dynamical Stability and Decoherence.TEX",
    "Claim": "U020: pointer basis universality",
    "Original wording": "Different microscopic realizations of the environment lead to the same pointer basis provided the interaction Hamiltonian is structurally robust",
    "Problem": "No criterion given for 'structurally robust'; the actual pointer-basis-selection literature (Zurek's predictability sieve) requires specific, nontrivial commutativity conditions not stated or cited here; pointer-basis universality is a well-known delicate/model-dependent claim, not a generic fact",
    "Classification before repair": "Claim presented as generically true",
    "Repair applied": "Cite predictability-sieve criterion explicitly and note pointer-basis selection is model-dependent, not universal",
    "Classification after repair": "Heuristic / Unproven claim",
    "Remaining risk": "Medium-High"
  },
  {
    "Book": "E",
    "Section": "05_Dynamical Stability and Decoherence.TEX",
    "Claim": "U021: Born weights as unique stable fixed points of combined evolution",
    "Original wording": "The squared-norm weights emerge as the unique stable fixed points of the combined unitary-plus-decohering evolution",
    "Problem": "Internally inconsistent: decoherence (by construction of the exponential-decay ansatz) only suppresses off-diagonal terms and leaves ANY initial diagonal ensemble invariant; nothing about decoherence alone selects |c_i|^2 specifically — that value is imported from Ch.4's separate measure-geometry argument. Chapter's own final sentence correctly separates 'which basis' (decoherence) from 'how much weight' (measure geometry), in tension with this mid-chapter overclaim",
    "Classification before repair": "Proposition overstates what decoherence alone establishes",
    "Repair applied": "Reword to note that decoherence establishes basis-stability only; weight values are imported from Ch.4 (see closure supplement Remark E.1)",
    "Classification after repair": "Physical Interpretation (decoherence explains basis, not weight)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "06_Large-N Typicality and the Emergence of Statistical Behavior.TEX",
    "Claim": "U022: frequency operator expectation value",
    "Original wording": "⟨f̂_i⟩ = |c_i|^2, independently of N",
    "Problem": "None — verified correct by direct computation for a product state",
    "Classification before repair": "Proposition, VERIFIED CORRECT",
    "Repair applied": "None needed",
    "Classification after repair": "Proposition (verified)",
    "Remaining risk": "Low"
  },
  {
    "Book": "E",
    "Section": "06_Large-N Typicality and the Emergence of Statistical Behavior.TEX",
    "Claim": "U023: concentration inequality",
    "Original wording": "μ(|f_i - |c_i|^2| > ε) ≤ e^{-αNε²}, for some positive constant α",
    "Problem": "No derivation or citation given; α's dependence on Hilbert-space dimension d and on p_i left unspecified; result is real and provable (Chernoff-Hoeffding) but mislabeled in surrounding prose as 'a geometric statement about volume in Hilbert space' rather than an i.i.d. large-deviations bound",
    "Classification before repair": "Proposition asserted without proof, and conflated with a different (Lévy/Milman) concentration theorem",
    "Repair applied": "Supply explicit Chernoff-Hoeffding derivation with concrete α (see closure_supplement_section.tex, Lemma E.2)",
    "Classification after repair": "Proposition (provable; repaired in closure supplement)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "06_Large-N Typicality and the Emergence of Statistical Behavior.TEX",
    "Claim": "U024: typicality replaces probability",
    "Original wording": "typicality replaces probability... Observed statistical regularities are therefore consequences of typicality... grounded in structural stability rather than primitive probability",
    "Problem": "Known circularity worry in the literature (Kent 1990 and responses): the measure μ invoked to explain 'why frequencies converge' is itself the norm-squared/Born measure, so the argument risks presupposing the probabilistic significance of squared amplitudes it sets out to explain. Not acknowledged or cited anywhere in the book",
    "Classification before repair": "Heuristic presented as an uncontested resolution of a known, contested foundational problem",
    "Repair applied": "Add explicit citation/acknowledgment of the typicality-circularity literature and state it as an open foundational question, not a settled resolution",
    "Classification after repair": "Conjecture / contested Heuristic",
    "Remaining risk": "High (foundational, not merely technical)"
  },
  {
    "Book": "E",
    "Section": "07_Structural Geometry and Gravity.tex",
    "Claim": "U026: curvature bound 'arises as consistency condition'",
    "Original wording": "These bounds are not imposed ad hoc, but arise as consistency conditions ensuring that spacetime remains within the stable region of geometric state space",
    "Problem": "Direct contradiction with source Gravity book's own explicit self-classification: source Sec 2.4 'Physical Interpretation and Model Assumptions' states plainly that these bounds are an ASSUMED effective encoding of unknown high-energy physics, not a derived consistency condition",
    "Classification before repair": "Proposition/Theorem-level language for what source book calls an Assumption",
    "Repair applied": "Reword to match source book's own hedge: 'are imposed as a model assumption, interpreted as an effective encoding of unknown high-curvature physics'",
    "Classification after repair": "Assumption (matching source book's own classification)",
    "Remaining risk": "High — documented claim inflation relative to immediate source"
  },
  {
    "Book": "E",
    "Section": "07_Structural Geometry and Gravity.tex",
    "Claim": "U027: no-singularity principle as 'direct consequence'",
    "Original wording": "The no-singularity principle is thus reinterpreted as a direct consequence of structural stability",
    "Problem": "Same issue as U026 — source book treats this as a postulated condition, not a derived consequence",
    "Classification before repair": "Overstrong causal/logical language",
    "Repair applied": "Reword to 'is adopted as a postulate motivated by, but not derived from, structural stability'",
    "Classification after repair": "Postulate",
    "Remaining risk": "High"
  },
  {
    "Book": "E",
    "Section": "07_Structural Geometry and Gravity.tex",
    "Claim": "U028: regular black holes as 'generic outcome'",
    "Original wording": "regular black hole geometries are not exotic alternatives but the generic outcome of imposing structural stability on gravitational geometry",
    "Problem": "Source book's own Sec 3.3 explicitly states 'The precise form of the core depends on the chosen regularization scheme' — i.e. NOT unique/generic in the sense claimed here; source Discussion also states the mechanism lacks a derivation from a fundamental theory and 'remains an open problem'",
    "Classification before repair": "Claim of genericity/uniqueness where source explicitly disclaims uniqueness",
    "Repair applied": "Reword to 'one possible outcome among a family of regularization schemes compatible with the stability postulate; the specific core profile is not unique'",
    "Classification after repair": "Assumption (non-unique family of models)",
    "Remaining risk": "High"
  },
  {
    "Book": "E",
    "Section": "08_Emergent Time and Post-Physical Dynamics.tex",
    "Claim": "U029: time as emergent ordering relation",
    "Original wording": "time... emerges as an ordering relation on sequences of states that satisfy increasing or decreasing stability constraints",
    "Problem": "No formal order/poset structure is constructed on O; unreconciled with Chs 3-6's literal use of an ordinary time parameter t with derivatives (e.g. dρ_ii/dt≈0, e^{-Γ_ij t}) with no caveat that t is itself emergent in that context",
    "Classification before repair": "Conjecture presented with definitional confidence, and inconsistent with earlier chapters' usage",
    "Repair applied": "Add explicit reconciliation remark (closure supplement Remark E.2) stating how Ch.5's literal t relates to Ch.8's emergent-time claim",
    "Classification after repair": "Conjecture (internally unreconciled)",
    "Remaining risk": "Medium-High"
  },
  {
    "Book": "E",
    "Section": "08_Emergent Time and Post-Physical Dynamics.tex",
    "Claim": "U030: irreversibility from monotonic constraint accumulation",
    "Original wording": "This accumulation is monotonic: once certain instabilities are suppressed or excluded, they cannot reappear without violating structural bounds",
    "Problem": "No functional (entropy-like or Lyapunov) is exhibited and shown monotonic; purely asserted in prose",
    "Classification before repair": "Conjecture asserted as established mechanism",
    "Repair applied": "State as an open conjecture requiring an explicit monotone functional to be exhibited",
    "Classification after repair": "Conjecture",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "08_Emergent Time and Post-Physical Dynamics.tex",
    "Claim": "U031: 'post-physical dynamics' term",
    "Original wording": "effective rules governing transitions between admissible configurations without reference to classical trajectories or continuous time parameters",
    "Problem": "'Post-physical dynamics' is a load-bearing technical term (chapter title, recurs in Chs 10-12) but is never given a mathematical definition anywhere in the 15 files",
    "Classification before repair": "Undefined term used as though rigorously defined",
    "Repair applied": "Add formal definition or explicitly flag as a placeholder/heuristic label pending future formalization (per Ch.11's own 'open problems' admission)",
    "Classification after repair": "Undefined term / Heuristic label",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "09_Weak-Field and Classical Limits.tex",
    "Claim": "U032: inverse-square law as unique stable interaction",
    "Original wording": "The inverse-square law arises not as a fundamental postulate, but as the unique stable interaction compatible with isotropy, additivity, and perturbative robustness in three spatial dimensions",
    "Problem": "New claim not found in either source book (No-Singularity Gravity book only verifies that an ASSUMED regular metric reproduces the known 1/r potential; it never claims to derive 1/r^2 from stability axioms); no isotropy+additivity+robustness argument is worked out anywhere in this book",
    "Classification before repair": "Conjecture/assertion presented as an established derivation",
    "Repair applied": "Downgrade to explicit conjecture; note that a genuine argument would need a Gauss's-law/flux-conservation-type proof specific to 3 spatial dimensions, not supplied here",
    "Classification after repair": "Conjecture (unsubstantiated, new to this book)",
    "Remaining risk": "High — specific, strong, unproven mathematical claim"
  },
  {
    "Book": "E",
    "Section": "09_Weak-Field and Classical Limits.tex",
    "Claim": "U033: recovery of GR tests in prose only",
    "Original wording": "these effects arise from small deviations in the effective geometry induced by stability constraints, which coincide with the Schwarzschild solution to leading post-Newtonian order",
    "Problem": "Qualitatively consistent with source Gravity book's Sec 4 (Weak-Field Consistency), but that source chapter gives explicit PPN-order formulas (e.g. δφ = 4GM/b[1+O(g^3/b^3)]) that are entirely dropped here in favor of prose-only assertion",
    "Classification before repair": "Reduced rigor relative to source (omission, not contradiction)",
    "Repair applied": "Reinstate at least one explicit formula (e.g. the light-deflection correction) as done in the source book",
    "Classification after repair": "Physical Interpretation (qualitatively consistent, less rigorous than source)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "09_Weak-Field and Classical Limits.tex",
    "Claim": "U034: undefined stability-proximity parameter",
    "Original wording": "correction terms enter as higher-order contributions in an expansion controlled by a dimensionless parameter measuring proximity to structural instability",
    "Problem": "Parameter never named or given a formula anywhere in the book",
    "Classification before repair": "Undefined symbol/quantity referenced only descriptively",
    "Repair applied": "Introduce explicit symbol and formula (e.g. relate to K/K_max from Ch.7)",
    "Classification after repair": "Undefined term",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "10_Conceptual Unification of Quantum Theory and Gravity.tex",
    "Claim": "U036: probability and geometry arise from a common requirement (central thesis)",
    "Original wording": "probability in quantum theory and geometry in gravitation are not independent primitives but arise from a common underlying requirement: structural stability",
    "Problem": "No explicit identification map or shared functional connects the Hilbert-space measure-uniqueness criterion (Ch.4/App.A.2) and the curvature-boundedness criterion (Ch.7/App.A.3); these are different mathematical objects on different domains; the one proposed common object (stability functional S:X→R, App.A.1) is never instantiated with formulas in either domain and X is never identified with O from Ch.3",
    "Classification before repair": "Central claim presented as a Theorem/Proposition-level unification",
    "Repair applied": "Downgrade explicitly to Physical Interpretation / Heuristic ('thematic parallel'); state as an open conjecture requiring an explicit bridge (see closure supplement Conjecture E.1)",
    "Classification after repair": "Physical Interpretation / Heuristic (thematic parallel, not a mathematical bridge)",
    "Remaining risk": "High — this is the book's central claim and it is not established"
  },
  {
    "Book": "E",
    "Section": "10_Conceptual Unification of Quantum Theory and Gravity.tex",
    "Claim": "U037: 'dual manifestations of a single organizing principle'",
    "Original wording": "probability and curvature are dual manifestations of a single organizing principle",
    "Problem": "'Dual manifestations' implies a literal mathematical correspondence/duality; none is shown; in tension with the book's own Conclusion (12.2) and Appendix C.3, which correctly describe the unification as 'at the level of principles rather than equations'",
    "Classification before repair": "Overstrong language implying a demonstrated mathematical duality",
    "Repair applied": "Reword to 'may be viewed as analogous applications of a shared qualitative criterion, without a demonstrated mathematical identity'",
    "Classification after repair": "Physical Interpretation",
    "Remaining risk": "High"
  },
  {
    "Book": "E",
    "Section": "10_Conceptual Unification of Quantum Theory and Gravity.tex",
    "Claim": "U038: large-N argument applied symmetrically to gravity",
    "Original wording": "Outcomes with larger stability measure dominate in the large-system or large-N limit, making them typical and reproducible",
    "Problem": "The large-N/typicality machinery (Ch.6, App.B) exists ONLY on the quantum side; there is no gravitational large-N/many-copy construction anywhere in Chs 7-9 or the appendices; applying it symmetrically here is unsupported",
    "Classification before repair": "Claim of a shared mechanism where only one side (quantum) has any construction at all",
    "Repair applied": "State explicitly that the large-N argument is quantum-only in this book; flag the gravitational analogue as an open construction problem",
    "Classification after repair": "Conjecture (quantum-side only; gravity-side unconstructed)",
    "Remaining risk": "High"
  },
  {
    "Book": "E",
    "Section": "10_Conceptual Unification of Quantum Theory and Gravity.tex",
    "Claim": "U040: avoiding known no-go results",
    "Original wording": "Structural stability avoids these obstructions by relaxing this assumption... the premises of many no-go theorems do not apply",
    "Problem": "Penrose-Hawking-type singularity theorems are proven under specific named hypotheses (e.g. strong/null energy conditions plus global causal assumptions); 'avoidance' requires identifying which specific hypothesis fails (standard mechanism: violation of the strong energy condition in the regularized core) — this book never states which hypothesis is violated or why",
    "Classification before repair": "Assertion of theorem-avoidance without identifying the specific violated premise",
    "Repair applied": "State explicitly which energy condition/hypothesis is violated by the regularized construction (as is standard in the regular-black-hole literature), rather than asserting generic 'avoidance'",
    "Classification after repair": "Heuristic (incomplete — premise-identification missing)",
    "Remaining risk": "Medium-High"
  },
  {
    "Book": "E",
    "Section": "11_Discussion.tex",
    "Claim": "U042: 'selection minimality' term",
    "Original wording": "unrestricted multiverse constructions are disfavored, since unconstrained proliferation of worlds undermines explanatory power and violates selection minimality",
    "Problem": "'Selection minimality' appears exactly once in the entire book, with no definition anywhere",
    "Classification before repair": "Undefined technical-sounding term used to do argumentative work",
    "Repair applied": "Define explicitly or remove/replace with a defined notion (e.g. an explicit Occam's-razor-style minimality criterion on admissible structures)",
    "Classification after repair": "Undefined term",
    "Remaining risk": "Low-Medium"
  },
  {
    "Book": "E",
    "Section": "11_Discussion.tex",
    "Claim": "U043: honest self-assessment of rigor gaps",
    "Original wording": "a fully rigorous mathematical formulation of stability in infinite-dimensional state spaces remains to be developed... the present framework is largely kinematical and phenomenological",
    "Problem": "None — this is an accurate, appropriately hedged self-assessment, noted positively",
    "Classification before repair": "Correctly labeled Open Problem",
    "Repair applied": "None needed; this hedge should be propagated into Abstract/Ch.7/Ch.10 where stronger language is used instead",
    "Classification after repair": "Open Problem / Assumption (correctly labeled)",
    "Remaining risk": "Low"
  },
  {
    "Book": "E",
    "Section": "12_Conclusion.tex",
    "Claim": "U045: status of the unification claim",
    "Original wording": "The unification proposed here is conceptual and structural rather than dynamical. We do not claim to have derived a complete quantum theory of gravity... unified at the level of admissibility conditions",
    "Problem": "None as a standalone statement — this matches this audit's own verdict on Ch.10/App.A; the issue is placement, not content: it arrives only after 10 chapters of stronger, unqualified language (Abstract, Ch.7, Ch.10) that a reader encounters first",
    "Classification before repair": "Correct content, but structurally inconsistent placement relative to earlier overstrong chapters",
    "Repair applied": "Duplicate/foreground this hedge in the Abstract and at the opening of Ch.10 so first-contact framing matches final self-assessment",
    "Classification after repair": "Physical Interpretation (correct, but should be moved earlier — see patch_instructions.md)",
    "Remaining risk": "Medium (rhetorical/structural, not mathematical)"
  },
  {
    "Book": "E",
    "Section": "13_Appendix A. Mathematical Foundations of Structural Stability.tex",
    "Claim": "U047: abstract stability functional S:X→R",
    "Original wording": "We formalize the notion of structural stability by introducing stability functionals defined on an abstract state space X... δS(x)=0, δ²S(x)≤0",
    "Problem": "X is a newly introduced symbol never identified with O (Ch.3's pre-physical state space built for exactly this purpose); no explicit formula for S is ever given in either the quantum or gravitational instantiation, so the one place a literal shared object is proposed remains totally uninstantiated",
    "Classification before repair": "Definition presented as the formal backbone of the unification, but never connected to Ch.3 or given content",
    "Repair applied": "Identify X=O explicitly (or state why not) and supply explicit candidate formulas S_quantum[μ], S_grav[g] (see closure supplement)",
    "Classification after repair": "Definition (schema only, uninstantiated)",
    "Remaining risk": "High"
  },
  {
    "Book": "E",
    "Section": "13_Appendix A. Mathematical Foundations of Structural Stability.tex",
    "Claim": "U048: 'Measure-Theoretic Proofs' section, Gleason-type claim without dimension hypothesis",
    "Original wording": "Under these assumptions, one can show that μ must be proportional to the squared-norm measure",
    "Problem": "Section titled 'Proofs' contains no actual proof ('one can show' is asserted); additionally, the stated hypotheses (additivity, unitary invariance, continuity) omit Gleason's essential dimension ≥3 hypothesis — in dimension 2 the conclusion is known to be FALSE, a well-documented exception to Gleason's theorem",
    "Classification before repair": "Mislabeled as a proof; and, as stated with no dimension restriction, the claim is mathematically incomplete/false in dim 2",
    "Repair applied": "Add explicit dimension ≥3 hypothesis; retitle section 'Measure-Theoretic Heuristics' unless a full proof is supplied",
    "Classification after repair": "Proposition (repaired: dimension≥3 required; see closure_supplement_section.tex Prop. E.1)",
    "Remaining risk": "High — required proof repair, not merely a rhetorical fix"
  },
  {
    "Book": "E",
    "Section": "13_Appendix A. Mathematical Foundations of Structural Stability.tex",
    "Claim": "U049: M(r)~r^3 'uniquely selected'",
    "Original wording": "This condition uniquely selects regular mass functions with M(r)~r^3 as r→0, ruling out singular behaviors M(r)~const or M(r)~r^α with α<3",
    "Problem": "Mathematical overstatement: bounded curvature invariants require M(r)=O(r^3) (i.e. α≥3) as a NECESSARY condition, but do NOT uniquely select α=3 exactly — M(r)~r^5, r^7, etc. are equally compatible with bounded curvature (giving a flatter, non-de-Sitter core). Source Gravity book itself states 'the precise form of the core depends on the chosen regularization scheme' (i.e. explicitly not unique)",
    "Classification before repair": "Proposition/Theorem claiming uniqueness where only a necessary lower-bound condition is justified",
    "Repair applied": "Correct to 'bounded curvature invariants require M(r)=O(r^3); this is necessary but not sufficient to uniquely select the cubic power, contrary to the uniqueness claimed here' (see closure_supplement_section.tex Prop. E.2)",
    "Classification after repair": "Proposition — corrected to a necessary-condition statement, uniqueness claim removed",
    "Remaining risk": "High — genuine mathematical error, not just overstrong wording"
  },
  {
    "Book": "E",
    "Section": "14_Appendix_B_LargeN_Typicality_MeasureConcentration.tex",
    "Claim": "U050: Lévy-type concentration inequality misattribution",
    "Original wording": "Lévy-type inequalities imply Pr(|f-E[f]|≥ε) ≤ exp(-cNε²/L²)... a universal constant",
    "Problem": "Conflates two distinct theorems: Lévy/Milman concentration-of-measure (about Lipschitz functions of a Haar-random point on a high-dimensional sphere) vs. the actually-needed Chernoff-Hoeffding bound (i.i.d. sampling of a FIXED state's own branches, as correctly computed via direct variance in the very next subsection, B.2)",
    "Classification before repair": "Proposition citing the wrong theorem for the application; constant c and Lipschitz constant L never specified",
    "Repair applied": "Replace citation with Chernoff-Hoeffding bound for i.i.d. Bernoulli sampling; note that B.2's direct variance computation does not need the Lévy/Milman machinery at all (see closure supplement Lemma E.2)",
    "Classification after repair": "Proposition (repaired via correct citation in closure supplement)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "14_Appendix_B_LargeN_Typicality_MeasureConcentration.tex",
    "Claim": "U051: variance of frequency operator",
    "Original wording": "⟨Ψ|(F̂_i^{(N)}-p_i)²|Ψ⟩ = p_i(1-p_i)/N",
    "Problem": "None — verified correct by direct computation (standard i.i.d. Bernoulli sample-mean variance, correctly transcribed into bra-ket notation)",
    "Classification before repair": "Proposition, VERIFIED CORRECT",
    "Repair applied": "None needed",
    "Classification after repair": "Proposition (verified)",
    "Remaining risk": "Low"
  },
  {
    "Book": "E",
    "Section": "14_Appendix_B_LargeN_Typicality_MeasureConcentration.tex",
    "Claim": "U051b: almost-sure convergence claim",
    "Original wording": "empirical frequency f_i^(N) of outcome i converges almost surely to p_i as N→∞, not by assumption but as a consequence of geometric concentration",
    "Problem": "Same circularity concern as U024: 'almost sure convergence' requires a probability measure over the N→∞ sequence, and the measure used is the norm-squared/Born measure itself — the quantity whose probabilistic meaning is under discussion. Not acknowledged or cited",
    "Classification before repair": "Heuristic presented as a clean, uncontested resolution of a contested foundational question",
    "Repair applied": "Add citation/acknowledgment of typicality-circularity literature (Kent 1990 and responses)",
    "Classification after repair": "Conjecture / contested Heuristic",
    "Remaining risk": "High (foundational)"
  },
  {
    "Book": "E",
    "Section": "15_Appendix C. Comparison with Standard Frameworks.tex",
    "Claim": "U052: Gleason comparison",
    "Original wording": "the present work provides an explanatory principle for why the conditions of Gleason's theorem should be physically privileged",
    "Problem": "Contingent on repairing the dimension≥3 omission in Appendix A.2 (File 13); as written, inherits that gap",
    "Classification before repair": "Comparative claim resting on an unrepaired proposition elsewhere in the book",
    "Repair applied": "Repair Appendix A.2 first (see U048); then this comparison becomes assessable",
    "Classification after repair": "Physical Interpretation (contingent on upstream repair)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "15_Appendix C. Comparison with Standard Frameworks.tex",
    "Claim": "U053: decoherence/envariance comparison",
    "Original wording": "squared-norm weights arise here as stable fixed points of both dynamical decoherence and geometric measure concentration",
    "Problem": "Repeats File 5's (U021) overstatement that decoherence alone selects specific weights, rather than only the basis in which weights are stable",
    "Classification before repair": "Same repair as U021",
    "Repair applied": "Reword to separate 'which basis is stable' (decoherence) from 'which weight is assigned' (measure geometry), per Ch.5's own best sentence",
    "Classification after repair": "Physical Interpretation (repaired per U021)",
    "Remaining risk": "Medium"
  },
  {
    "Book": "E",
    "Section": "15_Appendix C. Comparison with Standard Frameworks.tex",
    "Claim": "U054: GR unified 'at the level of principles rather than equations'",
    "Original wording": "GR and quantum theory are unified at the level of principles rather than equations: both emerge as effective theories selected by structural stability in their respective domains",
    "Problem": "None as a standalone statement — this is the correct, appropriately modest framing, in tension with Ch.10's stronger 'dual manifestations of a single organizing principle' (U037) and the Abstract's 'emerge as uniquely stable measures' (U002)",
    "Classification before repair": "Correct content; inconsistent with stronger claims made earlier in the book",
    "Repair applied": "Propagate this framing backward into the Abstract and Ch.10 (see patch_instructions.md)",
    "Classification after repair": "Physical Interpretation (correct — should be the book's consistent framing throughout)",
    "Remaining risk": "Low (as stated); Medium (as an internal-consistency issue for the book)"
  }
]