@saasicat/cli 0.11.0 → 0.12.0

package/bin/saasicat.js

@@ -169,6 +169,26 @@ function printCheckReport(report) {
         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(', ')}`);

package/dist/index.cjs

@@ -68,11 +68,13 @@ __export(index_exports, {
   WhoAmIFlow: () => WhoAmIFlow,
   applyFragmentBlocks: () => applyFragmentBlocks,
   blockBodyLines: () => blockBodyLines,
+  breaksContract: () => breaksContract,
   checkSchema: () => checkSchema,
   extractBlockNames: () => extractBlockNames,
   extractBlocks: () => extractBlocks,
   extractModelBlocks: () => extractModelBlocks,
   extractModelNames: () => extractModelNames,
+  parseBlockAttributes: () => parseBlockAttributes,
   parseEnumValues: () => parseEnumValues,
   parseFields: () => parseFields,
   parseSchema: () => parseSchema,
@@ -1245,10 +1247,27 @@ function parseEnumValues(block) {
   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")) {
@@ -1256,6 +1275,7 @@ function parseSchema(schema) {
   }
   return {
     models,
+    modelAttributes,
     enums
   };
 }
@@ -1292,12 +1312,46 @@ function compareFields(model, specFields, appFields, appEnums, missingFields, fi
   }
 }
 __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) {
@@ -1305,6 +1359,11 @@ function checkSchema(specSchema, appSchema) {
       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 = [];
@@ -1329,9 +1388,10 @@ function checkSchema(specSchema, appSchema) {
     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
+    ok: missingFields.length === 0 && missingEnumValues.length === 0 && fieldMismatches.length === 0 && !missingBlockAttributes.some(breaksContract)
   };
 }
 __name(checkSchema, "checkSchema");
@@ -2426,11 +2486,13 @@ UserCommands = _ts_decorate14([
   WhoAmIFlow,
   applyFragmentBlocks,
   blockBodyLines,
+  breaksContract,
   checkSchema,
   extractBlockNames,
   extractBlocks,
   extractModelBlocks,
   extractModelNames,
+  parseBlockAttributes,
   parseEnumValues,
   parseFields,
   parseSchema,

package/dist/index.d.cts

@@ -383,8 +383,17 @@ interface FieldSignature {
     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 {
@@ -405,6 +414,15 @@ interface FieldMismatch {
     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[];
@@ -413,6 +431,11 @@ interface SchemaCheckReport {
     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. */
@@ -427,8 +450,21 @@ declare function parseFields(block: string): Map<string, FieldSignature>;
  * (`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.
@@ -625,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, 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 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, checkSchema, extractBlockNames, extractBlocks, extractModelBlocks, extractModelNames, parseEnumValues, parseFields, parseSchema, stripLineComment };
+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

@@ -383,8 +383,17 @@ interface FieldSignature {
     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 {
@@ -405,6 +414,15 @@ interface FieldMismatch {
     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[];
@@ -413,6 +431,11 @@ interface SchemaCheckReport {
     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. */
@@ -427,8 +450,21 @@ declare function parseFields(block: string): Map<string, FieldSignature>;
  * (`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.
@@ -625,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, 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 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, checkSchema, extractBlockNames, extractBlocks, extractModelBlocks, extractModelNames, parseEnumValues, parseFields, parseSchema, stripLineComment };
+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

@@ -1166,10 +1166,27 @@ function parseEnumValues(block) {
   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")) {
@@ -1177,6 +1194,7 @@ function parseSchema(schema) {
   }
   return {
     models,
+    modelAttributes,
     enums
   };
 }
@@ -1213,12 +1231,46 @@ function compareFields(model, specFields, appFields, appEnums, missingFields, fi
   }
 }
 __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) {
@@ -1226,6 +1278,11 @@ function checkSchema(specSchema, appSchema) {
       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 = [];
@@ -1250,9 +1307,10 @@ function checkSchema(specSchema, appSchema) {
     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
+    ok: missingFields.length === 0 && missingEnumValues.length === 0 && fieldMismatches.length === 0 && !missingBlockAttributes.some(breaksContract)
   };
 }
 __name(checkSchema, "checkSchema");
@@ -2346,11 +2404,13 @@ export {
   WhoAmIFlow,
   applyFragmentBlocks,
   blockBodyLines,
+  breaksContract,
   checkSchema,
   extractBlockNames,
   extractBlocks,
   extractModelBlocks,
   extractModelNames,
+  parseBlockAttributes,
   parseEnumValues,
   parseFields,
   parseSchema,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@saasicat/cli",
-  "version": "0.11.0",
+  "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",
@@ -27,9 +27,9 @@
   },
   "dependencies": {
     "qrcode-terminal": "^0.12.0",
-    "@saasicat/nest": "^0.11.0",
-    "@saasicat/spec": "^0.11.0",
-    "@saasicat/types": "^0.11.0"
+    "@saasicat/nest": "^0.12.0",
+    "@saasicat/spec": "^0.12.0",
+    "@saasicat/types": "^0.12.0"
   },
   "peerDependencies": {
     "@nestjs/common": "^11.0.0",