@weave-kit/engine 0.4.0 → 0.6.0

package/dist/core/storage/migrate.js

@@ -1,11 +1,64 @@
+import { systemObjects } from '../object/index.js';
 import { FIELD_TYPES } from '../types/index.js';
 import { SchemaError, primaryKeyOf } from '../types/index.js';
 import { applyStatements } from './apply.js';
 import { buildExpectedTable, diffAll, diffRls, diffTable } from './diff.js';
 import { inspectSchema } from './inspect.js';
-import { ensureMetaTable, setMeta } from './meta.js';
+import { buildLinkTables } from './link-table.js';
+import { setMeta } from './meta.js';
 import { createPool } from './pool.js';
-const RLS_ROLE_RE = /^[a-z_][a-z0-9_]*$/;
+import { buildRecordMetaTable } from './record-meta.js';
+import { sqlIdent, sqlLiteral } from './sql-literals.js';
+import { SYSTEM_TABLES, buildSystemTables, systemHardeningStatements } from './system-tables.js';
+import { isSafeRlsRole } from '../rbac/index.js';
+const q = (id) => `"${id}"`;
+/**
+ * DDL to ensure the native enum types referenced by managed objects exist.
+ * `CREATE TYPE` when the type is missing; `ALTER TYPE … ADD VALUE IF NOT EXISTS`
+ * only for managed (created / `alter: true`) objects — never for adopted,
+ * read-only tables (the engine must not ALTER a customer's type).
+ */
+async function buildEnumStatements(pool, defs, managed) {
+    const declared = new Map();
+    for (const def of defs.values()) {
+        if (!managed.has(def.name))
+            continue;
+        for (const field of def.fields) {
+            const e = field;
+            if (e.type !== FIELD_TYPES.ENUM || e.enumType === undefined || !Array.isArray(e.options))
+                continue;
+            const set = declared.get(e.enumType) ?? new Set();
+            for (const option of e.options)
+                set.add(String(option));
+            declared.set(e.enumType, set);
+        }
+    }
+    if (declared.size === 0)
+        return [];
+    const res = await pool.query(`SELECT t.typname AS name, e.enumlabel AS label
+       FROM pg_type t JOIN pg_enum e ON e.enumtypid = t.oid
+      WHERE t.typtype = 'e'`);
+    const existing = new Map();
+    for (const row of res.rows) {
+        const set = existing.get(row.name) ?? new Set();
+        set.add(row.label);
+        existing.set(row.name, set);
+    }
+    const statements = [];
+    for (const [name, options] of declared) {
+        const labels = existing.get(name);
+        if (labels === undefined) {
+            statements.push(`CREATE TYPE ${q(name)} AS ENUM (${[...options].map(sqlLiteral).join(', ')})`);
+        }
+        else {
+            for (const option of options) {
+                if (!labels.has(option))
+                    statements.push(`ALTER TYPE ${q(name)} ADD VALUE IF NOT EXISTS ${sqlLiteral(option)}`);
+            }
+        }
+    }
+    return statements;
+}
 /**
  * Best-effort provisioning of the restricted-SQL role: `CREATE ROLE` (needs
  * CREATEROLE; failure → warning + false) and `GRANT` membership for
@@ -16,7 +69,7 @@ async function provisionRlsRole(pool, role, warnings) {
     const existing = await pool.query('SELECT 1 FROM pg_roles WHERE rolname = $1', [role]);
     if (existing.rows.length === 0) {
         try {
-            await pool.query(`CREATE ROLE ${role}`);
+            await pool.query(`CREATE ROLE ${sqlIdent(role)}`);
         }
         catch {
             warnings.push(`could not create role "${role}" (needs CREATEROLE) — create it manually to enable RLS`);
@@ -24,13 +77,30 @@ async function provisionRlsRole(pool, role, warnings) {
         }
     }
     try {
-        await pool.query(`DO $$ BEGIN IF NOT pg_has_role(current_user, '${role}', 'MEMBER') THEN EXECUTE 'GRANT ${role} TO current_user'; END IF; END $$;`);
+        // no dynamic SQL: decide membership in JS, then GRANT with a quoted identifier
+        const res = await pool.query(`SELECT pg_has_role(current_user, $1, 'MEMBER') AS member`, [role]);
+        if (res.rows[0].member !== true) {
+            await pool.query(`GRANT ${sqlIdent(role)} TO current_user`);
+        }
     }
     catch (error) {
         warnings.push(`could not grant role "${role}" to current user: ${String(error.message)}`);
     }
     return true;
 }
+/**
+ * True when `PUBLIC` still holds `TRUNCATE` on `table`, i.e. the append-only
+ * hardening `REVOKE` is worth emitting. New tables grant nothing to `PUBLIC`
+ * by default, so a clean run emits no hardening statement (keeps migrate
+ * idempotent).
+ */
+async function publicHasTruncate(pool, table) {
+    const res = await pool.query(`SELECT EXISTS (
+       SELECT 1 FROM pg_class c, aclexplode(coalesce(c.relacl, acldefault('r', c.relowner))) a
+       WHERE c.oid = to_regclass($1) AND a.grantee = 0 AND a.privilege_type = 'TRUNCATE'
+     ) AS needs`, [table]);
+    return res.rows[0]?.needs === true;
+}
 /**
  * State-diff migration: compare each engine-managed object's expected table
  * against the live `information_schema`, generate DDL, apply inside a
@@ -52,9 +122,9 @@ export async function migrate(registry, options = {}) {
     const warnings = [];
     const pool = createPool(url);
     try {
-        const defs = new Map(registry.list().map((d) => [d.name, d]));
+        const defs = new Map([...systemObjects(), ...registry.list()].map((d) => [d.name, d]));
         const actual = await inspectSchema(pool);
-        if (options.rls !== undefined && !RLS_ROLE_RE.test(options.rls.role)) {
+        if (options.rls !== undefined && !isSafeRlsRole(options.rls.role)) {
             throw new Error(`invalid RLS role name "${options.rls.role}"`);
         }
         // new objects (no live table by that name) are diffed and created; objects
@@ -64,6 +134,31 @@ export async function migrate(registry, options = {}) {
             .filter((d) => d.alter === true || actual.get(d.name) === undefined)
             .map((d) => buildExpectedTable(d, defs, registry.fieldTypes));
         const statements = diffAll(expected, actual);
+        // native enum types must exist before the tables that reference them
+        const enumStatements = await buildEnumStatements(pool, defs, new Set(expected.map((t) => t.name)));
+        // engine-owned per-object record metadata side tables: one per object (R1),
+        // created idempotently for every object regardless of `alter`/ownership —
+        // they never touch the customer's own table
+        const metaTables = [...defs.keys()].map((name) => buildRecordMetaTable(name));
+        const metaStatements = diffAll(metaTables, actual);
+        // engine-owned many-to-many link tables for every `multiRelation` field:
+        // one per (object, field), created idempotently regardless of `alter`.
+        const linkTables = buildLinkTables(defs, registry.fieldTypes);
+        const linkStatements = diffAll(linkTables, actual);
+        // engine-owned system tables (metadata cache / seq / audit / approvals /
+        // timers / counters) + their ACL hardening: provisioned here (and only
+        // here) so the runtime never runs DDL and can be least-privileged.
+        // one-time reshape of the legacy workflow timer table
+        // (id/state/workflow_version -> record_key/node_id): engine-owned and
+        // transient, so drop+recreate is safe (there are no users yet).
+        const legacyTimers = actual.get(SYSTEM_TABLES.WORKFLOW_TIMERS);
+        const dropLegacyTimers = legacyTimers !== undefined &&
+            legacyTimers.columns.some((c) => c.name === 'state') &&
+            !legacyTimers.columns.some((c) => c.name === 'record_key');
+        if (dropLegacyTimers)
+            actual.delete(SYSTEM_TABLES.WORKFLOW_TIMERS);
+        const systemStatements = diffAll(buildSystemTables(), actual);
+        const hardening = (await publicHasTruncate(pool, SYSTEM_TABLES.AUDIT)) ? systemHardeningStatements() : [];
         // existing tables are read-only unless the object opted in (`alter: true`):
         // verify every declared field is a live column (prevents REST/MCP pointing
         // at ghost columns). With `alter: true`, missing fields become ADD COLUMN
@@ -83,8 +178,9 @@ export async function migrate(registry, options = {}) {
                 continue;
             for (const field of def.fields) {
                 // details fields have no column on the parent (the child table carries
-                // parent_id/parent_type/parent_idx) — never a ghost-column check
-                if (field.type === FIELD_TYPES.DETAILS)
+                // parent_id/parent_type/parent_idx); multiRelation fields have no column
+                // either (a link table carries the pairs) — never ghost-column checks
+                if (field.type === FIELD_TYPES.DETAILS || field.type === FIELD_TYPES.MULTI_RELATION)
                     continue;
                 if (!cols.has(field.name)) {
                     throw new SchemaError('object.field.columnMissing', { object: def.name, table: def.name, field: field.name });
@@ -103,7 +199,7 @@ export async function migrate(registry, options = {}) {
             if (roleReady) {
                 const { rows } = await pool.query('SELECT current_user AS u');
                 const currentUser = String(rows[0].u);
-                for (const def of defs.values()) {
+                for (const def of registry.list()) {
                     const actualTable = actual.get(def.name);
                     const applies = actualTable === undefined || (def.alter === true && actualTable.owner === currentUser);
                     if (!applies) {
@@ -114,20 +210,57 @@ export async function migrate(registry, options = {}) {
                     }
                     rlsStatements = rlsStatements.concat(diffRls(def, actualTable, options.rls.role));
                 }
+                // link tables are engine plumbing (never registry-visible): enable
+                // RLS with no policy so the restricted role reads 0 rows even if it is
+                // ever granted, a second layer behind the sql-gate. The engine runs as
+                // the owner and bypasses RLS, so its own reads are unaffected.
+                for (const table of linkTables) {
+                    if (actual.get(table.name)?.rlsEnabled !== true) {
+                        rlsStatements.push(`ALTER TABLE ${q(table.name)} ENABLE ROW LEVEL SECURITY;`);
+                    }
+                }
             }
         }
-        const allStatements = [...statements, ...rlsStatements];
+        const allStatements = [
+            ...enumStatements,
+            ...(dropLegacyTimers ? [`DROP TABLE ${q(SYSTEM_TABLES.WORKFLOW_TIMERS)};`] : []),
+            ...statements,
+            ...metaStatements,
+            ...linkStatements,
+            ...systemStatements,
+            ...rlsStatements,
+            ...hardening,
+        ];
         if (!dryRun && allStatements.length > 0) {
-            await ensureMetaTable(pool);
             await applyStatements(pool, allStatements);
             const ts = new Date().toISOString();
             for (const name of applied)
                 await setMeta(pool, `schema.applied.${name}`, ts);
         }
+        // content-address every object's workflow definition (append-only, idempotent)
+        // so running instances can resolve the exact revision they were pinned to.
+        if (!dryRun)
+            await registerWorkflowDefinitions(pool, defs);
         return { statements: allStatements, applied, dryRun, warnings };
     }
     finally {
         await pool.end();
     }
 }
+/**
+ * Upsert each object's current workflow definition into
+ * `weavekit_workflow_definitions` (keyed by content hash). Idempotent; the
+ * `version_seq` is a monotonic display/switch ordinal. Never rewrites or drops
+ * an existing row (append-only revision history for instance pinning).
+ */
+async function registerWorkflowDefinitions(pool, defs) {
+    const table = q(SYSTEM_TABLES.WORKFLOW_DEFINITIONS);
+    for (const def of defs.values()) {
+        if (def.workflow === undefined || def.workflowHash === undefined)
+            continue;
+        await pool.query(`INSERT INTO ${table} (object, hash, version_seq, definition)
+       VALUES ($1, $2, (SELECT COALESCE(MAX(version_seq), 0) + 1 FROM ${table} WHERE object = $1), $3::jsonb)
+       ON CONFLICT (object, hash) DO NOTHING`, [def.name, def.workflowHash, JSON.stringify(def.workflow)]);
+    }
+}
 //# sourceMappingURL=migrate.js.map

package/dist/core/storage/migrate.js.map

@@ -1 +1 @@
-{"version":3,"file":"migrate.js","sourceRoot":"","sources":["../../../src/core/storage/migrate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE5E,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AA4BvC,MAAM,WAAW,GAAG,oBAAoB,CAAC;AAEzC;;;;;GAKG;AACH,KAAK,UAAU,gBAAgB,CAAC,IAAuB,EAAE,IAAY,EAAE,QAAkB;IACvF,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,2CAA2C,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACvF,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;QAC1C,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,CAAC,IAAI,CAAC,0BAA0B,IAAI,yDAAyD,CAAC,CAAC;YACvG,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,KAAK,CACd,iDAAiD,IAAI,oCAAoC,IAAI,oCAAoC,CAClI,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,QAAQ,CAAC,IAAI,CAAC,yBAAyB,IAAI,sBAAsB,MAAM,CAAE,KAAe,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,QAAwB,EAAE,UAA0B,EAAE;IAClF,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC;IAC5D,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC;IACvC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,CAAC;QAEzC,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrE,MAAM,IAAI,KAAK,CAAC,0BAA0B,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;QACjE,CAAC;QAED,2EAA2E;QAC3E,0EAA0E;QAC1E,gCAAgC;QAChC,MAAM,QAAQ,GAAoB,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;aACjD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC;aACnE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAEhE,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAE7C,4EAA4E;QAC5E,2EAA2E;QAC3E,0EAA0E;QAC1E,uBAAuB;QACvB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YAChC,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,WAAW,KAAK,SAAS;gBAAE,SAAS,CAAC,4BAA4B;YACrE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC7D,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;YAC7B,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtC,qEAAqE;gBACrE,2CAA2C;gBAC3C,MAAM,IAAI,WAAW,CAAC,8BAA8B,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YAC3G,CAAC;YACD,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI;gBAAE,SAAS;YACjC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBAC/B,uEAAuE;gBACvE,iEAAiE;gBACjE,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,OAAO;oBAAE,SAAS;gBACjD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1B,MAAM,IAAI,WAAW,CAAC,4BAA4B,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBAChH,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAEvG,qEAAqE;QACrE,uEAAuE;QACvE,qEAAqE;QACrE,4EAA4E;QAC5E,+CAA+C;QAC/C,IAAI,aAAa,GAAa,EAAE,CAAC;QACjC,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC3E,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;gBAC9D,MAAM,WAAW,GAAG,MAAM,CAAE,IAAI,CAAC,CAAC,CAAmB,CAAC,CAAC,CAAC,CAAC;gBACzD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;oBAChC,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACzC,MAAM,OAAO,GAAG,WAAW,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,IAAI,WAAW,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC;oBACvG,IAAI,CAAC,OAAO,EAAE,CAAC;wBACb,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;4BAC9B,QAAQ,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,IAAI,mBAAmB,WAAW,mCAAmC,CAAC,CAAC;wBAC3G,CAAC;wBACD,SAAS;oBACX,CAAC;oBACD,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;gBACpF,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,aAAa,GAAG,CAAC,GAAG,UAAU,EAAE,GAAG,aAAa,CAAC,CAAC;QAExD,IAAI,CAAC,MAAM,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,eAAe,CAAC,IAAI,CAAC,CAAC;YAC5B,MAAM,eAAe,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YAC3C,MAAM,EAAE,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACpC,KAAK,MAAM,IAAI,IAAI,OAAO;gBAAE,MAAM,OAAO,CAAC,IAAI,EAAE,kBAAkB,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAChF,CAAC;QAED,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAClE,CAAC;YAAS,CAAC;QACT,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC;AACH,CAAC"}
+{"version":3,"file":"migrate.js","sourceRoot":"","sources":["../../../src/core/storage/migrate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE5E,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AACjG,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AA4BjD,MAAM,CAAC,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC;AAEpC;;;;;GAKG;AACH,KAAK,UAAU,mBAAmB,CAChC,IAAuB,EACvB,IAAmC,EACnC,OAA4B;IAE5B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACrC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,KAA+D,CAAC;YAC1E,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;gBAAE,SAAS;YACnG,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YAC1D,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,OAAO;gBAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YACxD,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEnC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,KAAK,CAC1B;;4BAEwB,CACzB,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,IAAyC,EAAE,CAAC;QAChE,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QACxD,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnB,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjG,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;oBAAE,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,4BAA4B,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAClH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,gBAAgB,CAAC,IAAuB,EAAE,IAAY,EAAE,QAAkB;IACvF,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,2CAA2C,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACvF,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,KAAK,CAAC,eAAe,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpD,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,CAAC,IAAI,CAAC,0BAA0B,IAAI,yDAAyD,CAAC,CAAC;YACvG,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,IAAI,CAAC;QACH,+EAA+E;QAC/E,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,0DAA0D,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACjG,IAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAyB,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACzD,MAAM,IAAI,CAAC,KAAK,CAAC,SAAS,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,QAAQ,CAAC,IAAI,CAAC,yBAAyB,IAAI,sBAAsB,MAAM,CAAE,KAAe,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,iBAAiB,CAAC,IAAuB,EAAE,KAAa;IACrE,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,KAAK,CAC1B;;;gBAGY,EACZ,CAAC,KAAK,CAAC,CACR,CAAC;IACF,OAAQ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAoC,EAAE,KAAK,KAAK,IAAI,CAAC;AACzE,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,QAAwB,EAAE,UAA0B,EAAE;IAClF,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC;IAC5D,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC;IACvC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,aAAa,EAAE,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,CAAC;QAEzC,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,KAAK,CAAC,0BAA0B,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;QACjE,CAAC;QAED,2EAA2E;QAC3E,0EAA0E;QAC1E,gCAAgC;QAChC,MAAM,QAAQ,GAAoB,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;aACjD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC;aACnE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAEhE,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAE7C,qEAAqE;QACrE,MAAM,cAAc,GAAG,MAAM,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEnG,4EAA4E;QAC5E,0EAA0E;QAC1E,4CAA4C;QAC5C,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9E,MAAM,cAAc,GAAG,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAEnD,yEAAyE;QACzE,uEAAuE;QACvE,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;QAC9D,MAAM,cAAc,GAAG,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAEnD,yEAAyE;QACzE,uEAAuE;QACvE,mEAAmE;QACnE,sDAAsD;QACtD,sEAAsE;QACtE,gEAAgE;QAChE,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC;QAC/D,MAAM,gBAAgB,GACpB,YAAY,KAAK,SAAS;YAC1B,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;YACpD,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QAC7D,IAAI,gBAAgB;YAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC;QACnE,MAAM,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,EAAE,EAAE,MAAM,CAAC,CAAC;QAC9D,MAAM,SAAS,GAAG,CAAC,MAAM,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,yBAAyB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAE1G,4EAA4E;QAC5E,2EAA2E;QAC3E,0EAA0E;QAC1E,uBAAuB;QACvB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YAChC,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,WAAW,KAAK,SAAS;gBAAE,SAAS,CAAC,4BAA4B;YACrE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC7D,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;YAC7B,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtC,qEAAqE;gBACrE,2CAA2C;gBAC3C,MAAM,IAAI,WAAW,CAAC,8BAA8B,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YAC3G,CAAC;YACD,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI;gBAAE,SAAS;YACjC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBAC/B,uEAAuE;gBACvE,yEAAyE;gBACzE,sEAAsE;gBACtE,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,cAAc;oBAAE,SAAS;gBAC9F,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1B,MAAM,IAAI,WAAW,CAAC,4BAA4B,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBAChH,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAEvG,qEAAqE;QACrE,uEAAuE;QACvE,qEAAqE;QACrE,4EAA4E;QAC5E,+CAA+C;QAC/C,IAAI,aAAa,GAAa,EAAE,CAAC;QACjC,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC3E,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;gBAC9D,MAAM,WAAW,GAAG,MAAM,CAAE,IAAI,CAAC,CAAC,CAAmB,CAAC,CAAC,CAAC,CAAC;gBACzD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;oBAClC,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACzC,MAAM,OAAO,GAAG,WAAW,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,IAAI,WAAW,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC;oBACvG,IAAI,CAAC,OAAO,EAAE,CAAC;wBACb,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;4BAC9B,QAAQ,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,IAAI,mBAAmB,WAAW,mCAAmC,CAAC,CAAC;wBAC3G,CAAC;wBACD,SAAS;oBACX,CAAC;oBACD,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;gBACpF,CAAC;gBACD,mEAAmE;gBACnE,uEAAuE;gBACvE,uEAAuE;gBACvE,+DAA+D;gBAC/D,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;oBAC/B,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,KAAK,IAAI,EAAE,CAAC;wBAChD,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;oBAChF,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,aAAa,GAAG;YACpB,GAAG,cAAc;YACjB,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,aAAa,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,GAAG,UAAU;YACb,GAAG,cAAc;YACjB,GAAG,cAAc;YACjB,GAAG,gBAAgB;YACnB,GAAG,aAAa;YAChB,GAAG,SAAS;SACb,CAAC;QAEF,IAAI,CAAC,MAAM,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,eAAe,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YAC3C,MAAM,EAAE,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACpC,KAAK,MAAM,IAAI,IAAI,OAAO;gBAAE,MAAM,OAAO,CAAC,IAAI,EAAE,kBAAkB,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAChF,CAAC;QAED,+EAA+E;QAC/E,2EAA2E;QAC3E,IAAI,CAAC,MAAM;YAAE,MAAM,2BAA2B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAE3D,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAClE,CAAC;YAAS,CAAC;QACT,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,2BAA2B,CACxC,IAAuB,EACvB,IAA2C;IAE3C,MAAM,KAAK,GAAG,CAAC,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QAChC,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;YAAE,SAAS;QAC3E,MAAM,IAAI,CAAC,KAAK,CACd,eAAe,KAAK;wEAC8C,KAAK;6CAChC,EACvC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAC3D,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/core/storage/record-key-sql.d.ts

@@ -0,0 +1,19 @@
+import type { FieldDefinition, ObjectDefinition } from '../types/index.js';
+import { type FieldTypeRegistry } from '../types/index.js';
+/**
+ * SQL-side canonical text of a primary-key value, byte-for-byte equal to the JS
+ * `canonicalizePrimaryValue` (see the contract test). Temporal values are
+ * formatted with `to_char` (session-independent, microsecond precision) so a
+ * record_key computed in SQL equals one computed in JS — required for the
+ * record-metadata JOIN and any SQL-side key comparison.
+ *
+ * `ref` is the (already qualified) column reference, e.g. `t."created_at"`.
+ */
+export declare function pkValueTextSql(field: FieldDefinition, ref: string, registry?: FieldTypeRegistry): string;
+/**
+ * SQL expression producing a row's `record_key` from its primary columns:
+ * `concat( octet_length(v1) || ':' || v1, … )` — the length-prefixed encoding
+ * (`octet_length` is the UTF-8 byte length, matching `TextEncoder`).
+ */
+export declare function recordKeySql(def: ObjectDefinition, ref: (fieldName: string) => string, registry?: FieldTypeRegistry): string;
+//# sourceMappingURL=record-key-sql.d.ts.map

package/dist/core/storage/record-key-sql.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-key-sql.d.ts","sourceRoot":"","sources":["../../../src/core/storage/record-key-sql.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAIL,KAAK,iBAAiB,EACvB,MAAM,mBAAmB,CAAC;AAG3B;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,eAAe,EACtB,GAAG,EAAE,MAAM,EACX,QAAQ,GAAE,iBAA+C,GACxD,MAAM,CAkBR;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,GAAG,EAAE,gBAAgB,EACrB,GAAG,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,EAClC,QAAQ,GAAE,iBAA+C,GACxD,MAAM,CAMR"}

package/dist/core/storage/record-key-sql.js

@@ -0,0 +1,43 @@
+import { DEFAULT_FIELD_TYPE_REGISTRY, fieldBase, primaryFieldsOf, } from '../types/index.js';
+import { FIELD_TYPES } from '../types/values.js';
+/**
+ * SQL-side canonical text of a primary-key value, byte-for-byte equal to the JS
+ * `canonicalizePrimaryValue` (see the contract test). Temporal values are
+ * formatted with `to_char` (session-independent, microsecond precision) so a
+ * record_key computed in SQL equals one computed in JS — required for the
+ * record-metadata JOIN and any SQL-side key comparison.
+ *
+ * `ref` is the (already qualified) column reference, e.g. `t."created_at"`.
+ */
+export function pkValueTextSql(field, ref, registry = DEFAULT_FIELD_TYPE_REGISTRY) {
+    const base = fieldBase(registry, field.type);
+    switch (base) {
+        case FIELD_TYPES.UUID:
+            return `lower(${ref}::text)`;
+        case FIELD_TYPES.DATE:
+            return `to_char(${ref}, 'YYYY-MM-DD')`;
+        case FIELD_TYPES.TIME:
+            return `to_char(${ref}, 'HH24:MI:SS.US')`;
+        case FIELD_TYPES.TIMETZ:
+            return `to_char(${ref}, 'HH24:MI:SS.USOF')`;
+        case FIELD_TYPES.TIMESTAMP:
+            return `to_char(${ref}, 'YYYY-MM-DD"T"HH24:MI:SS.US')`;
+        case FIELD_TYPES.TIMESTAMPTZ:
+            return `(to_char(${ref} AT TIME ZONE 'UTC', 'YYYY-MM-DD"T"HH24:MI:SS.US') || 'Z')`;
+        default:
+            return `${ref}::text`;
+    }
+}
+/**
+ * SQL expression producing a row's `record_key` from its primary columns:
+ * `concat( octet_length(v1) || ':' || v1, … )` — the length-prefixed encoding
+ * (`octet_length` is the UTF-8 byte length, matching `TextEncoder`).
+ */
+export function recordKeySql(def, ref, registry = DEFAULT_FIELD_TYPE_REGISTRY) {
+    const parts = primaryFieldsOf(def).map((field) => {
+        const expr = pkValueTextSql(field, ref(field.name), registry);
+        return `(octet_length(${expr})::text || ':' || ${expr})`;
+    });
+    return `concat(${parts.join(', ')})`;
+}
+//# sourceMappingURL=record-key-sql.js.map

package/dist/core/storage/record-key-sql.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-key-sql.js","sourceRoot":"","sources":["../../../src/core/storage/record-key-sql.ts"],"names":[],"mappings":"AACA,OAAO,EACL,2BAA2B,EAC3B,SAAS,EACT,eAAe,GAEhB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAsB,EACtB,GAAW,EACX,WAA8B,2BAA2B;IAEzD,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,WAAW,CAAC,IAAI;YACnB,OAAO,SAAS,GAAG,SAAS,CAAC;QAC/B,KAAK,WAAW,CAAC,IAAI;YACnB,OAAO,WAAW,GAAG,iBAAiB,CAAC;QACzC,KAAK,WAAW,CAAC,IAAI;YACnB,OAAO,WAAW,GAAG,oBAAoB,CAAC;QAC5C,KAAK,WAAW,CAAC,MAAM;YACrB,OAAO,WAAW,GAAG,sBAAsB,CAAC;QAC9C,KAAK,WAAW,CAAC,SAAS;YACxB,OAAO,WAAW,GAAG,iCAAiC,CAAC;QACzD,KAAK,WAAW,CAAC,WAAW;YAC1B,OAAO,YAAY,GAAG,4DAA4D,CAAC;QACrF;YACE,OAAO,GAAG,GAAG,QAAQ,CAAC;IAC1B,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAqB,EACrB,GAAkC,EAClC,WAA8B,2BAA2B;IAEzD,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC9D,OAAO,iBAAiB,IAAI,qBAAqB,IAAI,GAAG,CAAC;IAC3D,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACvC,CAAC"}

package/dist/core/storage/record-meta.d.ts

@@ -0,0 +1,68 @@
+import type { ExpectedTable } from './diff.js';
+/**
+ * Engine-owned per-object record metadata ("side table").
+ *
+ * The iron rule is that the engine never touches a customer table. System
+ * metadata (status / ownership / timestamps / workflow binding) therefore lives
+ * in an engine-owned table named `weavekit_record__<object>`, keyed by the
+ * `record_key` encoding of the record's (possibly composite) primary key
+ * (see `core/object/record-key.ts`).
+ *
+ * One table exists per object (R1: every object, no opt-in) and rows are
+ * **sparse** — a record with no engine metadata has no row, so a table only
+ * holds entries that actually carry system state.
+ */
+export declare const RECORD_META_TABLE_PREFIX = "weavekit_record__";
+/** column names of a record metadata side table (single source) */
+export declare const RECORD_META_COLUMNS: {
+    readonly RECORD_KEY: "record_key";
+    readonly STATUS: "status";
+    readonly OWNER_ID: "owner_id";
+    readonly CREATED_BY: "created_by";
+    readonly MODIFIED_BY: "modified_by";
+    readonly CREATED_TIME: "created_time";
+    readonly MODIFIED_TIME: "modified_time";
+    readonly WORKFLOW_INSTANCE_ID: "workflow_instance_id";
+};
+/** default `status` for a record with a metadata row */
+export declare const RECORD_META_DEFAULT_STATUS: "draft";
+/** reserved prefix for record-metadata virtual fields exposed on reads */
+export declare const RECORD_META_VIRTUAL_PREFIX = "weave_";
+/**
+ * the identity virtual field: every record's external id — its `record_key`.
+ * Derived from the customer primary key (never a stored column), so clients and
+ * agents can round-trip a row back into `REST /:id` / MCP `id`.
+ */
+export declare const RECORD_META_ID_FIELD = "weave_id";
+/** one virtual system field exposed on reads / `describe` (type semantics only) */
+export interface RecordMetaVirtualFieldSpec {
+    name: string;
+    type: string;
+    options?: readonly string[];
+    multiple?: boolean;
+}
+/**
+ * Virtual system fields exposed on reads and in `describe`, in stable order
+ * (`weave_id` first). `weave_id` is computed from the customer primary key;
+ * the rest live in the side table. Names are reserved so they never collide
+ * with a customer's business fields.
+ */
+export declare const RECORD_META_VIRTUAL_FIELD_SPECS: readonly RecordMetaVirtualFieldSpec[];
+/** virtual system field names (derived from the specs — single source) */
+export declare const RECORD_META_VIRTUAL_FIELDS: readonly string[];
+/** true when a requested field name is a record-metadata virtual field */
+export declare function isRecordMetaVirtualField(name: string): boolean;
+/** true when a virtual field is backed by the side table (all but the derived `weave_id`) */
+export declare function isSideTableVirtualField(name: string): boolean;
+/** side-table name for an object */
+export declare function recordMetaTableName(object: string): string;
+/** true when a live table name is an engine record-metadata side table */
+export declare function isRecordMetaTable(name: string): boolean;
+/**
+ * The expected (DDL) shape of an object's record metadata side table. `owner_id`
+ * / `created_by` / `modified_by` are intentionally FK-less here: the identity
+ * tables (`weavekit_user`) land with the identity subsystem, and orphan cleanup
+ * is handled at the data-access layer, not by a hard FK.
+ */
+export declare function buildRecordMetaTable(object: string): ExpectedTable;
+//# sourceMappingURL=record-meta.d.ts.map

package/dist/core/storage/record-meta.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-meta.d.ts","sourceRoot":"","sources":["../../../src/core/storage/record-meta.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAG/C;;;;;;;;;;;;GAYG;AAEH,eAAO,MAAM,wBAAwB,sBAAsB,CAAC;AAE5D,mEAAmE;AACnE,eAAO,MAAM,mBAAmB;;;;;;;;;CAStB,CAAC;AAEX,wDAAwD;AACxD,eAAO,MAAM,0BAA0B,SAAqB,CAAC;AAE7D,0EAA0E;AAC1E,eAAO,MAAM,0BAA0B,WAAW,CAAC;AAEnD;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,aAAoC,CAAC;AAEtE,mFAAmF;AACnF,MAAM,WAAW,0BAA0B;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;GAKG;AACH,eAAO,MAAM,+BAA+B,EAAE,SAAS,0BAA0B,EAShF,CAAC;AAEF,0EAA0E;AAC1E,eAAO,MAAM,0BAA0B,EAAE,SAAS,MAAM,EAAuD,CAAC;AAEhH,0EAA0E;AAC1E,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE9D;AAED,6FAA6F;AAC7F,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE7D;AAED,oCAAoC;AACpC,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,0EAA0E;AAC1E,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEvD;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CA8BlE"}

package/dist/core/storage/record-meta.js

@@ -0,0 +1,108 @@
+import { FIELD_TYPES, WEAVE_STATUS } from '../types/index.js';
+/**
+ * Engine-owned per-object record metadata ("side table").
+ *
+ * The iron rule is that the engine never touches a customer table. System
+ * metadata (status / ownership / timestamps / workflow binding) therefore lives
+ * in an engine-owned table named `weavekit_record__<object>`, keyed by the
+ * `record_key` encoding of the record's (possibly composite) primary key
+ * (see `core/object/record-key.ts`).
+ *
+ * One table exists per object (R1: every object, no opt-in) and rows are
+ * **sparse** — a record with no engine metadata has no row, so a table only
+ * holds entries that actually carry system state.
+ */
+export const RECORD_META_TABLE_PREFIX = 'weavekit_record__';
+/** column names of a record metadata side table (single source) */
+export const RECORD_META_COLUMNS = {
+    RECORD_KEY: 'record_key',
+    STATUS: 'status',
+    OWNER_ID: 'owner_id',
+    CREATED_BY: 'created_by',
+    MODIFIED_BY: 'modified_by',
+    CREATED_TIME: 'created_time',
+    MODIFIED_TIME: 'modified_time',
+    WORKFLOW_INSTANCE_ID: 'workflow_instance_id',
+};
+/** default `status` for a record with a metadata row */
+export const RECORD_META_DEFAULT_STATUS = WEAVE_STATUS.DRAFT;
+/** reserved prefix for record-metadata virtual fields exposed on reads */
+export const RECORD_META_VIRTUAL_PREFIX = 'weave_';
+/**
+ * the identity virtual field: every record's external id — its `record_key`.
+ * Derived from the customer primary key (never a stored column), so clients and
+ * agents can round-trip a row back into `REST /:id` / MCP `id`.
+ */
+export const RECORD_META_ID_FIELD = `${RECORD_META_VIRTUAL_PREFIX}id`;
+/**
+ * Virtual system fields exposed on reads and in `describe`, in stable order
+ * (`weave_id` first). `weave_id` is computed from the customer primary key;
+ * the rest live in the side table. Names are reserved so they never collide
+ * with a customer's business fields.
+ */
+export const RECORD_META_VIRTUAL_FIELD_SPECS = [
+    { name: RECORD_META_ID_FIELD, type: FIELD_TYPES.STRING },
+    { name: `${RECORD_META_VIRTUAL_PREFIX}${RECORD_META_COLUMNS.STATUS}`, type: FIELD_TYPES.ENUM, options: Object.values(WEAVE_STATUS) },
+    { name: `${RECORD_META_VIRTUAL_PREFIX}${RECORD_META_COLUMNS.OWNER_ID}`, type: FIELD_TYPES.STRING },
+    { name: `${RECORD_META_VIRTUAL_PREFIX}${RECORD_META_COLUMNS.CREATED_BY}`, type: FIELD_TYPES.STRING },
+    { name: `${RECORD_META_VIRTUAL_PREFIX}${RECORD_META_COLUMNS.MODIFIED_BY}`, type: FIELD_TYPES.STRING },
+    { name: `${RECORD_META_VIRTUAL_PREFIX}${RECORD_META_COLUMNS.CREATED_TIME}`, type: FIELD_TYPES.TIMESTAMPTZ },
+    { name: `${RECORD_META_VIRTUAL_PREFIX}${RECORD_META_COLUMNS.MODIFIED_TIME}`, type: FIELD_TYPES.TIMESTAMPTZ },
+    { name: `${RECORD_META_VIRTUAL_PREFIX}${RECORD_META_COLUMNS.WORKFLOW_INSTANCE_ID}`, type: FIELD_TYPES.STRING },
+];
+/** virtual system field names (derived from the specs — single source) */
+export const RECORD_META_VIRTUAL_FIELDS = RECORD_META_VIRTUAL_FIELD_SPECS.map((s) => s.name);
+/** true when a requested field name is a record-metadata virtual field */
+export function isRecordMetaVirtualField(name) {
+    return RECORD_META_VIRTUAL_FIELDS.includes(name);
+}
+/** true when a virtual field is backed by the side table (all but the derived `weave_id`) */
+export function isSideTableVirtualField(name) {
+    return isRecordMetaVirtualField(name) && name !== RECORD_META_ID_FIELD;
+}
+/** side-table name for an object */
+export function recordMetaTableName(object) {
+    return `${RECORD_META_TABLE_PREFIX}${object}`;
+}
+/** true when a live table name is an engine record-metadata side table */
+export function isRecordMetaTable(name) {
+    return name.startsWith(RECORD_META_TABLE_PREFIX);
+}
+/**
+ * The expected (DDL) shape of an object's record metadata side table. `owner_id`
+ * / `created_by` / `modified_by` are intentionally FK-less here: the identity
+ * tables (`weavekit_user`) land with the identity subsystem, and orphan cleanup
+ * is handled at the data-access layer, not by a hard FK.
+ */
+export function buildRecordMetaTable(object) {
+    const name = recordMetaTableName(object);
+    const text = { type: 'TEXT', notNull: false, primary: false, unique: false };
+    const ts = { type: 'TIMESTAMPTZ', notNull: false, primary: false, unique: false };
+    return {
+        name,
+        columns: [
+            { name: RECORD_META_COLUMNS.RECORD_KEY, type: 'TEXT', notNull: true, primary: true, unique: false },
+            {
+                name: RECORD_META_COLUMNS.STATUS,
+                type: 'TEXT',
+                notNull: true,
+                default: `'${RECORD_META_DEFAULT_STATUS}'`,
+                primary: false,
+                unique: false,
+            },
+            { name: RECORD_META_COLUMNS.OWNER_ID, ...text },
+            { name: RECORD_META_COLUMNS.CREATED_BY, ...text },
+            { name: RECORD_META_COLUMNS.MODIFIED_BY, ...text },
+            { name: RECORD_META_COLUMNS.CREATED_TIME, ...ts },
+            { name: RECORD_META_COLUMNS.MODIFIED_TIME, ...ts },
+            { name: RECORD_META_COLUMNS.WORKFLOW_INSTANCE_ID, type: 'TEXT', notNull: false, primary: false, unique: false },
+        ],
+        fks: [],
+        indexes: [
+            { name: `${name}_status_idx`, method: 'btree', columns: [RECORD_META_COLUMNS.STATUS] },
+            { name: `${name}_owner_idx`, method: 'btree', columns: [RECORD_META_COLUMNS.OWNER_ID] },
+        ],
+        uniques: [],
+    };
+}
+//# sourceMappingURL=record-meta.js.map

package/dist/core/storage/record-meta.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-meta.js","sourceRoot":"","sources":["../../../src/core/storage/record-meta.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAE9D;;;;;;;;;;;;GAYG;AAEH,MAAM,CAAC,MAAM,wBAAwB,GAAG,mBAAmB,CAAC;AAE5D,mEAAmE;AACnE,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,UAAU,EAAE,YAAY;IACxB,MAAM,EAAE,QAAQ;IAChB,QAAQ,EAAE,UAAU;IACpB,UAAU,EAAE,YAAY;IACxB,WAAW,EAAE,aAAa;IAC1B,YAAY,EAAE,cAAc;IAC5B,aAAa,EAAE,eAAe;IAC9B,oBAAoB,EAAE,sBAAsB;CACpC,CAAC;AAEX,wDAAwD;AACxD,MAAM,CAAC,MAAM,0BAA0B,GAAG,YAAY,CAAC,KAAK,CAAC;AAE7D,0EAA0E;AAC1E,MAAM,CAAC,MAAM,0BAA0B,GAAG,QAAQ,CAAC;AAEnD;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,GAAG,0BAA0B,IAAI,CAAC;AAUtE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAA0C;IACpF,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE;IACxD,EAAE,IAAI,EAAE,GAAG,0BAA0B,GAAG,mBAAmB,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE;IACpI,EAAE,IAAI,EAAE,GAAG,0BAA0B,GAAG,mBAAmB,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE;IAClG,EAAE,IAAI,EAAE,GAAG,0BAA0B,GAAG,mBAAmB,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE;IACpG,EAAE,IAAI,EAAE,GAAG,0BAA0B,GAAG,mBAAmB,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE;IACrG,EAAE,IAAI,EAAE,GAAG,0BAA0B,GAAG,mBAAmB,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,WAAW,EAAE;IAC3G,EAAE,IAAI,EAAE,GAAG,0BAA0B,GAAG,mBAAmB,CAAC,aAAa,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,WAAW,EAAE;IAC5G,EAAE,IAAI,EAAE,GAAG,0BAA0B,GAAG,mBAAmB,CAAC,oBAAoB,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE;CAC/G,CAAC;AAEF,0EAA0E;AAC1E,MAAM,CAAC,MAAM,0BAA0B,GAAsB,+BAA+B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAEhH,0EAA0E;AAC1E,MAAM,UAAU,wBAAwB,CAAC,IAAY;IACnD,OAAO,0BAA0B,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACnD,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAClD,OAAO,wBAAwB,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,oBAAoB,CAAC;AACzE,CAAC;AAED,oCAAoC;AACpC,MAAM,UAAU,mBAAmB,CAAC,MAAc;IAChD,OAAO,GAAG,wBAAwB,GAAG,MAAM,EAAE,CAAC;AAChD,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,IAAI,CAAC,UAAU,CAAC,wBAAwB,CAAC,CAAC;AACnD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,MAAM,IAAI,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAW,CAAC;IACtF,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAW,CAAC;IAC3F,OAAO;QACL,IAAI;QACJ,OAAO,EAAE;YACP,EAAE,IAAI,EAAE,mBAAmB,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;YACnG;gBACE,IAAI,EAAE,mBAAmB,CAAC,MAAM;gBAChC,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,IAAI,0BAA0B,GAAG;gBAC1C,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,KAAK;aACd;YACD,EAAE,IAAI,EAAE,mBAAmB,CAAC,QAAQ,EAAE,GAAG,IAAI,EAAE;YAC/C,EAAE,IAAI,EAAE,mBAAmB,CAAC,UAAU,EAAE,GAAG,IAAI,EAAE;YACjD,EAAE,IAAI,EAAE,mBAAmB,CAAC,WAAW,EAAE,GAAG,IAAI,EAAE;YAClD,EAAE,IAAI,EAAE,mBAAmB,CAAC,YAAY,EAAE,GAAG,EAAE,EAAE;YACjD,EAAE,IAAI,EAAE,mBAAmB,CAAC,aAAa,EAAE,GAAG,EAAE,EAAE;YAClD,EAAE,IAAI,EAAE,mBAAmB,CAAC,oBAAoB,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE;SAChH;QACD,GAAG,EAAE,EAAE;QACP,OAAO,EAAE;YACP,EAAE,IAAI,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE;YACtF,EAAE,IAAI,EAAE,GAAG,IAAI,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE;SACxF;QACD,OAAO,EAAE,EAAE;KACZ,CAAC;AACJ,CAAC"}

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

@@ -62,6 +62,13 @@ export interface MappingFk {
     /** the FK constraint exists on the live table */
     present: boolean;
 }
+/** a declared table-level UNIQUE constraint (composite/scoped) */
+export interface MappingConstraint {
+    name: string;
+    columns: string[];
+    /** the backing unique index/constraint exists on the live table */
+    present: boolean;
+}
 export interface MappingRls {
     enabled: boolean;
     owner: string;
@@ -77,6 +84,8 @@ export interface MappingTable {
     columns: MappingColumn[];
     indexes: MappingIndex[];
     fks: MappingFk[];
+    /** declared table-level UNIQUE constraints (composite/scoped) */
+    constraints: MappingConstraint[];
     /** `details` edges declared on the object (no column on the parent table) */
     details: Array<{
         field: string;
@@ -99,6 +108,7 @@ export interface MappingTotals {
     columnsExtra: number;
     indexDrift: number;
     fkDrift: number;
+    constraintDrift: number;
 }
 export interface MappingReport {
     tables: MappingTable[];

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

@@ -1 +1 @@
-{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../../src/core/storage/report.ts"],"names":[],"mappings":"AAAA,OAAO,EAA4C,KAAK,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAErG,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAmB,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAG3E,OAAO,KAAK,EAAgB,WAAW,EAAE,MAAM,cAAc,CAAC;AAG9D;;;;;;;GAOG;AAEH,qDAAqD;AACrD,MAAM,MAAM,mBAAmB,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,GAAG,UAAU,GAAG,OAAO,CAAC;AAEnF,MAAM,WAAW,aAAa;IAC5B,gFAAgF;IAChF,KAAK,EAAE,MAAM,CAAC;IACd,2FAA2F;IAC3F,UAAU,EAAE,MAAM,CAAC;IACnB,2BAA2B;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;IAChB,gEAAgE;IAChE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,EAAE,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACzD,KAAK,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACzC,mFAAmF;IACnF,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,6EAA6E;IAC7E,MAAM,CAAC,EAAE;QACP,MAAM,EAAE,MAAM,CAAC;QACf,OAAO,EAAE,OAAO,CAAC;QACjB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QACvB,SAAS,EAAE,OAAO,CAAC;QACnB,aAAa,EAAE,OAAO,CAAC;KACxB,CAAC;IACF,MAAM,EAAE,mBAAmB,CAAC;CAC7B;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,yCAAyC;IACzC,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,iDAAiD;IACjD,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,4CAA4C;IAC5C,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,GAAG,EAAE,SAAS,EAAE,CAAC;IACjB,6EAA6E;IAC7E,OAAO,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAClD,sEAAsE;IACtE,GAAG,CAAC,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,qEAAqE;IACrE,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,MAAM,EAAE,aAAa,CAAC;CACvB;AAqCD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,SAAS,gBAAgB,EAAE,EACjC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,EACxC,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,GAAE,iBAA+C,GACxD,aAAa,CAwJf"}
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../../src/core/storage/report.ts"],"names":[],"mappings":"AAAA,OAAO,EAA4C,KAAK,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAGrG,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAmB,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAG3E,OAAO,KAAK,EAAgB,WAAW,EAAE,MAAM,cAAc,CAAC;AAQ9D;;;;;;;GAOG;AAEH,qDAAqD;AACrD,MAAM,MAAM,mBAAmB,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,GAAG,UAAU,GAAG,OAAO,CAAC;AAEnF,MAAM,WAAW,aAAa;IAC5B,gFAAgF;IAChF,KAAK,EAAE,MAAM,CAAC;IACd,2FAA2F;IAC3F,UAAU,EAAE,MAAM,CAAC;IACnB,2BAA2B;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;IAChB,gEAAgE;IAChE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,EAAE,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACzD,KAAK,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACzC,mFAAmF;IACnF,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,6EAA6E;IAC7E,MAAM,CAAC,EAAE;QACP,MAAM,EAAE,MAAM,CAAC;QACf,OAAO,EAAE,OAAO,CAAC;QACjB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QACvB,SAAS,EAAE,OAAO,CAAC;QACnB,aAAa,EAAE,OAAO,CAAC;KACxB,CAAC;IACF,MAAM,EAAE,mBAAmB,CAAC;CAC7B;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,yCAAyC;IACzC,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,iDAAiD;IACjD,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,kEAAkE;AAClE,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,mEAAmE;IACnE,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,4CAA4C;IAC5C,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,GAAG,EAAE,SAAS,EAAE,CAAC;IACjB,iEAAiE;IACjE,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,6EAA6E;IAC7E,OAAO,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAClD,sEAAsE;IACtE,GAAG,CAAC,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,qEAAqE;IACrE,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,MAAM,EAAE,aAAa,CAAC;CACvB;AA0CD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,SAAS,gBAAgB,EAAE,EACjC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,EACxC,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,GAAE,iBAA+C,GACxD,aAAa,CAuKf"}