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 1557 nodes (ZH + EN combined). Structured data: index.json · index.md · .well-known/agent-map
[utility-page] About AMRAL[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$[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[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[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] 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] Lebesgue Universal Covering Problem[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[case-hub] Methodology[document] Autonomous Mathematical Research Agent Loop[document] From Transient Axioms to Backfillable Bridges[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[hub] New Mathematical Methodology[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[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] Protocols[document] TRP — Triadic Research Protocol[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