specrails-core 5.3.0 → 5.5.0

package/integration-contract.json

@@ -319,7 +319,8 @@
     "verificationPolicy": "Configured commands are optional. The architect proposes commands for repositories without one; repositories with no automated check are admitted and recorded in the receipt as unverifiedRepositories. Unchecked tasks return to the developer as feedback instead of failing the run.",
     "sessionReuse": "Developer correction passes resume the previous provider session (claude --resume, codex exec resume, gemini --resume, kimi --session) with a short correction prompt; an unavailable session falls back to a fresh full turn. Structured roles get one repair turn in-session when their JSON is unusable.",
     "structuredOutput": "Claude receives --json-schema and Codex --output-schema for architect/reviewer replies; other providers are parsed leniently.",
-    "resumeBudget": "An explicit resume resets the transition ceiling and grants the developer a fresh maxAttempts budget."
+    "resumeBudget": "An explicit resume resets the transition ceiling and grants the developer a fresh maxAttempts budget.",
+    "defaultImplementationEngine": true
   },
   "execution": {
     "schemaVersion": 1,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "specrails-core",
-  "version": "5.3.0",
+  "version": "5.5.0",
   "description": "Provider-independent AI agent workflow system for Claude Code, Codex, Gemini CLI, and Kimi Code",
   "type": "module",
   "exports": {
@@ -77,14 +77,17 @@
     "ci": "npm run typecheck && npm run test:scripts && npm run test:coverage && npm run check:package"
   },
   "dependencies": {
+    "@fission-ai/openspec": "1.4.1",
     "@inquirer/prompts": "^7.0.0",
     "@langchain/core": "1.2.10",
     "@langchain/langgraph": "1.4.14",
     "@langchain/langgraph-checkpoint": "1.1.5",
+    "@modelcontextprotocol/sdk": "1.29.0",
     "ajv": "^8.18.0",
     "cross-spawn": "7.0.6",
     "js-yaml": "^4.1.0",
-    "picocolors": "^1.1.1"
+    "picocolors": "^1.1.1",
+    "zod": "4.6.2"
   },
   "devDependencies": {
     "@types/cross-spawn": "6.0.6",

package/schemas/agent-runtime.schema.json

@@ -4,10 +4,22 @@
   "title": "Specrails programmatic agent runtime",
   "type": "object",
   "additionalProperties": false,
-  "required": ["schemaVersion", "enabled", "providers", "agents", "verification"],
+  "required": ["schemaVersion", "providers", "agents", "verification"],
   "properties": {
     "schemaVersion": { "const": 1 },
-    "enabled": { "type": "boolean" },
+    "efficiency": { "type": "object", "additionalProperties": false, "required": ["schemaVersion"], "properties": {
+      "schemaVersion": { "const": 1 }, "contextMode": { "enum": ["full", "incremental"] }, "reviewMode": { "enum": ["full", "incremental"] },
+      "planning": { "enum": ["full", "proportional"] }, "acceptDeveloperChecks": { "type": "boolean" },
+      "verification": { "type": "object", "additionalProperties": false, "properties": { "maxConcurrency": { "type": "integer", "minimum": 1, "maximum": 4 } } }
+    } },
+    "guardrails": { "type": "object", "additionalProperties": false, "properties": { "plan-validation": { "type": "boolean" }, "genuine-blocking-question": { "type": "boolean" }, "plan-language-hint": { "type": "boolean" }, "frozen-plan-writes": { "type": "boolean" }, "primary-language": { "type": "boolean" }, "duplicate-sibling": { "type": "boolean" }, "one-test-per-module": { "type": "boolean" }, "empty-write": { "type": "boolean" }, "evidence-gated-ticking": { "type": "boolean" }, "inventory-retry": { "type": "boolean" }, "synthetic-corrections": { "type": "boolean" }, "silent-group-closure": { "type": "boolean" }, "verify-per-group": { "type": "boolean" }, "test-reachability": { "type": "boolean" }, "exit-code-honesty": { "type": "boolean" }, "environment-repair": { "type": "boolean" }, "lockfile-repair": { "type": "boolean" }, "verify-idle-timeout": { "type": "boolean" } } },
+    "rolePrompts": { "type": "object", "additionalProperties": false, "properties": {
+      "architect": { "type": "string", "minLength": 1, "maxLength": 20000, "pattern": "\\S" },
+      "developer": { "type": "string", "minLength": 1, "maxLength": 20000, "pattern": "\\S" },
+      "reviewer": { "type": "string", "minLength": 1, "maxLength": 20000, "pattern": "\\S" },
+      "fixer": { "type": "string", "minLength": 1, "maxLength": 20000, "pattern": "\\S" }
+    } },
+    "enabled": { "type": "boolean", "deprecated": true, "description": "Accepted for saved configuration compatibility; implementation always uses the agent runtime." },
     "providers": { "type": "array", "items": { "oneOf": [
       { "type": "object", "additionalProperties": false, "required": ["id", "kind", "cli"], "properties": {
         "id": { "$ref": "#/definitions/id" }, "kind": { "const": "cli" }, "cli": { "enum": ["claude", "codex", "gemini", "kimi"] }
@@ -15,9 +27,14 @@
       { "type": "object", "additionalProperties": false, "required": ["id", "kind", "baseUrl"], "properties": {
         "id": { "$ref": "#/definitions/id" }, "kind": { "const": "openai-compatible" },
         "baseUrl": { "type": "string", "pattern": "^https?://[^/?#@]+(?:/[^?#]*)?$" },
-        "apiKeyEnv": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" }
+        "apiKeyEnv": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+        "supportsReasoningEffort": { "type": "boolean", "description": "The endpoint honours the OpenAI reasoning_effort request field (low|medium|high)." },
+        "agentLoop": { "enum": ["compact", "free"], "description": "compact (default): host-driven pipelines of small structured calls for small local models; free: one agentic loop per role with guardrails." },
+        "contextWindowTokens": { "type": "integer", "minimum": 4096, "description": "Context window used for the compaction budget (chars/4 estimate). Default 32768." },
+        "maxOutputTokens": { "type": "integer", "minimum": 1024, "description": "Output budget (max_tokens) of one tool turn; retried once at twice this when cut off, always bounded by the remaining context window. Default 8192." }
       } }
     ] } },
+    "fixer": { "$ref": "#/definitions/agent" },
     "agents": { "type": "object", "additionalProperties": false, "required": ["architect", "developer", "reviewer"], "properties": {
       "architect": { "$ref": "#/definitions/agent" }, "developer": { "$ref": "#/definitions/agent" }, "reviewer": { "$ref": "#/definitions/agent" }
     } },
@@ -26,6 +43,7 @@
       "maxCostUsd": { "type": "number", "exclusiveMinimum": 0 }, "timeoutMs": { "$ref": "#/definitions/positiveInteger" }
     } },
     "verification": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": ["repositoryId", "command", "args"], "properties": {
+      "key": { "$ref": "#/definitions/id" }, "label": { "type": "string", "minLength": 1, "maxLength": 256, "pattern": "\\S" }, "policy": { "$ref": "#/definitions/checkPolicy" },
       "repositoryId": { "$ref": "#/definitions/id" }, "command": { "type": "string", "minLength": 1 },
       "args": { "type": "array", "items": { "type": "string" } }, "cwd": { "type": "string", "minLength": 1 },
       "env": { "type": "object", "propertyNames": { "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" }, "additionalProperties": { "type": "string" } },
@@ -44,10 +62,22 @@
     } }
   },
   "definitions": {
+    "effort": { "type": "string", "pattern": "^[a-z][a-z0-9_-]{0,31}$" },
+    "inputList": { "type": "array", "maxItems": 256, "items": { "type": "string", "minLength": 1, "maxLength": 4096, "pattern": "\\S" } },
+    "checkPolicy": { "type": "object", "additionalProperties": false, "properties": {
+      "reuse": { "enum": ["never", "snapshot-local"] }, "inputs": { "$ref": "#/definitions/inputList" },
+      "toolchainInputs": { "$ref": "#/definitions/inputList" }, "resources": { "$ref": "#/definitions/inputList" },
+      "deterministic": { "type": "boolean" }, "readOnly": { "type": "boolean" }, "independentGroup": { "$ref": "#/definitions/id" }
+    } },
     "id": { "type": "string", "pattern": "^[A-Za-z0-9][A-Za-z0-9._-]{0,127}$" },
     "positiveInteger": { "type": "integer", "minimum": 1 },
     "score": { "type": "number", "minimum": 0, "maximum": 100 },
-    "agent": { "type": "object", "additionalProperties": false, "required": ["provider"], "properties": {
+    "agent": { "type": "object", "additionalProperties": false, "required": ["provider"], "dependencies": { "escalation": ["model"] }, "properties": {
+      "effort": { "$ref": "#/definitions/effort" },
+      "thinking": { "type": "string", "enum": ["on", "off"], "description": "OpenAI-compatible engines only: private thinking (chat_template_kwargs.enable_thinking). Default off." },
+      "escalation": { "type": "object", "additionalProperties": false, "required": ["model"], "properties": {
+        "model": { "type": "string", "minLength": 1, "maxLength": 256, "pattern": "^[^-\\r\\n\\u0000][^\\r\\n\\u0000]*$" }, "effort": { "$ref": "#/definitions/effort" }
+      } },
       "provider": { "$ref": "#/definitions/id" }, "model": { "type": "string", "minLength": 1, "maxLength": 256, "pattern": "^[^-\\r\\n\\u0000][^\\r\\n\\u0000]*$" },
       "maxTurns": { "$ref": "#/definitions/positiveInteger" }
     } }