fix(analyzer): scope duplicate-condition to same If/Else If chain

[e54-bot]

Summary

Fixes #432 — duplicate-condition compared every If/ElseIf/While condition in a rule's flat action list against all earlier ones, so reachable branches (independent If blocks, While conditions, nested/foreign chains) were reported as unreachable with evidence: exact.

• duplicate_condition_findings now tracks open blocks: If pushes a chain carrying its branch conditions; Else If reports only when it repeats an earlier branch of the innermost chain; While/For push a placeholder so their End stays aligned; disabled actions are unwrapped only to detect block openers.
• Registry summary/documentation/finding message now describe the actual detection (a repeated Else If within one chain); knownLimits names the nondeterministic-condition (Random *) case per the issue's non-goal.
• The pre-existing analysis parity test asserted the buggy rule-wide comparison (>= 2 findings including an If/While pair); now asserts exactly the in-chain Else If finding.

Test plan

• cargo test -p wright-analyzer — 18 pass, incl. 8 new/updated duplicate-condition cases covering every acceptance criterion (independent Ifs, If/While mixes, same-chain repeats, cross-chain isolation, nested chains, loops and disabled blocks inside chain bodies)
• Ablation verified by independent review: each negative test fails under the old rule-wide comparison
• Real CLI check: issue reproduction reports 0 findings; If(c)…Else If(c) still reports 1 exact finding on the Else If
• cargo fmt --all -- --check, cargo clippy --workspace --all-targets --all-features -D warnings, cargo test --workspace --all-targets --all-features (296 pass), git diff --check
• Independent adversarial review (36-probe harness incl. malformed programmatic programs): SOUND, all findings addressed in a verified follow-up pass

Generated with Devin