[FluentIf] Harden runtime and termination analysis

[mao2009]

親Issue

#6

目的

Fluent.Ifをv1.0で安定して利用できる安全なcontrol-flow utilityとして完成させる。

スコープ

• If / ElseIf / Else chain
• missing Else detection
• nested chains
• lambda expressions
• generic/type inference
• short/complex expressions
• invalid or partially constructed chains
• runtime behavior and exception semantics

完了条件

• Fluent.Ifの公開仕様が明文化されている
• analyzerとruntime APIの責務が明確
• chain terminationのedge caseがテストされている
• 型推論・genericケースがテストされている
• v1.0でFluent.Ifをコア機能として維持する最終判断が記録されている