ddlforge 0.1.0

package/dist/src/reporters/json.d.ts

@@ -0,0 +1,20 @@
+/**
+ * ddlforge - Machine-readable JSON output reporter
+ */
+import { AnalysisResult } from '../engine/analyzer.js';
+import { Finding } from '../rules/types.js';
+export interface JsonReport {
+    status: 'passed' | 'failed';
+    summary: {
+        filesScanned: number;
+        statementsAnalyzed: number;
+        blockers: number;
+        warnings: number;
+        advisories: number;
+        durationMs: number;
+        passed: boolean;
+    };
+    findings: Finding[];
+}
+export declare function formatJson(results: AnalysisResult[], pretty?: boolean): string;
+//# sourceMappingURL=json.d.ts.map

package/dist/src/reporters/json.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json.d.ts","sourceRoot":"","sources":["../../../src/reporters/json.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE5C,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC5B,OAAO,EAAE;QACP,YAAY,EAAE,MAAM,CAAC;QACrB,kBAAkB,EAAE,MAAM,CAAC;QAC3B,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,MAAM,CAAC;QACjB,UAAU,EAAE,MAAM,CAAC;QACnB,UAAU,EAAE,MAAM,CAAC;QACnB,MAAM,EAAE,OAAO,CAAC;KACjB,CAAC;IACF,QAAQ,EAAE,OAAO,EAAE,CAAC;CACrB;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,cAAc,EAAE,EAAE,MAAM,GAAE,OAAc,GAAG,MAAM,CAiCpF"}

package/dist/src/reporters/json.js

@@ -0,0 +1,35 @@
+/**
+ * ddlforge - Machine-readable JSON output reporter
+ */
+export function formatJson(results, pretty = true) {
+    let filesScanned = results.length;
+    let statementsAnalyzed = 0;
+    let blockers = 0;
+    let warnings = 0;
+    let advisories = 0;
+    let durationMs = 0;
+    const allFindings = [];
+    for (const res of results) {
+        statementsAnalyzed += res.statementsAnalyzed;
+        blockers += res.blockersCount;
+        warnings += res.warningsCount;
+        advisories += res.advisoriesCount;
+        durationMs += res.durationMs;
+        allFindings.push(...res.findings);
+    }
+    const report = {
+        status: blockers === 0 ? 'passed' : 'failed',
+        summary: {
+            filesScanned,
+            statementsAnalyzed,
+            blockers,
+            warnings,
+            advisories,
+            durationMs: Math.round(durationMs * 100) / 100,
+            passed: blockers === 0,
+        },
+        findings: allFindings,
+    };
+    return pretty ? JSON.stringify(report, null, 2) : JSON.stringify(report);
+}
+//# sourceMappingURL=json.js.map

package/dist/src/reporters/json.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json.js","sourceRoot":"","sources":["../../../src/reporters/json.ts"],"names":[],"mappings":"AAAA;;GAEG;AAmBH,MAAM,UAAU,UAAU,CAAC,OAAyB,EAAE,MAAM,GAAY,IAAI;IAC1E,IAAI,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,MAAM,WAAW,GAAc,EAAE,CAAC;IAElC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,kBAAkB,IAAI,GAAG,CAAC,kBAAkB,CAAC;QAC7C,QAAQ,IAAI,GAAG,CAAC,aAAa,CAAC;QAC9B,QAAQ,IAAI,GAAG,CAAC,aAAa,CAAC;QAC9B,UAAU,IAAI,GAAG,CAAC,eAAe,CAAC;QAClC,UAAU,IAAI,GAAG,CAAC,UAAU,CAAC;QAC7B,WAAW,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,MAAM,GAAe;QACzB,MAAM,EAAE,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAC5C,OAAO,EAAE;YACP,YAAY;YACZ,kBAAkB;YAClB,QAAQ;YACR,QAAQ;YACR,UAAU;YACV,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,GAAG,CAAC,GAAG,GAAG;YAC9C,MAAM,EAAE,QAAQ,KAAK,CAAC;SACvB;QACD,QAAQ,EAAE,WAAW;KACtB,CAAC;IAEF,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AAC3E,CAAC"}

package/dist/src/reporters/markdown.d.ts

@@ -0,0 +1,6 @@
+/**
+ * ddlforge - CI PR Comment / Markdown Report Formatter
+ */
+import { AnalysisResult } from '../engine/analyzer.js';
+export declare function formatMarkdown(results: AnalysisResult[]): string;
+//# sourceMappingURL=markdown.d.ts.map

package/dist/src/reporters/markdown.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../../src/reporters/markdown.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD,wBAAgB,cAAc,CAAC,OAAO,EAAE,cAAc,EAAE,GAAG,MAAM,CA6EhE"}

package/dist/src/reporters/markdown.js

@@ -0,0 +1,70 @@
+/**
+ * ddlforge - CI PR Comment / Markdown Report Formatter
+ */
+export function formatMarkdown(results) {
+    let filesScanned = results.length;
+    let statementsAnalyzed = 0;
+    let blockers = 0;
+    let warnings = 0;
+    let advisories = 0;
+    let durationMs = 0;
+    for (const res of results) {
+        statementsAnalyzed += res.statementsAnalyzed;
+        blockers += res.blockersCount;
+        warnings += res.warningsCount;
+        advisories += res.advisoriesCount;
+        durationMs += res.durationMs;
+    }
+    const lines = [];
+    lines.push('## 🛡️ ddlforge Migration Lock & Safety Report');
+    lines.push('');
+    const statusEmoji = blockers > 0 ? '❌ **FAILED**' : warnings > 0 ? '⚠️ **PASSED WITH WARNINGS**' : '✅ **PASSED**';
+    lines.push(`**Status:** ${statusEmoji} (${durationMs.toFixed(1)}ms)`);
+    lines.push('');
+    // Summary Table
+    lines.push('| Metric | Count |');
+    lines.push('|:---|:---|');
+    lines.push(`| 🛑 **Blocking Violations** | \`${blockers}\` |`);
+    lines.push(`| ⚠️ **Warnings / Advisories** | \`${warnings + advisories}\` |`);
+    lines.push(`| 📄 **Files Scanned** | \`${filesScanned}\` |`);
+    lines.push(`| ⚡ **Statements Analyzed** | \`${statementsAnalyzed}\` |`);
+    lines.push('');
+    if (blockers === 0 && warnings === 0 && advisories === 0) {
+        lines.push('> ✨ **All migrations are safe!** No dangerous table locks or destructive data loss patterns detected.');
+        return lines.join('\n');
+    }
+    lines.push('### Detailed Findings');
+    lines.push('');
+    for (const res of results) {
+        if (res.findings.length === 0)
+            continue;
+        lines.push(`#### 📁 \`${res.file}\``);
+        lines.push('');
+        for (const finding of res.findings) {
+            const badge = finding.severity === 'BLOCKER' ? '🛑 `BLOCKER`' : '⚠️ `WARNING`';
+            const lock = finding.lockLevel !== 'NONE' ? ` · Lock: \`${finding.lockLevel}\`` : '';
+            lines.push(`<details ${finding.severity === 'BLOCKER' ? 'open' : ''}>`);
+            lines.push(`<summary>${badge} <b>${finding.message}</b> (Line ${finding.line})${lock}</summary>`);
+            lines.push('');
+            lines.push(`- **Rule:** \`${finding.ruleId}\``);
+            lines.push(`- **Location:** \`${res.file}:${finding.line}:${finding.column}\``);
+            lines.push(`- **Impact:** ${finding.detail}`);
+            lines.push('');
+            lines.push('```sql');
+            lines.push(finding.codeSnippet);
+            lines.push('```');
+            lines.push('');
+            lines.push('**Suggested Zero-Downtime Fix:**');
+            lines.push('```sql');
+            lines.push(finding.suggestion);
+            lines.push('```');
+            lines.push('');
+            lines.push('</details>');
+            lines.push('');
+        }
+    }
+    lines.push('---');
+    lines.push('*Automated by [ddlforge](https://github.com/ddlforge/ddlforge) — Zero-runtime-dependency Postgres Lock Linter*');
+    return lines.join('\n');
+}
+//# sourceMappingURL=markdown.js.map

package/dist/src/reporters/markdown.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"markdown.js","sourceRoot":"","sources":["../../../src/reporters/markdown.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,MAAM,UAAU,cAAc,CAAC,OAAyB;IACtD,IAAI,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,kBAAkB,IAAI,GAAG,CAAC,kBAAkB,CAAC;QAC7C,QAAQ,IAAI,GAAG,CAAC,aAAa,CAAC;QAC9B,QAAQ,IAAI,GAAG,CAAC,aAAa,CAAC;QAC9B,UAAU,IAAI,GAAG,CAAC,eAAe,CAAC;QAClC,UAAU,IAAI,GAAG,CAAC,UAAU,CAAC;IAC/B,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,MAAM,WAAW,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,cAAc,CAAC;IAClH,KAAK,CAAC,IAAI,CAAC,eAAe,WAAW,KAAK,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACtE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,gBAAgB;IAChB,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1B,KAAK,CAAC,IAAI,CAAC,oCAAoC,QAAQ,MAAM,CAAC,CAAC;IAC/D,KAAK,CAAC,IAAI,CAAC,sCAAsC,QAAQ,GAAG,UAAU,MAAM,CAAC,CAAC;IAC9E,KAAK,CAAC,IAAI,CAAC,8BAA8B,YAAY,MAAM,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,mCAAmC,kBAAkB,MAAM,CAAC,CAAC;IACxE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,QAAQ,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QACzD,KAAK,CAAC,IAAI,CAAC,uGAAuG,CAAC,CAAC;QACpH,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAExC,KAAK,CAAC,IAAI,CAAC,aAAa,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC;YAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,cAAc,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAErF,KAAK,CAAC,IAAI,CAAC,YAAY,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACxE,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,OAAO,OAAO,CAAC,OAAO,cAAc,OAAO,CAAC,IAAI,IAAI,IAAI,YAAY,CAAC,CAAC;YAClG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,iBAAiB,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,qBAAqB,GAAG,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC;YAChF,KAAK,CAAC,IAAI,CAAC,iBAAiB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,gHAAgH,CAAC,CAAC;IAE7H,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/src/reporters/terminal.d.ts

@@ -0,0 +1,10 @@
+/**
+ * ddlforge - Clean, colorized TTY terminal reporter with code spans
+ */
+import { AnalysisResult } from '../engine/analyzer.js';
+export interface TerminalReporterOptions {
+    quiet?: boolean;
+    color?: boolean;
+}
+export declare function formatTerminal(results: AnalysisResult[], options?: TerminalReporterOptions): string;
+//# sourceMappingURL=terminal.d.ts.map

package/dist/src/reporters/terminal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"terminal.d.ts","sourceRoot":"","sources":["../../../src/reporters/terminal.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD,MAAM,WAAW,uBAAuB;IACtC,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AASD,wBAAgB,cAAc,CAAC,OAAO,EAAE,cAAc,EAAE,EAAE,OAAO,GAAE,uBAA4B,GAAG,MAAM,CAyGvG"}

package/dist/src/reporters/terminal.js

@@ -0,0 +1,109 @@
+/**
+ * ddlforge - Clean, colorized TTY terminal reporter with code spans
+ */
+const supportsColor = (override) => {
+    if (override !== undefined)
+        return override;
+    if (process.env.NO_COLOR || process.env.NODE_DISABLE_COLORS)
+        return false;
+    if (process.env.FORCE_COLOR)
+        return true;
+    return process.stdout.isTTY ?? false;
+};
+export function formatTerminal(results, options = {}) {
+    const useColor = supportsColor(options.color);
+    const quiet = options.quiet ?? false;
+    const c = {
+        reset: useColor ? '\x1b[0m' : '',
+        bold: useColor ? '\x1b[1m' : '',
+        dim: useColor ? '\x1b[2m' : '',
+        red: useColor ? '\x1b[31m' : '',
+        green: useColor ? '\x1b[32m' : '',
+        yellow: useColor ? '\x1b[33m' : '',
+        blue: useColor ? '\x1b[34m' : '',
+        magenta: useColor ? '\x1b[35m' : '',
+        cyan: useColor ? '\x1b[36m' : '',
+        gray: useColor ? '\x1b[90m' : '',
+        bgRed: useColor ? '\x1b[41m\x1b[37m' : '',
+        bgYellow: useColor ? '\x1b[43m\x1b[30m' : '',
+    };
+    const lines = [];
+    let totalBlockers = 0;
+    let totalWarnings = 0;
+    let totalAdvisories = 0;
+    let totalStatements = 0;
+    let totalDuration = 0;
+    let totalFilesScanned = results.length;
+    for (const res of results) {
+        totalBlockers += res.blockersCount;
+        totalWarnings += res.warningsCount;
+        totalAdvisories += res.advisoriesCount;
+        totalStatements += res.statementsAnalyzed;
+        totalDuration += res.durationMs;
+        const visibleFindings = quiet
+            ? res.findings.filter(f => f.severity === 'BLOCKER')
+            : res.findings;
+        if (visibleFindings.length === 0)
+            continue;
+        lines.push('');
+        lines.push(`${c.bold}${c.cyan}📁 ${res.file}${c.reset} ${c.gray}(${res.statementsAnalyzed} statements)${c.reset}`);
+        lines.push(c.gray + '─'.repeat(70) + c.reset);
+        for (const finding of visibleFindings) {
+            const severityBadge = formatSeverityBadge(finding.severity, c);
+            const lockBadge = finding.lockLevel !== 'NONE'
+                ? ` ${c.magenta}[LOCK: ${finding.lockLevel}]${c.reset}`
+                : '';
+            lines.push(`${severityBadge} ${c.bold}${finding.message}${c.reset}${lockBadge}`);
+            lines.push(`   ${c.gray}at ${res.file}:${finding.line}:${finding.column}${c.reset} ${c.dim}(rule: ${finding.ruleId})${c.reset}`);
+            if (finding.codeSnippet) {
+                lines.push('');
+                const snippetLines = finding.codeSnippet.split('\n');
+                snippetLines.forEach((snipLine, i) => {
+                    const lineNum = String(finding.line + i).padStart(4, ' ');
+                    lines.push(`   ${c.dim}${lineNum} │${c.reset} ${c.yellow}${snipLine}${c.reset}`);
+                });
+            }
+            if (finding.detail) {
+                lines.push(`   ${c.dim}Why:${c.reset} ${finding.detail}`);
+            }
+            if (finding.suggestion) {
+                lines.push(`   ${c.green}${c.bold}Fix:${c.reset}`);
+                const suggestionLines = finding.suggestion.split('\n');
+                for (const sLine of suggestionLines) {
+                    lines.push(`      ${c.green}${sLine}${c.reset}`);
+                }
+            }
+            lines.push('');
+        }
+    }
+    // Summary footer
+    lines.push('');
+    lines.push(c.gray + '━'.repeat(70) + c.reset);
+    const durationStr = `${totalDuration.toFixed(1)}ms`;
+    if (totalBlockers > 0) {
+        lines.push(`${c.red}${c.bold}✖ FAILED:${c.reset} Found ${c.bold}${c.red}${totalBlockers} blocker(s)${c.reset}` +
+            (totalWarnings > 0 ? `, ${c.yellow}${totalWarnings} warning(s)${c.reset}` : '') +
+            ` across ${totalFilesScanned} file(s) [${durationStr}]`);
+        lines.push(`${c.dim}Run with --quiet to display blockers only.${c.reset}`);
+    }
+    else if (totalWarnings > 0) {
+        lines.push(`${c.yellow}${c.bold}⚠ PASSED WITH ADVISORIES:${c.reset} 0 blockers, ${c.yellow}${totalWarnings} warning(s)${c.reset}` +
+            ` across ${totalFilesScanned} file(s) [${durationStr}]`);
+    }
+    else {
+        lines.push(`${c.green}${c.bold}✔ ALL CLEAR:${c.reset} Checked ${totalFilesScanned} migration file(s) ` +
+            `(${totalStatements} statements) with zero lock or data-loss violations [${durationStr}]`);
+    }
+    return lines.join('\n');
+}
+function formatSeverityBadge(severity, c) {
+    switch (severity) {
+        case 'BLOCKER':
+            return `${c.bgRed} BLOCKER ${c.reset}`;
+        case 'WARNING':
+            return `${c.bgYellow} WARNING ${c.reset}`;
+        case 'ADVISORY':
+            return `${c.cyan}[ADVISORY]${c.reset}`;
+    }
+}
+//# sourceMappingURL=terminal.js.map

package/dist/src/reporters/terminal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"terminal.js","sourceRoot":"","sources":["../../../src/reporters/terminal.ts"],"names":[],"mappings":"AAAA;;GAEG;AAUH,MAAM,aAAa,GAAG,CAAC,QAAkB,EAAW,EAAE;IACpD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAC,mBAAmB;QAAE,OAAO,KAAK,CAAC;IAC1E,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IACzC,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,IAAI,KAAK,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,UAAU,cAAc,CAAC,OAAyB,EAAE,OAAO,GAA4B,EAAE;IAC7F,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC;IAErC,MAAM,CAAC,GAAG;QACR,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;QAChC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;QAC/B,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;QAC9B,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;QAC/B,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;QACjC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;QAClC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;QAChC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;QACnC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;QAChC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;QAChC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE;QACzC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE;KAC7C,CAAC;IAEF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC;IAEvC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,aAAa,IAAI,GAAG,CAAC,aAAa,CAAC;QACnC,aAAa,IAAI,GAAG,CAAC,aAAa,CAAC;QACnC,eAAe,IAAI,GAAG,CAAC,eAAe,CAAC;QACvC,eAAe,IAAI,GAAG,CAAC,kBAAkB,CAAC;QAC1C,aAAa,IAAI,GAAG,CAAC,UAAU,CAAC;QAEhC,MAAM,eAAe,GAAG,KAAK;YAC3B,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC;YACpD,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;QAEjB,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE3C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,kBAAkB,eAAe,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QACnH,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAE9C,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;YACtC,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YAC/D,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,KAAK,MAAM;gBAC5C,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,UAAU,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,KAAK,EAAE;gBACvD,CAAC,CAAC,EAAE,CAAC;YAEP,KAAK,CAAC,IAAI,CAAC,GAAG,aAAa,IAAI,CAAC,CAAC,IAAI,GAAG,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,GAAG,SAAS,EAAE,CAAC,CAAC;YACjF,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,UAAU,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAEjI,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACf,MAAM,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACrD,YAAY,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE;oBACnC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;oBAC1D,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,GAAG,OAAO,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,QAAQ,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;gBACnF,CAAC,CAAC,CAAC;YACL,CAAC;YAED,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACnB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;YAC5D,CAAC;YAED,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;gBACnD,MAAM,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACvD,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;oBACpC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;gBACnD,CAAC;YACH,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,iBAAiB;IACjB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAE9C,MAAM,WAAW,GAAG,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IAEpD,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CACR,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,aAAa,cAAc,CAAC,CAAC,KAAK,EAAE;YACnG,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,aAAa,cAAc,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,WAAW,iBAAiB,aAAa,WAAW,GAAG,CACxD,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,6CAA6C,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC7E,CAAC;SAAM,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CACR,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,4BAA4B,CAAC,CAAC,KAAK,gBAAgB,CAAC,CAAC,MAAM,GAAG,aAAa,cAAc,CAAC,CAAC,KAAK,EAAE;YACtH,WAAW,iBAAiB,aAAa,WAAW,GAAG,CACxD,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CACR,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,KAAK,YAAY,iBAAiB,qBAAqB;YAC3F,IAAI,eAAe,wDAAwD,WAAW,GAAG,CAC1F,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAkB,EAAE,CAAyB;IACxE,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,KAAK,EAAE,CAAC;QACzC,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,CAAC,QAAQ,YAAY,CAAC,CAAC,KAAK,EAAE,CAAC;QAC5C,KAAK,UAAU;YACb,OAAO,GAAG,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,KAAK,EAAE,CAAC;IAC3C,CAAC;AACH,CAAC"}

package/dist/src/rules/addColumnNotNull.d.ts

@@ -0,0 +1,9 @@
+/**
+ * ddlforge Rule: ADD COLUMN NOT NULL without DEFAULT
+ *
+ * Severity: BLOCKER
+ * Lock: ACCESS EXCLUSIVE
+ */
+import { Rule } from './types.js';
+export declare const addColumnNotNullRule: Rule;
+//# sourceMappingURL=addColumnNotNull.d.ts.map

package/dist/src/rules/addColumnNotNull.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"addColumnNotNull.d.ts","sourceRoot":"","sources":["../../../src/rules/addColumnNotNull.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,IAAI,EAAwB,MAAM,YAAY,CAAC;AAoGxD,eAAO,MAAM,oBAAoB,EAAE,IAqDlC,CAAC"}

package/dist/src/rules/addColumnNotNull.js

@@ -0,0 +1,131 @@
+/**
+ * ddlforge Rule: ADD COLUMN NOT NULL without DEFAULT
+ *
+ * Severity: BLOCKER
+ * Lock: ACCESS EXCLUSIVE
+ */
+import { PostgresLockLevel } from '../engine/locks.js';
+function extractAddColumnClauses(tokens) {
+    const clauses = [];
+    let parenDepth = 0;
+    let i = 0;
+    while (i < tokens.length) {
+        if (tokens[i].value === '(') {
+            parenDepth++;
+            i++;
+            continue;
+        }
+        if (tokens[i].value === ')') {
+            parenDepth--;
+            i++;
+            continue;
+        }
+        // Check for ADD [COLUMN] at top level (parenDepth === 0)
+        if (parenDepth === 0 && tokens[i].value === 'ADD') {
+            let clauseIdx = i + 1;
+            if (tokens[clauseIdx]?.value === 'COLUMN') {
+                clauseIdx++;
+            }
+            // If next is IF NOT EXISTS, skip
+            if (tokens[clauseIdx]?.value === 'IF' && tokens[clauseIdx + 1]?.value === 'NOT' && tokens[clauseIdx + 2]?.value === 'EXISTS') {
+                clauseIdx += 3;
+            }
+            // Check if next token is CONSTRAINT or standard column definition
+            if (tokens[clauseIdx]?.value === 'CONSTRAINT') {
+                // Constraint definition, not a column
+                i++;
+                continue;
+            }
+            const columnName = tokens[clauseIdx]?.raw ?? 'column';
+            clauseIdx++;
+            // Collect tokens until next top-level comma or end of tokens
+            let hasNotNull = false;
+            let hasDefault = false;
+            let hasGenerated = false;
+            const clauseTokens = [];
+            let subParen = 0;
+            while (clauseIdx < tokens.length) {
+                const t = tokens[clauseIdx];
+                if (t.value === '(')
+                    subParen++;
+                if (t.value === ')')
+                    subParen--;
+                if (subParen === 0 && t.value === ',') {
+                    break; // next subcommand
+                }
+                clauseTokens.push(t);
+                if (t.value === 'NOT' && tokens[clauseIdx + 1]?.value === 'NULL') {
+                    hasNotNull = true;
+                }
+                if (t.value === 'DEFAULT') {
+                    hasDefault = true;
+                }
+                if (t.value === 'GENERATED') {
+                    hasGenerated = true;
+                }
+                clauseIdx++;
+            }
+            clauses.push({
+                columnName,
+                hasNotNull,
+                hasDefault,
+                hasGenerated,
+                tokens: clauseTokens,
+            });
+            i = clauseIdx;
+            continue;
+        }
+        i++;
+    }
+    return clauses;
+}
+export const addColumnNotNullRule = {
+    id: 'add-column-not-null-without-default',
+    name: 'ADD COLUMN NOT NULL without DEFAULT',
+    description: 'Adding a NOT NULL column without a DEFAULT value will immediately fail on non-empty tables and hold an ACCESS EXCLUSIVE lock.',
+    defaultSeverity: 'BLOCKER',
+    lockLevel: PostgresLockLevel.ACCESS_EXCLUSIVE,
+    check(context) {
+        const findings = [];
+        for (const stmt of context.statements) {
+            if (stmt.hasIgnore(this.id))
+                continue;
+            const tokens = stmt.tokens;
+            if (tokens.length < 5)
+                continue;
+            if (tokens[0].value !== 'ALTER' || tokens[1].value !== 'TABLE')
+                continue;
+            // Extract table name
+            let idx = 2;
+            if (tokens[idx]?.value === 'ONLY')
+                idx++;
+            if (tokens[idx]?.value === 'IF' && tokens[idx + 1]?.value === 'EXISTS')
+                idx += 2;
+            const tableName = tokens[idx]?.raw ?? 'table';
+            idx++;
+            // Scan through subcommands separated by comma (at top parentheses depth)
+            const clauses = extractAddColumnClauses(tokens.slice(idx));
+            for (const clause of clauses) {
+                if (clause.hasNotNull && !clause.hasDefault && !clause.hasGenerated) {
+                    findings.push({
+                        ruleId: this.id,
+                        ruleName: this.name,
+                        severity: this.defaultSeverity,
+                        lockLevel: this.lockLevel,
+                        message: `Column "${clause.columnName}" added as NOT NULL without a DEFAULT value on table "${tableName}".`,
+                        detail: `Adding a NOT NULL column without a DEFAULT on non-empty table "${tableName}" will immediately fail ` +
+                            'with `column "..." contains null values` while holding an ACCESS EXCLUSIVE table lock.',
+                        suggestion: `Provide a DEFAULT value: \`ALTER TABLE ${tableName} ADD COLUMN ${clause.columnName} <type> DEFAULT <val> NOT NULL;\` ` +
+                            `or add nullable first, backfill rows in batches, and apply a validated NOT NULL constraint.`,
+                        file: context.filePath,
+                        line: stmt.startLine,
+                        column: stmt.startColumn,
+                        codeSnippet: stmt.raw,
+                    });
+                }
+            }
+        }
+        return findings;
+    },
+};
+//# sourceMappingURL=addColumnNotNull.js.map

package/dist/src/rules/addColumnNotNull.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"addColumnNotNull.js","sourceRoot":"","sources":["../../../src/rules/addColumnNotNull.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAWvD,SAAS,uBAAuB,CAAC,MAAe;IAC9C,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAC5B,UAAU,EAAE,CAAC;YACb,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAC5B,UAAU,EAAE,CAAC;YACb,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QAED,yDAAyD;QACzD,IAAI,UAAU,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YAClD,IAAI,SAAS,GAAG,CAAC,GAAG,CAAC,CAAC;YACtB,IAAI,MAAM,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC1C,SAAS,EAAE,CAAC;YACd,CAAC;YAED,iCAAiC;YACjC,IAAI,MAAM,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,IAAI,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC7H,SAAS,IAAI,CAAC,CAAC;YACjB,CAAC;YAED,kEAAkE;YAClE,IAAI,MAAM,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,YAAY,EAAE,CAAC;gBAC9C,sCAAsC;gBACtC,CAAC,EAAE,CAAC;gBACJ,SAAS;YACX,CAAC;YAED,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC;YACtD,SAAS,EAAE,CAAC;YAEZ,6DAA6D;YAC7D,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,IAAI,YAAY,GAAG,KAAK,CAAC;YACzB,MAAM,YAAY,GAAY,EAAE,CAAC;YACjC,IAAI,QAAQ,GAAG,CAAC,CAAC;YAEjB,OAAO,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;gBACjC,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;gBAC5B,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG;oBAAE,QAAQ,EAAE,CAAC;gBAChC,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG;oBAAE,QAAQ,EAAE,CAAC;gBAEhC,IAAI,QAAQ,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;oBACtC,MAAM,CAAC,kBAAkB;gBAC3B,CAAC;gBAED,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAErB,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,MAAM,EAAE,CAAC;oBACjE,UAAU,GAAG,IAAI,CAAC;gBACpB,CAAC;gBACD,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBAC1B,UAAU,GAAG,IAAI,CAAC;gBACpB,CAAC;gBACD,IAAI,CAAC,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;oBAC5B,YAAY,GAAG,IAAI,CAAC;gBACtB,CAAC;gBAED,SAAS,EAAE,CAAC;YACd,CAAC;YAED,OAAO,CAAC,IAAI,CAAC;gBACX,UAAU;gBACV,UAAU;gBACV,UAAU;gBACV,YAAY;gBACZ,MAAM,EAAE,YAAY;aACrB,CAAC,CAAC;YAEH,CAAC,GAAG,SAAS,CAAC;YACd,SAAS;QACX,CAAC;QAED,CAAC,EAAE,CAAC;IACN,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,CAAC,MAAM,oBAAoB,GAAS;IACxC,EAAE,EAAE,qCAAqC;IACzC,IAAI,EAAE,qCAAqC;IAC3C,WAAW,EAAE,+HAA+H;IAC5I,eAAe,EAAE,SAAS;IAC1B,SAAS,EAAE,iBAAiB,CAAC,gBAAgB;IAE7C,KAAK,CAAC,OAAoB;QACxB,MAAM,QAAQ,GAAc,EAAE,CAAC;QAE/B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAE,SAAS;YAEtC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YAEhC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO;gBAAE,SAAS;YAEzE,qBAAqB;YACrB,IAAI,GAAG,GAAG,CAAC,CAAC;YACZ,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,KAAK,MAAM;gBAAE,GAAG,EAAE,CAAC;YACzC,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,QAAQ;gBAAE,GAAG,IAAI,CAAC,CAAC;YACjF,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC;YAC9C,GAAG,EAAE,CAAC;YAEN,yEAAyE;YACzE,MAAM,OAAO,GAAG,uBAAuB,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAE3D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,IAAI,MAAM,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;oBACpE,QAAQ,CAAC,IAAI,CAAC;wBACZ,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,QAAQ,EAAE,IAAI,CAAC,IAAI;wBACnB,QAAQ,EAAE,IAAI,CAAC,eAAe;wBAC9B,SAAS,EAAE,IAAI,CAAC,SAAS;wBACzB,OAAO,EAAE,WAAW,MAAM,CAAC,UAAU,yDAAyD,SAAS,IAAI;wBAC3G,MAAM,EACJ,kEAAkE,SAAS,0BAA0B;4BACrG,wFAAwF;wBAC1F,UAAU,EACR,0CAA0C,SAAS,eAAe,MAAM,CAAC,UAAU,oCAAoC;4BACvH,6FAA6F;wBAC/F,IAAI,EAAE,OAAO,CAAC,QAAQ;wBACtB,IAAI,EAAE,IAAI,CAAC,SAAS;wBACpB,MAAM,EAAE,IAAI,CAAC,WAAW;wBACxB,WAAW,EAAE,IAAI,CAAC,GAAG;qBACtB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF,CAAC"}

package/dist/src/rules/foreignKeyNotValid.d.ts

@@ -0,0 +1,9 @@
+/**
+ * ddlforge Rule: ADD CONSTRAINT ... FOREIGN KEY without NOT VALID
+ *
+ * Severity: BLOCKER
+ * Lock: SHARE ROW EXCLUSIVE on child table + SHARE on parent table
+ */
+import { Rule } from './types.js';
+export declare const foreignKeyNotValidRule: Rule;
+//# sourceMappingURL=foreignKeyNotValid.d.ts.map

package/dist/src/rules/foreignKeyNotValid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"foreignKeyNotValid.d.ts","sourceRoot":"","sources":["../../../src/rules/foreignKeyNotValid.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,IAAI,EAAwB,MAAM,YAAY,CAAC;AA+ExD,eAAO,MAAM,sBAAsB,EAAE,IA2DpC,CAAC"}

package/dist/src/rules/foreignKeyNotValid.js

@@ -0,0 +1,119 @@
+/**
+ * ddlforge Rule: ADD CONSTRAINT ... FOREIGN KEY without NOT VALID
+ *
+ * Severity: BLOCKER
+ * Lock: SHARE ROW EXCLUSIVE on child table + SHARE on parent table
+ */
+import { PostgresLockLevel } from '../engine/locks.js';
+function extractForeignKeyClauses(tokens) {
+    const clauses = [];
+    let parenDepth = 0;
+    let i = 0;
+    while (i < tokens.length) {
+        if (tokens[i].value === '(') {
+            parenDepth++;
+            i++;
+            continue;
+        }
+        if (tokens[i].value === ')') {
+            parenDepth--;
+            i++;
+            continue;
+        }
+        if (parenDepth === 0 && tokens[i].value === 'ADD') {
+            let currentIdx = i + 1;
+            let constraintName;
+            if (tokens[currentIdx]?.value === 'CONSTRAINT') {
+                currentIdx++;
+                constraintName = tokens[currentIdx]?.raw;
+                currentIdx++;
+            }
+            // Check if this clause is FOREIGN KEY
+            if (tokens[currentIdx]?.value === 'FOREIGN' && tokens[currentIdx + 1]?.value === 'KEY') {
+                // Collect all tokens for this constraint until top-level comma or end
+                const clauseTokens = [];
+                let hasNotValid = false;
+                let subParen = 0;
+                while (currentIdx < tokens.length) {
+                    const t = tokens[currentIdx];
+                    if (t.value === '(')
+                        subParen++;
+                    if (t.value === ')')
+                        subParen--;
+                    if (subParen === 0 && t.value === ',') {
+                        break;
+                    }
+                    clauseTokens.push(t);
+                    if (t.value === 'NOT' && tokens[currentIdx + 1]?.value === 'VALID') {
+                        hasNotValid = true;
+                    }
+                    currentIdx++;
+                }
+                clauses.push({
+                    constraintName,
+                    hasNotValid,
+                    tokens: clauseTokens,
+                });
+                i = currentIdx;
+                continue;
+            }
+        }
+        i++;
+    }
+    return clauses;
+}
+export const foreignKeyNotValidRule = {
+    id: 'foreign-key-missing-not-valid',
+    name: 'ADD CONSTRAINT FOREIGN KEY without NOT VALID',
+    description: 'Adding a foreign key constraint without NOT VALID performs a full table scan under SHARE ROW EXCLUSIVE lock, blocking concurrent writes on both tables.',
+    defaultSeverity: 'BLOCKER',
+    lockLevel: PostgresLockLevel.SHARE_ROW_EXCLUSIVE,
+    check(context) {
+        const findings = [];
+        for (const stmt of context.statements) {
+            if (stmt.hasIgnore(this.id))
+                continue;
+            const tokens = stmt.tokens;
+            if (tokens.length < 6)
+                continue;
+            if (tokens[0].value !== 'ALTER' || tokens[1].value !== 'TABLE')
+                continue;
+            // Extract table name
+            let idx = 2;
+            if (tokens[idx]?.value === 'ONLY')
+                idx++;
+            if (tokens[idx]?.value === 'IF' && tokens[idx + 1]?.value === 'EXISTS')
+                idx += 2;
+            const tableName = tokens[idx]?.raw ?? 'table';
+            idx++;
+            const fkClauses = extractForeignKeyClauses(tokens.slice(idx));
+            for (const fk of fkClauses) {
+                if (!fk.hasNotValid) {
+                    const cName = fk.constraintName ? ` "${fk.constraintName}"` : '';
+                    const validateSuggestion = fk.constraintName
+                        ? `ALTER TABLE ${tableName} VALIDATE CONSTRAINT ${fk.constraintName};`
+                        : `ALTER TABLE ${tableName} VALIDATE CONSTRAINT <constraint_name>;`;
+                    findings.push({
+                        ruleId: this.id,
+                        ruleName: this.name,
+                        severity: this.defaultSeverity,
+                        lockLevel: this.lockLevel,
+                        message: `Foreign key constraint${cName} on table "${tableName}" added without NOT VALID.`,
+                        detail: `Validating foreign keys inline holds a SHARE ROW EXCLUSIVE lock on "${tableName}" and a SHARE lock on the referenced table, ` +
+                            'blocking all concurrent writes (INSERT, UPDATE, DELETE) for the entire duration of the table scan.',
+                        suggestion: `1. Add constraint with NOT VALID:\n` +
+                            `   ALTER TABLE ${tableName} ADD CONSTRAINT ${fk.constraintName ?? 'fk_name'} FOREIGN KEY (...) REFERENCES (...) NOT VALID;\n` +
+                            `2. Validate concurrently without blocking writes:\n` +
+                            `   ${validateSuggestion}`,
+                        file: context.filePath,
+                        line: stmt.startLine,
+                        column: stmt.startColumn,
+                        codeSnippet: stmt.raw,
+                    });
+                }
+            }
+        }
+        return findings;
+    },
+};
+//# sourceMappingURL=foreignKeyNotValid.js.map

package/dist/src/rules/foreignKeyNotValid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"foreignKeyNotValid.js","sourceRoot":"","sources":["../../../src/rules/foreignKeyNotValid.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AASvD,SAAS,wBAAwB,CAAC,MAAe;IAC/C,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAC5B,UAAU,EAAE,CAAC;YACb,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAC5B,UAAU,EAAE,CAAC;YACb,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QAED,IAAI,UAAU,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YAClD,IAAI,UAAU,GAAG,CAAC,GAAG,CAAC,CAAC;YACvB,IAAI,cAAkC,CAAC;YAEvC,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE,KAAK,KAAK,YAAY,EAAE,CAAC;gBAC/C,UAAU,EAAE,CAAC;gBACb,cAAc,GAAG,MAAM,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC;gBACzC,UAAU,EAAE,CAAC;YACf,CAAC;YAED,sCAAsC;YACtC,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,EAAE,CAAC;gBACvF,sEAAsE;gBACtE,MAAM,YAAY,GAAY,EAAE,CAAC;gBACjC,IAAI,WAAW,GAAG,KAAK,CAAC;gBACxB,IAAI,QAAQ,GAAG,CAAC,CAAC;gBAEjB,OAAO,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;oBAClC,MAAM,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;oBAC7B,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG;wBAAE,QAAQ,EAAE,CAAC;oBAChC,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG;wBAAE,QAAQ,EAAE,CAAC;oBAEhC,IAAI,QAAQ,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;wBACtC,MAAM;oBACR,CAAC;oBAED,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAErB,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,EAAE,CAAC;wBACnE,WAAW,GAAG,IAAI,CAAC;oBACrB,CAAC;oBAED,UAAU,EAAE,CAAC;gBACf,CAAC;gBAED,OAAO,CAAC,IAAI,CAAC;oBACX,cAAc;oBACd,WAAW;oBACX,MAAM,EAAE,YAAY;iBACrB,CAAC,CAAC;gBAEH,CAAC,GAAG,UAAU,CAAC;gBACf,SAAS;YACX,CAAC;QACH,CAAC;QAED,CAAC,EAAE,CAAC;IACN,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAS;IAC1C,EAAE,EAAE,+BAA+B;IACnC,IAAI,EAAE,8CAA8C;IACpD,WAAW,EAAE,yJAAyJ;IACtK,eAAe,EAAE,SAAS;IAC1B,SAAS,EAAE,iBAAiB,CAAC,mBAAmB;IAEhD,KAAK,CAAC,OAAoB;QACxB,MAAM,QAAQ,GAAc,EAAE,CAAC;QAE/B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAE,SAAS;YAEtC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YAEhC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO;gBAAE,SAAS;YAEzE,qBAAqB;YACrB,IAAI,GAAG,GAAG,CAAC,CAAC;YACZ,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,KAAK,MAAM;gBAAE,GAAG,EAAE,CAAC;YACzC,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,QAAQ;gBAAE,GAAG,IAAI,CAAC,CAAC;YACjF,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC;YAC9C,GAAG,EAAE,CAAC;YAEN,MAAM,SAAS,GAAG,wBAAwB,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAE9D,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;gBAC3B,IAAI,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC;oBACpB,MAAM,KAAK,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjE,MAAM,kBAAkB,GAAG,EAAE,CAAC,cAAc;wBAC1C,CAAC,CAAC,eAAe,SAAS,wBAAwB,EAAE,CAAC,cAAc,GAAG;wBACtE,CAAC,CAAC,eAAe,SAAS,yCAAyC,CAAC;oBAEtE,QAAQ,CAAC,IAAI,CAAC;wBACZ,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,QAAQ,EAAE,IAAI,CAAC,IAAI;wBACnB,QAAQ,EAAE,IAAI,CAAC,eAAe;wBAC9B,SAAS,EAAE,IAAI,CAAC,SAAS;wBACzB,OAAO,EAAE,yBAAyB,KAAK,cAAc,SAAS,4BAA4B;wBAC1F,MAAM,EACJ,uEAAuE,SAAS,8CAA8C;4BAC9H,oGAAoG;wBACtG,UAAU,EACR,qCAAqC;4BACrC,kBAAkB,SAAS,mBAAmB,EAAE,CAAC,cAAc,IAAI,SAAS,kDAAkD;4BAC9H,qDAAqD;4BACrD,MAAM,kBAAkB,EAAE;wBAC5B,IAAI,EAAE,OAAO,CAAC,QAAQ;wBACtB,IAAI,EAAE,IAAI,CAAC,SAAS;wBACpB,MAAM,EAAE,IAAI,CAAC,WAAW;wBACxB,WAAW,EAAE,IAAI,CAAC,GAAG;qBACtB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF,CAAC"}

package/dist/src/rules/index.d.ts

@@ -0,0 +1,14 @@
+/**
+ * ddlforge - Rules registry
+ */
+export * from './types.js';
+export { indexConcurrentlyRule } from './indexConcurrently.js';
+export { transactionTrapRule } from './transactionTrap.js';
+export { addColumnNotNullRule } from './addColumnNotNull.js';
+export { foreignKeyNotValidRule } from './foreignKeyNotValid.js';
+export { prismaRenameDropAddRule } from './prismaRenameDropAdd.js';
+export { setNotNullFullScanRule } from './setNotNullFullScan.js';
+export { unbatchedBackfillRule } from './unbatchedBackfill.js';
+import { Rule } from './types.js';
+export declare const ALL_RULES: Rule[];
+//# sourceMappingURL=index.d.ts.map

package/dist/src/rules/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/rules/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AASlC,eAAO,MAAM,SAAS,EAAE,IAAI,EAQ3B,CAAC"}

package/dist/src/rules/index.js

@@ -0,0 +1,28 @@
+/**
+ * ddlforge - Rules registry
+ */
+export * from './types.js';
+export { indexConcurrentlyRule } from './indexConcurrently.js';
+export { transactionTrapRule } from './transactionTrap.js';
+export { addColumnNotNullRule } from './addColumnNotNull.js';
+export { foreignKeyNotValidRule } from './foreignKeyNotValid.js';
+export { prismaRenameDropAddRule } from './prismaRenameDropAdd.js';
+export { setNotNullFullScanRule } from './setNotNullFullScan.js';
+export { unbatchedBackfillRule } from './unbatchedBackfill.js';
+import { indexConcurrentlyRule } from './indexConcurrently.js';
+import { transactionTrapRule } from './transactionTrap.js';
+import { addColumnNotNullRule } from './addColumnNotNull.js';
+import { foreignKeyNotValidRule } from './foreignKeyNotValid.js';
+import { prismaRenameDropAddRule } from './prismaRenameDropAdd.js';
+import { setNotNullFullScanRule } from './setNotNullFullScan.js';
+import { unbatchedBackfillRule } from './unbatchedBackfill.js';
+export const ALL_RULES = [
+    indexConcurrentlyRule,
+    transactionTrapRule,
+    addColumnNotNullRule,
+    foreignKeyNotValidRule,
+    prismaRenameDropAddRule,
+    setNotNullFullScanRule,
+    unbatchedBackfillRule,
+];
+//# sourceMappingURL=index.js.map

package/dist/src/rules/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/rules/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAG/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,MAAM,CAAC,MAAM,SAAS,GAAW;IAC/B,qBAAqB;IACrB,mBAAmB;IACnB,oBAAoB;IACpB,sBAAsB;IACtB,uBAAuB;IACvB,sBAAsB;IACtB,qBAAqB;CACtB,CAAC"}