chore(main): release 0.6.0

[mizchi-release-bot]

🤖 I have created a release beep boop

0.6.0 (2026-09-29)

Features

• add conditional module initialization v2 (bd44d53)
• add Corsa/Oxc CFG lint and decouple spec authoring from compiler (a612862)
• add inferred effect regression baselines (35ac250)
• add native awaited-type and build-output migration gates (7e42e0c)
• add native registry linting and fix dogfood regressions (20eed6b)
• bind native workspace summaries to authenticated calls (97c50e4)
• expose experimental module-order v2 in CLI (eac0aff), closes #70
• extend native effect propagation and bounded contract proofs (f20c2ab)
• harden 0.3.0 API and dogfood gates (82a063a)
• harden syntax and control-flow artifacts (a013d3b)
• lower Promise try joins through CFG (e2f79a9)
• migrate specification and module analysis to Corsa/Oxc (657100a)
• promote module initialization ordering to supported API (09efc25)
• promote workflow and impact analysis to supported APIs (c9be5f8)
• prototype CFG workflow barriers and dependency impact analysis (4637620)
• prune static Promise switch entries (6f22a62)
• refine contract reachability with native Corsa type facts (7589ca0)
• refine native arithmetic range narrowing (c8aec45)
• refine semantic control flow (1976305)
• stabilize Corsa and temporal contracts (1589447)
• validate fixed-point CFG topology (e94bf31)
• verify bounded contract bodies with Corsa and shared solver (b77d95d)
• verify native workspace build outputs in reference order (21ef476)

Bug Fixes

• evaluate Promise switch case tests (b03a8ef)
• keep fresh local object aliases private in release 0.5.1 (bc82420)
• keep local collection reads private and bound recursive mutations (560b1b2)
• keep parser metadata load analyzable (38baa18)
• preserve Promise call evaluation order (76353b3)
• preserve Promise call target order (97b51f8)
• preserve Promise constructor order (2e49264)
• preserve Promise initializer order (9043161)
• preserve switch break ownership in CFG (3c68eaa)
• preserve syntax facts v1 while proving literal split (0a61f72)
• require actual resumption in conditional module proofs (c8a2315)
• require runtime evidence for switch exhaustiveness (b4f57fa)
• respect throw prefixes in Promise CFG (39bf266)
• respect throw prefixes in Promise statements (55b1d6a)
• retain Promise ownership on CFG back edges (cd0ad02)
• route throwing if conditions through CFG (d441129)
• surface async safety in project verification (27dac82)

---

This PR was generated with Release Please. See documentation.