firebase-contract 0.1.0-rc.0 → 0.1.0-rc.1

package/dist/lib/_internal/compiler/compiler.d.ts

@@ -54,6 +54,18 @@ export declare const generateAll: (entryPath: string, options?: {
     context?: GeneratorContext;
     loader?: ModuleLoader;
 }) => GenerateAllResult;
+export interface FileDrift {
+    /** Files whose on-disk content differs from the generated content. */
+    changed: string[];
+    /** Files that generation produces but do not exist on disk yet. */
+    missing: string[];
+}
+/**
+ * Compare generated files against what is currently on disk — the dry-run
+ * behind `fbc generate --check`, catching "the contract changed but the
+ * committed outputs were not regenerated" drift without touching the tree.
+ */
+export declare const diffFiles: (files: GeneratedFile[]) => FileDrift;
 export interface GenerateResult {
     ir: Ir;
     diagnostics: Diagnostic[];

package/dist/lib/_internal/compiler/compiler.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../../../src/lib/_internal/compiler/compiler.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,UAAU,EAAoB,MAAM,mBAAmB,CAAA;AAEhE,OAAO,EAAE,EAAE,EAAE,MAAM,aAAa,CAAA;AAChC,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AAEvD,OAAO,EAAkB,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAG3E,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAE5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAE7D,MAAM,WAAW,cAAc;IAC7B,6DAA6D;IAC7D,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,EAAE,CAAA;IACN,SAAS,EAAE,WAAW,EAAE,CAAA;IACxB,WAAW,EAAE,UAAU,EAAE,CAAA;CAC1B;AAED;;;;;GAKG;AACH,eAAO,MAAM,OAAO,GAAI,WAAW,MAAM,EAAE,UAAS,cAAmB,KAAG,aAUzE,CAAA;AAED,MAAM,WAAW,eAAgB,SAAQ,cAAc;IACrD,MAAM,EAAE,MAAM,CAAA;IACd,2EAA2E;IAC3E,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IACrB,sEAAsE;IACtE,QAAQ,CAAC,EAAE,iBAAiB,CAAA;IAC5B,oDAAoD;IACpD,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,OAAO,CAAC,EAAE,gBAAgB,CAAA;CAC3B;AAED,MAAM,WAAW,oBAAoB;IACnC,mDAAmD;IACnD,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,CAAA;IACd,UAAU,EAAE,MAAM,EAAE,CAAA;IACpB,KAAK,EAAE,aAAa,EAAE,CAAA;CACvB;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,oBAAoB,EAAE,CAAA;IAC/B,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,EAAE,EAAE,OAAO,CAAA;CACZ;AAED;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GACtB,WAAW,MAAM,EACjB,UAAS;IAAE,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAAC,MAAM,CAAC,EAAE,YAAY,CAAA;CAAO,KACjH,iBA8BF,CAAA;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,EAAE,CAAA;IACN,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,oFAAoF;IACpF,KAAK,EAAE,aAAa,EAAE,CAAA;IACtB,0DAA0D;IAC1D,EAAE,EAAE,OAAO,CAAA;CACZ;AAED;;;;GAIG;AACH,eAAO,MAAM,QAAQ,GAAI,WAAW,MAAM,EAAE,SAAS,eAAe,KAAG,cAuCtE,CAAA"}
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../../../src/lib/_internal/compiler/compiler.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,UAAU,EAAoB,MAAM,mBAAmB,CAAA;AAEhE,OAAO,EAAE,EAAE,EAAE,MAAM,aAAa,CAAA;AAChC,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AAEvD,OAAO,EAAkB,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAG3E,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAE5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAE7D,MAAM,WAAW,cAAc;IAC7B,6DAA6D;IAC7D,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,EAAE,CAAA;IACN,SAAS,EAAE,WAAW,EAAE,CAAA;IACxB,WAAW,EAAE,UAAU,EAAE,CAAA;CAC1B;AAED;;;;;GAKG;AACH,eAAO,MAAM,OAAO,GAAI,WAAW,MAAM,EAAE,UAAS,cAAmB,KAAG,aAUzE,CAAA;AAED,MAAM,WAAW,eAAgB,SAAQ,cAAc;IACrD,MAAM,EAAE,MAAM,CAAA;IACd,2EAA2E;IAC3E,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IACrB,sEAAsE;IACtE,QAAQ,CAAC,EAAE,iBAAiB,CAAA;IAC5B,oDAAoD;IACpD,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,OAAO,CAAC,EAAE,gBAAgB,CAAA;CAC3B;AAED,MAAM,WAAW,oBAAoB;IACnC,mDAAmD;IACnD,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,CAAA;IACd,UAAU,EAAE,MAAM,EAAE,CAAA;IACpB,KAAK,EAAE,aAAa,EAAE,CAAA;CACvB;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,oBAAoB,EAAE,CAAA;IAC/B,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,EAAE,EAAE,OAAO,CAAA;CACZ;AAED;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GACtB,WAAW,MAAM,EACjB,UAAS;IAAE,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAAC,MAAM,CAAC,EAAE,YAAY,CAAA;CAAO,KACjH,iBA8BF,CAAA;AAED,MAAM,WAAW,SAAS;IACxB,sEAAsE;IACtE,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,mEAAmE;IACnE,OAAO,EAAE,MAAM,EAAE,CAAA;CAClB;AAED;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,OAAO,aAAa,EAAE,KAAG,SAUlD,CAAA;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,EAAE,CAAA;IACN,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,oFAAoF;IACpF,KAAK,EAAE,aAAa,EAAE,CAAA;IACtB,0DAA0D;IAC1D,EAAE,EAAE,OAAO,CAAA;CACZ;AAED;;;;GAIG;AACH,eAAO,MAAM,QAAQ,GAAI,WAAW,MAAM,EAAE,SAAS,eAAe,KAAG,cAuCtE,CAAA"}

package/dist/lib/_internal/compiler/compiler.js

@@ -1,4 +1,4 @@
-import { mkdirSync, writeFileSync } from 'node:fs';
+import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'node:fs';
 import { dirname, join } from 'node:path';
 import { error, hasErrors } from '../diagnostics.js';
 import { buildIr } from '../ir/build-ir.js';
@@ -62,6 +62,23 @@ export const generateAll = (entryPath, options = {}) => {
     }
     return { targets, diagnostics: collected, ok };
 };
+/**
+ * Compare generated files against what is currently on disk — the dry-run
+ * behind `fbc generate --check`, catching "the contract changed but the
+ * committed outputs were not regenerated" drift without touching the tree.
+ */
+export const diffFiles = (files) => {
+    const drift = { changed: [], missing: [] };
+    for (const file of files) {
+        if (!existsSync(file.path)) {
+            drift.missing.push(file.path);
+        }
+        else if (readFileSync(file.path, 'utf8') !== file.content) {
+            drift.changed.push(file.path);
+        }
+    }
+    return drift;
+};
 /**
  * Compile then emit code. Generation is skipped when compilation produced any
  * error, so generators never see an invalid IR. The CLI is a thin wrapper over

package/dist/lib/_internal/generators/support/split.d.ts

@@ -15,6 +15,13 @@ export interface HostedDeps {
  * declarations can be emitted top-down without forward references.
  */
 export declare const collectDeps: (ir: Ir, roots: IrModel[]) => HostedDeps;
+/**
+ * Assign a unique module basename to every table. Two models may share a
+ * physical table name across services (e.g. both declare
+ * `reconciliation_operations`); the first keeps the table-derived name and
+ * later ones fall back to their model name so files never overwrite each other.
+ */
+export declare const assignModuleNames: (tables: IrModel[]) => Map<string, string>;
 export interface SplitGroups {
     tables: IrModel[];
     /** enum name → hosting table model name */

package/dist/lib/_internal/generators/support/split.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"split.d.ts","sourceRoot":"","sources":["../../../../../src/lib/_internal/generators/support/split.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,EAAE,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAIvD,qEAAqE;AACrE,eAAO,MAAM,OAAO,GAAI,OAAO,OAAO,KAAG,OAAiE,CAAA;AAE1G,eAAO,MAAM,WAAW,GAAI,OAAO,OAAO,KAAG,MAAyD,CAAA;AAEtG,eAAO,MAAM,SAAS,GAAI,OAAO,MAAM,KAAG,MAA6C,CAAA;AAavF,MAAM,WAAW,UAAU;IACzB,2CAA2C;IAC3C,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,8DAA8D;IAC9D,MAAM,EAAE,MAAM,EAAE,CAAA;CACjB;AAED;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,IAAI,EAAE,EAAE,OAAO,OAAO,EAAE,KAAG,UAuBtD,CAAA;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,OAAO,EAAE,CAAA;IACjB,2CAA2C;IAC3C,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,qDAAqD;IACrD,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,oDAAoD;IACpD,aAAa,EAAE,MAAM,EAAE,CAAA;IACvB,8CAA8C;IAC9C,cAAc,EAAE,MAAM,EAAE,CAAA;CACzB;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,GAAI,IAAI,EAAE,KAAG,WAepC,CAAA"}
+{"version":3,"file":"split.d.ts","sourceRoot":"","sources":["../../../../../src/lib/_internal/generators/support/split.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,EAAE,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAIvD,qEAAqE;AACrE,eAAO,MAAM,OAAO,GAAI,OAAO,OAAO,KAAG,OAAiE,CAAA;AAE1G,eAAO,MAAM,WAAW,GAAI,OAAO,OAAO,KAAG,MAAyD,CAAA;AAEtG,eAAO,MAAM,SAAS,GAAI,OAAO,MAAM,KAAG,MAA6C,CAAA;AAavF,MAAM,WAAW,UAAU;IACzB,2CAA2C;IAC3C,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,8DAA8D;IAC9D,MAAM,EAAE,MAAM,EAAE,CAAA;CACjB;AAED;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,IAAI,EAAE,EAAE,OAAO,OAAO,EAAE,KAAG,UAuBtD,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,OAAO,EAAE,KAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAavE,CAAA;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,OAAO,EAAE,CAAA;IACjB,2CAA2C;IAC3C,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,qDAAqD;IACrD,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,oDAAoD;IACpD,aAAa,EAAE,MAAM,EAAE,CAAA;IACvB,8CAA8C;IAC9C,cAAc,EAAE,MAAM,EAAE,CAAA;CACzB;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,GAAI,IAAI,EAAE,KAAG,WAepC,CAAA"}

package/dist/lib/_internal/generators/support/split.js

@@ -49,6 +49,28 @@ export const collectDeps = (ir, roots) => {
         visit(root);
     return { enums, models };
 };
+/**
+ * Assign a unique module basename to every table. Two models may share a
+ * physical table name across services (e.g. both declare
+ * `reconciliation_operations`); the first keeps the table-derived name and
+ * later ones fall back to their model name so files never overwrite each other.
+ */
+export const assignModuleNames = (tables) => {
+    const used = new Set();
+    const names = new Map();
+    for (const table of tables) {
+        let name = kebabCase(tableNameOf(table));
+        if (used.has(name))
+            name = kebabCase(pluralize(snakeCase(table.name)));
+        let candidate = name;
+        let suffix = 2;
+        while (used.has(candidate))
+            candidate = `${name}-${suffix++}`;
+        used.add(candidate);
+        names.set(table.name, candidate);
+    }
+    return names;
+};
 /**
  * Assign every enum and embedded model to the first table model that
  * (transitively) references it; the rest become shared leftovers.

package/dist/lib/_internal/generators/typescript/typescript-split-generator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typescript-split-generator.d.ts","sourceRoot":"","sources":["../../../../../src/lib/_internal/generators/typescript/typescript-split-generator.ts"],"names":[],"mappings":"AACA,OAAO,EAAiB,SAAS,EAAoB,MAAM,iBAAiB,CAAA;AA2F5E;;;;;;GAMG;AACH,eAAO,MAAM,8BAA8B,QAAO,SAyEhD,CAAA"}
+{"version":3,"file":"typescript-split-generator.d.ts","sourceRoot":"","sources":["../../../../../src/lib/_internal/generators/typescript/typescript-split-generator.ts"],"names":[],"mappings":"AACA,OAAO,EAAiB,SAAS,EAAoB,MAAM,iBAAiB,CAAA;AA2F5E;;;;;;GAMG;AACH,eAAO,MAAM,8BAA8B,QAAO,SA0EhD,CAAA"}

package/dist/lib/_internal/generators/typescript/typescript-split-generator.js

@@ -2,7 +2,7 @@ import { findEnum, findModel } from '../../ir/ir.js';
 import { headerBlocks } from '../support/header.js';
 import { constantCase, singleQuote } from '../support/naming.js';
 import { isRelation, relationFkName, relationFkType } from '../support/relations.js';
-import { collectDeps, kebabCase, splitGroups, tableNameOf } from '../support/split.js';
+import { assignModuleNames, collectDeps, splitGroups } from '../support/split.js';
 const SCALAR_TS = {
     string: 'string',
     int: 'number',
@@ -95,6 +95,7 @@ export const createTypeScriptSplitGenerator = () => ({
     description: 'TypeScript interfaces, one file per table (types/<table>.ts + types.ts barrel)',
     generate(ir, context) {
         const groups = splitGroups(ir);
+        const moduleNames = assignModuleNames(groups.tables);
         const files = [];
         const fileOf = new Map(); // symbol -> module basename (no ext)
         const sharedNeeded = usesJson(ir.models) || groups.leftoverEnums.length > 0 || groups.leftoverModels.length > 0;
@@ -105,7 +106,7 @@ export const createTypeScriptSplitGenerator = () => ({
         for (const name of groups.leftoverModels)
             fileOf.set(name, '_shared');
         for (const table of groups.tables) {
-            const moduleName = kebabCase(tableNameOf(table));
+            const moduleName = moduleNames.get(table.name) ?? table.name;
             fileOf.set(table.name, moduleName);
             for (const [name, home] of groups.enumHome)
                 if (home === table.name)
@@ -156,7 +157,7 @@ export const createTypeScriptSplitGenerator = () => ({
             emit('_shared', enums, models, usesJson(ir.models));
         }
         for (const table of groups.tables) {
-            const moduleName = kebabCase(tableNameOf(table));
+            const moduleName = moduleNames.get(table.name) ?? table.name;
             const deps = collectDeps(ir, [table]);
             const enums = deps.enums
                 .filter(name => groups.enumHome.get(name) === table.name)

package/dist/lib/_internal/generators/zod/zod-split-generator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"zod-split-generator.d.ts","sourceRoot":"","sources":["../../../../../src/lib/_internal/generators/zod/zod-split-generator.ts"],"names":[],"mappings":"AACA,OAAO,EAAiB,SAAS,EAAoB,MAAM,iBAAiB,CAAA;AAkE5E;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,QAAO,SAkEzC,CAAA"}
+{"version":3,"file":"zod-split-generator.d.ts","sourceRoot":"","sources":["../../../../../src/lib/_internal/generators/zod/zod-split-generator.ts"],"names":[],"mappings":"AACA,OAAO,EAAiB,SAAS,EAAoB,MAAM,iBAAiB,CAAA;AAkE5E;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,QAAO,SAmEzC,CAAA"}

package/dist/lib/_internal/generators/zod/zod-split-generator.js

@@ -3,7 +3,7 @@ import { zodConstraints } from '../support/constraints.js';
 import { headerBlocks } from '../support/header.js';
 import { singleQuote } from '../support/naming.js';
 import { isRelation, relationFkName, relationFkType } from '../support/relations.js';
-import { collectDeps, kebabCase, splitGroups, tableNameOf } from '../support/split.js';
+import { assignModuleNames, collectDeps, splitGroups } from '../support/split.js';
 const SCALAR_ZOD = {
     string: 'z.string()',
     int: 'z.number().int()',
@@ -66,6 +66,7 @@ export const createZodSplitGenerator = () => ({
     description: 'Zod schemas, one file per table (schemas/<table>.ts + schemas.ts barrel)',
     generate(ir, context) {
         const groups = splitGroups(ir);
+        const moduleNames = assignModuleNames(groups.tables);
         const files = [];
         const fileOf = new Map();
         for (const name of groups.leftoverEnums)
@@ -73,7 +74,7 @@ export const createZodSplitGenerator = () => ({
         for (const name of groups.leftoverModels)
             fileOf.set(name, '_shared');
         for (const table of groups.tables) {
-            const moduleName = kebabCase(tableNameOf(table));
+            const moduleName = moduleNames.get(table.name) ?? table.name;
             fileOf.set(table.name, moduleName);
             for (const [name, home] of groups.enumHome)
                 if (home === table.name)
@@ -117,7 +118,7 @@ export const createZodSplitGenerator = () => ({
             emit('_shared', enums, models);
         }
         for (const table of groups.tables) {
-            const moduleName = kebabCase(tableNameOf(table));
+            const moduleName = moduleNames.get(table.name) ?? table.name;
             const deps = collectDeps(ir, [table]);
             const enums = deps.enums
                 .filter(name => groups.enumHome.get(name) === table.name)

package/dist/lib/cli/commands/generate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../../../src/lib/cli/commands/generate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAenC,eAAO,MAAM,gBAAgB,GAAI,SAAS,OAAO,KAAG,IAqEnD,CAAA"}
+{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../../../src/lib/cli/commands/generate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AA4BnC,eAAO,MAAM,gBAAgB,GAAI,SAAS,OAAO,KAAG,IAgFnD,CAAA"}

package/dist/lib/cli/commands/generate.js

@@ -1,8 +1,20 @@
-import { generate, generateAll } from '../../_internal/compiler/compiler.js';
+import { diffFiles, generate, generateAll } from '../../_internal/compiler/compiler.js';
 import { DEFAULT_HEADER, toHeaderComment } from '../../_internal/generators/support/header.js';
 import { countBySeverity, formatDiagnostics } from '../../_internal/format-diagnostics.js';
 import { createDefaultRegistry } from '../../_internal/generators/index.js';
 import { loadConfig } from '../config.js';
+const reportDrift = (changed, missing) => {
+    if (changed.length === 0 && missing.length === 0) {
+        console.log('✔ no drift — on-disk files match the contract');
+        return;
+    }
+    console.error('✖ drift detected — regenerate and commit the outputs (fbc generate):');
+    for (const path of changed)
+        console.error(`  changed: ${path}`);
+    for (const path of missing)
+        console.error(`  missing: ${path}`);
+    process.exit(1);
+};
 export const registerGenerate = (program) => {
     program
         .command('generate')
@@ -11,6 +23,7 @@ export const registerGenerate = (program) => {
         .option('-o, --out-dir <dir>', 'output directory')
         .option('-g, --generators <list>', 'comma-separated generator names')
         .option('--header [text]', 'prepend a comment header to generated files (bare --header = default banner; omitted = contract `header:` or none)')
+        .option('--check', 'verify the on-disk files match what would be generated; exits 1 on drift (writes nothing)')
         .action((entryArg, flags) => {
         const config = loadConfig();
         const entry = entryArg ?? config.entry ?? 'contract.yml';
@@ -23,7 +36,7 @@ export const registerGenerate = (program) => {
         // graph — the one-command flow. Flags switch back to single-target mode.
         const explicit = flags.outDir !== undefined || flags.generators !== undefined || config.outDir !== undefined || config.generators !== undefined;
         if (!explicit) {
-            const all = generateAll(entry, { registry, write: true, ...(context ? { context } : {}) });
+            const all = generateAll(entry, { registry, write: !flags.check, ...(context ? { context } : {}) });
             if (all.targets.length > 0 || !all.ok) {
                 if (all.diagnostics.length > 0) {
                     console.log(formatDiagnostics(all.diagnostics));
@@ -33,6 +46,11 @@ export const registerGenerate = (program) => {
                     console.error(`\n✖ generation aborted: ${errors} error(s)`);
                     process.exit(1);
                 }
+                if (flags.check) {
+                    const drift = diffFiles(all.targets.flatMap(target => target.files));
+                    reportDrift(drift.changed, drift.missing);
+                    return;
+                }
                 let total = 0;
                 for (const target of all.targets) {
                     total += target.files.length;
@@ -47,7 +65,7 @@ export const registerGenerate = (program) => {
             outDir,
             generators,
             registry,
-            write: true,
+            write: !flags.check,
             ...(context ? { context } : {}),
         });
         if (result.diagnostics.length > 0) {
@@ -58,6 +76,11 @@ export const registerGenerate = (program) => {
             console.error(`\n✖ generation aborted: ${errors} error(s)`);
             process.exit(1);
         }
+        if (flags.check) {
+            const drift = diffFiles(result.files);
+            reportDrift(drift.changed, drift.missing);
+            return;
+        }
         for (const file of result.files) {
             console.log(`generated ${file.path}`);
         }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "firebase-contract",
-  "version": "0.1.0-rc.0",
+  "version": "0.1.0-rc.1",
   "type": "module",
   "bin": {
     "firebase-contract": "./dist/lib/cli/index.js",