v3.3.5 — CE-Noise I: Designation-Patterns & TrackValue-Marker

Fix-Sprint 2/6 des 360°-Analyse-Fahrplans (ADR-054). Drei CE-Klassen eliminiert, die zusammen 62,5 % Compile-Error-Rate auf der Probe-Datei trugen — nach diesem Release: 0 %.

Fixes

• #278 (CS0165): IsPatternExpressionMutator mutiert keine Patterns mehr, die eine Variable binden (x is string s → is not bricht Definite Assignment jeder späteren Nutzung). Discard-Designationen bleiben mutierbar.
• #284 (CS0128): Mutationen in designation-tragenden is-Patterns (Relational-/Binary-Pattern-Operatoren, Konstanten in geschachtelten Patterns) werden auf Block-Ebene kontrolliert statt als Ternary am is-Ausdruck — der Wrap duplizierte die Designation im selben Statement-Scope. ContainsDeclarations erkennt jetzt auch Recursive-/Var-/List-Pattern-Designationen (Lambda-scoped bleibt ausgeschlossen).
• #285 (CS8754/CS0266): Der TrackValue-Static-Tracking-Marker wird nicht mehr auf target-typed Initializern (= new();) oder mutationsfreien Konstanten (byte x = 5;) platziert — bisher räumte erst eine stille Rollback-Heilrunde (mutant −1, Extra-Compile-Runde) den Marker ab. Initializer mit User-Code behalten den Marker (transitives Static-Context-Tracking, per Test gepinnt). Property-Initializer-Pfad jetzt wie der Field-Pfad auf Coverage-Logik gegated.
• Deps: Transitiver Pin MessagePack 2.5.301 (GHSA-hv8m-jj95-wg3x / CVE-2026-48109 in 2.5.198 via StreamJsonRpc; brach den ersten v3.3.5-Release-Restore mit NU1903).

Verifikation

Build 0/0 · Vollsuite grün (8 Testprojekte, E2E 18/18) · Semgrep 0 · Probe-1 CE-Rate 62,5 % → 0 % · Debug-Log ohne Heilrunde · Locked-Mode-Restore clean.

Full Changelog: v3.3.4...v3.3.5

What's Changed

• chore(sprint-179): close Sprint 179 — all housekeeping items done (v3.3.4 shipped) by @pgm1980 in #305
• fix(sprint-180): CE-Noise I — Designation-Patterns & TrackValue-Marker (ADR-054) by @pgm1980 in #306
• fix(deps): pin MessagePack 2.5.301 — release-gate NU1903 (GHSA-hv8m-jj95-wg3x) by @pgm1980 in #307

Full Changelog: v3.3.4...v3.3.5