Agent-Readable Hyperlink Graph
A machine-readable hyperlink graph of the whole AMRAL site: every page is a node, and its relationships to others — parent/child, previous/next, language mirror, related case — are typed edges. For human readers, this is a second way to browse as the site's content keeps growing past what chronological ordering can scale to; for AI/agents, it's a structured site map that needs no HTML scraping.
Currently 2555 nodes (ZH + EN combined). Structured data: index.json · index.md · .well-known/agent-map
[utility-page] About AMRAL[case-hub] ACTM: Algebraic Combinatorial Transcendence Methodology[document] Algebraic Combinatorial Transcendence Methodology (ACTM)[document] Exact Freedom and Relation Transport of Algebraic Seeds Under Exponentiation[document] Algebraic Scalars, Logarithmic Lifts, and the Exact Escape Boundary[document] Exponential Matrices, Multiplier Intersections, and the One-Dimensional Gap of Four Exponentials[document] Structural Classification of a Hypothetical MID = 2 State: Projective Orbit Avoidance, Rank Splitting, and an Exact Three-Term Power Chain[document] Difference-Saturation Graphs, Three-Term Progression Certificates, and the Binary-Tower Survivor[document] Defect Synchronization, Waldschmidt–Masser Criticality, and the Common-Anchor Squaring Tower[document] An All-Rank Proof of BADT Linear Support Visibility[document] Secant Escape, a Roy-Test Variety, and the Sparse-Support Interface for BADT₂[document] BK-Fewnomial Incompatibility, a CSEP Correction, and the Auxiliary-Existence Bottleneck[document] Extremal Interpolation Approximate Jets, Uniform Height, and Algebraic Degree Escape[document] Two-Observable Kummer Orbits, Escape from Exceptional Fibers, and Quadratic Joint-Degree Growth[document] Exact Quadratic Log-Defect Asymptotics, the Taylor–Liouville Barrier, and the Pivot to Multivariate Auxiliaries[document] Three-Index Extremal Auxiliary Functions, Exact Zero Saturation, and the Cubic One-More-Zero Barrier[case-hub] BSD Conjecture[branch-hub] P5: 389.a1 at $p=11$[document] Global Compression and High-Rank Irreducible Frontier of BSD: Rank-Uniform Zeta Primitivity Reduction[document] BSD RUGZPB P2/P4 Update: Precise 11-primary Sha closure for 389.a1[document] P5 Rank-2 Scalar Collapse and Archimedean Comparison Boundary[document] P5-E1 — ETNC / Determinant-Line Representation Escape Audit[document] Cyclotomic IMC Closure and the Rank-2 Generalized Perrin–Riou Bridge[document] Unit-Level Generalized Perrin–Riou Minimal Gate for $389.a1$ at $p=11$[document] Explicit Local-Unit Cancellation for $389.a1$ at $p=11$[document] Anomalous Norm Localization for $389.a1$ at $p=11$[document] Norm-Selmer Core-Vertex Certificate for $389.a1$ at $p=11$[document] Determinantal Kurihara–Semilocal Closure for $389.a1$ at $p=11$[document] An instantiated determinantal fundamental line at $(389.\mathrm{a}1,\ p = 11)$[branch-hub] III · Crystallization[document] Eight proof attacks on the Birch–Swinnerton-Dyer formula at (389.a1, 11), checked: the 11-adic and geometric data they compute, and where each stops[document] Paper against code: how a strong-BSD twist census's algorithm changed across three commits, and why one of its branches could never fire[document] The Banwait–Huang strong-BSD twist census, recomputed: 40749 base curves, 247391 twist pairs[document] Grading evidence for the Birch–Swinnerton-Dyer conjecture curve by curve: an eleven-rung ladder, an audited rejection, and a frontier metric faithful only in exact arithmetic[document] A determinantal normalization architecture for the Birch–Swinnerton-Dyer leading term at (389.a1, 11): thirty symbolic rounds, every boxed identity instantiated in exact arithmetic[document] An explicit quadratic-twist family of the non-semistable curve 696.e1: a density of 1/24 by three routes, an arithmetic certificate, the isogeny and image questions settled, and a derived theorem candidate checked against its own router[document] Compiling the Fouquet–Wan hypotheses for a quadratic-twist family of 696.e1: one witness, a uniform certificate false at one prime, an obstruction that does not stop, and a twisting prime where H2 fails[document] The semilocal Kurihara arithmetic of 389.a1 at p = 11, recomputed[document] Closing a normalization certificate against actual objects[document] Calibrating a rank-two curve against a rank-zero one at the prime 11, reproduced: the calibrator 19.a1 rebuilt over the rationals, its plus period aligned to Néron's, and a relative regulator germ recomputed to degree 120[branch-hub] Phase 0:Global Enclosure[document] Global Enclosure Consensus Adjudication: BSD is worth entering Phase 1[document] BSD Proposition, Quantifier, and Exception Faithfulness Audit[document] Known Theorem Closure Map[document] BSD Certificate Ladder: C0 to C10[document] External Research Route Matrix[document] Audit of Neo.K's Old "Lattice Rank Convergence" Route[document] Phase 1 Agent Experiment Specifications: Certificate Atlas + Twist-Family Reproduction[document] BSD Certificate Globalizer[document] Local Multi-Agent Handoff Prompts[branch-hub] Phase 1: Banwait–Huang Reproduction[document] Phase 1 Consensus Adjudication: PASS, Banwait–Huang route is engineerable[document] Theorem 2.18 Condition Map[document] Paper Pseudocode and Current Official Code Audit[document] Algorithm 2 Independent Reproduction[document] Algorithm 1's Execution Environment and Missing Items[document] Global Enclosure and Stop Rules: Even if this route is completely successful, what can it prove?[document] Local Agent Handoff[document] Phase 1 v0.2 Consensus Verdict[document] Small-Sample Version Regression: 25 → 12[document] Official Discrepancy Corpus[document] Algorithm 1 Soundness Gates[document] 500K Preflight[document] Agent Regression Protocol[document] Semantic Version Changelog[document] One-Commit Semantic Autopsy[document] Removed 13 First-Failure Closure[document] Algorithm 2 Twist Semantic Diff[document] Phase 1 Gate v0.3[document] 500K One-Commit Global Impact[document] Delta-Only Algorithm1 Verifier[document] 500K Twist Output Non-Monotonicity[document] Phase 1 Next Lowest-Cost Gate[document] v0.5 Exact Census Report[document] Fresh Algorithm2 Semantic Replay[document] Phase 1 Closure and Phase 2 Interface[branch-hub] Phase 2: Non-Semistable Families[document] Phase 2 Global Enclosure Consensus[document] Phase 2 Route Matrix[document] Fouquet–Wan Hypothesis Compiler[document] Quadratic-Twist Invariance Bridge[document] Finite Exceptional Prime Problem[document] Non-Semistable Family Theorem Schema[document] Phase 2 First Agent Experiment[document] Stopping Rules and Claim Ladder[document] FW Theorem 1.7:Weight-2 Exact Translation[document] FW-H3 Exact Elliptic-Curve Compiler[document] FW-H2 Compiler and Ordinary Obstruction[document] Derived Supersingular FW Bridge[document] Hybrid Odd-Prime Router[document] Candidate Non-Semistable Strong-BSD Family Schema v0.2[document] Candidate Sieve: Why did 696.e1 emerge?[document] 696.e1 Base Certificate[document] 696.e1 Chebotarev Support Family[document] 696.e1 All-Prime Router[document] Provisional Derived Family Theorem[document] Independent Referee / Local Agent Handoff[document] Adversarial Referee Verdict[document] Base BSD Anchor Repair[document] Odd Prime Source Audit[document] Fouquet–Wan Supersingular Source Audit[document] Manin / Period Audit[document] Chebotarev Referee Audit[document] Novelty Search Log[document] Revised Derived Theorem Candidate[document] Submission / Publication Gate[document] An Explicit Non-Semistable Quadratic-Twist Family Satisfying the Strong BSD Conjecture[document] A Two-Witness Criterion for Strong BSD in Positive-Density Non-Semistable Quadratic-Twist Families[document] A Finite-Exception Witness-Network Criterion for Strong BSD in Non-Semistable Quadratic-Twist Families[document] GCD Witness Lemmas[document] Odd Additive Period Barrier[document] Next Compiler Targets[document] FW-H2 Jordan–Hölder Lemma[document] Local p-Isogeny Kernel Criterion[document] Kodaira Prefilters and No-Go Results[document] Witness-Network v0.3 Integration[document] Local Agent Implementation Spec[branch-hub] BSD Conjecture · Independent Recomputation Line[document] ATTACK-C1-ACTUAL-OBJECT[document] ATTACK-C4-THETA-AUX[document] ATTACK-C4-TRANSVERSE-EXTENSION[document] C10-CANONICAL-SECTION[document] C5-DEFECT-LEDGER-AND-C8-SATURATION[document] C6-PERIOD-DE-RHAM-PAIRING[document] C7-DETERMINANT-COHERENCE[document] C9-RESIDUAL-HOLONOMY[document] DAG-A-BOCKSTEIN-IDENTIFICATION[document] DAG-A-CHAR0-DETERMINANTAL-KATO[document] DAG-B-FUNDAMENTAL-LINE[document] DAG-C-REGULATOR-BRIDGE[document] DAG-D-RECIPROCITY[document] LR-HYPOTHESES-AND-C4-DIRECTION[document] NORMALIZATION-AUDIT-V2[document] PC001_NORMALIZATION_ACTUAL_AUDIT[document] R0-COMPARISON-ROUTE-REALIZATION[document] R05-LOCALIZATION-AUDIT[document] RUN-001[document] RUN-002[document] RUN-003[document] RUN-004[document] RUN-005[document] RUN-006[document] RUN-007[document] RUN-008[document] RUN-009[document] RUN-010[document] RUN-011[document] RUN-012[document] RUN-013[document] RUN-014[document] RUN-015[document] RUN-016[document] RUN-017[document] RUN-018[document] RUN-019[document] RUN-020[document] RUN-021[document] RUN-022[document] RUN-023[document] RUN-024[document] RUN-025[document] RUN-026[document] RUN-027[document] RUN-028[document] RUN-029[document] RUN-030[document] RUN-031[document] RUN-032[document] RUN-033[document] RUN-034[document] RUN-035[document] RUN-036[document] RUN-037[document] RUN-038[document] RUN-039[document] RUN-040[document] RUN-041[document] RUN-042[document] RUN-043[document] RUN-044[document] RUN-045[document] RUN-046[document] RUN-047[document] RUN-048[document] RUN-049[document] RUN-050[document] RUN-051[document] RUN-052[document] RUN-053[document] RUN-054[document] RUN-055[document] RUN-056[document] RUN-057[document] RUN-058[document] RUN-059[document] RUN-060[document] RUN-061[document] RUN-062[document] RUN-063[document] RUN-064[document] RUN-065[document] RUN-066[document] RUN-067[document] RUN-068[document] RUN-069[document] RUN-070[document] RUN-071[document] RUN-072[document] RUN-073[document] RUN-074[document] RUN-075[document] RUN-076[document] RUN-077[document] RUN-078[document] RUN-079[document] RUN-080[document] RUN-081[document] RUN-082[document] RUN-083[document] RUN-084[document] RUN-085[document] RUN-086[document] RUN-087[document] RUN-088[document] RUN-089[document] RUN-090[document] RUN-091[document] RUN-092[document] RUN-093[document] RUN-094[document] RUN-095[document] RUN-096[document] RUN-097[document] RUN-098[document] RUN-099[document] RUN-100[document] RUN-101[document] RUN-102[document] RUN-103[document] RUN-104[document] RUN-105[document] RUN-106[document] RUN-107[document] RUN-108[document] RUN-109[document] RUN-110[case-hub] Computational Composite Methodology[document] Computational Composite Methodology[document] CCM Formal Core[document] Benchmarks 01-13 Theory Extraction Map[case-hub] Collatz Conjecture[document] Reclassification and Calibration of Prior Collatz Research[document] Collatz Local Affine Atlas: Exact Affine Linearization of Finite Parity Words[document] Parity Words, Residue Cylinders, and Local Identity Trivialization[document] Bidirectional Residue-Class Translation: 2ᵏ Cylinders and 3ᵘ Progressions[document] Finite-Word Contraction Boundaries and the Binomial Cylinder Law[document] Valuation Language and the Accelerated Collatz Map[document] Generalized (mx+r) Systems and Residue-Class Operation Translation[document] Algebraic Domains of Validity and Structural Breakage Theorems[document] Finite Certificate Frontiers for the Collatz Map[document] Faithful Global Quantifier Compression: A Proof Research Program from Conjecture-Difficulty Analysis to the Collatz Hard-Zeta Frontier[branch-hub] III · Crystallization[document] The local affine atlas of the Collatz map[document] What an occupation measure cannot see: three no-go theorems of a Collatz programme, and the datum they discard, measured[document] The finite certificate frontier of the Collatz map: what a finite verification proves, and the quantifier it cannot cross[document] Contraction boundaries and the valuation language of the Collatz map[document] First crossings of the Collatz map: one correction inequality, a dichotomy that is a partition, and a sparsity argument that fails at log 3 / log 2[document] The exceptional weight of the Collatz stopping time[document] Return loops and the defect calculus of near-critical Collatz bridges, and a frontier re-derived without its uncertified constant[document] Where the local theory of the Collatz map holds: the odd (m, r) family, a phase boundary at m = 4, and a ladder of algebraic breakage[document] Packing deficits by congruence, and an exact certificate for a transport exponent[document] Sparse lifts cannot keep up: the packing barrier for subcritical Collatz orbits, and where it stops[document] Compressing the coefficient frontier of the Collatz map to one anchor, one path per source, and a closure that claims exactly what it has[document] Renewal sparsity in the slack of the Collatz map: laminar crossings, a transport hierarchy, a dense branch closed and records pinned by slack — on a Diophantine input read from the review of the paper it cites[document] The rotation envelope of a Collatz first crossing, and the integers underneath it[branch-hub] Collatz Conjecture · Independent Recomputation Line[document] RUN-001[document] RUN-002[document] RUN-003[document] RUN-004[document] RUN-005[document] RUN-006[document] RUN-007[document] RUN-008[document] RUN-009[document] RUN-010[document] RUN-011[document] RUN-012[document] RUN-013[document] RUN-014[document] RUN-015[document] RUN-016[document] RUN-017[document] RUN-018[document] RUN-019[document] RUN-022[document] RUN-023[document] RUN-024[document] RUN-025[document] RUN-026[document] RUN-027[document] RUN-028[document] RUN-029[document] RUN-030[document] RUN-031[document] RUN-032[document] RUN-033[document] RUN-034[document] RUN-035[document] RUN-036[document] RUN-037[document] RUN-038[document] RUN-039[document] RUN-040[document] RUN-041[document] RUN-042[document] RUN-043[document] RUN-044[document] RUN-045[document] RUN-046[document] RUN-047[document] RUN-048[document] RUN-049[document] RUN-050[document] RUN-051[document] RUN-052[document] RUN-053[document] RUN-054[document] RUN-055[document] RUN-056[document] RUN-057[case-hub] Critical-Line Proportion Ladder[document] Critical-Line Proportion Ladder: Starting from Claude's 67.25%[document] Modular Reconstruction of the Proof Chain: The Z / L / P Modules[document] The 70%/80%/90%/99% Target Ladder[document] 67.25% and 68.185%: The Scope of Two Ceilings[document] Reconstructing the Bandwidth-One 68.185% Ceiling[document] Small-$N$ Primal Toy LP and Boundary-Spike Escape[document] Column Generation, Continuous Pricing, and Primal/Dual Duality with PairCeiling[document] The Exact-Rational Bernstein Certificate for the N=4 Continuous Toy PairCeiling[document] The Toy $P_{70}$ Minimal Boundary-Escape Frontier[document] Exact $P_{70}$ Boundary-Escape Certificate[document] Refined Exact $B_{70}$ Certificate: Still Exact-Certifiable After Compressing the Safety Margin to $8.0\times10^{-8}$[document] Reconstructing Claude's $1.04/1.26/1.70$ Support Ladder[document] Arithmetic Realizability Bridge: From the Unconditional Prime Side at σ=1 to the Arithmetic Requirements of P70-P99[document] Test-Specific Weighted Pair-Correlation Hypothesis: $P_{70}$ Does Not Need the Full Hardy–Littlewood Conjecture[document] The Exact $O_1$ Kernel of Claude's Proposition 5.6: The Near-Diagonal Wedge, the Selberg-Integral Barrier, and an Audit of Unconditional Results[document] Matrix Majorant–Inertia Problem (MMIP): Seeking an Unconditional Improvement via CGdL's Tail-Sign SDP and Claude's Off-Axis Signature[case-hub] Closure-Space Mathematics[document] The Formal Foundations of Closure-Space Mathematics[document] Globality Typing and Domain Stratification of Propositions[document] Typed Closure Graphs, Obstruction Propagation, Reopening, and Frontier Contraction[document] Frontier Geometry, Cut Sets, Obstruction Cover, and Relative Exhaustion[document] Closure Dynamics, Reopening, Hysteresis, and Fixed-Point Evolution[document] Closure Invariants, Projection, Attention Views, and Static/Dynamic Compilation[document] Closure Conservation, Transfer Laws, and Cross-Domain Invariance[document] Closure Calculus, Composition Rules, and Proof-Carrying Operators[document] Runtime Semantics, State Machines, Recorders, and an Executable Reference Model[document] NS_GSM: A Canonical Domain Model and Data-Ingestion Specification for the Navier–Stokes Relative-Global Closure Space[utility-page] Data Access[case-hub] DMSD: Decimal Multiscale Serializable Domain[document] Decimal Multiscale Serializable Domain — Foundational Methodology[document] DMSD Phase 2B — Residue Layers[document] DMSD Phase 2C — Square Layer[document] DMSD Phase 3A — Prime Layer Baseline[document] DMSD Phase 3C — Cross-Base Prime Projection Audit[document] DMSD Phase 3D — Scale-Normalized Density Model[document] DMSD Phase 3G — Structured Null Escalation: Source-Depth Transition and Baseline–Source Compatibility[document] DMSD Generalized Formal Core v1 — Multiscale Serializable Mathematical Domain, Property-Independent Formalization[document] DMSD × M6 Prime Fixed-Point Carrier — Closing Experiment v0.1: 'Are the primes a bending fixed-point trajectory that does not break at scale switches?'[document] DMSD Horizon Edition v0.2 — Recursive Scale Map: Human → Frontier → Future → Symbolic Beyond-Human[case-hub] P/NP Dynamic Four-Layer Closure Framework[document] Research Handoff and Follow-on Implementation Recommendations: GCC → USRT → USEG → GLC[document] GLC-First Research Handoff and Implementation Recommendations: GLC → {GCC, USRT, USEG}[document] P/NP Dynamic Four-Layer Closure Framework: A Heuristic Re-description from Global Complexity, State Rate, and Sufficient Sequences to Lossless Closure[document] Engineering Verification Trail: Seven-Role Adversarial Verification, v0.2 → v0.2.6[case-hub] Goldbach Reverse-Structure Closure Program[branch-hub] RG-SCP: The Counterexample Universe, Obstruction Covers and Self-Audits[document] Goldbach World-Information Fixed-Point No-Hole Conjecture[document] Reverse Goldbach Structural Closure Program 01 — Counterexample Universe and Minimal Failure State[document] Goldbach Failure Obstruction Cover: From Prime-Complement Failure to Least-Prime-Factor Partition[document] M6/Wheel Obstruction Geometry and Counterexample Coverage Cost[document] Fixed-Point Fibers, Shadow Gaps, and Goldbach Counterexample Exclusion[document] Counterexample Demand–Obstruction Capacity Inequalities[document] Minimal Counterexamples, Shift Transport, and Demand–Capacity Closure[document] Three Research Notes: Parity Base-Space and the Second Division Operator, the Root-Bounded Division Domain, Symmetric Finite Relation Closure[document] RG-SCP 01 Claim / Source Audit[document] RG-SCP 04 Claim / Source Audit[document] RG-SCP 05 Claim / Source Audit: Truth-Leakage Correction, Heuristic Reclassification and Escape-Observable Audit[document] RG-SCP 06 Claim / Source Audit: Canonical Capacity Reconstruction, Incidence Demotion and Suppression Sharpening[document] Phase-I Canonical Synthesis: RG-SCP 01–07 Total Audit, Canonical Core Reconstruction, Formalization Priority and the E0–E8 Protocol[branch-hub] SRBRD: The Symmetric Root-Bounded Relation Domain and the Sieve–Parity Boundary[document] The Exact Representation Kernel: Finiteness, Two-Way Equivalence and a Count-Level Bijection for the Symmetric Root-Bounded Relation Domain[document] Structural Compression Audit: Exact Cell Cardinalities, Center-Divisor Collapse, CRT Overlap, Tree-Overlap Upper Bound and a First-Order No-Go[document] Center–Frontier Occupancy: The Exact Bonferroni Remainder and a Cap-Corrected Non-Cover Certificate[document] Lattice Sparsity and the Moment-Polytope Dual: Finite Occupancy Caps, Polynomial Majorants, Even-Degree Certificates and Layered Moment LP Duality[document] Uniform Moment Envelopes and Dual Polynomials: Phase-Free Envelopes Fail and the Bottleneck Is the CRT Phase Discrepancy[document] Square-Root Completion and the Sieve–Parity Interface: Fixed Cutoffs, Root-Complete Prime Certification, Bulk–Frontier Geometry and a Parity-Barrier Audit[document] Aggregate Semiprime-Cell Coupling: Diagonal / Off-Diagonal Transport Matrix, the Prime-Majority Criterion, a Recursive Diagonal Lower Bound and the Parity-Correlation Identity[document] Buchstab-Row Mass and the Upper-Bound Mixed Flow: The Pair-Buchstab Identity, Cube-Root Semiprime Rows and the Dimension-2 Row Sieve[document] The Pair-Buchstab Shell and the Row-Sieve Quantitative Gate: Exact Euler-Factor Switching and the Dimension-2 Constant Barrier[document] The BV-Switched Row and the Weighted Buchstab Constant Ledger: Distribution Level Alone Is Not the Missing Ingredient[document] Goldbach-Shift Uniform Convolution: The Low/High Row Split, Maynard-II Fixed-Residue Dependency, Maynard-III Uniform Type-II Coverage and the Minimal Missing Lemma[document] Fixed-a Spectral Dependency and the Goldbach-Shift Uniformization Audit: Bezout Small-Phase Breakdown, Spectral-Frequency Inflation and the Naive Residue-Reduction Barrier[document] The Structured-Prime Provider and Shift-Free Dispersion Hybrid: the Complement-Exponent Map, a Maynard-III Range Audit, the 3/8 Type-II Optimum, the 5/8 ↔ 3/8 Weight-Class Duality and the Residual Dispersion Region[branch-hub] TCDC: Target–Condition Dual Closure and Chen-Type Pressure[document] The Target–Condition Dual Closure Methodology: First Reverse-Solve the Conditions Under Which a Target Holds, Then Separately Establish Existence, Branches, Basins and Structural Closure[document] The Prime-Square Target and the Failure Fixed-Surface Construction: the Root-Bounded Prime Terminal Domain, the Goldbach Failure Transport Polytope, Capacity Deficits and Cut Certificates[document] High-Suffix P₂ Pressure and Chen-Type Weighting: the Pressure Scale Corrected to m/log³ m, the Exact Prime/Semiprime Split and the Cube-Root Linear-Sieve Barrier[document] Quarter-Root Weighted Pressure and an Adaptation of Chen's Lemma: Half-Weights for Strict Semiprimes, Medium-Divisor Multiplicity, the Extra Prime-Branch Cost and a Constant Gate[document] The Strict-Pressure Extra-Cost Ledger and Branch-Neutral Two-Sink Closure: Generalized Half-Weights, Coarse-Cutoff Optimization, the Prime Strictness Tax and the Separate-Upper No-Go[document] Bulk Mixed Deficiency and the Coarse-Balance Constant: the Cube-Root Buchstab Branch Constants, the Prime–Semiprime Bias and the Parity Barrier of Joint Transfer[document] Joint Buchstab Transfer and Parity-Defect Decomposition: the First-Order Liouville Defect, Second-Order Pair Correlation, Capacity as a Correlation Lower Bound and the Counterexample Parity-Reversal Budget[document] The Bad-Mass Simplex and the Semiprime-Marginal Upper Constant: Even at the Best Distribution Level the Standard Fixed-Row Linear Upper Has a Semiprime Marginal Multiplier of About 2.0439[document] Aggregate Semiprime-Marginal Convolution and Level Lift: the Harmonic Distribution Level, the 0.641107 Critical Exponent, the 3/5 and 5/8 Benchmark Deficits, the Shell Portfolio Law and a Convolution-Provider Audit[document] The Yang-v2 Port Audit and the Special-Convolution Hypothesis Match: the Prime-Variable Blocker, the Growing-Residue Blocker, Special-Class Certification, the Repair Stack and a Legal-Coverage Compiler[document] The Prime-Variable Lift and the Two-Prime Convolution Adapter: Exact Prime-Coefficient Routing, the von Mangoldt Majorant, the Positive-Sieve-Lift No-Go, Pascadi/Maynard Type-II Adapters and the PVL Status Correction[case-hub] Lebesgue Universal Covering Problem[branch-hub] BCODR-LUC: the bidirectional circular-overlap method applied to root 6217[document] Bidirectional Kernel Closure of the Root-6217 Shape Space: the First Arrival-Time Information Field from the Analytic Critical Ray and the A_ref Certificate Boundary[document] Atomic Cut and Structural Recomposition: the First Cut, Separation and Recomposition of the Root-6217 Bidirectional Information Field — From Coarse Arrival Cells to a Seven-Class Bidirectional Interaction Spine[document] True Common-Point Overlap and Provenance Resolution: the True Intersection Time of the Root-6217 Bidirectional Kernel Fields, the Container-Separation Gap, and the Low-Dimensional Overlap Germ of Root 127[document] True Overlap Germ Tangent Decomposition: Normal–Tangent Separation and Second-Order Isolation of Root 127's Earliest Common Overlap Point — From a Three-Dimensional Critical Tangent Space to a Zero-Dimensional Birth Germ[document] Balanced Overlap Germ Taxonomy: a Unified Classification of Face-Constrained and Interior-Midpoint First Contacts — Root 127 vs Root 131: Different Tangent Dimensions, the Same Second-Order Isolation Mechanism[document] Root 131 Candidate/Germ Alignment and Mirror-Covariance Reduction: from the Non-Identity of the IMBG Midpoint to Planar Mirror Orbits — Separating the Candidate Shape, the Certificate Germ and the Chirality Obligation[branch-hub] LESR · Root 6217 local analysis (Paper 09C–09U)[document] Secondary Sliver Asymptotics and the Explicit Second Epi-Derivative[document] Paired-Sliver Domination and a Robust Scalar Certificate: From the Analytic Elimination of the Secondary LP to a Finite-Radius Acceptance Box[document] Six-Wall First-Epi Closure and the Vertical-Pair Correction[document] Canonical Scalar Generation and the Micro-to-Finite Bridge: From the Exact-Envelope Observable to c⋆ and the Eleven-Cell Finite Bridge from 10⁻⁴ to 0.003[document] Outward Observable Enclosures and Bridge-Leaf Preconditions: Rebuilding A, T, C_crit, γ_w, c⋆ from the Canonical Support Formulas with Interval Jets, and Locating the Real Blocking Condition of the First Bridge Leaves[document] Radial-Cover Integration and the First Genuine Bridge Subleaf: the Hausdorff–Steiner Continuity Guard, a Global Local-Secant Cover of B01, and a Positive-Volume Near-Minimizer Leaf[document] Eight-Chart Quadratic Floor on B01: From the 4-D Boundary Cover to Eight Polyhedral Sign Charts, a Second-Order Lower Bound on the Whole B01 Local Box[document] Uniform Cubic Bound and Research Closure of B01: Eight Cubic Charts, a Fourth-Order Interval Taylor Remainder, and the Research Closure of the First Full Bridge Parent[document] B04 Split Closure and Removal of the First High-Order Frontier: From Remainder Over-Enclosure to Full-Parent Research Closure — Root-Neighbourhood Sharpening and a Chartwise Radial Interval Lift[document] Explicit Quartic–Quintic Repair and Research Closure of B06: From the Positive-ρ Re-Centering Idea to Explicit Higher-Order Coefficients — Ψ₄, Ψ₅ and a Sixth-Order Interval Remainder[document] B11 Final Bridge Closure and the Local Positive-Rotation Bridge Seal: the Last Cell, Finite-Chart Migration, a 64-QP Atlas-Agnostic Boundary Certificate, and Research Closure of [10⁻⁴, 0.003][document] Micro-Gate Monotone Inheritance and the Local Positive-Rotation Seal: Dominating [0, 10⁻⁴] from the Atlas-Agnostic Lower Bound at ρ = 0.003, and Completing Research Closure of [0, 0.003][document] Tail A_ref Campaign: Exact Eroded Core, Adaptive Frontier and Parent Ledger[document] Frontier Spine Closure Against the A_ref Tail: Permanent NOT-F3 Correction, Five New Tight-Reference Certificates, and the 9→1 Collapse of the Selected Spine[document] AMRAL Lebesgue Final Closure: A Question List of Suspected Possibilities[document] LESR Root-6217 Positive-Rotation Line: Local Verification, Tail-Campaign Takeover and Series-Integration Handoff[branch-hub] MCC-OE: Measured-Construct Closure and Observable Exhaustion[document] Measured-Construct Closure and Observable Exhaustion: Numerical Probes, Reverse Constraint Probes, and Threat-Signature Closure for the AMRAL Lebesgue Final Stage[document] AMRAL Lebesgue Final Closure Ledger: Re-ordering Q10–Q20 into Observables, Threat Modes, Numerical Probes and the First Attack Order[document] Task-Sufficiency Collision Protocol and Transition-Threat Compiler: Red-Teaming the Observable Basis with Numerical Probes and Compiling Unclassified Transition States into Measurable Threat Boundaries[document] Exact-Root Monotonicity Probe and Certificate-Relative Task Sufficiency: Canonical 18-Piece Continuum Root Ordering, the B01 Chart Collision, and the First Real Coupling with the Chart-Free HSL Certificate[document] B01 Chart-Free Boundary Threat Cover: The Hausdorff–Steiner Leaf Certificate, a Prototype HSL Cover of Over Half the Volume, and Adaptive Multi-Route Certificate Closure[document] AREF / Direct Certificate Materialization and the Erosion-Lower-Bound Barrier: From Zero Coverage by Old AREF Parent Reuse to a Real box_lower Replay, and Why the B01 Hard Core Needs a Dependency-Preserving Direct-Area Compiler[document] Dependency-Preserving Direct-Area Compiler and First-Order Renormalized Residual: From a 10⁻⁹ Raw Margin to R₂^fin ≈ 0.106, Rewriting the B01 Hard Core as a Conditionable Finite-Radius Residual Problem[document] Sliver-Quotient Soundness Correction and Eight-Chamber Arithmetic Closure: From 'Continuous Dimension Compression' to 'Invertible Sliver Coordinates plus a Discrete Topology Quotient'[document] Six-Sliver Structural Exhaustion, Vertical-Pair Supersession, and Precision-Stable One-Sided Remainder Audit: From Five-Sliver to the Six-Wall / Three-Pair Secondary Atlas[document] Kink-Safe ρ Bridge, Normalized Slope Gate, and Component Taylor Remainder: Rejecting the Raw Hausdorff Bridge, Correcting the C² Curvature Assumption, and Reducing the Remaining Tube Closure to an Envelope/Topology Remainder[document] Higher-Order Root-Jet Majorant, Eight-Template Dini Closure, and the Full S100 Continuum Tube: J6–J13 Whole-Box Interval Tail, Real-Axis Transversality Majorant, Finite-Kink Template Exhaustion, and CR-11 Research-Interval PASS[document] Primary Eight-Chart Quadratic Closure and Finite Wall-Layer Reduction: from the Global Minimum 0.106083 of Ψ2 to the Regular-Chart Finite Lower Bound 0.105758, Reducing the Remaining B01 Boundary Responsibility to Single and Double First-Order Wall Layers[document] Finite First-Order Wall-Layer Bridge and B01 Boundary Closure: Exact Finite-Width Sign Transfer, Relaxed Eight-Template QP, and Elimination of WL-1/WL-2[document] B01 Boundary-to-Parent Radial Composition and Parent Closure Audit: From BOUNDARY_SAFE to PARENT_SAFE — the Fail-Closed Composition of the 09I Global Radial Lock with the MCC-OE-25 Boundary Closure[document] Root-6217 Residual Ledger Reconciliation and Hybrid Certificate Atlas: From Cycle 17's '61 Current Cells' to the 9/24 '19 Tail Hard Parents' — Target-Qualified Closure, Local/Tail Responsibility Separation, and the Canonical Research Frontier[document] Root-6217 Replay Contract, Publication Debt Ledger and AMRAL LinkBack[document] BCODR Bidirectional Circular Overlap Decomposition and Recomposition v0.1: A General Methodology That Simultaneously Overlaps Outward-Expanding and Inward-Contracting Circular-Kernel Fields, Cuts Them Apart, and Traceably Recomposes the Candidate Space — Not Specific to the Lebesgue Problem[document] DLMVC v0.1: A Deep-Lag Multi-Pass Verification—Closure Methodology Deliberately Desynchronized from the Frontier Line — Its First Field Audit Already Supplies Lebesgue Universal Covering Round 01 with a Missing Lemma and Falsifies One Active-Direction Classification[document] LESR Paper 00: From Skew Fields to Variational Shape Closure — Reusing the Existing Support-Skew-Field and Shape-Update Formula to Establish a Shape-Closure Research Line for the Lebesgue Universal Covering Problem, Independent of Area-Value Closure[document] Lebesgue Universal Covering Finite-Closure Methodology, Round 00 v0.2: Freezing the LUC-FC Existence→Descent→Saturation→Global Closure Four-Stage Closure Chain and the "Finite Closure = Finite Saturated Certifiable Branch Types" Working Definition; This Round Makes No New Mathematical Claim About the Lebesgue Problem[document] Support-Handoff and Constant-Width Reduction Both Ruled CLOSED: Establishing the Curvature-Density Domain 𝓡 and a Three-Direction Active Certificate[document] Curvature-Density Compiler Gains an Explicit Error Bound, Finite Legal Dictionary Theorem Established: The Constant-Width Target Space Is Compressed, for the First Time, into an Enumerable Finite Dictionary[document] The LUC-FC Research Line Completes Its First Self-Correction While Global Candidate-Cover Optimization Remains Unsolved: Signed Placement Margin and the Fixed-Cover Finite Placement Certificate[document] a_Leb Obtains a Finite Two-Sided Bracket for the First Time, While Exact Saturation Remains Unresolved: Candidate-Cover Boundary Compiler and Global Polygon Dictionary[document] Finite-Witness Completeness Proved, the Saturation Gate Formally Established: Finite Witness Attainment Remains an Open Conjecture[document] The Witness-Exchange Eventual-Success Theorem Is Established: A Non-Saturated Family Is Guaranteed to Find a Separating Witness Batch in Finitely Many Steps, but This Round Adds No New Numerical Lower Bound[document] Independently Reproducing Mishra's Official 0.8344 Certificate, the B7 Candidate Remains Only a Search Prior: Threshold-Conditioned Minimizer Atlas and the Witness-Switching Lower Bound[document] Reuleaux Erosion Generalizes to a Generic Convex Common-Core Theorem, Nested Base/Lift Certificate Soundness Closed: B7's Root Domain at the 0.8350 Threshold Is Fixed, the Global Lower Bound Remains COMPUTE-DEFERRED[document] Exact Split Scheduler Proved, Core-Dominance Reuse Established: The Adaptive Certificate-Cost Layer Closes This Round While the Heavy 0.8350 Certificate Remains Compute-Deferred[document] Reference Atlas Emitter End-to-End Dry Run: An 11372-Node, 5688-Leaf Nested Witness Certificate Actually Runs to Completion for the First Time, Fully Cross-Checked by a Second, Independently Rewritten Verifier; Round 10 Is the First Round in the Whole Series to Adopt the Formal Claim-Status Vocabulary Verbatim, and Pre-Emptively Excludes, Under Its Own REJECTED Category, the Misreading of "Treating the Local Dry Run as the Global 0.835 Theorem"[document] Global Exhaustive Proof Rewritten as an Independently Verifiable Sharded Architecture: A Reference Case Splits Into Three Shards and Re-Verifies Successfully, but the Real Global 0.8350 Run Remains Compute-Deferred[document] Distributed Proof State Becomes a Persistent Checkpoint Crystal, Stale-Safety and Sufficiency Theorems Proved: the V1–V5 Reference Handoff Test Passes in Full[document] Certified Ancestor Contraction Theorem Proved: A Late Strong Certificate Can Absorb an Already-Split Subtree, Closing the Autonomous Scheduler/Merger ABI and Passing a Live Concurrency-Race Test[document] Semantic Implication Joins Exact-Hash Matching as a Legal Path, Hot/Cold Compaction Proved to Leave Theorem-Readiness Unchanged: The Semantic Rebase Layer and the Hot-Core Compaction Theorem Both Close[document] Proof Capacity Algebra and Automatic Threshold Ladder Both Ruled Closed: the Global Capacity Theorem and Free Promotion Theorem Are Established, but the Global 0.835 Heavy Certificate Remains COMPUTE-DEFERRED[document] First Full Pilot Run on the Global Master Root: Raw HARD Vastly Outnumbers the True Near-Minimizer Frontier, B7 Lift Deferred, Base-First Policy Adopted[document] Residual Six-Fold Symmetry Yields an Exact Search-Domain Reduction, Measured Nodes Cut Nearly in Half: the D₃ Canonical-Wedge Theorem and a Certified-Prune-Gain Scheduling Pilot[document] Production Shard Checkpoints Pass Independent Replay, and Rice-Coded Sparse Overrides Shrink Both the Raw Stream and the Packaged Artifact: A Lifetime Cost Model Shows Scheduler Choice Depends on Replay Count and Continuation Cost[document] Lazy Proof Cascade Gains an Equivalence Proof, Necessity-Marker Theorem Established: This Round Uncovers and Corrects a Two-Round Sampling-Heuristic Misjudgment[document] The First Concrete Counterexample Appears While the Global Bound Remains Unshaken: B23's Single-Cell Disqualification and the Witness Counterexample Theorem[document] B7's Deep Tail Becomes a Two-Lobe Phase-Locked Atlas, and the Regular Heptagon Still Wins Out Under a Counterexample-Guided Cutting-Plane Loop: The Finite-Tail Optimism Theorem Proves Why Tail-Fitting Is Always Overoptimistic[document] Multi-Mode Fourier Legality Compiler and Full-Orientation Oracle Rule Both Close, Yet No New Witness Beats B7: This Round Pivots to a Proof-Cost Pareto Map and a Witness Portfolio[document] Strict Incidence Formally Defined, the Witness Portfolio Closure Theorem Proved, yet the 12-Cell Pilot Scores Zero at Depth 16: A Deep Crossover Shows B₇ Overtaking H₁₉, Proof and Scheduling Layers Formally Separated[document] Facing Round 23's 0/60, Verify Before Escalating: Deep Single-Witness B₇ Refutes the Premature Inference That Joint Witnesses Are Needed, Three of the Four Hardest Cells Close on the Spot[document] Round 23's Shallow 0/60 Was Not Single-Witness Infeasibility: B₇ Alone, Deepened to Depth 30–36, Fully Closes All 12 Reference Cells and Collapses the Joint Residual to Empty[document] First Push to the Complete 77-Cell Necessity Atlas: Common Depth d=36 Reaches 51/77, a Unified Global-Pad Proposal Vetoed by Its Own Audit Data Before Activation[document] First Exact-Arithmetic Leaf Certificates Produced: Rational Inner-Polygon Theorem Established, Cell0's Five Thinnest Leaves Pass 5/5, but Closure Scope Remains Limited to the Existing Reference State[document] Root Semantics Upgraded from Stored Floats to Exact-Rational Directed Reconstruction: All 9,278 of Cell0's Terminal Leaves Complete Bulk Migration, 9,278/9,278 Pass with Zero Selective Resplits[document] All 77 Cells of the Necessity Atlas Complete Exact-Rational Upper Migration, First Whole-Shard Prototype Closes: Marker 70 Confirmed as Round 28's Complete Lift Cell[document] Second Independent Implementation Replays the marker70/B7 Shard (9278/9278 Lower Leaves Pass), Backend Now Pinned: Shared Arithmetic Trust Still Blocks Publication-Candidate Status[document] Independent Second Arithmetic Backend libMPFR/GMP Clears Full Replay, marker70/B7 Shard Becomes the Research Line's First Publication Candidate: Root, Upper Bound, and All 9,278 Lower Leaves Pass, Global Bound Still Unproven[document] Proof Progress Becomes a Staged Coverage Dashboard for the First Time: Cell69 Reaches PUBLICATION-CANDIDATE-SHARD Status as Geometry Completion Climbs to 66/77[document] cell47, cell48 Clear Dominance Audit With Zero Failures, Yet Still Refuse Promotion to Publication-Candidate: Cross-Backend Enclosure Dominance Cuts Re-Verification Scale to About One-Sixth[document] Rational-Hull Certificates Become Independently Replayable for the First Time, No New Geometric Progress This Round: RHCERT-v0.1 Doubles Publication Candidates to 4/77[document] RHCERT-v0.1 Advances From Format Experiment to Repeatable Mass Production, cell68 Promoted to Publication-Candidate: Publication-Candidates Reach 5/77, cell75/76 Await Only Certificate Bytes[document] All Seven Seats of the Depth-30 Batch Advance to Publication-Candidate, DFRONT Completes Its First Real Recovery: cell33's Lost Frontier Exactly Rebuilt, Zero Error[document] Three Seats Cross the Publication Threshold While the Unresolved Boundary Keeps Widening: Depth-32 Migration and Composable DFRONT Extension[document] UESFCM v0.1 (Unbounded Expansion–Self-Referential Finite Closure Methodology): Anchoring Unbounded Method Search onto a Single Fixed Target Proposition Q* via Mandatory LinkBack Classification and Finite Closure States[document] A finite-closure programme for Lebesgue's universal covering problem[branch-hub] III · Crystallization[document] Replaying large geometric certificates without trusting their producer[document] A certified finite reduction for Lebesgue's universal covering problem[document] Does the Reuleaux heptagon raise the three-body value? A far-set route and how far its certificates go[branch-hub] II · Computation and Reproduction[document] BCODR: the method and LUC 01–05 and 07[document] DLMVC: the method itself, and its four deep lagged passes on Round 04[document] LESR: Papers 00–09B and the midpoint handoff[document] Round 00 · The methodology freeze: the external baseline, the support-function interface and the governance rules[document] Round 01: the reduction chain holds, and the reflection branch is made explicit[document] Round 02: the finite shape compiler holds, and its error bound is safe by a wide margin[document] Round 03: the placement certificate holds, and its sanity example could not have failed[document] Round 04: the cover compiler holds; its sanity polygon is not quite the one it defines[document] Round 05: the saturation theory holds; its sanity test could not have caught a wrong bound[document] Round 06: the exchange compiler holds; its seed ladder is exact at the second rung and strict at the third[document] Round 07: the lifting theorems hold, every external number checks, and one recorded lift is not a minimum[document] Round 08: the proof grammar holds, two hard leaves close at 10⁻⁴, and the verifier has no root for a mirror image[document] Round 09: the cost layer is sound, the common core closes cells 2.2× wider than the representative prune, and dominance pruning has nothing to prune[document] Round 10: the reference certificate replays and re-emits byte for byte, the exact core clears every leaf by 3.8×10⁻⁴, and the split's tie-break lives only in the code[document] Round 11: the frontier theorems hold and the reference shards merge, but the digests and boxes cannot be rebuilt from the text, and the depth forecast is not a bound[document] Round 12: the checkpoint machinery works, but three stored aggregates contradict their ledgers and a rejected certificate comes back unchanged[document] Round 13: the merge rules are sound and the race replays, but the reference merger never writes the aggregate and cannot hold two valid certificates[document] Round 14: the migration rules hold and compaction keeps readiness, but the reported capacity jumps above a failed target and the hot core drops the evidence that matters[document] Round 15: the capacity algebra is exact, but the local proof's capacity is 0.835, not 0.8350003545 — its B7 lift root was sized for 0.835[document] Round 16: every pilot number rebuilds, but its frontier profile measures its 40-direction sampling; APR can never fire on this root, and 19 HARD cells hold configurations below 0.835[document] Round 17: the D3 quotient is exact and every run rebuilds; the quotient's gain is understated, and the tail window's edge comes from a changed override rule, not from starting at depth 10[document] Round 18: both checkpoints decode, re-prove and re-emit byte for byte; the tail forest is not Round 17's tail window, three conventions of the format are unstated, and the shipped verifier never reads the pending frontier[document] Round 19: every tree, bracket and probe rebuilds; lazy evaluation changes nothing but cost; the depth-20 recheck is complete; the B7 floor is mostly the pilot's sampling[document] Round 20: every tree, marker and placement rebuilds; the package ships no code; its search minima are not minima; with exact cores B7 closes all seven marked cells it was run on[document] Round 21: the tail atlas rebuilds box by box, and every box closes with exact cores; the synthesis search values sit below the true minima[document] Round 22: the legality rules and the lift pilot rebuild exactly; with dense cores the Pareto map's volume axis inverts, and the "cheap" harmonics cannot close their cell[document] Round 23: the strict-incidence grammar is sound and the B7 edges rebuild exactly; with exact cores B7 closes all twelve cells, and no harmonic can close any[document] Round 24: the first complete-edge certificate rebuilds bit for bit; the tail numbers mix two bounds, and cell 3 closes too[document] Round 25: all twelve B7 closures rebuild node for node; the recorded closure depths are checkpoints, and six cells close a level earlier[document] Round 26: all 77 necessity cells rebuild row for row under the package's pad; the thinnest leaf in the atlas clears T by 8.5×10⁻¹¹, not 2.9×10⁻⁹[document] Round 27: at a common depth 40 the residual's lower bounds are exact, 57 by 38 and 63 by 40; the five thinnest leaves certify again under this tree's own integer intervals, and seven more[document] Round 28: the directed root and all 9,278 leaves of cell 0 check under this tree's own arithmetic; no leaf needs the 16,384-direction density; and this tree's exact kernel loses a piece on one leaf[document] Round 29: all 77 necessity markers certify again, with 128–256 normals once the hull's bridging edges get their own; the package's polygons lose first order at those edges, so its thinnest marker is not the thinnest[document] Round 30: the whole shard passes again here, and the second implementation's lower ledger comes back leaf for leaf from its own rule; that rule keeps one contact point per direction, so its thinnest leaf measures the rule's loss, not the geometry[document] Round 31: the second backend's root, marker and 9,278 leaves pass again here, and its lower ledger is Round 30's leaf for leaf — the same polygons, their membership decided again in MPFR; the queue is this tree's atlas; the wrapper rounds its exact inputs to nearest, so §3's directed rule holds for its outputs only[document] Round 32: cells 31, 27 and 7 close here too, continued from this tree's own frontier at 40 — at depths 42, 43 and 45, inside the even checkpoints 42, 44 and 46 the round reports; cells 69 and 47 are the shipped trees node for node, every leaf passes, and cell 69's MPFR ledger is its own rule rebuilt, the escalated leaf included[document] Round 33: the dominance theorem is right and the four new trees rebuild node for node; its audits rest on MPFR, not recomputed here — and the certificates the ledgers do not keep, this tree regenerates from density and rule[document] Round 34: the certificates are real — both RHCERT files decode from their specification alone and all 4,272,769 stored vertices check out in this tree's own integer arithmetic; cell 68's summary comes back from this tree's certificates[document] Round 35: cell 68's certificate is this tree's own, leaf for leaf — every density and hull count agrees, and every one of its 2,126,336 vertices checks out here; cells 75 and 76 certify here too; the lost frontier is noted, not guessed[document] Round 36: cells 75 and 76's certificates check out here, vertex for vertex; cell 33's DFRONT file is this tree's own depth-36 frontier, written here byte for byte; cell 49's tree hashes to its manifest[document] Round 37: the three depth-32 certificates are this tree's own, leaf for leaf; cell 33's continuation to depth 42 is this tree's, every checkpoint and all 166 segment files byte for byte; the merge never checks the premise its theorem rests on[document] UESFCM: the method and its seventeen Lebesgue cycles[case-hub] Legendre's Conjecture: The Base-Space Prime-Fitting Program[document] Legendre Base-Space Prime-Fitting Program[document] Canonical Algebraic Consecutive-Square Base Space[document] Operator Audit, Closed-Loop Canonicalization and the Historical Obstruction Theorem[document] Square-Anchored Obstruction Residue Field, Atomic Reduction and the Exact Sieve Identity[document] Canonical Fit-Ordered Fiber, Fixed-Point Depth and the Low/High Obstruction Decomposition[document] Dynamic Obstruction Horizon, Factor Shells and the Sieve-Critical Gap[document] The Square P₂ Boundary and Bilinear Semiprime Capacity: Cube-Root RootRough, Least-Factor Rows, Cofactor Switching and the Buchstab log 2 Margin[document] The Square-Anchored P₂ Constant Ledger: the Rough-Lower Gate, the Bilinear Semiprime Upper Bound and the Parity-Signed Reformulation[document] Square-Anchor Type-I / Type-II Information Audit and the P₂ Literature Correction (with the Errata for Phases 12–14)[document] The Type-I / Type-II Coverage Polytope: the Exact Square-Root Localization Gate, the Weighted Reciprocal Gap and a Localization of the Minimal Gap[document] The Landing-Graph Moment Hierarchy and GCD Stratification: Fourth-Order Bulk Mixing, Large-GCD Closure, the Sixth-Order Closure Gate and the Primitive Correlation Triangle[document] The Fully Nondegenerate Toric Core: the Opposite-Pair Three-GAP Normal Form, Alternating Product Conservation, Opposite-GCD Defect and Multiplicative Slope Coupling[utility-page] AI content licensing[utility-page] Links[case-hub] Methodology[document] Autonomous Mathematical Research Agent Loop[document] From Transient Axioms to Backfillable Bridges[branch-hub] III · Crystallization[document] Verifying machine-assisted mathematics: one instrument built to fail, run on four research programmes, and what it found about itself[document] Result-Induced Intermediate Theorem Generation and Reverse Axiom Backfilling[case-hub] Moser's Worm Problem[document] Support-Skew Linear Programming, Finite-Curve Pressure, and the First Adversarial Search[document] The Complete Phase Contact-Interval Map, Envelope Derivatives, and a Global Numerical Exclusion Ledger[document] Exact Contact Boundaries, Derivative Interval Boxes, and a Dedicated 120°/270° Difference Certificate[document] Independent mpmath.iv Replay, Interval Newton, and the Arb-Absent Boundary[document] The Smooth Five-Parameter Event–KKT System, Isolation, and Peak Correction[document] Two-Peak Curvature Splitting, Chirality Breaking, and Single-Peak Local Stability[document] Curvature-Function Mode Spectrum, Hidden-Branch Opening, and a New Finite-Mode Candidate[document] Phase Jumps, the Dual Contact-Pressure Ledger, and Topology-Guided Curve Search[document] Contact-Ledger Reverse Generation, Mirror-Symmetric Multi-Link Curves, and a Degrees-of-Freedom Validity Test[document] Phase-Branch Ledger, Sensitivity Matrix, and Four-Branch Equalization[document] Contact-Event Equations, a Non-Smooth KKT System, and an Isolated Five-Link Candidate[document] Chiral Escape, Eight-Dimensional Contact-Topology Search, and a Local-Stability Draft[document] Mixed Polyline–Curvature-Arc Families, Curvature Concentration, and the Value of Discrete Kinks[document] Finite-Width Curvature Layer, a Smooth Candidate's Surpassing Result, and Dual-Path Support Cross-Checks[document] Arbitrary-Precision Reconstruction, the Monotone Darboux Cusp Envelope, and the Boundary of the Certificate[branch-hub] III · Crystallization[document] Beyond the event five-link: curvature layers, a saddle against peak splitting, and a certified ascent of a worm's critical scale[document] Six rounds of a search for the hardest unit arcs in the 30-60-90 triangle, recomputed: the exact critical-scale formula, two chirality conventions, and the event five-link[document] The hardest worm for the 30-60-90 triangle: fifteen rounds of search, an independent recomputation, and a certified ascent[document] Certifying a worm's critical scale over the whole rotation circle: a phase-contact map, interval enclosures, and the gaps of a semi-validated certificate[branch-hub] II · Computation and Reproduction[document] Round 01 (v0.1): the grid programs reproduce; what they print is a grid's value, a local search's, and one handedness's[document] Round 10 (v0.10): the phase-contact map reproduces to 10⁻¹³, but one of its four cusp minima is a smooth minimum it misses, and at the wing switches one of each pair of stated derivatives is not the derivative; the least at 3π/2, which the round left open, is certified here[document] Round 11 (v0.11): the exact boundaries and the 120°/270° enclosures hold, and the 579 derivative boxes and the root boxes hold where sampled; the switch neighbourhoods' derivative intervals leave out the 2×10⁻¹⁰ rad beside each switch, and three exclusions rest on them[document] Round 12 (v0.12): the interval replay of the 120°/270° enclosures reproduces to 3×10⁻⁸¹ and the Newton steps hold, but one boundary ball in 19, not 19, holds Round 11's float, the root replay's positions are estimates, and "dependency inflation" explains only part of what it is used for[document] Round 13 (v0.13): the five-parameter event-KKT point lies 6×10⁻⁸ from the stated one and is a strict local maximum, and the gain over Round 08 is certified between 4.04×10⁻⁹ and 4.25×10⁻⁹; but the Jacobian's stated spectrum is not the system's — its condition is 2.1×10³, not 3.8×10⁷ — §7's projection is not reproduced, and three of the four other minima are not the curve's[document] Round 14 (v0.14): the single peak is a saddle against splitting, not a local maximum — split into two halves with its five parameters re-solved, the curve rises, certified 1.19×10⁻⁷ above Round 13's at separation 0.03 — while the chirality modes are stable for the congruent scale, as stated; the search's evaluator puts the low branches 10⁻⁸ low, its profile holds the parameters fixed, and its minima lists are phase samples[document] Round 15 (v0.15): the eight-mode candidate stands — exact to 2×10⁻¹⁴ and certified in interval arithmetic at least 1.3725×10⁻⁷ above Round 13's — with nine minima and a latent margin of 3.0046×10⁻⁹; but Round 13's point is not stationary in the modes, so the Hessian decides nothing there, the base's low-branch gradients are off by 10⁻⁵, the ledger's takeover opens and closes before the stated window, and the headline figures are printed past their digits[document] Round 02 (v0.2.2): the ledger, the scans and the exact values reproduce; the main report's numbers are its grid's, and the three-link family goes higher than its corrected curve[document] Round 03 (v0.3): the five- and seven-link values reproduce; the seven-link family contains every five-link curve, so seven below five is a search's shortfall[document] Round 04 (v0.4.1): the equalized five-link reproduces; its four branch minima sit at exact phases, and re-equalized there they level to 10⁻¹⁵, 6.7×10⁻⁹ higher[document] Round 05 (v0.5): the contact-event system reproduces; its root is a strict local maximum, of the four-branch model and so of the least scale on a neighbourhood of unestablished size[document] Round 06 (v0.6.1): the escape, the census and the audit reproduce; the event root is a strict local maximum of the eight-parameter model, and so of the congruent least scale among nearby five-links on a neighbourhood of unestablished size[document] Round 07 (v0.7): the curvature wings reproduce; the arc wing's deficit stands, every segmented family reaches the event five-link in a limit, and the m = 6 signature is one of Round 05's four events[document] Round 08 (v0.8.3): the smooth curvature layer's gain over the event five-link is real — 1.0581952124×10⁻⁵, confirmed in independent code and in 40-digit arithmetic — but its published curve file is not the candidate[document] Round 09 (v0.9): the 270° cusp holds to 120 digits and its Darboux bound is sound; the draft's target over the whole phase circle is certified here — the candidate's least scale exceeds the event five-link's[hub] New Mathematical Methodology[case-hub] Numerical Information Object Theory[document] Numerical Information Object Theory: From Linear Floating-Point Projection to Unbounded Probe Matrices and the Microscopic World of Numbers[document] Numerical Identity Units and the Projection Non-Identity Principle[document] Information Probe Calculus: Observation, Refinement, Composition, and Stopping Conditions for Numerical Information Objects[document] Unboundedly Expandable Finite Matrices: Dynamic Finite Dimensionality, Sparse Structure, and Task-Relative Closure[document] Spectral Discrimination and Multi-Probe Coupling: From Bidirectional Information Fields to Multiscale Numerical Microstructure[document] Numerical Index Geometry: Addressing, Reindexing, Local Neighborhoods, and Identity Preservation[document] Floating-Point Projection, Completion, and Cross-Domain Bridges: Bidirectional Semantics from Finite Machine Representations to Numerical Information Objects[document] Bidirectional Structural Localization and Responsibility Closure: A Generalized Information-Theoretic Form of BCODR[document] Canonical Numerical Architecture: From Numeral Interpretation and Numerical Information Ontology to Authoritative Projection and Responsibility Closure[document] AI-Native Numerical Information Runtime: Adaptive Probing, Dynamic Expansion, Responsibility Closure, and Authoritative Commit[case-hub] NS Research Zone[branch-hub] NS-ANP[document] ANP-00: Pre-Singularity Causal Relation Domain, Hybrid Continuity, Legality, Phase-Like Transitions, and Causal Interpretation[document] ANP-01: Source–Core Provenance, Adjoint Causal Tubes, Scale-Resolved Vorticity Renewal, and the C2→C3 Gap[document] ANP-02: Recursive Edge Compatibility, Adjoint-Footprint Aperture, Canonical Footprint Nodes, and the Parent-Localization Gap[document] ANP-03: Source-Parent Recapture, Kernel-Inflated Footprints, Weighted Parent-State Extraction, and the C3 Causal Upgrade[document] ANP-04: Non-Type-I Ancestry Entry, Adaptive Weak-L³ Seeds, UV Square-Tail Extraction, and Universal Causal-State Initialization[document] ANP-05: Arbitrary-Depth Compatible C3 Paths, No-Terminal-Node, Adaptive Generation Renormalization, and the Singular-Horizon Compactness Gap[document] ANP-06: Singular-Horizon Infinite Ancestry Extraction, Dual-Propagator Correction, Horizon Persistence, and Chain-Necessity Closure Audit[document] ANP-07: Horizon-Persistent Branch Extraction, Strong-Child Compactness, Causal Edge Closure, and the Renewal-Rate Alternative[document] ANP-08: Horizon Transmission Rigidity, Fresh-Source Cascade, Budgeted CN3, and Actual-Branch Shadowing Audit[document] ANP-09: Scale-Fragmentation Rigidity, Actual Horizon Inverse Limits, Causal-Forest Necessity, and the CN3 Final Audit[branch-hub] NS-CFOP[document] CFOP-01: Diffuse Horizon Causality, Causal Cutsets, Action–Congestion Duality, and Forest Obstruction[document] CFOP-02: Spatial-Scale Atomization, Forest Capacity, Enstrophy Cutsets, Driver Interfaces, and Diffuse-Cascade Rigidity[document] CFOP-03: Finite Forest Obstruction, Universal Budget Audit, Negative-Sobolev Forcing, Sparse/Dense Geometry, and Cycle-V Closure[branch-hub] NS-CSP[document] CSP-01: Spatial Concentration Synchronizer, Window Capture, Shell Atomization, and Wavelength-Cell Dispersion[document] CSP-02: Spatial-Atom Equivalence, Type-I Enstrophy-Core UV Extraction, and Parabolic Packing[document] CSP-03: Shell Atomization, Spectral-Variance Geometry, Approximate Eigen-Shells, and Resonant Transfer[document] CSP-04: Moving-Window Capture, Dissipation-Wavenumber Geometry, Escape Intervals, and UV Stock Placement[document] CSP-05: Escape-Time Synchronization, Besov Recovery Packets, and Temporal Gap Rigidity[document] CSP-06: Stale-Floor / Model-Cone Synchronization, Preloaded Reservoir Depth, and Band-Passed Core Alignment[document] CSP-07: Preloaded Reservoir Transport, Viscous Survival, Replenishment Debt, and Core Dilution[document] CSP-08: Unified Reservoir/Alignment Cover, Exponential Preload Audit, and Cycle-II Closure[branch-hub] NS-DCRP[document] DCRP-01: Carrier Entropy and Nonlinear Concentration Recovery[document] DCRP-02: Cross-Scale Interaction Graph and Supply-Migration Rigidity[document] DCRP-03: Logarithmic Model-Cone Debt and Scale-Return Exclusion[document] DCRP-04: Scalar Gain Transfer and the Scale-Gap Bound[document] DCRP-05: Transverse Model-Cone Rigidity and Normalization-Orientation Audit[document] DCRP-06: Spectral Moment Separation and Hellinger Rigidity[document] DCRP-07: H² Interaction Tax and the Derivative-Visibility Gap[document] DCRP-08: Dissipation-Wavenumber Supplier-Atom Recovery and the Ultraviolet Supply Bridge[document] DCRP-09: Duhamel Supplier Ancestry and Genuine Historical Causality[document] DCRP-10: First-Crossing Shell Flux and Parent Localization[document] DCRP-11: Heat-Band PFET Compatibility and Forward/Backward Scattering Substitution[document] DCRP-12: Local PFET Localization and Work-Carrier Completion[document] DCRP-13: Supplier-Trace Critical Lift and Finite-Family Anti-Diffusion[document] DCRP-14: Solenoidal Trace-Window Compiler and Final Trace-Realization Accounting[document] DCRP-16: Good-Collar Localization and Local Supplier Capture[document] DCRP-17: Supplier Stopping-Time Synchronization and Excursion Irreversibility Obstruction[document] DCRP-18: Trace-Erasure Action and Two-Sided Scale-Carrier Completion[document] DCRP-19: Critical-Supply Source Reduction and Filtered-Stretching–Diffusion Pivot[document] DCRP-20: Filtered-Enstrophy Diffusive/Infrared Dichotomy and Far-Field Reduction[document] DCRP-21: Far-Field Annular Escape and Harmonic-Jet Reduction[document] DCRP-22: Supplier-to-Filtered-Enstrophy Activation and Temporal-Spike Elimination[document] DCRP-23: Bounded-Lag Increment Activation and Young-Profile Frontier[document] DCRP-24: Increment Young-Profile Fiber Completion and Covariance Rigidity[document] DCRP-25: Pressure-Compatible SGS Energy Rigidity and Affine-Kernel Collapse[document] DCRP-26: SGS Recurrence Gap and Dual-Work Coercivity NO-GO[document] DCRP-27: Critical-Reservoir Absorption and Type-II Euler–Reynolds Reprofiling[document] DCRP-28: Type-II Double-Level Crossing and the Genuine Euler Barrier[document] DCRP-29: Raw-Energy Atomicity and the Atom-Free Backward-Ancient Survivor[document] DCRP-30: Same-Parent DSS Recurrence, Atom-Free Exponent Window, and Mandatory Tail Escape[document] DCRP-31: DSS Radial PFET Rigidity and the Core–Tail Matching Flux[document] DCRP-32: Critical Telescoping NO-GO and Kelvin-Holonomy Rigidity[document] DCRP-33: Circulation Replenishment, Backward Filamentation, and Navier–Stokes Kelvin Shadowing[document] DCRP-34: Quotient-Corrected Kelvin Number and the Critical Kelvin–Oseen Equality Manifold[document] DCRP-35: DSS Enstrophy Replenishment and Outer Affine-Jet Reduction[document] DCRP-36: Affine-Jet Reproduction Action and Critical Shell Packing[document] DCRP-37: Affine-Jet/Vorticity-Covariance Phase Locking and Eigenframe Dynamics[document] DCRP-38: Covariance-Determinant Rigidity and Low-Rank Vorticity-Phase Collapse[document] DCRP-39: Rank-One Vorticity-Core Decomposition and Burgers-Jet Normal Form[document] DCRP-40: Rank-Two Planar Covariance and Normal-Compression Floquet Rigidity[document] DCRP-41: Planar-Covariance Shape Disk and Moving Pancake-Jet Normal Form[document] DCRP-42: Planar Potential–Shear Scalar Reduction and Canonical Pancake Amplification[document] DCRP-43: Anchored-Shear Poincaré Cocycle and Infinite-Sheet Reservoir Rigidity[document] DCRP-44: Coarea NO-GO and Sheet-Interface/Plateau-Escape Dichotomy[document] DCRP-45: Log-Sheet Capacity, Super-DSS Interface Escape, and Vanishing Inward Portal[document] DCRP-46: Canonical Label Measure, Logarithmic-Radius Transport, and Intermittent Super-DSS Exhaust[document] DCRP-47: Shear–Vorticity Two-Form Invariant and Critical-Sheet Monodromy Group[document] DCRP-48: Coherent-Pancake Fokker–Planck Reduction and the Viscous Batchelor Floor[document] DCRP-49: Material Sheet-Tube Signed-Distance Accounting and the General Viscous Thickness Floor[document] DCRP-50: Thickness-Scale Curvature and the Filtered Vorticity-Direction Compiler[document] DCRP-51: Curved-Sheet Uncertainty and Fragmentation-Resistant Second-Order Diffusion Activation[document] DCRP-52: Palinstrophy Criticality Audit and Gaussian-Batchelor Return Rigidity[document] DCRP-53: Gaussian-Width–Strain Reconstruction and Finite Matching-Layer Rigidity[document] DCRP-54: Finite Annular Dual Moments and Return-Vorticity Matching Rigidity[document] DCRP-55: Two-Mode Dynamic Leakage and the Failure of Autonomous Matching Closure[document] DCRP-59: Signed-Residual Channel Confluence and Rank-Two Identity Closure[branch-hub] NS-DRC[document] DRC-01: Exponential Preload, Prehistory Renewal, Viscous-Age Slabs, and High-Parent Source Genealogy[document] DRC-02: Source-to-State Efficiency, Parent Multiplicity, Cancellation Geometry, and Renewal-Chain Compression[document] DRC-03: Source Amplification, Interaction Utilization, Spectral State Share, and Dissipation-Range Coupling[document] DRC-04: Cancellation Rigidity, Many-Parent Aggregation, Net-Shell Coherence, and Dissipation-Span Compression[document] DRC-05: Dissipation-Range Reservoir Closure, Low-Mode Driver Packets, Boundary Residence, and Forcing-Level Viscous Coercivity[document] DRC-06: Persistent Core Dilution, Backward Concentration, Absolute UV Core Carriers, and Core-Reuse Rigidity[document] DRC-07: Unified Dynamic Reservoir Cover, Type-I Ancestry Recompilation, Chain-Necessity Audit, and Cycle-III Closure[branch-hub] NS-FCBP[document] FCBP-01: Critical Forest Coercivity, One-Derivative Gap, Dual Congestion Renormalization, and Structural Cancellation[document] FCBP-02: Filtered Stretching Coercivity, Comparable-Annulus Barrier, Signed Affine-Jet Lift, Commutator Recurrence, and Critical-Lift No-Go[document] FCBP-03: Signed Pressure–Flux Work, Variable-Radius Telescoping, Slow-Scale Critical Lift, Filter-Switch Defects, and Model-Cone Recurrence[document] FCBP-04: Moving-Filter Telescoping, Continuous Filter Drift, Horizon Alignment, Time-Thickness Barrier, and Borderline Critical Lift[document] FCBP-05: Long-Age Observability, Sharp Half-Exponent Window Threshold, Combined Anti-Phantom Detection, and Paid-Side Recurrence[document] FCBP-06: Causal-to-Audit Transfer, Combined-Invisible Cascades, Paid-Side Absorption, and Cycle-VI Closure Audit[branch-hub] NS-GSM[document] The NS_GSM Seed Dataset[document] CSM Reference Runtime v0.1[document] NS_GSM Full Corpus Ingestion v0.2[document] NS_GSM Candidate Review v0.3[document] NS_GSM Proof Authority Review v0.4[document] NS_GSM Independent Verification v0.5[document] NS_GSM Formalization and Cross-Replication v0.6[document] NS_GSM FELRA Formal Proof Bridge v0.7[branch-hub] NS-IDRP[document] IDRP-01: Impulse Persistence, Trace Thickening, Temporal Action Packing, Moving-Window Visibility, and Recurrent Defect Normal Forms[document] IDRP-02: Source-Impulse Visibility, Filtered Trace Variation, PFET Burst Coupling, Logarithmic Atom Thickening, and Moving-Window Depletion[document] IDRP-03: Relative Invisible Burst Kernels, Dual-Compatible Burst-to-Defect Realization, Amplitude-Normalized Audit, and Temporal Rigidity[document] IDRP-04: Source Transversality, Adjoint Synchronization, Singular Limit Kernels, Physical Burst Amplitude, and Cycle-IX Closure Audit[branch-hub] NS-INRS[document] DCRP76/X72R59: 2γ Stretch Resonance and Infinite Conveyor[document] DCRP103 / X72R86: Adjoint Eigen-Lock and Five-Ray Classification[document] DCRP62 / X72R45: Aligned Neutral Pressure Compatibility and Convergence of the N Branch[document] DCRP67 / X72R50: Aligned Two-Stress Spectral Geometry and Axisymmetric Self-Locking Modes[document] DCRP89/X72R72: Ancestry-Exit Pricing and the Supplier-Speed Normal Form[document] DCRP68 / X72R51: Collapse of Axisymmetric Director Integrability[document] DCRP102 / X72R85: Backward Adjoint Dynamics and the Copula Cone[document] DCRP45: Canonical-Ray Compression of the Annular Strain Supplier[document] DCRP50: Central-Response Affine NO-GO and the Three-Component Frontier[document] DCRP96 / X72R79: Circulation Young Profile and Nematic Lock[document] DCRP82/X72R65: Codimension-Two Trace Barrier and the Kelvin Concentration Defect[document] DCRP66 / X72R49: Cofactor Null-Channel Repair and Two-Stress Correlation[document] DCRP64 / X72R47: Constant-Defect Null-Channel Exclusion and Forced Pressure Increment[document] DCRP72/X72R55: Critical Twist Collapse and Multi-Axis Mosaic Residue[document] DCRP73/X72R56: Cylinder Mosaic Absorbed into the Turnover Branch[document] DCRP58: Cylindrical Transparent-Tail Elimination and Outer Closure[document] DCRP70/X72R53: Double-Integrability Rigidity and Straight-Tube Energy NO-GO[document] DCRP47: Dual-Current Critical Scaling and the Characteristic Window[document] DCRP97 / X72R80: Dual-Lock PSD Cone and the Pancake Gap[document] DCRP91/X72R74: Filamentation Terminal Elimination and the Directional-Diffusion Compiler[document] DCRP100 / X72R83: Finite-Lag Duhamel and the Rotational SGS Kernel[document] DCRP92 / X72R75: Finite-Scale Confluence and the Joint Detector[document] DCRP90/X72R73: Finite-Time Tail-Transport Infeasibility Theorem[document] DCRP44: Gauge-Covariant Pancake Connection and Flatness Classification[document] DCRP46: Gauge-Flat Annular Scalar Moment and Signed Transport Gap[document] DCRP53: Global Cylindricity and the X72 One-Quarter Visibility Slice[document] DCRP86/X72R69: Hardy Annularization and the Single-Component Work Gap[document] DCRP93 / X72R76: Homogeneity-Sign Principle and the Critical Replacement Conveyor[document] DCRP57: Isotropic Residual, Straight-Cylinder NO-GO, and Twist Tail[document] DCRP101 / X72R84: Joint-Path Young Profile and the Second/Third-Moment Lock[document] DCRP88/X72R71: Kelvin Circulation Regeneration Depth and Ancestry Escape[document] DCRP94 / X72R77: Kelvin Reset Graph and the Nonpositive-Homogeneity Sidecar Theorem[document] DCRP81/X72R64: Mesoscale Kelvin Decomposition and the SGS Circulation Bridge[document] DCRP54: Localized X72 Visibility Defect and Shell Leakage[document] DCRP84/X72R67: Logarithmic Capacity, Matched Atoms, and Scale Escape[document] DCRP71/X72R54: Endpoint Energy Audit and Critical Twisting Residue[document] DCRP98 / X72R81: Moving-Pancake Gap and X/N/T Confluence[document] DCRP55: Multipole Compensation, Rank Lift, and Tail Escape[document] DCRP80/X72R63: Noncompact-Escape Absorption and the Terminal Compiler[document] DCRP52: Null-Hessian Envelope Integrability and the X72 Lift[document] DCRP75/X72R58: Packet-Centered Pressure Work and the T→X Confluence Bridge[document] DCRP49: PFET–Neumann Independence and Off-Central Rigidity[document] DCRP69/X72R52: Cofactor Phase-Lock Normal Form[document] DCRP43: Poincaré Scalar Transfer and Material Nonrecurrence[document] DCRP48: Pressure-Driven Response Slope and Mixed-Hessian Telescoping[document] DCRP63 / X72R46: Axial Pressure Oscillation and Floquet Stretch Modulation[document] DCRP56: Rank-Three Covariance Lift and the Cylindrical Tail[document] DCRP60: Rank-Two Closure Package and X72 Frontier Selection[document] DCRP87/X72R70: Recurrent-Work Unobservability Rigidity Theorem[document] DCRP104 / X72R87: Riesz Self-Consistency and the Shear-Polarization Survivors[document] DCRP43-QC: Same-Parent Scalar Re-Root and Gauge-Quotient Collapse[document] DCRP85/X72R68: Scale-Gap Debt and the CKN Finite Chain[document] DCRP79/X72R62: Secular Compact-Chain NO-GO and Noncompact Catalogue[document] DCRP95 / X72R78: SGS Phase Slip and the Total-Variation Audit[document] DCRP65 / X72R48: Disproof of Pressure-Source Flatness and Null-Channel Closure[document] DCRP61 / X72R44: Stress Projection and the Aligned Neutral Floquet Mode[document] DCRP77/X72R60: Directional-Stretch First Crossing and the Tilt Cost[document] DCRP83/X72R66: Subfilter Trace Re-Rooting and the Parabolic Atom Trichotomy[document] DCRP78/X72R61: Tilt-Pressure Equation and Resonant-Return Infeasibility[document] DCRP105 / X72R88: Vanishing-Viscosity Residual Matching and the Spectral-Migration Audit[document] DCRP74/X72R57: Vector Annulus Tax and Counterflow Conveyor Normal Form[document] DCRP51: Wave–Pseudo-Eikonal Rigidity and the Null-Hessian Survivor Cone[document] DCRP99 / X72R82: X72–Kelvin Bounded-Lag Synchronization[branch-hub] NS-MORP[document] MORP-01: Non-Tautological Extraction, Minimal Invisible Profiles, Kernel Saturation, and Transition Rigidity[document] MORP-02: Native Defect Extraction, Defect-Completed Compactness, Profile Splitting, Harmonic-Pressure Quotients, and Minimal-Profile Existence[document] MORP-03: Normalized Return Transitions, Profile Carrier Saturation, Ancient/Defect Normal Forms, and Rigidity Entry[document] MORP-04: Ancient-State Liouville Cuts, Local-Energy-Slack Rigidity, Zero-Tax Splitting, and Equality-Manifold Exclusion Audit[document] MORP-05: Escape Reprofiling, Ancient Spatial-Tail Rigidity, Diffuse Minimal Carriers, and Cycle-VII Final Audit[branch-hub] NTLA-O: Generalized Nested Topological Observer Theory[document] Paper 1: NTLA 2.0: Nested Topological Learning Architecture[document] Paper 2: NTLA-O I: Main, Internal, and External Observers[document] Paper 3: NTLA-O II: Set-Theoretic Observer Hierarchy[document] Paper 4: NTLA-O III: Observer Topology, Indistinguishability Kernels, and Quotient Spaces[document] Paper 5: NTLA-O IV: Local–Global Observation, Presheaves, Sheaves, Stalks, and Descent[document] Paper 6: NTLA-O V: Path Identity, Fundamental Groupoids, Coverings, Monodromy, and Holonomy[document] Paper 7: NTLA-O VI: Inverse Systems, Observer Tower, Inverse Limit, and Pro-Observer Identity[document] Paper 8: NTLA-O VII: Complete Separation, Canonical Invariants, Locally Finite Reconstruction, and the Continuous Separation Problem[document] Paper 9 / 9: NTLA-O: Unification — Unified Axioms, Identity Hierarchies, Mathematical Interfaces, Completeness, and Research Boundaries[branch-hub] Navier–Stokes Existence and Regularity[document] 00: ETN–X Integration Refactor[document] 01: C1: High-Frequency Escape and the Nonlinear UV Replenishment Chain[document] 02: C2: Critical Toll, Dissipation-Wavenumber Spike-Packing, and the Scale-Blind Budget No-Go[document] 03 / C3-A: The Conservation–Criticality–Positivity Trilemma and Divergence of Bihelical Pair Production[document] 04 / C3-B: Bihelical Critical-Energy Equalization, Heterochiral Triad Decomposition, and Unique-Sign UV Escape[document] 05 / C3-C: The Class-II Nonlocality Quadratic Tax, Radial-Drift Congestion, and the Class III/IV Forward-Surviving Family[document] 06 / C3-D: The Cutoff-Flux Sign Theorem, the Helical-Kernel Nonlocality Exponent, and the Class-II Logarithmic Reversal[document] 07 / C3-E: Viscous-Window Renewal, Phase Efficiency, and Zeno Compatibility for the Local Heterochiral Frontier[document] 08 / C3-F: Phase-Space Quasi-Locality, the Ancestry Cone, and the Finite-Branching Reversal[document] 09 / C3-G: The First-Crossing Causal Frontier, Critical Shell Ancestry, and the Monotone Depletion No-Go[document] 10 / C3-H: Ancestry Renormalization, the Unit-Shell Anchor, and the Critical Compactness Barrier[document] 11 / C3-I: The Frontier UV Cap, the Critical-Defect Trichotomy, and One-Step Ancestry Decoupling[document] 12 / C3-J: The Moving-Gauge Re-entry Audit, Absolute-Shell Hysteresis, and the Flux-Variation No-Go[document] 13 / C3-K: The Absolute Occupancy Worldvolume, Subthreshold Flux Variation, and the One-Moment Critical Gap[document] 14 / C3-L: Critical Vorticity-Moment Escape, the Active-Occupancy Dichotomy, and the Strain-Geometry Debt[document] 15 / C3-M: Vorticity–Strain Coupling, Betchov Global Collapse, and the Directional-Geometry Debt[document] 16 / C3-N: Localized Betchov Boundary Current and the Local Balance of Strain Self-Amplification[document] 17 / C3-O: Adjoint Core Balance, the Cancellation Corridor, and Balance–Dynamics Separation[document] 18 / C3-P: Operator Escape, the Far-Pressure Harmonic Matrix, and the Finite-Dimensionalization No-Go[document] 19 / C3-Q: Pressure–Projection Orthogonality, Operator-Escape Localization, and the Harmonic-Matrix Compensation Debt[document] 20 / C3-R: Multi-Core Packing, Pressure-Horizon Congestion, and the Five-Dimensional Strain-Convexity Debt[document] 21 / C3-S: Strain-Cone Margin, Cross-Scale Separator Compactness, and Merger Rigidity[document] 22 / C3-T: Pressure Diversification, Cone-Eigenvalue Non-Rigidity, and the Heredity Gap[document] 23 / C3-U: Pressure-Poor Heredity Decomposition, Adjoint Mean-Strain Transport, and Mean-to-Pointwise Rigidity[document] 24 / C3-V: Turnover Packing, the Pressure-Heredity Failure Trichotomy, and Strain-Fluctuation Escape[document] 25 / C3-W: Critical Pressure Rotation, Strain Active-Volume Sparseness, and the Analyticity-Scale Barrier[document] 26 / C3-X: Joint Pressure–Strain Concentration, Finite-$k$ Gap Closure, and Analyticity-Scale Escape[document] 27 / C3-Y: Derivative-Chain / Intermittency Tradeoff, Direct-vs-Chain Gap Closure, and Joint-Concentration Routing[document] 28 / C4-A: Unified Survivor State, Synchronization Debt, and Transition Closure[document] 29 / C4-B: Temporal Synchronization, Pulse-Capacity, and Carrier-Relay No-Go[document] 30 / C4-C: Carrier Relay, Shared-Event Coupling, and the Amplitude-to-Flux Barrier[document] 31 / C4-D: Amplitude-to-Flux Branching Bridge, Local Work Cancellation, and Helical-Cancellation Rigidity[document] 32 / C4-E: Recurrent Escape-Branch Rigidity, Transport-Free Source Routing, and UV Motif Compression[document] 33 / C4-F: Higher-Frequency Relay, Work-Variation Operator Bridge, and the Spectral-Congestion Trilemma[document] 34 / C4-G: Cross-Congestion Synchronization, Operator Funnel, and UV Phase-Space Closure[document] 35 / C4-I: Middle–Operator Gate Overlap, Angle Depletion, and Local Pressure Re-entry[document] 36 / C4-J: Compensation Rigidity, Final Synchronization Audit, and C4 Phase Closure[document] 37 / C5-A: Record-Window Renormalization, Compensation-Motif State Space, and Metadata Compactness[document] 38 / C5-B: Temporal Young Defects, Pulse-Phase Compatibility, and the Concentration/Oscillation Trichotomy[document] 39 / C5-C: Temporal Correlation Defects, Cross-Curvature Transition Measures, and Causal Pulse Ordering[document] 40 / C5-D: Spatial–Matrix Motif Compatibility, Strong-Middle Cones, and Quadratic/Pressure Convex-Hull Obstructions[document] 41 / C5-E: Strain-Direction Defect Measures, Middle-Gap Degeneration, and Derivative-Intermittency Closure[document] 42 / C5-F: Compressive-Axis Robustness, Pressure-Signature Locking, and Derivative-Gate Escalation[document] 43 / C5-G: Pressure-Signature Defects, Vorticity Constraint Complements, and Fixed-Order Derivative-Gate Closure[document] 44 / C5-H: All-Order Effective-Volume Defects, Spectral–Multiplicity Ladders, and Asymptotic-Critical Compatibility[document] 45 / C5-I: Derivative Sign-Geometry Defects, Chain Sections, and Harmonic-Measure Compatibility[document] 46 / C5-J: Line-Section Sign Processes, Order-Sandwich Coupling, and Harmonic Critical Saturation[document] 47 / C5-K: Chain-Time Stitching, Window-Persistent Sign Defects, and Dynamic-Interpolation Closure Audit[document] 48 / C5-L: Persistent Bad-Window Rigidity, Chain-Clock Defect Measures, and Root-Turnover Compression[document] 49 / C5-M: Unified Defect-State Closure, Compatibility Graph Audit, and C5 Phase Boundary[document] 50 / C6-A: Certified Defect Graph, Typed Cycle Composition, and Minimal Survivor Candidates[document] 51 / C6-B: High-Order Forcing Re-entry, Bad-Window Regeneration, and the H/F Cycle Test[document] 52 / C6-C: Nonlinear Duhamel Coherence, Sign-Reentry Efficiency, and Cycle-Critical Saturation[document] 53 / C6-D: Geometry–Pressure Cycle Composition, Provenance Compatibility, and Signature-Return Tests[document] 54 / C6-E: Temporal-to-Spatial Shared-Source Coupling, Isolation No-Go Tests, and the Fate of the T Trap[document] 55 / C6-F: Shared-Source Core Extraction, Spatiotemporal Heredity, and Cross-Domain Routing to GP/HF[document] 56 / C6-G: Typed Cross-Domain Graph Rebuild, Joint-Node SCC Audit, and Minimal Boundary-Saturated Survivor Cycles[document] 57 / C6-H: Critical Boundary-Face Transition Graph, Debt-Coercivity Audit, and Boundary-Cycle Elimination[document] 58 / C6-I: Scale-Normalized Critical Debt, Capacity-at-Infinity Compactification, and Barrier-Accumulation Cycles[document] 59 / C6-J: Log-Scale Renormalized Defect Flow, Telescoping Potentials, and Critical-Cycle Closure Tests[document] 60 / C6-K: Critical Fiber Escape, Defect-Fiber Compactness, and Profile-Splitting Closure[document] 61 / C6-L: Singular Carrier Profiles, Spectator Decoupling, and Secondary-Scale Defect Rebinding[document] 62 / C6-M: Carrier Completeness, Spectral/Pressure Visibility, and Nested-Rebinding Rigidity[document] 63 / C6-N: Near-Lossless Carrier Concentration, Ancient-Profile Extraction, and Defect-Complete Rigidity[document] 64 / C6-O: Peak-Scale Defect Inheritance, Type-II Ancient Carriers, and Mass–Peak Two-Scale Closure[document] 65 / C6-P: Ancient Defect-State Classification, Record-Peak Derivative Rigidity, and Peak-Local Pressure Closure[document] 66 / C6-Q: Ancient Defect Rigidity, Local Growth Lift, Strain-Projection Tail Reduction, and Spatial Carrier Rebinding[branch-hub] NS-RFP[document] RFP-01: Singularity Formation Ancestry, Legal Multiscale Chains, and Finite Obstruction Architecture[document] RFP-02: Critical UV First-Passage Skeleton, Shell Carrier/Bypass Dichotomy, and Nonlinear Source Debt[document] RFP-03: Dual-Witness Parent Ledger, Exact Triadic Provenance, and Carrier-Depth Escape[document] RFP-04: Adjoint Spacetime Tube Ledger, Pressure-Compatible Localization, and Quantitative Uniform Parent Tightness[document] RFP-05: Witness Persistence, Finite Branching, Survivor Recursion, and Infinite Ancestry Path Extraction[document] RFP-06: Inter-Edge Bridge Realization, Source–Stock Propagation, and Persistence Bottleneck Decomposition[document] RFP-07: Synchronous Plateau Compression, Carrier-Depth Propagation, and Fast-Front Source Debt[document] RFP-08: Memory-Depth, Time-Lag Resolution, Packet-Complete Closure, and Plateau-Crossing Bridges[document] RFP-09: Pressure/Far-Field, Adjoint Distortion, Interaction Efficiency, and Unified Tax Ledger[document] RFP-10: Guard Library Consolidation, Tax-Boundary Escape Census, and Finite-Obstruction Audit[document] RFP-11: Pathwise Coercive Actions, Dangerous-Core Filtering, and Dynamical Guard Coverage[document] RFP-12: Dangerous-Core Realizability, Coercive-Intersection Analysis, and Standard PDE Recompilation[branch-hub] NS-RKAP[document] RKAP-01: Hyperbolic Mismatch Fiber, Covariance-Transport Transversality, Two-Sided PSD Lift Tax, Critical Amplitude Lift, and Residual Recurrence[branch-hub] NS-RMRM[document] RMRM-01: Reverse Mathematician Research Matrix as a Research Router[branch-hub] NS-TSKR[document] TSKR-01: Tangent Source Geometry, Complementary Channel Recovery, Sign-Changing Stress Kernels, Adjoint Synchronization Compatibility, and Residual Rigidity[document] TSKR-02: Quadratic Source Tangency, Velocity Reproduction Rigidity, Flux/Energy Response, Sign Fibers, and Coarse-Graining Fixed-Point Classification[document] TSKR-03: Localized Quadratic Fixed Points, Harmonic Rank-One Rigidity, Nodal Sign Fibers, One-Sided Covariance Tangents, and Residual Fixed-Orbit Classification[document] TSKR-04: Two-Sided Mismatch Stress, Second-Order Zero-Base Recovery, Harmonic-Pressure Tail Rigidity, Adjoint Compatibility, Amplitude Tax, and Cycle-X Closure Audit[branch-hub] NS-X72[document] X72-01: Pure-Continuous Energy Route[document] X72-55: Adjoint Minimal Floquet Modes and Symmetry-Pairing Reduction[document] X72-65: Banded A Posteriori Validated Viscosity Extension[document] X72-48: Beltrami-Normal Non-Coercivity and Hidden Directions[document] X72-47: Beltrami Tension-Cancellation Dynamics and Source-Lock[document] X72-34: Cancellation-Budget Dynamics[document] X72-35: Cancellation-Replenishment Closure[document] X72-68: Central Sign-Cone Coarse Bridge Target[document] X72-36: Cofactor–Pressure Coherence Dynamics[document] X72-27: Coherence Dynamics and Angular Phase Locking[document] X72-23: Confluence-Feedback Spectral-Gap Leakage[document] X72-06: Continuous Hierarchy and Spectral Covariance[document] X72-19: Coupled Confluence of Middle-Strain and Quotient Amplitude[document] X72-52: Coupled Floquet Rescue and Source-Debt Export[document] X72-02: Pure-Critical Continuous Carrier Barrier[document] X72-12: Critical-Dual Cancellation Trade-Off[document] X72-39: Critical-Endpoint Dini Compensation[document] X72-24: Critical-Mass Conductance Dynamics[document] X72-21: Critical-Mass Replicator Intermittency Dynamics[document] X72-13: Critical-Quotient Gauge Covariance[document] X72-43: Double-Divergence-Free Stress and Wave-Cone Gauge[document] X72-70: Dual Rank-One Riccati Kernel[document] X72-59: Endpoint Jost Positive Green Functional Theorem[document] X72-63: Fast-Difference Schur Elimination and Symmetrized Slow Gauge[document] X72-61: Fast-Slow Stable Bundle Optimal Matching Exponent[document] X72-66: Fixed-Size Jost-Riccati Graph Anchor[document] X72-53: Floquet Rescue-Cascade Tail Asymptotics[document] X72-09: Fourier-Triad Phase Coherence[document] Methodology: Generalized Structural Continuum Hypothesis (GSCH)[document] X72-04: Local-Geometry/Nonlocal-Pressure Gap[document] X72-07: Continuous-Hierarchy Analytic Re-Integration[document] X72-40: Hardy-BMO Dual Commutator[document] X72-49: Hidden Invisible-Manifold Source-Lock and Golden Transversality[document] X72-46: Invisible-Escape Scalarization and Beltrami Tension Cancellation[document] X72-50: Invisible-Manifold Source-Lock Characteristic Geometry[document] X72-16: Continuous Layer-Cake Decomposition and Superlevel Distortion[document] X72-17: Level-Surface Hodge Coherence[document] X72-30: Lock-Budget Recycling and the Trajectory Gap[document] X72-28: Lock-Manifold Stability and the Dual-Strain Saddle[document] X72-29: Lock Work and Frame-Forcing Budget[document] X72-67: Log-Viscosity Riccati Tangent Scattering Derivative[document] X72-20: Low-Amplitude Degeneracy Intermittency[document] X72-62: Neutral Residual Cancellation and the Quarter-Power Matching Law[document] X72-05: Nonlocal Cancellation and Gradient-Stress Alignment[document] X72-25: Nonlocal Cross-Blob Virtual Connectivity[document] Methodology: Ontological-Discreteness Proof Obligation[document] X72-15: Gauge-Hessian Distortion[document] X72-31: Persistent-Lock Occupancy Capacity Problem[document] X72-42: Piola–Vorticity Visible Stress[document] X72-37: Pressure-Response Defect Energy[document] X72-69: Rank-One Scattering Tangent and Affine Endpoint Repair[document] X72-03: Relational Geometry and the Coercivity Gap[document] X72-22: Relative-Source Continuous Tilt Curvature[document] X72-56: Rigorous Adjoint-Tail Bound and Central-Coefficient Positivity[document] X72-71: Secant Riccati Linear-Viscosity Jost Bridge[document] X72-51: Second-Order Invisible-Manifold Correction and the Viscous-Curvature Obstruction[document] X72-26: Signed-Kernel Quadrupole Coherence[document] X72-33: Signed-Source Cancellation Renormalization[document] X72-60: Singular Boundary-Layer WKB Matching Law[document] X72-58: Small-Viscosity Singular Adjoint Limit and the Bounded Neutral Correction Term[document] X72-32: Source-Participation Dynamics Renormalization[document] X72-41: Special Cofactor and Piola Vorticity[document] X72-08: Transfer-Dispersion Covariance Feedback[document] X72-38: Transport–Riesz Commutator Depletion[document] X72-10: Triad Phase Dynamics and Phase Locking[document] X72-54: Two-Sided Minimal Floquet Matching and Fredholm Defect[document] X72-64: Validated Viscosity Half-Line Positive Adjoint Theorem[document] X72-57: Viscosity Continuation and the Adjoint-Positivity Bifurcation Map[document] X72-45: Visibility-Replicator Dynamics[document] X72-44: Vorticity-Stress Triad Realizability[document] X72-18: Weighted Strain-Vorticity Obstruction Confluence[hub] Number-Theoretic Conjectures[case-hub] P/NP Dual-Proof Rehearsal Research Zone[document] From Cognitive Discovery to an Executable World: Mathematical Construction—State-Machine Intermediary Layer[document] Can the Existential Quantifier Be Compressed by a Mathematical State Machine?[document] The Battle for a Cross-Representation Invariant: After the Existential Quantifier Collapses, What Must Still Remain?[document] Algorithmic-Trajectory Cuts and the Causal Bottleneck: Must Every Exact Solver Expose a Distinguishable Bottleneck?[document] The Local–Global Barrier and Representation Escape: Does Global Coupling Really Mean Computational Hardness?[document] The Representation-Escape Tournament: Which Hardness Falls to Which Mathematical Weapon?[document] The Polynomial Representation-Transformation Closure and the Closure Paradox: Can the Escape Hatch Be Formalized?[document] The Battle for an Algebraic Invariant: Does Every Easy Problem Have a “Composable Solution Structure”?[document] Algorithm–Algebra Bridge Stress Test: From Matching, Flow, and Determinant to Exact Quotient Structure[document] Hunting for SAT's Blossom: Exact-Quotienting Candidates, Representational Counterkills, and Quotient Debt[document] Multi-Anti-Structure Cores and Heterogeneous Gluing Debt: Once All the Known Escape Hatches Are Sealed, Where Does the Difficulty Actually Lie?[document] Collapse of the Shared Preservation Structure and Dynamic Bridging: Does the Interface Between Locally Solvable Modules Regenerate an Existential Quantifier?[document] The Interface Language Lattice, the Schaefer Threshold, and Recursive SAT: Does a Stronger Bridge Come Closer to Regenerating the Original Problem?[document] Tractable Closure Stability and Polynomial Chain Blowup: If Every Step Is Easy, Is the Whole Path Necessarily Easy?[document] The Complexity Potential-Function Game: Amortized Tractability Certificates, Potential-Function Escape, and the Certificate-Completeness Trap[document] Tractability Proof System: Tractability Certificates, Normal-Form Escape, and Clocked Enumeration[document] Clocked Diagonalization and the Uniform Exponent Barrier: Once P Is Enumerated, Can You Diagonalize Directly?[document] Uniform Computation Certificate Compression and Universalization Jump: From Trace Compression to EXPTIME-Completeness Reversal[document] Diagonal-Slice Compression and Sparsity Upward Separation Trap: Self-Reference Does Not Compress Proofs for Free[document] Block/Delayed Diagonalization: Density Escape, Stage Control, and Conditional Progress[document] Stage Controller Complexity: Logarithmic Horizons, Exponent Throttling, and Limit Monitors[document] Quantifier Monitor Game and the Finite Certificate Hierarchy: From Limit Observation to the Σ₂⁰/Π₂⁰ Boundary[document] Quantifier Compression Theorem and Finite Basis Game: Five Mathematical Templates for Compressing an Infinite Obligation into a Finite Structure[document] Algorithmic WQO and the Semantic-Monotonicity Gap: Why Graph-Minor-Style Finite Obstructions Do Not Transfer Directly to P vs NP[document] Semantic Monotonicity Engineering: Abstract Interpretation, CEGAR, and the Precision–Effectivity–Order Trilemma[case-hub] The Perfect Cuboid: from the Continuous World and Radix Representation to Arithmetic Freedom[branch-hub] Method Lines of the Perfect Cuboid: FORC, GERES, SIO-X4, X4-DMSD, IGPC and TIFV[document] Frontier-Only Height-Bounded Enumeration and the Coverage Bridge, and the Incremental Height Ladder: No Perfect Cuboid When the Three Primitive Face-Triple Hypotenuses Are ≤ 20000[document] FORC: Fraction-Ontological Ratio Calculus for X4 Virtual Curvature and Exact Click Search[document] World Encoding and Candidate Ingestion for the Perfect Cuboid, and Rational-Point Fibre Search: 25 'Body Cuboid' Records That Are Not Perfect Cuboids[document] Arithmetic Geometry and Birational Analysis of the G2 Fibre, and the Twin-Elliptic Perfect Gate: Each Coordinate Fibre Is a Genus-1 Curve and With the Perfect Gate It Is a Genus-5 Curve[document] Global Equivalence Reconstruction and Scaling: A World-Model Methodology from Floating Geometry to Arithmetic Representatives[document] IGPC: The Information-Geometric Perfect Cuboid — Propositions, Conjectures and World Stratification[document] SIO-X4: Completion Fibers, Latent Body Freedom and the Global Generating Kernel — a Bounded Temporary Closure of the First Stage[document] The Trajectory-Information Freedom Verification Methodology for the Perfect Cuboid (v0.2) and the Research Notes of This Round[document] X4-DMSD: Exact X–Four-Edge Joint Constraint Domains with Decimal Multiscale Search[document] Exact X4 Joint Algebra and the Shared-Edge Scale-Coupling Engine: Three Face Joints Share Edges iff A·C·B′ = B·C′·A′[document] Reframing the Perfect Cuboid: It Is Not Primarily an Integer Search Problem[document] The First-Manifestation Problem: From Rational Closure to the Minimal Primitive Cuboid[document] After the First Solution: Arithmetic Freedom of the Perfect Cuboid[document] The Perfect Cuboid Center-Axis Rational Closure Theorem: An Exact Reformulation of the Perfect Cuboid Problem as Rational Closure on a Low-Dimensional Coupling Surface[document] Phase 1F-D: The Global Diagonal Restriction Re-derived in the Fixed-g Framework[document] G2A: Nested-X Double-Square Closure — A Two-Parameter Exact Reduction of the Perfect Cuboid Problem[document] Elliptic Orbit Generation, the Local Mordell–Weil Sieve and the Five-Elliptic Decomposition of the Fixed-k Genus-5 Closure Curve[document] The Local Full-2-Descent Rank Theorem and the Rank-One Theorem for E_−: Exact Local Certification for the Fixed Slice k = 7/32[document] The Square-Lift Tower and Quadratic-Chabauty Admissibility: From the Fixed-k Genus-5 Curve to a Rational Conic, and the Genus 0 → 1 → 3 → 5 Rank–Genus Locking[document] The 2-Primary Mordell–Weil Compatibility Sieve and the Dual-Quotient Mordell–Weil Sieve: Sylow-2 Projection, Clean-Prime Boundary Forcing and an Exact Genus-3 Height Exclusion[document] The Bielliptic Genus-2 Reduction and the Local Exact Verification Hand-off: an Exact Involution, Explicit Elliptic Quotients, a Corrected Dual-Quotient Sieve, Full-2 Descent and the Final Simultaneous Quartic Target[document] The First Surviving Diagonal Type g = p²q: the Seven-State System, Four Unresolved Classes and 57 → 42 → 22 Orbits[document] The Rational-Sphere Baseline, Fixed-Hypotenuse Synchronization and the Primitive Gate: Bounded Exact Searches That Find No Perfect Cuboid[document] Six-Channel Conservation–Duality, the Conservation Move Algebra and Two-Turn Square-Preserving Repair[branch-hub] Radical-FDRS: One-Dimensional Flattening and Elliptic–Chabauty Machinery on the Fixed Slice[document] The Radical-FDRS One-Dimensional Flattening Methodology and Its First Experimental Pass: Radical Closure, X-Diagonal Coupling, the Boolean Cube and Squareclass Defect Dynamics[document] R1: Squareclass Transition Algebra, Rational-Sphere Moves, Cayley Defect Ratios and the Unification with C2[document] R2: The Twin-Psi Square System, the Fixed-Fiber Genus-5 Reconstruction and the Unification of the 7/32 and 11/45 Slices[document] The Reciprocal Splitting State and the Square-Lift Quotient Surface, and Its Correction: Conic Base Fibers, Elliptic Square-Lift Gates and the Five-Elliptic Decomposition of the Fixed Fiber[document] The Generic Three-Family Elliptic Decomposition, the Möbius Gate-Swap Automorphism and the Hyperelliptic E_0 Bridge[document] R8: Exact E_0′ Synchronization, the Biquadratic Cover Lattice and the Double Square-Value Reduction[document] R9: The Exact Two-Gate Mordell–Weil Sieve and Boundary-Tube Forcing on the n = 7/32 Fiber[document] R10: 2-Adic Local Openness, Sharp Boundary Neighborhoods and the Failure of Pure Formal-Group Isolation[document] The Sylow-2 Double-Gate Refinement and the p = 4,195,001 Corrigendum, with the General Prime Search, the T_0 Gate-Swap Symmetry and Quotient Compression to the 2-Isogenous Elliptic Curve[document] The Kummer-Twist Equivalence, the Canonical Elliptic-Chabauty Cover and Residue Transport, the Canonical-Cover Sieve, and the Canonical Second Elliptic Quotient Identified with the Historical E_−[document] The Quadratic-Chabauty Local Normal Form at p = 11, 11-Saturation with Custom Formal Elliptic Logarithms, and Mazur–Tate 11-Adic Heights with Calibration of the Bielliptic Quadratic-Chabauty Function[document] Bad-Prime Local-Height Sets, Coarse Ω Saturation and the Coupled-Local-Image Correction, and the Exact Finite Quadratic-Chabauty Target Modulo 11^5[document] The Certified Height Audit and First Quadratic-Chabauty Root Filtering, and the QC Pole-Cancellation Corrigendum, the True Mock Branch and a Cross-Prime Mordell–Weil Height Barrier[case-hub] Projection Possibility Space (PPS)[document] 3D Projection Possibility Space: Three-Dimensional Sources and Planar Families[document] Dynamic Projection Geometry: Animated Interaction as a Continuous Geometric Experiment — from 3D Motion and 2.5D Intermediate States to the Closure of 2D Projection Events[document] Subject–Object–Boundary Geometry: From Observer, Perturbing Object and Interface Coupling to Projection Possibility[document] Perturbation Objects Beyond Rigidity: From Rigid and Articulated Bodies to Deformable and Worm-Like High-Freedom Perturbers[document] Projection-Induced Hidden Geometry: High-Dimensional Motion, Projection Fibers, and Geometric Classes Invisible to Direct 2-D Enumeration[document] Adversarial Geometric Closure: Counterexample Generation, Search for Unknown Classes, Stopping Conditions and Finite Geometric Closure[case-hub] Protocols[document] TRP — Triadic Research Protocol[case-hub] RCHM × Hodge Research Round[document] Relational Constraint–Handoff Methodology (RCHM) v0.1[document] Witness Defect, Deformation Handoff, and Rigid Obstruction[document] Constraint Superposition, Cancellation Domains, and Witness-Carrier Transmutation[document] Carrier Inverse Problem, Identifiability Depth, Geometric Purity, and Witness-Transition Graphs[document] A Closed-Loop Carrier Reconstruction Experiment with a Twisted Cubic on a Smooth Quartic Surface[document] Rational Quartic Negative Control: Envelope Recovery, Purity Breakdown, and a Two-Dimensional Non-Geometric Defect[document] Realizability Dominance, Information-Quotient Ladders, and Gate-Ordered Carrier Verification[document] Blind Reconstruction from a Published Period Signature: Recovering a Bitangent Conic Pair[document] Bridge-Object Search, Residual Hodge Defects, and Symmetry-Amplified Closure[document] Generalization Test on Cubic Fourfolds: Canonical Fano Bridges, Denominator-Aware Closure, and Conditional K3 Escalation[document] Ancestry Reduction for K3-Type Fano Families: Blow-Up Source Classification, Bridge Reuse, and Novelty Frontier Detection[document] Küchle c5 Ancestry Normalization: Primitive Integral Inheritance and the Re-Emergence of a K3^[2] Bridge Profile[document] Küchle c5: Exceptional-Twist Correction, Exact Saturation, the A₁⊕A₃ Inherited Lattice, and Failure of the Direct Integral K3^[2] Template[document] Odd-Unimodular Gluing Correction for Küchle c5: the Integral K3^[2] Primitive Lattice Reopens[document] Küchle c5 Period Resonance as a Finite Spectral Problem: HLYY Boundary, 12 BWB Slots, and Ancestry-Relative Strong K3 Type[utility-page] Six Research Reconstructions[utility-page] Research Modes[case-hub] Riemann Hypothesis[branch-hub] AI Autonomous Research[document] riemann/autonomous/p/case0001-v0.1[document] Riemann Hypothesis AI Research Starting Point v0.1[document] Riemann Hypothesis AI Research Starting Point v0.2: GAP-ification[document] Riemann Hypothesis AI Research Starting Point v0.3: First Partial GAP Closure[document] Riemann Hypothesis AI Research Starting Point v0.4: Core Topology Closure[document] Riemann Hypothesis AI Research Starting Point v0.5: Weil Normalization Closure[document] Riemann Hypothesis AI Research Starting Point v0.6: Compact Support Separation Closure[document] Riemann Hypothesis AI Research Starting Point v0.7: Finite-Dimensional Negative Certificate[document] Riemann Hypothesis AI Research Starting Point v0.8: Real Matrix Pipeline[document] Riemann Hypothesis AI Research Starting Point v0.9: First Prime Activation[document] RH AI Mathematical Engineering Milestone v1.0: Multi-Prime Chamber Compiler[document] Riemann Hypothesis AI Research Starting Point v1.1: Automated Search and Strict Refinement[document] Riemann Hypothesis AI Research Starting Point v1.2: Adaptive Continuation and One-Billionth Margin[document] Riemann Hypothesis AI Mathematical Engineering v1.3: Seventh-Order Soft Start of Prime Boundaries[document] Riemann Hypothesis AI Research Starting Point v1.4: Kernel Sensitivity–Regularity Duality[document] Riemann Hypothesis AI Research Starting Point v1.5: Mixed-Order Cross-Regularity Cancellation[document] RH AI Research Starting Point v1.6: Cross-Regularity Near-Zero Spectral Band[document] RH AI Research Starting Point v1.7: Strict Two-Dimensional Parameter Tube[document] RH AI Research Starting Point v1.8: Interval–Taylor Parameter Tube[document] RH AI Research Starting Point v1.9: Three-Parameter Near-Zero Spectral Tube[document] RH AI Research Starting Point v2.0: Chamber-Aware Segmentation[document] RH AI Research Starting Point v2.1: Unified Certificate Backend[document] RH AI Research Starting Point v2.2: Adversarial Reproducible Audit[document] RH AI Research Starting Point v2.3: Batch 01 Archive and Case 0001[document] Arithmetic Matrix and Positive Semi-Definite Certificate Prototype[document] Regional Phase Shaping Prototype[document] RH-W-01: Weil Route Test Function Space Fixed[document] RH-W-01-D/E/F/G: Double Vanishing Moments, Correlation Closure, and Mellin–Fourier Interface[document] RH-W-02: Weil Test Function Core, Range, and Topology[document] RH-W-02: Weil Normalization Alignment and Sign Closure[document] RH-W-03: Compact Support Separation, Negative Witness Existence, and Dual-Core Architecture[document] RH-W-04: Finite-Dimensional Completeness and Rational Negative Certificate[document] RH-W-05: First Real Weil Matrix Rational Interval[document] RH-W-06: First Prime Activation and Arithmetic Support Chamber[document] RH-W-07: Multi-Prime Support Chamber Compiler[document] RH-W-08: Chamber Search and Strict Refinement[document] RH-W-09: Adaptive Chamber Continuation[document] RH-W-10: Prime Boundary Local Modes and Seventh-Order Soft Start[document] RH-W-11: Kernel Sensitivity and Regularity Duality[document] RH-W-12: Mixed-Order Dictionary and Cross-Cancellation Mode[document] RH-W-13: Cross-Regularity Continuation and Canonical Parameters[document] RH-W-14: Strict Two-Dimensional Parameter Tube[document] RH-W-15: Interval–Taylor Parameter Tube Expansion[document] RH-W-16: Three-Parameter Near-Zero Spectral Tube[document] RH-W-17: Chamber-Aware Slicing and Event Thin Layer[document] RH-W-18: Unified Certificate Backend and Single Verification Entry[document] RH-W-19: Reproducibility and Adversarial Certificate Audit[document] RH-W-20: Batch 01 Integration and AI Autonomous Mathematical Research Platform Case 0001 Release[branch-hub] Semi-Autonomous Research[document] Axis Gap and Cover Co-Design[document] Axis Suppression and Full-Window Leakage-Aware Optimizer[document] Axis-Target Dual Obstruction[document] Banded Multi-Test Functions and Adaptive Cover Certificate Families[document] Integration Overview of Equivariant Arithmetic Obstructions[document] Interval Green-Kernel Atomic Certificate[document] Local Interval Green Position Cover[document] Occupancy Operator Family and Covering Green Certificates[document] Paley–Wiener Axis-Core Extremal[document] PSD Gram Banded Global Dominance[document] Separation–Positivity Intersection Solver[document] Support–Prime Dual Frontier[document] v0.1–v1.0 Complete Research Report and AI Handoff[document] Validated Intersection Certificate[document] Zero-Side Leakage Budget[document] Zero-Count Coefficient Semantic Bridge[document] Equivariant Topological Decision Domain After Centering[document] From Centering to Equivariant Topology[document] Equivariant Zero Configuration Topology[document] Stratified Zero Obstacles and Local–Global Lift[document] Equivariant Arithmetic Separation[document] Off-Axis Positive Obstruction in Explicit Formulas[hub] Seven Great Conjectures[case-hub] Skew Field[document] Universal Support Tension Comparison among Constant Curvature, Archimedean, Contact-Saturated, and Finite-Width Curvature Stratum[document] Curvature-Saturation Terminology Correction, Quadratic-Exponential Limit Family, Chirality Equalization, and Dual-Skeleton Container[document] Normal Injectivity Theorem, Curvature Bounding Boxes, Clarke Boundary Ledger, and the New Dual-Frequency Log-Curvature Skeleton[document] Fourier Curvature Function Spaces, Adjoint Sensitivity, and Non-Convex Container Reduction[document] Non-Convex Area-Exposure Tension and the First Curve–Container Alternating Adversarial Cycle[document] The Second Non-Convex Alternating Cycle, the Absorption Coefficient, and the Fourier-14 Residual Attack[document] The Third Non-Convex Alternating Cycle, Spatial Exposure Entropy, and the Fourier-16 Residual Attack[document] The Fourth Non-Convex Alternating Cycle, Fourier-18 Dual Pools, and Spectral-Lineage/Spatial-Phenotype Decoupling[document] Fifth Non-Convex Alternating Cycle, Transient Forcing Curves, and Fourier/B-spline Multi-Family Residuals[document] Sixth Non-Convex Alternating Cycle, Historical Pressure Memory, and Congruent Placement Falsification[document] Seventh Non-Convex Alternating Cycle, Local Placement Certificates, and Parent Family Relay[document] Center-Generated Bidirectional-Offset Spiral Proposition[document] From the Original Kakeya Needle to Moser's Worm[document] From the Original Kakeya Needle to Moser's Worm II[case-hub] Validation[document] QCI — Quantitative Closure Interface[case-hub] WSFC: Worm Sequence Freedom Closure[document] Sequence Freedom and Limit Closure of the Possibility Space for the Worm Problem: From Finite-Freedom Expansion and State-Space Evolution to Effective Residuals and a Serializable Infinite Geometry[document] Polygonal ω-Hierarchy, Insufficiency of Any Finite Order, and Broadworm Breadth Sequence Closure[document] Freedom Birth Rate, Broadworm Residual Dynamics, and the Reproduction of the n = 4, 5, 6 Polygonal Extremizers[document] Antipodal Support-Tangent Compression: From 2n − 2 Vertex Degrees of Freedom to Low-Dimensional Sequences and the Continuum Limit of the Broadworm[document] Finite-Segment Convexity Gate, Endpoint-Disc Obstacle Reduction and the Support-Cell Allocation Calculus[document] Support-Class Necessity I: Convexity, Endpoint Antipodes, and Balanced Segment Allocation[document] Boundary Saturation Closure: Endpoint Shortcut, Plateau Elimination and the Finite-n Support-Tangent Reduction[document] Adversarial Re-Derivation: Finding a Plateau Gap, Completing a General Repair, and Rebuilding Support-Class Necessity[document] Generic Point-to-Segment Certificate Compiler: Recovered Paper and Reconstructed Package[document] Refinement Chain / Closure Algebra: Transition History and Freedom Tail Certificates[document] G0 Finite-Stage Exactness Re-Audit: Support-Width Semantics, Convex Shortcut and Global Reduced-Class Necessity[document] G1 Full-Domain Coverage: Exact-Length Tent Approximation, Uniform Cover Modulus and Broadworm Value Closure[document] Strict Monotonicity: Tangent-Gap Refinement and the Last Half of 2007 Conjecture (5)[document] Finite-Stage Uniqueness: Strict Convexity, Integer Balancing and Mirror-Class Rigidity[document] Endpoint-Distance Strictness Reframed and Elasticity Kernel Closure: Dual Comparative Statics, the Unit-Length Elasticity Gap, and a Computer-Assisted K > 0[document] 2007 Conjecture Ledger / Authority Audit: Classical Closure, WSFC Conditional Proofs and Formal Debt[document] Independent Verification Pack: From Internal Closure to a Reviewer Protocol That Can Be Overturned from Outside