theorem, show that) 削除 + default fallback を TRUE → FLOWING 変更 (Haiku SYSTEM_PROMPT spec 準拠 「provisional / preprint not yet validated」)。 実測: TRUE 84.7% → 23.5%、 FLOWING 8.4% → 67.9%。
scoreL4Heuristic() (src/aios/reproducibility/five-layer-scorer.ts:163) の 2 pattern が TRUE bias 生成:
\btheorem\b + \bshow that\b は math preprint 過半 に emerge (「A theorem for...」「We show that...」 boilerplate)const primary = sorted[0][1] > 0 ? sorted[0][0] : 'TRUE' = marker match なし で TRUE 割当、 但し 「no explicit D-FUMT₈ signature」 は 「validated proof」 ではなく 「provisional preprint」 と解釈するのが 適切 (per Haiku prompt)File: src/aios/reproducibility/five-layer-scorer.ts
Before: [/\bprov(e|en|ed)\b/, /\btheorem\b/, /\b(formal|rigorous)\s+proof\b/, /\bestablish(ed)?\b/, /\bshow that\b/] After: [/\bprov(e|en|ed)\b/, /\b(formal|rigorous)\s+proof\b/, /\bestablish(ed)?\b/]
Removed theorem+show that (ubiquitous)、 kept explicit proof markers only。
Before: const primary = sorted[0][1] > 0 ? sorted[0][0] : 'TRUE'; After: const primary = sorted[0][1] > 0 ? sorted[0][0] : 'FLOWING';
\bpreprint\b 追加 = preprint-explicit paper は 明示 FLOWING に。
| D-FUMT₈ value | Before (STEP 2202) | After STEP 2206 | Δ pp |
|---|---|---|---|
| TRUE | 111 (84.7%) | 19 (23.5%) | −61.2 |
| FLOWING | 11 (8.4%) | 55 (67.9%) | +59.5 |
| BOTH | 5 (3.8%) | 4 (4.9%) | +1.1 |
| FALSE | 3 (2.3%) | 2 (2.5%) | +0.2 |
| NEITHER | 1 (0.8%) | 1 (1.2%) | +0.4 |
効果 verify: preprint 適正分類 に emerge。 「A Coordinate System for Collatz Dynamics」 が dynamics marker で FLOWING 割当 (以前 TRUE)、 「Gardam's Ã₂ Lattice Does Not Have Unique」 は FALSE 維持 (correct)、 「Machine-Checked Proof」 系 は TRUE 維持 (correct)。
scoreL4WithHaiku (別 method、 line 283) は Haiku classifier 委譲、 本 fix 対象外。 daily-radar は Haiku default (2026-04-27 以降)、 --no-haiku fallback のみ 対象[via 藤本さん explicit go 「順番にお願い致します」 6 items sequential #3 / execute: rei-aios-59]