Skip to content

Commit 6968f30

Browse files
authored
Merge pull request #112 from nForma-AI/release/0.42.4
release: 0.42.4-rc.1 — Adversarial Hardening
2 parents f97848e + 1f7b3ad commit 6968f30

4 files changed

Lines changed: 15 additions & 11 deletions

File tree

CHANGELOG.md

Lines changed: 11 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -4,18 +4,22 @@ All notable changes to nForma will be documented in this file.
44

55
Format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).
66

7-
## [Unreleased]
7+
## [0.42.4] - 2026-04-21
88

99
### Added
1010
- Six human phase skills ship with nForma: `nf:idea`, `nf:plan`, `nf:build`, `nf:ship`, `nf:debug`, `nf:observe` — each `SKILL.md` documents sub-skills, commands, entry/exit conditions, and routing across the full development lifecycle (closes #94)
11-
- Adversarial test coverage for aggregate-requirements, continuous-verify, oscillation-detector, and solve-cycle-detector modules (`bin/*-adversarial.test.cjs`)
12-
- `bin/resolve-formal-tools.test.cjs` — new test suite for formal tool resolution
11+
- `benchmarks/full-benchmark-baseline.json` — source of truth for nForma's benchmark score (15.2% / 35/230)
12+
- `nf-benchmark` submodule integrated for full 230-challenge benchmark suite
13+
14+
### Changed
15+
- Benchmark CI gate now runs full 230-challenge suite on PRs with zero-tolerance regression blocking
16+
- Baseline auto-updates in nForma repo on push to main when score improves
1317

1418
### Fixed
15-
- `fix(set-secret)`: restore Usage message when stdin value is missing
16-
- `fix(continuous-verify)`: correctness bugs surfaced during adversarial testing
17-
- `fix(solve-cycle-detector)`: edge-case fixes found during adversarial testing
18-
- `fix(secrets)`: hardening identified during adversarial test runs
19+
- `fix(nf-stop)`: `parseQuorumSizeFlag` now rejects fractional values (`--n 1.5`) instead of silently truncating to solo mode
20+
- `fix(nf-stop)`: adversarial hardening added `--n 0` boundary handling and `is_error: true` propagation checks
21+
- `fix(config-loader)`: `slotToToolCall` fallback invariants verified
22+
- `fix(nf-circuit-breaker)`: `makeFileSetHash` order-independence and empty-array handling confirmed
1923

2024
## [0.42.3] - 2026-04-11 — Repowise Intelligence Integration (v0.42 milestone)
2125

docs/assets/terminal.svg

Lines changed: 1 addition & 1 deletion
Loading

package-lock.json

Lines changed: 2 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

package.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{
22
"name": "@nforma.ai/nforma",
3-
"version": "0.42.3",
3+
"version": "0.42.4-rc.1",
44
"description": "nForma — Multi-agent coding orchestrator with quorum consensus and formal verification (TLA+, Alloy, PRISM). Consensus before code, proof before production.",
55
"bin": {
66
"nforma": "bin/nforma-cli.js",

0 commit comments

Comments
 (0)