ORIGINAL THOUGHT PAPER · JULY 2026 · V5.2 · SELF-CONTAINED FOUNDATIONAL EDITION

순환 이중 덮개 증명의 갈루아 기하학

An Unconditional, Gauge-Invariant, Certificate-Complete Obstruction Theory
for Prescribed-Cycle Forcing in the F₂³-Flow Construction of Cycle Double Covers

무조건 장애류 Ω · 자연 동변성 · 짧은 완전열 · 쌍대 장애 정리 · 정·부 양방향 인증서 — 전 증명 자족 확정판

발행일 2026년 7월 12일

분류 독창적 사유 논문 (Original Thought Paper)

분야 그래프 이론 · 유한 기하학 · 갈루아 이론 · AI 협업 수학

판본 V5.2 (자족 확정판; 이후 수사적 변경 없음, V6는 소멸 메커니즘 공략으로 전환)

저자 이조글로벌인공지능연구소 & Claude Fable 5 & GPT-5.6 Sol (인지집단)

V1 RESULTS FROZEN · KST 2026-07-12 11:38

초록 · Abstract

본 논문은 OpenAI 순환 이중 덮개(CDC) 구성(2026-07-10 공개 [1], Lean 커널 검사 저장소 [22] 포함)에 대한 궤도 기하 이론의 자족 확정판이다: 모든 정리와 보조정리의 증명이 본문에 수록되어 있으며, 과거 판본을 인용하지 않는다. 핵심 장치: 3차 꼭짓점에서 세 유동값은 파노 평면의 직선을 이룬다(관찰 2.3); GL(3,2)의 유동 집합에 대한 궤도 크기는 오직 42 또는 168이며, 42인 것은 유동이 정상 3-변 착색을 유도하는 것과 동치이다(정리 A); 각 꼭짓점의 허용 삼각형 공간은 Γ-토르소르이며 게이지는 좌표 원점 선택에 불과하다(정리 B); 지정된 순환의 강제(forcing)는 그것이 M₀의 연결 성분으로 나타나는 것과 동치이며, 핀값은 항상 존재하고 유일하다(정리 C); 강제 류수(class number) ≥ 1+|f(C)|(정리 D). 핵심 정리 Ω: 각 변의 몫 Q_e = Γ/⟨f(e)⟩와 결합 사상 D_f,C = (D_f, ρ_C)에 대해, 류 Ω(f,C) := [(d̄, b)] ∈ coker D_f,C는 게이지와 무관하며(좌표 변환 보조정리가 항등식 수준), Force(f,C) ⟺ Ω = 0 — 기저 연립방정식의 가해성을 전제하지 않으므로 [1]과 독립이다. 이 류는 군 작용 하에서 자연 동변성 σ̂_*Ω(f,C) = Ω(σf,C)를 만족하며(단순 상등이 아님), 짧은 완전열 0 → coker R_C → coker D_f,C → coker D_f → 0은 전체 장애를 기저 장애와 상대 장애의 확대(extension)로 조직한다(표준 분열은 주장하지 않음). 기저 연립방정식이 가해일 때([1]이 보장; 본 논문에서 재증명하지 않음) Ω는 ω ∈ coker R_C로 약화되며, 강제 해의 수 = 2^{dim ker R_C}이다. 쌍대 장애 정리: Ω ≠ 0 ⟺ 각 변별로 f(e)를 소멸시키는 범함수족과 순환 꼭짓점 위의 범함수족이 존재하여 꼭짓점 균형 조건을 만족하고 자료와의 짝짓기가 1 — 110개의 F₂ 좌핵 인증서가 그 좌표 실현이다. Petersen 완전 분류가 다섯 개의 독립 계산 경로로 재현되었다: 60/170 실행 가능, 40/5/15 강제 해 분류, 각 궤도가 고전적 5류 하한에 도달, ν 분포 80/80/10, ν=2 ⟹ 실행 가능 (10/10). 인증서 체계 v3: 모든 저장 필드가 재계산·검증되거나 존재하지 않음; 두 모델 간 교대 공격의 6라운드 전적이 전수 기록되었으며, 현행 검증기는 두 파일 동시 기만을 포함한 모든 알려진 공격을 거부한다. 정위: 5단계 사다리의 제2단계 완료; 제4·5단계에 근접함을 주장하지 않는다. 역대 철회 및 정오(13.1–13.5)는 전문 보존된다.

V5.2 is the self-contained foundational edition: every proof is in the text. The apparatus: local Fano lines; the 42/168 orbit dichotomy; admissible triangles as a Γ-torsor with gauge as a mere origin; the two-sided Force characterization with always-unique pins; the class bound k ≥ 1+|f(C)|. Central theorem: with Q_e = Γ/⟨f(e)⟩ and D_f,C = (D_f, ρ_C), the class Ω(f,C) = [(d̄,b)] ∈ coker D_f,C is gauge-independent at the level of identities, satisfies Force ⟺ Ω = 0 unconditionally (independent of [1]), transforms by natural equivariance σ̂_*Ω(f,C) = Ω(σf,C), and fits the short exact sequence 0 → coker R_C → coker D_f,C → coker D_f → 0 organizing the total obstruction as an extension of the base obstruction by the relative one (no canonical splitting is claimed); when the base system is solvable ([1], not re-proved here) Ω reduces to ω with forced-solution count 2^{dim ker R_C}. A duality theorem characterizes Ω ≠ 0 by local annihilating functionals with a vertex balance condition and unit pairing — the 110 F₂ left-kernel certificates are its coordinate instances. The Petersen classification is replicated along five independent computational paths; certificate system v3 recomputes every stored field, and the complete six-round adversarial record between two models is archived. Positioning: Level 2 of the five-level ladder is complete; no claim of proximity to Levels 4–5 is made. All retractions and errata (13.1–13.5) are retained.

§1 서론, 타임스탬프, 정위 및 검증 위상

연구 대상은 OpenAI의 CDC 구성 [1][2]이다: Γ = F₂³ 위의 모든 곳에서 영이 아닌 유동(nowhere-zero flow)과 이원 집합 라벨링을 사용하여 순환 이중 덮개를 구성한다. 해당 Lean 저장소 [22]는 유한 루프 없는 다리 없는 다중그래프에 대한 무조건 CDC 정리의 커널 검사를 선언한다(종점 cycleDoubleCover_of_bridgeless, 감사에서 세 개의 표준 공리만 나열됨; 본 논문 저자가 접근 확인했으나 독립 컴파일하지는 않음). 학계 검증이 진행 중이며; 본 논문의 정리들은 그 성립에 의존하지 않는다 — 정리 Ω의 무조건성은 바로 이를 위해 설계되었다.

타임스탬프 및 판본 정책: V1 결과는 KST 2026-07-12 11:38에 동결. V2에서 증명 보충, V3에서 정리 체인 재구성 및 3자 저자 표기, V4에서 장애류, V4.1에서 부정 인증서, V5에서 무조건화. V5.1에서 자족 통합 완료(모든 증명 본문 수록, 자연 동변성, 짧은 완전열, 쌍대 장애 정리, 용어 및 표현 교정, 인증서 체계 v3). V5.2는 자족 확정판이다: 3차 Dense 검토에 따라 보조정리 2.5/2.6을 자체 증명으로 보충하고([1]의 두 가지 초등적 국소 사실에 대한 자족적 증명 제공) 짧은 완전열 표현을 교정하였다. 이후 수사적 변경 없음; V6는 coker D_f,C의 구조와 소멸 메커니즘으로 전환한다.

정위 선언: 5단계 사다리(0: 구조; 1: 불변량과 장애; 2: 자족적 폐환과 완전 인증서; 3: Petersen을 넘어서는 일반 정리; 4: 보편적 Force 또는 5-CDC; 5: 수학사적 확인) 중 본 논문은 제2단계를 완료한다. 교차 모델 거리 측정에 의하면, 제3단계까지 약 절반의 거리가 남아 있고, 제4/5단계까지는 상당한 거리가 있다(§17). 본 논문의 가치 제안: 명확하게 공략 가능한 대상을 제시하는 것이다.

검증 위상: 6라운드의 교차 모델 상호 검토. 자료는 다섯 개의 독립 계산 경로로 재현되었다: Claude Fable 5의 두 가지 구현, GPT-5.6 Sol의 두 병렬 창에서 각각 독립 구현, 그리고 45변수 연립방정식을 거치지 않는 30변수 몫공간 경로. 인증서 체계는 두 모델의 교대 공방 6라운드를 거쳤으며, 완전한 전적은 §13 참조. 단일 신뢰점 없음.

§2 기호 및 예비 사항

기호 2.1　G는 유한 루프 없는 3차 다중그래프(평행 변 허용), c(G)는 연결 성분 수; e ∋ v는 근접 관계. Γ := F₂³, 덧셈 +(비트별 XOR), 표수 2, x+x = 0. PG(2,2)(파노 평면)의 점은 Γ\{0}의 원소이며, 직선은 세 개의 서로 다른 영이 아닌 원소의 합이 영인 삼원 집합 {x, y, x+y}이다. 본 논문의 작용군은 GL(3,2)(위수 168, 파노 전자기동형군; 추상군으로서 PSL(2,7)과 동형이며, 본 논문에서는 여기서만 이 동형을 언급한다). 내재적 대 좌표적: 원래 증명은 Γ에 선형 구조만 부여한다 — 내재적 기하학은 PG(2,2)이고, 내재적 대칭군은 GL(3,2)이다; Γ를 체 GF(8)과 동일시하는 것은 추가적 좌표화이다(체 구조를 보존하는 반선형군 ΓL(1,8) ≅ C₇⋊C₃는 지표 8의 진부분군이며), §3의 가교 정리를 통해서만 142857에 접속한다. 몫과 차분 사상: ⟨f(e)⟩ := {0, f(e)}, Q_e := Γ/⟨f(e)⟩ ≅ F₂²; D_f: Γ^V → ⊕_eQ_e, D_f(t)_e := [t_u+t_v]; ρ_C는 Γ^V(C)로의 제한; D_f,C := (D_f, ρ_C); K_f := ker D_f; R_C := ρ_C|_{K_f}. 모든 여핵은 F₂-벡터공간 사상의 여핵이다.

정의 2.2 (유동, 궤도, 라벨링)　모든 곳에서 영이 아닌 Γ-유동은 사상 f: E → Γ\{0}으로, 각 꼭짓점에 근접하는 변들의 값의 합이 영이다(표수 2이므로 방향이 불필요). GL(3,2)는 (σ·f)(e) := σ(f(e))로 작용한다; 유동의 수 = F(G,8)(Tutte 군유동 정리). U_f := span f(E); f(C) := {f(e) : e ∈ E(C)}. 라벨링 P는 각 변에 이원 집합 P_e ⊆ Γ를 부여한다; 조건 (1): 각 꼭짓점에서 모든 s ∈ Γ가 세 근접 변의 집합들 중 정확히 0번 또는 2번 나타나면 허용이라 한다. σ({p,q}) := p+q ≠ 0; 유도 유동은 f_P(e) := σ(P_e). M_s := {e : s ∈ P_e}; 허용 라벨링에서 각 M_s는 서로소인 순환들의 합집합이고 각 변은 정확히 두 개의 M_s에 속하므로, 순환 이중 덮개를 이룬다(보조정리 2.6, 본 논문에서 자체 증명). 비어 있지 않은 류의 수를 류수(class number)라 한다.

관찰 2.3 (국소 파노 구조; 양방향)　(i) 모든 곳에서 영이 아닌 Γ-유동은 각 3차 꼭짓점에서 세 개의 서로 다른 값을 부여하며, 이들은 파노 평면의 직선을 이룬다. (ii) 역으로, 각 꼭짓점에 직선과 근접 변에서 직선 위 세 점으로의 전단사를 부여하여, 각 변이 양 끝점에서 같은 점을 받도록 하면, 이 부여는 모든 곳에서 영이 아닌 Γ-유동이다.

증명　(i) 세 값을 x, y, z라 하자. 합이 영이므로 z = x+y; x = y이면 z = 0이 되어 영이 아닌 조건에 모순. 마찬가지로 어떤 두 값도 같을 수 없다. 서로 다른 영이 아닌 원소들의 합이 영이면 직선이다. (ii) 각 변은 하나의 영이 아닌 값을 받고, 각 꼭짓점의 세 값은 직선의 세 점 — 서로 다르고 합이 영 — 이므로 유동 조건이 성립한다. ∎

정의 2.4 (게이지, 후보 라벨링, 연립방정식)　꼭짓점 v의 게이지(gauge)는 근접 변의 순서쌍 (a,b)(셋째 변 c)이다: g_v,a := 0, g_v,b := f(a), g_v,c := 0; 각 꼭짓점에 6개. 전역 게이지 g와 t ∈ Γ^V가 주어지면: 후보 라벨링 P^(v)_e := {t_v+g_v,e, t_v+g_v,e+f(e)} — 집합으로서 잉여류 t_v+g_v,e+⟨f(e)⟩. d_e := g_u,e+g_v,e; 연립방정식 (4): t_u+t_v+ε_ef(e) = d_e (ε_e ∈ F₂). 보조정리 2.5(본 논문에서 자체 증명; [1]의 서술과 일치)에 의해: 주어진 t에 대해, ∃ε가 (4)를 만족 ⟺ 각 변의 양 끝점의 후보 집합(잉여류)이 일치하며, 이 경우 후보 라벨링은 허용이고 유도 유동은 f이다. ε를 몫으로 소거하면: (4)가 주어진 t에 대해 ε를 허용 ⟺ D_f(t) = d̄_g, 여기서 d̄_g := ([d_e])_e. 계수 사상 D_f는 게이지를 포함하지 않으며; 게이지는 자료 (d̄, b)에만 관여한다.

보조정리 2.5 (잉여류 양립성; [1]의 국소 동치의 자족화)　h ∈ Γ\{0}, A = a+⟨h⟩, B = b+⟨h⟩를 잉여류라 하자. 그러면 A = B ⟺ a+b ∈ ⟨h⟩ ⟺ a+b+εh = 0인 유일한 ε ∈ F₂가 존재한다. a = t_u+g_u,e, b = t_v+g_v,e, h = f(e)로 놓으면: 변 e의 양 끝점 후보 집합이 같음 ⟺ (4)의 제e조를 만족하는 ε_e가 유일하게 존재. 또한 임의의 t_v와 게이지에 대해, v에서의 세 후보 집합은 어떤 삼원 집합의 세 이원 부분집합이므로, 조건 (1)이 각 꼭짓점에서 자동으로 성립한다; 따라서 “양 끝점 후보 집합이 일치하는” 후보 라벨링은 허용 라벨링이며, 유도 유동은 f이다.

증명　A = B ⟺ a ∈ b+⟨h⟩ ⟺ a+b ∈ {0, h}; 두 경우는 각각 ε = 0과 ε = 1에 대응하며, h ≠ 0이므로 상호 배타적이어서 ε는 유일하다. 국소 허용성: 게이지를 (a,b), 셋째 변을 c라 하고, x := f(a), y := f(b), z := f(c) = x+y; 정의 2.4에서 g-값을 직접 대입하면, 세 후보 집합은 {t, t+x}, {t+x, t+x+y} = {t+x, t+z}, {t, t+z}이다. x, z는 서로 다르고 영이 아니므로(관찰 2.3), {t, t+x, t+z}는 삼원 집합이다; 라벨 t는 첫째·셋째 집합에, t+x는 첫째·둘째 집합에, t+z는 둘째·셋째 집합에 나타나며, 각각 정확히 2회, 나머지 라벨은 0회 — 조건 (1)이 성립한다. 유도 유동: 세 집합의 원소 합은 각각 x, y, z = 세 변에서의 f 값이다. ∎

보조정리 2.6 (CDC 보조정리; [1] 보조정리 2.1의 자족화)　P를 허용 라벨링이라 하자. 그러면 각 M_s에서 각 꼭짓점 v의 차수는 0 또는 2이므로, M_s는 서로소인 순환들의 합집합이고; 각 변은 정확히 두 개의 M_s에 속한다; 따라서 비어 있지 않은 M_s의 족(family)은 G의 순환 이중 덮개를 구성한다.

증명　M_s에서 v의 차수 = v에 근접하는 세 변의 집합들에서 s의 출현 횟수 ∈ {0, 2} (조건 (1)). 모든 차수가 {0,2}에 속하는 부분그래프는 차수 1인 꼭짓점이 없으므로 서로소인 순환들의 합집합이다. |P_e| = 2이면 e는 정확히 두 M_s에 속한다. ∎

§3 가교 정리: 142857 → GF(8) 좌표 → 파노 내재적 기하학

본 연구소의 《142857과 갈루아 이론》[16]은 {1,2,4} ⊂ (Z/7Z)^×를 중심축으로 삼는다(100진법 Midy 분할의 근원, 100 ≡ 2 mod 7).

가교 정리　α를 F₂ 위의 x³+x+1의 근(F₈^×의 생성원)이라 하자. 그러면 (i) α+α²+α⁴ = 0이고 세 원소는 서로 다르며 영이 아니다 — 프로베니우스 궤도 {α, α², α⁴} 자체가 파노 평면의 직선이다; (ii) 지수 집합 {1,2,4} ⊂ Z/7은 (7,3,1)-차집합 = 법 7 이차잉여 집합 = 2의 원분 잉여류이다; (iii) Gal(F₈/F₂) = ⟨x↦x²⟩의 지수에 대한 작용은 i↦2i (mod 7)이며, Q(ζ₇) 내 ⟨σ₂⟩(σ₂: ζ₇↦ζ₇²)의 지수에 대한 작용과 동변적으로 일치한다. 표현 (V5.1 교정): 원시원소 α와 지수 좌표를 선택한 후, 다음 다섯 종류의 대상 — (Z/7)^×의 부분군, 원분체 자기동형 부분군의 궤도, GF(8)의 프로베니우스 궤도, 파노 차집합, 파노 직선 — 은 동변 대응을 이루며; 이들은 서로 다른 범주에 속하므로 자연스러운 관련은 가능하나 문자적으로 동일하지는 않다.

증명　(i) α³ = α+1 ⟹ α⁴ = α·α³ = α²+α ⟹ α+α²+α⁴ = 0. 상이성(위수 논증): α ∈ F₈^×이므로 ord(α) | 7. α² = α이면 α ∈ F₂이나, x³+x+1은 F₂에서 근이 없다; α⁴ = α이면 α³ = 1, ord(α) | gcd(3,7) = 1이어서 α = 1이나, 1+1+1 = 1 ≠ 0; α⁴ = α²이면 α² = 1, ord(α) | gcd(2,7) = 1 — 같은 모순. (ii) 순서쌍 차 ±1, ±2, ±3 ≡ {1,6,2,5,3,4} (mod 7)이 각각 정확히 한 번 나타나므로 (7,3,1)-차집합; 1 = 1², 2 = 3², 4 = 2²는 이차잉여; 2·1 = 2, 2·2 = 4, 2·4 ≡ 1은 ⟨2⟩-잉여류. (iii) (αⁱ)² = α²ⁱ와 (ζⁱ)^σ₂ = ζ²ⁱ: 둘 다 Z/7 위에서 2를 곱하는 위수 3의 작용이다. ∎

구조적 대응 비망록(정리 수준이 아님): [16]의 최적 교육군 Z/6 ≅ Z₂×Z₃는 정확히 Seymour의 6-유동의 군이며, 원래 증명에서 명시적으로 폐기되었다 — Z₃ 성분이 표수 2 메커니즘을 파괴한다. Petersen의 Aut = S₅ ⊃ A₅이며, 그 여섯 오각형 이중 덮개는 반정십이면체의 면집합이다. 추가로: [16]의 원래 웹페이지에 “10을 소수 프로베니우스로”라는 부적절한 표현이 있었다(10은 소수가 아니며; 올바른 표현은 법 7 자기동형 σ₁₀ = σ₃). 원래 페이지에 정오 주석을 추가할 것을 권고하였으며; 본 논문에서는 해당 표현을 채택하지 않았다.

§4 정리 A: 유동 궤도의 이분

정리 A (궤도 이분)　G를 3차 다리 없는 그래프, f를 모든 곳에서 영이 아닌 Γ-유동이라 하자. 그러면 |Orb(f)| ∈ {42, 168}이며, |Orb(f)| = 42 ⟺ dim U_f = 2 ⟺ f의 값집합이 파노 직선이고 정상 3-변 착색을 구성한다(이때 |Stab(f)| = 4); 그렇지 않으면 dim U_f = 3이고 안정자는 자명하며 궤도는 168이다.

증명　σ·f = f ⟺ σ가 f(E)를 점별로 고정 ⟺ σ|_{U_f} = id이므로, Stab(f) = {σ : σ|_{U_f} = id}. 임의의 꼭짓점에서 두 서로 다른 영이 아닌 값은 F₂ 위에서 선형 독립이므로(x = y가 유일한 종속 관계), dim U_f ≥ 2. dim = 3이면: σ가 기저를 고정하므로 σ = id, 궤도 168/1. dim = 2이면(U_f = W로 표기): 각 꼭짓점의 세 값은 서로 다르고 W\{0}에 포함되며(정확히 세 원소), 따라서 값집합은 직선 W\{0}이고 모든 꼭짓점에서 전색을 사용 — 즉 정상 3-변 착색이다. W를 점별로 고정하는 선형 사상은 σ(x)(임의의 x ∉ W)에 의해 결정된다: σ(x) = x+w (w ∈ W에서 네 가지 선택, 모두 가역이고 W를 고정), |Stab| = 4, 궤도 168/4 = 42. ∎

따름정리 A.1　G가 정상 3-변 착색 불가능 ⟺ 작용이 자유 ⟺ 모든 궤도의 크기가 168; 이 경우 168 | F(G,8).

증명　3-변 착색 가능 ⟺ 값집합이 하나의 직선에 포함되는 유동이 존재(해당 직선의 세 점을 색집합으로 취하면 꼭짓점 합이 영) ⟺ 42-궤도가 존재 ⟺ 작용이 자유가 아님. 모든 궤도가 168일 때 정제성은 궤도 분해로부터 따른다. ∎

주석 A.2 (정제성의 역은 성립하지 않음)　”168 | F(G,8) ⟹ 3-변 착색 불가능”은 거짓이다: 네 개의 서로소인 삼중 평행 변 그래프(dipole)의 합집합은 3-변 착색 가능하나 F = 42⁴ = 3,111,696 = 168 × 18,522. (이것은 정오 13.3의 내용이다.)

검증 A.3 (K₄)　K₄는 3-변 착색 가능하며, F(K₄,8) = 7·6·5 = 210 = 168+42; 기계 검증에 의해 그 유동은 정확히 하나의 168-궤도와 하나의 42-궤도로 분해되며, 후자의 값집합은 평면을 생성하고, 안정자는 정확히 4원이며, 정상 3-변 착색을 구성한다(부록 A).

§5 정리 B: 허용 삼각형 토르소르와 게이지 몫

보조정리 B.1 (삼각형 보조정리)　3차 꼭짓점에서 조건 (1)이 성립 ⟺ 세 근접 변의 P_e가 어떤 삼원 집합 T_v(삼각형)의 세 이원 부분집합이다; 이때 T_v의 세 쌍합(pairwise sum)은 서로 다르고 영이 아니며 총합이 영(파노 직선)이고, 정확히 σ(P_e)이다. 따라서 허용 라벨링의 유도 사상은 모든 곳에서 영이 아닌 Γ-유동이다.

증명　(⇐) {A,B,C}의 세 이원 부분집합은 {A,B}, {B,C}, {A,C}: 각 원소가 정확히 두 쌍에 속하고, 집합 외 원소는 영 — 조건 (1). (⇒) 세 이원 집합은 총 6개의 위치를 차지하며 각 라벨의 출현 횟수는 짝수이다. 두 집합이 같으면: 셋째도 같으면 각 라벨이 3회; 한 점에서 교차하면 그 점이 3회; 서로소이면 각 원소가 1회 — 모두 (1)에 모순. 따라서 세 집합은 모두 다르며; 짝수 횟수와 총합 6에서 정확히 세 라벨이 각 2회; “라벨이 두 집합에 속함”은 두 집합이 그 점에서 교차함을 뜻하고, 세 교차점은 서로 다르다(두 쌍의 교차점이 같으면 두 집합이 두 원소를 공유하여 동일) — 세 집합은 삼점 집합의 세 쌍이다. 쌍합: 서로 다르고 영이 아님(원소가 서로 다르므로; A+B = B+C ⟹ A = C), 총합 = 2(A+B+C) = 0. 유동 조건: 꼭짓점에서 Σσ(P_e) = 0; 영이 아님은 |P_e| = 2로부터. ∎

정리 B (토르소르와 게이지 몫)　유동 f를 고정하자. 삼원 집합 T가 꼭짓점 v에서 허용이라 함은 그 쌍합 집합이 v에서의 세 유동값 집합과 같을 때이며; 허용 T는 각 변에 대해 유일한 차 일치 짝짓기 P_e(T)를 가진다. 그러면 (i) Γ의 평행이동은 허용 삼각형 집합 위에 자유이고 추이적으로 작용한다 — 이 집합은 Γ-토르소르이다(8원, 고정된 원점 없음); (ii) 임의의 게이지 하에서 t_v ↦ 후보 삼각형은 Γ에서 이 토르소르로의 전단사이며 짝짓기는 차 일치 짝짓기이다 — 게이지는 좌표 원점의 선택이지, 라벨링 공간의 자유도가 아니다; (iii) 전역 게이지를 고정한 후, (4)의 해 (t, ε) ⟷ 양립 가능한 허용 삼각형 배정(양립: 각 변의 양 끝점 짝짓기가 일치; ε는 t에 의해 유일하게 결정됨); 전역 (t, 게이지) 매개변수화는 6^|V(G)|중 잉여(꼭짓점마다 6중). 따라서 라벨링으로 서술된 모든 성질의 실행 가능성은 게이지와 무관하다.

증명　v에서의 변을 a, b, c, 게이지 (a,b), x := f(a), y := f(b), z := f(c) = x+y로 표기. 후보 집합은 {t, t+x}(변 a), {t+x, t+x+y} = {t+x, t+z}(변 b), {t, t+z}(변 c), 합집합 T(t) = t+{0,x,z}; 쌍합은 순서대로 x, (t+x)+(t+z) = y, z — 차에 의한 일치. 추이성: 임의의 허용 {A,B,C}에서 A+B = x가 되도록 표기; A+C = z이면 집합 = A+{0,x,z}; A+C = y이면 집합 = A+{0,x,y} = (A+x)+{0,x,z}(x+{0,x,z} = {0,x,y}이므로). 자유성: 영이 아닌 평행이동 δ가 삼원 집합을 안정시키려면 부동점 없이 치환해야 하나, ⟨δ⟩ ≅ Z₂의 궤도 길이는 1 또는 2이므로 3원을 분할할 수 없다. 따라서 8개의 평행이동은 모두 다르고, t ↦ T(t)는 전단사이다. (iii) 보조정리 2.5에 의해: 주어진 t에 대해, ∃ε ⟺ 양 끝점 후보 집합이 일치; ε_e는 “t_u+g_u,e가 반대편 잉여류의 어느 대표원인지”에서 유일하게 읽힌다; 전단사와 결합하면 해 ⟷ 양립 배정. 여섯 게이지의 형상 {0, f(첫째 변), f(셋째 변)}은 {0,x,y}, {0,x,z}, {0,y,z}를 각 두 번씩 순회하며 서로 평행이동 관계이고, 각 게이지 하에서 t는 같은 토르소르를 완전 순회한다: 꼭짓점당 48 매개변수 쌍이 8개의 삼각형을 6중으로 덮으며, 전역 6^|V|중. ∎

§6 정리 C: Force의 양방향 특성화

보조정리 C.1 (평행이동 동변성)　Γ는 (c·P)_e := c+P_e로 라벨링에 작용하며, 허용성과 유도 유동을 보존하고, “s₀ ∈ P_e“를 “s₀+c ∈ (c·P)_e“로 변환한다. 따라서 임의의 라벨 s₀를 강제하는 것은 0을 강제하는 것과 동치이며; 이하 s₀ = 0으로 놓는다.

증명　s ∈ c+P_e ⟺ s+c ∈ P_e이므로 각 라벨의 출현 횟수는 평행이동에 의해 치환되며, 여전히 {0,2}에 속한다; σ(c+{p,q}) = (c+p)+(c+q) = p+q. ∎

보조정리 C.2 (경계 삼각형; 핀값은 항상 존재하고 유일)　v ∈ V(C)로, 순환 변 e₁, e₂와 셋째 변 e₃이라 하자. 그러면 “0 ∈ P_e₁이고 0 ∈ P_e₂“는 T_v = {0, f(e₁), f(e₂)}를 유일하게 강제하며, 이 삼각형은 반드시 허용이다. 따라서 임의의 게이지 하에서 핀값 t_v(강제 삼각형의 좌표)는 항상 존재하고 유일하다; 모든 비실행 가능성은 전역 확장의 성격을 가진다.

증명　삼각형의 각 원소는 정확히 두 쌍에 속하므로, 조건 ⟺ 0 ∈ T이고 0을 포함하지 않는 쌍이 e₃에 배정됨. T = {0, p, q}로 쓰면: 0을 포함하는 두 쌍의 쌍합은 p와 q이며, 차 일치 짝짓기 요구에 의해 {p, q} = {f(e₁), f(e₂)} — 유일. 허용성: 쌍합 f(e₁), f(e₂), f(e₁)+f(e₂) = f(e₃)(꼭짓점 유동 조건). 핀값은 토르소르 전단사(정리 B(ii))에서 이 허용 삼각형의 유일한 역상이다. ∎

정리 C (Force; 양방향)　Force(f, C) := V(C) 위에서 C.2의 강제값을 취하는 양립 가능한 허용 삼각형 배정이 존재함으로 정의한다. 그러면 (i) Force(f,C) ⟺ 유도 유동이 f인 허용 라벨링으로서 C가 M₀의 연결 성분인 것이 존재; (ii) 정의는 게이지를 포함하지 않음; (iii) 모든 σ ∈ GL(3,2)에 대해 Force(σ·f, C) = Force(f, C).

증명　(⟹) C.2에 의해: 순환 꼭짓점에서 0은 정확히 두 순환 변의 쌍에 속하고 셋째 변의 쌍에는 속하지 않으므로, M₀에서 순환 꼭짓점의 근접 변은 정확히 두 순환 변 — M₀에서 C를 벗어나는 변이 없다; C는 연결이고 2-정칙이므로 연결 성분이다. 순환 변 e = uv의 양 끝점 짝짓기는 모두 {0, f(e)}이며(T_u, T_v에서 쌍합이 f(e)인 쌍은 이것뿐), 양립성은 자동으로 성립한다. (⟸) 허용 라벨링 P로서 C가 M₀의 성분이면, C ⊆ M₀이고, 즉 모든 순환 변에서 0 ∈ P_e; 따라서 각 v ∈ V(C)의 두 순환 변 쌍은 모두 0을 포함하며, C.2의 유일성에 의해 그 삼각형은 강제 삼각형이다; P에 대응하는 양립 배정(보조정리 B.1)은 V(C) 위에서 강제값을 취한다. (주: C ⊆ M₀으로 충분 — 조건 (1)이 0이 한 꼭짓점에서 3회 출현하는 것을 금지하므로, 순환 꼭짓점에서 셋째 변은 자동으로 제외되며; C는 성분들의 합집합이고, 연결이므로 성분이다.) (iii) σ는 f의 허용 삼각형을 σf의 허용 삼각형으로 보낸다(σ(T)의 쌍합 = σ(쌍합)), 차 일치 짝짓기와 양립성을 보존한다; σ(0) = 0은 강제 형태 {0, f(e₁), f(e₂)} ↦ {0, σf(e₁), σf(e₂)}를 보존; 역방향은 σ⁻¹에 의한다. ∎

§7 정리 D: 강제 류수의 하한

정리 D　Force(f,C)를 입증하는 임의의 허용 라벨링의 류수는 k ≥ 1 + |f(C)|이다.

증명　각 순환 변의 쌍은 {0, f(e)}이므로(정리 C의 증명), 라벨링이 사용하는 라벨 집합 ⊇ {0} ∪ f(C)이고, 비어 있지 않은 류는 최소 1+|f(C)|개이다. ∎

§8 정리 Ω: 무조건 장애, 자연 동변성, 짧은 완전열

보조정리 Ω.1 (좌표 변환 항등식)　g, g′를 두 전역 게이지라 하자. 그러면 각 꼭짓점 v에 유일한 q_v ∈ Γ가 존재하여 (i) 형상 평행이동: S_g′,v = S_g,v + q_v; (ii) 변별 잉여류 항등: g′_v,e ≡ g_v,e + q_v (mod ⟨f(e)⟩)가 v에 근접하는 세 변 모두에 성립. 따라서 d̄_g′ = d̄_g + D_f(q), b_g′ = b_g + ρ_C(q) — 자료 쌍은 게이지 변경 시 정확히 D_f,C(q)만큼 평행이동한다. 전 과정이 항등식이며, 어떠한 가해성도 사용하지 않는다.

증명　두 형상은 모두 허용 삼각형(t = 0인 후보 삼각형)이며, 토르소르의 자유 추이성(정리 B)에 의해 유일한 평행이동 q_v가 존재한다. 같은 삼각형의 양 매개변수화 하의 변 짝짓기는 동일하며(짝짓기는 삼각형과 차에 의해 유일하게 결정됨), 짝짓기는 집합으로서 잉여류 t+g_v,e+⟨f(e)⟩이다; 대응하는 매개변수 t′ = t+q_v(형상 평행이동과 자유성에 의해)이므로, 같은 변의 잉여류를 비교하면 g_v,e ≡ q_v+g′_v,e, 즉 (ii). 따라서 [d′_e] = [g′_u,e+g′_v,e] = [g_u,e+g_v,e]+[q_u+q_v] = (d̄+D_f(q))_e. 핀값은 강제 삼각형의 좌표: b′_v+S_g′,v = T_강제 = b_v+S_g,v ⟹ b′_v = b_v+q_v. ∎

정리 Ω (무조건 장애류)　임의의 전역 게이지를 고정하고, d̄, b를 위와 같이 놓자. Ω(f,C) := [(d̄, b)] ∈ coker D_f,C로 정의한다. 그러면 (i) 보조정리 Ω.1에 의해 Ω는 게이지와 무관 — 잘 정의됨; (ii) Force(f,C) ⟺ Ω(f,C) = 0, 기저 연립방정식의 가해성을 전제하지 않으므로 [1]과 독립이다.

증명　(ii) 강제 연립방정식이 가해 ⟺ ∃t: D_f(t) = d̄이고 ρ_C(t) = b ⟺ (d̄, b) ∈ im D_f,C ⟺ Ω = 0; 좌변은 정의 2.4와 정리 B(iii), C에 의해 Force. ∎

정리 Ω.2 (자연 동변성)　σ ∈ GL(3,2)에 대해: 각 변에 잘 정의된 동형 σ̂_e: Γ/⟨f(e)⟩ → Γ/⟨σf(e)⟩, [x] ↦ [σx]가 있고(σ⟨f(e)⟩ = ⟨σf(e)⟩이므로); σ̂ := ⊕σ̂_e와 σ_C := σ^V(C)를 모으면 공역 동형을 얻으며, 교환 관계 (σ̂ ⊕ σ_C) ∘ D_f,C = D_σf,C ∘ σ^V가 성립하여 동형 σ̂_*: coker D_f,C → coker D_σf,C를 유도하고, σ̂_*Ω(f,C) = Ω(σf,C). 따름정리: Ω(f,C) = 0 ⟺ Ω(σf,C) = 0 — 수치적 수준의 궤도 불변성. (주의: 두 장애는 서로 다른 여핵 공간에 속하므로, 단순 상등은 쓸 수 없다; 올바른 서술이 바로 이 자연 동변성이다.)

증명　교환성은 성분별로: D_σf(σt)_e = [σt_u+σt_v] = σ̂_e([t_u+t_v]); ρ_C(σt) = σ_C(ρ_Ct). 자료 전송: f의 게이지 g를 취하고, σf에 대해 같은 변 순서로 게이지를 정의하면 g-값은 σ(g_v,e)(σ0 = 0)이므로, d^σf_e = σ(d_e), d̄^σf = σ̂(d̄); σf의 강제 삼각형은 {0, σf(e₁), σf(e₂)} = σ(T_강제)이고, σ(b_v)+σ(S) = σ(b_v+S)에서 b^σf = σ_C(b). 따라서 (d̄^σf, b^σf) = (σ̂⊕σ_C)(d̄, b); 양변의 여핵류를 취하고, Ω의 게이지 무관성(정리 Ω(i))에 의해 이 게이지 선택이 허용됨을 사용하면 결론을 얻는다. ∎

명제 Ω.3 (짧은 완전열)　각 쌍 (f, C)에 대해 F₂-벡터공간의 짧은 완전열

0 → coker R_C →^ι coker D_f,C →^π_* coker D_f → 0

이 존재하며, 여기서 π_*는 ⊕Q_e로의 사영이 유도하고, ι([b′]) := [(0, b′)]이다. 해석: Ω는 전체 장애; π_*Ω = [d̄] ∈ coker D_f는 기저 장애(그 소멸은 기저 연립방정식의 가해성 — [1] 보조정리 2.2에 의해 항상 성립하며, 본 체계에서 독립적으로 추적); 기저 장애가 소멸할 때 Ω ∈ ι(coker R_C)이고, 그 원상이 상대 장애 ω이다.

증명　π∘D_f,C = D_f이므로 π는 잘 정의된 π_*를 유도; π가 전사이므로 π_*도 전사. ι가 잘 정의됨: b′ = R_C(k) (k ∈ K_f)이면 (0, b′) = D_f,C(k)이므로 류가 영. ι가 단사: [(0, b′)] = 0 ⟺ ∃t: D_f(t) = 0이고 ρ_C(t) = b′ ⟺ b′ ∈ im R_C. 중간 완전성: π_*[(x, b)] = 0 ⟺ x = D_f(t)인 t가 존재 ⟺ [(x, b)] = [(x, b) − D_f,C(t)] = [(0, b−ρ_C(t))] ∈ im ι. ∎

따름정리 Ω.4 (상대 약화 및 해의 수)　기저 연립방정식이 가해이면([1]이 보장; 본 논문에서 재증명하지도 의존하지도 않음), 임의의 해 t*를 취한다. 그러면 Ω = 0 ⟺ ω(f,C) := [b − ρ_C(t*)] ∈ coker R_C가 소멸; 실행 가능할 때 강제 해의 집합은 ker R_C의 잉여류이며, 개수는 2^{dim ker R_C}.

증명　(4)의 해 집합은 t*+K_f; 강제 ⟺ ∃k: ρ_C(t*+k) = b ⟺ b−ρ_C(t*) ∈ im R_C; 해 집합은 ker R_C의 잉여류. (이는 또한 명제 Ω.3에서 Ω를 ι를 따라 취한 원상의 명시적 표현이다.) ∎

계산 검증 Ω.5 (Petersen)　170개 궤도: Ω = 0 ⟺ 핀 고정 연립방정식이 가해(불일치 영); 강제 해의 수 = 2^{dim ker R_C}(불일치 영). 분포 (dim K_f, rank R_C, dim ker R_C, Ω=0 | 궤도 수): (3,3,0,부|65), (3,3,0,예|15), (4,3,1,예|5), (4,4,0,부|45), (4,4,0,예|30), (5,5,0,예|10). 경험 법칙: R_C는 165/170 궤도에서 단사; ν = 2 ⟹ Ω = 0 (10/10); ν = 0/1에서 실행 가능 비율은 각각 15/80과 35/80.

지위 주석 (냉정한 정위): 정리 Ω의 핵심은 “Ax = b가 가해 ⟺ [b] = 0 ∈ coker A”라는 표준 선형대수 사실의 구조적 포장이며, 그 자체로 깊은 정리가 아니다. 그 가치는: Force를 알고리즘적 부울값에서 대수적 대상으로 승격시키고, 정방향 증거와 부방향 좌핵 인증서를 하나의 체계에 통합하며(§12), 소멸 문제에 명확한 담체(carrier)와 자연성 언어를 제공하는 데 있다. 최고 수준의 가치는 coker D_f,C의 그래프 이론적 기술과 대규모 소멸 정리로부터 와야 하며 — 이것은 V6의 과제이지, 본 논문이 달성한 바가 아니다.

§9 계산 정리 E: Petersen 완전 분류

대상: Petersen 그래프(10 꼭짓점, 15 변, 순환 공간 차원 6), 지정 순환은 외부 오각형. 28,560개의 모든 곳에서 영이 아닌 유동 = 170 자유 궤도 × 168(모든 값집합이 Γ를 생성하며, 이는 정리 A와 일치: Petersen은 3-변 착색 불가능). 판정 절차: 임의의 게이지를 선택하고(정리 B가 허용), 보조정리 C.2에 의해 유일한 핀값을 계산하고, F₂-선형 연립방정식을 풀다; 완전성은 정리 B(iii)의 전단사와 보조정리 C.2의 유일성으로부터; 전체 포괄은 정리 C(iii)의 궤도 불변성이 보장한다.

판정 항목	결과	근거
게이지 무관성 (이중 프로그램 대조)	170/170 일치	정리 B의 기계 검증
Force 실행 가능 궤도 (= Ω 소멸)	60 / 170 (10,080 유동, 35.3%)	정방향 65 증거 + 부방향 110 좌핵 인증서 (§13)
\|f(C)\| = 3	25개 궤도 전부 실행 불가	필요 조건: 실행 가능 ⟹ \|f(C)\| ≥ 4
\|f(C)\| = 4 / 5	실행 가능: 45/85 및 15/60	분리 불변량이 더 세밀 (§15, 문제 1)
강제 해 완전 분류	40×(1해, 5류), 5×(2해, 모두 5류), 15×(1해, 6류)	각 궤도에서 2^{dim ker R_C}와 일일이 일치; 정리 D 하한이 전면적으로 달성
성분 조건	65/65 증거에서 오각형이 M₀의 성분	정리 C(i)의 기계 검증

기지 사실 경계: Petersen 그래프에서 임의의 순환이 어떤 CDC로 확장 가능하다는 사실은 이미 알려져 있다(강한 CDC가 ≤36 꼭짓점 스나크에 대해 검증됨, [13][14], 간접 인용). 본 논문의 기여는 이 구성 내부의 층화, 증거, 장애에 있으며, 확장 존재성 자체에 있지 않다.

§10 계산 정리 F: 해 공간의 완전 열거와 불변량 ν

보조정리 F.1 (ν의 잘 정의됨과 궤도 불변성)　L_f(t,ε)_e := t_u+t_v+ε_ef(e)로 놓자. σ ∈ GL(3,2)에 대해 Φ_σ(t,ε) := (σ∘t, ε), Ψ_σ((x_e)) := (σx_e)로 정의하면, L_σf ∘ Φ_σ = Ψ_σ ∘ L_f; 둘 다 선형 동형이므로 dim ker L_σf = dim ker L_f; 게이지는 우변만 바꾸고 L_f를 바꾸지 않으므로 핵 차원은 게이지와 무관. 핵은 항상 평행이동 부분공간 {t가 성분별 상수, ε = 0}을 포함하며, 차원은 3c(G). 따라서 ν_G(f) := dim ker L_f − 3c(G) ≥ 0은 잘 정의된 궤도 불변량이다(연결 Petersen의 경우 ν = dim ker − 3).

증명　변별로: σt_u+σt_v+ε_e·σf(e) = σ(t_u+t_v+ε_ef(e)). 동차 연립방정식에서 ε_ef(e) = t_u+t_v이고 f(e) ≠ 0이므로 ε는 t에 의해 결정되며, 핵은 K_f와 동형; 평행이동 t ≡ c (성분별 상수)는 t_u+t_v = 0을 만족하며, 각 성분이 독립적으로 c를 선택하므로 차원 3c(G). ∎

보조정리 F.2 (프로파일 불변성)　σ는 (σ·P)_e := σ(P_e)로 작용하며, “유도 유동이 f인 허용 라벨링”과 “유도 유동이 σf인 허용 라벨링” 사이에 전단사를 수립하고, 강제 경계를 보존하며(σ0 = 0), 류 M_s ↦ M_σ(s)를 치환한다 — 류수가 보존된다. 따라서 강제 해의 수와 모든 해의 류수 프로파일은 궤도 불변량이다.

증명　σ는 이원 집합 구조와 출현 횟수를 보존하면서 전단사; σ({p,q})의 합 = σ(p+q); s ∈ P_e ⟺ σ(s) ∈ σ(P_e). ∎

계산 정리 F　핵 차원 분포 {3:80, 4:80, 5:10} (ν 분포 80/80/10); 모든 해의 류수 패턴은 네 가지 모드: 80×[8해 모두 5류], 60×[16해 모두 5류], 20×[8+8], 10×[24+8] (모든 계수가 8의 배수, 즉 평행이동 궤도); 모든 궤도에 정확히 5류인 해가 존재한다(완전 열거, 인증서 v3에 의한 전량 재열거 인증).

§11 고전적 하한과 달성

고전적 보조정리 (명문화: [18][19][20])　그래프가 4개 이하의 짝수 부분그래프에 의한 이중 덮개를 가짐 ⟺ 그래프가 모든 곳에서 영이 아닌 4-유동을 가짐. Petersen은 모든 곳에서 영이 아닌 4-유동이 없으므로, 그 임의의 짝수 부분그래프 이중 덮개는 최소 5류가 필요하다([20] 정리 9를 Petersen에 직접 적용).

달성 정리 (본 논문)　OpenAI 구성은 Petersen의 전체 170개 유동 궤도에서 정확히 5류인 허용 라벨링을 생산한다 — 모든 궤도에서 고전적 하한에 도달하며; 이 중 45개 궤도는 동시에 지정 오각형의 강제를 5류로 실현한다(정리 D의 등호 달성).

§12 쌍대 장애 정리 (V6의 관문)

쌍대 장애 정리　Ω(f,C) ≠ 0 ⟺ 다음의 쌍대 자료가 존재한다: 각 변 e에 대해 λ_e ∈ Q_e^* — 끌어당김(pullback)을 통해 {φ ∈ Γ^* : φ(f(e)) = 0}과 동일시됨 — 와 각 v ∈ V(C)에 대해 μ_v ∈ Γ^*가 존재하여 다음을 만족:

(i) 꼭짓점 균형: 모든 꼭짓점 w에 대해, Σ_e∋w λ_e + [w ∈ V(C)]·μ_w = 0 (Γ^* 내에서);

(ii) 단위 짝짓기: Σ_e λ_e(d_e) + Σ_v∈V(C) μ_v(b_v) = 1.

(λ_e(d_e)는 잘 정의됨: λ_e가 f(e)를 소멸시키므로 잉여류 [d_e] 위에서 상수값.) §13의 110개 F₂ 좌핵 인증서는 (t, ε)-좌표 핀 고정 연립방정식에 이 정리를 적용한 좌표 실현이다.

증명　유한 차원 F₂-쌍대성: 여핵에서 [(d̄, b)] ≠ 0 ⟺ 공역 위의 선형 범함수 Λ가 존재하여 im D_f,C를 소멸시키고 Λ(d̄, b) = 1. Λ = ((λ_e), (μ_v))로 쓰면; 몫공간의 쌍대를 끌어당기면 정확히 ⟨f(e)⟩를 소멸시키는 Γ-범함수의 집합. Λ가 상을 소멸 ⟺ 모든 t ∈ Γ^V에 대해: Σ_e λ_e(t_u+t_v) + Σ_v∈C μ_v(t_v) = 0; 기저 원소 t = x·δ_w (x ∈ Γ를 꼭짓점 w에 배치)에서 값을 취하면: Σ_e∋w λ_e(x) + [w∈C]μ_w(x) = 0 모든 x에 대해 — 이것이 (i); (ii)는 짝짓기 조건의 직역. ∎

V6의 핵심 문제가 이 정리에 의해 구체화된다: 보편적 Force가 (G, C)에서 실패하는 것은 모든 유동이 각각 차단 쌍대 (λ, μ)를 허용하는 것과 동치이다. V6의 과제는 이러한 “모든 유동의 동시 차단”이 구조적으로 불가능함을 증명하는 것 — 유동이 변화할 때(궤도 내 및 궤도 간) 쌍대 배정이 반드시 붕괴하는 방식을 연구하고, coker D_f,C의 그래프 이론적 구조(순환 공간/절단 공간/상대 코호몰로지 해석)를 규명하는 것이다.

§13 인증서 체계 v3과 6라운드 공방 전적

이층 구조: 제1층은 재현 가능한 프로그램(표준 라이브러리만 사용하는 일곱 개 스크립트, 부록 A)이고; 제2층은 유한 증거 인증서 + 독립 검증기(생성 코드와 코드 경로를 공유하지 않음). v3의 근본 원칙: 모든 저장 필드는 재계산·검증되거나 존재하지 않는다. 검증기가 독립적으로 수행하는 사항: 28,560개 전체 유동을 열거하고 궤도 포괄을 확인; 각 궤도에 대해 기저 및 핀 고정 연립방정식을 재풀이, 핵 차원을 독자 계산, 해 집합을 전량 열거하여 저장된 증거와 집합으로서 비교(상이성, 완전성, 계수 = 2^dim 확인); 계산 정리 F의 전체 류수 프로파일을 인증; 인증서에 선언된 순환으로부터 핀값을 재구성(선언된 변 집합이 단일 순환을 형성하고 두 파일이 일치하는지 또한 검증); 매니페스트 해시, 바이트 수, claims 필드, 라벨 범위를 검증. 부정 인증서: 110개 실행 불가 궤도 각각에 결합 핀 고정 연립방정식(45+15행, 행 순서는 파일 내 정규화)에 대한 F₂ 좌핵 인증서(선형 양립 불가능 / 프레드홀름 대안 인증서; “파카스식”은 유비로서만 사용)가 첨부됨: 지정된 행들의 XOR 결과는 계수 부분이 모두 영이고 우변이 1 — 검증에는 XOR 연산만 필요하며, 소거나 핵 기저 계산은 불필요.

라운드	공격자 → 대상	수법	결과
R1	GPT-5.6 → v1	실행 가능 궤도 삭제; 5류 증거 복사로 대체	성공 → v2 탄생 (분할 및 인덱스 집합 검사, 부정 인증서)
R2	Claude → v2	6방향 테스트, 매니페스트 세탁 재생 포함	v2 거부 (단, R3 참조)
R3	GPT-5.6 (창 1) → v2	강제 해 1건 삭제(65→64); 핵 차원 필드 변조	성공 → v3 탄생 (전 필드 재계산, 해 집합 완전성)
R4	Claude → v3	증거 삭제+위장 필드 수정; 필드 변조; 증거 복제	의미론적 수준에서 전부 거부
R5	GPT-5.6 (창 2) → v2	변형 A/B/C + D: 부정 인증서 파일의 순환 메타데이터 변조	A–C는 v3에 이미 무효; D는 v3에도 유효 → v3 패치 (파일 간 일관성, 순환 유효성, claims 및 전 메타데이터 필드 검사, 핀값 구성 탈하드코딩)
R6	Claude → v3 (패치 후)	D1 (단일 파일 순환 변경); D2 (두 파일 동시 기만: 순환을 내부 오각별로 변경); D3 (필드값 999); D4 (claims 변조)	전부 거부 — D2의 핵심: 검증기가 선언된 순환으로부터 연립방정식을 정직하게 재구성하므로, 저장 데이터가 자기 모순에 빠진다

배포 매니페스트 (release V5.2): Python 3.12.3, 플랫폼 지문, UTC 타임스탬프, 생성 및 검증 명령, 예상 출력; 결정론 주석: 네 개의 데이터 JSON 파일이 Python 3.12.3과 3.13.5의 두 독립 환경(각 모델당 하나)에서 바이트 단위로 동일. 공학 주석(배포 저장소 실행 사항): 출력 디렉터리 매개변수화, 단일 매니페스트 파일명, Git 태그 / Zenodo DOI에 의한 논문 및 스크립트 고정, 비정상 입력에 대한 깔끔한 실패 처리. 전체 해시는 부록 A 참조.

§14 수정 및 정오 기록

13.1 철회 (V1)　1차 실험에서 변 끝점 소속 증거 δ를 단일 공유 비트로 잘못 모델링하여 두 가지 허위 결과가 발생: (a) 필요 조건으로 주장된 ⊕_e∈Cd_e = 0; (b) “게이지가 강제 문제의 핵심 자유도”라는 주장. 공식 철회; 정리 B, C에 의해 대체. 결함은 이상 데이터 패턴(110 궤도 × 800 무작위 게이지에서 영 적중의 전부 또는 전무 분포)에 의해 노출되었다.

13.2 V2→V3　전역 게이지 잉여를 6^|V|로 수정; 핀값을 항상 존재하고 유일하도록 강화; M₀ 성분 폐합 보충; 구 “정리 3″의 동치를 고전적 보조정리로 하향 [18][19][20]; GF(8) 교정을 좌표화로서 명확히 함.

13.3 V3→V4 (책임: Claude Fable 5)　초록의 허위 삼중 동치 수정(반례 42⁴ = 168×18,522; 주석 A.2); 같은 라운드에서: 정리 C 역방향, 보조정리 F.1/F.2, 가교 정리, 장애류와 인증서 층 추가.

13.4 V4→V5　(a) 가교 정리의 “α³=1 ⟹ α=0″은 문자 그대로 무효 추론 — 위수 논증으로 대체(책임: Claude; 포착: GPT-5.6); (b) 정리 G가 게이지 선택을 선언하지 않음 — 보조정리 Ω.1로 대체; (c) 자족성 주장이 정리 G에 대해 과대 — 무조건 정리 Ω로 대체; (d) 검증기 v1은 나열된 증거의 정확성만 검사 — v2에서 분할 완전성과 부정 인증서 추가.

13.5 V5→V5.1　(a) “증명은 V4와 같으므로 생략”은 “자족 확정판”과 모순 — 본판에서 모든 증명을 본문에 수록(책임: Claude; 두 창 검토에서 지적); (b) “Ω는 궤도 불변량”이라는 단순 상등은 부당(두 여핵이 서로 다른 공간) — 자연 동변성 정리 Ω.2로 대체; (c) 미결 문제 “집합 {Ω(f,C)}가 0을 포함하는가?”는 유형 오류 — ∃f: Ω(f,C) = 0으로 재서술; (d) “파카스 쌍대성”을 F₂ 좌핵 / 선형 양립 불가능 인증서로 개명; (e) 가교 “같은 대상의 다섯 가지 좌표화” 주장을 “원시원소 선택 후의 동변 대응”으로 하향; (f) 검증기 v2의 정밀 계수 허점(강제 해 삭제, 증거 복제, 핵 차원 및 메타데이터 필드 변경, 순환 필드 변경이 모두 통과)이 두 창 공격에 의해 노출 — v3 및 패치가 이를 봉쇄, 전적이 §13에 수록; (g) 매니페스트 결정론 주석을 세 파일에서 네 파일로 수정.

13.6 V5.1 → V5.2 (3차 Dense 검토에 의거; 같은 날)　(a) 자족성 최종 결격: 정의 2.2/2.4와 정리 B가 [1]에서 두 가지 초등적 국소 사실을 인용하였음 — 보조정리 2.5(잉여류 양립성)와 보조정리 2.6(CDC)으로 자체 증명하여 보충, 문자적 의미에서 자족성이 완성됨; [1]의 전역 가해성(따름정리 Ω.4에서 사용)은 이미 유일한 외부 의존성으로 명시되어 있었으며 변경 없음. (b) 짧은 완전열 표현을 “분해”에서 “확대/조직”으로 교정 — 표준 분열을 주장하지 않음. 핵심 이론의 변경은 영.

§15 미결 문제 (V6 전장)

핵심 문제 (유형 수정판): 주어진 3차 다리 없는 그래프 G와 순환 C에 대해, ∃ 모든 곳에서 영이 아닌 Γ-유동 f로서 Ω(f,C) = 0인 것이 존재하는가? 동치로(쌍대 장애 정리): 모든 유동이 각각 차단 쌍대를 허용하는 것이 불가능한가? 세 가지 경로: 경로 1 (폐형 판정법) — Ω = 0을 그래프, 유동, 순환에만 의존하는 명시적 조합 조건 I(f,C)로 표현(순환 공간/절단 공간/계수 조건/상대 코호몰로지); 경로 2 (무한 그래프 족) — 어떤 비자명 스나크 족에 대해 통일된 메커니즘으로 ∀C ∃f: Ω = 0을 증명; 경로 3 (문턱 정리) — ν_G(f) ≥ r(G,C) ⟹ Ω = 0 형태의 일반 명제를 증명(Petersen의 ν=2 ⟹ 소멸은 10/10으로부터의 유한 증거; R_C 전사 ⟹ coker = 0은 자명한 함의로, 검증 가능한 전사 충분 조건에 내용이 있음). 부수 문제: coker D_f,C의 그래프 이론적/위상적 구조; 궤도 공간에서 Ω의 운동; 군 평균/프로베니우스 연산이 소멸을 강제할 수 있는지; 스나크 통계량으로서의 F(G,8)/168 및 ν_G와 홀수도(oddness)와의 관계.

§16 우선권, 관련 연구 및 기여 귀속

고전적 층: 짝수 부분그래프 대칭차 기법(BJJ [10][15]); 평면 모든 곳에서 영이 아닌 유동 ⟺ 정상 3-변 착색(Tutte 시대 [8]); ≤4 짝수 부분그래프 이중 덮개 ⟺ 모든 곳에서 영이 아닌 4-유동([18][19][20] 명문, Petersen 적용 포함); GL(3,2)/파노와 차집합 {1,2,4}는 표준 지식; 강한 CDC ≤36 꼭짓점 검증 [13][14]; 선형 양립 불가능의 좌핵 인증서는 선형대수 상식; “Ax = b ⟺ [b] = 0″은 표준 사실(§8 지위 주석). 회색 층: 정리 A의 서술과 168 | F 따름정리는 명문 출처가 발견되지 않음(MathSciNet/zbMATH 미확인). 타임스탬프 층: 관찰 2.3의 맥락화, 정리 B/C/D/Ω 및 Ω.1–Ω.3, 쌍대 장애 정리의 서술, ν_G와 Force, 가교 정리의 연결 층, Petersen 완전 분류, 이 구성에서의 정·부 양방향 인증서 방법의 실시 — 연구 대상은 2026-07-10에 탄생하였다. 기여 귀속: 궤도 이분 강화, 토르소르 서술, ν, 류수 하한, 상대 장애 ω와 무조건화 Ω의 제안, 짧은 완전열 제안, 쌍대 정리 제안, 4라운드 인증서 공격은 GPT-5.6 Sol(두 창)에서 비롯; 모든 증명의 작성 및 검증, 좌표 변환과 자연성 증명, 결합 연립방정식 좌핵 인증서 설계, 일곱 스크립트와 3세대 검증기, 적대적 테스트 스위트는 Claude Fable 5에서 비롯; 방향 결정, 가교 직관, 타임스탬프와 저자 정책, 교차 모델 편성은 LEECHO에서 비롯. 간접 인용 및 핵인: [13][14]는 [17]을 통해 간접 인용; [20][22]는 2026-07-12 직접 핵인; [22]는 독립 컴파일하지 않음.

§17 한계와 거리 측정

계산 결과는 Petersen 그래프와 외부 오각형에 한정됨; ν=2 ⟹ Ω=0은 유한 현상이며 정리가 아님. 정리 A–D, Ω 및 쌍대 정리는 자족적이며; 따름정리 Ω.4의 약화는 [1]의 가해성을 사용한다(명시 선언). 두 창의 교차 모델 거리 측정의 합집합에 의하면: V5.2 선언 범위의 폐환까지 — 본판 완료; 신뢰할 수 있는 전문 논문까지 약 70–78%; 강한 그래프 이론 저널 결과까지 약 45–55%(Petersen을 넘어서는 결과 최소 하나 필요); 최고 수준 결과까지 약 20–30%; 수학사적 의의까지 약 5–20%(문턱: 보편적 Force 또는 보편적 5-CDC 수준의 전칭 정리). 본 논문은 정밀성을 보편성으로 위장하지 않는다; 그 가치 제안은 처음부터: 정확하고, 공략 가능하며, 인증서를 갖춘 대상이다.

§18 결론

여섯 판본, 하루 안에, 이 장치는 확정 형태를 갖추었다: 파노 평면이 내재적 공간이고, 토르소르가 게이지를 흡수하며, 지정 순환 문제는 하나의 류의 소멸로 압축되고, 그 류는 이제 자연성, 짧은 완전열, 쌍대 특성화, 정·부 양방향 유한 인증서를 갖추었다 — 모든 필드가 재계산되었고, 모든 공격에 전투 보고가 있다. 장치의 모든 나사가 서로 신뢰하지 않는 두 모델에 의해 각각 조여졌다. 수사는 여기서 끝난다. V6에는 하나의 질문만 남는다: 왜 쌍대 차단이 모든 유동을 동시에 교살할 수 없는가. 강령은 계속된다.

§19 참고문헌 및 부록

[1] OpenAI. A Proof of the Cycle Double Cover Conjecture. 2026-07-10. https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf (동료 심사 미완)

[2] OpenAI. Prompt Used for “A Proof of the Cycle Double Cover Conjecture.” 2026-07-10.

[3] G. Szekeres. Bull. Austral. Math. Soc. 8 (1973), 367–387.

[4] P. D. Seymour. Sums of circuits. Academic Press, 1979, 341–355.

[5] P. A. Kilpatrick. M.Sc. thesis, University of Cape Town, 1975.

[6] F. Jaeger. J. Combin. Theory Ser. B 26 (1979), 205–216.

[7] F. Jaeger. Ann. Discrete Math. 27 (1985), 1–12.

[8] W. T. Tutte. Canad. J. Math. 6 (1954), 80–91.

[9] P. D. Seymour. J. Combin. Theory Ser. B 30 (1981), 130–135.

[10] J.-C. Bermond, B. Jackson, F. Jaeger. J. Combin. Theory Ser. B 35 (1983), 297–308.

[11] B. Alspach, L. A. Goddyn, C.-Q. Zhang. Trans. Amer. Math. Soc. 344 (1994), 131–154.

[12] L. Goddyn. Ann. Discrete Math. 27 (1985), 13–26; 박사학위 논문, Waterloo, 1988.

[13] J. Hägglund, K. Markström. On stable cycles and cycle double covers. 2012. (간접 인용)

[14] G. Brinkmann, J. Goedgebeur, J. Hägglund, K. Markström. J. Combin. Theory Ser. B 103 (2013). (간접 인용)

[15] M. Chan. A survey of the cycle double cover conjecture. Brown University.

[16] 이조글로벌인공지능연구소 & Claude Opus 4.6. 142857과 갈루아 이론. 2026-05-06. leechoglobalai.com (정오 제안, §3 말미 참조)

[17] arXiv:1306.3088. (간접 인용 [13][14]의 출처)

[18] C.-Q. Zhang. Integer Flows and Cycle Covers of Graphs. Marcel Dekker, 1997.

[19] C.-Q. Zhang. Circuit Double Cover of Graphs. Cambridge University Press, 2012.

[20] L. Shi, Z. Zhang. Signed cycle double covers. Electron. J. Combin. 25(4) (2018), #P4.63. (2026-07-12 핵인)

[21] Wikipedia / Wolfram MathWorld: Cycle double cover (2026-07-12 접근).

[22] OpenAI. cdc-lean. https://github.com/openai/cdc-lean (2026-07-12 접근 및 핵인: 커널 검사 종점 정리 cycleDoubleCover_of_bridgeless, Lean v4.31.0 + 고정 Mathlib, 감사에서 propext/Classical.choice/Quot.sound만 나열, sorry/admit 없음; 독립 컴파일하지 않음).

부록 A · 재현성 및 인증서 목록 (release V5.2)　프로그램 층: cdc_round.py (사료, 13.1 철회 구경 포함), field_test.py, field_test2.py, audit_gpt56.py, route1_and_certs.py, negcerts.py; 검증기 certificates_verify.py/certificates_verify2.py (사료) 및 certificates_verify3.py (현행). 인증서 층 (SHA-256): orbit_representatives 83d518d7edab46d6230b484722d1f98bf39b453f7ce941308a67e457dd62f0b2 (9,154 B); force_feasible_orbits 4fdf59380864f6c72b87760063534c52b22dffc69c87577f88d2122c8cb64ea6 (14,398 B); five_class_witnesses 1f2a1fedb93ab2abfb4667531efa2345bd7403a3c2790a356b97109a182bd458 (27,326 B); force_infeasible_certificates 45ce019db03ca7e9b95f62851c2f43326cfea6898fe5ac0b96f0f50febba4799 (12,202 B). 매니페스트: release V5.2, Python 3.12.3, Linux x86_64; 검증 명령 python3 certificates_verify3.py <certdir>, 예상 출력 ALL CHECKS PASSED; 네 데이터 파일이 Python 3.12.3 / 3.13.5에서 바이트 단위 동일. 핵심 수치: 28,560; 170×168; 60/110; 40/5/15; {3:80, 4:80, 5:10}; ν=2 실행 가능 10/10; 210 = 168+42.