v3.13.0

What's Changed

• fix(qualification): credit semantic coverage from live qualification / governed waivers, not validator existence (#409) by @MongLong0214 in #433
• release: sync Formula sha256 to v3.12.0 tarball by @MongLong0214 in #434
• fix(qualification): correct R-SEM missing-coverage detail wording by @MongLong0214 in #435
• fix(audit): surface blocking-modal blocker on the logic://project/audit resource via cached signal (#432) by @MongLong0214 in #437
• qualification: #373 Phase-B2 transport/navigate verified-write oracles by @MongLong0214 in #436
• qualification: #373 Phase-B3 project/tracks/system/midi verified-write oracles by @MongLong0214 in #438
• qualification: #373 Phase-B4 verified-execution oracles (plugin-insert/export/cleanup) — closes mutating inventory by @MongLong0214 in #439
• feat(#425): coordinate-free plugin-insert leaf selection (Option B) by @MongLong0214 in #441
• release: prepare v3.13.0 by @MongLong0214 in #442

Full Changelog: v3.12.0...v3.13.0