prisma-schema-auditor 1.0.1

package/dist/core/analysis/normalizeChecks/check3nf.d.ts

@@ -0,0 +1,18 @@
+import type { ConstraintContract, Finding } from '../../report/reportTypes.js';
+import type { FunctionalDependency } from '../inferFds.js';
+/**
+ * Check for 3NF and BCNF violations using declared functional dependencies
+ * (invariant-declared FDs only).
+ *
+ * 3NF violation: X → A where X is not a superkey AND A is not part of
+ *   any candidate key (transitive dependency).
+ *
+ * BCNF violation: X → A where X is not a superkey (regardless of whether
+ *   A is in a candidate key).
+ *
+ * Only invariant-sourced FDs are checked, since:
+ * - PK/unique FDs are trivially satisfied by key constraints
+ * - FK FDs are cross-model references, not intra-model dependencies
+ */
+export declare function check3nf(contract: ConstraintContract, fds: readonly FunctionalDependency[]): readonly Finding[];
+//# sourceMappingURL=check3nf.d.ts.map

package/dist/core/analysis/normalizeChecks/check3nf.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check3nf.d.ts","sourceRoot":"","sources":["../../../../src/core/analysis/normalizeChecks/check3nf.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAI3D;;;;;;;;;;;;;GAaG;AACH,wBAAgB,QAAQ,CACtB,QAAQ,EAAE,kBAAkB,EAC5B,GAAG,EAAE,SAAS,oBAAoB,EAAE,GACnC,SAAS,OAAO,EAAE,CA8DpB"}

package/dist/core/analysis/normalizeChecks/check3nf.js

@@ -0,0 +1,71 @@
+import { isSuperkey } from '../inferFds.js';
+import { extractCandidateKeys } from '../computeKeys.js';
+/**
+ * Check for 3NF and BCNF violations using declared functional dependencies
+ * (invariant-declared FDs only).
+ *
+ * 3NF violation: X → A where X is not a superkey AND A is not part of
+ *   any candidate key (transitive dependency).
+ *
+ * BCNF violation: X → A where X is not a superkey (regardless of whether
+ *   A is in a candidate key).
+ *
+ * Only invariant-sourced FDs are checked, since:
+ * - PK/unique FDs are trivially satisfied by key constraints
+ * - FK FDs are cross-model references, not intra-model dependencies
+ */
+export function check3nf(contract, fds) {
+    const findings = [];
+    // Only check invariant-declared FDs (user-specified intra-model dependencies)
+    const checkableFds = fds.filter((fd) => fd.source === 'invariant');
+    // For superkey checks, only use intra-model FDs (exclude FK which are cross-model)
+    const intraModelFds = fds.filter((fd) => fd.source !== 'fk');
+    for (const fd of checkableFds) {
+        const model = contract.models.find((m) => m.name === fd.model);
+        if (model === undefined) {
+            continue;
+        }
+        const allFields = model.fields.map((f) => f.name);
+        // Skip if determinant is already a superkey (using only intra-model FDs)
+        if (isSuperkey(fd.determinant, allFields, intraModelFds, fd.model)) {
+            continue;
+        }
+        // Determinant is not a superkey - check each dependent attribute
+        const candidateKeys = extractCandidateKeys(contract, fd.model);
+        const candidateKeyFields = new Set(candidateKeys.flatMap((k) => [...k.fields]));
+        for (const dep of fd.dependent) {
+            // Skip self-determination (trivial FDs)
+            if (fd.determinant.includes(dep)) {
+                continue;
+            }
+            // Skip if the field doesn't exist in this model's contract
+            if (!allFields.includes(dep)) {
+                continue;
+            }
+            if (candidateKeyFields.has(dep)) {
+                // Dependent is in a candidate key - BCNF violation only (3NF is satisfied)
+                findings.push({
+                    rule: 'BCNF_VIOLATION',
+                    severity: 'info',
+                    normalForm: 'BCNF',
+                    model: fd.model,
+                    field: dep,
+                    message: `FD {${fd.determinant.join(', ')}} → {${dep}}: determinant is not a superkey. BCNF violation (${dep} is part of a candidate key, so 3NF is satisfied).`,
+                });
+            }
+            else {
+                // Dependent is not in any candidate key - 3NF violation (and BCNF)
+                findings.push({
+                    rule: 'NF3_VIOLATION',
+                    severity: 'error',
+                    normalForm: '3NF',
+                    model: fd.model,
+                    field: dep,
+                    message: `FD {${fd.determinant.join(', ')}} → {${dep}}: transitive dependency detected. "${dep}" depends on non-key attributes {${fd.determinant.join(', ')}} rather than a candidate key.`,
+                });
+            }
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=check3nf.js.map

package/dist/core/analysis/normalizeChecks/check3nf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check3nf.js","sourceRoot":"","sources":["../../../../src/core/analysis/normalizeChecks/check3nf.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAEzD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,QAAQ,CACtB,QAA4B,EAC5B,GAAoC;IAEpC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAE/B,8EAA8E;IAC9E,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;IAEnE,mFAAmF;IACnF,MAAM,aAAa,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;IAE7D,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC;QAC/D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAElD,yEAAyE;QACzE,IAAI,UAAU,CAAC,EAAE,CAAC,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YACnE,SAAS;QACX,CAAC;QAED,iEAAiE;QACjE,MAAM,aAAa,GAAG,oBAAoB,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;QAC/D,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAEhF,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;YAC/B,wCAAwC;YACxC,IAAI,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjC,SAAS;YACX,CAAC;YAED,2DAA2D;YAC3D,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,SAAS;YACX,CAAC;YAED,IAAI,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChC,2EAA2E;gBAC3E,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,gBAAgB;oBACtB,QAAQ,EAAE,MAAM;oBAChB,UAAU,EAAE,MAAM;oBAClB,KAAK,EAAE,EAAE,CAAC,KAAK;oBACf,KAAK,EAAE,GAAG;oBACV,OAAO,EAAE,OAAO,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,GAAG,qDAAqD,GAAG,oDAAoD;iBACjK,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,mEAAmE;gBACnE,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,eAAe;oBACrB,QAAQ,EAAE,OAAO;oBACjB,UAAU,EAAE,KAAK;oBACjB,KAAK,EAAE,EAAE,CAAC,KAAK;oBACf,KAAK,EAAE,GAAG;oBACV,OAAO,EAAE,OAAO,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,GAAG,uCAAuC,GAAG,oCAAoC,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,gCAAgC;iBAC5L,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/core/invariants/parse.d.ts

@@ -0,0 +1,19 @@
+import type { InvariantsFile } from './schema.js';
+import type { FunctionalDependency } from '../analysis/inferFds.js';
+import type { ConstraintContract, Finding } from '../report/reportTypes.js';
+/**
+ * Parse and validate an invariants JSON file.
+ * Returns the validated invariants or throws on invalid input.
+ */
+export declare function parseInvariantsFile(filePath: string): InvariantsFile;
+/**
+ * Convert parsed invariants into FunctionalDependency objects.
+ */
+export declare function invariantsToFds(invariants: InvariantsFile): readonly FunctionalDependency[];
+/**
+ * Validate that invariant-declared models and fields actually exist in the
+ * constraint contract. Returns findings for any references that don't match,
+ * so users get immediate feedback when their invariants file is stale or wrong.
+ */
+export declare function validateInvariantsAgainstContract(invariants: InvariantsFile, contract: ConstraintContract): readonly Finding[];
+//# sourceMappingURL=parse.d.ts.map

package/dist/core/invariants/parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../../src/core/invariants/parse.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,KAAK,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAE5E;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,cAAc,CAIpE;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,UAAU,EAAE,cAAc,GAAG,SAAS,oBAAoB,EAAE,CAiB3F;AAED;;;;GAIG;AACH,wBAAgB,iCAAiC,CAC/C,UAAU,EAAE,cAAc,EAC1B,QAAQ,EAAE,kBAAkB,GAC3B,SAAS,OAAO,EAAE,CAuCpB"}

package/dist/core/invariants/parse.js

@@ -0,0 +1,73 @@
+import { readFileSync } from 'node:fs';
+import { invariantsFileSchema } from './schema.js';
+/**
+ * Parse and validate an invariants JSON file.
+ * Returns the validated invariants or throws on invalid input.
+ */
+export function parseInvariantsFile(filePath) {
+    const content = readFileSync(filePath, 'utf-8');
+    const raw = JSON.parse(content);
+    return invariantsFileSchema.parse(raw);
+}
+/**
+ * Convert parsed invariants into FunctionalDependency objects.
+ */
+export function invariantsToFds(invariants) {
+    const fds = [];
+    for (const [modelName, modelInvariants] of Object.entries(invariants)) {
+        if (modelInvariants.functionalDependencies !== undefined) {
+            for (const fd of modelInvariants.functionalDependencies) {
+                fds.push({
+                    determinant: fd.determinant,
+                    dependent: fd.dependent,
+                    model: modelName,
+                    source: 'invariant',
+                });
+            }
+        }
+    }
+    return fds;
+}
+/**
+ * Validate that invariant-declared models and fields actually exist in the
+ * constraint contract. Returns findings for any references that don't match,
+ * so users get immediate feedback when their invariants file is stale or wrong.
+ */
+export function validateInvariantsAgainstContract(invariants, contract) {
+    const findings = [];
+    const modelMap = new Map(contract.models.map((m) => [m.name, m]));
+    for (const [modelName, modelInvariants] of Object.entries(invariants)) {
+        const model = modelMap.get(modelName);
+        if (model === undefined) {
+            findings.push({
+                rule: 'INVARIANT_UNKNOWN_MODEL',
+                severity: 'warning',
+                normalForm: '3NF',
+                model: modelName,
+                field: null,
+                message: `Invariants reference model "${modelName}" which does not exist in the schema.`,
+            });
+            continue;
+        }
+        const fieldNames = new Set(model.fields.map((f) => f.name));
+        if (modelInvariants.functionalDependencies !== undefined) {
+            for (const fd of modelInvariants.functionalDependencies) {
+                const allReferencedFields = new Set([...fd.determinant, ...fd.dependent]);
+                for (const field of allReferencedFields) {
+                    if (!fieldNames.has(field)) {
+                        findings.push({
+                            rule: 'INVARIANT_UNKNOWN_FIELD',
+                            severity: 'warning',
+                            normalForm: '3NF',
+                            model: modelName,
+                            field,
+                            message: `Invariants reference field "${field}" which does not exist in model "${modelName}".`,
+                        });
+                    }
+                }
+            }
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=parse.js.map

package/dist/core/invariants/parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.js","sourceRoot":"","sources":["../../../src/core/invariants/parse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAKnD;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAgB;IAClD,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAChD,MAAM,GAAG,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACzC,OAAO,oBAAoB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACzC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,UAA0B;IACxD,MAAM,GAAG,GAA2B,EAAE,CAAC;IAEvC,KAAK,MAAM,CAAC,SAAS,EAAE,eAAe,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACtE,IAAI,eAAe,CAAC,sBAAsB,KAAK,SAAS,EAAE,CAAC;YACzD,KAAK,MAAM,EAAE,IAAI,eAAe,CAAC,sBAAsB,EAAE,CAAC;gBACxD,GAAG,CAAC,IAAI,CAAC;oBACP,WAAW,EAAE,EAAE,CAAC,WAAW;oBAC3B,SAAS,EAAE,EAAE,CAAC,SAAS;oBACvB,KAAK,EAAE,SAAS;oBAChB,MAAM,EAAE,WAAW;iBACpB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iCAAiC,CAC/C,UAA0B,EAC1B,QAA4B;IAE5B,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAElE,KAAK,MAAM,CAAC,SAAS,EAAE,eAAe,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACtE,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,yBAAyB;gBAC/B,QAAQ,EAAE,SAAS;gBACnB,UAAU,EAAE,KAAK;gBACjB,KAAK,EAAE,SAAS;gBAChB,KAAK,EAAE,IAAI;gBACX,OAAO,EAAE,+BAA+B,SAAS,uCAAuC;aACzF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5D,IAAI,eAAe,CAAC,sBAAsB,KAAK,SAAS,EAAE,CAAC;YACzD,KAAK,MAAM,EAAE,IAAI,eAAe,CAAC,sBAAsB,EAAE,CAAC;gBACxD,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;gBAC1E,KAAK,MAAM,KAAK,IAAI,mBAAmB,EAAE,CAAC;oBACxC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;wBAC3B,QAAQ,CAAC,IAAI,CAAC;4BACZ,IAAI,EAAE,yBAAyB;4BAC/B,QAAQ,EAAE,SAAS;4BACnB,UAAU,EAAE,KAAK;4BACjB,KAAK,EAAE,SAAS;4BAChB,KAAK;4BACL,OAAO,EAAE,+BAA+B,KAAK,oCAAoC,SAAS,IAAI;yBAC/F,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/core/invariants/schema.d.ts

@@ -0,0 +1,24 @@
+import { z } from 'zod/v4';
+/**
+ * Zod schema for a single functional dependency declaration in invariants.
+ */
+declare const functionalDependencySchema: z.ZodObject<{
+    determinant: z.ZodArray<z.ZodString>;
+    dependent: z.ZodArray<z.ZodString>;
+}, z.core.$strip>;
+/**
+ * Zod schema for the full invariants file.
+ * Top-level keys are model names, values are model invariants.
+ */
+export declare const invariantsFileSchema: z.ZodRecord<z.ZodString, z.ZodObject<{
+    functionalDependencies: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        determinant: z.ZodArray<z.ZodString>;
+        dependent: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>>;
+/** Parsed type for a functional dependency. */
+export type InvariantFd = z.infer<typeof functionalDependencySchema>;
+/** Parsed type for the full invariants file. */
+export type InvariantsFile = z.infer<typeof invariantsFileSchema>;
+export {};
+//# sourceMappingURL=schema.d.ts.map

package/dist/core/invariants/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/core/invariants/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,QAAQ,CAAC;AAE3B;;GAEG;AACH,QAAA,MAAM,0BAA0B;;;iBAG9B,CAAC;AASH;;;GAGG;AACH,eAAO,MAAM,oBAAoB;;;;;kBAA8C,CAAC;AAEhF,+CAA+C;AAC/C,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAErE,gDAAgD;AAChD,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC"}

package/dist/core/invariants/schema.js

@@ -0,0 +1,20 @@
+import { z } from 'zod/v4';
+/**
+ * Zod schema for a single functional dependency declaration in invariants.
+ */
+const functionalDependencySchema = z.object({
+    determinant: z.array(z.string()).min(1),
+    dependent: z.array(z.string()).min(1),
+});
+/**
+ * Zod schema for model-level invariants.
+ */
+const modelInvariantsSchema = z.object({
+    functionalDependencies: z.array(functionalDependencySchema).optional(),
+});
+/**
+ * Zod schema for the full invariants file.
+ * Top-level keys are model names, values are model invariants.
+ */
+export const invariantsFileSchema = z.record(z.string(), modelInvariantsSchema);
+//# sourceMappingURL=schema.js.map

package/dist/core/invariants/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../src/core/invariants/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,QAAQ,CAAC;AAE3B;;GAEG;AACH,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CACtC,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,sBAAsB,EAAE,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,QAAQ,EAAE;CACvE,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,qBAAqB,CAAC,CAAC"}

package/dist/core/prismaSchema/contract.d.ts

@@ -0,0 +1,8 @@
+import type { ParseResult } from './types.js';
+import type { ConstraintContract } from '../report/reportTypes.js';
+/**
+ * Extract a deterministic constraint contract from parsed schema models.
+ * Produces sorted, stable output for diffing.
+ */
+export declare function extractContract(parsed: ParseResult): ConstraintContract;
+//# sourceMappingURL=contract.d.ts.map

package/dist/core/prismaSchema/contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../../src/core/prismaSchema/contract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAA0B,WAAW,EAAE,MAAM,YAAY,CAAC;AACtE,OAAO,KAAK,EACV,kBAAkB,EAOnB,MAAM,0BAA0B,CAAC;AAqBlC;;;GAGG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,WAAW,GAAG,kBAAkB,CAGvE"}

package/dist/core/prismaSchema/contract.js

@@ -0,0 +1,107 @@
+import { sortBy } from '../../util/index.js';
+const DEFAULT_ON_DELETE = 'Cascade';
+const DEFAULT_ON_UPDATE = 'Cascade';
+const VALID_REFERENTIAL_ACTIONS = new Set([
+    'Cascade',
+    'Restrict',
+    'NoAction',
+    'SetNull',
+    'SetDefault',
+]);
+function toReferentialAction(value, fallback) {
+    if (value !== null && VALID_REFERENTIAL_ACTIONS.has(value)) {
+        return value;
+    }
+    return fallback;
+}
+/**
+ * Extract a deterministic constraint contract from parsed schema models.
+ * Produces sorted, stable output for diffing.
+ */
+export function extractContract(parsed) {
+    const models = sortBy([...parsed.models], (m) => m.name).map(extractModelContract);
+    return { models };
+}
+function extractModelContract(model) {
+    const scalarFields = model.fields.filter((f) => f.kind !== 'object');
+    const fields = sortBy([...scalarFields], (f) => f.name).map(extractFieldContract);
+    const primaryKey = extractPrimaryKey(model);
+    const uniqueConstraints = extractUniqueConstraints(model);
+    const foreignKeys = extractForeignKeys(model);
+    return {
+        name: model.name,
+        fields,
+        primaryKey,
+        uniqueConstraints,
+        foreignKeys,
+    };
+}
+function extractFieldContract(field) {
+    return {
+        name: field.name,
+        type: field.type,
+        isNullable: !field.isRequired,
+        hasDefault: field.hasDefaultValue,
+        isList: field.isList,
+    };
+}
+function extractPrimaryKey(model) {
+    // Composite @@id() takes precedence
+    if (model.primaryKey !== null) {
+        return {
+            fields: [...model.primaryKey.fields],
+            isComposite: model.primaryKey.fields.length > 1,
+        };
+    }
+    // Single-field @id
+    const idField = model.fields.find((f) => f.isId);
+    if (idField !== undefined) {
+        return {
+            fields: [idField.name],
+            isComposite: false,
+        };
+    }
+    return null;
+}
+function extractUniqueConstraints(model) {
+    const constraints = [];
+    // Single-field @unique
+    for (const field of model.fields) {
+        if (field.isUnique && field.kind !== 'object') {
+            constraints.push({
+                name: null,
+                fields: [field.name],
+                isComposite: false,
+            });
+        }
+    }
+    // Composite @@unique()
+    for (const idx of model.uniqueIndexes) {
+        constraints.push({
+            name: idx.name,
+            fields: [...idx.fields],
+            isComposite: idx.fields.length > 1,
+        });
+    }
+    return sortBy(constraints, (c) => c.fields.join(','));
+}
+function extractForeignKeys(model) {
+    const fks = [];
+    for (const field of model.fields) {
+        if (field.kind === 'object' &&
+            field.relationFromFields !== null &&
+            field.relationFromFields.length > 0 &&
+            field.relationToFields !== null &&
+            field.relationToFields.length > 0) {
+            fks.push({
+                fields: [...field.relationFromFields],
+                referencedModel: field.type,
+                referencedFields: [...field.relationToFields],
+                onDelete: toReferentialAction(field.relationOnDelete, DEFAULT_ON_DELETE),
+                onUpdate: toReferentialAction(field.relationOnUpdate, DEFAULT_ON_UPDATE),
+            });
+        }
+    }
+    return sortBy(fks, (fk) => fk.fields.join(','));
+}
+//# sourceMappingURL=contract.js.map

package/dist/core/prismaSchema/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../../src/core/prismaSchema/contract.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAE7C,MAAM,iBAAiB,GAAsB,SAAS,CAAC;AACvD,MAAM,iBAAiB,GAAsB,SAAS,CAAC;AAEvD,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAS;IAChD,SAAS;IACT,UAAU;IACV,UAAU;IACV,SAAS;IACT,YAAY;CACb,CAAC,CAAC;AAEH,SAAS,mBAAmB,CAAC,KAAoB,EAAE,QAA2B;IAC5E,IAAI,KAAK,KAAK,IAAI,IAAI,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,OAAO,KAA0B,CAAC;IACpC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,MAAmB;IACjD,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACnF,OAAO,EAAE,MAAM,EAAE,CAAC;AACpB,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAiB;IAC7C,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IAClF,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAE9C,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM;QACN,UAAU;QACV,iBAAiB;QACjB,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAiB;IAC7C,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU;QAC7B,UAAU,EAAE,KAAK,CAAC,eAAe;QACjC,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAiB;IAC1C,oCAAoC;IACpC,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC9B,OAAO;YACL,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;YACpC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;SAChD,CAAC;IACJ,CAAC;IAED,mBAAmB;IACnB,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO;YACL,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;YACtB,WAAW,EAAE,KAAK;SACnB,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAiB;IACjD,MAAM,WAAW,GAAuB,EAAE,CAAC;IAE3C,uBAAuB;IACvB,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9C,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,IAAI;gBACV,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;gBACpB,WAAW,EAAE,KAAK;aACnB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,uBAAuB;IACvB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACtC,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;YACvB,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;SACnC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAiB;IAC3C,MAAM,GAAG,GAA2B,EAAE,CAAC;IAEvC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IACE,KAAK,CAAC,IAAI,KAAK,QAAQ;YACvB,KAAK,CAAC,kBAAkB,KAAK,IAAI;YACjC,KAAK,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;YACnC,KAAK,CAAC,gBAAgB,KAAK,IAAI;YAC/B,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EACjC,CAAC;YACD,GAAG,CAAC,IAAI,CAAC;gBACP,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,kBAAkB,CAAC;gBACrC,eAAe,EAAE,KAAK,CAAC,IAAI;gBAC3B,gBAAgB,EAAE,CAAC,GAAG,KAAK,CAAC,gBAAgB,CAAC;gBAC7C,QAAQ,EAAE,mBAAmB,CAAC,KAAK,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;gBACxE,QAAQ,EAAE,mBAAmB,CAAC,KAAK,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;aACzE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAClD,CAAC"}

package/dist/core/prismaSchema/parse.d.ts

@@ -0,0 +1,8 @@
+import type { ParseResult } from './types.js';
+/**
+ * Parse a Prisma schema file and return an internal representation.
+ * Uses getDMMF from @prisma/internals to parse the schema into DMMF,
+ * then transforms DMMF models/fields into our AuditModel[] structure.
+ */
+export declare function parseSchema(schemaPath: string): Promise<ParseResult>;
+//# sourceMappingURL=parse.d.ts.map

package/dist/core/prismaSchema/parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../../src/core/prismaSchema/parse.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAA4C,WAAW,EAAE,MAAM,YAAY,CAAC;AAExF;;;;GAIG;AACH,wBAAsB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CA2C1E"}

package/dist/core/prismaSchema/parse.js

@@ -0,0 +1,46 @@
+import { readFileSync } from 'node:fs';
+import { getDMMF } from '@prisma/internals';
+/**
+ * Parse a Prisma schema file and return an internal representation.
+ * Uses getDMMF from @prisma/internals to parse the schema into DMMF,
+ * then transforms DMMF models/fields into our AuditModel[] structure.
+ */
+export async function parseSchema(schemaPath) {
+    const schemaContent = readFileSync(schemaPath, 'utf-8');
+    const dmmf = await getDMMF({ datamodel: schemaContent });
+    const models = dmmf.datamodel.models.map((model) => {
+        const fields = model.fields.map((field) => ({
+            name: field.name,
+            type: field.type,
+            kind: field.kind,
+            isList: field.isList,
+            isRequired: field.isRequired,
+            isId: field.isId,
+            isUnique: field.isUnique,
+            hasDefaultValue: field.hasDefaultValue,
+            relationName: field.relationName ?? null,
+            relationFromFields: field.relationFromFields !== undefined && field.relationFromFields.length > 0
+                ? field.relationFromFields
+                : null,
+            relationToFields: field.relationToFields !== undefined && field.relationToFields.length > 0
+                ? [...field.relationToFields]
+                : null,
+            relationOnDelete: field.relationOnDelete ?? null,
+            relationOnUpdate: field.relationOnUpdate ?? null,
+            documentation: field.documentation ?? null,
+        }));
+        const uniqueIndexes = model.uniqueIndexes.map((idx) => ({
+            name: idx.name,
+            fields: idx.fields,
+        }));
+        return {
+            name: model.name,
+            fields,
+            primaryKey: model.primaryKey !== null ? { fields: model.primaryKey.fields } : null,
+            uniqueIndexes,
+            documentation: model.documentation ?? null,
+        };
+    });
+    return { models };
+}
+//# sourceMappingURL=parse.js.map

package/dist/core/prismaSchema/parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.js","sourceRoot":"","sources":["../../../src/core/prismaSchema/parse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAG5C;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,UAAkB;IAClD,MAAM,aAAa,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,CAAC;IAEzD,MAAM,MAAM,GAAiB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/D,MAAM,MAAM,GAAiB,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACxD,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,IAAI;YACxC,kBAAkB,EAChB,KAAK,CAAC,kBAAkB,KAAK,SAAS,IAAI,KAAK,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;gBAC3E,CAAC,CAAC,KAAK,CAAC,kBAAkB;gBAC1B,CAAC,CAAC,IAAI;YACV,gBAAgB,EACd,KAAK,CAAC,gBAAgB,KAAK,SAAS,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;gBACvE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,gBAAgB,CAAC;gBAC7B,CAAC,CAAC,IAAI;YACV,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,IAAI,IAAI;YAChD,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,IAAI,IAAI;YAChD,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,IAAI;SAC3C,CAAC,CAAC,CAAC;QAEJ,MAAM,aAAa,GAAuB,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC1E,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,MAAM,EAAE,GAAG,CAAC,MAAM;SACnB,CAAC,CAAC,CAAC;QAEJ,OAAO;YACL,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM;YACN,UAAU,EAAE,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI;YAClF,aAAa;YACb,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,IAAI;SAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,MAAM,EAAE,CAAC;AACpB,CAAC"}

package/dist/core/prismaSchema/types.d.ts

@@ -0,0 +1,39 @@
+/** Internal representation of a Prisma model field after DMMF parsing. */
+export interface AuditField {
+    readonly name: string;
+    readonly type: string;
+    readonly kind: 'scalar' | 'object' | 'enum' | 'unsupported';
+    readonly isList: boolean;
+    readonly isRequired: boolean;
+    readonly isId: boolean;
+    readonly isUnique: boolean;
+    readonly hasDefaultValue: boolean;
+    readonly relationName: string | null;
+    readonly relationFromFields: readonly string[] | null;
+    readonly relationToFields: readonly string[] | null;
+    readonly relationOnDelete: string | null;
+    readonly relationOnUpdate: string | null;
+    readonly documentation: string | null;
+}
+/** Internal representation of a Prisma model after DMMF parsing. */
+export interface AuditModel {
+    readonly name: string;
+    readonly fields: readonly AuditField[];
+    readonly primaryKey: AuditPrimaryKey | null;
+    readonly uniqueIndexes: readonly AuditUniqueIndex[];
+    readonly documentation: string | null;
+}
+/** Parsed primary key (composite). */
+export interface AuditPrimaryKey {
+    readonly fields: readonly string[];
+}
+/** Parsed unique index. */
+export interface AuditUniqueIndex {
+    readonly name: string | null;
+    readonly fields: readonly string[];
+}
+/** Result of parsing a Prisma schema. */
+export interface ParseResult {
+    readonly models: readonly AuditModel[];
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/core/prismaSchema/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/prismaSchema/types.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,aAAa,CAAC;IAC5D,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;IACpD,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;CACvC;AAED,oEAAoE;AACpE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,eAAe,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,aAAa,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACpD,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;CACvC;AAED,sCAAsC;AACtC,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,2BAA2B;AAC3B,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,yCAAyC;AACzC,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;CACxC"}

package/dist/core/prismaSchema/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/core/prismaSchema/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/core/prismaSchema/types.ts"],"names":[],"mappings":""}

package/dist/core/report/reportTypes.d.ts

@@ -0,0 +1,72 @@
+/** Severity levels for audit findings. */
+export type Severity = 'error' | 'warning' | 'info';
+/** Normal form levels. */
+export type NormalForm = '1NF' | '2NF' | '3NF' | 'BCNF';
+/** Unique finding rule codes. */
+export type RuleCode = 'NF1_LIST_IN_STRING_SUSPECTED' | 'NF1_REPEATING_GROUP_SUSPECTED' | 'NF1_JSON_RELATION_SUSPECTED' | 'NF2_PARTIAL_DEPENDENCY_SUSPECTED' | 'NF2_JOIN_TABLE_DUPLICATED_ATTR_SUSPECTED' | 'NF3_VIOLATION' | 'BCNF_VIOLATION' | 'INVARIANT_UNKNOWN_MODEL' | 'INVARIANT_UNKNOWN_FIELD';
+/** A single normalization finding. */
+export interface Finding {
+    readonly rule: RuleCode;
+    readonly severity: Severity;
+    readonly normalForm: NormalForm;
+    readonly model: string;
+    readonly field: string | null;
+    readonly message: string;
+}
+/** Referential action on a foreign key. */
+export type ReferentialAction = 'Cascade' | 'Restrict' | 'NoAction' | 'SetNull' | 'SetDefault';
+/** A primary key constraint. */
+export interface PrimaryKeyConstraint {
+    readonly fields: readonly string[];
+    readonly isComposite: boolean;
+}
+/** A unique constraint. */
+export interface UniqueConstraint {
+    readonly name: string | null;
+    readonly fields: readonly string[];
+    readonly isComposite: boolean;
+}
+/** A foreign key constraint. */
+export interface ForeignKeyConstraint {
+    readonly fields: readonly string[];
+    readonly referencedModel: string;
+    readonly referencedFields: readonly string[];
+    readonly onDelete: ReferentialAction;
+    readonly onUpdate: ReferentialAction;
+}
+/** Field-level metadata in the contract. */
+export interface FieldContract {
+    readonly name: string;
+    readonly type: string;
+    readonly isNullable: boolean;
+    readonly hasDefault: boolean;
+    readonly isList: boolean;
+}
+/** Model-level constraint contract. */
+export interface ModelContract {
+    readonly name: string;
+    readonly fields: readonly FieldContract[];
+    readonly primaryKey: PrimaryKeyConstraint | null;
+    readonly uniqueConstraints: readonly UniqueConstraint[];
+    readonly foreignKeys: readonly ForeignKeyConstraint[];
+}
+/** The full constraint contract for a schema. */
+export interface ConstraintContract {
+    readonly models: readonly ModelContract[];
+}
+/** Output format options. */
+export type OutputFormat = 'json' | 'text';
+/** The complete audit result. */
+export interface AuditResult {
+    readonly contract: ConstraintContract;
+    readonly findings: readonly Finding[];
+    readonly metadata: AuditMetadata;
+}
+/** Metadata about the audit run. */
+export interface AuditMetadata {
+    readonly schemaPath: string;
+    readonly timestamp: string | null;
+    readonly modelCount: number;
+    readonly findingCount: number;
+}
+//# sourceMappingURL=reportTypes.d.ts.map

package/dist/core/report/reportTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reportTypes.d.ts","sourceRoot":"","sources":["../../../src/core/report/reportTypes.ts"],"names":[],"mappings":"AAAA,0CAA0C;AAC1C,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAEpD,0BAA0B;AAC1B,MAAM,MAAM,UAAU,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,CAAC;AAExD,iCAAiC;AACjC,MAAM,MAAM,QAAQ,GAChB,8BAA8B,GAC9B,+BAA+B,GAC/B,6BAA6B,GAC7B,kCAAkC,GAClC,0CAA0C,GAC1C,eAAe,GACf,gBAAgB,GAChB,yBAAyB,GACzB,yBAAyB,CAAC;AAE9B,sCAAsC;AACtC,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,2CAA2C;AAC3C,MAAM,MAAM,iBAAiB,GACzB,SAAS,GACT,UAAU,GACV,UAAU,GACV,SAAS,GACT,YAAY,CAAC;AAEjB,gCAAgC;AAChC,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B;AAED,2BAA2B;AAC3B,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B;AAED,gCAAgC;AAChC,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;CACtC;AAED,4CAA4C;AAC5C,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,uCAAuC;AACvC,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE,SAAS,oBAAoB,EAAE,CAAC;CACvD;AAED,iDAAiD;AACjD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;CAC3C;AAED,6BAA6B;AAC7B,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,MAAM,CAAC;AAE3C,iCAAiC;AACjC,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;CAClC;AAED,oCAAoC;AACpC,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B"}

package/dist/core/report/reportTypes.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=reportTypes.js.map

package/dist/core/report/reportTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reportTypes.js","sourceRoot":"","sources":["../../../src/core/report/reportTypes.ts"],"names":[],"mappings":""}

package/dist/core/report/toJson.d.ts

@@ -0,0 +1,7 @@
+import type { AuditResult } from './reportTypes.js';
+/**
+ * Serialize an AuditResult to a deterministic JSON string.
+ * Keys are sorted for stable diffing.
+ */
+export declare function toJson(result: AuditResult, pretty: boolean): string;
+//# sourceMappingURL=toJson.d.ts.map

package/dist/core/report/toJson.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"toJson.d.ts","sourceRoot":"","sources":["../../../src/core/report/toJson.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD;;;GAGG;AACH,wBAAgB,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,GAAG,MAAM,CAKnE"}

package/dist/core/report/toJson.js

@@ -0,0 +1,27 @@
+/**
+ * Serialize an AuditResult to a deterministic JSON string.
+ * Keys are sorted for stable diffing.
+ */
+export function toJson(result, pretty) {
+    const sorted = sortKeysDeep(result);
+    return pretty
+        ? JSON.stringify(sorted, null, 2)
+        : JSON.stringify(sorted);
+}
+/** Recursively sort object keys for deterministic output. */
+function sortKeysDeep(value) {
+    if (Array.isArray(value)) {
+        return value.map(sortKeysDeep);
+    }
+    if (value !== null && typeof value === 'object') {
+        const obj = value;
+        const keys = Object.keys(obj).sort();
+        const sorted = {};
+        for (const key of keys) {
+            sorted[key] = sortKeysDeep(obj[key]);
+        }
+        return sorted;
+    }
+    return value;
+}
+//# sourceMappingURL=toJson.js.map

package/dist/core/report/toJson.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"toJson.js","sourceRoot":"","sources":["../../../src/core/report/toJson.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,MAAM,UAAU,MAAM,CAAC,MAAmB,EAAE,MAAe;IACzD,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,OAAO,MAAM;QACX,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC;AAED,6DAA6D;AAC7D,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,KAAgC,CAAC;QAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}