forgecraft-mcp 1.3.2 → 1.6.1

package/dist/tools/change-request.js

@@ -0,0 +1,375 @@
+/**
+ * change_request and list_changes handlers.
+ *
+ * change_request: Opens a formal change record in .forgecraft/changes/<slug>.yaml.
+ * Captures intent, auto-detects affected artifacts, and lists gates that must pass.
+ *
+ * list_changes: Surfaces open/implementing/blocked changes with staleness flags.
+ */
+import { existsSync, mkdirSync, writeFileSync, readdirSync, readFileSync, } from "node:fs";
+import { join, resolve } from "node:path";
+// ── Slug generation ───────────────────────────────────────────────────
+export function slugify(title, date) {
+    const slug = title
+        .toLowerCase()
+        .replace(/[^a-z0-9\s-]/g, "")
+        .trim()
+        .replace(/\s+/g, "-")
+        .slice(0, 40)
+        .replace(/-+$/, "");
+    return `chg-${date}-${slug}`;
+}
+// ── Artifact detection ────────────────────────────────────────────────
+export function detectAffectedArtifacts(projectDir, title, description, type) {
+    const artifacts = [];
+    const words = `${title} ${description}`
+        .toLowerCase()
+        .split(/\s+/)
+        .filter((w) => w.length > 3);
+    const specFiles = [
+        // Canonical paths first; legacy as fallback for non-migrated projects.
+        [
+            "docs/specs/PRD.md",
+            ["requirement", "product", "feature", "user", "problem"],
+        ],
+        ["docs/PRD.md", ["requirement", "product", "feature", "user", "problem"]],
+        [
+            "docs/use-cases/use-cases.md",
+            ["use case", "actor", "workflow", "uc-", "flow"],
+        ],
+        ["docs/use-cases.md", ["use case", "actor", "workflow", "uc-", "flow"]],
+        [
+            "docs/contracts/TechSpec.md",
+            ["architecture", "implementation", "component", "system"],
+        ],
+        [
+            "docs/TechSpec.md",
+            ["architecture", "implementation", "component", "system"],
+        ],
+    ];
+    for (const [path, keywords] of specFiles) {
+        if (!existsSync(join(projectDir, path)))
+            continue;
+        const hits = keywords.filter((kw) => words.some((w) => w.includes(kw.replace(/\s+/, ""))));
+        if (hits.length > 0 || type === "spec-change") {
+            artifacts.push(path);
+        }
+    }
+    // Always include PRD if spec-change type
+    if (type === "spec-change" && !artifacts.includes("docs/PRD.md")) {
+        if (existsSync(join(projectDir, "docs", "PRD.md"))) {
+            artifacts.push("docs/PRD.md");
+        }
+    }
+    // ADR supersession
+    if (type === "adr-supersession" ||
+        words.some((w) => ["adr", "decision", "architecture"].includes(w))) {
+        const adrDir = join(projectDir, "docs", "adrs");
+        if (existsSync(adrDir)) {
+            artifacts.push("docs/adrs/");
+        }
+    }
+    // Breaking API — flag schema and contract files
+    if (type === "breaking-api") {
+        for (const p of ["docs/schema.md", "openapi.yaml", "openapi.json"]) {
+            if (existsSync(join(projectDir, p)))
+                artifacts.push(p);
+        }
+    }
+    return [...new Set(artifacts)];
+}
+// ── Gate detection ────────────────────────────────────────────────────
+export function detectRequiredGates(projectDir, type, breaking) {
+    const gates = [];
+    const gateDir = join(projectDir, ".forgecraft", "gates", "active");
+    if (!existsSync(gateDir))
+        return gates;
+    const allGateIds = readdirSync(gateDir)
+        .filter((f) => f.endsWith(".yaml"))
+        .map((f) => {
+        try {
+            const text = readFileSync(join(gateDir, f), "utf-8");
+            return /^id:\s*(.+)$/m.exec(text)?.[1]?.trim() ?? "";
+        }
+        catch {
+            return "";
+        }
+    })
+        .filter(Boolean);
+    // Always include L2 coverage gate if present
+    for (const id of allGateIds) {
+        if (id.startsWith("l2-") || id === "contract-testing-required") {
+            gates.push(id);
+        }
+    }
+    // Breaking API changes must pass schema and contract gates
+    if (breaking || type === "breaking-api") {
+        for (const id of allGateIds) {
+            if (id.includes("schema") || id.includes("contract")) {
+                if (!gates.includes(id))
+                    gates.push(id);
+            }
+        }
+    }
+    return gates;
+}
+// ── YAML serialization ────────────────────────────────────────────────
+export function serializeChangeRecord(record) {
+    const lines = [
+        `id: ${record.id}`,
+        `title: "${record.title.replace(/"/g, '\\"')}"`,
+        `status: ${record.status}`,
+        `type: ${record.type}`,
+        `created: ${record.created}`,
+        `breaking: ${record.breaking}`,
+        ``,
+        `description: >`,
+        ...record.description.split("\n").map((l) => `  ${l}`),
+        ``,
+    ];
+    if (record.breaking_details) {
+        lines.push(`breaking_details: "${record.breaking_details.replace(/"/g, '\\"')}"`, ``);
+    }
+    if (record.supersedes_adr) {
+        lines.push(`supersedes_adr: ${record.supersedes_adr}`, ``);
+    }
+    lines.push(`affected_artifacts:`);
+    for (const a of record.affected_artifacts) {
+        lines.push(`  - ${a}`);
+    }
+    lines.push(``);
+    lines.push(`required_gates:`);
+    if (record.required_gates.length === 0) {
+        lines.push(`  []`);
+    }
+    else {
+        for (const g of record.required_gates) {
+            lines.push(`  - ${g}`);
+        }
+    }
+    lines.push(``);
+    lines.push(`blocked_reason: ~`);
+    lines.push(`verified_at: ~`);
+    lines.push(`closed_at: ~`);
+    return lines.join("\n");
+}
+// ── YAML parsing ──────────────────────────────────────────────────────
+export function parseChangeRecord(content, id) {
+    try {
+        const fieldRe = (key) => new RegExp(`^${key}:\\s*["']?(.+?)["']?\\s*$`, "m")
+            .exec(content)?.[1]
+            ?.trim() ?? "";
+        const status = fieldRe("status") || "open";
+        const type = fieldRe("type") || "spec-change";
+        const title = fieldRe("title");
+        const created = fieldRe("created");
+        const breaking = fieldRe("breaking") === "true";
+        const breaking_details = fieldRe("breaking_details") || undefined;
+        const supersedes_adr = fieldRe("supersedes_adr") || undefined;
+        const blocked_reason = fieldRe("blocked_reason") !== "~" ? fieldRe("blocked_reason") : undefined;
+        const verified_at = fieldRe("verified_at") !== "~" ? fieldRe("verified_at") : undefined;
+        const closed_at = fieldRe("closed_at") !== "~" ? fieldRe("closed_at") : undefined;
+        // Parse list fields
+        const parseList = (key) => {
+            const match = new RegExp(`^${key}:\\n((?:\\s+-.+\\n?)+)`, "m").exec(content);
+            if (!match)
+                return [];
+            return match[1]
+                .split("\n")
+                .map((l) => l.replace(/^\s+-\s*/, "").trim())
+                .filter(Boolean);
+        };
+        const affected_artifacts = parseList("affected_artifacts");
+        const required_gates = parseList("required_gates");
+        // Extract description (block scalar)
+        const descMatch = /^description:\s*>\n((?:\s{2}.+\n?)+)/m.exec(content);
+        const description = descMatch
+            ? descMatch[1]
+                .split("\n")
+                .map((l) => l.replace(/^\s{2}/, ""))
+                .join("\n")
+                .trim()
+            : "";
+        return {
+            id,
+            title,
+            status,
+            type,
+            created,
+            description,
+            breaking,
+            breaking_details,
+            supersedes_adr,
+            affected_artifacts,
+            required_gates,
+            blocked_reason,
+            verified_at,
+            closed_at,
+        };
+    }
+    catch {
+        return null;
+    }
+}
+// ── Change directory helpers ──────────────────────────────────────────
+const CHANGES_DIR = ".forgecraft/changes";
+export function changesDir(projectDir) {
+    return join(projectDir, CHANGES_DIR);
+}
+export function loadAllChanges(projectDir) {
+    const dir = changesDir(projectDir);
+    if (!existsSync(dir))
+        return [];
+    return readdirSync(dir)
+        .filter((f) => f.endsWith(".yaml"))
+        .map((f) => {
+        try {
+            const content = readFileSync(join(dir, f), "utf-8");
+            const id = f.replace(/\.yaml$/, "");
+            return parseChangeRecord(content, id);
+        }
+        catch {
+            return null;
+        }
+    })
+        .filter((r) => r !== null);
+}
+/** Returns changes in implementing status — used by close_cycle gate. */
+export function getImplementingChanges(projectDir) {
+    return loadAllChanges(projectDir).filter((c) => c.status === "implementing");
+}
+// ── Handlers ──────────────────────────────────────────────────────────
+export async function changeRequestHandler(args) {
+    const projectDir = resolve(args.project_dir);
+    const date = new Date().toISOString().slice(0, 10);
+    const id = slugify(args.title, date);
+    const affectedArtifacts = args.affected_artifacts && args.affected_artifacts.length > 0
+        ? args.affected_artifacts
+        : detectAffectedArtifacts(projectDir, args.title, args.description, args.type);
+    const requiredGates = detectRequiredGates(projectDir, args.type, args.breaking ?? false);
+    const record = {
+        id,
+        title: args.title,
+        status: "open",
+        type: args.type,
+        created: date,
+        description: args.description,
+        breaking: args.breaking ?? false,
+        breaking_details: args.breaking_details,
+        supersedes_adr: args.supersedes_adr,
+        affected_artifacts: affectedArtifacts,
+        required_gates: requiredGates,
+    };
+    const dir = changesDir(projectDir);
+    mkdirSync(dir, { recursive: true });
+    writeFileSync(join(dir, `${id}.yaml`), serializeChangeRecord(record), "utf-8");
+    const lines = [
+        `## Change Request Opened`,
+        ``,
+        `**ID:** \`${id}\``,
+        `**Title:** ${record.title}`,
+        `**Type:** ${record.type}`,
+        `**Breaking:** ${record.breaking ? "⚠️ Yes" : "No"}`,
+        ``,
+    ];
+    if (record.breaking_details) {
+        lines.push(`> ⚠️ **Breaking:** ${record.breaking_details}`, ``);
+    }
+    if (record.supersedes_adr) {
+        lines.push(`> Supersedes: \`${record.supersedes_adr}\` — update that ADR's status to Superseded.`, ``);
+    }
+    lines.push(`### Affected Artifacts`, ``);
+    for (const a of record.affected_artifacts) {
+        lines.push(`- \`${a}\``);
+    }
+    lines.push(``);
+    if (record.required_gates.length > 0) {
+        lines.push(`### Required Gates (must pass before \`close_cycle\`)`, ``);
+        for (const g of record.required_gates) {
+            lines.push(`- [ ] \`${g}\``);
+        }
+        lines.push(``);
+    }
+    lines.push(`### Next Steps`, ``, `1. Update status to \`implementing\` when work starts (edit \`.forgecraft/changes/${id}.yaml\`)`, `2. Run \`propose_session\` to get a full implementation plan`, `3. After implementation: run required gates, set status to \`verified\``, `4. Run \`close_cycle\` — blocked until all implementing changes are verified or closed`, ``, `---`, `_Written to \`.forgecraft/changes/${id}.yaml\`_`);
+    return { content: [{ type: "text", text: lines.join("\n") }] };
+}
+export async function listChangesHandler(args) {
+    const projectDir = resolve(args.project_dir);
+    const filterStatus = args.status ?? "all";
+    const all = loadAllChanges(projectDir);
+    const filtered = filterStatus === "all" ? all : all.filter((c) => c.status === filterStatus);
+    if (filtered.length === 0) {
+        const msg = filterStatus === "all"
+            ? "No change records found. Run `change_request` to open the first change."
+            : `No changes with status \`${filterStatus}\`.`;
+        return { content: [{ type: "text", text: `## Changes\n\n${msg}` }] };
+    }
+    const today = new Date().toISOString().slice(0, 10);
+    const statusGroups = {
+        open: [],
+        implementing: [],
+        blocked: [],
+        verified: [],
+        closed: [],
+    };
+    for (const c of filtered) {
+        statusGroups[c.status].push(c);
+    }
+    const lines = [`## Changes (${filtered.length} total)`, ``];
+    const order = [
+        "implementing",
+        "blocked",
+        "open",
+        "verified",
+        "closed",
+    ];
+    for (const status of order) {
+        const group = statusGroups[status];
+        if (group.length === 0)
+            continue;
+        const emoji = {
+            implementing: "🔄",
+            blocked: "⛔",
+            open: "📋",
+            verified: "✅",
+            closed: "🔒",
+        };
+        lines.push(`### ${emoji[status]} ${status.charAt(0).toUpperCase() + status.slice(1)} (${group.length})`, ``);
+        lines.push(`| ID | Title | Type | Breaking | Gates | Created |`);
+        lines.push(`|---|---|---|---|---|---|`);
+        for (const c of group) {
+            const staleFlag = isStale(c, today) ? " ⚠️ stale" : "";
+            const breaking = c.breaking ? "⚠️ Yes" : "No";
+            const gates = c.required_gates.length > 0 ? c.required_gates.length.toString() : "—";
+            lines.push(`| \`${c.id}\` | ${c.title}${staleFlag} | ${c.type} | ${breaking} | ${gates} | ${c.created} |`);
+        }
+        lines.push(``);
+    }
+    const implementing = statusGroups["implementing"];
+    if (implementing.length > 0) {
+        lines.push(`### ⚠️ close_cycle will be blocked until these are resolved:`, ``);
+        for (const c of implementing) {
+            lines.push(`- \`${c.id}\` — ${c.title}`);
+            if (c.required_gates.length > 0) {
+                lines.push(`  Gates: ${c.required_gates.map((g) => `\`${g}\``).join(", ")}`);
+            }
+        }
+        lines.push(``);
+    }
+    return { content: [{ type: "text", text: lines.join("\n") }] };
+}
+// ── Staleness ─────────────────────────────────────────────────────────
+function isStale(record, today) {
+    if (record.status === "closed" || record.status === "verified")
+        return false;
+    try {
+        const created = new Date(record.created);
+        const now = new Date(today);
+        const days = (now.getTime() - created.getTime()) / (1000 * 60 * 60 * 24);
+        return days > 7;
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=change-request.js.map

package/dist/tools/change-request.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-request.js","sourceRoot":"","sources":["../../src/tools/change-request.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,SAAS,EACT,aAAa,EACb,WAAW,EACX,YAAY,GACb,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAsD1C,yEAAyE;AAEzE,MAAM,UAAU,OAAO,CAAC,KAAa,EAAE,IAAY;IACjD,MAAM,IAAI,GAAG,KAAK;SACf,WAAW,EAAE;SACb,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC;SAC5B,IAAI,EAAE;SACN,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;SACZ,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACtB,OAAO,OAAO,IAAI,IAAI,IAAI,EAAE,CAAC;AAC/B,CAAC;AAED,yEAAyE;AAEzE,MAAM,UAAU,uBAAuB,CACrC,UAAkB,EAClB,KAAa,EACb,WAAmB,EACnB,IAAgB;IAEhB,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,GAAG,KAAK,IAAI,WAAW,EAAE;SACpC,WAAW,EAAE;SACb,KAAK,CAAC,KAAK,CAAC;SACZ,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAE/B,MAAM,SAAS,GAA8B;QAC3C,uEAAuE;QACvE;YACE,mBAAmB;YACnB,CAAC,aAAa,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC;SACzD;QACD,CAAC,aAAa,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;QACzE;YACE,6BAA6B;YAC7B,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC;SACjD;QACD,CAAC,mBAAmB,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACvE;YACE,4BAA4B;YAC5B,CAAC,cAAc,EAAE,gBAAgB,EAAE,WAAW,EAAE,QAAQ,CAAC;SAC1D;QACD;YACE,kBAAkB;YAClB,CAAC,cAAc,EAAE,gBAAgB,EAAE,WAAW,EAAE,QAAQ,CAAC;SAC1D;KACF,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,SAAS,EAAE,CAAC;QACzC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAAE,SAAS;QAClD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAClC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CACrD,CAAC;QACF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;YAC9C,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED,yCAAyC;IACzC,IAAI,IAAI,KAAK,aAAa,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QACjE,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;YACnD,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,IACE,IAAI,KAAK,kBAAkB;QAC3B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAClE,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAChD,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACvB,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,gDAAgD;IAChD,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,gBAAgB,EAAE,cAAc,EAAE,cAAc,CAAC,EAAE,CAAC;YACnE,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;gBAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,yEAAyE;AAEzE,MAAM,UAAU,mBAAmB,CACjC,UAAkB,EAClB,IAAgB,EAChB,QAAiB;IAEjB,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACnE,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAEvC,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,CAAC;SACpC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;SAClC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACrD,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACvD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC,CAAC;SACD,MAAM,CAAC,OAAO,CAAC,CAAC;IAEnB,6CAA6C;IAC7C,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,IAAI,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,2BAA2B,EAAE,CAAC;YAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,2DAA2D;IAC3D,IAAI,QAAQ,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QACxC,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;YAC5B,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACrD,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yEAAyE;AAEzE,MAAM,UAAU,qBAAqB,CAAC,MAAoB;IACxD,MAAM,KAAK,GAAa;QACtB,OAAO,MAAM,CAAC,EAAE,EAAE;QAClB,WAAW,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG;QAC/C,WAAW,MAAM,CAAC,MAAM,EAAE;QAC1B,SAAS,MAAM,CAAC,IAAI,EAAE;QACtB,YAAY,MAAM,CAAC,OAAO,EAAE;QAC5B,aAAa,MAAM,CAAC,QAAQ,EAAE;QAC9B,EAAE;QACF,gBAAgB;QAChB,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,EAAE;KACH,CAAC;IAEF,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CACR,sBAAsB,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,EACrE,EAAE,CACH,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7D,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC9B,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrB,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAChC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAE3B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,yEAAyE;AAEzE,MAAM,UAAU,iBAAiB,CAC/B,OAAe,EACf,EAAU;IAEV,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAE,CAC9B,IAAI,MAAM,CAAC,IAAI,GAAG,2BAA2B,EAAE,GAAG,CAAC;aAChD,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;YACnB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAEnB,MAAM,MAAM,GAAI,OAAO,CAAC,QAAQ,CAAkB,IAAI,MAAM,CAAC;QAC7D,MAAM,IAAI,GAAI,OAAO,CAAC,MAAM,CAAgB,IAAI,aAAa,CAAC;QAC9D,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,MAAM,CAAC;QAChD,MAAM,gBAAgB,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,SAAS,CAAC;QAClE,MAAM,cAAc,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,SAAS,CAAC;QAC9D,MAAM,cAAc,GAClB,OAAO,CAAC,gBAAgB,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,MAAM,WAAW,GACf,OAAO,CAAC,aAAa,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,MAAM,SAAS,GACb,OAAO,CAAC,WAAW,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAElE,oBAAoB;QACpB,MAAM,SAAS,GAAG,CAAC,GAAW,EAAY,EAAE;YAC1C,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,GAAG,wBAAwB,EAAE,GAAG,CAAC,CAAC,IAAI,CACjE,OAAO,CACR,CAAC;YACF,IAAI,CAAC,KAAK;gBAAE,OAAO,EAAE,CAAC;YACtB,OAAO,KAAK,CAAC,CAAC,CAAE;iBACb,KAAK,CAAC,IAAI,CAAC;iBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;iBAC5C,MAAM,CAAC,OAAO,CAAC,CAAC;QACrB,CAAC,CAAC;QAEF,MAAM,kBAAkB,GAAG,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC3D,MAAM,cAAc,GAAG,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAEnD,qCAAqC;QACrC,MAAM,SAAS,GAAG,uCAAuC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxE,MAAM,WAAW,GAAG,SAAS;YAC3B,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE;iBACV,KAAK,CAAC,IAAI,CAAC;iBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;iBACnC,IAAI,CAAC,IAAI,CAAC;iBACV,IAAI,EAAE;YACX,CAAC,CAAC,EAAE,CAAC;QAEP,OAAO;YACL,EAAE;YACF,KAAK;YACL,MAAM;YACN,IAAI;YACJ,OAAO;YACP,WAAW;YACX,QAAQ;YACR,gBAAgB;YAChB,cAAc;YACd,kBAAkB;YAClB,cAAc;YACd,cAAc;YACd,WAAW;YACX,SAAS;SACV,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,yEAAyE;AAEzE,MAAM,WAAW,GAAG,qBAAqB,CAAC;AAE1C,MAAM,UAAU,UAAU,CAAC,UAAkB;IAC3C,OAAO,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,UAAkB;IAC/C,MAAM,GAAG,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACnC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,OAAO,WAAW,CAAC,GAAG,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;SAClC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACpD,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YACpC,OAAO,iBAAiB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACxC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,CAAC,EAAqB,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;AAClD,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,sBAAsB,CAAC,UAAkB;IACvD,OAAO,cAAc,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC;AAC/E,CAAC;AAED,yEAAyE;AAEzE,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,IAAwB;IAExB,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnD,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAErC,MAAM,iBAAiB,GACrB,IAAI,CAAC,kBAAkB,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;QAC3D,CAAC,CAAC,IAAI,CAAC,kBAAkB;QACzB,CAAC,CAAC,uBAAuB,CACrB,UAAU,EACV,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,IAAI,CACV,CAAC;IAER,MAAM,aAAa,GAAG,mBAAmB,CACvC,UAAU,EACV,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,QAAQ,IAAI,KAAK,CACvB,CAAC;IAEF,MAAM,MAAM,GAAiB;QAC3B,EAAE;QACF,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI;QACb,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,KAAK;QAChC,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;QACvC,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,kBAAkB,EAAE,iBAAiB;QACrC,cAAc,EAAE,aAAa;KAC9B,CAAC;IAEF,MAAM,GAAG,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACnC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACpC,aAAa,CACX,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,EACvB,qBAAqB,CAAC,MAAM,CAAC,EAC7B,OAAO,CACR,CAAC;IAEF,MAAM,KAAK,GAAa;QACtB,0BAA0B;QAC1B,EAAE;QACF,aAAa,EAAE,IAAI;QACnB,cAAc,MAAM,CAAC,KAAK,EAAE;QAC5B,aAAa,MAAM,CAAC,IAAI,EAAE;QAC1B,iBAAiB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE;QACpD,EAAE;KACH,CAAC;IAEF,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,sBAAsB,MAAM,CAAC,gBAAgB,EAAE,EAAE,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,mBAAmB,MAAM,CAAC,cAAc,8CAA8C,EACtF,EAAE,CACH,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,wBAAwB,EAAE,EAAE,CAAC,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,uDAAuD,EAAE,EAAE,CAAC,CAAC;QACxE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CACR,gBAAgB,EAChB,EAAE,EACF,qFAAqF,EAAE,UAAU,EACjG,8DAA8D,EAC9D,yEAAyE,EACzE,wFAAwF,EACxF,EAAE,EACF,KAAK,EACL,qCAAqC,EAAE,UAAU,CAClD,CAAC;IAEF,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,IAAsB;IAEtB,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC;IAC1C,MAAM,GAAG,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IAEvC,MAAM,QAAQ,GACZ,YAAY,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC;IAE9E,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,GAAG,GACP,YAAY,KAAK,KAAK;YACpB,CAAC,CAAC,yEAAyE;YAC3E,CAAC,CAAC,4BAA4B,YAAY,KAAK,CAAC;QACpD,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC;IACvE,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAEpD,MAAM,YAAY,GAAyC;QACzD,IAAI,EAAE,EAAE;QACR,YAAY,EAAE,EAAE;QAChB,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,EAAE;KACX,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,KAAK,GAAa,CAAC,eAAe,QAAQ,CAAC,MAAM,SAAS,EAAE,EAAE,CAAC,CAAC;IAEtE,MAAM,KAAK,GAAmB;QAC5B,cAAc;QACd,SAAS;QACT,MAAM;QACN,UAAU;QACV,QAAQ;KACT,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEjC,MAAM,KAAK,GAAiC;YAC1C,YAAY,EAAE,IAAI;YAClB,OAAO,EAAE,GAAG;YACZ,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,GAAG;YACb,MAAM,EAAE,IAAI;SACb,CAAC;QAEF,KAAK,CAAC,IAAI,CACR,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,MAAM,GAAG,EAC5F,EAAE,CACH,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QAExC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;YACvD,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9C,MAAM,KAAK,GACT,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;YACzE,KAAK,CAAC,IAAI,CACR,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,KAAK,GAAG,SAAS,MAAM,CAAC,CAAC,IAAI,MAAM,QAAQ,MAAM,KAAK,MAAM,CAAC,CAAC,OAAO,IAAI,CAC/F,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,YAAY,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;IAClD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CACR,8DAA8D,EAC9D,EAAE,CACH,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YACzC,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,KAAK,CAAC,IAAI,CACR,YAAY,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjE,CAAC;YACJ,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;AACjE,CAAC;AAED,yEAAyE;AAEzE,SAAS,OAAO,CAAC,MAAoB,EAAE,KAAa;IAClD,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC;IAC7E,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACzE,OAAO,IAAI,GAAG,CAAC,CAAC;IAClB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}

package/dist/tools/check-cascade-contracts.d.ts

@@ -3,6 +3,8 @@
  *
  * Checks ADRs (step 4) and behavioral contracts/use cases (step 5).
  */
+/** Canonical locations for schema artifacts (DB, API, event schemas). */
+export declare const SCHEMA_ARTIFACT_PATHS: readonly ["prisma/schema.prisma", "openapi.yaml", "openapi.yml", "openapi.json", "api-spec.yaml", "api-spec.yml", "api-spec.json", "schema.graphql", "docs/schema.md", "docs/schemas", "src/schema", "src/schemas", "schemas", "database/schema.sql", "db/schema.sql", "db/schema.rb"];
 import type { CascadeStep } from "./check-cascade-steps.js";
 /**
  * Scan docs/ for a file matching *spec*, *contract*, or *use-case* patterns.
@@ -32,4 +34,15 @@ export declare function checkAdrs(projectDir: string): CascadeStep;
  * @returns Cascade step result
  */
 export declare function checkBehavioralContracts(projectDir: string): CascadeStep;
+/**
+ * Step 6: Schema definitions — the formal vocabulary of the system.
+ *
+ * Checks for DB schemas, API specs, GraphQL schemas, or documented schemas.
+ * A WARN (not FAIL) because not every project type requires all schema forms;
+ * the gate `schema-contract-at-boundary` enforces runtime validation separately.
+ *
+ * @param projectDir - Absolute project root
+ * @returns Cascade step result
+ */
+export declare function checkSchemaDefinitions(projectDir: string): CascadeStep;
 //# sourceMappingURL=check-cascade-contracts.d.ts.map

package/dist/tools/check-cascade-contracts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check-cascade-contracts.d.ts","sourceRoot":"","sources":["../../src/tools/check-cascade-contracts.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAWH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE5D;;;;;GAKG;AACH,wBAAgB,8BAA8B,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAUhF;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAY7E;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,WAAW,CAqCzD;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,MAAM,GAAG,WAAW,CA0GxE"}
+{"version":3,"file":"check-cascade-contracts.d.ts","sourceRoot":"","sources":["../../src/tools/check-cascade-contracts.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAcH,yEAAyE;AACzE,eAAO,MAAM,qBAAqB,wRAiBxB,CAAC;AACX,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE5D;;;;;GAKG;AACH,wBAAgB,8BAA8B,CAC5C,UAAU,EAAE,MAAM,GACjB,MAAM,GAAG,IAAI,CAYf;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAiB7E;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,WAAW,CAqCzD;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,MAAM,GAAG,WAAW,CAkHxE;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,MAAM,GAAG,WAAW,CA+CtE"}

package/dist/tools/check-cascade-contracts.js

@@ -6,6 +6,26 @@
 import { existsSync, readdirSync, readFileSync, statSync } from "node:fs";
 import { join } from "node:path";
 import { isStub, detectUnsafeDeserializationCast, ADR_DIRS, USE_CASE_PATHS, PYTHON_PACKAGE_FILES, } from "./check-cascade-steps.js";
+// ── Schema Paths ─────────────────────────────────────────────────────
+/** Canonical locations for schema artifacts (DB, API, event schemas). */
+export const SCHEMA_ARTIFACT_PATHS = [
+    "prisma/schema.prisma",
+    "openapi.yaml",
+    "openapi.yml",
+    "openapi.json",
+    "api-spec.yaml",
+    "api-spec.yml",
+    "api-spec.json",
+    "schema.graphql",
+    "docs/schema.md",
+    "docs/schemas",
+    "src/schema",
+    "src/schemas",
+    "schemas",
+    "database/schema.sql",
+    "db/schema.sql",
+    "db/schema.rb",
+];
 /**
  * Scan docs/ for a file matching *spec*, *contract*, or *use-case* patterns.
  *
@@ -43,7 +63,9 @@ export function detectPlaceholderTestScript(projectDir) {
             return testScript;
         }
     }
-    catch { /* skip */ }
+    catch {
+        /* skip */
+    }
     return null;
 }
 /**
@@ -141,7 +163,8 @@ export function checkBehavioralContracts(projectDir) {
             questions: [],
         };
     }
-    const hasTestDir = existsSync(join(projectDir, "tests")) || existsSync(join(projectDir, "test"));
+    const hasTestDir = existsSync(join(projectDir, "tests")) ||
+        existsSync(join(projectDir, "test"));
     const hasBuildFile = existsSync(join(projectDir, "package.json")) ||
         PYTHON_PACKAGE_FILES.some((f) => existsSync(join(projectDir, f)));
     if (hasTestDir && hasBuildFile) {
@@ -187,4 +210,52 @@ export function checkBehavioralContracts(projectDir) {
         questions: STEP_QUESTIONS,
     };
 }
+/**
+ * Step 6: Schema definitions — the formal vocabulary of the system.
+ *
+ * Checks for DB schemas, API specs, GraphQL schemas, or documented schemas.
+ * A WARN (not FAIL) because not every project type requires all schema forms;
+ * the gate `schema-contract-at-boundary` enforces runtime validation separately.
+ *
+ * @param projectDir - Absolute project root
+ * @returns Cascade step result
+ */
+export function checkSchemaDefinitions(projectDir) {
+    const found = SCHEMA_ARTIFACT_PATHS.find((p) => existsSync(join(projectDir, p)));
+    if (found) {
+        return {
+            step: 6,
+            name: "Schema Definitions",
+            status: "PASS",
+            detail: `Schema artifact found: ${found}`,
+            questions: [],
+        };
+    }
+    const hasPackageJson = existsSync(join(projectDir, "package.json"));
+    const hasPythonProject = PYTHON_PACKAGE_FILES.some((f) => existsSync(join(projectDir, f)));
+    const hasSourceCode = hasPackageJson || hasPythonProject;
+    if (hasSourceCode) {
+        return {
+            step: 6,
+            name: "Schema Definitions",
+            status: "WARN",
+            detail: "No schema artifact found (openapi.yaml, prisma/schema.prisma, schema.graphql, docs/schema.md, etc.). " +
+                "The system vocabulary is implicit — types are scattered across code rather than stated as a contract.",
+            action: "Add at least one schema artifact. For APIs: openapi.yaml. For DB-backed projects: prisma/schema.prisma or docs/schema.md. " +
+                "This is the GS §4.2 vocabulary requirement — the schema IS the formal specification of inputs, outputs, and events.",
+            questions: [
+                "Does this project expose or consume an API? If so, add openapi.yaml.",
+                "Does this project use a database? If so, add prisma/schema.prisma or database/schema.sql.",
+                "Does this project publish or subscribe to events? If so, add docs/schemas/events.md.",
+            ],
+        };
+    }
+    return {
+        step: 6,
+        name: "Schema Definitions",
+        status: "SKIP",
+        detail: "No package.json or Python build file found — schema check skipped for this project type.",
+        questions: [],
+    };
+}
 //# sourceMappingURL=check-cascade-contracts.js.map

package/dist/tools/check-cascade-contracts.js.map

@@ -1 +1 @@
-{"version":3,"file":"check-cascade-contracts.js","sourceRoot":"","sources":["../../src/tools/check-cascade-contracts.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,MAAM,EACN,+BAA+B,EAC/B,QAAQ,EACR,cAAc,EACd,oBAAoB,GACrB,MAAM,0BAA0B,CAAC;AAGlC;;;;;GAKG;AACH,MAAM,UAAU,8BAA8B,CAAC,UAAkB;IAC/D,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5F,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAQ,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CAAC,UAAkB;IAC5D,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IACjD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAA4B,CAAC;QAClF,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAuC,CAAC;QACrE,MAAM,UAAU,GAAG,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,UAAU,IAAI,mCAAmC,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACvE,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,UAAkB;IAC1C,MAAM,cAAc,GAAG;QACrB,gEAAgE;QAChE,iEAAiE;KACzD,CAAC;IAEX,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACtC,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;YAC3D,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACjB,CAAC,CAAC,WAAW,EAAE,KAAK,WAAW;gBAC/B,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC,CACvC,CAAC;YACF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,OAAO;oBACL,IAAI,EAAE,CAAC;oBACP,IAAI,EAAE,+BAA+B;oBACrC,MAAM,EAAE,MAAM;oBACd,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG;oBAC1G,SAAS,EAAE,EAAE;iBACd,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO;QACL,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,MAAM;QACd,MAAM,EACJ,8GAA8G;QAChH,MAAM,EACJ,iIAAiI;YACjI,wFAAwF;QAC1F,SAAS,EAAE,cAAc;KAC1B,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CAAC,UAAkB;IACzD,MAAM,cAAc,GAAG;QACrB,4DAA4D;QAC5D,+DAA+D;KACvD,CAAC;IAEX,MAAM,iBAAiB,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IAClE,IAAI,iBAAiB,EAAE,CAAC;QACtB,OAAO;YACL,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,kCAAkC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE;gBACN,mCAAmC;gBACnC,mDAAmD,iBAAiB,GAAG;gBACvE,gEAAgE;gBAChE,gEAAgE;aACjE,CAAC,IAAI,CAAC,IAAI,CAAC;YACZ,MAAM,EAAE,4EAA4E;YACpF,SAAS,EAAE,cAAc;SAC1B,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;QACtE,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACpB,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,IAAI,EAAE,kCAAkC;gBACxC,MAAM,EAAE,MAAM;gBACd,MAAM,EAAE,SAAS,YAAY,sFAAsF;gBACnH,MAAM,EAAE,QAAQ,YAAY,iDAAiD;gBAC7E,SAAS,EAAE,cAAc;aAC1B,CAAC;QACJ,CAAC;QACD,IAAI,+BAA+B,CAAC,UAAU,CAAC,EAAE,CAAC;YAChD,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,IAAI,EAAE,kCAAkC;gBACxC,MAAM,EAAE,MAAM;gBACd,MAAM,EAAE,4BAA4B,YAAY,gGAAgG;gBAChJ,SAAS,EAAE,EAAE;aACd,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,kCAAkC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,4BAA4B,YAAY,EAAE;YAClD,SAAS,EAAE,EAAE;SACd,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IACjG,MAAM,YAAY,GAChB,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;QAC5C,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,IAAI,UAAU,IAAI,YAAY,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,kCAAkC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,4FAA4F;YACpG,SAAS,EAAE,EAAE;SACd,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,8BAA8B,CAAC,UAAU,CAAC,CAAC;IAC/D,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO;YACL,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,kCAAkC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,gCAAgC,WAAW,mEAAmE;YACtH,MAAM,EAAE,qEAAqE;YAC7E,SAAS,EAAE,cAAc;SAC1B,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IACjD,MAAM,YAAY,GAChB,UAAU,CAAC,UAAU,CAAC;QACtB,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAExE,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO;YACL,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,kCAAkC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,kFAAkF;YAC1F,MAAM,EACJ,8HAA8H;YAChI,SAAS,EAAE,cAAc;SAC1B,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,wDAAwD;QAChE,MAAM,EACJ,kEAAkE;YAClE,qEAAqE;QACvE,SAAS,EAAE,cAAc;KAC1B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"check-cascade-contracts.js","sourceRoot":"","sources":["../../src/tools/check-cascade-contracts.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,MAAM,EACN,+BAA+B,EAC/B,QAAQ,EACR,cAAc,EACd,oBAAoB,GACrB,MAAM,0BAA0B,CAAC;AAElC,wEAAwE;AAExE,yEAAyE;AACzE,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,sBAAsB;IACtB,cAAc;IACd,aAAa;IACb,cAAc;IACd,eAAe;IACf,cAAc;IACd,eAAe;IACf,gBAAgB;IAChB,gBAAgB;IAChB,cAAc;IACd,YAAY;IACZ,aAAa;IACb,SAAS;IACT,qBAAqB;IACrB,eAAe;IACf,cAAc;CACN,CAAC;AAGX;;;;;GAKG;AACH,MAAM,UAAU,8BAA8B,CAC5C,UAAkB;IAElB,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAC/D,CAAC;QACF,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAQ,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CAAC,UAAkB;IAC5D,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IACjD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAGpD,CAAC;QACF,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAuC,CAAC;QACrE,MAAM,UAAU,GAAG,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,UAAU,IAAI,mCAAmC,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACvE,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,UAAU;IACZ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,UAAkB;IAC1C,MAAM,cAAc,GAAG;QACrB,gEAAgE;QAChE,iEAAiE;KACzD,CAAC;IAEX,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACtC,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;YAC3D,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACjB,CAAC,CAAC,WAAW,EAAE,KAAK,WAAW;gBAC/B,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC,CACvC,CAAC;YACF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,OAAO;oBACL,IAAI,EAAE,CAAC;oBACP,IAAI,EAAE,+BAA+B;oBACrC,MAAM,EAAE,MAAM;oBACd,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG;oBAC1G,SAAS,EAAE,EAAE;iBACd,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO;QACL,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,MAAM;QACd,MAAM,EACJ,8GAA8G;QAChH,MAAM,EACJ,iIAAiI;YACjI,wFAAwF;QAC1F,SAAS,EAAE,cAAc;KAC1B,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CAAC,UAAkB;IACzD,MAAM,cAAc,GAAG;QACrB,4DAA4D;QAC5D,+DAA+D;KACvD,CAAC;IAEX,MAAM,iBAAiB,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IAClE,IAAI,iBAAiB,EAAE,CAAC;QACtB,OAAO;YACL,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,kCAAkC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE;gBACN,mCAAmC;gBACnC,mDAAmD,iBAAiB,GAAG;gBACvE,gEAAgE;gBAChE,gEAAgE;aACjE,CAAC,IAAI,CAAC,IAAI,CAAC;YACZ,MAAM,EACJ,4EAA4E;YAC9E,SAAS,EAAE,cAAc;SAC1B,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7C,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAChC,CAAC;IACF,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;QACtE,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACpB,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,IAAI,EAAE,kCAAkC;gBACxC,MAAM,EAAE,MAAM;gBACd,MAAM,EAAE,SAAS,YAAY,sFAAsF;gBACnH,MAAM,EAAE,QAAQ,YAAY,iDAAiD;gBAC7E,SAAS,EAAE,cAAc;aAC1B,CAAC;QACJ,CAAC;QACD,IAAI,+BAA+B,CAAC,UAAU,CAAC,EAAE,CAAC;YAChD,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,IAAI,EAAE,kCAAkC;gBACxC,MAAM,EAAE,MAAM;gBACd,MAAM,EAAE,4BAA4B,YAAY,gGAAgG;gBAChJ,SAAS,EAAE,EAAE;aACd,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,kCAAkC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,4BAA4B,YAAY,EAAE;YAClD,SAAS,EAAE,EAAE;SACd,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GACd,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACrC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IACvC,MAAM,YAAY,GAChB,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;QAC5C,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,IAAI,UAAU,IAAI,YAAY,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,kCAAkC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EACJ,4FAA4F;YAC9F,SAAS,EAAE,EAAE;SACd,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,8BAA8B,CAAC,UAAU,CAAC,CAAC;IAC/D,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO;YACL,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,kCAAkC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,gCAAgC,WAAW,mEAAmE;YACtH,MAAM,EACJ,qEAAqE;YACvE,SAAS,EAAE,cAAc;SAC1B,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IACjD,MAAM,YAAY,GAChB,UAAU,CAAC,UAAU,CAAC;QACtB,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAExE,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO;YACL,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,kCAAkC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EACJ,kFAAkF;YACpF,MAAM,EACJ,8HAA8H;YAChI,SAAS,EAAE,cAAc;SAC1B,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,wDAAwD;QAChE,MAAM,EACJ,kEAAkE;YAClE,qEAAqE;QACvE,SAAS,EAAE,cAAc;KAC1B,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CAAC,UAAkB;IACvD,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7C,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAChC,CAAC;IACF,IAAI,KAAK,EAAE,CAAC;QACV,OAAO;YACL,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,oBAAoB;YAC1B,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,0BAA0B,KAAK,EAAE;YACzC,SAAS,EAAE,EAAE;SACd,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACvD,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAChC,CAAC;IACF,MAAM,aAAa,GAAG,cAAc,IAAI,gBAAgB,CAAC;IAEzD,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO;YACL,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,oBAAoB;YAC1B,MAAM,EAAE,MAAM;YACd,MAAM,EACJ,uGAAuG;gBACvG,uGAAuG;YACzG,MAAM,EACJ,4HAA4H;gBAC5H,qHAAqH;YACvH,SAAS,EAAE;gBACT,sEAAsE;gBACtE,2FAA2F;gBAC3F,sFAAsF;aACvF;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,MAAM;QACd,MAAM,EACJ,0FAA0F;QAC5F,SAAS,EAAE,EAAE;KACd,CAAC;AACJ,CAAC"}

package/dist/tools/check-cascade.d.ts

@@ -6,20 +6,21 @@
  * stateless agent given the artifact set should be able to derive any valid
  * implementation state without further human direction.
  *
- * Five-step cascade (§6.2):
+ * Six-step cascade (§6.2):
  *   1. Functional specification  — user-facing behavior and domain model
  *   2. Architecture + C4 diagrams — layered structure and component map
  *   3. Architectural constitution — operative grammar (CLAUDE.md / equivalent)
  *   4. ADRs                       — non-obvious decisions recorded before impl
  *   5. Use cases + behavioral contracts / Status.md next steps
+ *   6. Schema definitions         — vocabulary of the system (DB, API, event)
  */
 import { z } from "zod";
 import type { CascadeDecision } from "../shared/types.js";
 import { CascadeStep as _CascadeStep } from "./check-cascade-steps.js";
 export type { CascadeStep } from "./check-cascade-steps.js";
 export { isStub, loadForgeCraftConfig, CONSTITUTION_PATHS, FUNCTIONAL_SPEC_PATHS, ADR_DIRS, USE_CASE_PATHS, CONSTITUTION_LINE_LIMIT, PYTHON_PACKAGE_FILES, checkFunctionalSpec, checkDiagrams, checkConstitution, detectUnsafeDeserializationCast, findFunctionalSpecFallback, } from "./check-cascade-steps.js";
-export { findBehavioralContractFallback, detectPlaceholderTestScript, checkAdrs, checkBehavioralContracts, } from "./check-cascade-contracts.js";
-export { writeInitialSessionPromptIfAbsent, formatReport } from "./check-cascade-report.js";
+export { findBehavioralContractFallback, detectPlaceholderTestScript, checkAdrs, checkBehavioralContracts, checkSchemaDefinitions, SCHEMA_ARTIFACT_PATHS, } from "./check-cascade-contracts.js";
+export { writeInitialSessionPromptIfAbsent, formatReport, } from "./check-cascade-report.js";
 export declare const checkCascadeSchema: z.ZodObject<{
     project_dir: z.ZodString;
 }, "strip", z.ZodTypeAny, {

package/dist/tools/check-cascade.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check-cascade.d.ts","sourceRoot":"","sources":["../../src/tools/check-cascade.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,OAAO,KAAK,EAAE,eAAe,EAAoB,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EACL,WAAW,IAAI,YAAY,EAK5B,MAAM,0BAA0B,CAAC;AAUlC,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EACL,MAAM,EACN,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,EACrB,QAAQ,EACR,cAAc,EACd,uBAAuB,EACvB,oBAAoB,EACpB,mBAAmB,EACnB,aAAa,EACb,iBAAiB,EACjB,+BAA+B,EAC/B,0BAA0B,GAC3B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,8BAA8B,EAC9B,2BAA2B,EAC3B,SAAS,EACT,wBAAwB,GACzB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,iCAAiC,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAI5F,eAAO,MAAM,kBAAkB;;;;;;EAI7B,CAAC;AAEH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAInE;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,eAAe,EAAE,CAS1E;AAID;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,MAAM,EAClB,SAAS,GAAE,SAAS,eAAe,EAAO,GACzC,YAAY,EAAE,CAWhB;AAED,4EAA4E;AAC5E,eAAO,MAAM,qBAAqB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAMlE,CAAC;AA8BF;;;;;GAKG;AACH,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC;IAAE,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE,CAAC,CAgB7D;AAID;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,GAAG,OAAO,CAEzE;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,GAAG,MAAM,CA2B7E;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CASpD"}
+{"version":3,"file":"check-cascade.d.ts","sourceRoot":"","sources":["../../src/tools/check-cascade.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,OAAO,KAAK,EAAE,eAAe,EAAoB,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EACL,WAAW,IAAI,YAAY,EAK5B,MAAM,0BAA0B,CAAC;AAWlC,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EACL,MAAM,EACN,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,EACrB,QAAQ,EACR,cAAc,EACd,uBAAuB,EACvB,oBAAoB,EACpB,mBAAmB,EACnB,aAAa,EACb,iBAAiB,EACjB,+BAA+B,EAC/B,0BAA0B,GAC3B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,8BAA8B,EAC9B,2BAA2B,EAC3B,SAAS,EACT,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,iCAAiC,EACjC,YAAY,GACb,MAAM,2BAA2B,CAAC;AAInC,eAAO,MAAM,kBAAkB;;;;;;EAI7B,CAAC;AAEH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAInE;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,eAAe,EAAE,CAW1E;AAID;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,MAAM,EAClB,SAAS,GAAE,SAAS,eAAe,EAAO,GACzC,YAAY,EAAE,CAYhB;AAED,4EAA4E;AAC5E,eAAO,MAAM,qBAAqB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAOlE,CAAC;AAkCF;;;;;GAKG;AACH,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC;IAAE,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE,CAAC,CAuB7D;AAID;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,GAAG,OAAO,CAIzE;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,GAAG,MAAM,CA6B7E;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAiBpD"}