STEP 1856 corrigendum — 藤本さん 独立 review 5 指摘 完全認諾 + 3 主張 retract
藤本さん の 独立 review が STEP 1856 Phase 1b summary の 5 数学的欠陥 を CSV 実データ のみ から 発見。 全 5 認諾、 私 の 「意味論 動作 / 真陽性 4/6 / 弁別性 evidence」 3 主張 を retract。 「即座に入る修正」 2 item (wordCount<1000 → N/A + Dw 数学的床 明示) を land。 v0.2 signature 6/13 → 4 YES / 7 no / 2 N/A。 test 38 → 43/43 PASS。 STEP 1848 pattern 3 例目 = 「私 の 主張 → 独立 review 反証」。
1. 独立 review の 5 指摘 (全 認諾)
1.1 Dw > 0.10 は metric 構造的床 の 上 の 1 判定 のみ
非マッチ 7 件 の うち 3 件 (hash Dw=0.0999 / numeric Dw=0.1000 / uuid Dw=0.1000) が 小数第 4 位 で 落ちて いる。
Dw = 上位 10% の word-bigram が 占める割合 なので、 全 bigram unique な 入力 では 定義上 上位 10% が 質量 の 10% を 占める → Dw = 0.1000 は metric の 構造的床。 私 の 「自然言語 目安 相対」 主張 は 誤り、 Dw > 0.10 の 実際 の 仕事 は 「完全ランダム で ない」 の 1 判定 のみ で template 度 の 情報 なし。
1.2 Bw ≤ 4 は 両極 で 低く なる = 単調 でない
Bw ≤ 4 を 満たす の は 最 template 4 (structured_log=3 / esperanto=3 / markdown=3 / chess_syn=4) だけ で なく 最ランダム 3 (hash=1 / numeric=1 / uuid=2) も。 Bw は template 度 単調 では ない、 tokenizer 修正 では 直らない 軸設計 の 問題 = v0.3 domain-aware tokenizer では 直らない。
1.3 chess は sample 依存 (両側 に 出ている)
| sample | 出所 | Bw | Dw | 判定 |
|---|---|---|---|---|
| chess_pgn_syn | 合成 | 4 | 0.4259 | YES |
| chess_pgn_famous | 実データ (外部取得 27,640 B) | 11 | 0.1357 | no |
判定 は domain では なく sample が 合成 か どうか を している。 「マッチ 6 件」 素性内訳 = 実データ・非退化・非合成 は esperanto のみ (1 件)、 合成 2、 proxy 1、 退化 2。
1.4 STEP 1856 の 原因記述 が 実データ 不整合
私 (前 turn): 「DNA/protein tokenizer artifact (FASTA space なし → 全体 1 word)」。
CSV 実測: dna wordCount = 5、 protein wordCount = 8 (1 では ない)。 原因 は tokenizer では なく 標本サイズ の 前提 が 欠けている。 修正 = wordCount < N を no では なく N/A に する だけ (既存 CONFORM/NONCONFORM/N/A の 3 値 と 同 形)。
1.5 STEP 1846 v0.2 契約 R1 違反
本 verdict は null-compared 種別 (統計的判定)。 STEP 1846 v0.2 contract に 照らすと:
- R1 違反: 帰無モデル (「2 閾値 を 13 点 に 当てて 6 通る」 の chance level) が sourcesDeclared に ない
- G4: 未到達 source (ランダム / held-out domain) あり で 肯定的 verdict
- R2: 区間 なし、 0/13 → 6/13 は 閾値 動かした 結果 で held-out 検証 では ない
- 弁別性 evidence が json_schema 1 件 (n=1) = 統計的 に 空
2. 私 の 前 turn の retract 3 主張
- 「v0.2 signature 意味論 的 動作」 → retract (§1.1 で 論理崩壊)
- 「意味的 Voynich-like 4/6 真陽性 + tokenizer artifact 2/6 false positive」 → retract (Voynich anchor 未達 で 陽性クラス 参照先 なし、 4/2 内訳 は 私 の 主観)
- 「弁別性 evidence (json_schema no match)」 → retract (n=1 で 統計的 に 空)
3. 実施 した 修正 (「即座に入る修正」 2 item)
3.1 wordCount < 1000 → signature = N/A (2 値 → 3 値)
MIN_WORD_COUNT_FOR_SIGNATURE = 1000をcharacterize.tsに exportvoynichSignatureV02Match戻り値{match: boolean}→{verdict: 'YES' | 'no' | 'N/A'}CharacterizationResult.voynichSignatureV02Match型 も 3 値 化types.tsにTernaryMatch型 追加 (v0.2 contract のBasisVerdictと 対応)
3.2 Dw 数学的床 明示
voynichSignatureV02Matchreason でDw ≈ 0.10の 場合 「metric structural floor (all bigrams unique)」 note を 追加
4. v0.3 再測定 結果 (3 値)
| metric | STEP 1856 (v0.2 2 値) | STEP 1860 (v0.2 3 値) |
|---|---|---|
| v0.1 (char-level) | 0/13 match | 0/13 match (unchanged) |
| v0.2 (word-level) | 6/13 match | 4 YES / 7 no / 2 N/A |
| YES 内訳 | chess / dna / esperanto / markdown / protein / structured | chess / esperanto / markdown / structured (dna・protein は N/A に 移動) |
| test | 38/38 PASS | 43/43 PASS (+5 = N/A + boundary + Dw floor) |
★ 「YES = 真陽性」 と 主張 しない (Voynich anchor 未達、 STEP 1860 corrigendum で 明示)。
5. v0.3 送り (私 が 勝手 に fix しない、 藤本さん judgment 依存)
- Bw の 単調性 確認: ランダム列 → 自然言語 → template 列 で Bw が 単調変化 する か synthetic evidence で 検証。 しない なら Bw ≤ 4 は 使えない
- held-out validation: 閾値決定 domain と 評価 domain の 分離
- 陽性クラス 定義: Voynich anchor 未達 の 間 は 「真陽性」 語 を 使わない。 EVA transcription 候補 = Voynich.nu / Zandbergen-Landini interlinear archive
- v0.2 contract 適合: 本 verdict を null-compared として 提出 なら 帰無モデル 実測 = permutation test 相当
6. Phase 2 domain 選定 判断
保留 (藤本さん 独立 review 推奨 に 同意)。 成立していない 区分 から の 選定 は しない。
進める場合 の 藤本さん 推奨 = structured_log (Dw=0.7168 余裕最大 + field dictionary 客観 template + 圧縮率 改善 を 判断 では なく 既存 compressor 差 で 検証可能)。 esperanto は 自然言語形態論 の 既存 baseline 強く、 prior art 壁 高い ので 最後 送り。
7. Failure mode dataset (STEP 1846 checklist の 7 に 追加 4)
- metric の 数学的床 を 実装 前 に 数式 で 確認 する (Dw = 0.1000 は 実装前 分析 で 気付ける、 私 は 実装後 も 気付か なかった)
- axis が 対象 を 単調 に 測る か を synthetic evidence で 検証 する (Bw の 両極性 は 8 synthetic sample CSV 実測 で 顕在化 して いた のに 私 が 見なかった)
- 同 domain の 合成 vs 実 sample split を 確認 する (chess_syn Bw=4 vs chess_famous Bw=11 の 落差 は sample 依存 signal)
- anchor なし で 「真陽性 vs 偽陽性」 内訳 を 主張 しない (detector が 決める べき ことを 集計前提 に する = 判断 と 測定 の 混同)
8. Load-bearing 学び (STEP 1848 pattern 3 例目)
3 例 に 共通 = 「私 (Code-Claude) が 実装 + 主張 → 独立 review が 反証」:
- STEP 1848 = 「Cowork side が en-ja 実測 で controlPassed bug 発見」
- STEP 1849 = 「chat-Claude が sibling deriveSeparatingPower bug 発見」
- STEP 1860 = 「藤本さん が STEP 1856 CSV 実データ のみ から 5 数学的欠陥 発見」
今回 の 5 指摘 の うち Dw 数学的床 (§1.1) は 実装前 分析 で 気付けた = 「data-found」 と 「review-found」 の 中間 = 「data を 独立 目 で 見た 人 が review」 pattern。 STEP 1848 の 「review 層 を 重ねても 走らせるまで 分から ない」 引用 の 部分 該当。
9. 関連 STEP
10. 詳細参照
- 独立 review file:
data/domain-family/results/STEP-1856-independent-review.md(藤本さん 提供) - Notepad: 2026-09-07T01-45 STEP 1860
- Fragment: notes/steps/STEP_1860.md
- 実装修正:
scripts/domain-family/characterize.ts+src/aios/comparison-basis-contract/types.ts - test 拡張:
test/step1854-*.ts(43 assertion) - v0.3 CSV: characterization-v0.3.csv
- ← Tools index に 戻る