forgecraft-mcp 1.4.0 → 1.7.0

package/dist/tools/executable-gates.js

@@ -0,0 +1,333 @@
+/**
+ * Tag-driven executable gate matrix for the Executable Sprint phase.
+ *
+ * Each project tag maps to one or more verification tools. When `generate_roadmap`
+ * runs, it reads the project's tags from forgecraft.yaml and selects the appropriate
+ * gates. Gate files (hurl specs, Playwright tests, SQL scripts, WebSocket clients)
+ * are written alongside the session prompt stubs so the AI has a runnable starting
+ * point rather than prose instructions alone.
+ */
+// ── Gate implementations ─────────────────────────────────────────────
+const hurlGate = {
+    tool: "hurl",
+    label: "HTTP contract verification (hurl)",
+    gatePathTemplate: "tests/hurl/{ucId}.hurl",
+    docsUrl: "https://hurl.dev",
+    runCommand: "hurl --test tests/hurl/*.hurl",
+    buildStub: (ucId, ucTitle) => [
+        `# Hurl gate — ${ucId}: ${ucTitle}`,
+        `# Run: hurl --test tests/hurl/${ucId.toLowerCase()}.hurl`,
+        `# Docs: https://hurl.dev`,
+        ``,
+        `# TODO: replace placeholders with actual endpoint, headers, and assertions`,
+        ``,
+        `POST http://localhost:3000/api/v1/TODO`,
+        `Content-Type: application/json`,
+        `{`,
+        `  "TODO": "replace with request body"`,
+        `}`,
+        ``,
+        `HTTP 201`,
+        `[Asserts]`,
+        `jsonpath "$.id" exists`,
+        `jsonpath "$.TODO" isString`,
+        ``,
+    ].join("\n"),
+};
+const playwrightGate = {
+    tool: "playwright",
+    label: "UI end-to-end verification (Playwright)",
+    gatePathTemplate: "tests/e2e/{ucId}.spec.ts",
+    docsUrl: "https://playwright.dev",
+    runCommand: "npx playwright test tests/e2e/",
+    buildStub: (ucId, ucTitle) => [
+        `import { test, expect } from '@playwright/test';`,
+        ``,
+        `// Playwright gate — ${ucId}: ${ucTitle}`,
+        `// Run: npx playwright test tests/e2e/${ucId.toLowerCase()}.spec.ts`,
+        `// Docs: https://playwright.dev`,
+        ``,
+        `test('${ucId}: ${ucTitle}', async ({ page }) => {`,
+        `  // 1. Navigate to the relevant page`,
+        `  await page.goto('http://localhost:3000/TODO');`,
+        ``,
+        `  // 2. Interact: fill inputs, click buttons`,
+        `  await page.fill('[data-testid="TODO"]', 'test value');`,
+        `  await page.click('[data-testid="submit-TODO"]');`,
+        ``,
+        `  // 3. Assert UI response`,
+        `  await expect(page.locator('[data-testid="success-TODO"]')).toBeVisible();`,
+        ``,
+        `  // 4. Confirm DB persistence (via API read-back or direct query)`,
+        `  // TODO: add DB assertion or API read-back call here`,
+        `});`,
+        ``,
+    ].join("\n"),
+};
+const sqlGate = {
+    tool: "sql-client",
+    label: "Database persistence verification (SQL)",
+    gatePathTemplate: "tests/sql/{ucId}.sql",
+    docsUrl: "https://www.postgresql.org/docs/current/app-psql.html",
+    runCommand: "psql $DATABASE_URL -f tests/sql/*.sql",
+    buildStub: (ucId, ucTitle) => [
+        `-- SQL gate — ${ucId}: ${ucTitle}`,
+        `-- Run: psql $DATABASE_URL -f tests/sql/${ucId.toLowerCase()}.sql`,
+        `-- Purpose: confirm expected state change persisted after the use-case operation`,
+        ``,
+        `-- TODO: replace with the actual table and conditions for this use case`,
+        ``,
+        `SELECT COUNT(*) AS row_count`,
+        `FROM TODO_table`,
+        `WHERE TODO_condition = 'expected_value';`,
+        ``,
+        `-- Expected: row_count >= 1`,
+        `-- If 0, the operation did not persist correctly`,
+        ``,
+    ].join("\n"),
+};
+const websocketGate = {
+    tool: "ws-client",
+    label: "Real-time event delivery verification (WebSocket)",
+    gatePathTemplate: "tests/realtime/{ucId}.ts",
+    docsUrl: "https://github.com/websockets/ws",
+    runCommand: "npx tsx tests/realtime/*.ts",
+    buildStub: (ucId, ucTitle) => [
+        `import WebSocket from 'ws';`,
+        ``,
+        `// WebSocket gate — ${ucId}: ${ucTitle}`,
+        `// Run: npx tsx tests/realtime/${ucId.toLowerCase()}.ts`,
+        `// Docs: https://github.com/websockets/ws`,
+        ``,
+        `const ws = new WebSocket('ws://localhost:3000/TODO');`,
+        ``,
+        `ws.on('open', () => {`,
+        `  // Trigger the event that should produce a real-time message`,
+        `  ws.send(JSON.stringify({ type: 'TODO', payload: {} }));`,
+        `});`,
+        ``,
+        `ws.on('message', (data) => {`,
+        `  const msg = JSON.parse(data.toString());`,
+        `  // TODO: assert expected message shape`,
+        `  console.assert(msg.type === 'TODO', 'Expected event type TODO');`,
+        `  ws.close();`,
+        `  process.exit(0);`,
+        `});`,
+        ``,
+        `setTimeout(() => { console.error('TIMEOUT: no message received'); process.exit(1); }, 5000);`,
+        ``,
+    ].join("\n"),
+};
+// ── Tag → gate matrix ─────────────────────────────────────────────────
+// Game gates — three complementary verification types
+const gameSimulationGate = {
+    tool: "game-simulation",
+    label: "Headless balance simulation (win rate, reachability, termination)",
+    gatePathTemplate: "tests/simulation/{ucId}.sim.ts",
+    docsUrl: "https://en.wikipedia.org/wiki/Monte_Carlo_method",
+    runCommand: "npx tsx tests/simulation/*.sim.ts",
+    buildStub: (ucId, ucTitle) => [
+        `// Headless simulation gate — ${ucId}: ${ucTitle}`,
+        `// Run: npx tsx tests/simulation/${ucId.toLowerCase()}.sim.ts`,
+        `//`,
+        `// ARCHITECTURAL PREREQUISITE: this gate only works if game logic is`,
+        `// separated from the rendering layer. If your engine cannot be imported`,
+        `// and run without a renderer, the architecture is not yet correct.`,
+        `// ForgeCraft's GAME template enforces this separation — your GameEngine`,
+        `// must be a pure logic class with zero rendering dependencies.`,
+        `// The ability to run this file IS the architecture proof.`,
+        `//`,
+        `// Three invariants every game must satisfy:`,
+        `//   1. Termination  — a game always ends in bounded steps`,
+        `//   2. Reachability — win state is reachable (win rate > floor)`,
+        `//   3. Balance      — game is not trivially easy (win rate < ceiling)`,
+        ``,
+        `// TODO: import your engine and a headless player strategy`,
+        `// import { GameEngine } from '../../src/engine/GameEngine';`,
+        `// import { RandomPlayer } from '../../src/simulation/RandomPlayer';`,
+        ``,
+        `const RUNS = 1000;`,
+        `const MAX_STEPS = 10_000;   // game must terminate within this many steps`,
+        `const WIN_RATE_MIN = 0.05;  // at least 5% of games should be winnable`,
+        `const WIN_RATE_MAX = 0.95;  // shouldn't be trivially easy`,
+        ``,
+        `let wins = 0;`,
+        `let completions = 0;`,
+        ``,
+        `for (let i = 0; i < RUNS; i++) {`,
+        `  // TODO: replace with your actual engine + player`,
+        `  // const game = GameEngine.create();`,
+        `  // const player = new RandomPlayer();`,
+        `  // let steps = 0;`,
+        `  //`,
+        `  // while (!game.isOver() && steps < MAX_STEPS) {`,
+        `  //   game.applyAction(player.chooseAction(game.getState()));`,
+        `  //   steps++;`,
+        `  // }`,
+        `  // if (game.isOver()) completions++;`,
+        `  // if (game.isWon()) wins++;`,
+        `}`,
+        ``,
+        `const winRate = wins / RUNS;`,
+        `const completionRate = completions / RUNS;`,
+        ``,
+        `console.assert(completionRate >= 0.99,`,
+        `  \`FAIL: game did not terminate in \${MAX_STEPS} steps for \${((1 - completionRate) * 100).toFixed(1)}% of runs\`);`,
+        `console.assert(winRate >= WIN_RATE_MIN,`,
+        `  \`FAIL: win rate too low (\${(winRate * 100).toFixed(1)}%) — game may be unwinnable\`);`,
+        `console.assert(winRate <= WIN_RATE_MAX,`,
+        `  \`FAIL: win rate too high (\${(winRate * 100).toFixed(1)}%) — game is trivially easy\`);`,
+        ``,
+        `console.log(\`PASS: \${RUNS} runs — win rate \${(winRate * 100).toFixed(1)}%, completion \${(completionRate * 100).toFixed(1)}%\`);`,
+        ``,
+    ].join("\n"),
+};
+const gameStateIntegrityGate = {
+    tool: "game-state",
+    label: "Game state integrity (serialize / deserialize / invariants)",
+    gatePathTemplate: "tests/state/{ucId}.state.ts",
+    docsUrl: "https://en.wikipedia.org/wiki/State_(computer_science)",
+    runCommand: "npx tsx tests/state/*.state.ts",
+    buildStub: (ucId, ucTitle) => [
+        `// State integrity gate — ${ucId}: ${ucTitle}`,
+        `// Run: npx tsx tests/state/${ucId.toLowerCase()}.state.ts`,
+        `//`,
+        `// Verifies:`,
+        `//   1. Save/load round-trip produces identical state`,
+        `//   2. State invariants hold after every transition`,
+        `//   3. No illegal state is reachable from a valid initial state`,
+        ``,
+        `// TODO: import your state types and engine`,
+        `// import { GameEngine, GameState } from '../../src/engine/GameEngine';`,
+        ``,
+        `// 1. Round-trip: serialize then deserialize = same state`,
+        `// const initial = GameEngine.create().getState();`,
+        `// const serialized = JSON.stringify(initial);`,
+        `// const restored = GameEngine.fromState(JSON.parse(serialized)).getState();`,
+        `// console.assert(JSON.stringify(restored) === serialized, 'FAIL: save/load round-trip mismatch');`,
+        ``,
+        `// 2. Invariant check: define what must always be true`,
+        `// function assertInvariants(state: GameState): void {`,
+        `//   // TODO: replace with actual invariants for ${ucId}`,
+        `//   console.assert(state.score >= 0, 'score must be non-negative');`,
+        `//   console.assert(state.lives >= 0, 'lives must be non-negative');`,
+        `//   console.assert(Array.isArray(state.entities), 'entities must be an array');`,
+        `// }`,
+        ``,
+        `// 3. Apply N random transitions, assert invariants hold throughout`,
+        `// const engine = GameEngine.create();`,
+        `// for (let step = 0; step < 1000 && !engine.isOver(); step++) {`,
+        `//   engine.applyAction(engine.getValidActions()[0]);`,
+        `//   assertInvariants(engine.getState());`,
+        `// }`,
+        ``,
+        `console.log('PASS: ${ucId} state integrity verified');`,
+        ``,
+    ].join("\n"),
+};
+const gameInterfaceGate = {
+    tool: "game-interface",
+    label: "Game interface contracts (input handling, scoring, events)",
+    gatePathTemplate: "tests/interfaces/{ucId}.iface.ts",
+    docsUrl: "https://en.wikipedia.org/wiki/Software_interface",
+    runCommand: "npx tsx tests/interfaces/*.iface.ts",
+    buildStub: (ucId, ucTitle) => [
+        `// Interface contract gate — ${ucId}: ${ucTitle}`,
+        `// Run: npx tsx tests/interfaces/${ucId.toLowerCase()}.iface.ts`,
+        `//`,
+        `// Verifies the interface contracts for this use case without rendering:`,
+        `//   - Input handler accepts valid actions and rejects invalid ones`,
+        `//   - Scoring function produces correct output for known inputs`,
+        `//   - Event system fires the expected events for known transitions`,
+        ``,
+        `// TODO: import your interfaces`,
+        `// import { InputHandler } from '../../src/input/InputHandler';`,
+        `// import { ScoreEngine } from '../../src/scoring/ScoreEngine';`,
+        `// import { EventBus } from '../../src/events/EventBus';`,
+        ``,
+        `// 1. Input contract: valid action accepted, invalid action rejected`,
+        `// const handler = new InputHandler();`,
+        `// console.assert(handler.isValid({ type: 'TODO_VALID_ACTION' }), 'FAIL: valid action rejected');`,
+        `// console.assert(!handler.isValid({ type: 'INVALID' }), 'FAIL: invalid action accepted');`,
+        ``,
+        `// 2. Scoring contract: known input → known output`,
+        `// const scorer = new ScoreEngine();`,
+        `// console.assert(scorer.calculate({ TODO: 'known_input' }) === 0, 'FAIL: unexpected score');`,
+        ``,
+        `// 3. Event contract: transition fires expected event`,
+        `// const bus = new EventBus();`,
+        `// const fired: string[] = [];`,
+        `// bus.on('TODO_EVENT', () => fired.push('TODO_EVENT'));`,
+        `// // trigger the transition for ${ucId}`,
+        `// console.assert(fired.includes('TODO_EVENT'), 'FAIL: expected event not fired');`,
+        ``,
+        `console.log('PASS: ${ucId} interface contracts verified');`,
+        ``,
+    ].join("\n"),
+};
+const TAG_GATE_MAP = {
+    API: [hurlGate],
+    "WEB-REACT": [playwrightGate],
+    "WEB-STATIC": [playwrightGate],
+    "WEB-NEXT": [playwrightGate, hurlGate],
+    DATABASE: [sqlGate],
+    REALTIME: [websocketGate],
+    GAME: [gameSimulationGate, gameStateIntegrityGate, gameInterfaceGate],
+    SOCIAL: [hurlGate],
+    ANALYTICS: [hurlGate, sqlGate],
+    AUTH: [hurlGate],
+    FINTECH: [hurlGate, sqlGate],
+    HEALTHCARE: [hurlGate, sqlGate],
+};
+/** Tags that always get the hurl gate as a fallback if no specific gate matched */
+const HURL_FALLBACK_TAGS = new Set(["CLI", "LIBRARY", "INFRA", "MOBILE"]);
+// ── Public API ────────────────────────────────────────────────────────
+/**
+ * Resolve the applicable executable gates for a project's tags.
+ * Deduplicates by tool so a project tagged API+AUTH doesn't get two hurl gates.
+ *
+ * @param tags - Project classification tags from forgecraft.yaml
+ * @returns Ordered, deduplicated list of applicable gates
+ */
+export function resolveExecutableGates(tags) {
+    const seen = new Set();
+    const gates = [];
+    for (const tag of tags) {
+        for (const gate of TAG_GATE_MAP[tag] ?? []) {
+            if (!seen.has(gate.tool)) {
+                seen.add(gate.tool);
+                gates.push(gate);
+            }
+        }
+    }
+    // Fallback: if no gates resolved but tag is in fallback set, use hurl
+    if (gates.length === 0 && tags.some((t) => HURL_FALLBACK_TAGS.has(t))) {
+        gates.push(hurlGate);
+    }
+    // Universal fallback: always include hurl if nothing else matched
+    if (gates.length === 0) {
+        gates.push(hurlGate);
+    }
+    return gates;
+}
+/**
+ * Format the gate file path for a specific use case.
+ *
+ * @param gate - The gate definition
+ * @param ucId - Use-case ID (e.g. UC-001)
+ * @returns Relative file path
+ */
+export function gateFilePath(gate, ucId) {
+    return gate.gatePathTemplate.replace("{ucId}", ucId.toLowerCase());
+}
+/**
+ * Build a one-line summary of all active gates for inclusion in the roadmap
+ * phase description header.
+ *
+ * @param gates - Resolved gates
+ * @returns Comma-separated tool list string
+ */
+export function gateToolSummary(gates) {
+    return gates.map((g) => g.tool).join(", ");
+}
+//# sourceMappingURL=executable-gates.js.map

package/dist/tools/executable-gates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executable-gates.js","sourceRoot":"","sources":["../../src/tools/executable-gates.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAuBH,wEAAwE;AAExE,MAAM,QAAQ,GAAmB;IAC/B,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,mCAAmC;IAC1C,gBAAgB,EAAE,wBAAwB;IAC1C,OAAO,EAAE,kBAAkB;IAC3B,UAAU,EAAE,+BAA+B;IAC3C,SAAS,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAC3B;QACE,iBAAiB,IAAI,KAAK,OAAO,EAAE;QACnC,iCAAiC,IAAI,CAAC,WAAW,EAAE,OAAO;QAC1D,0BAA0B;QAC1B,EAAE;QACF,4EAA4E;QAC5E,EAAE;QACF,wCAAwC;QACxC,gCAAgC;QAChC,GAAG;QACH,uCAAuC;QACvC,GAAG;QACH,EAAE;QACF,UAAU;QACV,WAAW;QACX,wBAAwB;QACxB,4BAA4B;QAC5B,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC;CACf,CAAC;AAEF,MAAM,cAAc,GAAmB;IACrC,IAAI,EAAE,YAAY;IAClB,KAAK,EAAE,yCAAyC;IAChD,gBAAgB,EAAE,0BAA0B;IAC5C,OAAO,EAAE,wBAAwB;IACjC,UAAU,EAAE,gCAAgC;IAC5C,SAAS,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAC3B;QACE,kDAAkD;QAClD,EAAE;QACF,wBAAwB,IAAI,KAAK,OAAO,EAAE;QAC1C,yCAAyC,IAAI,CAAC,WAAW,EAAE,UAAU;QACrE,iCAAiC;QACjC,EAAE;QACF,SAAS,IAAI,KAAK,OAAO,0BAA0B;QACnD,uCAAuC;QACvC,kDAAkD;QAClD,EAAE;QACF,8CAA8C;QAC9C,0DAA0D;QAC1D,oDAAoD;QACpD,EAAE;QACF,4BAA4B;QAC5B,6EAA6E;QAC7E,EAAE;QACF,oEAAoE;QACpE,wDAAwD;QACxD,KAAK;QACL,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC;CACf,CAAC;AAEF,MAAM,OAAO,GAAmB;IAC9B,IAAI,EAAE,YAAY;IAClB,KAAK,EAAE,yCAAyC;IAChD,gBAAgB,EAAE,sBAAsB;IACxC,OAAO,EAAE,uDAAuD;IAChE,UAAU,EAAE,uCAAuC;IACnD,SAAS,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAC3B;QACE,iBAAiB,IAAI,KAAK,OAAO,EAAE;QACnC,2CAA2C,IAAI,CAAC,WAAW,EAAE,MAAM;QACnE,kFAAkF;QAClF,EAAE;QACF,yEAAyE;QACzE,EAAE;QACF,8BAA8B;QAC9B,iBAAiB;QACjB,0CAA0C;QAC1C,EAAE;QACF,6BAA6B;QAC7B,kDAAkD;QAClD,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC;CACf,CAAC;AAEF,MAAM,aAAa,GAAmB;IACpC,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,mDAAmD;IAC1D,gBAAgB,EAAE,0BAA0B;IAC5C,OAAO,EAAE,kCAAkC;IAC3C,UAAU,EAAE,6BAA6B;IACzC,SAAS,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAC3B;QACE,6BAA6B;QAC7B,EAAE;QACF,uBAAuB,IAAI,KAAK,OAAO,EAAE;QACzC,kCAAkC,IAAI,CAAC,WAAW,EAAE,KAAK;QACzD,2CAA2C;QAC3C,EAAE;QACF,uDAAuD;QACvD,EAAE;QACF,uBAAuB;QACvB,gEAAgE;QAChE,2DAA2D;QAC3D,KAAK;QACL,EAAE;QACF,8BAA8B;QAC9B,4CAA4C;QAC5C,0CAA0C;QAC1C,oEAAoE;QACpE,eAAe;QACf,oBAAoB;QACpB,KAAK;QACL,EAAE;QACF,8FAA8F;QAC9F,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC;CACf,CAAC;AAEF,yEAAyE;AAEzE,sDAAsD;AAEtD,MAAM,kBAAkB,GAAmB;IACzC,IAAI,EAAE,iBAAiB;IACvB,KAAK,EAAE,mEAAmE;IAC1E,gBAAgB,EAAE,gCAAgC;IAClD,OAAO,EAAE,kDAAkD;IAC3D,UAAU,EAAE,mCAAmC;IAC/C,SAAS,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAC3B;QACE,iCAAiC,IAAI,KAAK,OAAO,EAAE;QACnD,oCAAoC,IAAI,CAAC,WAAW,EAAE,SAAS;QAC/D,IAAI;QACJ,sEAAsE;QACtE,0EAA0E;QAC1E,qEAAqE;QACrE,0EAA0E;QAC1E,iEAAiE;QACjE,4DAA4D;QAC5D,IAAI;QACJ,8CAA8C;QAC9C,4DAA4D;QAC5D,kEAAkE;QAClE,wEAAwE;QACxE,EAAE;QACF,4DAA4D;QAC5D,8DAA8D;QAC9D,sEAAsE;QACtE,EAAE;QACF,oBAAoB;QACpB,2EAA2E;QAC3E,wEAAwE;QACxE,4DAA4D;QAC5D,EAAE;QACF,eAAe;QACf,sBAAsB;QACtB,EAAE;QACF,kCAAkC;QAClC,qDAAqD;QACrD,wCAAwC;QACxC,yCAAyC;QACzC,qBAAqB;QACrB,MAAM;QACN,oDAAoD;QACpD,gEAAgE;QAChE,iBAAiB;QACjB,QAAQ;QACR,wCAAwC;QACxC,gCAAgC;QAChC,GAAG;QACH,EAAE;QACF,8BAA8B;QAC9B,4CAA4C;QAC5C,EAAE;QACF,wCAAwC;QACxC,sHAAsH;QACtH,yCAAyC;QACzC,2FAA2F;QAC3F,yCAAyC;QACzC,4FAA4F;QAC5F,EAAE;QACF,qIAAqI;QACrI,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC;CACf,CAAC;AAEF,MAAM,sBAAsB,GAAmB;IAC7C,IAAI,EAAE,YAAY;IAClB,KAAK,EAAE,6DAA6D;IACpE,gBAAgB,EAAE,6BAA6B;IAC/C,OAAO,EAAE,wDAAwD;IACjE,UAAU,EAAE,gCAAgC;IAC5C,SAAS,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAC3B;QACE,6BAA6B,IAAI,KAAK,OAAO,EAAE;QAC/C,+BAA+B,IAAI,CAAC,WAAW,EAAE,WAAW;QAC5D,IAAI;QACJ,cAAc;QACd,uDAAuD;QACvD,sDAAsD;QACtD,kEAAkE;QAClE,EAAE;QACF,6CAA6C;QAC7C,yEAAyE;QACzE,EAAE;QACF,2DAA2D;QAC3D,oDAAoD;QACpD,gDAAgD;QAChD,8EAA8E;QAC9E,oGAAoG;QACpG,EAAE;QACF,wDAAwD;QACxD,wDAAwD;QACxD,oDAAoD,IAAI,EAAE;QAC1D,sEAAsE;QACtE,sEAAsE;QACtE,kFAAkF;QAClF,MAAM;QACN,EAAE;QACF,qEAAqE;QACrE,wCAAwC;QACxC,kEAAkE;QAClE,uDAAuD;QACvD,2CAA2C;QAC3C,MAAM;QACN,EAAE;QACF,sBAAsB,IAAI,8BAA8B;QACxD,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC;CACf,CAAC;AAEF,MAAM,iBAAiB,GAAmB;IACxC,IAAI,EAAE,gBAAgB;IACtB,KAAK,EAAE,4DAA4D;IACnE,gBAAgB,EAAE,kCAAkC;IACpD,OAAO,EAAE,kDAAkD;IAC3D,UAAU,EAAE,qCAAqC;IACjD,SAAS,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAC3B;QACE,gCAAgC,IAAI,KAAK,OAAO,EAAE;QAClD,oCAAoC,IAAI,CAAC,WAAW,EAAE,WAAW;QACjE,IAAI;QACJ,0EAA0E;QAC1E,qEAAqE;QACrE,kEAAkE;QAClE,qEAAqE;QACrE,EAAE;QACF,iCAAiC;QACjC,iEAAiE;QACjE,iEAAiE;QACjE,0DAA0D;QAC1D,EAAE;QACF,sEAAsE;QACtE,wCAAwC;QACxC,mGAAmG;QACnG,4FAA4F;QAC5F,EAAE;QACF,oDAAoD;QACpD,sCAAsC;QACtC,+FAA+F;QAC/F,EAAE;QACF,uDAAuD;QACvD,gCAAgC;QAChC,gCAAgC;QAChC,0DAA0D;QAC1D,oCAAoC,IAAI,EAAE;QAC1C,oFAAoF;QACpF,EAAE;QACF,sBAAsB,IAAI,kCAAkC;QAC5D,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC;CACf,CAAC;AAEF,MAAM,YAAY,GAA4D;IAC5E,GAAG,EAAE,CAAC,QAAQ,CAAC;IACf,WAAW,EAAE,CAAC,cAAc,CAAC;IAC7B,YAAY,EAAE,CAAC,cAAc,CAAC;IAC9B,UAAU,EAAE,CAAC,cAAc,EAAE,QAAQ,CAAC;IACtC,QAAQ,EAAE,CAAC,OAAO,CAAC;IACnB,QAAQ,EAAE,CAAC,aAAa,CAAC;IACzB,IAAI,EAAE,CAAC,kBAAkB,EAAE,sBAAsB,EAAE,iBAAiB,CAAC;IACrE,MAAM,EAAE,CAAC,QAAQ,CAAC;IAClB,SAAS,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC9B,IAAI,EAAE,CAAC,QAAQ,CAAC;IAChB,OAAO,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC5B,UAAU,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC;CAChC,CAAC;AAEF,mFAAmF;AACnF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AAE1E,yEAAyE;AAEzE;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAA2B;IAE3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAqB,EAAE,CAAC;IAEnC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;YAC3C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;IAED,kEAAkE;IAClE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,IAAoB,EAAE,IAAY;IAC7D,OAAO,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;AACrE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,KAAoC;IAClE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7C,CAAC"}

package/dist/tools/extract-adrs-from-spec.d.ts

@@ -0,0 +1,33 @@
+/**
+ * extract_adrs_from_spec tool handler.
+ *
+ * Reads a project specification file and derives ADR stubs from technology
+ * decisions described within it. Unlike extract_adrs_from_history (which walks
+ * git log for brownfield projects), this tool is for greenfield projects where
+ * all architectural decisions are encoded in the spec before implementation begins.
+ *
+ * Each generated ADR includes the actual spec excerpt as context — making the
+ * artifact genuinely derived from the spec, not a generic placeholder.
+ */
+import { z } from "zod";
+export declare const extractAdrsFromSpecSchema: z.ZodObject<{
+    project_dir: z.ZodString;
+    spec_path: z.ZodOptional<z.ZodString>;
+    max_adrs: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    project_dir: string;
+    spec_path?: string | undefined;
+    max_adrs?: number | undefined;
+}, {
+    project_dir: string;
+    spec_path?: string | undefined;
+    max_adrs?: number | undefined;
+}>;
+export type ExtractAdrsFromSpecInput = z.infer<typeof extractAdrsFromSpecSchema>;
+export declare function extractAdrsFromSpecHandler(args: ExtractAdrsFromSpecInput): Promise<{
+    content: Array<{
+        type: "text";
+        text: string;
+    }>;
+}>;
+//# sourceMappingURL=extract-adrs-from-spec.d.ts.map

package/dist/tools/extract-adrs-from-spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extract-adrs-from-spec.d.ts","sourceRoot":"","sources":["../../src/tools/extract-adrs-from-spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAYxB,eAAO,MAAM,yBAAyB;;;;;;;;;;;;EAkBpC,CAAC;AAEH,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAC5C,OAAO,yBAAyB,CACjC,CAAC;AAiXF,wBAAsB,0BAA0B,CAC9C,IAAI,EAAE,wBAAwB,GAC7B,OAAO,CAAC;IAAE,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE,CAAC,CA6G7D"}