Release v0.43.0 (#151)

Changelog:
- refactor(install): manifest-driven CLI detection — providers.json shipped empty, populated at install time
- fix(formal): resolve merge conflict markers in .planning JSON files
- fix(formal): give max_retries a safe default in oauth-rotation.pm

Co-authored-by: jobordu <jonathan@jonathanborduas.com>
Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>

Author: 3 people

CHANGELOG.md

@@ -6,6 +6,15 @@ Format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).
 
 ## [Unreleased]
 
+## [0.43.0] - 2026-05-02
+
+### Changed
+- refactor(install): manifest-driven CLI detection — `providers.json` now shipped empty and populated at install time from `~/.claude.json` MCP servers and PATH auto-detection
+
+### Fixed
+- fix(formal): resolve merge conflict markers in `.planning/formal/` JSON files that caused `extract-annotations.cjs` to fail with JSON parse errors
+- fix(formal): give `max_retries` a safe default value in `oauth-rotation.pm` — PRISM requires all constants to be defined
+
 ## [0.43.0-rc.1] - 2026-04-23 — next prerelease
 
 ### Changed

docs/assets/terminal.svg

@@ -1,6 +1,6 @@
 {
   "name": "@nforma.ai/nforma",
-  "version": "0.43.0-rc.1",
+  "version": "0.43.0",
   "description": "nForma — Multi-agent coding orchestrator with quorum consensus and formal verification (TLA+, Alloy, PRISM). Consensus before code, proof before production.",
   "bin": {
     "nforma": "bin/nforma-cli.js",