refactor(p4): evaluate IfExpr purely on the AST — remove P4IfSourceSupport char-scan shadow

[opaopa6969]

背景（charAt 撲滅 / fallback=0）

evalIfExpr は元ソースの condition/then/else スニペットを文字走査で再パース（tryEvaluateIfFromSource → P4IfSourceSupport：findMatching/charAt）してから純 AST 評価にフォールバックしていました。これはマッパーが IfExpr 部分木を忠実に AST 化できなかった頃の正確性クラッチです。#43/#32/#35/#49 のマッパー修正＋packrat memoize 既定 ON により、condition/branch ノードは単体で正しく評価できます。

変更

• evalIfExpr を純 AST 評価化（condition 評価→枝選択→枝評価）。
• 死蔵化した tryEvaluateIfFromSource と P4IfSourceSupport（最大の残存 char-scan source-reparse shadow）を削除。

検証

shadow を外した状態でフルスイート 633 tests, 0 failures/errors、baseline ゲート緑（新規失敗なし）＝純 AST の if 経路が忠実であることを実証。

🤖 Generated with Claude Code

[opaopa6969]

背景（charAt 撲滅 / fallback=0）

evalIfExpr は元ソースの condition/then/else スニペットを文字走査で再パース（tryEvaluateIfFromSource → P4IfSourceSupport：findMatching/charAt）してから純 AST 評価にフォールバックしていました。これはマッパーが IfExpr 部分木を忠実に AST 化できなかった頃の正確性クラッチです。#43/#32/#35/#49 のマッパー修正＋packrat memoize 既定 ON により、condition/branch ノードは単体で正しく評価できます。

変更

• evalIfExpr を純 AST 評価化（condition 評価→枝選択→枝評価）。
• 死蔵化した tryEvaluateIfFromSource と P4IfSourceSupport（最大の残存 char-scan source-reparse shadow）を削除。

検証

shadow を外した状態でフルスイート 633 tests, 0 failures/errors、baseline ゲート緑（新規失敗なし）＝純 AST の if 経路が忠実であることを実証。

🤖 Generated with Claude Code

[opaopa6969]

背景（charAt 撲滅 / fallback=0）

evalIfExpr は元ソースの condition/then/else スニペットを文字走査で再パース（tryEvaluateIfFromSource → P4IfSourceSupport：findMatching/charAt）してから純 AST 評価にフォールバックしていました。これはマッパーが IfExpr 部分木を忠実に AST 化できなかった頃の正確性クラッチです。#43/#32/#35/#49 のマッパー修正＋packrat memoize 既定 ON により、condition/branch ノードは単体で正しく評価できます。

変更

• evalIfExpr を純 AST 評価化（condition 評価→枝選択→枝評価）。
• 死蔵化した tryEvaluateIfFromSource と P4IfSourceSupport（最大の残存 char-scan source-reparse shadow）を削除。

検証

shadow を外した状態でフルスイート 633 tests, 0 failures/errors、baseline ゲート緑（新規失敗なし）＝純 AST の if 経路が忠実であることを実証。

🤖 Generated with Claude Code

[opaopa6969]

背景（charAt 撲滅 / fallback=0）

evalIfExpr は元ソースの condition/then/else スニペットを文字走査で再パース（tryEvaluateIfFromSource → P4IfSourceSupport：findMatching/charAt）してから純 AST 評価にフォールバックしていました。これはマッパーが IfExpr 部分木を忠実に AST 化できなかった頃の正確性クラッチです。#43/#32/#35/#49 のマッパー修正＋packrat memoize 既定 ON により、condition/branch ノードは単体で正しく評価できます。

変更

• evalIfExpr を純 AST 評価化（condition 評価→枝選択→枝評価）。
• 死蔵化した tryEvaluateIfFromSource と P4IfSourceSupport（最大の残存 char-scan source-reparse shadow）を削除。

検証

shadow を外した状態でフルスイート 633 tests, 0 failures/errors、baseline ゲート緑（新規失敗なし）＝純 AST の if 経路が忠実であることを実証。

🤖 Generated with Claude Code

[opaopa6969]

背景（charAt 撲滅 / fallback=0）

evalIfExpr は元ソースの condition/then/else スニペットを文字走査で再パース（tryEvaluateIfFromSource → P4IfSourceSupport：findMatching/charAt）してから純 AST 評価にフォールバックしていました。これはマッパーが IfExpr 部分木を忠実に AST 化できなかった頃の正確性クラッチです。#43/#32/#35/#49 のマッパー修正＋packrat memoize 既定 ON により、condition/branch ノードは単体で正しく評価できます。

変更

• evalIfExpr を純 AST 評価化（condition 評価→枝選択→枝評価）。
• 死蔵化した tryEvaluateIfFromSource と P4IfSourceSupport（最大の残存 char-scan source-reparse shadow）を削除。

検証

shadow を外した状態でフルスイート 633 tests, 0 failures/errors、baseline ゲート緑（新規失敗なし）＝純 AST の if 経路が忠実であることを実証。

🤖 Generated with Claude Code

[opaopa6969]

背景（charAt 撲滅 / fallback=0）

evalIfExpr は元ソースの condition/then/else スニペットを文字走査で再パース（tryEvaluateIfFromSource → P4IfSourceSupport：findMatching/charAt）してから純 AST 評価にフォールバックしていました。これはマッパーが IfExpr 部分木を忠実に AST 化できなかった頃の正確性クラッチです。#43/#32/#35/#49 のマッパー修正＋packrat memoize 既定 ON により、condition/branch ノードは単体で正しく評価できます。

変更

• evalIfExpr を純 AST 評価化（condition 評価→枝選択→枝評価）。
• 死蔵化した tryEvaluateIfFromSource と P4IfSourceSupport（最大の残存 char-scan source-reparse shadow）を削除。

検証

shadow を外した状態でフルスイート 633 tests, 0 failures/errors、baseline ゲート緑（新規失敗なし）＝純 AST の if 経路が忠実であることを実証。

🤖 Generated with Claude Code

[opaopa6969]

背景（charAt 撲滅 / fallback=0）

evalIfExpr は元ソースの condition/then/else スニペットを文字走査で再パース（tryEvaluateIfFromSource → P4IfSourceSupport：findMatching/charAt）してから純 AST 評価にフォールバックしていました。これはマッパーが IfExpr 部分木を忠実に AST 化できなかった頃の正確性クラッチです。#43/#32/#35/#49 のマッパー修正＋packrat memoize 既定 ON により、condition/branch ノードは単体で正しく評価できます。

変更

• evalIfExpr を純 AST 評価化（condition 評価→枝選択→枝評価）。
• 死蔵化した tryEvaluateIfFromSource と P4IfSourceSupport（最大の残存 char-scan source-reparse shadow）を削除。

検証

shadow を外した状態でフルスイート 633 tests, 0 failures/errors、baseline ゲート緑（新規失敗なし）＝純 AST の if 経路が忠実であることを実証。

🤖 Generated with Claude Code

[opaopa6969]

背景（charAt 撲滅 / fallback=0）

evalIfExpr は元ソースの condition/then/else スニペットを文字走査で再パース（tryEvaluateIfFromSource → P4IfSourceSupport：findMatching/charAt）してから純 AST 評価にフォールバックしていました。これはマッパーが IfExpr 部分木を忠実に AST 化できなかった頃の正確性クラッチです。#43/#32/#35/#49 のマッパー修正＋packrat memoize 既定 ON により、condition/branch ノードは単体で正しく評価できます。

変更

• evalIfExpr を純 AST 評価化（condition 評価→枝選択→枝評価）。
• 死蔵化した tryEvaluateIfFromSource と P4IfSourceSupport（最大の残存 char-scan source-reparse shadow）を削除。

検証

shadow を外した状態でフルスイート 633 tests, 0 failures/errors、baseline ゲート緑（新規失敗なし）＝純 AST の if 経路が忠実であることを実証。

🤖 Generated with Claude Code