Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 14 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,20 @@ Format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).

## [Unreleased]

## [0.43.1] - 2026-05-03

### Fixed
- fix(link-daintree): fan-out fallback logic no longer silently drops presets when no vanilla provider has a matching `provider` field — the family gate is now correctly bypassed when the inferred family doesn't match any vanilla slot, falling back to all candidates sorted by daintree_preset_id then numeric suffix

## [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
Comment on lines +9 to +19
- 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
Expand Down
2 changes: 1 addition & 1 deletion commands/nf/link-daintree.md
Original file line number Diff line number Diff line change
Expand Up @@ -482,7 +482,7 @@ function inferFamily(envObj) {
function findVanilla(agentName, family) {
const candidates = providersData.providers.filter(p => p.mainTool === agentName);
const familyMatch = family ? candidates.filter(p => p.provider === family) : candidates;
const pool = familyMatch.length ? familyMatch : (family ? [] : candidates);
const pool = familyMatch.length ? familyMatch : candidates;
// Prefer provider without daintree_preset_id, then lowest numeric suffix
pool.sort((a, b) => {
const aIsClone = !!a.daintree_preset_id;
Expand Down
2 changes: 1 addition & 1 deletion docs/assets/terminal.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
4 changes: 2 additions & 2 deletions package-lock.json

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion package.json
Original file line number Diff line number Diff line change
@@ -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",
Expand Down