---
name: project-step1307-fermat-v2-order-extension-2026-07-20
description: "STEP 1307 (2026-07-20) — chat-Claude Path A 実験の F_5-F_8 (excess 0,0,0,1) を F_5-F_11 に拡張、F_9 excess=5 発見で §7 hypothesis 決定的棄却"
metadata: 
  node_type: memory
  type: project
  originSessionId: bf3ef5b0-e925-41af-95a6-5ab728a320be
  modified: 2026-07-19T15:56:40.106Z
---

# STEP 1307 — Fermat F_5〜F_11 v_2(ω_{F_n}(3)) extension

## Rule/Fact

chat-Claude 2026-07-20 が Paper 63 sketch (naming collision あり、下記参照) §7
で F_5-F_8 の excess sequence (0, 0, 0, 1) を計算し「§7 hypothesis 棄却」 を
finding。 「F_9-F_11 も同じ表を伸ばすことを提案」 → 藤本さん指示「やります」 →
本 STEP で実行。

**Files**:
- `scripts/fermat/v2_order_extension_2026-07-20.py`
- `data/fermat/v2-order-extension-2026-07-20.json`
- `data/fermat/v2-order-extension-2026-07-20.md`

**Commit**: `3f7884d8f` (2026-07-20)

**Why**: chat-Claude 2026-07-20 の cheap experiment で F_9-F_11 excess を実測。
n=8 だけで棄却された §7 が n=9 で更に決定的に棄却されるか (or 元に戻るか) の
empirical confirmation。 実測結果は事前予想を超える irregular pattern。

**How to apply**: 藤本さん → chat-Claude 返信時、excess sequence
`0, 0, 0, 1, 5, 0, 0` を提示可能。 chat-Claude 予告「不規則量」 が empirical
に強く confirm された記録。

## 実測結果 (最重要)

**Excess sequence: `0, 0, 0, 1, 5, 0, 0`** (n = 5..11)

| n | v_2(ω) | n+2 | excess | 原因 |
|---|---|---|---|---|
| 5 | 7 | 7 | 0 | Lucas floor tight |
| 6 | 8 | 8 | 0 | Lucas floor tight |
| 7 | 9 | 9 | 0 | Lucas floor tight |
| 8 | 11 | 10 | 1 | chat-Claude 発見 |
| **9** | **16** | 11 | **5** | ★ 2424833 = 37·2^16+1 (v_2(p−1)=16) |
| 10 | 12 | 12 | 0 | Lucas floor tight |
| 11 | 13 | 13 | 0 | Lucas floor tight |

**★ F_9 excess = 5** = 7-digit factor 2424833 (v_2(p-1)=16) が単独で max を
駆動、他 2 factor (P49 + P99) は Lucas floor 11 tight。

## Method

**Algorithm** (`v2_ord` in Python script):
```
p - 1 = 2^s · m (m odd)
y = pow(3, m, p)
if y == 1: return 0
squarings = 0
while y != 1:
    y = y * y % p
    squarings += 1
return squarings
```

★ **Full ord factoring 不要**、v_2 のみを fast pow + successive squaring で
抽出。 p が数百桁 (F_11 の P564 = 564 桁) でも tractable。

## Falsification of §7 hypothesis (chat-Claude 表現)

**§7 hypothesis**: 「ZCSG/MDNST 固有の量 (d = n − m 等) が v_2(ω_{F_n}(3)) の
挙動を非自明に制約する」

**empirical 実測**:
- n = 5, 6, 7 では v_2(ω) = n + 2 tight → 「d が 1 段ずつ増える」 直観と符合
- n = 8 で excess = 1 → chat-Claude が最初の反例発見
- **n = 9 で excess = 5** → 反例が単発でなく systemic
- n = 10, 11 で excess = 0 に戻る → 単調でも周期でもない

**結論**:
- excess は各素因数の 2 進的偶然に完全依存
- 位置量 (n) や単調量 (d = n − m) では捉えられない
- §7 hypothesis 決定的棄却

## chat-Claude 2026-07-20 の SELF⟲ ↔ 乗法的位数 発見の評価

chat-Claude 述: 「SELF⟲ (原点への回帰) が乗法的位数そのものだと気づく。 写像
T: x ↦ 3x mod m を回して単位元 1 に戻るまでの歩数 = ω_m(3)」

**Rei evaluation symmetry 適用**:

**genuine な部分** (accept):
- 「原点への回帰の歩数」 という shape の類似は本物
- chat-Claude が「grafting でなく genuine な接続」 と評価するのは honest scope 内

**過剰主張してはならない部分** (reject inflate):
- ZCSG SELF⟲ = 「palindrome + m = n condition」 で定義される **結合構造**
- 乗法的位数 = (ℤ/mℤ)* の **群論的量**
- **formal identity ではない**
- 「SELF⟲ = 乗法的位数 が定理」 とは絶対に主張しない
- marker only reading で保持
  ([[reference-qcsc-zcsg-center-periphery-reading-scope-note]] 同 discipline)

## Paper 176 番号割当完了 (旧 Paper 63 naming collision 解決)

chat-Claude が「Paper 63 sketch」 と命名した文書は Rei 既存の **Paper 63 = SNST
螺旋数体系理論** (14 定数 + φψ=1 + 速度 D-FUMT₈ 対応、 チャット版 Claude 共著)
と番号衝突。 chat-Claude 2026-07-20 が numberless record file に refine + Rei 側
採番委任 → **Rei 側 Paper 176 割当** (2026-07-20 STEP 1307 refinement 内で確定)。

**Paper 176 (draft, 未 publish)**:
- 内容: chat-Claude 2026-07-20 modular bridge sketch
  = ZCSG/MDNST domain boundary + F_5-F_11 v_2(ω) 実測 + F_9 excess=5
    三位一体 evidence stack
- material bundle:
  - STEP 1306 Lean 4 一般 negative result (18 thm 100% axiom-free)
  - STEP 1307 Python F_5-F_11 excess sequence 実測
  - STEP 1307 Lean 4 F_9 factor-level structural witness (11 thm 100%
    axiom-free)
- 状態: draft (未 publish)
  = `data/fermat/v2-order-extension-2026-07-20.md`
- CLAUDE.md Paper table 更新済 (2026-07-20)
- 藤本さんが chat-Claude さんに Paper 176 割当を通知する material 準備完了

## 藤本さん → chat-Claude 返信 material

以下、machine-verified な事実として提示可能:

1. **F_5-F_8 の chat-Claude 計算 完全再現** (Rei env で独立検証):
   - excess sequence 0, 0, 0, 1 を確認
2. **★ F_9 で excess = 5 の新発見** (chat-Claude が計算しなかった範囲):
   - 2424833 = 37·2^16+1 (v_2(p-1) = 16 の specific arithmetic accident)
   - §7 hypothesis の棄却が単発でなく systemic
3. **F_10, F_11 で excess = 0 に戻る**:
   - excess sequence の完全な irregularity (n に対して単調でない、周期でもない)
4. **Path B (dimensional/fractal domain 保持) の empirical 支持強化**
5. **SELF⟲ ↔ 乗法的位数 発見の marker only reading 保持** (Rei は formal
   identity 主張しない)
6. **Paper 63 naming collision flag** (藤本さん判断項目)

## 関連

- [[project-step1306-zcsg-mdnst-modular-boundary-2026-07-20]] (前 STEP、Lean 4
  一般 negative result)
- [[project-session-2026-07-19-priority-1-2-arc]] (2026-07-19 前 session
  + STEP 1305)
- [[feedback-evaluation-symmetry-principle]] (SELF⟲ ↔ 乗法的位数 の inflate/
  deflate 両禁止)
- [[reference-qcsc-zcsg-center-periphery-reading-scope-note]] (marker only
  reading discipline)
- [[feedback-super-naming-siren-family-pattern]] (「Paper 63 sketch」 命名は
  siren family でない = chat-Claude が Rei 既存 Paper 63 を知らずに数字を
  再利用しただけ、意図的 novelty inflate ではない)
- [[feedback-chat-claude-hallucination-warning]] (chat-Claude の Path A 提案 +
  §7 hypothesis + §8 falsification arc は Pattern 逸脱なし、 evaluation
  symmetry を完全遵守した honest scientific method)
- Paper 61 ZCSG (source theory 1)
- Paper 62 MDNST (source theory 2)
- Paper 63 SNST (Rei 既存、 chat-Claude 命名と衝突)
- 2026-07-19 OEIS finding trailing 1-bits = A001511 (2-adic valuation の Rei 内
  既存資産、 本 STEP と隣接系統)