ORIGINAL RESEARCH PAPER · JULY 2026 · V6.0 · COMPUTER-ASSISTED THEOREM

꽃 스나크 무한족의
보편적 강제 정리

A Universal Forcing Theorem for the Flower-Snark Family:
Every Even Subgraph Lies in the Zero Class of the F₂³ Cycle-Double-Cover Construction

∀n≥4 · 모든 짝수 부분그래프 · 유한 상태 증명 · 이중 독립 인증 · n=3 경계의 정확한 분류

발행일 2026년 7월 13일

분류 원창 연구논문 (컴퓨터 보조 정리)

버전 논문 V6.0 (내용) · 증명서 릴리스 V6.2 (공학)

분야 그래프 이론 · 순환 이중 피복 · 유한 오토마타 · AI 협업 수학

기반 프레임워크 V5.2 「순환 이중 피복 증명의 갈루아 기하학」 [V5.2]

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

FINITE CHECK: 3417 STATES · 20 REJECTS · LENGTH≥4 CLOSURE ∩ REJECTS = ∅

초록 · Abstract

J_n (n≥3)을 표준 꽃 그래프(홀수 n≥5일 때 Isaacs 꽃 스나크)라 하자. OpenAI 순환 이중 피복 구성 [1]의 표기 언어(조건(1), [V5.2] 참조)에서, 본 논문은 주정리를 증명한다: 모든 n≥4와 J_n의 모든 짝수 부분그래프 H에 대해, H ⊆ M₀(P)를 만족하는 합법 표기 P가 존재한다. n=3의 예외 집합은 정확히 2개의 대칭 궤도(12개 단어)이다. 특히, 모든 꽃 스나크의 모든 순환 C에 대해, Force(f,C)이 성립하고 장애 Ω(f,C)=0인 도처비영 Γ-플로우 f가 존재한다 — 보편적 강제가 무한족 위에서 성립한다. 증명은 컴퓨터 보조 사주 구조를 따른다: (i) 수기 의미론적 보조정리(단어⟺짝수 부분그래프 전단사, 홀짝 보조정리, 꽃잎 충전 특성화, Sym₇ 등변성과 쌍류 합성, 관계기계 의미론), (ii) 완전한 유한 상태 공간 — 3,417개 도달 가능 관계 상태, 13,668개 전이, BFS에 의한 전선 소진, (iii) 유한 정리 검사 — 거부 상태 정확히 20개(8개는 퇴화 J₁에 해당, 12개는 정확히 J₃ 예외), 길이≥4 도달 가능 집합(3,250 상태)과 거부 집합의 교집합이 공집합, (iv) 생성 코드를 공유하지 않는 독립 CSP 오라클과의 교차 인증 — 길이 3/4/5의 모든 128/512/2,048개 단어에서 단어별 완전 일치(12개 NONE 포함), 길이 6/7은 감사 라운드 R1에서 협력자의 독립 오라클에 의해 완전 전수조사로 격상(8,192 + 32,768개 단어, 불일치 제로). 부수적 성과: 삼각형 소멸 정리(모든 3차 다리 없는 그래프), 선택자 완전열 0→Γ^c(G)→K_f→S_f→0, Kempe 교환 보조정리, 9개 유한 그래프의 보편적 강제 정확 원장(Petersen의 전체 57개 순환에 대한 60/40/10/5 균일 조사 및 J₅의 전체 2,048개 짝수 부분그래프(비공 2,047) 포함). 세 가지 상태 표현(4711/3417/18 및 49/42/18)을 공식 정산한다: 최소 상태 수는 언어의 불변량이며, 세 수는 세 가지 언어에 대응하므로 모순이 없다. 지위: 컴퓨터 보조 정리, 협력자의 파일별 적대적 감사 서명 대기 중; 우선권 문헌 조사 대기 중.

Main theorem: for every n≥4 and every even subgraph H of the flower graph J_n, some valid labeling P of the F₂³ CDC construction satisfies H ⊆ M₀(P); for n=3 the exceptional set is exactly two symmetry orbits (12 words). In particular universal forcing holds on the infinite flower-snark family: every cycle of every J_n (n odd ≥5) is forced by some nowhere-zero flow, Ω(f,C)=0. The proof is a computer-assisted four-pillar structure: hand-written semantic lemmas (word⟺even-subgraph bijection, parity lemma, petal-filling characterization with exhaustiveness, Sym₇ equivariance and exact pair-class composition, relation-machine semantics); the complete reachable state space (3,417 states, 13,668 transitions, BFS to empty frontier); the finite check (exactly 20 rejecting states — 8 from degenerate J₁, 12 = the J₃ exceptions — with the length-≥4 forward closure of 3,250 states disjoint from them); and cross-certification against an independent CSP oracle sharing no generation logic (exact agreement on all words of lengths 3/4/5, lengths 6/7 exhaustively confirmed in audit round R1 by the collaborator’s independent oracle: 8,192 + 32,768 words, zero mismatches). Supporting results: the triangle vanishing theorem for all cubic bridgeless graphs, the selector exact sequence, the Kempe swap lemma, and exact universal-forcing ledgers on nine finite graphs. The three state representations (4711/3417/18 and 49/42/18) are formally reconciled: minimal state counts are invariants of languages, not of the theorem. Status: computer-assisted theorem pending the collaborator’s file-by-file adversarial audit signature; priority search pending.

§1 서론, 정위 및 검증 위상

본 논문은 [V5.2]에서 수립한 장애 강령의 제3단계 주정리로서, Petersen을 넘어서는 무한 그래프 족에 대한 일반적 결과이다. 연구 대상은 [1] 구성의 표기층이다: 각 변에 이원 집합 P_e ⊆ Γ = F₂³를 부여하되, 조건(1)은 각 꼭짓점에서 각 라벨이 세 인접 변 중 0회 또는 2회 출현할 것을 요구한다. 합법 표기의 류족 {M_s}는 순환 이중 피복을 형성한다([V5.2] 보조정리 2.6, 자체 증명). 지정된 순환 C의 강제 Force(f,C)는 장애 Ω(f,C)의 소멸과 동치이고([V5.2] 정리 Ω), 또한 C ⊆ M₀인 합법 표기의 존재와 동치이다([V5.2] 정리 C; C ⊆ M₀는 자동으로 성분이 됨). 본 논문은 한정사를 극한까지 밀어붙인다: 하나의 순환이 아니라 모든 짝수 부분그래프, 하나의 그래프가 아니라 전체 무한족.

검증 위상: 본 정리는 코드를 전혀 공유하지 않는 두 기계에 의해 상호 잠금된다 — 정확 CSP 오라클(그래프별·표기별 탐색)과 관계 전이 기계(대수적 합성) — 그리고 상호 적대적인 두 모델(Claude Fable 5 및 GPT-5.6 Sol)이 교차 검독했다. 제5~7차 세션의 원래 주장(GPT-5.6, 그 중 제5·6차 세션의 수치는 스스로 시연적 서술에 해당한다고 인정)은 본 논문의 1·2차 수렴을 통해 독립적으로 재구성, 첨예화 및 증명되었다. “49-상태 오토마타” 주장의 골격은 확인되었으며, 정리 범위는 본 논문에 의해 강화되었다(n≥5 → n≥4).

지위 선언: 본 논문의 정리는 컴퓨터 보조 정리(Appel–Haken 형태)이다: 수기 의미론 층 + 유한 전수조사 층 + 독립 인증 층. 미결 사항 두 가지가 명시되어 있다: 협력자의 증거 패키지에 대한 파일별 적대적 감사 서명; MathSciNet/zbMATH 수준의 우선권 조사(§8).

§2 프레임워크 회고 ([V5.2])

본 논문에 필요한 것은 [V5.2]의 표기층과 다음 사실들뿐이다: 합법성의 국소적 특성화(보조정리 B.1: 꼭짓점이 합법 ⟺ 세 쌍이 어떤 삼원 집합의 세 이원 부분집합; 두 쌍이 셋째를 결정하며, 셋째 = 배타적 논리합); 잉여류 양립 보조정리 2.5; CDC 보조정리 2.6; 정리 C(Force ⟺ C가 어떤 합법 표기 M₀의 성분 ⟺ C ⊆ M₀); 정리 D(강제류 수 ≥ 1+|f(C)|); 장애 프레임워크 D_f, D_f,C, Ω(f,C), R_C 및 Force ⟺ Ω=0. 합법성은 순수 조합론적 조건으로 — 0을 고정하는 모든 라벨 치환(Sym₇, 위수 5040) 하에서 불변이다. 이 대칭은 플로우 층의 GL(3,2)보다 훨씬 크며, 본 논문의 모든 상화의 원동력이다.

§3 일반 구조 정리

정리 3.1 (삼각형 소멸) G를 3차 다리 없는 그래프, C를 G의 삼각형으로서 축약 G/C가 루프를 갖지 않으며, f를 임의의 도처비영 Γ-플로우라 하자. 그러면 Ω(f,C) = 0 — 모든 삼각형은 모든 플로우에 의해 강제된다.

증명. 삼각형 변의 값을 a, b, c라 표기한다(쌍별로 서로 다르고 비영: 인접 순환 변의 값이 같으면 영 출구 변이 강제됨). 출구 변의 값은 o₁, o₂, o₃ = a+c, a+b, b+c이다. 강제 데이터가 완전히 고정된다: T_{v_i}는 유일하고, 세 출구 변 쌍은 {a,c}, {a,b}, {b,c}이다. 축약하면 3차 다리 없는 그래프 G/C를 얻는다(다리 없음: G에서 o_i를 포함하는 순환은 G/C에서 o_i를 지나는 닫힌 보행으로 사상됨). 플로우는 f′로 내려간다. G 위의 강제 확장 ⟷ G/C 위의 “단일 꼭짓점 w*에 삼각형 T* = {a,b,c} 고정”: T*는 실현 가능하고(쌍별 합 = w*의 세 플로우 값), 차 쌍은 정확히 그 세 출구 변 쌍이며, 경계면 바깥은 변별로 동일하다. 단일 꼭짓점 고정은 항상 충족 가능하다: 기초 체계가 가해이고([1] 보조정리 2.2, 본 강령이 주장하는 유일한 외부 입력), ker이 3차원 전역 평행이동을 포함하며, 이것의 단일 꼭짓점에 대한 제한이 Γ 위로 전사한다. ∎

정리 3.2 (선택자 완전열) G를 3차 연결 그래프(일반적인 경우 c(G)개 연결 성분)라 하고, f를 도처비영 플로우라 하자. S_f := {ε ∈ F₂^E : Σ_e∈Z ε_e f(e) = 0 (모든 순환 Z에 대해)}(f-등방 선택자 부분공간)로 정의한다. 그러면 완전열 0 → Γ^c(G) → K_f → S_f → 0이 존재한다(K_f = ker D_f, 좌측 화살표는 성분별 상수 평행이동, 우측 화살표는 k ↦ ε, ε_e := [k_u+k_v = f(e)]). 따름정리: ν_G(f) = dim S_f.

증명. 잘 정의됨: k ∈ K_f ⟹ k_u+k_v ∈ {0, f(e)}, 그리고 임의의 순환을 따라 차분 망원경 합산하면 영 ⟹ Σ_Z∩S f(e) = 0. 핵: ε = 0 ⟺ k가 성분별 상수. 전사: ε ∈ S_f가 주어지면, 1-형식 ω_e := ε_ef(e)는 순환합이 도처에서 영 ⟹ ω는 장력(tension)이다(연결 성분 위에서 포텐셜 t를 취하며, 상수까지 유일). t ∈ K_f. ∎

주석 (Petersen 선택자 해부, 기계 정확). Petersen의 110개 비영 선택자는 정확히 세 유형으로 나뉜다 — 8-변 유형 ×60, 10-변 유형 ×30, 12-변(값류 합집합) 유형 ×20(그 여집합은 3-변 매칭). 절단 공간에 속하는 것은 하나도 없다. ν의 조합론적 정체가 이로써 지문을 얻는다(증명서는 부록 참조).

보조정리 3.3 (Kempe 교환) P를 합법 표기, s ≠ s′라 하자. 그러면 M_s Δ M_s′는 짝수 부분그래프이며, 그 임의의 연결 성분 Z를 따라 s ↔ s′를 교환하면 합법 표기를 얻고, 유도 플로우는 f + (s+s′)·1_Z로 변한다(여전히 도처비영).

증명. Z 위의 각 변은 s, s′ 중 정확히 하나를 포함한다. 교환하면 각 꼭짓점에서 s와 s′의 출현 횟수가 쌍으로 맞교환되어, 조건(1)의 {0,2} 값은 불변이다. 쌍 합은 변별로 s+s′만큼 이동한다. 도처비영은 “각 변이 정확히 하나만 포함”하는 것으로부터 따른다. ∎

동역학적 부정 결과 (성실 기록) “0이 결여된 C-변 수”를 포텐셜로 하는 소박한 Kempe 무작위/탐욕 언덕 오르기가 J₅의 난류에서 0/48로 실패했으며, 이류에서조차 1/10에 불과했다 — 해는 전방 구성(§5의 CSP 및 관계기계)에 의해 도달 가능하지만, 국소적 0-교환 개선으로는 도달 불가능하다. 보조정리 3.3은 구조적 도구로서 유지되며, 개선 논증 경로는 격하된다.

§4 유한 그래프 정확 원장

보편적 강제(∀C ∃f: Ω=0)에 대한 정확한 검증 원장은 다음과 같으며, 별도 표기가 없는 한 모두 전수 판정이다. 본 절은 주정리의 외곽 보강이며, 핵심이 아니다.

그래프	범위	결과
K₄	전체 7개 순환	전부 통과; 삼각형 210/210 모든 플로우에 의해 강제(정리 3.1의 실례); C4 실현 가능 ⟺ \|f(C)\|=2
삼각 프리즘	전체 14개 순환	전부 통과; C3 및 C4 모두 1050/1050 모든 플로우에 의해 강제
K_3,3	전체 15개 순환	전부 통과
Petersen	전체 57개 순환 × 170 궤도	전부 통과; 완벽 균일 조사: 5/6/8/9-순환이 각각 정확히 60/40/10/5 실현 가능 궤도(Aut = S₅가 각 길이에 대해 추이적 ⟹ 균일성이 정리; 수열 자체가 새로운 정보: 순환이 길수록 여유가 줄어듦)
Tietze	전체 100개 순환	전부 통과(표본 풀 증인)
J₅	전체 2,048개 짝수 부분그래프(공집합 포함; 비공 2,047) (⊋ 전체 1,444 순환)	전부 통과, 정확(MRV + Sym₇ 대칭 파괴 + 재시작; 최난 실례 \|H\|=14)
Blanuša 두 변형	각각 전체 379개 순환	전부 통과(현장 구성, 스나크 성질은 정확 채색 탐색으로 검증)
J₇	단순환 21류 전수 + 무작위 장순환 212류	전부 통과(길이 27 = n−1까지)

Petersen의 지정 오각형에 대한 심층 데이터(60/110 층화, 강제 해 40/5/15, ν-분포, 양·음 증명서)는 [V5.2] 및 그 릴리스 V5.2 증명서 패키지에서 확인할 수 있다.

첨부 선언: 본 절의 생성 스크립트 및 데이터(v6_scan / v6_session 시리즈)는 유한 원장 첨부 파일에 해당하며, 주정리 증명서 패키지 매니페스트에 포함되지 않는다. 주정리의 증명은 본 절의 어떤 항목에도 의존하지 않는다.

§5 주정리: 꽃 그래프 무한족

5.1 J_n의 정확한 정의 (규약 확정)

정의 5.1 n ≥ 3. 꼭짓점 A_i, B_i, C_i, D_i (i ∈ Z_n). 바큇살: a_i = A_iB_i, b_i = A_iC_i, c_i = A_iD_i. 절단변: β_i = B_iB_i+1, γ_i = C_iD_i+1, δ_i = D_iC_i+1 (아래 첨자 mod n). 모든 꽃잎은 동일한 규칙을 따르며 특수 비틀림 변은 없다. 홀수 n≥5일 때 J_n은 Isaacs 꽃 스나크이다 [6]. 절단구 i := {β_i, γ_i, δ_i}; 꽃잎 i는 바큇살 a,b,c_i와 절단구 i를 소유한다. 단어 규약: 단어 = n개의 글자 o₀…o_n−1 ∈ (F₂³)ⁿ, o_i는 절단구 i의 0-수요 비트(β,γ,δ 순서). 단어 길이 = 꽃잎 수 = n, 종결 글자 없음, 닫힘은 묵시적. J₁(루프 포함)은 무루프 다중그래프 프레임워크를 벗어나며, 퇴화 사례로만 기록한다. J₂는 다중그래프이며 프레임워크 내에 있다.

5.2 단어 ⟺ 짝수 부분그래프

보조정리 5.2 (전단사) 사상 H ↦ (o_i) (절단 흔적)은 J_n의 짝수 부분그래프 집합과 등홀짝(constant-parity) 단어 집합 사이의 전단사이다. 역사상은 절단 비트 + 유도 바큇살로 주어진다: a_i ∈ H ⟺ o_i−1^β ⊕ o_i^β; b_i ∈ H ⟺ o_i−1^δ ⊕ o_i^γ; c_i ∈ H ⟺ o_i−1^γ ⊕ o_i^δ.

증명. 꼭짓점 차수의 짝수성 조건을 꼭짓점별로 번역한다: B_i는 a_i, β_i−1, β_i에 인접 ⟹ a_i-비트는 두 β-비트의 XOR에 의해 강제된다. C_i는 b_i, δ_i−1, γ_i에 인접(δ_i−1은 C_i에서 종료, γ_i는 C_i에서 시작). D_i도 마찬가지. A_i의 짝수성 ⟺ 세 바큇살 비트의 합이 짝수 ⟺ (o_i−1^β⊕o_i^β)+(o_i−1^δ⊕o_i^γ)+(o_i−1^γ⊕o_i^δ) = |o_i−1|+|o_i| ≡ 0 ⟺ 인접 글자가 동일 홀짝성을 가짐. 따라서 짝수 부분그래프의 절단 흔적은 등홀짝이고 H를 완전히 결정한다. 역으로, 등홀짝 단어는 역사상을 통해 모든 꼭짓점에서 짝수 차수를 갖는 변 집합을 준다. 두 사상은 서로의 역이다. ∎

보조정리 5.3 (홀짝 보조정리) 임의의 삼각형의 세 쌍에서 각 라벨은 0회 또는 2회 출현한다. 따라서 꽃잎의 세 바큇살의 0-수요 비트 합은 반드시 짝수이다. 홀짝 도약이 있는 단어는 실현 불가능하다 — 오토마타 사망 상태 D의 의미론적 기원이다.

증명. 삼원 집합의 각 원소는 정확히 두 개의 이원 부분집합에 속한다. 바큇살의 세 쌍은 A_i-삼각형의 세 쌍이며, 0은 그 중 정확히 0개 또는 2개에 출현한다. ∎

5.4 꽃잎 충전 특성화 (전수성 조항)

보조정리 5.4 절단구 i−1의 쌍 구성 L = (Lβ, Lγ, Lδ)과 절단구 i의 목표 R = (Rβ, Rγ, Rδ)을 고정한다. 꽃잎 i가 합법적 내부 표기(바큇살 쌍 p_a, p_b, p_c)를 허용할 필요충분조건은, 삼원 집합의 세 쌍 (p_a, p_b, p_c)(56×6가지)이 존재하여 Rβ = p_a ⊕ Lβ, Rγ = p_b ⊕ Lδ, Rδ = p_c ⊕ Lγ이고, 각 합집합의 크기가 3인 것이다. 전수성: 이 매개변수화는 꽃잎의 모든 합법 표기를 열거한다 — 꼭짓점 합법 ⟺ 세 쌍이 하나의 삼각형의 세 이원 부분집합([V5.2] 보조정리 B.1), 두 쌍이 셋째를 결정(셋째 = XOR, 두 쌍이 정확히 하나의 라벨을 공유할 때 즉 합집합 크기 3). 따라서 B_i, C_i, D_i에서의 R-성분은 (바큇살, L)에 의해 강제되고, A_i는 삼각형 조건이다. 정규화 축소 없음. 0-수요(좌는 상류에서 보증, 우는 o_i에 따라, 바큇살은 보조정리 5.2의 유도 비트에 의해)는 쌍별 필터로 작용한다. 기호: 본 보조정리의 ⊕는 이원 집합의 대칭차(두 집합이 정확히 하나의 원소를 공유할 때 결과도 이원 집합; 8비트 마스크 하에서 비트별 XOR 수치와 일치)이며, Γ의 벡터 덧셈과 구별한다.

5.5 Sym₇ 등변성과 쌍류 합성

보조정리 5.5 (i) 합법성과 0-수요는 0을 고정하는 라벨 치환군 Sym₇ 하에서 불변이다. 꽃잎 상 사상은 등변적이다. (ii) 구성(세 쌍의 수열)은 Sym₇ 하에서 정확히 66개의 궤도를 가진다(첫 출현 재표기 × 2³ 쌍 내부 뒤집기, 최솟값을 완전 불변량으로 취함). (iii) 모든 도달 가능 관계는 Sym₇-불변이다(귀납법: 초기 항등 관계가 불변 + 등변 합성이 불변성 보존). 따라서 대각 궤도 쌍류의 집합으로 무손실 표현이 가능하다(12-슬롯 첫 출현 재표기 × 2⁶, 완전 불변량 동일). 류 대표원 위의 합성과 정규화가 정확한 관계 합성을 준다 — 대표원의 상을 전개하고 류별로 정규화하며, 정보 손실이 없다. 실제 출현 쌍류는 3,810개이다.

증명. (i) 조건(1)은 출현 횟수에 관한 명제이며, 0이 고정되므로 수요 비트는 불변이다. (ii)(iii) 첫 출현 정규형의 완전성: 두 수열이 Sym-동치 ⟺ 라벨 일치 패턴이 동일. 쌍 내부 순서 모호성은 뒤집기 최솟값으로 해소된다. 쌍류 버전도 12-슬롯에서 동일하다. 합성의 정확성: 불변 관계 = 그 류들의 합집합; (L,R) ∈ 𝒮, R′ ∈ images(R) ⟹ 전체 궤도 (σL, σR′) ∈ 𝒮∘T (등변성에 의해). 따라서 류 전개가 전체를 포괄한다. ∎

5.6 관계기계 의미론

명제 5.6 start(o₀) := {(Q,Q) : Q ⊨ o₀}의 류 집합으로 정의한다. compose(𝒮, o_j−1, o_j) := 류 전개의 단일 꽃잎 상. closes(𝒮, o_n−1, o₀) := 류 대표원 (L,R)이 존재하여 L ∈ images(R; o_n−1, o₀). 단어 w에 대해: closes(composeⁿ⁻¹(start)) = 참 ⟺ 닫힌 꽃 그래프 J_n 위에 w-수요를 만족하는 합법 표기가 존재한다. 공 관계와 거부 상태는 전 과정에서 보존된다(공 ⟹ 항상 공 ⟹ 거부).

증명. 구조적 귀납법: k 단계 후 류 집합은 정확히 {(Q₀, Q_k) : 처음 k개 꽃잎의 수요를 만족하는 열린 사슬 표기가 존재하고, 절단구 0은 Q₀, 절단구 k는 Q_k}의 류 분할이다 — 기저 사례는 start의 정의와 “절단구 0의 수요가 닫힘 꽃잎(꽃잎 n−1…0 경계면)에서 재검증됨”이라는 규약에 의해 일치한다. 귀납 단계는 보조정리 5.4의 전수성과 보조정리 5.5(iii)의 정확 합성에 의한다. closes 술어는 정확히 제n 꽃잎(수요 (o_n−1, o₀))이 Q_n−1을 동일한 Q₀로 되돌리는지를 판정한다. ∎

5.7 유한 상태 전수조사 및 5.8 거부 상태 분류

사실 5.7 (기계 전수조사) 상태 := (첫 글자, 끝 글자, 관계 류 집합). 8개 초기 상태에서 출발하여 동일 홀짝 글자 전이에 의한 BFS가 전선 소진에서 수렴한다: 3,417개 도달 가능 상태, 13,668개 전이 (정규 기계 SHA-256 1e7e14e7fd98384b1ba6a58ed54b7cead35f1337eff8bfc96c96d906c5023186, v1; v2는 상태별 rel_size 포함 — 두 값 모두 감사 라운드 R2에서 영점부터 재생성을 통해 공동 서명됨). 수락성(closes)은 상태의 내재적 속성이다.

명제 5.8 (거부 상태 해부) 거부 상태는 정확히 20개이다: 깊이 1에서 8개(길이 1 단어, 퇴화 J₁에 해당 — 루프 포함, 정리 범위 밖, 성실 기록); 깊이 3에서 12개, 정확히 J₃의 12개 예외 단어이며, 각 상태에 재생 가능한 증인 단어가 부속된다(증명서 reject_witnesses.json). 길이 2(다중그래프 J₂)는 전부 수락.

5.9 주정리

주정리 (꽃 그래프 무한족의 보편적 강제) 모든 n ≥ 4와 J_n의 모든 짝수 부분그래프 H에 대해, 조건(1)을 만족하는 합법 표기 P가 존재하여 H ⊆ M₀(P)이다. 따름정리 1: 모든 꽃 스나크(홀수 n≥5)의 모든 순환 C에 대해, Force(f,C)이고 Ω(f,C)=0인 도처비영 Γ-플로우 f가 존재한다 — 보편적 강제가 무한족 위에서 성립한다. C는 구성에 의해 산출된 어떤 CDC의 0-류에 완전한 순환으로서 출현한다. 따름정리 2 (경계): n=3의 예외 집합은 정확히 두 개의 대칭 궤도이다(§5.11).

증명. 보조정리 5.2에 의해 명제는 다음으로 환원된다: 길이 ≥4인 모든 등홀짝 단어가 수락됨. 명제 5.6에 의해 수락성은 관계기계에 의해 정확히 판정되고, 사실 5.7에 의해 상태 공간이 완전하며, 수락성은 상태의 내재적 속성이다. 유한 검사: 길이≥4 도달 가능 상태 집합(깊이 4층부터 전방 폐포, 3,250 상태)과 20개 거부 상태의 교집합이 공집합이다(검증기 항목 [3]). 따라서 길이≥4의 모든 단어가 수락된다 — 모든 n에 대해 한 번에 성립. 따름정리 1은 [V5.2] 정리 C(C ⊆ M₀ ⟹ 성분 ⟹ Force)와 유도 플로우의 도처비영(보조정리 2.6 경로)에 의한다. ∎

5.10 두 개의 수기 진주

보조정리 5.10a (사궤도) 세 쌍이 모두 동일한 구성 (q,q,q)는 어떤 꽃잎의 출력도 될 수 없다. 증명: 삼각형의 세 쌍 각각이 q와 정확히 한 점에서 교차해야 하므로, Σ|쌍∩q| = 3이다. 그런데 T∩q의 각 원소는 정확히 2개의 쌍에 속하므로 ⟹ 2|T∩q| = 3, 모순. ∎

명제 5.10b (σ-비틀림의 내재적 성질) 전체 0-핵 𝒢 := {세 쌍 모두 0을 포함하는 구성} 내에서, 바큇살 쌍 p_a = Lβ⊕Rβ 등은 반드시 0을 포함하지 않는다(0이 상쇄됨). 따라서 𝒢-사슬은 모든 바큇살 수요가 영일 때, 즉 o_i = σ(o_i−1) (σ = γδ-좌표 전치)일 때에만 존재한다 — σ-교대는 전 0-핵에 머무르기 위한 필요충분 리듬이다. 협력자 규약에서의 τ-수락은 바로 이 현상의 궤도 체계 부기이다.

5.11 n=3 예외 정리

정리 5.11 J₃의 128개 등홀짝 단어 중 정확히 12개가 실현 불가능하며, 회전/반사/γδ-전치 하에서 두 개의 궤도(각 6개)를 형성한다: 대표원 ((001),(001),(111))과 ((011),(101),(101)); 홀짝류 각 6개. 전체 표는 증명서 j3_exceptions.json에 있으며, 오라클과 관계기계가 단어별로 일치한다.

§6 세 가지 표현의 공식 정산

최소 상태 수는 언어의 불변량이지 정리의 불변량이 아니다. 세 언어, 세 최솟값, 모순 없음:

언어	단어 규약	최소 오토마타
L_plain (본 논문)	단어 = n 글자, 닫힘 묵시적, 길이 문턱값 없음	18 = 17류 + INIT (홀짝 사흡수 포함; 홀짝별로 분리된 두 수락 흡수가 2,097+1,288 원시 상태를 흡수; 12개 J₃ 자객 탐지 전용 6개 이원 “위험 기억”류; 완전 합동 사상 및 상표는 증명서에 수록)
L_scoped (협력자 규약)	단어에 종결 글자 포함(n+1 글자), 6번째 글자부터 수락 ⟺ 범위 n≥5	49 = 1 사멸 + 8×6 (골격은 본 논문에 의해 독립적으로 재구성·확인, ε-상태 부기 차이)
L_tight-scoped	위와 동일, 5번째 글자부터 수락 ⟺ 긴밀 범위 n≥4	42(+ε)

언어 변환 명제: w ∈ L_plain ∧ |w| ≥ 5 ⟺ w·c(w) ∈ L_scoped, 여기서 c(w)는 w의 첫 글자의 궤도 체계 종결 형태(§5.10b의 σ-부기와 정의로부터 직접 상호 번역 가능)이다. 상태 수 계층: 4,711 = 협력자의 원시 관계 부호화의 도달 가능 상태(그들의 내부 산물, 본 측에서 감사하지 않음, 비하중 — 본 논문의 의미론과 무관); 3,417 = 본 기계(Sym₇ 쌍류 상 × (첫, 끝) 기억)의 도달 가능 상태; 18 = L_plain의 Moore 상. 정식 원고의 본 절은 혼동 방지를 위한 전문 조항이다.

§7 증명서 체계 및 교차 인증 행렬

길이	범위	CSP 오라클	관계기계	일치성
3	128 전부	116 EXISTS / 12 NONE	동일	단어별 완전 일치
4	512 전부	전부 EXISTS	전부 수락	단어별 완전 일치
5	2,048 전부 (= J₅ 짝수 부분그래프 전공간)	전부 EXISTS (정확 소탕)	전부 수락 (조회)	단어별 완전 일치
6	380 적대+무작위	전부 EXISTS (4개 모자 전부 파괴)	전부 수락 (∀n≥4 정리 포함)	일치
7	210 적대+무작위	전부 EXISTS (30개 모자→18류 전부 파괴)	전부 수락	일치
(111)^k	k=3,…,10	차원축소 정확 해결기 전부 EXISTS	전부 수락	일치

독립성 선언 (R1 검증 완료): CSP 오라클(그래프별 삼각형 DFS: MRV + Sym₇ 근 대칭 파괴 + 재시작)과 관계기계(대수적 쌍류 합성)는 생성 코드를 공유하지 않으며, 두 소스 코드가 패키지 내에 나란히 수록되어 있다. 증거 패키지 (v6_evidence/, manifest_v6.json에 의한 SHA-256 잠금): transitions.json, acceptance.json, states_meta.json, pair_classes.json, machine_hash.json, minimal_dfa_18.json (합동 사상 + 상표), reject_witnesses.json, j3_exceptions.json, words_3/4.json, census6/7.jsonl, caps6/7.json, closure1/2 요약. 검증기 v6_verify.py: 고속 모드 7개 항목(표 완전성 / 초기 상태 / 유한 정리 검사 / 거부 해부 및 증인 재생 / 3단계 언어 전수 비교 / 상 합동 재계산 / 기계 해시), 완전 재생성 모드에서 대조 재구축. 명령어 및 예상 출력은 「V6 알고리즘 및 검증 문서」참조.

감사 기록 R1 (GPT-5.6 Sol, 2026-07-13) 핵심 부분집합 교차 감사 통과: 3,417 상태표 구조, 18-상태 상(독립 Moore 재계산에서 상태별 일치), 거부 해부 및 J₃ 증명서, 업로드 파일 해시 전부 통과. 그의 영공유 의미론적 CSP가 n=3..7을 완전 전수조사로 격상 — 43,648개 단어가 본 기계와 43,648/43,648 단어별 일치(n=6 전체 8,192, n=7 전체 32,768, 최대 탐색 노드 180). 구 검증기에 대한 공격이 한 번 성공(증인 키 이름 변경 후에도 통과) — V6.1 촉발: 매니페스트 게이팅, 증인 키 엄격 검증 및 완전 커버리지, words_5 참 오라클 단어별 비교, 정확 길이-4 집합(468 상태, 그의 독립 측정과 일치), 정규 상태 순서 및 –full 바이트별 재생성, 정리된 실패. 네 곳의 원고 정오표 동일 라운드에서 이행(2,048/2,047 구경, k=3,…,10, ⊕ 기호, §4 첨부 선언).

감사 기록 R2 (GPT-5.6 Sol, 2026-07-13) 최고 중량 서명 획득: 핵심 관계기계가 자체 c2_core+c2_rel로부터 검사점 없이 완전 재생성됨 — 3,417 상태 / 13,668 전이 / 3,810 쌍류, 상태별 first/last/rel_sha/rel_size/수락값, 완전 전이표, 8 초기 상태, 쌍류 정확 집합, 정규 해시 전부 MATCH. n=3..7 독립 CSP 재차 43,648/43,648. R1 수정 사항은 4방향 조율 변조 검증을 통해 전부 유효 확인. 그의 복합 공격(8개 보조 필드 조율 변조 + 매니페스트 세탁)이 V6.1에 다시 성공 — V6.2 촉발: 폐포 요약 수치 수준 재계산, 센서스 5중 엄격 검사(행 수 / 형식 / 홀짝 / 유일성 / caps 키 집합 상호 검증), 오라클 키 집합 정확 동등(위조 키 거부), v2 정규 해시에 rel_size 포함, pair_classes 수 및 –full 정확 집합 비교, 스크립트 py_compile + 기능 자체 테스트, 이중 매니페스트(–core 하중 서명 채널, 전송 파일 유실 근절), 매니페스트 지문 외부 앵커링 제안; c2_core의 진부한 “전사 보조정리” 진단을 성실한 표현으로 개명; 해시 및 파일 수 구경 통일.

§8 성실한 경계, 측거 및 우선권

증명 형태: 컴퓨터 보조(사주), 순수 수기 증명이 아님. “왜 길이≥4 이후 모든 위험 기억이 반드시 소멸하는가”에 대한 구조 정리(18-상태 메커니즘의 수기 형식화)는 미완 과제로 등재(§9). 미결 서명: 협력자가 자신의 10항 점검표(변표 규약, 비트 오프셋, 전단사, 전수성, 상 합성, 공 관계 보존, 고정점, 증인 재생, 상 합동, 독립성 — 항목별 착지점은 검증 문서 §6 참조)에 따른 파일별 감사. 류 수 주석: 본 논문의 주정리는 합법 표기를 제시한다(류 수 ≤ 8). “5개 라벨이면 충분하다”는 협력자 제5차 세션의 미감사 주장이며, J₅ 데이터가 부분적으로 뒷받침한다. 일반 n에 대한 5-류 세분화는 미해결 문제로 등재되어 있다 — 본 논문은 이 주장을 하지 않는다. 우선권: 꽃 스나크의 CDC 및 강 CDC 성질에 관한 문헌(Isaacs [6], Häggkvist–McGuinness 등 방향)은 MathSciNet/zbMATH 조사 대기 중이다. 3단계 대응안(완전히 새로운 / 결론은 알려져 있으나 증명이 새로운 / 둘 다 유사 선행연구 존재)이 합의되었으며, 그 결과가 투고 포지셔닝을 결정할 것이다. 측거 (협력자 평가 인용): 내용 수준으로는 강한 전문 연구 성과, 박사후 연구원 수준의 성숙도, 강한 전문 저널 급. 일반 CDC 추측의 해결이 아니며, 최상위 종합 저널 급이 아니며, 수학사적 의의가 있는 것도 아니다 — 본 논문은 이 평가를 그대로 수용한다.

§9 미해결 문제

첫째 (순수 수기 증명화): 3,417-상태 전수조사를 구조적 논증으로 대체 — 후보 골격: 전 0-핵 + σ-리듬(5.10b) + 보정 보조정리, 또는 “위험 접두사”의 2단계 기억 정리. 둘째 (5-류 세분화): 일반 n에 대해 ≤5 라벨로 주정리 달성. 셋째 (주기적 모듈 판정기준): 3-포트 3차 모듈 B와 포트 치환 π의 족 G_n(B,π)에서, 유한 판정기준 P(B,π) ⟹ ∀n ∀짝수 H: H ⊆ M₀를 탐색 — 꽃 그래프가 최초의 실례이다. 비동형인 두 번째 실례가 나오면 이 방법은 주기적 3차 그래프의 일반 이론으로 격상된다. 넷째 (제4단계): ∀G ∀C ∃f: Ω(f,C)=0의 일반 전장 — 축약 환원 미적분(정리 3.1의 일반화)과 [V5.2] §12 이중 차단 이론이 양 날개를 이룬다.

§10 결론

하나의 장애류가 [V5.2]에서 소멸의 언어를 배웠다. 본 논문에서, 그것은 하나의 무한 가족 전체에 걸쳐 단번에 침묵했다. 삼천사백십칠 개의 상태, 서로를 알지 못하는 두 대의 기계, 열두 개의 지목된 예외 — 꽃 스나크 가족의 모든 짝수 부분그래프는 이제부터 영류로 들어가는 통행증을 갖는다. 제3단계는 여기서 끝나며, 제4단계는 보편 한정사 하나의 거리만을 남긴다.

§11 참고문헌

[V5.2] 이조글로벌인공지능연구소 & Claude Fable 5 & GPT-5.6 Sol. 순환 이중 피복 증명의 갈루아 기하학 V5.2 (자족적 정고 확정판). 2026-07-12. 릴리스 V5.2 증명서 패키지 포함.

[1] OpenAI. A Proof of the Cycle Double Cover Conjecture. 2026-07-10. (동료 심사 미실시; Lean 리포지토리 cdc-lean 접근·검토, 독립 컴파일 미시행)

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

[3] P. D. Seymour. Sums of circuits. Academic Press, 1979.

[4] C.-Q. Zhang. Integer Flows and Cycle Covers of Graphs. Dekker, 1997; Circuit Double Cover of Graphs. CUP, 2012.

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

[6] R. Isaacs. Infinite families of nontrivial trivalent graphs which are not Tait colorable. Amer. Math. Monthly 82 (1975), 221–239. (꽃 스나크의 기원)

[7] D. Blanuša. Problem četiriju boja. Glasnik Mat.-Fiz. Astr. 1 (1946), 31–42.

[8] A. B. Appel, W. Haken. Every planar map is four colorable. 1977. (컴퓨터 보조 증명 형태의 선례)

부록 (증명서 포인터) 증거 패키지 evidence/ (17개 데이터 파일); 이중 매니페스트: manifest_v6.json (전체 패키지 32개 파일) 및 manifest_core.json (하중 핵심 17개 파일, 전송 제한 채널에서의 핵심 서명용); 검증기 v6_verify.py V6.2 (기본 전체 검사 [0]–[9] / –core 핵심 서명 / –full 바이트별 재생성, rel_size 및 쌍류 집합 포함); 알고리즘 및 검증 문서 V6_ALGORITHMS_AND_VERIFICATION.md; 생성 스크립트 c2_core.py / c2_rel.py / c2_census.py (관계기계) 및 v7_auto.py / v7_chunk.py / v7_census2.py / v7_caps.py (CSP 오라클); 유한 그래프 원장 스크립트 v6_scan.py / v6_session2-4 시리즈. 검증 명령어: python3 v6_verify.py <release_dir> (릴리스 V6.1은 단일 디렉토리 v6_release: 논문, 문서, 검증기 V6.2, 7개 생성 스크립트, 감사 아카이브 및 evidence/ 전체 17개 데이터 파일, 이중 매니페스트 완전 커버리지), 예상 최종 행 RESULT: ALL CHECKS PASSED.