MathLab parsed this .tex file, extracted every formal environment (theorems, lemmas, propositions, conjectures, corollaries, computations), decomposed them into individual claims, and mapped each claim against a verified corpus of mathematical results. The structural analysis below shows how this paper connects to established mathematics — and where it stands alone.
| ID | Claim | Domain |
|---|---|---|
| S3221 | Gram–Schmidt Structure of Approximation Lattice | algebra |
| S3222 | Equidistribution Floor Theorem | number-theory |
| S3223 | Quantitative Equidistribution Floor Bound | number-theory |
| S3224 | Growth Condition for Equidistribution Floor | number-theory |
| S3225 | Bounded Minimiser Conjecture | number-theory |
| S3226 | Constant Maypole Floor from Bounded Minimiser | number-theory |
| S3227 | Khintchine–Cassels Transference Lemma | number-theory |
| S3228 | Sharp Threshold for Diagonal Dominance | number-theory |
| S3229 | Single-Zero Invisibility Proposition | math-physics |
| S3230 | Clean Destruction and Monotone Memory Theorem | analysis |
| S3231 | No Memory Corruption (Ratchet Property) | number-theory |
| S3232 | Density Decrement for Bad Sets | number-theory |
| S3233 | Logarithmic Growth of Bad Set Cardinality | number-theory |
| S3234 | Asymptotic Density Vanishing | number-theory |
| S3235 | Finiteness of Bad Set at Fixed K | number-theory |
| S3236 | Independence Breakdown at Higher Moments | math-physics |
| S3237 | Universal 3/5-Exponent Bottleneck | number-theory |
| S3238 | CFKRS Leading-Order Identity | number-theory |
| S3239 | Hybrid Maypole–Hadamard Anti-Correlation Conjecture | number-theory |
| S3240 | Structural Origin of Anti-Correlation | number-theory |
| S3241 | Gaussian Model Discrepancy | number-theory |
| S3242 | Gaussian Model for Anti-Correlation | math-physics |
| S3243 | Zero-Driven Mechanism for Anti-Correlation | number-theory |
| S3244 | Function Field Anti-Correlation | algebra |
| S3245 | Function Field Mechanism and Number Field Gap | number-theory |
| S3246 | Conditional Hybrid Moment Transfer Theorem | number-theory |
| S3247 | Fixed-Parameter Reduction to Decorrelation | number-theory |
| S3248 | Maypole-Scale Subtlety | number-theory |
| S3249 | Conditional Transfer at Fixed Parameters | number-theory |
| S3250 | Gaussian Bootstrap for Moment Anti-correlation Hierarchy | number-theory |
| S3251 | Asymptotic Decorrelation at Maypole Scale | number-theory |
| S3252 | Finite-Temperature Anti-correlation at First Moment | number-theory |
| S3253 | K-Monotonicity of Second-moment Anti-correlation | number-theory |
| S3254 | Universal Diagonal Positivity for Subleading Indices | number-theory |
| S3255 | Kurtosis Scaling with Euler Factor Repartitioning | math-physics |
| S3256 | Kurtosis-Variance Scaling Invariant | math-physics |
| S3257 | Duality Mismatch Between Euler-Hadamard and Keating-Snaith | math-physics |
| S3258 | Non-Extendability of n=1 Proof to n≥2 | math-physics |
| S3259 | Sparse Möbius Large Deviations and Zero-Tail Suppression | math-physics |
This sample shows the structural analysis — the first stage of a MathLab session. In a full session, the War Room's four agents (Analyst, Critic, Verifier, Synthesizer) independently evaluate each claim across up to 10 rounds, producing per-theorem confidence scores, dependency maps, and an exportable dossier.
Pro subscribers also access the Forge repair engine, which identifies specific structural gaps and drafts candidate fixes — each validated by an independent court verdict before being offered to the author.