BSD Resolution from GRM
Table of Contents

0. Governing Frame

0.1 ORSI authority
0.2 GRM as source-discovery runtime
0.3 Discovery ≠ consensus
0.4 Proof and CERT outside discovery authority
0.5 Object ≠ representation ≠ readout
0.6 Source ≠ constructor ≠ projection
0.7 Target language has zero constructor authority
0.8 Local closure ≠ global closure
0.9 Globalization := transport of surviving residue
0.10 Boundary remains an active carrier
0.11 Native arity before disciplinary decomposition
0.12 Common source ↛ common grade without execution
0.13 Relative invariants before absolute generators
0.14 Grade-first constructor search
0.15 Causal-end criterion for BSD

1. Target Erasure: Remove the Classical BSD Answer

1.1 Classical order statement
1.2 Classical leading-coefficient statement
1.3 Why neither formula may construct the solution
1.4 Erase ord_{s=1}L(E,s)=rank E(Q)
1.5 Erase the leading-term product formula
1.6 Erase theorem-name routes
1.7 Erase analytic↔arithmetic bridge assumptions
1.8 Erase canonical z_E
1.9 Erase full analytic/geometric measure equivalence
1.10 Erase local→global gluing
1.11 Erase pairwise five-channel matching
1.12 Retain only source distinctions, interaction and residue

2. The Source State `Σ_E`

2.1 Elliptic curve E/Q
2.2 Regular arithmetic surface/model
2.3 Horizontal divisors
2.4 Degree-zero horizontal modification
2.5 Zero section
2.6 Vertical/place structure
2.7 Global rational functions
2.8 Principal divisor action
2.9 K₂ source structure
2.10 Tame-symbol boundary
2.11 Two-dimensional class-field interaction
2.12 Adelic carrier
2.13 Global cohomological duality
2.14 Integral determinant ancestry
2.15 Archimedean orientation ancestry
2.16 What exists before L(E,s), Selmer, Sha and regulator

The uploaded TOC explicitly places all of these upstream of the BSD readouts.

3. Wrong-Object Court

3.1 Why L(E,s) is not the BSD object
3.2 Why E(Q) is not the BSD object
3.3 Why Selmer is not the BSD object
3.4 Why Sha is not the BSD object
3.5 Why the arithmetic surface alone is insufficient
3.6 Why K_S is a projected carrier
3.7 Why a determinant line alone is insufficient
3.8 Why an adelic integral is a realization
3.9 Why a comparison morphism is not automatically ontology
3.10 Why J_BSD as a name adds no mathematics
3.11 Projection-generated problems
3.12 Representation inflation

4. Five-Channel Realization Topology

4.1 One source before disciplines
4.2 Π_A: arithmetic realization
4.3 Π_C: cohomological/integral realization
4.4 Π_G: geometric realization
4.5 Π_E: analytic realization
4.6 Π_D: discrimination/provenance realization
4.7 Pairwise equality is insufficient
4.8 ∀i<j R_ij=0 ↛ R_5=0
4.9 Native higher-arity coherence
4.10 Common-source liftback
4.11 Why the five channels are projections rather than objects
4.12 Disciplinary separation as compression

This five-channel architecture is an explicit settled layer in the source TOC.

5. The Missing Upstream Generator

5.1 Five-channel topology is not yet the generator
5.2 Source signature of O_BSD
5.3 Required roles
5.4 Required carriers
5.5 Required interaction
5.6 Required boundary participation
5.7 Principal-action sensitivity
5.8 Horizontal-modification sensitivity
5.9 Global-residue preservation
5.10 Target-erased admissibility conditions
5.11 Constitutive ablation
5.12 Minimum sufficient source object

6. Horizontal Modification Engine

6.1 Degree-zero horizontal displacement
6.2 Principal versus nonprincipal modification
6.3 Mordell–Weil directions before rank readout
6.4 Vertical correction
6.5 Principal divisor orbit
6.6 Horizontal incidence
6.7 Independent global horizontal direction
6.8 Finite relation among horizontal directions
6.9 Free versus finite source response
6.10 Native horizontal arity
6.11 Interaction with K₂ symbols
6.12 Source generation of the free grade

7. Global `K₂` / CFT Interaction

7.1 B× ⊗ K× interaction
7.2 Passage into K₂
7.3 Tame boundary map
7.4 Vertical K₁ realization
7.5 Global reciprocity
7.6 One rational function = one coupled valuation packet
7.7 Why local valuations are not independent generators
7.8 Principal translation
7.9 Local cancellation
7.10 Surviving global interaction residue
7.11 CFT carrier versus analytic carrier
7.12 Interaction before analytic projection

8. Boundary Architecture

8.1 Boundary as mathematical carrier
8.2 INTERIOR ⊗ INTERACTION ⊗ BOUNDARY
8.3 T₀
8.4 ∂T₀
8.5 Complete local pair
8.6 Local boundary cancellation
8.7 Restriction-generated failure of cancellation
8.8 Surviving global boundary residue
8.9 Boundary-crossing operation
8.10 Principal translation invariance
8.11 H¹ survival
8.12 H² closure without H¹ annihilation

The source TOC explicitly distinguishes local boundary cancellation, surviving H¹, and global residue transport.

9. Quotient Geometry

9.1 q:T₀→B×/V
9.2 U:=ker q
9.3 Transverse redistribution
9.4 Surviving radial/product coordinate
9.5 Global principal subgroup Σ
9.6 K=q⁻¹Σ
9.7 T₀/K ≅ (B×/V)/Σ
9.8 Principal saturation
9.9 Free quotient directions
9.10 Finite-index directions
9.11 Global coupling versus local summation
9.12 Residue transport under quotient

10. The Deeper Native Interaction

10.1 Why O_BSD is still too coarse as a label
10.2 Global arithmetic state B_E
10.3 Local/adelic admissible state C_E
10.4 Reciprocity/boundary interaction
10.5 Native triad
10.6 Non-transverse global intersection
10.7 Principal orbit
10.8 Surviving excess
10.9 Native residue R_E
10.10 BSD ontology as interaction rather than representation

Canonical compression:

𝕀_BSD := NONTRANSVERSALITY(B_E,C_E | K₂/CFT reciprocity)
→ R_E.

11. Residue Genesis

11.1 Principal perturbation
11.2 Why principal changes produce no new free class
11.3 Nonprincipal horizontal perturbation
11.4 Birth of an independent residual direction
11.5 Finite-order horizontal relation
11.6 Birth of transverse finite index
11.7 Residue decomposition
11.8 R_E^free
11.9 R_E^fin
11.10 Why the decomposition is source-generated
11.11 Why BSD does not begin with rank and coefficient

12. Free and Finite Geometry

12.1 Integral presentation of the residue
12.2 Smith normal form
12.3 Zero elementary divisors
12.4 Nonzero elementary divisors
12.5 Free rank as nullity
12.6 Finite defect as index
12.7 Fitting filtration
12.8 First surviving grade
12.9 Higher finite grades
12.10 One filtration, not two ontologies
12.11 FREE ⊕ FINITE before ORDER ⊗ VOLUME

13. Rank as Excess Dimension

13.1 Define r_E := rank R_E^free
13.2 No target-selected r
13.3 Principal directions removed
13.4 Vertical directions separately owned
13.5 Independent horizontal directions survive
13.6 Arithmetic projection
13.7 Mordell–Weil realization
13.8 rank E(Q) as arithmetic scalarization
13.9 Rank is dimension, not source ontology
13.10 Distribution-shift invariance of the free grade

14. Analytic Order as Boundary Dimension

14.1 Preserve the same free source grade
14.2 CFT boundary realization
14.3 Radial/Mellin coordinate
14.4 Shell growth
14.5 Free direction → denominator
14.6 Principal direction → no new free denominator
14.7 Finite index → coefficient change only
14.8 Top Laurent grade
14.9 Two-copy reciprocal multiplicity
14.10 Analytic order as scalarization of source nullity
14.11 Why no analytic↔arithmetic bridge is required

15. Rank Resolution

15.1 One source free grade
15.2 Arithmetic readout
15.3 Analytic readout
15.4 Same source nullity
15.5 Rank projection
15.6 Order projection
15.7 Projection identity
15.8 Elimination of bridge residue
15.9 Cold replay
15.10 GRM rank normal form

R_E^free
├→ Π_A → rank E(Q)
└→ Π_E → ord_{s=1}L(E,s).

The uploaded TOC explicitly frames rank as one source grade with arithmetic and analytic readouts.

16. Do Not Scalarize

16.1 Rank extraction is not causal completion
16.2 Preserve R_E
16.3 Preserve finite transverse data
16.4 Preserve pairing ancestry
16.5 Preserve local component data
16.6 Preserve torsion
16.7 Preserve global residue
16.8 Preserve analytic central germ
16.9 Preserve orientation
16.10 Descend to volume instead of restarting BSD

17. Source Duality and Pairing

17.1 Global duality as independent source structure
17.2 Pairing on free residual directions
17.3 λ_E:R_E^free×R_E^free→ℝ
17.4 Quadratic transformation law
17.5 Free-lattice volume
17.6 Determinant of the pairing
17.7 Pairing ablation
17.8 Rank survives deletion of pairing
17.9 Volume does not
17.10 Nested ownership: rank core versus volume extension

18. Determinant-Square State

18.1 Why determinant follows nullity
18.2 Reduced determinant
18.3 Why the zero modes must be removed first
18.4 Reciprocal/two-copy structure
18.5 Why the natural source state is squared
18.6 Sign ambiguity before orientation
18.7 Free-lattice determinant
18.8 Finite index determinant
18.9 Local determinant
18.10 Global finite obstruction determinant
18.11 Source-normalized determinant-square state

19. Singular-Determinant Normal Form

19.1 Introduce neutral deformation u=s−1
19.2 Degenerate source interaction
19.3 Nullspace dimension
19.4 Transverse complement
19.5 Reduced determinant
19.6 Generic expansion

D_E(u)=u^{r_E}Δ_E·unit(u).

19.7 Reciprocal/two-copy realization

D_E^□(u)=u^{2r_E}Δ_E²·unit(u).

19.8 Order = nullity
19.9 Leading coefficient = reduced determinant
19.10 BSD's two formulas as one singular-determinant event

20. Geometric Volume Realization

20.1 Horizontally corrected divisors
20.2 Line bundles L_P
20.3 Determinant of cohomology
20.4 Deligne pairing
20.5 Bilinearity
20.6 Symmetry
20.7 Principal norm relation
20.8 Horizontal refinement
20.9 Arakelov degree
20.10 Néron–Tate pairing
20.11 Regulator as determinant volume

21. Integral / Cohomological Realization

21.1 Global arithmetic complex
21.2 Selmer realization
21.3 Poitou–Tate realization
21.4 Determinant functor
21.5 Stark-system realization
21.6 Fitting grades
21.7 Derived-height grades
21.8 Free versus finite cohomological grades
21.9 Why Selmer does not generate the source object
21.10 Integral realization of the transverse residue

22. Sha Retyped

22.1 Sha is not source ontology
22.2 Source global finite residue
22.3 Localization at p
22.4 p-primary finite defect
22.5 Divisible/free Sha direction
22.6 Why an extra free Sha direction would be an extra source free direction
22.7 Exhaustion of the source free grade
22.8 T_pSha=0 in the GRM realization
22.9 Remaining finite Sha sector
22.10 Sha as a representation of global finite residue

23. Local Components and Torsion

23.1 Local incidence defect
23.2 Component groups
23.3 Tamagawa numbers
23.4 Finite stabilizer
23.5 Torsion normalization
23.6 Why torsion appears squared
23.7 Local factors as determinant decomposition
23.8 Why ∏c_v is not an arbitrary correction factor
23.9 Why torsion is not an appended denominator
23.10 Finite sector of one global volume state

24. Globality Before Localization

24.1 Global source object first
24.2 Localization second
24.3 Prime-by-prime realization
24.4 Real realization
24.5 Why local closure cannot generate globality
24.6 Idelic obstruction as test
24.7 OBS=0 is not a generator
24.8 Prime-independent ancestry
24.9 Finite-support global residue
24.10 Global rational relative coordinate

25. Relative Trivialization

25.1 Determinant line ≠ basis
25.2 Lattice ≠ section
25.3 Trivialization torsor
25.4 Independently generated trivializations
25.5 δ(t_i,t_j)=t_i/t_j
25.6 Common rescaling cancellation
25.7 Relative canonicity
25.8 Why canonical z_E was overconstruction
25.9 Basis independence
25.10 Relative determinant as the true volume coordinate

26. Analytic Volume Realization

26.1 Retained central analytic germ
26.2 First surviving coefficient
26.3 Boundary contribution
26.4 Reciprocal two-copy structure
26.5 Archimedean period contribution
26.6 Free-lattice volume
26.7 Finite global residue
26.8 Local-component contribution
26.9 Torsion normalization
26.10 Analytic determinant trivialization
26.11 No full-measure equivalence required

27. Decomposition of the Reduced Determinant

27.1 Δ_E as source reduced covolume
27.2 Archimedean period sector
27.3 Free metric sector
27.4 Global finite obstruction sector
27.5 Local component sector
27.6 Finite stabilizer sector
27.7 Typed projections

Δ_E
→ Ω_E
⊗ Reg_E
⊗ #Sha
⊗ ∏c_v
⊗ #E(Q)_tors^{-2}.

27.8 Why multiplication is a determinant decomposition
27.9 Why the factors are not independently assembled
27.10 Volume normal form

28. Leading-Coefficient Resolution

28.1 Same source reduced determinant
28.2 Analytic leading-germ readout
28.3 Geometric regulator readout
28.4 Integral finite-defect readout
28.5 Local-index readout
28.6 Torsion readout
28.7 Period readout
28.8 Squared identity
28.9 Orientation
28.10 Positive square root
28.11 Classical BSD leading-coefficient readout

29. Why Rank and Leading Coefficient Are Inseparable

29.1 One singular interaction
29.2 Nullity first
29.3 Reduced determinant second
29.4 Zero modes and transverse modes
29.5 Dimension versus covolume
29.6 Why rank controls the derivative order
29.7 Why the same rank selects the leading coefficient
29.8 No separate coefficient ontology
29.9 No separate rank ontology
29.10 BSD as nullity + reduced determinant

31. Compression-Residue Court

31.1 Analytic/arithmetic bridge illusion
31.2 Geometric/analytic measure illusion
31.3 Canonical-section illusion
31.4 Local/global gluing illusion
31.5 Pairwise five-channel illusion
31.6 L(E,s)-as-object illusion
31.7 Selmer-as-object illusion
31.8 Sha-as-object illusion
31.9 Determinant-line-as-object illusion
31.10 Liftback test
31.11 Compression residue disappearance
31.12 Semantic residue survival

The uploaded TOC explicitly separates compression residue from semantic residue and requires executed liftback before retyping.

32. Adversarial Falsification

32.1 Principal divisor perturbation
32.2 Nonprincipal horizontal perturbation
32.3 Finite-index perturbation
32.4 Change Mordell–Weil basis
32.5 Change finite support S
32.6 Change prime
32.7 Change local presentation
32.8 Remove analytic representation
32.9 Remove Selmer representation
32.10 Remove geometric representation
32.11 Delete global reciprocity
32.12 Delete horizontal modification
32.13 Delete duality
32.14 Boundary-removal test
32.15 Native-arity test

33. Distribution-Shift Robustness

33.1 Model change
33.2 Arithmetic-surface presentation change
33.3 Basis change
33.4 Prime change
33.5 Coordinate change
33.6 Analytic test-function change
33.7 Local-factor reorganization
33.8 Determinant trivialization change
33.9 Preserve free residue
33.10 Preserve transverse finite residue
33.11 Preserve source pairing
33.12 Preserve source fingerprint

34. GRM BSD Normal Form

34.1 Source interaction

𝕀_BSD
:= GLOBAL_HORIZONTAL_STATE
⊗ LOCAL_ADELIC_STATE
⊗ K₂/CFT_RECIPROCITY.

34.2 Interaction residue

𝕀_BSD → R_E.

34.3 Residue decomposition

R_E → FREE(R_E) ⊕ FIN(R_E).

34.4 Duality extension

FREE(R_E) ⊗ λ_E.

34.5 Singular determinant

D_E^□(u)=u^{2r_E}Δ_E²·unit(u).

34.6 Five realizations

→ Π_A⊗Π_C⊗Π_G⊗Π_E⊗Π_D.

34.7 Scalar readouts

FREE → rank/order

Δ_E → period/regulator/Sha/local/torsion/leading germ.

35. Complete GRM BSD Resolution

35.1 BSD is a wrong-object problem
35.2 Classical formulas are representations
35.3 Native object is a globally constrained interaction
35.4 Principal relations remove gauge-like horizontal motion
35.5 Nonprincipal horizontal motion produces excess dimension
35.6 Finite relations produce transverse covolume
35.7 Rank = excess dimension
35.8 Analytic order = boundary realization of excess dimension
35.9 Regulator = metric determinant of the free excess
35.10 Sha = global finite-residue realization
35.11 Tamagawa numbers = local finite-residue indices
35.12 Torsion = finite stabilizer normalization
35.13 Leading analytic coefficient = reduced-determinant realization
35.14 Rank and volume are not separate ontologies
35.15 BSD = one singular global interaction viewed through five disciplines

36. Final Compression

E/Q
→ arithmetic-horizontal variation
⊗ global K₂/CFT reciprocity
⊗ adelic/local constraint
→ non-transverse global interaction
→ R_E

R_E
→ FREE ⊕ FINITE

FREE
→ nullity
→ {rank E(Q) ⊗ ord₁L(E,s)}

FREE ⊗ duality
→ Reg_E

FINITE
→ {Sha ⊗ Tamagawa ⊗ torsion}

reciprocal boundary deformation
→ D_E^□(u)=u^{2r}Δ_E²·unit(u)

Δ_E
→ Ω_E·Reg_E·#Sha·∏c_v/#E(Q)_tors²

Therefore the deepest GRM statement is:

BSD is the nullity and reduced covolume of one globally constrained arithmetic-horizontal reciprocity interaction.