@saasicat/cli 0.10.1 → 0.12.0

package/bin/{saas-platform.js → saasicat.js}

@@ -1,5 +1,5 @@
 #!/usr/bin/env node
-// `saas-platform` — bootstrap CLI for the SaaS platform.
+// `saasicat` — bootstrap CLI for the SaaSiCat framework.
 //
 // Sub-commands:
 //   schema apply [--prisma-schema=PATH] [--fragments=01,02,03]
@@ -7,6 +7,10 @@
 //       Inserts missing platform Prisma models into your schema.prisma.
 //       Idempotent; existing models are left untouched.
 //
+//   schema check [--prisma-schema=PATH] [--fragments=01,02,03]
+//       Reports what your schema is missing relative to the canonical
+//       fragments. Read-only; exits 1 on drift so CI can gate on it.
+//
 // Spec: handoff/superadmin/QUICKSTART_SIMPLIFICATIONS.md §P5.
 
 import { readFile, writeFile, readdir } from 'node:fs/promises';
@@ -15,7 +19,7 @@ import { dirname, join, resolve } from 'node:path';
 import { createRequire } from 'node:module';
 import { spawn } from 'node:child_process';
 
-import { applyFragmentBlocks, extractModelBlocks } from '../dist/index.js';
+import { applyFragmentBlocks, checkSchema, extractModelBlocks } from '../dist/index.js';
 
 const require_ = createRequire(import.meta.url);
 
@@ -46,14 +50,14 @@ function resolveFragmentsDir() {
     return candidate;
 }
 
-async function loadFragments(dir, filter) {
+async function selectFragmentFiles(dir, filter) {
     const files = (await readdir(dir)).filter((f) => f.endsWith('.prisma')).sort();
-    const selected = filter
-        ? files.filter((f) => {
-              const prefix = f.split('-')[0];
-              return filter.includes(prefix);
-          })
-        : files;
+    if (!filter) return files;
+    return files.filter((f) => filter.includes(f.split('-')[0]));
+}
+
+async function loadFragments(dir, filter) {
+    const selected = await selectFragmentFiles(dir, filter);
     const blocks = new Map();
     for (const file of selected) {
         const content = await readFile(join(dir, file), 'utf8');
@@ -67,17 +71,24 @@ async function loadFragments(dir, filter) {
     return { files: selected, blocks };
 }
 
-async function cmdSchemaApply(args) {
+function parseFragmentFilter(raw) {
+    return raw ? raw.split(',').map((s) => s.padStart(2, '0')) : null;
+}
+
+async function readSchemaOrExit(args) {
     const schemaPath = resolve(args['prisma-schema'] ?? 'prisma/schema.prisma');
     if (!existsSync(schemaPath)) {
         console.error(`✗ schema.prisma nicht gefunden: ${schemaPath}`);
         process.exit(1);
     }
+    return { schemaPath, schema: await readFile(schemaPath, 'utf8') };
+}
+
+async function cmdSchemaApply(args) {
+    const { schemaPath, schema } = await readSchemaOrExit(args);
 
     const fragmentsDir = resolveFragmentsDir();
-    const filter = args.fragments
-        ? args.fragments.split(',').map((s) => s.padStart(2, '0'))
-        : null;
+    const filter = parseFragmentFilter(args.fragments);
     if (!filter && !args.all) {
         console.error(
             '✗ Entweder --fragments=01,02,03 oder --all übergeben. ' +
@@ -94,7 +105,6 @@ async function cmdSchemaApply(args) {
         process.exit(1);
     }
 
-    const schema = await readFile(schemaPath, 'utf8');
     const result = applyFragmentBlocks(schema, blocks, {
         fragmentLabel: files.join(', '),
     });
@@ -125,6 +135,102 @@ async function cmdSchemaApply(args) {
     console.log('  2. pnpm prisma migrate dev --name add_saas_platform');
 }
 
+const MISMATCH_LABELS = {
+    type: 'Typ',
+    optionality: 'Optionalität',
+    list: 'Liste',
+};
+
+function printCheckReport(report) {
+    if (report.missingFields.length > 0) {
+        console.log(`✗ Fehlende Felder (${report.missingFields.length}):`);
+        for (const { model, field, type } of report.missingFields) {
+            console.log(`    ${`${model}.${field}`.padEnd(44)} ${type}`);
+        }
+        console.log('');
+    }
+
+    if (report.missingEnumValues.length > 0) {
+        console.log(`✗ Fehlende Enum-Werte (${report.missingEnumValues.length}):`);
+        for (const entry of report.missingEnumValues) {
+            console.log(`    ${entry.enum}.${entry.value}`);
+        }
+        console.log('');
+    }
+
+    if (report.fieldMismatches.length > 0) {
+        console.log(`✗ Abweichende Felder (${report.fieldMismatches.length}):`);
+        for (const { model, field, reason, expected, actual } of report.fieldMismatches) {
+            const location = `${model}.${field}`.padEnd(44);
+            console.log(
+                `    ${location} [${MISMATCH_LABELS[reason]}] erwartet ${expected}, vorhanden ${actual}`,
+            );
+        }
+        console.log('');
+    }
+
+    const breaking = report.missingBlockAttributes.filter((a) => a.kind !== 'index');
+    if (breaking.length > 0) {
+        console.log(`✗ Fehlende Constraints (${breaking.length}):`);
+        for (const { model, kind, expected, actual } of breaking) {
+            const suffix = kind === 'map' ? ` — vorhanden: @@map("${actual}")` : '';
+            console.log(`    ${model.padEnd(28)} ${expected}${suffix}`);
+        }
+        console.log('');
+    }
+
+    const missingIndexes = report.missingBlockAttributes.filter((a) => a.kind === 'index');
+    if (missingIndexes.length > 0) {
+        console.log(`→ Fehlende Indizes (${missingIndexes.length}):`);
+        for (const { model, expected } of missingIndexes) {
+            console.log(`    ${model.padEnd(28)} ${expected}`);
+        }
+        console.log('  Kein Fehler — kostet Query-Zeit, bricht aber nichts.');
+        console.log('');
+    }
+
+    const absent = [...report.absentModels, ...report.absentEnums];
+    if (absent.length > 0) {
+        console.log(`→ Nicht übernommen (${absent.length}): ${absent.join(', ')}`);
+        console.log('  Kein Fehler — diese Fragmente nutzt die App nicht.');
+        console.log('');
+    }
+}
+
+async function cmdSchemaCheck(args) {
+    const { schemaPath, schema } = await readSchemaOrExit(args);
+    const fragmentsDir = resolveFragmentsDir();
+    const filter = parseFragmentFilter(args.fragments);
+    const files = await selectFragmentFiles(fragmentsDir, filter);
+
+    if (files.length === 0) {
+        console.error('✗ Keine Fragmente ausgewählt.');
+        process.exit(1);
+    }
+
+    const fragments = [];
+    for (const file of files) {
+        fragments.push(await readFile(join(fragmentsDir, file), 'utf8'));
+    }
+
+    console.log(`→ Prüfe ${schemaPath} gegen ${files.length} Fragment(e) aus @saasicat/spec`);
+    console.log('');
+
+    const report = checkSchema(fragments.join('\n'), schema);
+    printCheckReport(report);
+
+    const checked = `${report.checkedModelCount} Model(s), ${report.checkedEnumCount} Enum(s)`;
+    if (report.ok) {
+        console.log(`✓ Kein Drift. ${checked} geprüft.`);
+        return;
+    }
+
+    console.log(`✗ Drift gefunden (${checked} geprüft).`);
+    console.log('  Fehlende Felder und Enum-Werte ergänzen, dann migrieren.');
+    console.log('  Abweichende Felder prüfen: Plattform-Code liest sie mit dem Spec-Typ.');
+    process.exit(1);
+}
+
 function runChild(cmd, args, opts = {}) {
     return new Promise((resolve_, reject) => {
         const proc = spawn(cmd, args, { stdio: 'inherit', ...opts });
@@ -142,7 +248,7 @@ async function cmdSchemaMigrate(args) {
         process.exit(1);
     }
 
-    console.log(`→ Schritt 1/2: saas-platform schema apply ${args['fragments'] ? `--fragments=${args['fragments']}` : '--all'}`);
+    console.log(`→ Schritt 1/2: saasicat schema apply ${args['fragments'] ? `--fragments=${args['fragments']}` : '--all'}`);
     await cmdSchemaApply({
         ...args,
         all: args['fragments'] ? undefined : true,
@@ -159,16 +265,21 @@ async function main() {
     if (cmd === 'schema' && sub === 'apply') {
         return cmdSchemaApply(parseArgs(rest));
     }
+    if (cmd === 'schema' && sub === 'check') {
+        return cmdSchemaCheck(parseArgs(rest));
+    }
     if (cmd === 'schema' && sub === 'migrate') {
         return cmdSchemaMigrate(parseArgs(rest));
     }
     if (cmd === '--help' || cmd === '-h' || !cmd) {
-        console.log('Usage: saas-platform <command> [...args]');
+        console.log('Usage: saasicat <command> [...args]');
         console.log('');
         console.log('Commands:');
         console.log('  schema apply --all                       alle Plattform-Models einfügen');
         console.log('  schema apply --fragments=01,02           nur diese Fragmente einfügen');
         console.log('  schema apply --dry-run                   nur Diff ausgeben');
+        console.log('  schema check                             Drift gegen @saasicat/spec melden');
+        console.log('  schema check --fragments=01,02           nur diese Fragmente prüfen');
         console.log('  schema migrate --name=<name>             apply --all + prisma migrate dev');
         console.log('');
         console.log('Optional --prisma-schema=PATH (default prisma/schema.prisma).');

package/dist/index.cjs

@@ -67,8 +67,18 @@ __export(index_exports, {
   UserPortDoctorCheck: () => UserPortDoctorCheck,
   WhoAmIFlow: () => WhoAmIFlow,
   applyFragmentBlocks: () => applyFragmentBlocks,
+  blockBodyLines: () => blockBodyLines,
+  breaksContract: () => breaksContract,
+  checkSchema: () => checkSchema,
+  extractBlockNames: () => extractBlockNames,
+  extractBlocks: () => extractBlocks,
   extractModelBlocks: () => extractModelBlocks,
-  extractModelNames: () => extractModelNames
+  extractModelNames: () => extractModelNames,
+  parseBlockAttributes: () => parseBlockAttributes,
+  parseEnumValues: () => parseEnumValues,
+  parseFields: () => parseFields,
+  parseSchema: () => parseSchema,
+  stripLineComment: () => stripLineComment
 });
 module.exports = __toCommonJS(index_exports);
 
@@ -1099,51 +1109,48 @@ var PLATFORM_DOCTOR_CHECK_PROVIDERS = [
   AdminManifestDoctorCheck
 ];
 
-// src/schema-apply.ts
+// src/prisma-blocks.ts
 function stripLineComment(line) {
   const commentStart = line.indexOf("//");
   return commentStart === -1 ? line : line.slice(0, commentStart);
 }
 __name(stripLineComment, "stripLineComment");
-function extractModelNames(schema) {
+function declarationPattern(keyword) {
+  return new RegExp(`^\\s*${keyword}\\s+([A-Za-z_][A-Za-z0-9_]*)\\s*\\{`);
+}
+__name(declarationPattern, "declarationPattern");
+function extractBlockNames(schema, keyword) {
+  const pattern = declarationPattern(keyword);
   const names = [];
-  const lines = schema.split("\n");
-  for (const line of lines) {
-    const stripped = stripLineComment(line).trim();
-    const match = stripped.match(/^model\s+([A-Za-z_][A-Za-z0-9_]*)\s*\{/);
+  for (const line of schema.split("\n")) {
+    const match = stripLineComment(line).match(pattern);
     if (match) names.push(match[1]);
   }
   return names;
 }
-__name(extractModelNames, "extractModelNames");
-function extractModelBlocks(fragment) {
+__name(extractBlockNames, "extractBlockNames");
+function extractBlocks(schema, keyword) {
+  const pattern = declarationPattern(keyword);
   const blocks = /* @__PURE__ */ new Map();
-  const lines = fragment.split("\n");
   let current = null;
-  for (const rawLine of lines) {
+  for (const rawLine of schema.split("\n")) {
     const stripped = stripLineComment(rawLine);
+    const openCount = (stripped.match(/\{/g) ?? []).length;
+    const closeCount = (stripped.match(/\}/g) ?? []).length;
     if (!current) {
-      const match = rawLine.match(/^\s*model\s+([A-Za-z_][A-Za-z0-9_]*)\s*\{/);
-      if (match) {
-        const openCount = (stripped.match(/\{/g) ?? []).length;
-        const closeCount = (stripped.match(/\}/g) ?? []).length;
-        current = {
-          name: match[1],
-          lines: [
-            rawLine
-          ],
-          depth: openCount - closeCount
-        };
-        if (current.depth === 0) {
-          blocks.set(current.name, current.lines.join("\n"));
-          current = null;
-        }
-      }
-      continue;
+      const match = stripped.match(pattern);
+      if (!match) continue;
+      current = {
+        name: match[1],
+        lines: [
+          rawLine
+        ],
+        depth: openCount - closeCount
+      };
+    } else {
+      current.lines.push(rawLine);
+      current.depth += openCount - closeCount;
     }
-    current.lines.push(rawLine);
-    current.depth += (stripped.match(/\{/g) ?? []).length;
-    current.depth -= (stripped.match(/\}/g) ?? []).length;
     if (current.depth <= 0) {
       blocks.set(current.name, current.lines.join("\n"));
       current = null;
@@ -1151,6 +1158,23 @@ function extractModelBlocks(fragment) {
   }
   return blocks;
 }
+__name(extractBlocks, "extractBlocks");
+function blockBodyLines(block) {
+  const bodyStart = block.indexOf("{");
+  const bodyEnd = block.lastIndexOf("}");
+  if (bodyStart === -1 || bodyEnd <= bodyStart) return [];
+  return block.slice(bodyStart + 1, bodyEnd).split("\n").map((line) => stripLineComment(line).trim()).filter((line) => line.length > 0 && !line.startsWith("@@"));
+}
+__name(blockBodyLines, "blockBodyLines");
+
+// src/schema-apply.ts
+function extractModelNames(schema) {
+  return extractBlockNames(schema, "model");
+}
+__name(extractModelNames, "extractModelNames");
+function extractModelBlocks(fragment) {
+  return extractBlocks(fragment, "model");
+}
 __name(extractModelBlocks, "extractModelBlocks");
 function applyFragmentBlocks(schema, fragmentBlocks, options = {}) {
   const existing = new Set(extractModelNames(schema));
@@ -1175,11 +1199,11 @@ function applyFragmentBlocks(schema, fragmentBlocks, options = {}) {
   const header = options.fragmentLabel ? `
 
 // ============================================================
-// Eingef\xFCgt durch \`saas-platform schema apply\` aus ${options.fragmentLabel}
+// Eingef\xFCgt durch \`saasicat schema apply\` aus ${options.fragmentLabel}
 // ============================================================
 ` : `
 
-// Eingef\xFCgt durch \`saas-platform schema apply\`
+// Eingef\xFCgt durch \`saasicat schema apply\`
 `;
   const trimmedSchema = schema.endsWith("\n") ? schema : schema + "\n";
   return {
@@ -1190,6 +1214,188 @@ function applyFragmentBlocks(schema, fragmentBlocks, options = {}) {
 }
 __name(applyFragmentBlocks, "applyFragmentBlocks");
 
+// src/schema-check.ts
+function renderType(signature) {
+  return `${signature.type}${signature.list ? "[]" : ""}${signature.optional ? "?" : ""}`;
+}
+__name(renderType, "renderType");
+function parseFields(block) {
+  const fields = /* @__PURE__ */ new Map();
+  for (const line of blockBodyLines(block)) {
+    const [name, rawType] = line.split(/\s+/);
+    if (!rawType || name.startsWith("@")) continue;
+    const list = rawType.includes("[]");
+    const optional = rawType.endsWith("?");
+    fields.set(name, {
+      name,
+      type: rawType.replace("[]", "").replace("?", ""),
+      optional,
+      list
+    });
+  }
+  return fields;
+}
+__name(parseFields, "parseFields");
+function parseEnumValues(block) {
+  const values = [];
+  for (const line of blockBodyLines(block)) {
+    for (const token of line.split(/\s+/)) {
+      if (token.startsWith("@")) break;
+      if (token.length > 0) values.push(token);
+    }
+  }
+  return values;
+}
+__name(parseEnumValues, "parseEnumValues");
+function attributeFieldLists(block, attribute) {
+  const pattern = new RegExp(`@@${attribute}\\(([^)]*\\])`, "g");
+  return new Set([
+    ...block.matchAll(pattern)
+  ].map((match) => match[1].replace(/\s+/g, "")));
+}
+__name(attributeFieldLists, "attributeFieldLists");
+function parseBlockAttributes(name, block) {
+  return {
+    indexes: attributeFieldLists(block, "index"),
+    uniques: attributeFieldLists(block, "unique"),
+    map: block.match(/@@map\("([^"]+)"\)/)?.[1] ?? name
+  };
+}
+__name(parseBlockAttributes, "parseBlockAttributes");
+function parseSchema(schema) {
+  const models = /* @__PURE__ */ new Map();
+  const modelAttributes = /* @__PURE__ */ new Map();
+  for (const [name, block] of extractBlocks(schema, "model")) {
+    models.set(name, parseFields(block));
+    modelAttributes.set(name, parseBlockAttributes(name, block));
+  }
+  const enums = /* @__PURE__ */ new Map();
+  for (const [name, block] of extractBlocks(schema, "enum")) {
+    enums.set(name, parseEnumValues(block));
+  }
+  return {
+    models,
+    modelAttributes,
+    enums
+  };
+}
+__name(parseSchema, "parseSchema");
+function isDocumentedTypeSubstitution(spec, app, appEnums) {
+  return spec.type === "String" && appEnums.has(app.type);
+}
+__name(isDocumentedTypeSubstitution, "isDocumentedTypeSubstitution");
+function compareFields(model, specFields, appFields, appEnums, missingFields, fieldMismatches) {
+  for (const [name, spec] of specFields) {
+    const app = appFields.get(name);
+    if (!app) {
+      missingFields.push({
+        model,
+        field: name,
+        type: renderType(spec)
+      });
+      continue;
+    }
+    const mismatch = /* @__PURE__ */ __name((reason) => ({
+      model,
+      field: name,
+      reason,
+      expected: renderType(spec),
+      actual: renderType(app)
+    }), "mismatch");
+    if (spec.type !== app.type && !isDocumentedTypeSubstitution(spec, app, appEnums)) {
+      fieldMismatches.push(mismatch("type"));
+    } else if (spec.list !== app.list) {
+      fieldMismatches.push(mismatch("list"));
+    } else if (!spec.optional && app.optional) {
+      fieldMismatches.push(mismatch("optionality"));
+    }
+  }
+}
+__name(compareFields, "compareFields");
+function compareBlockAttributes(model, spec, app, out) {
+  if (spec.map !== app.map) {
+    out.push({
+      model,
+      kind: "map",
+      expected: `@@map("${spec.map}")`,
+      actual: app.map
+    });
+  }
+  for (const fields of spec.uniques) {
+    if (!app.uniques.has(fields)) {
+      out.push({
+        model,
+        kind: "unique",
+        expected: `@@unique(${fields})`
+      });
+    }
+  }
+  for (const fields of spec.indexes) {
+    if (!app.indexes.has(fields)) {
+      out.push({
+        model,
+        kind: "index",
+        expected: `@@index(${fields})`
+      });
+    }
+  }
+}
+__name(compareBlockAttributes, "compareBlockAttributes");
+function breaksContract(attribute) {
+  return attribute.kind !== "index";
+}
+__name(breaksContract, "breaksContract");
+function checkSchema(specSchema, appSchema) {
+  const spec = parseSchema(specSchema);
+  const app = parseSchema(appSchema);
+  const absentModels = [];
+  const missingFields = [];
+  const fieldMismatches = [];
+  const missingBlockAttributes = [];
+  for (const [model, specFields] of spec.models) {
+    const appFields = app.models.get(model);
+    if (!appFields) {
+      absentModels.push(model);
+      continue;
+    }
+    compareFields(model, specFields, appFields, app.enums, missingFields, fieldMismatches);
+    const specAttrs = spec.modelAttributes.get(model);
+    const appAttrs = app.modelAttributes.get(model);
+    if (specAttrs && appAttrs) {
+      compareBlockAttributes(model, specAttrs, appAttrs, missingBlockAttributes);
+    }
+  }
+  const absentEnums = [];
+  const missingEnumValues = [];
+  for (const [name, specValues] of spec.enums) {
+    const appValues = app.enums.get(name);
+    if (!appValues) {
+      absentEnums.push(name);
+      continue;
+    }
+    for (const value of specValues) {
+      if (!appValues.includes(value)) {
+        missingEnumValues.push({
+          enum: name,
+          value
+        });
+      }
+    }
+  }
+  return {
+    absentModels,
+    absentEnums,
+    missingFields,
+    missingEnumValues,
+    fieldMismatches,
+    missingBlockAttributes,
+    checkedModelCount: spec.models.size - absentModels.length,
+    checkedEnumCount: spec.enums.size - absentEnums.length,
+    ok: missingFields.length === 0 && missingEnumValues.length === 0 && fieldMismatches.length === 0 && !missingBlockAttributes.some(breaksContract)
+  };
+}
+__name(checkSchema, "checkSchema");
+
 // src/module.ts
 var import_common8 = require("@nestjs/common");
 var import_nest5 = require("@saasicat/nest");
@@ -2279,6 +2485,16 @@ UserCommands = _ts_decorate14([
   UserPortDoctorCheck,
   WhoAmIFlow,
   applyFragmentBlocks,
+  blockBodyLines,
+  breaksContract,
+  checkSchema,
+  extractBlockNames,
+  extractBlocks,
   extractModelBlocks,
-  extractModelNames
+  extractModelNames,
+  parseBlockAttributes,
+  parseEnumValues,
+  parseFields,
+  parseSchema,
+  stripLineComment
 });

package/dist/index.d.cts

@@ -326,17 +326,38 @@ declare class AdminManifestDoctorCheck implements DoctorCheck {
  */
 declare const PLATFORM_DOCTOR_CHECK_PROVIDERS: Array<Type<DoctorCheck>>;
 
+/**
+ * Cuts off a trailing `//` comment. Deliberately index-based instead of
+ * `replace(/\/\/.*$/, '')`: the regex backtracks quadratically on lines with
+ * many single slashes.
+ */
+declare function stripLineComment(line: string): string;
+/** Returns the names of all top-level `<keyword> X { … }` blocks. */
+declare function extractBlockNames(schema: string, keyword: string): string[];
+/**
+ * Returns all top-level `<keyword> X { … }` blocks as a map
+ * `name -> complete block text incl. opening/closing braces`.
+ *
+ * Delimiting logic: we search for `^<keyword> X {` (start of line, possibly
+ * with leading whitespace) and close as soon as the brace depth drops back
+ * to 0. Braces inside comments are not counted.
+ */
+declare function extractBlocks(schema: string, keyword: string): Map<string, string>;
+/**
+ * Returns a block's body lines — comments stripped, blank lines, block-level
+ * attributes (`@@index`, `@@map`) and the enclosing braces removed.
+ *
+ * Cuts between the first `{` and the last `}` rather than dropping the first
+ * and last line, so single-line blocks (`model X { id String @id }`) yield
+ * their body too.
+ */
+declare function blockBodyLines(block: string): string[];
+
 /** Returns the names of all top-level `model X { ... }` blocks in the schema. */
 declare function extractModelNames(schema: string): string[];
 /**
  * Returns all `model X { ... }` blocks from a fragment as a map
  * `name -> complete block text incl. opening/closing braces`.
- *
- * Delimiting logic: we search for `^model X {` (start of line, possibly with
- * leading whitespace) and close as soon as the brace depth drops back to
- * 0. Strings/comments inside the block are, in simplified terms, not
- * counted, which is robust for Prisma schemas (no curly braces
- * in strings, comments only `//`-style).
  */
 declare function extractModelBlocks(fragment: string): Map<string, string>;
 interface ApplyResult {
@@ -355,6 +376,101 @@ declare function applyFragmentBlocks(schema: string, fragmentBlocks: Map<string,
     fragmentLabel?: string;
 }): ApplyResult;
 
+interface FieldSignature {
+    name: string;
+    /** Type without `?`/`[]` modifiers, e.g. `String`, `BillingCycle`. */
+    type: string;
+    optional: boolean;
+    list: boolean;
+}
+interface BlockAttributes {
+    /** Field lists of `@@index`, normalised to `[a,b]` — attribute options dropped. */
+    indexes: Set<string>;
+    /** Same for `@@unique`. */
+    uniques: Set<string>;
+    /** `@@map` target, or the model name when unmapped. */
+    map: string;
+}
+interface ParsedSchema {
+    models: Map<string, Map<string, FieldSignature>>;
+    modelAttributes: Map<string, BlockAttributes>;
+    enums: Map<string, string[]>;
+}
+interface MissingField {
+    model: string;
+    field: string;
+    /** Rendered spec type incl. modifiers, e.g. `DateTime?`. */
+    type: string;
+}
+interface MissingEnumValue {
+    enum: string;
+    value: string;
+}
+type FieldMismatchReason = 'type' | 'optionality' | 'list';
+interface FieldMismatch {
+    model: string;
+    field: string;
+    reason: FieldMismatchReason;
+    expected: string;
+    actual: string;
+}
+type BlockAttributeKind = 'index' | 'unique' | 'map';
+interface MissingBlockAttribute {
+    model: string;
+    kind: BlockAttributeKind;
+    /** Rendered attribute, e.g. `@@index([planId, validFrom])`. */
+    expected: string;
+    /** For `map`: what the consumer maps to instead. */
+    actual?: string;
+}
+interface SchemaCheckReport {
+    /** Platform models the consumer does not carry — informational. */
+    absentModels: string[];
+    /** Platform enums the consumer does not carry — informational. */
+    absentEnums: string[];
+    missingFields: MissingField[];
+    missingEnumValues: MissingEnumValue[];
+    fieldMismatches: FieldMismatch[];
+    /**
+     * Block-level attributes the spec declares and the consumer lacks:
+     * `@@index`, `@@unique`, and a diverging `@@map`.
+     */
+    missingBlockAttributes: MissingBlockAttribute[];
+    /** Models present in both schemas, i.e. actually compared. */
+    checkedModelCount: number;
+    /** Enums present in both schemas, i.e. actually compared. */
+    checkedEnumCount: number;
+    /** True when nothing that breaks platform code was found. */
+    ok: boolean;
+}
+/** Parses the field lines of a `model` block into signatures, keyed by name. */
+declare function parseFields(block: string): Map<string, FieldSignature>;
+/**
+ * Parses the members of an `enum` block. Values may share a line
+ * (`enum Role { ADMIN USER }`); a trailing `@map(…)` attribute is not a value.
+ */
+declare function parseEnumValues(block: string): string[];
+/**
+ * Parses the block-level attributes of a `model`. Comparing these is what
+ * catches a missing index or unique constraint — differences the field-level
+ * comparison is blind to.
+ */
+declare function parseBlockAttributes(name: string, block: string): BlockAttributes;
+/** Parses every `model` and `enum` declaration of a Prisma schema. */
+declare function parseSchema(schema: string): ParsedSchema;
+/**
+ * A missing index costs query time; a missing `@@unique` or a diverging
+ * `@@map` breaks correctness — the platform relies on the constraint holding,
+ * and on finding the table under its canonical name. Only the latter two fail
+ * the check.
+ */
+declare function breaksContract(attribute: MissingBlockAttribute): boolean;
+/**
+ * Compares a consumer schema against the canonical fragments. `specSchema` is
+ * the concatenation of the fragments the check should cover.
+ */
+declare function checkSchema(specSchema: string, appSchema: string): SchemaCheckReport;
+
 interface CliContextModuleOptions {
     config: CliContextConfig;
     userPort: ProviderSpec<UserPort>;
@@ -545,4 +661,4 @@ declare class UserCommands extends CommandRunner {
     parsePassword(val: string): string;
 }
 
-export { AUDIT_QUERY_PORT_TOKEN, AdminCommands, AdminManifestDoctorCheck, AdminMfaSetupCommand, AdminWhoamiCommand, type ApplyResult, AuditCommands, AuditTailCommand, AuditTailFlow, type AuditTailOptions, CLI_CONTEXT_CONFIG_TOKEN, type CheckSeverity, type CliContextConfig, CliContextModule, type CliContextModuleOptions, CliContextService, CliError, type CliIdentity, DEFAULT_MANIFEST_CHECKS, DOCTOR_CHECKS_TOKEN, DiscoveryCommands, DiscoveryScanCommand, DiscoverySnapshotDoctorCheck, type DoctorCheck, type DoctorCheckResult, DoctorCommands, DoctorFlow, type DoctorReport, MANIFEST_ACCESS_PORT_TOKEN, MANIFEST_CHECKS_TOKEN, type ManifestCheck, ManifestCheckCommand, type ManifestCheckReport, type ManifestCheckResult, ManifestCliFlow, ManifestCommands, type ManifestDiff, ManifestDumpCommand, ManifestHashCommand, ManifestValidateCommand, MfaSetupFlow, type MfaSetupOptions, type MfaSetupResult, PLATFORM_DOCTOR_CHECK_PROVIDERS, PlanCatalogDoctorCheck, USER_MANAGEMENT_PORT_TOKEN, USER_PORT_TOKEN, UserCommands, UserPortDoctorCheck, WhoAmIFlow, type WhoAmIResult, applyFragmentBlocks, extractModelBlocks, extractModelNames };
+export { AUDIT_QUERY_PORT_TOKEN, AdminCommands, AdminManifestDoctorCheck, AdminMfaSetupCommand, AdminWhoamiCommand, type ApplyResult, AuditCommands, AuditTailCommand, AuditTailFlow, type AuditTailOptions, type BlockAttributeKind, type BlockAttributes, CLI_CONTEXT_CONFIG_TOKEN, type CheckSeverity, type CliContextConfig, CliContextModule, type CliContextModuleOptions, CliContextService, CliError, type CliIdentity, DEFAULT_MANIFEST_CHECKS, DOCTOR_CHECKS_TOKEN, DiscoveryCommands, DiscoveryScanCommand, DiscoverySnapshotDoctorCheck, type DoctorCheck, type DoctorCheckResult, DoctorCommands, DoctorFlow, type DoctorReport, type FieldMismatch, type FieldMismatchReason, type FieldSignature, MANIFEST_ACCESS_PORT_TOKEN, MANIFEST_CHECKS_TOKEN, type ManifestCheck, ManifestCheckCommand, type ManifestCheckReport, type ManifestCheckResult, ManifestCliFlow, ManifestCommands, type ManifestDiff, ManifestDumpCommand, ManifestHashCommand, ManifestValidateCommand, MfaSetupFlow, type MfaSetupOptions, type MfaSetupResult, type MissingBlockAttribute, type MissingEnumValue, type MissingField, PLATFORM_DOCTOR_CHECK_PROVIDERS, type ParsedSchema, PlanCatalogDoctorCheck, type SchemaCheckReport, USER_MANAGEMENT_PORT_TOKEN, USER_PORT_TOKEN, UserCommands, UserPortDoctorCheck, WhoAmIFlow, type WhoAmIResult, applyFragmentBlocks, blockBodyLines, breaksContract, checkSchema, extractBlockNames, extractBlocks, extractModelBlocks, extractModelNames, parseBlockAttributes, parseEnumValues, parseFields, parseSchema, stripLineComment };

package/dist/index.d.ts

@@ -326,17 +326,38 @@ declare class AdminManifestDoctorCheck implements DoctorCheck {
  */
 declare const PLATFORM_DOCTOR_CHECK_PROVIDERS: Array<Type<DoctorCheck>>;
 
+/**
+ * Cuts off a trailing `//` comment. Deliberately index-based instead of
+ * `replace(/\/\/.*$/, '')`: the regex backtracks quadratically on lines with
+ * many single slashes.
+ */
+declare function stripLineComment(line: string): string;
+/** Returns the names of all top-level `<keyword> X { … }` blocks. */
+declare function extractBlockNames(schema: string, keyword: string): string[];
+/**
+ * Returns all top-level `<keyword> X { … }` blocks as a map
+ * `name -> complete block text incl. opening/closing braces`.
+ *
+ * Delimiting logic: we search for `^<keyword> X {` (start of line, possibly
+ * with leading whitespace) and close as soon as the brace depth drops back
+ * to 0. Braces inside comments are not counted.
+ */
+declare function extractBlocks(schema: string, keyword: string): Map<string, string>;
+/**
+ * Returns a block's body lines — comments stripped, blank lines, block-level
+ * attributes (`@@index`, `@@map`) and the enclosing braces removed.
+ *
+ * Cuts between the first `{` and the last `}` rather than dropping the first
+ * and last line, so single-line blocks (`model X { id String @id }`) yield
+ * their body too.
+ */
+declare function blockBodyLines(block: string): string[];
+
 /** Returns the names of all top-level `model X { ... }` blocks in the schema. */
 declare function extractModelNames(schema: string): string[];
 /**
  * Returns all `model X { ... }` blocks from a fragment as a map
  * `name -> complete block text incl. opening/closing braces`.
- *
- * Delimiting logic: we search for `^model X {` (start of line, possibly with
- * leading whitespace) and close as soon as the brace depth drops back to
- * 0. Strings/comments inside the block are, in simplified terms, not
- * counted, which is robust for Prisma schemas (no curly braces
- * in strings, comments only `//`-style).
  */
 declare function extractModelBlocks(fragment: string): Map<string, string>;
 interface ApplyResult {
@@ -355,6 +376,101 @@ declare function applyFragmentBlocks(schema: string, fragmentBlocks: Map<string,
     fragmentLabel?: string;
 }): ApplyResult;
 
+interface FieldSignature {
+    name: string;
+    /** Type without `?`/`[]` modifiers, e.g. `String`, `BillingCycle`. */
+    type: string;
+    optional: boolean;
+    list: boolean;
+}
+interface BlockAttributes {
+    /** Field lists of `@@index`, normalised to `[a,b]` — attribute options dropped. */
+    indexes: Set<string>;
+    /** Same for `@@unique`. */
+    uniques: Set<string>;
+    /** `@@map` target, or the model name when unmapped. */
+    map: string;
+}
+interface ParsedSchema {
+    models: Map<string, Map<string, FieldSignature>>;
+    modelAttributes: Map<string, BlockAttributes>;
+    enums: Map<string, string[]>;
+}
+interface MissingField {
+    model: string;
+    field: string;
+    /** Rendered spec type incl. modifiers, e.g. `DateTime?`. */
+    type: string;
+}
+interface MissingEnumValue {
+    enum: string;
+    value: string;
+}
+type FieldMismatchReason = 'type' | 'optionality' | 'list';
+interface FieldMismatch {
+    model: string;
+    field: string;
+    reason: FieldMismatchReason;
+    expected: string;
+    actual: string;
+}
+type BlockAttributeKind = 'index' | 'unique' | 'map';
+interface MissingBlockAttribute {
+    model: string;
+    kind: BlockAttributeKind;
+    /** Rendered attribute, e.g. `@@index([planId, validFrom])`. */
+    expected: string;
+    /** For `map`: what the consumer maps to instead. */
+    actual?: string;
+}
+interface SchemaCheckReport {
+    /** Platform models the consumer does not carry — informational. */
+    absentModels: string[];
+    /** Platform enums the consumer does not carry — informational. */
+    absentEnums: string[];
+    missingFields: MissingField[];
+    missingEnumValues: MissingEnumValue[];
+    fieldMismatches: FieldMismatch[];
+    /**
+     * Block-level attributes the spec declares and the consumer lacks:
+     * `@@index`, `@@unique`, and a diverging `@@map`.
+     */
+    missingBlockAttributes: MissingBlockAttribute[];
+    /** Models present in both schemas, i.e. actually compared. */
+    checkedModelCount: number;
+    /** Enums present in both schemas, i.e. actually compared. */
+    checkedEnumCount: number;
+    /** True when nothing that breaks platform code was found. */
+    ok: boolean;
+}
+/** Parses the field lines of a `model` block into signatures, keyed by name. */
+declare function parseFields(block: string): Map<string, FieldSignature>;
+/**
+ * Parses the members of an `enum` block. Values may share a line
+ * (`enum Role { ADMIN USER }`); a trailing `@map(…)` attribute is not a value.
+ */
+declare function parseEnumValues(block: string): string[];
+/**
+ * Parses the block-level attributes of a `model`. Comparing these is what
+ * catches a missing index or unique constraint — differences the field-level
+ * comparison is blind to.
+ */
+declare function parseBlockAttributes(name: string, block: string): BlockAttributes;
+/** Parses every `model` and `enum` declaration of a Prisma schema. */
+declare function parseSchema(schema: string): ParsedSchema;
+/**
+ * A missing index costs query time; a missing `@@unique` or a diverging
+ * `@@map` breaks correctness — the platform relies on the constraint holding,
+ * and on finding the table under its canonical name. Only the latter two fail
+ * the check.
+ */
+declare function breaksContract(attribute: MissingBlockAttribute): boolean;
+/**
+ * Compares a consumer schema against the canonical fragments. `specSchema` is
+ * the concatenation of the fragments the check should cover.
+ */
+declare function checkSchema(specSchema: string, appSchema: string): SchemaCheckReport;
+
 interface CliContextModuleOptions {
     config: CliContextConfig;
     userPort: ProviderSpec<UserPort>;
@@ -545,4 +661,4 @@ declare class UserCommands extends CommandRunner {
     parsePassword(val: string): string;
 }
 
-export { AUDIT_QUERY_PORT_TOKEN, AdminCommands, AdminManifestDoctorCheck, AdminMfaSetupCommand, AdminWhoamiCommand, type ApplyResult, AuditCommands, AuditTailCommand, AuditTailFlow, type AuditTailOptions, CLI_CONTEXT_CONFIG_TOKEN, type CheckSeverity, type CliContextConfig, CliContextModule, type CliContextModuleOptions, CliContextService, CliError, type CliIdentity, DEFAULT_MANIFEST_CHECKS, DOCTOR_CHECKS_TOKEN, DiscoveryCommands, DiscoveryScanCommand, DiscoverySnapshotDoctorCheck, type DoctorCheck, type DoctorCheckResult, DoctorCommands, DoctorFlow, type DoctorReport, MANIFEST_ACCESS_PORT_TOKEN, MANIFEST_CHECKS_TOKEN, type ManifestCheck, ManifestCheckCommand, type ManifestCheckReport, type ManifestCheckResult, ManifestCliFlow, ManifestCommands, type ManifestDiff, ManifestDumpCommand, ManifestHashCommand, ManifestValidateCommand, MfaSetupFlow, type MfaSetupOptions, type MfaSetupResult, PLATFORM_DOCTOR_CHECK_PROVIDERS, PlanCatalogDoctorCheck, USER_MANAGEMENT_PORT_TOKEN, USER_PORT_TOKEN, UserCommands, UserPortDoctorCheck, WhoAmIFlow, type WhoAmIResult, applyFragmentBlocks, extractModelBlocks, extractModelNames };
+export { AUDIT_QUERY_PORT_TOKEN, AdminCommands, AdminManifestDoctorCheck, AdminMfaSetupCommand, AdminWhoamiCommand, type ApplyResult, AuditCommands, AuditTailCommand, AuditTailFlow, type AuditTailOptions, type BlockAttributeKind, type BlockAttributes, CLI_CONTEXT_CONFIG_TOKEN, type CheckSeverity, type CliContextConfig, CliContextModule, type CliContextModuleOptions, CliContextService, CliError, type CliIdentity, DEFAULT_MANIFEST_CHECKS, DOCTOR_CHECKS_TOKEN, DiscoveryCommands, DiscoveryScanCommand, DiscoverySnapshotDoctorCheck, type DoctorCheck, type DoctorCheckResult, DoctorCommands, DoctorFlow, type DoctorReport, type FieldMismatch, type FieldMismatchReason, type FieldSignature, MANIFEST_ACCESS_PORT_TOKEN, MANIFEST_CHECKS_TOKEN, type ManifestCheck, ManifestCheckCommand, type ManifestCheckReport, type ManifestCheckResult, ManifestCliFlow, ManifestCommands, type ManifestDiff, ManifestDumpCommand, ManifestHashCommand, ManifestValidateCommand, MfaSetupFlow, type MfaSetupOptions, type MfaSetupResult, type MissingBlockAttribute, type MissingEnumValue, type MissingField, PLATFORM_DOCTOR_CHECK_PROVIDERS, type ParsedSchema, PlanCatalogDoctorCheck, type SchemaCheckReport, USER_MANAGEMENT_PORT_TOKEN, USER_PORT_TOKEN, UserCommands, UserPortDoctorCheck, WhoAmIFlow, type WhoAmIResult, applyFragmentBlocks, blockBodyLines, breaksContract, checkSchema, extractBlockNames, extractBlocks, extractModelBlocks, extractModelNames, parseBlockAttributes, parseEnumValues, parseFields, parseSchema, stripLineComment };

package/dist/index.js

@@ -1028,51 +1028,48 @@ var PLATFORM_DOCTOR_CHECK_PROVIDERS = [
   AdminManifestDoctorCheck
 ];
 
-// src/schema-apply.ts
+// src/prisma-blocks.ts
 function stripLineComment(line) {
   const commentStart = line.indexOf("//");
   return commentStart === -1 ? line : line.slice(0, commentStart);
 }
 __name(stripLineComment, "stripLineComment");
-function extractModelNames(schema) {
+function declarationPattern(keyword) {
+  return new RegExp(`^\\s*${keyword}\\s+([A-Za-z_][A-Za-z0-9_]*)\\s*\\{`);
+}
+__name(declarationPattern, "declarationPattern");
+function extractBlockNames(schema, keyword) {
+  const pattern = declarationPattern(keyword);
   const names = [];
-  const lines = schema.split("\n");
-  for (const line of lines) {
-    const stripped = stripLineComment(line).trim();
-    const match = stripped.match(/^model\s+([A-Za-z_][A-Za-z0-9_]*)\s*\{/);
+  for (const line of schema.split("\n")) {
+    const match = stripLineComment(line).match(pattern);
     if (match) names.push(match[1]);
   }
   return names;
 }
-__name(extractModelNames, "extractModelNames");
-function extractModelBlocks(fragment) {
+__name(extractBlockNames, "extractBlockNames");
+function extractBlocks(schema, keyword) {
+  const pattern = declarationPattern(keyword);
   const blocks = /* @__PURE__ */ new Map();
-  const lines = fragment.split("\n");
   let current = null;
-  for (const rawLine of lines) {
+  for (const rawLine of schema.split("\n")) {
     const stripped = stripLineComment(rawLine);
+    const openCount = (stripped.match(/\{/g) ?? []).length;
+    const closeCount = (stripped.match(/\}/g) ?? []).length;
     if (!current) {
-      const match = rawLine.match(/^\s*model\s+([A-Za-z_][A-Za-z0-9_]*)\s*\{/);
-      if (match) {
-        const openCount = (stripped.match(/\{/g) ?? []).length;
-        const closeCount = (stripped.match(/\}/g) ?? []).length;
-        current = {
-          name: match[1],
-          lines: [
-            rawLine
-          ],
-          depth: openCount - closeCount
-        };
-        if (current.depth === 0) {
-          blocks.set(current.name, current.lines.join("\n"));
-          current = null;
-        }
-      }
-      continue;
+      const match = stripped.match(pattern);
+      if (!match) continue;
+      current = {
+        name: match[1],
+        lines: [
+          rawLine
+        ],
+        depth: openCount - closeCount
+      };
+    } else {
+      current.lines.push(rawLine);
+      current.depth += openCount - closeCount;
     }
-    current.lines.push(rawLine);
-    current.depth += (stripped.match(/\{/g) ?? []).length;
-    current.depth -= (stripped.match(/\}/g) ?? []).length;
     if (current.depth <= 0) {
       blocks.set(current.name, current.lines.join("\n"));
       current = null;
@@ -1080,6 +1077,23 @@ function extractModelBlocks(fragment) {
   }
   return blocks;
 }
+__name(extractBlocks, "extractBlocks");
+function blockBodyLines(block) {
+  const bodyStart = block.indexOf("{");
+  const bodyEnd = block.lastIndexOf("}");
+  if (bodyStart === -1 || bodyEnd <= bodyStart) return [];
+  return block.slice(bodyStart + 1, bodyEnd).split("\n").map((line) => stripLineComment(line).trim()).filter((line) => line.length > 0 && !line.startsWith("@@"));
+}
+__name(blockBodyLines, "blockBodyLines");
+
+// src/schema-apply.ts
+function extractModelNames(schema) {
+  return extractBlockNames(schema, "model");
+}
+__name(extractModelNames, "extractModelNames");
+function extractModelBlocks(fragment) {
+  return extractBlocks(fragment, "model");
+}
 __name(extractModelBlocks, "extractModelBlocks");
 function applyFragmentBlocks(schema, fragmentBlocks, options = {}) {
   const existing = new Set(extractModelNames(schema));
@@ -1104,11 +1118,11 @@ function applyFragmentBlocks(schema, fragmentBlocks, options = {}) {
   const header = options.fragmentLabel ? `
 
 // ============================================================
-// Eingef\xFCgt durch \`saas-platform schema apply\` aus ${options.fragmentLabel}
+// Eingef\xFCgt durch \`saasicat schema apply\` aus ${options.fragmentLabel}
 // ============================================================
 ` : `
 
-// Eingef\xFCgt durch \`saas-platform schema apply\`
+// Eingef\xFCgt durch \`saasicat schema apply\`
 `;
   const trimmedSchema = schema.endsWith("\n") ? schema : schema + "\n";
   return {
@@ -1119,6 +1133,188 @@ function applyFragmentBlocks(schema, fragmentBlocks, options = {}) {
 }
 __name(applyFragmentBlocks, "applyFragmentBlocks");
 
+// src/schema-check.ts
+function renderType(signature) {
+  return `${signature.type}${signature.list ? "[]" : ""}${signature.optional ? "?" : ""}`;
+}
+__name(renderType, "renderType");
+function parseFields(block) {
+  const fields = /* @__PURE__ */ new Map();
+  for (const line of blockBodyLines(block)) {
+    const [name, rawType] = line.split(/\s+/);
+    if (!rawType || name.startsWith("@")) continue;
+    const list = rawType.includes("[]");
+    const optional = rawType.endsWith("?");
+    fields.set(name, {
+      name,
+      type: rawType.replace("[]", "").replace("?", ""),
+      optional,
+      list
+    });
+  }
+  return fields;
+}
+__name(parseFields, "parseFields");
+function parseEnumValues(block) {
+  const values = [];
+  for (const line of blockBodyLines(block)) {
+    for (const token of line.split(/\s+/)) {
+      if (token.startsWith("@")) break;
+      if (token.length > 0) values.push(token);
+    }
+  }
+  return values;
+}
+__name(parseEnumValues, "parseEnumValues");
+function attributeFieldLists(block, attribute) {
+  const pattern = new RegExp(`@@${attribute}\\(([^)]*\\])`, "g");
+  return new Set([
+    ...block.matchAll(pattern)
+  ].map((match) => match[1].replace(/\s+/g, "")));
+}
+__name(attributeFieldLists, "attributeFieldLists");
+function parseBlockAttributes(name, block) {
+  return {
+    indexes: attributeFieldLists(block, "index"),
+    uniques: attributeFieldLists(block, "unique"),
+    map: block.match(/@@map\("([^"]+)"\)/)?.[1] ?? name
+  };
+}
+__name(parseBlockAttributes, "parseBlockAttributes");
+function parseSchema(schema) {
+  const models = /* @__PURE__ */ new Map();
+  const modelAttributes = /* @__PURE__ */ new Map();
+  for (const [name, block] of extractBlocks(schema, "model")) {
+    models.set(name, parseFields(block));
+    modelAttributes.set(name, parseBlockAttributes(name, block));
+  }
+  const enums = /* @__PURE__ */ new Map();
+  for (const [name, block] of extractBlocks(schema, "enum")) {
+    enums.set(name, parseEnumValues(block));
+  }
+  return {
+    models,
+    modelAttributes,
+    enums
+  };
+}
+__name(parseSchema, "parseSchema");
+function isDocumentedTypeSubstitution(spec, app, appEnums) {
+  return spec.type === "String" && appEnums.has(app.type);
+}
+__name(isDocumentedTypeSubstitution, "isDocumentedTypeSubstitution");
+function compareFields(model, specFields, appFields, appEnums, missingFields, fieldMismatches) {
+  for (const [name, spec] of specFields) {
+    const app = appFields.get(name);
+    if (!app) {
+      missingFields.push({
+        model,
+        field: name,
+        type: renderType(spec)
+      });
+      continue;
+    }
+    const mismatch = /* @__PURE__ */ __name((reason) => ({
+      model,
+      field: name,
+      reason,
+      expected: renderType(spec),
+      actual: renderType(app)
+    }), "mismatch");
+    if (spec.type !== app.type && !isDocumentedTypeSubstitution(spec, app, appEnums)) {
+      fieldMismatches.push(mismatch("type"));
+    } else if (spec.list !== app.list) {
+      fieldMismatches.push(mismatch("list"));
+    } else if (!spec.optional && app.optional) {
+      fieldMismatches.push(mismatch("optionality"));
+    }
+  }
+}
+__name(compareFields, "compareFields");
+function compareBlockAttributes(model, spec, app, out) {
+  if (spec.map !== app.map) {
+    out.push({
+      model,
+      kind: "map",
+      expected: `@@map("${spec.map}")`,
+      actual: app.map
+    });
+  }
+  for (const fields of spec.uniques) {
+    if (!app.uniques.has(fields)) {
+      out.push({
+        model,
+        kind: "unique",
+        expected: `@@unique(${fields})`
+      });
+    }
+  }
+  for (const fields of spec.indexes) {
+    if (!app.indexes.has(fields)) {
+      out.push({
+        model,
+        kind: "index",
+        expected: `@@index(${fields})`
+      });
+    }
+  }
+}
+__name(compareBlockAttributes, "compareBlockAttributes");
+function breaksContract(attribute) {
+  return attribute.kind !== "index";
+}
+__name(breaksContract, "breaksContract");
+function checkSchema(specSchema, appSchema) {
+  const spec = parseSchema(specSchema);
+  const app = parseSchema(appSchema);
+  const absentModels = [];
+  const missingFields = [];
+  const fieldMismatches = [];
+  const missingBlockAttributes = [];
+  for (const [model, specFields] of spec.models) {
+    const appFields = app.models.get(model);
+    if (!appFields) {
+      absentModels.push(model);
+      continue;
+    }
+    compareFields(model, specFields, appFields, app.enums, missingFields, fieldMismatches);
+    const specAttrs = spec.modelAttributes.get(model);
+    const appAttrs = app.modelAttributes.get(model);
+    if (specAttrs && appAttrs) {
+      compareBlockAttributes(model, specAttrs, appAttrs, missingBlockAttributes);
+    }
+  }
+  const absentEnums = [];
+  const missingEnumValues = [];
+  for (const [name, specValues] of spec.enums) {
+    const appValues = app.enums.get(name);
+    if (!appValues) {
+      absentEnums.push(name);
+      continue;
+    }
+    for (const value of specValues) {
+      if (!appValues.includes(value)) {
+        missingEnumValues.push({
+          enum: name,
+          value
+        });
+      }
+    }
+  }
+  return {
+    absentModels,
+    absentEnums,
+    missingFields,
+    missingEnumValues,
+    fieldMismatches,
+    missingBlockAttributes,
+    checkedModelCount: spec.models.size - absentModels.length,
+    checkedEnumCount: spec.enums.size - absentEnums.length,
+    ok: missingFields.length === 0 && missingEnumValues.length === 0 && fieldMismatches.length === 0 && !missingBlockAttributes.some(breaksContract)
+  };
+}
+__name(checkSchema, "checkSchema");
+
 // src/module.ts
 import { Module } from "@nestjs/common";
 import { asProvider } from "@saasicat/nest";
@@ -2207,6 +2403,16 @@ export {
   UserPortDoctorCheck,
   WhoAmIFlow,
   applyFragmentBlocks,
+  blockBodyLines,
+  breaksContract,
+  checkSchema,
+  extractBlockNames,
+  extractBlocks,
   extractModelBlocks,
-  extractModelNames
+  extractModelNames,
+  parseBlockAttributes,
+  parseEnumValues,
+  parseFields,
+  parseSchema,
+  stripLineComment
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@saasicat/cli",
-  "version": "0.10.1",
+  "version": "0.12.0",
   "description": "CLI helpers for SaaS platform consumers. Provides CliContextService (identity, MFA, production confirm, audit tag).",
   "type": "module",
   "main": "./dist/index.cjs",
@@ -23,13 +23,13 @@
     "bin"
   ],
   "bin": {
-    "saas-platform": "./bin/saas-platform.js"
+    "saasicat": "./bin/saasicat.js"
   },
   "dependencies": {
     "qrcode-terminal": "^0.12.0",
-    "@saasicat/nest": "^0.10.1",
-    "@saasicat/spec": "^0.10.1",
-    "@saasicat/types": "^0.10.1"
+    "@saasicat/nest": "^0.12.0",
+    "@saasicat/spec": "^0.12.0",
+    "@saasicat/types": "^0.12.0"
   },
   "peerDependencies": {
     "@nestjs/common": "^11.0.0",