CSM_RH Paper 01

Obstruction Confluence, Near-Extremal Zero Witnesses, and the Aggregation-Isolation Barrier

Project: CSM_RH
Paper: 01
Version: v0.1
Date: 2026-09-04
Parent state: CSM_RH v0.1 / Paper 00
Research method: GLM_Backward Search, scope: Goal-Led Meta-Research
Status: closure-space research paper; not a proof or disproof of RH
中文標題： CSM_RH 論文 01：阻斷匯流、近極端零點見證與聚合—隔離障壁
作者： Neo.K
機構： EveMissLab／一言諾科技有限公司
Language: English

0. Trust boundary

This paper does not prove or disprove the Riemann Hypothesis.

Canonical root state:

RH_PROVED = FALSE
RH_DISPROVED = FALSE
GLOBAL_RH_CERTIFICATE = FALSE
CSM_RH_ROOT_STATUS = OPEN

This paper performs four narrower tasks:

determine whether three current RH frontiers can legitimately be quotiented;
prove a common near-extremal-zero witness-preservation structure;
separate witness preservation from globalization / isolation;
compile the resulting state correction into CSM_RH v0.2.

A route obstruction is not a theorem refutation.

A representation analogy is not a bridge certificate.

A shared witness is not sufficient for mathematical quotient.

1. Source basis

The principal internal source artifacts are:

CSM_RH Paper 00
  Canonical Domain Model and GLM_RH Protocol v0.1

RH_NonlocalDifferenceCone_ConditionalCellDual v1.4
  Scalar Schur dual and conditional off-axis cell analysis

RH_FixedAperture v1.65 Independent Audit
  Exact aperture growth type and local-prime discrepancy criterion

RH_CharacterMajorArcVariance v3.18
  Character zero packets, exact core scaling, CMZE / EMAE,
  isolated pole-zero power, and density-only no-go

CSM Paper 02
  Typed Closure Graphs and Obstruction Propagation

CSM Paper 03
  Frontier Geometry and Relative Exhaustion

CSM Paper 06
  Closure Transfer Laws and Cross-Domain Invariance

Inherited results retain the trust boundaries of their source artifacts.

2. The Paper 00 question

Paper 00 introduced three principal frontiers:

F-RH-001  GLOBAL_WEIL_ISOLATION_DOMINANCE
F-RH-002  GLOBAL_TAIL_INVARIANT
F-RH-003  EXCEPTIONAL_MAJOR_ARC_ENERGY

and a provisional quotient candidate:

QO-RH-A
SINGLE_EXTREME_ZERO_GLOBALIZATION_BARRIER

The intended question was whether these are three descriptions of one underlying RH obstruction.

This paper gives a stricter answer:

THREE-WAY MATHEMATICAL QUOTIENT = NOT CERTIFIED

THREE-WAY WITNESS CONFLUENCE = CERTIFIED

WEIL / MAJOR-ARC AGGREGATION-ISOLATION HOMOLOGY = CERTIFIED AS A TYPED STRUCTURAL ANALOGY

FIXED-APERTURE LOSSLESS DIAGNOSTIC BRIDGE = ALREADY CLOSED

MAJOR-ARC PACKET ISOLATION = OPEN

WEIL CONSTRUCTIVE CELL-TO-GLOBAL ISOLATION = OPEN

Thus Paper 00's quotient candidate must be refined rather than promoted.

3. Root zero-displacement invariant

Let $Z_{\mathrm{nt}}(\zeta)$ be the multiset of nontrivial zeros of the Riemann zeta function.

Define

\Delta_\zeta = \sup_{\rho\in Z_{\mathrm{nt}}(\zeta)} \left| \Re\rho-\frac12 \right|.

By the critical strip,

0\le \Delta_\zeta\le \frac12.

RH is equivalent to

\Delta_\zeta=0.

The important technical point is that the supremum need not be assumed to be attained.

Accordingly, the canonical obstruction object should not be based on a literal "rightmost zero" unless such attainment has independently been proved.

4. Near-extremal zero family

Definition 4.1

Assume

\Delta_\zeta>0.

For any

0<\varepsilon<\Delta_\zeta,

an $\varepsilon$ -near-extremal zero is a nontrivial zero $\rho_\varepsilon$ such that, after using functional-equation symmetry if necessary,

\Re\rho_\varepsilon > \frac12+\Delta_\zeta-\varepsilon.

Write

\rho_\varepsilon = \frac12+\delta_\varepsilon+i\tau_\varepsilon,

where

\delta_\varepsilon > \Delta_\zeta-\varepsilon > 0.

Proposition 4.2

If RH is false, then for every

0<\varepsilon<\Delta_\zeta

there exists an $\varepsilon$ -near-extremal zero.

Proof

By the definition of supremum, there exists a zero satisfying

\left| \Re\rho-\frac12 \right| > \Delta_\zeta-\varepsilon.

If this zero lies to the left of the critical line, use the functional-equation symmetry of the zero set to obtain a corresponding zero on the right.

Hence there exists

\rho_\varepsilon = \frac12+\delta_\varepsilon+i\tau_\varepsilon

with

\delta_\varepsilon>\Delta_\zeta-\varepsilon.

No attainment of the supremum was assumed. $\square$

5. Why the "single extreme zero" language is dangerous

A phrase such as

the rightmost zero

may accidentally import the claim that

\Delta_\zeta

is attained by some zero.

The current program does not need that assumption.

The canonical replacement is:

NEAR_EXTREMAL_ZERO_FAMILY

or, when a single member is enough for a local argument:

NEAR_EXTREMAL_ZERO_WITNESS

Therefore the provisional Paper 00 name

SINGLE_EXTREME_ZERO_GLOBALIZATION_BARRIER

is replaced at the typed level by

OC-RH-A
NEAR_EXTREMAL_ZERO_WITNESS_CONFLUENCE

and

O-RH-005
AGGREGATION_ISOLATION_BARRIER

The first is a confluence object.

The second is an obstruction schema.

Neither is, by itself, an equivalence quotient of the three frontiers.

6. Weil-side witness persistence

Take an off-critical zero

\rho = \frac12+\delta+i\tau, \qquad \delta>0.

The v1.4 $z$ -plane coordinate is

z = \frac{\rho-1/2}{i} = \tau-i\delta.

For real even test functions $\psi$ , write

G_\psi(z) = A_z(\psi)-iB_z(\psi),

where

A_z(\psi) = \int \psi(t)\cos(\tau t)\cosh(\delta t)\,dt

up to the harmless sign convention for the imaginary coordinate, and

B_z(\psi) = \int \psi(t)\sin(\tau t)\sinh(-\delta t)\,dt.

The orbit operator is

C_z = 2A_z\otimes A_z - 2B_z\otimes B_z.

The key point is not merely that a negative sign occurs syntactically.

For an off-critical nontrivial zeta zero, both

\delta\neq0

and

\tau\neq0.

Hence the even function

g_z(t) = \sin(\tau t)\sinh(-\delta t)

is not identically zero.

Choose an even nonnegative smooth compactly supported cutoff $\chi$ supported where $g_z$ is nonzero, and let

\psi(t)=\chi(t)g_z(t).

Then $\psi$ is real and even, and

B_z(\psi) = \int \chi(t)g_z(t)^2\,dt > 0.

Therefore $B_z$ is a nonzero functional.

Theorem 6.1 — Weil local witness persistence

Every off-critical nontrivial zeta zero generates a nonzero negative rank-one component

-2B_z\otimes B_z

inside its four-point orbit operator

C_z = 2A_z\otimes A_z - 2B_z\otimes B_z.

Thus the off-axis zero is not annihilated by the local orbit representation.

Important limitation

The full v1.4 object has the form

W_z = B + 2mA_z\otimes A_z - 2mB_z\otimes B_z,

where $B$ is a separately supplied background.

The existence of the local negative component does not imply

W_z\not\succeq0.

The scalar Schur criterion makes the missing step explicit:

W_z\succeq0 \Longleftrightarrow \frac1{2m} - K_{BB} + \frac{K_{AB}^2}{ \frac1{2m}+K_{AA} } \ge0.

Therefore the unresolved issue is not local witness existence.

It is constructive witness isolation / dominance against the remaining background.

7. Fixed-aperture witness persistence

For a fixed

h>0,

define

D_h(t) = \frac12 \left[ \Psi(t+h) + \Psi(t-h) - 2\Psi(t) \right].

The audited zero representation is

D_h(t) = \sum_\gamma c_h(\gamma)e^{i\gamma t},

with

c_h(\gamma) = \frac{ 1-\cos(\gamma h) }{ \gamma^2 }.

For a zeta zero

\rho = \frac12+\delta+i\tau,

the corresponding zero parameter may be written

\gamma = -\tau+i\delta.

If the filter annihilated this mode, then

1-\cos(\gamma h)=0,

\cos(\gamma h)=1.

But the complex solutions of

\cos z=1

are

z=2\pi k, \qquad k\in\mathbb Z,

which are real.

Because

\Im\gamma=\delta\neq0,

the coefficient cannot vanish.

Theorem 7.1 — Fixed-aperture non-annihilation

For every fixed

h>0,

no off-critical zeta-zero mode is annihilated by the fixed-aperture filter.

More strongly, the v1.65 audit established the exact growth invariant

\sigma_h = \inf \left\{ \sigma\ge0: D_h(t)=O(e^{\sigma t}) \right\}

and

\boxed{ \sigma_h=\Delta_\zeta. }

Hence

RH \Longleftrightarrow \sigma_h=0.

The local-prime discrepancy $\mathfrak E_h(x)$ has the same type:

\inf \left\{ \sigma\ge0: \mathfrak E_h(x)=O(x^\sigma) \right\} = \Delta_\zeta.

Therefore

RH \Longleftrightarrow \mathfrak E_h(x)=x^{o(1)}.

This is not merely a visible local witness.

It is a lossless global diagnostic of horizontal zero displacement.

8. Major-arc isolated witness persistence

Let $w$ be a nonzero smooth major-arc weight and define

W_{x,\epsilon}(s) = \int_0^\infty w(t/x)e(\epsilon t)t^{s-1}\,dt.

On the core scale

\epsilon=\frac ux,

the exact scaling is

W_{x,u/x}(s) = x^s\mathcal W_s(u),

where

\mathcal W_s(u) = \int_0^\infty w(v)e(uv)v^{s-1}\,dv.

For fixed

U>0,

define

C_{w,U}(\rho) = \int_{-U}^{U} |\mathcal W_1(u)|^2 |\mathcal W_\rho(u)|^2 \,du.

The v3.18 kernel theorem gives

C_{w,U}(\rho)>0

for every fixed zero in the relevant strip, and

\int_{|\epsilon|\le U/x} | W_{x,\epsilon}(1) |^2 | W_{x,\epsilon}(\rho) |^2 \,d\epsilon = x^{1+2\Re\rho} C_{w,U}(\rho).

For

\rho = \frac12+\delta+i\tau,

this becomes

\boxed{ x^{2+2\delta} C_{w,U}(\rho). }

Theorem 8.1 — Major-arc isolated witness persistence

Every fixed off-critical zeta zero has a strictly positive isolated pole-zero cross-energy response on the smooth core major arc.

For an $\varepsilon$ -near-extremal zero,

\delta_\varepsilon > \Delta_\zeta-\varepsilon,

so its isolated power exponent satisfies

1+2\Re\rho_\varepsilon > 2+2\Delta_\zeta-2\varepsilon.

Thus the isolated major-arc response approaches the extremal horizontal-displacement scale as

\varepsilon\to0.

Important limitation

The actual zero packet is

Z_\chi(x,\epsilon) = \sum_{\rho_\chi} W_{x,\epsilon}(\rho_\chi).

The full positive character-family energy contains

|Z_\chi(x,\epsilon)|^2,

not the sum of the isolated squared zero contributions.

Character orthogonality removes cancellation between different characters in the basic quadratic character energy, but it does not automatically remove zero-zero interference inside one character packet.

Therefore

\text{isolated zero scale}

is not yet a lower bound for

\mathfrak Z_2.

This is the major-arc isolation debt.

9. Tri-representation witness theorem

We can now state the first new CSM_RH cross-representation theorem.

Theorem 9.1 — Near-Extremal Witness Preservation

Assume RH is false.

For every

0<\varepsilon<\Delta_\zeta,

there exists a right-side nontrivial zero

\rho_\varepsilon = \frac12+\delta_\varepsilon+i\tau_\varepsilon, \qquad \delta_\varepsilon > \Delta_\zeta-\varepsilon,

such that:

Weil representation

The associated orbit operator contains a nonzero negative rank-one component

-2B_{z_\varepsilon}\otimes B_{z_\varepsilon}.

Fixed-aperture representation

For every fixed

h>0,

the corresponding spectral coefficient satisfies

c_h(\gamma_\varepsilon)\neq0,

and globally

\sigma_h=\Delta_\zeta.

Major-arc representation

For every admissible nonzero smooth $w$ and fixed

U>0,

the isolated pole-zero cross kernel has strictly positive coefficient

C_{w,U}(\rho_\varepsilon)>0

and power

x^{1+2\Re\rho_\varepsilon} > x^{2+2\Delta_\zeta-2\varepsilon}

at the exponent level.

Therefore the same near-extremal off-critical witness is visible in all three representations.

What this theorem does not say

It does not say that the three full proof obligations are equivalent.

It does not say that the Weil negative component dominates the full background.

It does not say that the major-arc isolated channel lower-bounds the full zero packet.

It does not prove a new estimate on $\Delta_\zeta$ .

It proves cross-representation witness persistence.

10. Obstruction confluence is weaker than quotient

CSM distinguishes:

SAME WITNESS
SAME OBSTRUCTION SHAPE
SAME MATHEMATICAL STATEMENT

These are different relations.

Theorem 9.1 establishes:

SAME NEAR-EXTREMAL WITNESS FAMILY

across the three routes.

Sections 6 and 8 further establish the same obstruction shape for Weil and major-arc routes:

distinguished witness is visible in an isolated component
but the full aggregated object contains uncontrolled background / interference

However, the fixed-aperture route already has a lossless global theorem

\sigma_h=\Delta_\zeta.

Hence its unresolved problem is of a different type:

the witness has already been globalized;
the remaining difficulty is proving the required tail estimate.

Therefore a three-way quotient would collapse mathematically distinct proof debts.

11. Aggregation-Isolation Barrier

Definition 11.1

An Aggregation-Isolation Barrier occurs when a representation has the form

\mathcal A = \mathcal S_\star+\mathcal R,

where:

$\mathcal S_\star$ is a distinguished local or isolated witness;
$\mathcal R$ is an aggregated background, remainder, or interference field;
the desired global predicate $\Phi(\mathcal A)$ is nonlinear or sign-sensitive;
knowledge of $\Phi(\mathcal S_\star)$ alone does not determine $\Phi(\mathcal A)$ .

A valid closure requires an additional certificate such as:

dominance
orthogonality
spectral separation
positivity
coercivity
exact diagonalization
analytic singularity separation
or another lossless globalizer

The obstruction ID is:

O-RH-005
AGGREGATION_ISOLATION_BARRIER

12. Weil instance of the barrier

In the Weil cell-dual route,

\mathcal S_\star = -2mB_z\otimes B_z

is the negative witness.

The aggregated object includes

B+2mA_z\otimes A_z.

The desired predicate is operator nonpositivity / a negative quadratic direction.

The unresolved certificate is a constructive domination or Schur-separation statement strong enough to guarantee that the local negative witness survives the full background in the controlled test family.

Canonical instance:

O-RH-005-W
AGGREGATION_ISOLATION_BARRIER / WEIL

status: OPEN
debt:
  CONSTRUCTIVE_GLOBALIZATION_DEBT
  BACKGROUND_DOMINANCE_DEBT

This refines F-RH-001.

13. Major-arc instance of the barrier

For one character packet,

Z_\chi = W(\rho_\star) + \sum_{\rho\neq\rho_\star} W(\rho).

The isolated witness has positive pole-zero energy

x^{1+2\Re\rho_\star}C_{w,U}(\rho_\star).

But the full energy uses

|Z_\chi|^2.

The desired predicate is a packet-level lower envelope or another certified transfer from the extremal isolated channel to the full character energy.

Canonical instance:

O-RH-005-M
AGGREGATION_ISOLATION_BARRIER / MAJOR_ARC

status: OPEN
debt:
  ZERO_PACKET_INTERFERENCE_DEBT
  EXTREMAL_ZERO_ISOLATION_DEBT

This debt was implicit in v3.18 and is promoted here to an explicit frontier.

14. Fixed-aperture instance is already closed

The fixed-aperture observable also aggregates all zero modes.

Naively, it could have suffered the same cancellation problem.

However the v1.65 Laplace-transform audit proves the exact invariant

\sigma_h=\Delta_\zeta.

Thus the route possesses a certified globalizer.

The globalizer does not need to isolate one zero pointwise.

Instead, any off-axis zero would create a forbidden singularity in the holomorphic continuation region once the growth type is assumed too small.

Canonical instance:

O-RH-005-A
AGGREGATION_ISOLATION_BARRIER / FIXED_APERTURE

status: CLOSED

certificate:
  EXACT_APERTURE_GROWTH_TYPE
  LAPLACE_SINGULARITY_SEPARATION

This is one of the most important structural findings of Paper 01.

The fixed-aperture route did not solve RH, but it already solved the witness-globalization subproblem.

15. Compression without theorem-strength reduction

The fixed-aperture route compresses the entire horizontal zero geometry into one scalar invariant:

\sigma_h=\Delta_\zeta.

But this does not reduce the mathematical strength of the final estimate.

Indeed,

\sigma_h=0

is equivalent to RH.

Equivalently,

\mathfrak E_h(x)=x^{o(1)}

is RH-complete in this framework.

Thus:

LOSSLESS COMPRESSION
does not imply
EASIER PROOF OBLIGATION

This is a general CSM_RH warning.

A representation can be excellent for diagnosis and still leave the full theorem strength in the final scalar bound.

16. Correction to the EMAE strength audit

Paper 00 treated a fixed-power major-arc estimate as if the isolated zero scale automatically forced a fixed zero strip.

This must be made conditional.

Define the major-arc energy gate:

\operatorname{EMAE}(\eta): \qquad \mathfrak Z_2+\mathfrak Z_4 \ll x^{3-\eta+o(1)}.

The isolated q=1 pole-zero scale for a zero

\rho=\beta+i\gamma

x^{1+2\beta}.

But without a packet-isolation lower bound, one may not infer that the full packet energy is at least this large.

Therefore:

\operatorname{EMAE}(\eta) \not\Rightarrow_{\rm currently\ certified} \beta\le1-\frac{\eta}{2}.

The missing bridge is now named:

F-RH-004
MAJOR_ZERO_PACKET_ISOLATION
abbrev: MZI
status: OPEN

A schematic sufficient form is:

\operatorname{MZI}(\rho_\star): \qquad \mathfrak Z_2(x;Q,U) \ge x^{1+2\Re\rho_\star-o(1)}

along a certified unbounded scale set or in another form strong enough to preserve the extremal power.

Only with such a bridge does the strength implication become legitimate.

Proposition 16.1

If both

\operatorname{EMAE}(\eta)

and a compatible near-extremal packet-isolation lower bound hold, then

\Delta_\zeta \le \frac12-\frac{\eta}{2}.

Proof sketch

For every $\varepsilon>0$ , choose

\Re\rho_\varepsilon > \frac12+\Delta_\zeta-\varepsilon.

The isolation bridge gives an energy exponent at least

1+2\Re\rho_\varepsilon > 2+2\Delta_\zeta-2\varepsilon.

EMAE gives exponent at most

3-\eta.

Hence

2+2\Delta_\zeta-2\varepsilon \le 3-\eta.

Let

\varepsilon\to0

to obtain

\Delta_\zeta \le \frac12-\frac{\eta}{2}.

$\square$

Thus the correct strength classification is:

EMAE alone:
  strength implication = UNCLASSIFIED WITHOUT MZI

EMAE + MZI:
  at least S2 if eta > 0

EMAE(1) + MZI:
  RH-level strength

17. Density-only no-go remains valid but narrower

The v3.18 density-only no-go states that a counting estimate of the form

\sum_\chi N(\sigma,T,\chi) \ll (qT)^{A(1-\sigma)+o(1)}

does not, by itself, suppress a possible isolated extreme zero strongly enough to yield a fixed-power major-arc saving.

Paper 01 does not weaken that result.

It sharpens its placement.

The no-go acts on:

density-only attempts to discharge F-RH-003 / F-RH-004

It does not block:

structural packet separation
exact zero orthogonalization
new positivity
new repulsion theorem
new transform-domain isolation
lossless scale-frequency globalization

Therefore the obstruction remains typed and assumption-dependent.

18. Three frontier types after Paper 01

The current frontiers are no longer treated as one homogeneous set.

Type A — Constructive isolation frontier

F-RH-001
GLOBAL_WEIL_ISOLATION_DOMINANCE

problem:
  local negative orbit witness
  ->
  controlled global / finite-dimensional negative certificate

Type B — RH-complete estimate frontier

F-RH-002
GLOBAL_TAIL_INVARIANT

problem:
  exact global diagnostic already exists
  ->
  prove zero exponential type / subexponential local-prime tail

Type C — Energy upper-bound frontier

F-RH-003
EXCEPTIONAL_MAJOR_ARC_ENERGY

problem:
  prove weighted character-zero structured variance saving

Type D — Energy isolation frontier

F-RH-004
MAJOR_ZERO_PACKET_ISOLATION

problem:
  isolated near-extremal zero response
  ->
  packet-level lower envelope or equivalent separation certificate

This four-frontier split is more faithful than the Paper 00 three-way quotient candidate.

19. Obstruction topology

The updated topology is:

                 OFF-CRITICAL ZERO
                        |
                        v
              NEAR-EXTREMAL FAMILY
                        |
        +---------------+---------------+
        |                               |
        v                               v
   WEIL ORBIT                      MAJOR-ARC KERNEL
 negative rank-one                positive isolated energy
        |                               |
        v                               v
  aggregation with                aggregation inside
     background                      zero packet
        |                               |
        v                               v
 O-RH-005-W OPEN                 O-RH-005-M OPEN
        |                               |
        +---------------+---------------+
                        |
                        v
             AGGREGATION-ISOLATION
                  OBSTRUCTION

The fixed-aperture route enters differently:

OFF-CRITICAL ZERO
      |
      v
FIXED-APERTURE MODE
      |
      v
LAPLACE SINGULARITY / EXACT TYPE
      |
      v
sigma_h = Delta_zeta
      |
      v
O-RH-005-A CLOSED

Thus fixed aperture supplies an existence proof that a useful lossless globalizer can exist in an RH representation.

20. Certified confluence object

Create:

OC-RH-A
NEAR_EXTREMAL_ZERO_WITNESS_CONFLUENCE

Members:

WEIL_LOCAL_ORBIT_WITNESS
FIXED_APERTURE_SPECTRAL_WITNESS
MAJOR_ARC_ISOLATED_ENERGY_WITNESS

Certificate status:

WITNESS_EXISTENCE_TRANSFER = PASS
HORIZONTAL_DISPLACEMENT_PRESERVATION = PASS
FULL_PREDICATE_EQUIVALENCE = FAIL / NOT_PROVED
REVERSE_BRIDGES = INCOMPLETE
QUOTIENT_PROMOTION = FORBIDDEN

This is a CSM obstruction-confluence object, not a mathematical equivalence class.

21. Why the original quotient fails

A valid three-way mathematical quotient would require enough bridge authority to treat the three frontier obligations as interchangeable for closure purposes.

That authority is absent for at least three reasons.

21.1 Different theorem strength

F-RH-002 contains a criterion exactly equivalent to RH.

F-RH-003 with a fixed small $\eta>0$ would, even after isolation, yield only a fixed zero-strip improvement.

Thus the strength profiles differ.

21.2 Different loss structure

The aperture route has a certified lossless zero-displacement invariant.

The Weil and major-arc routes retain aggregation / interference debt.

21.3 Different output predicates

The Weil route is sign / inertia sensitive.

The aperture route is growth-type / analytic-continuation sensitive.

The major-arc route is positive-energy / power-saving sensitive.

Therefore "same zero witness" is insufficient for quotient closure.

Theorem 21.1 — No Three-Way Quotient at v0.2

Under the current certified bridge set, the frontier family

\{ F\text{-}RH\text{-}001, F\text{-}RH\text{-}002, F\text{-}RH\text{-}003 \}

cannot be promoted to a single mathematical quotient class.

Its correct current relation is typed obstruction confluence.

22. The two-way structural homology

Although a mathematical quotient is not certified, F-RH-001 and F-RH-004 share a stronger structural pattern.

Both have:

a single off-critical zero producing an explicit local / isolated witness;
an aggregated object formed before the final predicate is evaluated;
possible masking by other components;
an open need for a separation, dominance, or orthogonalization certificate.

This is recorded as:

H-RH-001
WEIL_MAJOR_AGGREGATION_ISOLATION_HOMOLOGY
status: CERTIFIED_STRUCTURAL
authority: NON_EQUIVALENCE

The word homology here is CSM structural terminology, not algebraic topology.

It means:

same obstruction signature under typed compilation

not:

same theorem

23. The high-value transfer question

The fixed-aperture route already closed its aggregation-isolation instance through a lossless analytic transform.

Therefore the new high-value question is:

Can the globalization mechanism, rather than the final RH-equivalent estimate, be transferred or reinvented in the Weil or major-arc representations?

This changes the research target.

Do not first ask:

Can EMAE be proved?

or:

Can the local Weil negative rank-one term dominate?

First ask:

Can a new transform make near-extremal zero information noncancellable at the global level?

This is a narrower and more structurally informed target.

24. New survivor family

Create:

S-RH-007
LOSSLESS_WITNESS_GLOBALIZER
status: OPEN / SURVIVOR

A candidate globalizer $\mathcal T$ should satisfy as many of the following as possible.

G1. Zero-faithfulness

For every off-critical zero $\rho$ ,

\mathcal T(\rho)

is nontrivial.

G2. Extremal-faithfulness

The response strength is a known strictly monotone function of

\left| \Re\rho-\frac12 \right|.

G3. Aggregation resistance

Distinct zero contributions cannot cancel the extremal witness at the level of the chosen invariant.

G4. Background control

Archimedean, trivial-zero, local-factor, or non-extremal contributions are either explicit, positive, orthogonal, lower order, or separately certifiable.

G5. Quantifier preservation

The transform preserves the global quantifier over all nontrivial zeros.

G6. No hidden RH premise

The globalizer itself must not require:

\Delta_\zeta=0

or an equivalent condition as an assumption.

G7. Strength transparency

If the final bound is RH-equivalent, that fact must remain visible rather than being relabeled as a routine tail estimate.

25. Fixed aperture as the model globalizer

The fixed-aperture construction demonstrates one successful pattern:

compact local prime observable
    ->
spectral zero filter
    ->
non-annihilation of every off-axis mode
    ->
Laplace transform
    ->
zero singularity localization
    ->
exact exponential type
    ->
Delta_zeta

The lesson is not that the same formula should be copied.

The lesson is that a successful RH representation may require two separate layers:

Layer 1:
  local / finite-support arithmetic observable

Layer 2:
  global analytic transform that prevents extremal witness cancellation

This two-layer pattern should guide the next GLM_Backward Search campaign.

26. GLM_Backward Search integration

The formal method name remains:

GLM_Backward Search

with scope:

Goal-Led Meta-Research

The definition-first rule is preserved:

Never begin backward search before classifying the target.

For the next campaign the target is not classified as RH directly.

It is classified as:

target_id:
  GLM-RH-C01

target_name:
  LOSSLESS_WITNESS_GLOBALIZER

target_type:
  method/theorem-family search target

parent_frontiers:
  F-RH-001
  F-RH-004

excluded_false_targets:
  direct RH-equivalent tail repackaging
  density-only extreme-zero suppression
  finite-checkpoint-to-global promotion
  unsupported three-way quotient

Thus GLM search begins from a smaller typed target.

27. Backward target decomposition

The desired terminal object is a certified bridge of the schematic form

\text{near-extremal zero witness} \Longrightarrow \text{noncancellable global invariant}.

Backward decomposition gives the following subtargets.

T1. Choose the global invariant

Candidate invariant classes may include:

analytic singularity
spectral mass
positive integrated energy
operator index / inertia
scale-frequency transform
reproducing-kernel norm
another certificate-carrying invariant

These are candidate classes, not asserted solutions.

T2. Prove zero-faithful response

For each off-critical zero,

\rho \mapsto \mathcal I_\rho

must be nonzero.

T3. Prove extremal separation

\Re\rho_1>\Re\rho_2,

the invariant must preserve enough ordering or asymptotic separation to identify the more extreme horizontal displacement.

T4. Prove aggregation resistance

The total invariant must not allow the extremal contribution to disappear through uncontrolled cross terms.

T5. Prove background closure

All nonzero non-target pieces must have certified status.

T6. Strength audit

Determine whether proving a useful bound on the resulting invariant is:

S0
S1
S2
S3
or S4

before declaring the route a simplification.

28. GLM rejection filters

A generated candidate is rejected from the principal route if any of the following holds.

R1. Repackaging-only

It merely defines

I=0

where

I=0 \Longleftrightarrow RH

without giving a new bridge, invariant, or proof mechanism.

R2. Hidden isolation premise

It assumes the extremal zero contribution dominates the rest without proving it.

R3. Hidden attainment premise

It requires a literal rightmost zero rather than working with a near-extremal family.

R4. Density-only recurrence

It tries to eliminate the extremal witness using only a zero-counting theorem already covered by O-RH-003.

R5. Finite-to-global jump

It promotes finite computation or finitely many cells to RH without a completeness bridge.

R6. Representation-only novelty

It changes formulas but preserves the same unresolved aggregation debt.

R7. Strength laundering

It calls an S2 or S3 statement a routine analytic estimate.

29. First GLM campaign objective

The first campaign should generate candidates for:

GLM-RH-C01
LOSSLESS_WITNESS_GLOBALIZER

and score them by closure gain.

A candidate has high value if it closes at least one of:

O-RH-005-W
O-RH-005-M

without reopening a stronger hidden debt.

A particularly high-value candidate would close both through one common transform or one certified transfer law.

Such a result would not prove RH automatically.

It would, however, remove one of the currently repeated globalization bottlenecks.

30. Closure-gain metric for Campaign 01

For a candidate $X$ , define a policy score

P(X) = \frac{ w_1\Delta I(X) + w_2\Delta B(X) + w_3\Delta F(X) + w_4\Delta Q(X) }{ 1+C(X)+D(X) },

where:

$\Delta I(X)$ is isolation debt discharged;
$\Delta B(X)$ is certified bridge gain;
$\Delta F(X)$ is frontier contraction;
$\Delta Q(X)$ is valid quotient or confluence compression;
$C(X)$ is expected proof cost;
$D(X)$ is new proof debt.

This score has no theorem authority.

It is a search-priority device only.

31. Updated bridge ledger

B-RH-001

name:
  OFFAXIS_ZERO_TO_WEIL_LOCAL_SIGNED_WITNESS

status:
  CERTIFIED

preserves:
  off-axis existence
  local signed witness

does_not_preserve:
  global negativity
  finite certificate

B-RH-002

name:
  OFFAXIS_ZERO_TO_FIXED_APERTURE_MODE

status:
  CERTIFIED

preserves:
  off-axis existence
  non-annihilation
  exact horizontal displacement through exponential type

B-RH-003

name:
  OFFAXIS_ZERO_TO_MAJOR_ARC_ISOLATED_ENERGY

status:
  CERTIFIED

preserves:
  off-axis existence
  isolated positive kernel
  isolated power exponent

B-RH-004

name:
  WEIL_LOCAL_WITNESS_TO_CONTROLLED_GLOBAL_NEGATIVE_CERTIFICATE

status:
  OPEN

B-RH-005

name:
  MAJOR_ARC_ISOLATED_ZERO_TO_PACKET_LOWER_ENVELOPE

status:
  OPEN

frontier:
  F-RH-004

B-RH-006

name:
  FIXED_APERTURE_OBSERVABLE_TO_DELTA_ZETA

status:
  CERTIFIED_LOSSLESS

32. Updated obstruction ledger

O-RH-001
RH_COMPLETE_TAIL_REPACKAGING
ACTIVE

O-RH-002
EXTREME_ZERO_POWER_DOMINANCE
ACTIVE AS ISOLATED-CHANNEL STRENGTH WARNING

O-RH-003
DENSITY_ONLY_NO_GO
ACTIVE

O-RH-004
FINITE_VERIFICATION_NONCOMPLETENESS
ACTIVE

O-RH-005
AGGREGATION_ISOLATION_BARRIER
ACTIVE SCHEMA

O-RH-005-W
WEIL AGGREGATION-ISOLATION
OPEN INSTANCE

O-RH-005-A
FIXED-APERTURE AGGREGATION-ISOLATION
CLOSED INSTANCE

O-RH-005-M
MAJOR-ARC AGGREGATION-ISOLATION
OPEN INSTANCE

33. Updated frontier ledger

F-RH-001
GLOBAL_WEIL_ISOLATION_DOMINANCE
OPEN

F-RH-002
GLOBAL_TAIL_INVARIANT
OPEN
tag:
  RH_COMPLETE

F-RH-003
EXCEPTIONAL_MAJOR_ARC_ENERGY
OPEN

F-RH-004
MAJOR_ZERO_PACKET_ISOLATION
OPEN

S-RH-007
LOSSLESS_WITNESS_GLOBALIZER
OPEN
SURVIVOR

34. State transition from v0.1 to v0.2

The important state changes are:

QO-RH-A:
  QUOTIENT_CANDIDATE
  ->
  NOT_PROMOTED

OC-RH-A:
  CREATED
  NEAR_EXTREMAL_ZERO_WITNESS_CONFLUENCE
  CERTIFIED

O-RH-005:
  CREATED
  AGGREGATION_ISOLATION_BARRIER

F-RH-004:
  CREATED
  MAJOR_ZERO_PACKET_ISOLATION

B-RH-001..003:
  CREATED / CERTIFIED

B-RH-004..005:
  CREATED / OPEN

B-RH-006:
  CREATED / CERTIFIED_LOSSLESS

S-RH-007:
  CREATED
  LOSSLESS_WITNESS_GLOBALIZER

The frontier count increases by one.

This is not regression.

It is a correction of a hidden bridge debt that Paper 00 had compressed into F-RH-003.

Under CSM, exposing a missing bridge can increase raw frontier size while improving frontier fidelity.

35. Main closure result

Paper 01 does not contract the RH root frontier.

It does contract ambiguity.

The main result is:

\boxed{ \text{three routes share a persistent near-extremal zero witness} }

but

\boxed{ \text{they do not yet share one quotient-certified proof obligation}. }

More precisely:

\boxed{ \text{Weil and major-arc routes share an open aggregation-isolation barrier,} }

while

\boxed{ \text{fixed aperture has already closed that barrier through an exact global diagnostic.} }

This identifies a new transferable research objective:

\boxed{ \text{construct a lossless witness globalizer for the remaining open representations.} }

36. What should not be done next

The next step should not be:

write v3.19 by assuming the isolated x^(1+2 beta) channel
is automatically a lower bound for the full packet

and it should not be:

declare the Weil / aperture / major-arc frontiers equivalent
because all mention off-axis zeros

and it should not be:

prove another RH-equivalent scalar tail criterion
and count that alone as closure gain

The next step should target the missing globalization mechanism itself.

37. Canonical next paper / campaign

The next research artifact is:

CSM_RH / GLM Campaign 01
Lossless Witness Globalizer Search

The first definition-first classification is already fixed in this paper.

The campaign should generate a small number of candidate globalizer families, compile each into:

statement
representation
zero response
aggregation law
background law
strength class
obstruction hits
bridge debt
falsification test

and reject any candidate that merely reproduces O-RH-001, O-RH-003, or O-RH-005 under new notation.

38. Final canonical status

ROOT_RH = OPEN

RH_PROVED = FALSE
RH_DISPROVED = FALSE
GLOBAL_RH_CERTIFICATE = FALSE

THREE_WAY_QUOTIENT = NOT_CERTIFIED
THREE_WAY_WITNESS_CONFLUENCE = CERTIFIED

WEIL_AGGREGATION_ISOLATION = OPEN
FIXED_APERTURE_AGGREGATION_ISOLATION = CLOSED
MAJOR_ARC_AGGREGATION_ISOLATION = OPEN

GLOBAL_TAIL_INVARIANT = OPEN / RH_COMPLETE
EMAE = OPEN
MZI = OPEN

LOSSLESS_WITNESS_GLOBALIZER = OPEN / SURVIVOR

NEXT_METHOD = GLM_Backward Search
NEXT_TARGET = LOSSLESS_WITNESS_GLOBALIZER

The substantive change is:

The current RH program should no longer treat all surviving endgames as one undifferentiated "extreme zero" barrier. The same near-extremal zero is indeed visible in the Weil, fixed-aperture, and major-arc representations, but the globalization status differs. Fixed aperture already possesses a lossless analytic globalizer, whereas the Weil and major-arc routes still require a certified mechanism preventing the local or isolated zero witness from being masked by background or zero-packet interference. The next GLM search should therefore target the missing globalization mechanism, not another direct RH-equivalent estimate.

CSM_RH Paper 01 — Obstruction Confluence, Near-Extremal Zero Witnesses, and the Aggregation-Isolation Barrier

CSM_RH Paper 01

Obstruction Confluence, Near-Extremal Zero Witnesses, and the Aggregation-Isolation Barrier

0. Trust boundary

1. Source basis

2. The Paper 00 question

3. Root zero-displacement invariant

4. Near-extremal zero family

Definition 4.1

Proposition 4.2

Proof

5. Why the "single extreme zero" language is dangerous

6. Weil-side witness persistence

Theorem 6.1 — Weil local witness persistence

Important limitation

7. Fixed-aperture witness persistence

Theorem 7.1 — Fixed-aperture non-annihilation

8. Major-arc isolated witness persistence

Theorem 8.1 — Major-arc isolated witness persistence

Important limitation

9. Tri-representation witness theorem

Theorem 9.1 — Near-Extremal Witness Preservation

Weil representation

Fixed-aperture representation

Major-arc representation

What this theorem does not say

10. Obstruction confluence is weaker than quotient

11. Aggregation-Isolation Barrier

Definition 11.1

12. Weil instance of the barrier

13. Major-arc instance of the barrier

14. Fixed-aperture instance is already closed

15. Compression without theorem-strength reduction

16. Correction to the EMAE strength audit

Proposition 16.1

Proof sketch

17. Density-only no-go remains valid but narrower

18. Three frontier types after Paper 01

Type A — Constructive isolation frontier

Type B — RH-complete estimate frontier

Type C — Energy upper-bound frontier

Type D — Energy isolation frontier

19. Obstruction topology

20. Certified confluence object

21. Why the original quotient fails

21.1 Different theorem strength

21.2 Different loss structure

21.3 Different output predicates

Theorem 21.1 — No Three-Way Quotient at v0.2

22. The two-way structural homology

23. The high-value transfer question

24. New survivor family

G1. Zero-faithfulness

G2. Extremal-faithfulness

G3. Aggregation resistance

G4. Background control

G5. Quantifier preservation

G6. No hidden RH premise

G7. Strength transparency

25. Fixed aperture as the model globalizer

26. GLM_Backward Search integration

27. Backward target decomposition

T1. Choose the global invariant

T2. Prove zero-faithful response

T3. Prove extremal separation

T4. Prove aggregation resistance

T5. Prove background closure

T6. Strength audit

28. GLM rejection filters

R1. Repackaging-only

R2. Hidden isolation premise

R3. Hidden attainment premise

R4. Density-only recurrence

R5. Finite-to-global jump

R6. Representation-only novelty

R7. Strength laundering

29. First GLM campaign objective

30. Closure-gain metric for Campaign 01

31. Updated bridge ledger

B-RH-001