specrails-core 5.3.0 → 5.4.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.4.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,20 @@
   "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 } } }
+    } },
+    "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" }
+    } },
+    "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"] }
@@ -26,6 +36,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 +55,21 @@
     } }
   },
   "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" },
+      "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" }
     } }