v3.1.0

What's New

Lua Compliance Suite (CB-608 to CB-619)

• 12 new Lua checks: coroutine misuse, require cycles, global protection, weak tables, test framework detection, OpenResty patterns, FFI safety, OOP patterns, type annotations
• Lua dead code detection with module export awareness
• Lua mutation testing adapter with busted integration
• Tree-sitter TDG analyzer for Lua with full 7-component scoring

SQL, Scala, YAML, Markdown, MLOps Compliance

• CB-700: SQL best practices (N+1 query detection)
• CB-800: Scala best practices (CB-800 to CB-805)
• CB-900: Markdown link validation, line length checks
• CB-950: YAML truthy string ambiguity, excessive nesting, unpinned actions, plaintext secrets
• CB-1000: MLOps model quality checks (missing tokenizer, oversized models)

False Positive Fixes

• CB-511: Per-test-function analysis instead of per-file (#200)
• CB-519: Filter #[derive()] lines before lossy transform detection (#201)
• CB-950: Allow native booleans for CI/CD keys (#202)
• CB-954: Allowlist for ML inference parameters (max_tokens, id-token)

SQLite Backend Improvements

• Self-heal metadata instead of failing on missing keys (#162)
• WAL mode on all SQLite backends for concurrent access (#161)

Quality Infrastructure

• Mandatory falsification ledger with append-only receipts for pmat work
• RAG-powered spec falsification engine (pmat falsify)
• Per-project rule suppression in pmat comply
• Entropy/exclude path filtering across all quality gates (#194, #195, #196)
• Auto-discover coverage.json and improve rebuild UX (#158, #165)

Metrics

• 20,824 lib tests passing (180 ignored)
• Rust project score: 157.4/159 (99.0% A+)
• Zero clippy warnings, zero SATD violations

Full changelog: v3.0.7...v3.1.0