Python DBMigrator – Static AST Database Migration Auditor

🔍 ARCHITECTURAL COMPLIANCE SECURED. ENFORCING DATABASE MIGRATION AUDIT BLUEPRINT ONLY.

--- INPUT — live/scan1.sql ---
-- Live run 1: clean PostgreSQL-compatible schema. No SQLite-specific constructs.

CREATE TABLE users (
id BIGINT GENERATED ALWAYS AS IDENTITY PRIMARY KEY,
username VARCHAR(255) NOT NULL,
is_active BOOLEAN NOT NULL DEFAULT TRUE,
created_at TIMESTAMPTZ NOT NULL DEFAULT NOW()
);

CREATE TABLE orders (
id BIGINT GENERATED ALWAYS AS IDENTITY PRIMARY KEY,
amount NUMERIC(12, 2) NOT NULL,
user_id BIGINT NOT NULL REFERENCES users(id)
);

--- INPUT — live/scan2.sql ---
-- Live run 2: SQLite-specific schema. Multiple silent breakers.

CREATE TABLE users (
id INTEGER PRIMARY KEY AUTOINCREMENT,
username VARCHAR(255),
is_active INTEGER,
created_at TEXT,
notes CLOB
);

CREATE TABLE orders (
id INTEGER PRIMARY KEY AUTOINCREMENT,
amount REAL,
user_id INTEGER

);

PRAGMA journal_mode = WAL;

--- AUDIT OUTPUT ---

{
  "audit_status": "CRITICAL",
  "findings": [
    {
      "id": "f1",
      "file": "live/scan2.sql",
      "line": 4,
      "severity": "HIGH",
      "signature": "SQLITE_AUTOINCREMENT",

  "message": "AUTOINCREMENT is not valid in PostgreSQL",
  "snippet": "id INTEGER PRIMARY KEY AUTOINCREMENT"

    },
    {
      "id": "f2",
      "file": "live/scan2.sql",
      "line": 6,
      "severity": "MEDIUM",
      "signature": "SQLITE_BOOL_AS_INT",

  "message": "Boolean column declared as INTEGER",
  "snippet": "is_active INTEGER"

    },
    {
      "id": "f3",
      "file": "live/scan2.sql",
      "line": 7,
      "severity": "HIGH",
      "signature": "SQLITE_DATE_AS_TEXT",

  "message": "Date column stored as TEXT",
  "snippet": "created_at TEXT"

    },
    {
      "id": "f4",
      "file": "live/scan2.sql",
      "line": 8,
      "severity": "HIGH",
      "signature": "SQLITE_DYNAMIC_TYPING",

  "message": "CLOB has no direct PostgreSQL equivalent",
  "snippet": "notes CLOB"

    },
    {
      "id": "f5",
      "file": "live/scan2.sql",
      "line": 12,
      "severity": "HIGH",
      "signature": "SQLITE_AUTOINCREMENT",

  "message": "AUTOINCREMENT is not valid in PostgreSQL",
  "snippet": "id INTEGER PRIMARY KEY AUTOINCREMENT"

    },
    {
      "id": "f6",
      "file": "live/scan2.sql",
      "line": 17,
      "severity": "MEDIUM",
      "signature": "SQLITE_PRAGMA",

  "message": "PRAGMA statement is SQLite-specific",
  "snippet": "PRAGMA journal_mode = WAL;"

    }
  ],
  "metadata": {
    "version": "1.2.0",
    "timestamp": "2026-10-16T11:57:00Z",
    "files_scanned": 2,
    "calls_found": 6
  }
}

--- VALIDATOR ---
PASS: live/live_run_report.json
Live run: PASS — 2 files scanned, 6 structural defects isolated.