@nforma.ai/nforma 0.2.1 → 0.28.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (201) hide show
  1. package/README.md +2 -2
  2. package/agents/{qgsd-codebase-mapper.md → nf-codebase-mapper.md} +1 -1
  3. package/agents/{qgsd-debugger.md → nf-debugger.md} +3 -3
  4. package/agents/{qgsd-executor.md → nf-executor.md} +14 -14
  5. package/agents/{qgsd-integration-checker.md → nf-integration-checker.md} +1 -1
  6. package/agents/{qgsd-phase-researcher.md → nf-phase-researcher.md} +6 -6
  7. package/agents/{qgsd-plan-checker.md → nf-plan-checker.md} +9 -9
  8. package/agents/{qgsd-planner.md → nf-planner.md} +9 -9
  9. package/agents/{qgsd-project-researcher.md → nf-project-researcher.md} +2 -2
  10. package/agents/{qgsd-quorum-orchestrator.md → nf-quorum-orchestrator.md} +33 -33
  11. package/agents/{qgsd-quorum-slot-worker.md → nf-quorum-slot-worker.md} +3 -3
  12. package/agents/{qgsd-quorum-synthesizer.md → nf-quorum-synthesizer.md} +3 -3
  13. package/agents/{qgsd-quorum-test-worker.md → nf-quorum-test-worker.md} +1 -1
  14. package/agents/{qgsd-quorum-worker.md → nf-quorum-worker.md} +6 -6
  15. package/agents/{qgsd-research-synthesizer.md → nf-research-synthesizer.md} +5 -5
  16. package/agents/{qgsd-roadmapper.md → nf-roadmapper.md} +3 -3
  17. package/agents/{qgsd-verifier.md → nf-verifier.md} +8 -8
  18. package/bin/accept-debug-invariant.cjs +2 -2
  19. package/bin/account-manager.cjs +10 -10
  20. package/bin/aggregate-requirements.cjs +1 -1
  21. package/bin/analyze-assumptions.cjs +3 -3
  22. package/bin/analyze-state-space.cjs +14 -14
  23. package/bin/assumption-register.cjs +146 -0
  24. package/bin/attribute-trace-divergence.cjs +1 -1
  25. package/bin/auth-drivers/gh-cli.cjs +1 -1
  26. package/bin/auth-drivers/pool.cjs +1 -1
  27. package/bin/autoClosePtoF.cjs +3 -3
  28. package/bin/budget-tracker.cjs +77 -0
  29. package/bin/build-layer-manifest.cjs +153 -0
  30. package/bin/call-quorum-slot.cjs +3 -3
  31. package/bin/ccr-secure-config.cjs +5 -5
  32. package/bin/check-bundled-sdks.cjs +1 -1
  33. package/bin/check-mcp-health.cjs +1 -1
  34. package/bin/check-provider-health.cjs +6 -6
  35. package/bin/check-spec-sync.cjs +26 -26
  36. package/bin/check-trace-schema-drift.cjs +5 -5
  37. package/bin/conformance-schema.cjs +2 -2
  38. package/bin/cross-layer-dashboard.cjs +297 -0
  39. package/bin/design-impact.cjs +377 -0
  40. package/bin/detect-coverage-gaps.cjs +7 -7
  41. package/bin/failure-mode-catalog.cjs +227 -0
  42. package/bin/failure-taxonomy.cjs +177 -0
  43. package/bin/formal-scope-scan.cjs +179 -0
  44. package/bin/gate-a-grounding.cjs +334 -0
  45. package/bin/gate-b-abstraction.cjs +243 -0
  46. package/bin/gate-c-validation.cjs +166 -0
  47. package/bin/generate-formal-specs.cjs +17 -17
  48. package/bin/generate-petri-net.cjs +3 -3
  49. package/bin/generate-tla-cfg.cjs +5 -5
  50. package/bin/git-heatmap.cjs +571 -0
  51. package/bin/harness-diagnostic.cjs +326 -0
  52. package/bin/hazard-model.cjs +261 -0
  53. package/bin/install-formal-tools.cjs +1 -1
  54. package/bin/install.js +184 -139
  55. package/bin/instrumentation-map.cjs +178 -0
  56. package/bin/invariant-catalog.cjs +437 -0
  57. package/bin/issue-classifier.cjs +2 -2
  58. package/bin/load-baseline-requirements.cjs +4 -4
  59. package/bin/manage-agents-core.cjs +32 -32
  60. package/bin/migrate-to-slots.cjs +39 -39
  61. package/bin/mismatch-register.cjs +217 -0
  62. package/bin/nForma.cjs +176 -81
  63. package/bin/{qgsd-solve.cjs → nf-solve.cjs} +327 -14
  64. package/bin/observe-config.cjs +8 -0
  65. package/bin/observe-debt-writer.cjs +1 -1
  66. package/bin/observe-handler-deps.cjs +356 -0
  67. package/bin/observe-handler-grafana.cjs +2 -17
  68. package/bin/observe-handler-internal.cjs +5 -5
  69. package/bin/observe-handler-logstash.cjs +2 -17
  70. package/bin/observe-handler-prometheus.cjs +2 -17
  71. package/bin/observe-handler-upstream.cjs +251 -0
  72. package/bin/observe-handlers.cjs +12 -33
  73. package/bin/observe-render.cjs +68 -22
  74. package/bin/observe-utils.cjs +37 -0
  75. package/bin/observed-fsm.cjs +324 -0
  76. package/bin/planning-paths.cjs +6 -0
  77. package/bin/polyrepo.cjs +1 -1
  78. package/bin/probe-quorum-slots.cjs +1 -1
  79. package/bin/promote-gate-maturity.cjs +274 -0
  80. package/bin/promote-model.cjs +1 -1
  81. package/bin/propose-debug-invariants.cjs +1 -1
  82. package/bin/quorum-cache.cjs +144 -0
  83. package/bin/quorum-consensus-gate.cjs +1 -1
  84. package/bin/quorum-slot-dispatch.cjs +6 -6
  85. package/bin/requirements-core.cjs +1 -1
  86. package/bin/review-mcp-logs.cjs +1 -1
  87. package/bin/risk-heatmap.cjs +151 -0
  88. package/bin/run-account-manager-tlc.cjs +4 -4
  89. package/bin/run-account-pool-alloy.cjs +2 -2
  90. package/bin/run-alloy.cjs +2 -2
  91. package/bin/run-audit-alloy.cjs +2 -2
  92. package/bin/run-breaker-tlc.cjs +3 -3
  93. package/bin/run-formal-check.cjs +9 -9
  94. package/bin/run-formal-verify.cjs +30 -9
  95. package/bin/run-installer-alloy.cjs +2 -2
  96. package/bin/run-oscillation-tlc.cjs +4 -4
  97. package/bin/run-phase-tlc.cjs +1 -1
  98. package/bin/run-protocol-tlc.cjs +4 -4
  99. package/bin/run-quorum-composition-alloy.cjs +2 -2
  100. package/bin/run-sensitivity-sweep.cjs +2 -2
  101. package/bin/run-stop-hook-tlc.cjs +3 -3
  102. package/bin/run-tlc.cjs +21 -21
  103. package/bin/run-transcript-alloy.cjs +2 -2
  104. package/bin/secrets.cjs +5 -5
  105. package/bin/security-sweep.cjs +238 -0
  106. package/bin/sensitivity-report.cjs +3 -3
  107. package/bin/set-secret.cjs +5 -5
  108. package/bin/setup-telemetry-cron.sh +3 -3
  109. package/bin/stall-detector.cjs +126 -0
  110. package/bin/state-candidates.cjs +206 -0
  111. package/bin/sync-baseline-requirements.cjs +1 -1
  112. package/bin/telemetry-collector.cjs +1 -1
  113. package/bin/test-changed.cjs +111 -0
  114. package/bin/test-recipe-gen.cjs +250 -0
  115. package/bin/trace-corpus-stats.cjs +211 -0
  116. package/bin/unified-mcp-server.mjs +3 -3
  117. package/bin/update-scoreboard.cjs +1 -1
  118. package/bin/validate-memory.cjs +2 -2
  119. package/bin/validate-traces.cjs +10 -10
  120. package/bin/verify-quorum-health.cjs +66 -5
  121. package/bin/xstate-to-tla.cjs +4 -4
  122. package/bin/xstate-trace-walker.cjs +3 -3
  123. package/commands/{qgsd → nf}/add-phase.md +3 -3
  124. package/commands/{qgsd → nf}/add-requirement.md +3 -3
  125. package/commands/{qgsd → nf}/add-todo.md +3 -3
  126. package/commands/{qgsd → nf}/audit-milestone.md +4 -4
  127. package/commands/{qgsd → nf}/check-todos.md +3 -3
  128. package/commands/{qgsd → nf}/cleanup.md +3 -3
  129. package/commands/{qgsd → nf}/close-formal-gaps.md +2 -2
  130. package/commands/{qgsd → nf}/complete-milestone.md +9 -9
  131. package/commands/{qgsd → nf}/debug.md +9 -9
  132. package/commands/{qgsd → nf}/discuss-phase.md +3 -3
  133. package/commands/{qgsd → nf}/execute-phase.md +15 -15
  134. package/commands/{qgsd → nf}/fix-tests.md +3 -3
  135. package/commands/{qgsd → nf}/formal-test-sync.md +1 -1
  136. package/commands/{qgsd → nf}/health.md +3 -3
  137. package/commands/{qgsd → nf}/help.md +3 -3
  138. package/commands/{qgsd → nf}/insert-phase.md +3 -3
  139. package/commands/nf/join-discord.md +18 -0
  140. package/commands/{qgsd → nf}/list-phase-assumptions.md +2 -2
  141. package/commands/{qgsd → nf}/map-codebase.md +7 -7
  142. package/commands/{qgsd → nf}/map-requirements.md +3 -3
  143. package/commands/{qgsd → nf}/mcp-restart.md +3 -3
  144. package/commands/{qgsd → nf}/mcp-set-model.md +8 -8
  145. package/commands/{qgsd → nf}/mcp-setup.md +63 -63
  146. package/commands/{qgsd → nf}/mcp-status.md +3 -3
  147. package/commands/{qgsd → nf}/mcp-update.md +7 -7
  148. package/commands/{qgsd → nf}/new-milestone.md +8 -8
  149. package/commands/{qgsd → nf}/new-project.md +8 -8
  150. package/commands/{qgsd → nf}/observe.md +49 -16
  151. package/commands/{qgsd → nf}/pause-work.md +3 -3
  152. package/commands/{qgsd → nf}/plan-milestone-gaps.md +5 -5
  153. package/commands/{qgsd → nf}/plan-phase.md +6 -6
  154. package/commands/{qgsd → nf}/polyrepo.md +2 -2
  155. package/commands/{qgsd → nf}/progress.md +3 -3
  156. package/commands/{qgsd → nf}/queue.md +2 -2
  157. package/commands/{qgsd → nf}/quick.md +8 -8
  158. package/commands/{qgsd → nf}/quorum-test.md +10 -10
  159. package/commands/{qgsd → nf}/quorum.md +40 -40
  160. package/commands/{qgsd → nf}/reapply-patches.md +2 -2
  161. package/commands/{qgsd → nf}/remove-phase.md +3 -3
  162. package/commands/{qgsd → nf}/research-phase.md +12 -12
  163. package/commands/{qgsd → nf}/resume-work.md +3 -3
  164. package/commands/nf/review-requirements.md +31 -0
  165. package/commands/{qgsd → nf}/set-profile.md +3 -3
  166. package/commands/{qgsd → nf}/settings.md +6 -6
  167. package/commands/{qgsd → nf}/solve.md +35 -35
  168. package/commands/{qgsd → nf}/sync-baselines.md +4 -4
  169. package/commands/{qgsd → nf}/triage.md +10 -10
  170. package/commands/{qgsd → nf}/update.md +3 -3
  171. package/commands/{qgsd → nf}/verify-work.md +5 -5
  172. package/hooks/dist/config-loader.js +188 -32
  173. package/hooks/dist/conformance-schema.cjs +2 -2
  174. package/hooks/dist/gsd-context-monitor.js +118 -13
  175. package/hooks/dist/{qgsd-check-update.js → nf-check-update.js} +5 -5
  176. package/hooks/dist/{qgsd-circuit-breaker.js → nf-circuit-breaker.js} +35 -24
  177. package/hooks/dist/nf-circuit-breaker.test.js +1002 -0
  178. package/hooks/dist/{qgsd-precompact.js → nf-precompact.js} +13 -13
  179. package/hooks/dist/nf-precompact.test.js +227 -0
  180. package/hooks/dist/{qgsd-prompt.js → nf-prompt.js} +110 -33
  181. package/hooks/dist/nf-prompt.test.js +698 -0
  182. package/hooks/dist/nf-session-start.js +185 -0
  183. package/hooks/dist/nf-session-start.test.js +354 -0
  184. package/hooks/dist/{qgsd-slot-correlator.js → nf-slot-correlator.js} +13 -5
  185. package/hooks/dist/nf-slot-correlator.test.js +85 -0
  186. package/hooks/dist/{qgsd-spec-regen.js → nf-spec-regen.js} +17 -8
  187. package/hooks/dist/nf-spec-regen.test.js +73 -0
  188. package/hooks/dist/{qgsd-statusline.js → nf-statusline.js} +12 -3
  189. package/hooks/dist/nf-statusline.test.js +157 -0
  190. package/hooks/dist/{qgsd-stop.js → nf-stop.js} +152 -18
  191. package/hooks/dist/nf-stop.test.js +1388 -0
  192. package/hooks/dist/{qgsd-token-collector.js → nf-token-collector.js} +12 -4
  193. package/hooks/dist/nf-token-collector.test.js +262 -0
  194. package/hooks/dist/unified-mcp-server.mjs +2 -2
  195. package/package.json +4 -4
  196. package/scripts/build-hooks.js +13 -6
  197. package/scripts/secret-audit.sh +1 -1
  198. package/scripts/verify-hooks-sync.cjs +90 -0
  199. package/templates/{qgsd.json → nf.json} +4 -4
  200. package/commands/qgsd/join-discord.md +0 -18
  201. package/hooks/dist/qgsd-session-start.js +0 -122
@@ -1,5 +1,5 @@
1
1
  #!/usr/bin/env node
2
- // hooks/qgsd-circuit-breaker.js
2
+ // hooks/nf-circuit-breaker.js
3
3
  // PreToolUse hook — oscillation detection, state persistence, and notification for circuit breaker.
4
4
  //
5
5
  // Reads JSON from stdin (Claude Code PreToolUse event payload), checks for oscillation
@@ -94,30 +94,38 @@ function getCommitDiff(gitRoot, olderHash, newerHash, files) {
94
94
 
95
95
  // Second-pass reversion check: given the hashes (newest-first) belonging to
96
96
  // run-groups for an oscillating file set key, and the files in that set,
97
- // determines whether the pattern is true oscillation or TDD progression.
97
+ // determines whether the pattern is true oscillation or TDD/workflow progression.
98
+ //
99
+ // Algorithm: sum net change (additions - deletions) across all consecutive pairs,
100
+ // AND track whether at least one pair has negative net change (content removal).
98
101
  //
99
- // Algorithm: sum net change (additions - deletions) across all consecutive pairs.
100
102
  // - Positive total net change → file grew overall → TDD progression (not oscillation).
101
- // - Zero or negative total net change file didn't grow true oscillation.
103
+ // - Zero or negative total net change WITH at least one pair showing net deletions
104
+ // → true oscillation (content was added then removed).
105
+ // - Zero or negative total net change with NO pair showing net deletions
106
+ // (all pairs are zero-net substitutions) → NOT oscillation. This is monotonic
107
+ // workflow progression (e.g., template → linter substitution → population).
102
108
  //
103
109
  // This correctly handles TDD patterns where a line like `module.exports` is modified
104
110
  // (1 deletion, 1 addition per commit) alongside net-new lines — the net change remains
105
111
  // positive because new functions are added each time.
106
112
  //
107
- // For true oscillation (same content toggled back and forth), each pair is symmetric
108
- // (same number added as removed) so the total net change is zero.
113
+ // For true oscillation (same content toggled back and forth), at least one pair
114
+ // will show a net-negative change (lines removed that were added in a prior pair).
109
115
  //
110
116
  // hashes: all commit hashes (newest-first) in the oscillating run-groups
111
117
  // files: file paths in the oscillating set
112
118
  // gitRoot: git repository root
113
119
  //
114
- // Returns true if real oscillation (net change <= 0), false if TDD progression (net change > 0).
120
+ // Returns true if real oscillation (net change <= 0 AND at least one negative pair).
121
+ // Returns false if all pairs are zero-net substitutions (monotonic workflow progression).
115
122
  // Returns true also if ALL pairs errored out (git unavailable → fall back to original behavior).
116
123
  function hasReversionInHashes(gitRoot, hashes, files) {
117
124
  // hashes are newest-first; consecutive pairs: (hashes[i], hashes[i-1]) where
118
125
  // hashes[i] is older (higher index = earlier in time), hashes[i-1] is newer.
119
126
  // We diff older → newer: git diff <hashes[i]> <hashes[i-1]>
120
127
  let totalNetChange = 0;
128
+ let hasNegativePair = false;
121
129
  let errorsOnly = true;
122
130
 
123
131
  for (let i = hashes.length - 1; i >= 1; i--) {
@@ -142,15 +150,18 @@ function hasReversionInHashes(gitRoot, hashes, files) {
142
150
  else if (line.startsWith('-')) deletions++;
143
151
  }
144
152
 
145
- totalNetChange += (additions - deletions);
153
+ const pairNet = additions - deletions;
154
+ totalNetChange += pairNet;
155
+ if (pairNet < 0) hasNegativePair = true;
146
156
  }
147
157
 
148
158
  // If all pairs errored out → fall back to original behavior (treat as oscillation)
149
159
  if (errorsOnly) return true;
150
160
 
151
161
  // Positive net change → file grew overall → TDD progression, not oscillation
152
- // Zero or negative net change file didn't grow → real oscillation
153
- return totalNetChange <= 0;
162
+ // Zero or negative net change WITH at least one negative pair → real oscillation
163
+ // Zero or negative net change with NO negative pair → monotonic substitution workflow, not oscillation
164
+ return totalNetChange <= 0 && hasNegativePair;
154
165
  }
155
166
 
156
167
  // Detects true oscillation: returns { detected: bool, fileSet: string[] }
@@ -301,7 +312,7 @@ function writeState(statePath, fileSet, snapshot) {
301
312
  };
302
313
  fs.writeFileSync(statePath, JSON.stringify(state, null, 2), 'utf8');
303
314
  } catch (e) {
304
- process.stderr.write(`[qgsd] WARNING: Could not write circuit breaker state: ${e.message}\n`);
315
+ process.stderr.write(`[nf] WARNING: Could not write circuit breaker state: ${e.message}\n`);
305
316
  // Fail-open: do not block execution
306
317
  }
307
318
  }
@@ -329,7 +340,7 @@ function appendFalseNegative(statePath, fileSet) {
329
340
  });
330
341
  fs.writeFileSync(fnLogPath, JSON.stringify(existing, null, 2), 'utf8');
331
342
  } catch (e) {
332
- process.stderr.write(`[qgsd] WARNING: Could not write false-negative log: ${e.message}\n`);
343
+ process.stderr.write(`[nf] WARNING: Could not write false-negative log: ${e.message}\n`);
333
344
  // Fail-open: do not block execution
334
345
  }
335
346
  }
@@ -352,7 +363,7 @@ function writeOscillationLog(logPath, log) {
352
363
  fs.mkdirSync(path.dirname(logPath), { recursive: true });
353
364
  fs.writeFileSync(logPath, JSON.stringify(log, null, 2), 'utf8');
354
365
  } catch (e) {
355
- process.stderr.write(`[qgsd] WARNING: Could not write oscillation log: ${e.message}\n`);
366
+ process.stderr.write(`[nf] WARNING: Could not write oscillation log: ${e.message}\n`);
356
367
  }
357
368
  }
358
369
 
@@ -387,7 +398,7 @@ function appendConformanceEvent(event) {
387
398
  const logPath = pp.resolve(process.cwd(), 'conformance-events');
388
399
  fs.appendFileSync(logPath, JSON.stringify(event) + '\n', 'utf8');
389
400
  } catch (err) {
390
- process.stderr.write('[qgsd] conformance log write failed: ' + err.message + '\n');
401
+ process.stderr.write('[nf] conformance log write failed: ' + err.message + '\n');
391
402
  }
392
403
  }
393
404
 
@@ -416,12 +427,12 @@ function buildBlockReason(state) {
416
427
  lines.push('');
417
428
  }
418
429
  lines.push(
419
- 'Invoke Oscillation Resolution Mode per R5 in CLAUDE.md — see qgsd-core/workflows/oscillation-resolution-mode.md for the full procedure.',
430
+ 'Invoke Oscillation Resolution Mode per R5 in CLAUDE.md — see core/workflows/oscillation-resolution-mode.md for the full procedure.',
420
431
  '',
421
432
  'Read-only operations are still allowed (e.g. git log --oneline to review the commit history).',
422
433
  'You must manually commit a root-cause fix before write operations are unblocked.',
423
434
  '',
424
- "After committing the fix, run 'npx qgsd --reset-breaker' to clear the circuit breaker state.",
435
+ "After committing the fix, run 'npx nforma --reset-breaker' to clear the circuit breaker state.",
425
436
  );
426
437
  return lines.join('\n');
427
438
  }
@@ -453,11 +464,11 @@ function buildWarningNotice(state) {
453
464
  }
454
465
 
455
466
  lines.push(
456
- 'Invoke Oscillation Resolution Mode per R5 in CLAUDE.md — see qgsd-core/workflows/oscillation-resolution-mode.md for the full procedure.',
467
+ 'Invoke Oscillation Resolution Mode per R5 in CLAUDE.md — see core/workflows/oscillation-resolution-mode.md for the full procedure.',
457
468
  '',
458
- 'After committing the fix, run \'npx qgsd --reset-breaker\' to clear the circuit breaker state.',
459
- 'To temporarily disable the circuit breaker for deliberate iterative work, run \'npx qgsd --disable-breaker\'.',
460
- 'Re-enable with \'npx qgsd --enable-breaker\' when done.'
469
+ 'After committing the fix, run \'npx nforma --reset-breaker\' to clear the circuit breaker state.',
470
+ 'To temporarily disable the circuit breaker for deliberate iterative work, run \'npx nforma --disable-breaker\'.',
471
+ 'Re-enable with \'npx nforma --enable-breaker\' when done.'
461
472
  );
462
473
 
463
474
  return lines.join('\n');
@@ -568,10 +579,10 @@ req.end();
568
579
  // Clear state file so PreToolUse stops warning
569
580
  const statePath = path.join(gitRoot, '.claude', 'circuit-breaker-state.json');
570
581
  try { if (fs.existsSync(statePath)) fs.rmSync(statePath); } catch {}
571
- process.stderr.write(`[qgsd] INFO: Oscillation resolved by Haiku — circuit breaker cleared.\n`);
582
+ process.stderr.write(`[nf] INFO: Oscillation resolved by Haiku — circuit breaker cleared.\n`);
572
583
  }
573
584
  } catch (e) {
574
- process.stderr.write(`[qgsd] WARNING: PostToolUse Haiku check failed: ${e.message}\n`);
585
+ process.stderr.write(`[nf] WARNING: PostToolUse Haiku check failed: ${e.message}\n`);
575
586
  }
576
587
  process.exit(0);
577
588
  }
@@ -627,7 +638,7 @@ req.end();
627
638
  if (verdict === 'REFINEMENT') {
628
639
  // Haiku confirmed this is iterative refinement, not a bug loop — do not notify.
629
640
  // Log false-negative for auditability (stderr + persistent file).
630
- process.stderr.write(`[qgsd] INFO: circuit breaker false-negative — Haiku classified oscillation as REFINEMENT (files: ${result.fileSet.join(', ')}). Allowing tool call to proceed.\n`);
641
+ process.stderr.write(`[nf] INFO: circuit breaker false-negative — Haiku classified oscillation as REFINEMENT (files: ${result.fileSet.join(', ')}). Allowing tool call to proceed.\n`);
631
642
  appendFalseNegative(statePath, result.fileSet);
632
643
  process.exit(0);
633
644
  }
@@ -656,7 +667,7 @@ req.end();
656
667
  };
657
668
  writeOscillationLog(logPath, oscLog);
658
669
 
659
- // Write state so qgsd-prompt.js picks it up on next user message
670
+ // Write state so nf-prompt.js picks it up on next user message
660
671
  writeState(statePath, result.fileSet, fileSets);
661
672
 
662
673
  appendConformanceEvent({