← RG-SCP: The Counterexample Universe, Obstruction Covers and Self-Audits
/
RG-SCP 04 · Fixed-point fibres and the shadow gap
RG-SCP: The Counterexample Universe, Obstruction Covers and Self-Audits
RG-SCP 04 · Fixed-point fibres and the shadow gap
Author line in the source: Neo.K; Aletheia (GPT-5.6 Sol)
Fixed-Point Fibers, Shadow Gaps, and Goldbach Counterexample Exclusion
Imports the M6 operator T_top (= lpf on M6*) and shows, for even N ≥ 10, R_G(N) > 0 ⇔ [Δ₆(N) = 0] ∨ [N − 3 ∈ ℙ] (failure = an M6 section hole plus a boundary-3 hole), the shadow identity S_N(a) = N − E_{6,N}(a), and the no-go that naive fixed-point projection maps a failure only to smaller Goldbach successes.
RG-SCP 04 gives a two-channel decomposition of failure and an explicit no-go; it proves no global statement.
The fibre multiplier is stated with U₆, which is too loose (the exact set is pU_p, V0-04); the weak bound Δ₆ ≥ 2 (true value ≥ 20); the abstract cites a Lean 4 verification of the earlier 'M6 v0.2', which is neither in the package nor on this site; §72 forbids calling this paper's own theorems formalized.
Connections · Connections
This is a full-text translation of the Chinese source, which remains authoritative for its research claims. Translation is not independent mathematical verification and does not upgrade the original evidence level.