Merge pull request #116 from nForma-AI/release/0.42.6

chore(release): 0.42.6

Author: jobordu

.planning/formal/requirements.json

@@ -1,13 +1,10 @@
 {
-<<<<<<< HEAD
   "aggregated_at": "2026-04-17T04:37:59.710Z",
   "content_hash": "cc8c06dea75836cdb69342890f822e12c0c44d5f80b71e07a2e3660ea69ad288",
   "frozen_at": "2026-04-17T10:29:51.191Z",
-=======
   "aggregated_at": "2026-04-17T07:02:36.329Z",
   "content_hash": "7a0683c94eb64c97",
   "frozen_at": "2026-04-17T07:02:36.333Z",
->>>>>>> origin/main
   "schema_version": "1",
   "source": ".planning/REQUIREMENTS.md",
   "last_sync": "2026-03-31T09:45:23.686Z",
@@ -320,7 +317,6 @@
       "category_raw": "Architecture"
     },
     {
-<<<<<<< HEAD
       "id": "BENCH-07",
       "text": "Provide a generic benchmark runner CLI (bin/nf-benchmark.cjs) that loads fixtures from benchmarks/<skill>/fixtures.json, evaluates pass conditions, and enforces skill-specific baseline floors in CI gates.",
       "category": "Benchmark Infrastructure",
@@ -352,7 +348,6 @@
     },
     {
       "id": "BENCH-FAKE-03",
-=======
       "id": "BENCH-DETECT-04",
       "text": "nf-solve detects cross-layer mutations, formal model changes, and documentation claim violations in fast mode with active layer sweeps for l1_to_l3, l3_to_tc, formal_lint, and ghost-command scanning for /nf: slash-command references in doc files.",
       "category": "Benchmark Detection",
@@ -366,7 +361,6 @@
     },
     {
       "id": "BF-03",
->>>>>>> origin/main
       "text": "Benchmark requirement with broken provenance",
       "category": "Benchmark",
       "tier": "user",

CHANGELOG.md

@@ -6,6 +6,11 @@ Format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).
 
 ## [Unreleased]
 
+## [0.42.6] - 2026-04-23 — CI/CD testing
+
+### Changed
+- ci: prepare-release.sh and release.sh now test the full release pipeline
+
 ## [0.42.5] - 2026-04-21
 
 ### Fixed

docs/assets/terminal.svg

@@ -700,3 +700,14 @@ function writeConfig(filePath, config) {
 }
 
 module.exports = { loadConfig, validateConfig, DEFAULT_CONFIG, SLOT_TOOL_SUFFIX, slotToToolCall, shouldRunHook, HOOK_PROFILE_MAP, validateHookInput, HOOK_INPUT_SCHEMAS, DEFAULT_HOOK_PRIORITIES, normalizeConfigValue, normalizeConfig, flattenNestedKeys, nestFlatKeys, writeConfig };
+
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark

hooks/dist/config-loader.js

@@ -862,3 +862,9 @@ module.exports = {
   makePatternHash,
   getEvidencePath,
 };
+
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark

hooks/dist/nf-circuit-breaker.js

@@ -335,3 +335,9 @@ if (typeof module !== 'undefined') {
   module.exports.formatProgressInjection = formatProgressInjection;
   module.exports.readMemoryInjection = readMemoryInjection;
 }
+
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark

hooks/dist/nf-precompact.js

@@ -246,3 +246,9 @@ if (require.main === module) (async () => {
 // Export for unit testing.
 // When require()'d by tests, the stdin handler and async IIFE are not registered (require.main guard above).
 module.exports = { parseStateForReminder, findMemoryStore };
+
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark
+// modified by benchmark

hooks/dist/nf-session-start.js

@@ -1,6 +1,6 @@
 {
   "name": "@nforma.ai/nforma",
-  "version": "0.42.5",
+  "version": "0.42.6",
   "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",

package-lock.json

@@ -591,8 +591,16 @@ describe('virgin install: npm global simulation', () => {
 // ── TUI data loading: real requirements.json ─────────────────────────────────
 // Validates that requirements-core.cjs can load real project data.
 // This catches regressions where the data file schema changes or paths break.
+//
+// NOTE: .planning/formal/requirements.json is a LOCAL DEV FILE not included in
+// the npm package. These tests require local project context and must be
+// skipped when running as part of virgin install tests (where only the
+// installed package exists, not the full dev tree).
 
-describe('TUI data loading: requirements', () => {
+const REQ_JSON_PATH = path.join(__dirname, '..', '.planning', 'formal', 'requirements.json');
+const hasLocalRequirements = fs.existsSync(REQ_JSON_PATH);
+
+describe('TUI data loading: requirements', { skip: !hasLocalRequirements }, () => {
   test('readRequirementsJson returns non-empty requirements array', () => {
     const reqCore = require('../bin/requirements-core.cjs');
     const { envelope, requirements } = reqCore.readRequirementsJson();