nimai-mcp 0.3.7 → 0.3.9

package/data/FORGE-quickref.md

@@ -212,17 +212,23 @@ You are a Specification Quality Reviewer operating under the FORGE framework.
 Your job is to evaluate the draft spec below for spec quality only — not implementation correctness.
 Do NOT assess any code, code diffs, or implementation output.
 
-Evaluate each dimension with a binary PASS or FAIL:
-1. Binary acceptance criteria — are all sub-task ACs measurable and unambiguous?
-2. Scope coherence — are in-scope/out-of-scope boundaries clear and non-contradictory?
-3. Constraint sufficiency — do Must/Must-Not/Prefer/Escalate constraints cover key risks?
-4. Decomposition realism — can each sub-task be done within 2 hours by a skilled agent?
-5. Start-without-clarification viability — can an agent begin immediately without asking for more info?
-
-Always end your response with a JSON verdict block:
+Evaluate each dimension. Cite evidence for every verdict — a verdict without citation is treated as NO_GO.
+Classify each issue as HARD_FAIL, SOFT_FAIL, or NOTE. passed: true requires zero HARD_FAILs.
+
+1. Binary acceptance criteria — are all sub-task ACs measurable and unambiguous? Pre-checked [x] ACs are always invalid.
+2. Scope coherence — are in-scope/out-of-scope boundaries clear and non-contradictory? Terminology mismatches between conceptual and persisted representations are a HARD_FAIL.
+3. Constraint sufficiency — do Must/Must-Not/Prefer/Escalate constraints cover the key risks?
+4. Decomposition realism — can each sub-task be done within 2 hours? Sub-task dependencies must be explicit.
+5. Start-without-clarification viability — can an agent begin immediately with the context provided?
+6. Internal consistency — are terms, names, and concepts used consistently throughout?
+7. Mechanism lock — does every core flow commit to exactly ONE implementation path? Any "e.g./or/could/might/such as" in Deliverable, Scope, Constraints, or Tasks is a HARD_FAIL.
+8. Convergence declaration — does the spec include a Spec Convergence section with open_questions: 0 and ambiguities_remaining: 0? Absent, non-zero, or ready_for_build: no is a HARD_FAIL.
+9. Adversarial gap scan — does the spec include a substantively filled Edge Cases and Failure Modes section? Steelman as a builder following it exactly: what failure modes are unaddressed? Absent or placeholder-only is a HARD_FAIL for medium/high risk specs.
+
+Always end your response with:
 ## Verdict
 ```json
-{"passed": <true|false>, "issues": ["<issue>", ...]}
+{"passed": <true|false>, "schema_version": "2", "issues": [{"dimension": "<name>", "severity": "<HARD_FAIL|SOFT_FAIL|NOTE>", "detail": "<cited evidence>"}]}
 ```
 
 Draft spec: [PASTE DRAFT SPEC HERE]
@@ -306,6 +312,7 @@ PASS → done  |  FAIL → revise or escalate
 - [ ] Spec red-teamed against Failure Mode Taxonomy
 - [ ] Planner execution plan will be saved as artifact
 - [ ] Living Specification log set up (multi-session)
+- [ ] Spec Convergence section filled — `open_questions: 0`, `ambiguities_remaining: 0`, `ready_for_build: yes`
 
 ---
 

package/data/FORGE-spec-template.md

@@ -91,6 +91,26 @@ The project is complete when ALL of the following are true:
 
 ---
 
+## 1.5 Mechanism Decision
+*One block per core architectural or algorithmic choice. If no core mechanism applies, write "N/A" and justify.*
+*A builder must be able to start coding without choosing missing architecture. If any mechanism is undecided, resolve it here first.*
+
+---
+
+**Decision: [short name, e.g., "Primary parsing method"]**
+
+```
+Chosen approach: _______________________________________________
+
+Rejected alternatives: _________________________________________
+
+Why rejected: __________________________________________________
+
+Impact on ACs: _________________________________________________
+```
+
+---
+
 ## 2. Intent Layer — The Compass
 
 ### 2.1 Agent Deployment Purpose
@@ -372,6 +392,37 @@ Acceptance criteria: _____________________________________
 
 ---
 
+## 8.5 Edge Cases and Failure Modes
+> Required for medium/high risk specs. Red-team the spec before builder handoff.
+> For each scenario, document what the spec says the builder must do. A blank list is a hard stop.
+
+**FORGE failure mode coverage:**
+- Scope Creep — which Must-Not explicitly prevents it: `_______________`
+- Hallucinated Completion — which AC is hardest to fake: `_______________`
+- Intent Drift — which decision will the builder most likely get wrong: `_______________`
+- Context Collapse — what context is load-bearing and must not be dropped: `_______________`
+- Runaway Cost — what resource cap prevents unbounded execution: `_______________`
+- Overconfident Output — what requires uncertainty reporting: `_______________`
+
+**Domain-specific edge cases:**
+- `_______________`
+- `_______________`
+
+---
+
+## 9. Spec Convergence
+> Fill before handing to a builder. A non-zero count or "no" is a hard stop.
+> Every [NEEDS HUMAN INPUT] flag from spec drafting must be resolved before this section is filled.
+
+```
+open_questions: 0
+ambiguities_remaining: 0
+ready_for_build: yes
+convergence_notes: _______________________________________________
+```
+
+---
+
 *FORGE Spec Template v1.0 — companion to the FORGE system. A blank field is an unresolved decision.*
 *System docs: Quick Reference · Canonical Framework · Spec Template (this doc)*
 

package/dist/contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAIzD,eAAO,MAAM,cAAc;;;;;;;;;EAGzB,CAAC;AAEH,eAAO,MAAM,gBAAgB;;;;;;EAE3B,CAAC;AAEH,eAAO,MAAM,kBAAkB;;;;;;EAE7B,CAAC;AAEH,eAAO,MAAM,aAAa;;;;;;EAExB,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;EAE/B,CAAC;AAIH,MAAM,WAAW,eAAe;IAC9B,+EAA+E;IAC/E,MAAM,EAAE,MAAM,CAAC;IACf,mDAAmD;IACnD,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB;;;;OAIG;IACH,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,iBAAiB;IAChC,+EAA+E;IAC/E,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,oDAAoD;IACpD,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,kCAAkC;IAClC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,qBAAqB;IACpC;;;OAGG;IACH,kBAAkB,EAAE,MAAM,CAAC;IAC3B;;;OAGG;IACH,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAID,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAgDnB,CAAC"}
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAIzD,eAAO,MAAM,cAAc;;;;;;;;;EAGzB,CAAC;AAEH,eAAO,MAAM,gBAAgB;;;;;;EAE3B,CAAC;AAEH,eAAO,MAAM,kBAAkB;;;;;;EAE7B,CAAC;AAEH,eAAO,MAAM,aAAa;;;;;;EAExB,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;EAE/B,CAAC;AAIH,MAAM,WAAW,eAAe;IAC9B,+EAA+E;IAC/E,MAAM,EAAE,MAAM,CAAC;IACf,mDAAmD;IACnD,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB;;;;OAIG;IACH,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,iBAAiB;IAChC,+EAA+E;IAC/E,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,oDAAoD;IACpD,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,kCAAkC;IAClC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,qBAAqB;IACpC;;;OAGG;IACH,kBAAkB,EAAE,MAAM,CAAC;IAC3B;;;OAGG;IACH,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAID,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDnB,CAAC"}

package/dist/contract.js

@@ -42,7 +42,9 @@ exports.TOOL_DESCRIPTORS = {
             'Also returns existing_specs: paths of nimai-managed spec files already in the repo. ' +
             'If existing_specs is empty, call nimai_new first to scaffold a spec file, then fill it using the returned prompt. ' +
             'If existing_specs is non-empty, fill one of those files instead. ' +
-            'After filling: call nimai_validate, then nimai_spec_review.',
+            'After filling: call nimai_validate, then nimai_spec_review. ' +
+            'Scope boundary: this tool produces spec prompts/contracts only. ' +
+            'It does not orchestrate runtime execution, retries, agent routing, or session control.',
         inputSchema: exports.ForgeSpecInput,
     },
     nimai_review: {
@@ -74,7 +76,9 @@ exports.TOOL_DESCRIPTORS = {
             'The user will take the specReviewerPrompt to an independent reviewer (fresh session, different model). ' +
             'Wait for the user to return the verdict block: {"passed": true/false, "schema_version": "2", "issues": [...]}. ' +
             'If passed=false, fix the spec using the issues list, re-run nimai_validate, then call this again. ' +
-            'For reviewing an implementation against an approved spec, use nimai_review instead.',
+            'For reviewing an implementation against an approved spec, use nimai_review instead. ' +
+            'Scope boundary: this tool governs spec quality review contracts only. ' +
+            'It does not execute implementation workflows or runtime orchestration.',
         inputSchema: exports.ForgeSpecReviewInput,
     },
 };

package/dist/contract.js.map

@@ -1 +1 @@
-{"version":3,"file":"contract.js","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;AAEH,6BAAwB;AAGxB,iFAAiF;AAEpE,QAAA,cAAc,GAAG,OAAC,CAAC,MAAM,CAAC;IACrC,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sCAAsC,CAAC;IACrE,OAAO,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,8CAA8C,CAAC;CACpF,CAAC,CAAC;AAEU,QAAA,gBAAgB,GAAG,OAAC,CAAC,MAAM,CAAC;IACvC,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,yCAAyC,CAAC;CACzE,CAAC,CAAC;AAEU,QAAA,kBAAkB,GAAG,OAAC,CAAC,MAAM,CAAC;IACzC,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,wCAAwC,CAAC;CACxE,CAAC,CAAC;AAEU,QAAA,aAAa,GAAG,OAAC,CAAC,MAAM,CAAC;IACpC,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,gDAAgD,CAAC;CACzF,CAAC,CAAC;AAEU,QAAA,oBAAoB,GAAG,OAAC,CAAC,MAAM,CAAC;IAC3C,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kDAAkD,CAAC;CAClF,CAAC,CAAC;AAsDH,iFAAiF;AAEpE,QAAA,gBAAgB,GAAG;IAC9B,UAAU,EAAE;QACV,IAAI,EAAE,YAAY;QAClB,WAAW,EACT,2FAA2F;YAC3F,+FAA+F;YAC/F,sFAAsF;YACtF,oHAAoH;YACpH,mEAAmE;YACnE,6DAA6D;QAC/D,WAAW,EAAE,sBAAc;KAC5B;IACD,YAAY,EAAE;QACZ,IAAI,EAAE,cAAc;QACpB,WAAW,EACT,8FAA8F;YAC9F,6CAA6C;YAC7C,2EAA2E;QAC7E,WAAW,EAAE,wBAAgB;KAC9B;IACD,cAAc,EAAE;QACd,IAAI,EAAE,gBAAgB;QACtB,WAAW,EACT,wFAAwF;YACxF,oHAAoH;YACpH,6FAA6F;QAC/F,WAAW,EAAE,0BAAkB;KAChC;IACD,SAAS,EAAE;QACT,IAAI,EAAE,WAAW;QACjB,WAAW,EACT,2FAA2F;QAC7F,WAAW,EAAE,qBAAa;KAC3B;IACD,iBAAiB,EAAE;QACjB,IAAI,EAAE,mBAAmB;QACzB,WAAW,EACT,0GAA0G;YAC1G,8CAA8C;YAC9C,6DAA6D;YAC7D,uGAAuG;YACvG,4FAA4F;YAC5F,yGAAyG;YACzG,iHAAiH;YACjH,oGAAoG;YACpG,qFAAqF;QACvF,WAAW,EAAE,4BAAoB;KAClC;CACO,CAAC"}
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;AAEH,6BAAwB;AAGxB,iFAAiF;AAEpE,QAAA,cAAc,GAAG,OAAC,CAAC,MAAM,CAAC;IACrC,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sCAAsC,CAAC;IACrE,OAAO,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,8CAA8C,CAAC;CACpF,CAAC,CAAC;AAEU,QAAA,gBAAgB,GAAG,OAAC,CAAC,MAAM,CAAC;IACvC,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,yCAAyC,CAAC;CACzE,CAAC,CAAC;AAEU,QAAA,kBAAkB,GAAG,OAAC,CAAC,MAAM,CAAC;IACzC,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,wCAAwC,CAAC;CACxE,CAAC,CAAC;AAEU,QAAA,aAAa,GAAG,OAAC,CAAC,MAAM,CAAC;IACpC,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,gDAAgD,CAAC;CACzF,CAAC,CAAC;AAEU,QAAA,oBAAoB,GAAG,OAAC,CAAC,MAAM,CAAC;IAC3C,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kDAAkD,CAAC;CAClF,CAAC,CAAC;AAsDH,iFAAiF;AAEpE,QAAA,gBAAgB,GAAG;IAC9B,UAAU,EAAE;QACV,IAAI,EAAE,YAAY;QAClB,WAAW,EACT,2FAA2F;YAC3F,+FAA+F;YAC/F,sFAAsF;YACtF,oHAAoH;YACpH,mEAAmE;YACnE,8DAA8D;YAC9D,kEAAkE;YAClE,wFAAwF;QAC1F,WAAW,EAAE,sBAAc;KAC5B;IACD,YAAY,EAAE;QACZ,IAAI,EAAE,cAAc;QACpB,WAAW,EACT,8FAA8F;YAC9F,6CAA6C;YAC7C,2EAA2E;QAC7E,WAAW,EAAE,wBAAgB;KAC9B;IACD,cAAc,EAAE;QACd,IAAI,EAAE,gBAAgB;QACtB,WAAW,EACT,wFAAwF;YACxF,oHAAoH;YACpH,6FAA6F;QAC/F,WAAW,EAAE,0BAAkB;KAChC;IACD,SAAS,EAAE;QACT,IAAI,EAAE,WAAW;QACjB,WAAW,EACT,2FAA2F;QAC7F,WAAW,EAAE,qBAAa;KAC3B;IACD,iBAAiB,EAAE;QACjB,IAAI,EAAE,mBAAmB;QACzB,WAAW,EACT,0GAA0G;YAC1G,8CAA8C;YAC9C,6DAA6D;YAC7D,uGAAuG;YACvG,4FAA4F;YAC5F,yGAAyG;YACzG,iHAAiH;YACjH,oGAAoG;YACpG,sFAAsF;YACtF,wEAAwE;YACxE,wEAAwE;QAC1E,WAAW,EAAE,4BAAoB;KAClC;CACO,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "nimai-mcp",
-  "version": "0.3.7",
+  "version": "0.3.9",
   "description": "Nimai MCP server — exposes nimai_spec, nimai_review, nimai_validate, nimai_new as tools. No internal LLM calls.",
   "keywords": [
     "nimai",
@@ -36,7 +36,7 @@
   "dependencies": {
     "@modelcontextprotocol/sdk": "^1.0.0",
     "zod": "^3.23.8",
-    "nimai-core": "0.3.7"
+    "nimai-core": "0.3.9"
   },
   "scripts": {
     "build": "tsc",