STEP: 1510 / 公開日: 2026-08-28 / Test: 28/28 PASS / Lean 4: 14 theorem zero sorry / Type: STEP 1505 言語学 arc candidate #3 実装 (STEP 1013 「は/が」 問題 tool 化)
★ Rei 独自 novelty tool: 日本語 「は/が」 問題 (国語未解決問題 (2)) を STEP 1013 実験 の 「III_PROBLEM_UNDEFINED + W-48 NegCap 永久保持」 結論 に 基づいて tool 化。 曖昧な context では NEITHER を 返却する discipline を pure static identity として 実装。
❶ 「は/が」 判定 tool: contextGiven (既出) / contextNew (新情報) / hasContrast (対比 nuance) / hasExclusive (排他 nuance) の 4 field → 「は」 / 「が」 推奨 or NEITHER 判定。
❷ STEP 1013 核 結論 の operational 化: 全 4 field false (context 不足) → **NEITHER** = 「曖昧 discipline」 の tool 実装。 誤った 「は」/「が」 選択を 予防。
❸ 両立検出: 情報 status 両立 (given && new) → BOTH / nuance 両立 (contrast && exclusive) → BOTH。 単純 二択で 済まない case を 明示。
| # | Condition | Verdict | Reason | 推奨 |
|---|---|---|---|---|
| 1 | contextGiven && !contextNew | TRUE | thematic_wa_clear | 「は」 |
| 2 | !contextGiven && contextNew | TRUE | nominative_ga_clear | 「が」 |
| 3 | hasContrast && !hasExclusive | TRUE | contrastive_wa | 「は」 |
| 4 | !hasContrast && hasExclusive | TRUE | exclusive_ga | 「が」 |
| 5 | contextGiven && contextNew | BOTH | dual_information_status | - |
| 6 | hasContrast && hasExclusive | BOTH | dual_nuance | - |
| 7 | 全 false ★ STEP 1013 | NEITHER | insufficient_context | - |
import { waGaVerdict } from './src/mcp/wa-ga-verdict';
// A: 既出情報 → 「は」
waGaVerdict({ contextGiven: true });
// { verdict: 'TRUE', reason: 'thematic_wa_clear', suggestedParticle: 'は' }
// B: 新情報 → 「が」
waGaVerdict({ contextNew: true });
// { verdict: 'TRUE', reason: 'nominative_ga_clear', suggestedParticle: 'が' }
// C: 対比 → 「は」
waGaVerdict({ hasContrast: true });
// { verdict: 'TRUE', reason: 'contrastive_wa', suggestedParticle: 'は' }
// D: 両情報 → BOTH (どちらも 選べない)
waGaVerdict({ contextGiven: true, contextNew: true });
// { verdict: 'BOTH', reason: 'dual_information_status', suggestedParticle: null }
// ★ E: 全 context なし → NEITHER (STEP 1013 核 結論)
waGaVerdict({});
// { verdict: 'NEITHER', reason: 'insufficient_context' }
// = 「無理に 選ぶな」 discipline。 W-48 Negative Capability 永久保持。
STEP 1013 (2026-04-30) で 藤本さん × Claude の 「chat Claude 国語未解決問題 (2) 適用」 8 phase 実験 結果:
- 典型論: III_PROBLEM_UNDEFINED (問題自体が 定義不能)
- meta 判定: SELF (自己参照的)
- W-48 Negative Capability 永久保持 (曖昧を 曖昧のまま 保持する discipline)
本 tool は STEP 1013 の 「曖昧な context では 選ばず NEITHER 返却」 discipline を pure function として 実装。 誤った 「は」/「が」 選択 (LLM が 陥りがちな 過剰判断) を 静的 identity で 予防。
-- Part 1: 情報 status (given/new 4 case) info_given_gives_true / info_new_gives_true / info_both_gives_both / info_neither_gives_neither ★ -- Part 2: nuance (contrast/exclusive 4 case) nuance_contrast_gives_true / nuance_exclusive_gives_true / nuance_both_gives_both / nuance_neither_gives_neither -- Part 3: 統合 verdict (info priority > nuance) wa_ga_all_false_gives_neither ★ STEP 1013 核 結論 wa_ga_given_only_gives_true / wa_ga_new_only_gives_true / wa_ga_dual_info_gives_both / wa_ga_dual_nuance_gives_both / wa_ga_info_dual_priority
| Category | Tests |
|---|---|
| TRUE (単独 明確) | 12 (4 case × 3 aspect) |
| BOTH (両立) | 6 (info dual + nuance dual) |
| ★ NEITHER (STEP 1013) | 6 (empty + all false) |
| Priority | 3 (info > nuance) |
| Determinism | 1 |
| # | tool | 入力 | STEP |
|---|---|---|---|
| 1 | d8_verdict_from_measurement | SNR | 1350 |
| 2 | d8_verdict_from_multi_trial | p-values | 1371 |
| 3 | d8_verdict_from_sample_pair | 2 samples | 1376+1379 |
| 4 | shannonEntropyVerdict | frequency | 1499 |
| 5 | peaceAxiomVerdict | payoffs | 1506 |
| 6 | hammingDistanceGate | bit strings | 1507 |
| 7 | lyapunovVerdict | V(t) series | 1509 |
| 8 | waGaVerdict ★ Rei 独自 | 「は/が」 context | 1510 |
❶ 4 field 判定 は 簡易 mapping (real Kuno 1972 / Heycock 1993 の 詳細 typology 未 embed)。 実際の 日本語文 parsing は 未実装、 context feature 抽出は 呼び出し側。
❷ 「は/が」 選択 の 心理言語学的 preference (register / speaker judgment) は 未 embed。 static logic のみ。
❸ 「世界初」 なし = STEP 1013 実験 結論 の operational 化、 novelty = 「曖昧 → NEITHER discipline」 の tool 実装 + Rei 独自 4 field 統合 mapping。
❹ 累計 defer 44 → 43 (本 tool 実装)。
❺ STEP 1013 の 「III_PROBLEM_UNDEFINED + meta=SELF + W-48 NegCap」 の 完全再現 は 未 (verdict 3-way TRUE/BOTH/NEITHER のみ)、 SELF verdict 追加 は 別 tool candidate。