v2.0.2

What's Changed

• Fix layer_regularized embedding bug by @popchanovska in #1406
• feat: Phase 1 Lean 4 formal verification — filterFusion theorem + CI by @SkBlaz with @Copilot in #1408
• Align formal Phase 1 filter-fusion docs with optimizer behavior and add regression coverage by @SkBlaz with @Copilot in #1410
• docs: sync AGENTS.md with current repo state (July 2026) by @SkBlaz with @Copilot in #1412
• formal: add Plan.filter_empty_scan theorem and e2e provable base roadmap by @SkBlaz with @Copilot in #1414
• Harden text parsers against malformed fuzz inputs by @SkBlaz with @Copilot in #1416
• Add emptyScan to the Lean Phase 1 plan model by @SkBlaz with @Copilot in #1418
• fix: skip slow sensitivity analysis example in CI by @SkBlaz with @Copilot in #1420
• Implement mdl metric by @popchanovska in #1375
• Add tests for zero-coverage modules: community_comparison, quality metrics, errors, sbm_metrics by @SkBlaz with @Copilot in #1422
• formal: complete reachable Phase-1 TODOs for project/limit and redundant-project theorem by @SkBlaz with @Copilot in #1424
• Align markdown inventory guardrail with current repository docs set by @SkBlaz with @Copilot in #1426
• Add dynamics and embed commands to CLI tool by @SkBlaz with @Copilot in #1428

Full Changelog: v2.0.1...v2.0.2