[Lean Squad] feat(fv): Task 3+9 — Lean 4 formal spec for TreeNodeFilter.MatchFilterPattern + CI fix#8111

Evangelink merged 2 commits into

mainmicrosoft/testfx:mainfrom

lean-squad/task3-treenodefilter-lean-spec-2026-05-07-9d6ff18f7f576241microsoft/testfx:lean-squad/task3-treenodefilter-lean-spec-2026-05-07-9d6ff18f7f576241Copy head branch name to clipboard