@vibeorm/migrate 2.1.1 → 2.3.0

package/dist/inspect-objects.d.ts

@@ -36,6 +36,12 @@ export declare function inspectSqlObject(params: {
     dialect: Dialect;
     identity: SqlObjectIdentity;
 }): Promise<InspectedSqlObject>;
+/** Inspect an independent reference in bounded round trips, preserving missing/unavailable outcomes. */
+export declare function inspectSqlObjects(params: {
+    executor: SqlExecutor;
+    dialect: Dialect;
+    identities: readonly SqlObjectIdentity[];
+}): Promise<readonly InspectedSqlObject[]>;
 /** Require provable catalog visibility; role-only/partial grants report unavailable rather than missing. */
 export declare function assertCatalogVisibility(params: {
     executor: SqlExecutor;
@@ -52,7 +58,8 @@ export declare function verifyMigrationState(params: {
     executor: SqlExecutor;
     expected: DesiredState;
     dialect: Dialect;
-    probe?: "none" | "rollback" | "temporary";
+    probe?: "none" | "rollback" | "temporary"; /** Independent replay verification may batch its catalog reads. */
+    batch?: true;
 }): Promise<MigrationStateReport>;
 /** A transition verifies intended removals as well as definitions that should remain. */
 export declare function verifyMigrationTransition(params: {
@@ -63,6 +70,8 @@ export declare function verifyMigrationTransition(params: {
     removals?: readonly SqlObjectIdentity[];
     probe?: "none" | "rollback" | "temporary";
 }): Promise<MigrationStateReport>;
+/** @internal Only for a validated rebuild script immediately before COMMIT/FK restoration. */
+export declare function verifySqliteTransitionBeforeRestore(params: Parameters<typeof verifyMigrationTransition>[0]): Promise<MigrationStateReport>;
 /** Resolve the physical namespace once; never invent a MySQL database name. */
 export declare function migrationNamespace(params: {
     executor: SqlExecutor;

package/dist/inspect-objects.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"inspect-objects.d.ts","sourceRoot":"","sources":["../src/inspect-objects.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAkB,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEjH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AASvD,iFAAiF;AACjF,MAAM,MAAM,wBAAwB,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC;AAC5H,+DAA+D;AAC/D,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,QAAQ,GAAG,WAAW,GAAG,SAAS,CAAC;IACvD,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,SAAS,GAAG,aAAa,CAAC;IACnE,QAAQ,CAAC,WAAW,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC1D,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AACF,qFAAqF;AACrF,MAAM,MAAM,oBAAoB,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAA;CAAE,CAAC;AACnH,sFAAsF;AACtF,MAAM,MAAM,kBAAkB,GAC1B;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAY/D,gFAAgF;AAChF,wBAAsB,gBAAgB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,iBAAiB,CAAA;CAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAyDpJ;AAED,4GAA4G;AAC5G,wBAAsB,uBAAuB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAOnI;AAeD,yEAAyE;AACzE,wBAAgB,eAAe,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,WAAW,CAAA;CAAE,GAAG,IAAI,CAE7G;AAED,sFAAsF;AACtF,wBAAsB,oBAAoB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,YAAY,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,WAAW,CAAA;CAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAwBhM;AAoGD,yFAAyF;AACzF,wBAAsB,yBAAyB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,YAAY,CAAC;IAAC,EAAE,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,WAAW,CAAA;CAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAa5P;AAED,+EAA+E;AAC/E,wBAAsB,kBAAkB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAO7G;AAED,gEAAgE;AAChE,wBAAgB,oBAAoB,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,oBAAoB,CAAA;CAAE,GAAG,IAAI,CAEnF;AAED,kHAAkH;AAClH,wBAAsB,oBAAoB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAGhL;AAED,uGAAuG;AACvG,wBAAsB,8BAA8B,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAa3N;AAED,yGAAyG;AACzG,wBAAsB,iBAAiB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CA6B9K;AAED,sGAAsG;AACtG,wBAAsB,gBAAgB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,WAAW,CAAC;IAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IAAC,aAAa,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CAsC7P"}
+{"version":3,"file":"inspect-objects.d.ts","sourceRoot":"","sources":["../src/inspect-objects.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAkB,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAGjH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAYvD,iFAAiF;AACjF,MAAM,MAAM,wBAAwB,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC;AAC5H,+DAA+D;AAC/D,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,QAAQ,GAAG,WAAW,GAAG,SAAS,CAAC;IACvD,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,SAAS,GAAG,aAAa,CAAC;IACnE,QAAQ,CAAC,WAAW,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC1D,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AACF,qFAAqF;AACrF,MAAM,MAAM,oBAAoB,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAA;CAAE,CAAC;AACnH,sFAAsF;AACtF,MAAM,MAAM,kBAAkB,GAC1B;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAY/D,gFAAgF;AAChF,wBAAsB,gBAAgB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,iBAAiB,CAAA;CAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,CA6DpJ;AA0CD,wGAAwG;AACxG,wBAAsB,iBAAiB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAAE,GAAG,OAAO,CAAC,SAAS,kBAAkB,EAAE,CAAC,CAiB7K;AAED,4GAA4G;AAC5G,wBAAsB,uBAAuB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAOnI;AA4BD,yEAAyE;AACzE,wBAAgB,eAAe,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,WAAW,CAAA;CAAE,GAAG,IAAI,CAE7G;AAED,sFAAsF;AACtF,wBAAsB,oBAAoB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,YAAY,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,WAAW,CAAC,CAAC,mEAAmE;IAAC,KAAK,CAAC,EAAE,IAAI,CAAA;CAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAElR;AAoKD,yFAAyF;AACzF,wBAAsB,yBAAyB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,YAAY,CAAC;IAAC,EAAE,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,WAAW,CAAA;CAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAE5P;AAED,8FAA8F;AAC9F,wBAAsB,mCAAmC,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,yBAAyB,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAIhJ;AAiBD,+EAA+E;AAC/E,wBAAsB,kBAAkB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAO7G;AAED,gEAAgE;AAChE,wBAAgB,oBAAoB,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,oBAAoB,CAAA;CAAE,GAAG,IAAI,CAEnF;AAED,kHAAkH;AAClH,wBAAsB,oBAAoB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAGhL;AAED,uGAAuG;AACvG,wBAAsB,8BAA8B,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAa3N;AAED,yGAAyG;AACzG,wBAAsB,iBAAiB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CA6B9K;AAED,sGAAsG;AACtG,wBAAsB,gBAAgB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,WAAW,CAAC;IAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IAAC,aAAa,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CAsC7P"}

package/dist/introspect/mysql.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mysql.d.ts","sourceRoot":"","sources":["../../src/introspect/mysql.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAIH,OAAO,KAAK,EAUV,QAAQ,EACT,MAAM,iBAAiB,CAAC;AASzB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AA2H/C,uEAAuE;AACvE,wBAAsB,eAAe,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAA;CAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CA8M1F"}
+{"version":3,"file":"mysql.d.ts","sourceRoot":"","sources":["../../src/introspect/mysql.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAKH,OAAO,KAAK,EAUV,QAAQ,EACT,MAAM,iBAAiB,CAAC;AASzB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAkI/C,uEAAuE;AACvE,wBAAsB,eAAe,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAA;CAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CA+O1F"}

package/dist/introspect/postgres.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"postgres.d.ts","sourceRoot":"","sources":["../../src/introspect/postgres.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AASH,OAAO,KAAK,EASV,QAAQ,EACT,MAAM,iBAAiB,CAAC;AASzB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AA+L/C,gFAAgF;AAChF,wBAAsB,kBAAkB,CAAC,MAAM,EAAE;IAC/C,QAAQ,EAAE,WAAW,CAAC;IACtB,uFAAuF;IACvF,SAAS,CAAC,EAAE,QAAQ,CAAC;IACrB,0FAA0F;IAC1F,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B,GAAG,OAAO,CAAC,QAAQ,CAAC,CAuBpB;AAED,yFAAyF;AACzF,wBAAsB,0BAA0B,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAA;CAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CA+LrG"}
+{"version":3,"file":"postgres.d.ts","sourceRoot":"","sources":["../../src/introspect/postgres.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AASH,OAAO,KAAK,EASV,QAAQ,EACT,MAAM,iBAAiB,CAAC;AASzB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AA4M/C,gFAAgF;AAChF,wBAAsB,kBAAkB,CAAC,MAAM,EAAE;IAC/C,QAAQ,EAAE,WAAW,CAAC;IACtB,uFAAuF;IACvF,SAAS,CAAC,EAAE,QAAQ,CAAC;IACrB,0FAA0F;IAC1F,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B,GAAG,OAAO,CAAC,QAAQ,CAAC,CAuBpB;AAED,yFAAyF;AACzF,wBAAsB,0BAA0B,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAA;CAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CA2MrG"}

package/dist/introspect/shared.d.ts

@@ -11,11 +11,10 @@
  *   synthesized `@relation` name so `db pull` output re-parses (the parser
  *   rejects the unnamed shape as `ambiguous-relation`) and implicit-M2M
  *   detection keeps its name keys unique.
- * - A table matching the implicit join-table shape (name `_X`, exactly columns
- *   "A" and "B", two single-column FKs, a unique index on (A, B)) is NOT a
- *   model: it becomes two unnamed `oneToMany` list sides on the joined models,
- *   carrying `relationName` when the physical name differs from the default
- *   `_AToB`.
+ * - Only canonical implicit join tables are compressed: required A/B columns,
+ *   cascading single-column FKs to primary keys, an unfiltered AB unique index
+ *   and the B lookup index, with no extra indexes. Noncanonical shapes remain
+ *   explicit models or refuse when compression cannot preserve their keys.
  */
 import type { CascadeAction, ModelIR } from "@vibeorm/schema";
 /** A grouped foreign key (composite-capable), dialect-independent. */
@@ -52,9 +51,9 @@ export type JoinTableInfo = {
 };
 /**
  * Detect whether a physical table is an implicit many-to-many join table:
- * name starts with `_`, columns are exactly "A"/"B", two single-column FKs
- * cover them, and a unique index spans (A, B). Purely structural — never
- * reads relation types (round-trip stability, LEARNINGS).
+ * Name and index/FK structure must match the renderer's canonical shape.
+ * Referenced primary keys are checked later, once target models exist.
+ * Callers remain responsible for refusing unrepresented catalog guarantees.
  */
 export declare function detectJoinTable(params: {
     table: string;

package/dist/introspect/shared.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/introspect/shared.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,OAAO,EAAc,MAAM,iBAAiB,CAAC;AAI1E,sEAAsE;AACtE,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,oEAAoE;IACpE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,qEAAqE;AACrE,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAC/E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CACrC,CAAC;AAEF,sCAAsC;AACtC,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAIF;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IAC7B,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACvC,GAAG,aAAa,GAAG,IAAI,CA8BvB;AAID,2EAA2E;AAC3E,wBAAgB,cAAc,CAAC,MAAM,EAAE;IACrC,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IAC7B,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAChD,GAAG,IAAI,CAgDP;AAED,8EAA8E;AAC9E,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAC5C,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAChD,GAAG,IAAI,CAuCP;AAmGD,8EAA8E;AAC9E,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEhD"}
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/introspect/shared.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,KAAK,EAAE,aAAa,EAAE,OAAO,EAAc,MAAM,iBAAiB,CAAC;AAI1E,sEAAsE;AACtE,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,oEAAoE;IACpE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,qEAAqE;AACrE,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAC/E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CACrC,CAAC;AAEF,sCAAsC;AACtC,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAIF;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IAC7B,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACvC,GAAG,aAAa,GAAG,IAAI,CA0BvB;AAID,2EAA2E;AAC3E,wBAAgB,cAAc,CAAC,MAAM,EAAE;IACrC,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IAC7B,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAChD,GAAG,IAAI,CAwDP;AAED,8EAA8E;AAC9E,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAC5C,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAChD,GAAG,IAAI,CAuCP;AAmGD,8EAA8E;AAC9E,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEhD"}

package/dist/introspect/sqlite.d.ts

@@ -36,6 +36,10 @@ import type { SqlExecutor } from "../types.ts";
 export declare function introspectSqlite(params: {
     executor: SqlExecutor;
 }): Promise<SchemaIR>;
+/** @internal The runner verifies foreign_key_check and restores enforcement after COMMIT. */
+export declare function introspectSqliteBeforeForeignKeyRestore(params: {
+    executor: SqlExecutor;
+}): Promise<SchemaIR>;
 /**
  * Recover an expression index's column list from its `sqlite_master.sql`
  * (SQLITE-2). Only shapes WE emit parse — plain quoted columns and

package/dist/introspect/sqlite.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sqlite.d.ts","sourceRoot":"","sources":["../../src/introspect/sqlite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAIH,OAAO,KAAK,EAQV,QAAQ,EACT,MAAM,iBAAiB,CAAC;AAUzB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAyB/C,uDAAuD;AACvD,wBAAsB,gBAAgB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAA;CAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CAuI3F;AAwGD;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE;IAC/C,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CACpB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,EAAE,GAAG,IAAI,CAqD3C"}
+{"version":3,"file":"sqlite.d.ts","sourceRoot":"","sources":["../../src/introspect/sqlite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAIH,OAAO,KAAK,EAQV,QAAQ,EACT,MAAM,iBAAiB,CAAC;AAUzB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AA0B/C,uDAAuD;AACvD,wBAAsB,gBAAgB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAA;CAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CAE3F;AAED,6FAA6F;AAC7F,wBAAsB,uCAAuC,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAA;CAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CAElH;AAgRD;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE;IAC/C,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CACpB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,EAAE,GAAG,IAAI,CAqD3C"}

package/dist/journal-read.d.ts

@@ -0,0 +1,24 @@
+import type { Dialect } from "@vibeorm/schema";
+import type { SqlExecutor } from "./types.ts";
+/** Validated journal data, shared by the runner and read-only history API. */
+export type JournalRow = {
+    readonly checksum: string;
+    readonly statementIndex: number;
+    readonly error?: string;
+    readonly moduleEntry?: string;
+};
+/**
+ * Execute a journal read without creating it. Undefined means proven absence,
+ * never a denied read. SQLite has no missing-table error code, so an unsuccessful
+ * read is followed by catalog inspection rather than matching error messages.
+ * This module never imports runner/history, keeping their shared reader acyclic.
+ */
+export declare function readJournalRows(params: {
+    executor: SqlExecutor;
+    dialect: Dialect;
+    query: {
+        readonly text: string;
+        readonly values?: readonly unknown[];
+    };
+}): Promise<Map<string, JournalRow> | undefined>;
+//# sourceMappingURL=journal-read.d.ts.map

package/dist/journal-read.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"journal-read.d.ts","sourceRoot":"","sources":["../src/journal-read.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAG/C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,8EAA8E;AAC9E,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAiBhJ;;;;;GAKG;AACH,wBAAsB,eAAe,CAAC,MAAM,EAAE;IAC5C,QAAQ,EAAE,WAAW,CAAC;IACtB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,CAAA;KAAE,CAAC;CACxE,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,SAAS,CAAC,CAsB/C"}

package/dist/migration-checksum.d.ts

@@ -0,0 +1,14 @@
+import type { MigrationExecution } from "./execution.ts";
+import type { MigrationDesiredState } from "./desired-state.ts";
+import type { ModuleMigrationOrigin } from "./module-origin.ts";
+/** Historical SQL/execution checksum, with optional immutable state and module provenance. */
+export declare function migrationChecksum(params: {
+    moduleOrigin?: ModuleMigrationOrigin;
+    sql: readonly string[];
+    execution?: MigrationExecution;
+    desiredState?: MigrationDesiredState;
+    downSql?: readonly string[];
+    downExecution?: MigrationExecution;
+    desiredStatePending?: boolean;
+}): string;
+//# sourceMappingURL=migration-checksum.d.ts.map

package/dist/migration-checksum.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"migration-checksum.d.ts","sourceRoot":"","sources":["../src/migration-checksum.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAEzD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAEhE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAEhE,8FAA8F;AAC9F,wBAAgB,iBAAiB,CAAC,MAAM,EAAE;IACxC,YAAY,CAAC,EAAE,qBAAqB,CAAC;IACrC,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;IACvB,SAAS,CAAC,EAAE,kBAAkB,CAAC;IAC/B,YAAY,CAAC,EAAE,qBAAqB,CAAC;IACrC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,aAAa,CAAC,EAAE,kBAAkB,CAAC;IACnC,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B,GAAG,MAAM,CAGT"}

package/dist/module-bundle.d.ts

@@ -0,0 +1,27 @@
+import type { Dialect, SqlObjectIdentity } from "@vibeorm/schema";
+import type { ModuleMigrationSource } from "./module-origin.ts";
+import type { MigrationFile } from "./types.ts";
+/** Data-only package export, with ordered immutable source snapshots. */
+export type ModuleMigrationBundle = {
+    readonly moduleId: string;
+    readonly dialect: Dialect;
+    readonly migrations: readonly MigrationFile[];
+};
+/** Author an append-only upgrade chain; this never opens a database or executes SQL. */
+export declare function defineModuleMigrations(params: {
+    moduleId: string;
+    dialect: Dialect;
+    steps: readonly {
+        readonly revision: string;
+        readonly previousRevision: string | null;
+        readonly contracts: readonly string[];
+        readonly owned: readonly SqlObjectIdentity[];
+        readonly migration: ModuleMigrationSource;
+    }[];
+}): ModuleMigrationBundle;
+/** Materialize ordered local units without reinterpreting or concatenating package SQL. */
+export declare function moduleMigrationFiles(params: {
+    bundle: ModuleMigrationBundle;
+    prefix: string;
+}): readonly MigrationFile[];
+//# sourceMappingURL=module-bundle.d.ts.map

package/dist/module-bundle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-bundle.d.ts","sourceRoot":"","sources":["../src/module-bundle.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAGlE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAEhE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,yEAAyE;AACzE,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;CAC/C,CAAC;AAEF,wFAAwF;AACxF,wBAAgB,sBAAsB,CAAC,MAAM,EAAE;IAC7C,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,SAAS;QACd,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;QACzC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;QACtC,QAAQ,CAAC,KAAK,EAAE,SAAS,iBAAiB,EAAE,CAAC;QAC7C,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC;KAC3C,EAAE,CAAC;CACL,GAAG,qBAAqB,CAgBxB;AAED,2FAA2F;AAC3F,wBAAgB,oBAAoB,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,qBAAqB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,aAAa,EAAE,CAYxH"}

package/dist/module-export.d.ts

@@ -0,0 +1,10 @@
+import type { ModuleMigrationBundle } from "./module-bundle.ts";
+/** Emit separate data-only migration and startup-readiness entries for a package build. */
+export declare function emitModuleMigrationExport(params: {
+    bundle: ModuleMigrationBundle;
+    contract: string;
+}): readonly {
+    name: string;
+    content: string;
+}[];
+//# sourceMappingURL=module-export.d.ts.map

package/dist/module-export.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-export.d.ts","sourceRoot":"","sources":["../src/module-export.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAEhE,2FAA2F;AAC3F,wBAAgB,yBAAyB,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,qBAAqB,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,EAAE,CAWnJ"}

package/dist/module-history.d.ts

@@ -0,0 +1,18 @@
+import type { ModuleJournalRecord } from "./module-journal.ts";
+import type { ModuleMigrationOrigin } from "./module-origin.ts";
+import type { MigrationFile } from "./types.ts";
+/** Validate ordered chains, never selecting an earlier completed entry past a later incomplete one. */
+export declare function moduleHistoryHeads(params: {
+    records: ReadonlyMap<string, ModuleJournalRecord>;
+}): Map<string, ModuleJournalRecord>;
+/** Installed module expectations for an ordinary application file, including subset runners. */
+export declare function applicationModuleOrigins(params: {
+    migration: MigrationFile;
+    records: ReadonlyMap<string, ModuleJournalRecord>;
+}): readonly ModuleMigrationOrigin[];
+/** Lock-held admission for the full pending sequence, including conflicts with prior module ownership. */
+export declare function assertModuleUpgradeHistory(params: {
+    migrations: readonly MigrationFile[];
+    records: ReadonlyMap<string, ModuleJournalRecord>;
+}): void;
+//# sourceMappingURL=module-history.d.ts.map

package/dist/module-history.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-history.d.ts","sourceRoot":"","sources":["../src/module-history.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAEhE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAMhD,uGAAuG;AACvG,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;CAAE,GAAG,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAgBlI;AAED,gGAAgG;AAChG,wBAAgB,wBAAwB,CAAC,MAAM,EAAE;IAAE,SAAS,EAAE,aAAa,CAAC;IAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;CAAE,GAAG,SAAS,qBAAqB,EAAE,CAQlK;AAiBD,0GAA0G;AAC1G,wBAAgB,0BAA0B,CAAC,MAAM,EAAE;IAAE,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;CAAE,GAAG,IAAI,CAyCpJ"}

package/dist/module-journal.d.ts

@@ -0,0 +1,49 @@
+import type { Dialect } from "@vibeorm/schema";
+import type { JournalRow } from "./journal-read.ts";
+import type { MigrationFile, SqlExecutor } from "./types.ts";
+/** Completion is independent of cursor position: final verification may still fail. */
+export type ModuleJournalEntry = {
+    readonly version: 1;
+    readonly migration: MigrationFile;
+    readonly complete: boolean;
+};
+export type ModuleJournalRecord = {
+    readonly row: JournalRow;
+    readonly entry?: ModuleJournalEntry;
+};
+/** Validate both stored source provenance and the local execution checksum. */
+export declare function parseModuleJournalEntry(params: {
+    text: string;
+    name: string;
+    checksum: string;
+}): ModuleJournalEntry;
+/** Read-only journal access: an absent journal or old journal without the optional column is not upgraded. */
+export declare function readModuleJournal(params: {
+    executor: SqlExecutor;
+    dialect: Dialect;
+}): Promise<ReadonlyMap<string, ModuleJournalRecord>>;
+/** Deployment-only, lock-held schema upgrade on the existing history table. */
+export declare function ensureModuleJournal(params: {
+    executor: SqlExecutor;
+    dialect: Dialect;
+}): Promise<void>;
+/** First record is complete only on the transactional path, within the same commit as its SQL. */
+export declare function insertModuleJournal(params: {
+    executor: SqlExecutor;
+    dialect: Dialect;
+    migration: MigrationFile;
+    index: number;
+    complete: boolean;
+}): Promise<void>;
+/** Called only after statement progress and final desired-state verification have completed. */
+export declare function completeModuleJournal(params: {
+    executor: SqlExecutor;
+    dialect: Dialect;
+    migration: MigrationFile;
+}): Promise<void>;
+/** Neither repair sentinels nor a completed cursor can manufacture a completed module revision. */
+export declare function moduleRecordComplete(params: {
+    migration: MigrationFile;
+    stored: JournalRow;
+}): boolean;
+//# sourceMappingURL=module-journal.d.ts.map

package/dist/module-journal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-journal.d.ts","sourceRoot":"","sources":["../src/module-journal.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAO/C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE7D,uFAAuF;AACvF,MAAM,MAAM,kBAAkB,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAAC;AACxH,MAAM,MAAM,mBAAmB,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,kBAAkB,CAAA;CAAE,CAAC;AAMpG,+EAA+E;AAC/E,wBAAgB,uBAAuB,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAAG,kBAAkB,CAUpH;AAED,8GAA8G;AAC9G,wBAAsB,iBAAiB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAQ9I;AAED,+EAA+E;AAC/E,wBAAsB,mBAAmB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAK5G;AAED,kGAAkG;AAClG,wBAAsB,mBAAmB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAKxK;AAED,gGAAgG;AAChG,wBAAsB,qBAAqB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,aAAa,CAAA;CAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAIxI;AAED,mGAAmG;AACnG,wBAAgB,oBAAoB,CAAC,MAAM,EAAE;IAAE,SAAS,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,UAAU,CAAA;CAAE,GAAG,OAAO,CAMtG"}

package/dist/module-origin.d.ts

@@ -0,0 +1,47 @@
+import type { Dialect, SqlObjectIdentity } from "@vibeorm/schema";
+import type { MigrationFile } from "./types.ts";
+/** Complete package-authored source, retained even when application state is composed later. */
+export type ModuleMigrationSource = Omit<MigrationFile, "moduleOrigin">;
+/** Immutable provenance for one ordered package upgrade, not proof that it was applied. */
+export type ModuleMigrationOrigin = {
+    readonly version: 1;
+    readonly moduleId: string;
+    readonly dialect: Dialect;
+    readonly previousRevision: string | null;
+    readonly revision: string;
+    readonly contracts: readonly string[];
+    readonly owned: readonly SqlObjectIdentity[];
+    readonly source: ModuleMigrationSource;
+    readonly artifactChecksum: string;
+};
+/** The source snapshot carries all execution/security/reverse metadata in one data-only sidecar. */
+export declare const MODULE_ORIGIN_METADATA: Readonly<{
+    filename: string;
+    version: 1;
+}>;
+/** Validate sidecar shape and the checksum of the complete source plus ownership/compatibility metadata. */
+export declare function assertModuleOrigin(params: {
+    value: unknown;
+}): asserts params is {
+    value: ModuleMigrationOrigin;
+};
+/** Snapshot the package's authored upgrade; later mutation of author inputs cannot alter it. */
+export declare function createModuleOrigin(params: Omit<ModuleMigrationOrigin, "version" | "artifactChecksum">): ModuleMigrationOrigin;
+/** Absent module metadata contributes zero bytes to every historical checksum. */
+export declare function moduleOriginChecksumSuffix(params: {
+    moduleOrigin?: ModuleMigrationOrigin;
+}): string;
+/** Read the sidecar through the same typed JSON boundary as desired-state metadata. */
+export declare function parseModuleOrigin(params: {
+    text: string;
+}): ModuleMigrationOrigin;
+/** Applying a module cannot discard the source's execution, reverse, security or desired-state metadata. */
+export declare function assertMaterializedModuleMigration(params: {
+    migration: MigrationFile;
+}): void;
+/** Restore the complete source metadata while allowing a separately reviewed application desired state. */
+export declare function restoreModuleMigration(params: {
+    migration: MigrationFile;
+    origin: ModuleMigrationOrigin;
+}): MigrationFile;
+//# sourceMappingURL=module-origin.d.ts.map

package/dist/module-origin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-origin.d.ts","sourceRoot":"","sources":["../src/module-origin.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,gGAAgG;AAChG,MAAM,MAAM,qBAAqB,GAAG,IAAI,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;AAExE,2FAA2F;AAC3F,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC,CAAC;AAEF,oGAAoG;AACpG,eAAO,MAAM,sBAAsB,EAAE,QAAQ,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,CAAC,CAAA;CAAE,CAAiE,CAAC;AAuBhJ,4GAA4G;AAC5G,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAAC,MAAM,IAAI;IAAE,KAAK,EAAE,qBAAqB,CAAA;CAAE,CAkBjH;AAED,gGAAgG;AAChG,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,qBAAqB,EAAE,SAAS,GAAG,kBAAkB,CAAC,GAAG,qBAAqB,CAO7H;AAED,kFAAkF;AAClF,wBAAgB,0BAA0B,CAAC,MAAM,EAAE;IAAE,YAAY,CAAC,EAAE,qBAAqB,CAAA;CAAE,GAAG,MAAM,CAInG;AAED,uFAAuF;AACvF,wBAAgB,iBAAiB,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,qBAAqB,CAMjF;AAGD,4GAA4G;AAC5G,wBAAgB,iCAAiC,CAAC,MAAM,EAAE;IAAE,SAAS,EAAE,aAAa,CAAA;CAAE,GAAG,IAAI,CAK5F;AAED,2GAA2G;AAC3G,wBAAgB,sBAAsB,CAAC,MAAM,EAAE;IAAE,SAAS,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,qBAAqB,CAAA;CAAE,GAAG,aAAa,CAazH"}

package/dist/module-ownership.d.ts

@@ -0,0 +1,33 @@
+import type { SqlObjectIdentity } from "@vibeorm/schema";
+import type { MigrationDesiredState } from "./desired-state.ts";
+import type { ModuleMigrationOrigin } from "./module-origin.ts";
+import type { SqlExecutor } from "./types.ts";
+/** Baked placement; MySQL authors must name the actual application database. */
+export declare function moduleNamespace(params: {
+    origin: ModuleMigrationOrigin;
+}): string;
+/** Derive the complete exact ownership set from source declarations, not a naming prefix. */
+export declare function moduleOwnedObjects(params: {
+    desiredState: MigrationDesiredState;
+    namespace?: string;
+}): readonly SqlObjectIdentity[];
+/** A checksum does not turn extra ownership claims into authority over application objects. */
+export declare function assertModuleOwnership(params: {
+    origin: ModuleMigrationOrigin;
+    desiredState?: MigrationDesiredState;
+}): void;
+/** Inspect full physical inventory: new objects cannot claim existing app objects or external dependents. */
+export declare function assertLiveModuleOwnership(params: {
+    executor: SqlExecutor;
+    origin: ModuleMigrationOrigin;
+    resume?: boolean;
+    sqliteRestorePending?: true;
+}): Promise<void>;
+/** Protect installed module objects without requiring an application snapshot. */
+export declare function assertApplicationModuleState(params: {
+    executor: SqlExecutor;
+    origins: readonly ModuleMigrationOrigin[];
+    probe?: "none" | "rollback" | "temporary";
+    sqliteRestorePending?: true;
+}): Promise<void>;
+//# sourceMappingURL=module-ownership.d.ts.map

package/dist/module-ownership.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-ownership.d.ts","sourceRoot":"","sources":["../src/module-ownership.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEzD,OAAO,KAAK,EAAgB,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC9E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAOhE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAS9C,gFAAgF;AAChF,wBAAgB,eAAe,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,qBAAqB,CAAA;CAAE,GAAG,MAAM,CAKjF;AAED,6FAA6F;AAC7F,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IAAE,YAAY,EAAE,qBAAqB,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,iBAAiB,EAAE,CAKpI;AAED,+FAA+F;AAC/F,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,qBAAqB,CAAC;IAAC,YAAY,CAAC,EAAE,qBAAqB,CAAA;CAAE,GAAG,IAAI,CAgC3H;AA2BD,6GAA6G;AAC7G,wBAAsB,yBAAyB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,qBAAqB,CAAC;IAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAAC,oBAAoB,CAAC,EAAE,IAAI,CAAA;CAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAoB9K;AAED,kFAAkF;AAClF,wBAAsB,4BAA4B,CAAC,MAAM,EAAE;IACzD,QAAQ,EAAE,WAAW,CAAC;IACtB,OAAO,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAC1C,KAAK,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,WAAW,CAAC;IAC1C,oBAAoB,CAAC,EAAE,IAAI,CAAC;CAC7B,GAAG,OAAO,CAAC,IAAI,CAAC,CAQhB"}

package/dist/module-pending.d.ts

@@ -0,0 +1,19 @@
+import type { SchemaIR } from "@vibeorm/schema";
+import type { DesiredState } from "./desired-state.ts";
+import type { ModuleMigrationBundle } from "./module-bundle.ts";
+import type { MigrationFile } from "./types.ts";
+/** Compose the application target with enabled package heads without copying models into its generated client. */
+export declare function composeApplicationModules(params: {
+    application: DesiredState;
+    bundles: readonly ModuleMigrationBundle[];
+}): DesiredState;
+/** Import only new immutable upgrades, in deterministic module/predecessor order. Never infer uninstall SQL. */
+export declare function pendingModuleMigrations(params: {
+    bundles: readonly ModuleMigrationBundle[];
+    existing: readonly MigrationFile[];
+    prefix: string;
+    application?: SchemaIR;
+    /** Independently replayed complete history, required when importing after a SQL-only application head. */
+    replayState?: DesiredState;
+}): readonly MigrationFile[];
+//# sourceMappingURL=module-pending.d.ts.map

package/dist/module-pending.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-pending.d.ts","sourceRoot":"","sources":["../src/module-pending.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAEhD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAGhE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAsBhD,kHAAkH;AAClH,wBAAgB,yBAAyB,CAAC,MAAM,EAAE;IAAE,WAAW,EAAE,YAAY,CAAC;IAAC,OAAO,EAAE,SAAS,qBAAqB,EAAE,CAAA;CAAE,GAAG,YAAY,CAWxI;AAED,gHAAgH;AAChH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE;IAC9C,OAAO,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAC1C,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,QAAQ,CAAC;IACvB,0GAA0G;IAC1G,WAAW,CAAC,EAAE,YAAY,CAAC;CAC5B,GAAG,SAAS,aAAa,EAAE,CA6D3B"}

package/dist/module-readiness.d.ts

@@ -0,0 +1,32 @@
+import type { Dialect } from "@vibeorm/schema";
+import type { MigrationStateReport } from "./inspect-objects.ts";
+import type { SqlExecutor } from "./types.ts";
+/** The immutable schema artifact expected by a runtime, never an npm version. */
+export type ModuleReadinessExpectation = {
+    readonly moduleId: string;
+    readonly revision: string;
+    readonly artifactChecksum: string;
+    readonly contract: string;
+};
+export type ModuleReadinessResult = {
+    readonly moduleId: string;
+    readonly installedRevision?: string;
+    readonly revision: "matching" | "compatible" | "missing" | "incompatible" | "incomplete";
+    readonly structural: {
+        readonly status: "not-checked" | "matching" | "drifted";
+        readonly report?: MigrationStateReport;
+    };
+};
+export type ModuleReadinessReport = {
+    readonly ready: boolean;
+    readonly modules: readonly ModuleReadinessResult[];
+};
+/** Read completed history once; optionally inspect live objects. No journal creation, DDL or repair. */
+export declare function inspectModuleReadiness(params: {
+    executor: SqlExecutor;
+    dialect: Dialect;
+    modules: readonly ModuleReadinessExpectation[];
+    compatibility?: "exact" | "contract";
+    deep?: boolean;
+}): Promise<ModuleReadinessReport>;
+//# sourceMappingURL=module-readiness.d.ts.map

package/dist/module-readiness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-readiness.d.ts","sourceRoot":"","sources":["../src/module-readiness.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAK/C,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,iFAAiF;AACjF,MAAM,MAAM,0BAA0B,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAChK,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,YAAY,GAAG,SAAS,GAAG,cAAc,GAAG,YAAY,CAAC;IACzF,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,UAAU,GAAG,SAAS,CAAC;QAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAA;KAAE,CAAC;CAC1H,CAAC;AACF,MAAM,MAAM,qBAAqB,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,qBAAqB,EAAE,CAAA;CAAE,CAAC;AAEpH,wGAAwG;AACxG,wBAAsB,sBAAsB,CAAC,MAAM,EAAE;IACnD,QAAQ,EAAE,WAAW,CAAC;IACtB,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,SAAS,0BAA0B,EAAE,CAAC;IAC/C,aAAa,CAAC,EAAE,OAAO,GAAG,UAAU,CAAC;IACrC,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAkCjC"}

package/dist/mysql-catalog-visibility.d.ts

@@ -0,0 +1,5 @@
+/** Prove unfiltered MySQL FK metadata visibility without requiring global row reads. */
+export declare function hasMysqlGlobalCatalogVisibility(params: {
+    rows: readonly Record<string, unknown>[];
+}): boolean;
+//# sourceMappingURL=mysql-catalog-visibility.d.ts.map

package/dist/mysql-catalog-visibility.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mysql-catalog-visibility.d.ts","sourceRoot":"","sources":["../src/mysql-catalog-visibility.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,wBAAgB,+BAA+B,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAA;CAAE,GAAG,OAAO,CAY7G"}

package/dist/mysql-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mysql-types.d.ts","sourceRoot":"","sources":["../src/mysql-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAMnE,6EAA6E;AAC7E,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAUhE,CAAC;AAEF,iFAAiF;AACjF,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG,KAAK,CAMvE;AAaD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CASlE;AAID;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IACzC,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC,GAAG,MAAM,CAgBT;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG,MAAM,GAAG,IAAI,CAEjF;AAID,0EAA0E;AAC1E,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IACzC,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC,GAAG,MAAM,CA8BT;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG,MAAM,GAAG,SAAS,CA8B9E;AAID,yEAAyE;AACzE,wBAAgB,wBAAwB,CAAC,MAAM,EAAE;IAAE,UAAU,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,EAAE,GAAG,IAAI,CAQxF"}
+{"version":3,"file":"mysql-types.d.ts","sourceRoot":"","sources":["../src/mysql-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAMnE,6EAA6E;AAC7E,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAUhE,CAAC;AAEF,iFAAiF;AACjF,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG,KAAK,CAMvE;AAaD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CASlE;AAID;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IACzC,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC,GAAG,MAAM,CAgBT;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG,MAAM,GAAG,IAAI,CAEjF;AAID,0EAA0E;AAC1E,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IACzC,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC,GAAG,MAAM,CA+BT;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG,MAAM,GAAG,SAAS,CA8B9E;AAID,yEAAyE;AACzE,wBAAgB,wBAAwB,CAAC,MAAM,EAAE;IAAE,UAAU,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,EAAE,GAAG,IAAI,CAQxF"}

package/dist/normalize.d.ts

@@ -113,21 +113,10 @@ export declare function defaultFingerprintFor(params: {
 /**
  * Comparison key for a partial-index predicate.
  *
- * The engines re-serialize these expressions on introspection (postgres adds
- * parentheses around every operand, quotes identifiers and appends `::type`
- * casts), so the key must absorb THAT and nothing else. Erasing quotes,
- * parentheses and case wholesale (what this did before, F29) made
- * `'ACTIVE'` equal to `'active'` and `(a OR b) AND c` equal to
- * `a OR (b AND c)` — two different indexes comparing equal is a migration
- * step that never gets generated.
- *
- * So: string literals keep their bytes; identifiers and keywords fold to lower
- * case and lose their quoting; `::type` casts and REDUNDANT parentheses are
- * dropped by parsing the boolean structure and re-emitting it with the minimum
- * parenthesization, which keeps genuine grouping differences visible.
- *
- * A predicate this parser cannot read falls back to its token sequence — never
- * to the old lossy key.
+ * Literal bytes, quoted identifier case and casts are semantic. Only the
+ * supported boolean structure is reparenthesized. Quoted and unquoted names
+ * may conservatively compare unequal; equivalence requires catalog evidence.
+ * Complex lexical forms remain opaque rather than claiming false convergence.
  */
 export declare function normalizeWhere(params: {
     where: string | undefined;

package/dist/normalize.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"normalize.d.ts","sourceRoot":"","sources":["../src/normalize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,KAAK,EACV,aAAa,EACb,OAAO,EACP,MAAM,EACN,OAAO,EAEP,OAAO,EACP,QAAQ,EACT,MAAM,iBAAiB,CAAC;AAYzB,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAI5D,qCAAqC;AACrC,MAAM,MAAM,gBAAgB,GAAG;IAC7B,sBAAsB;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC,CAAC;AAEF,6EAA6E;AAC7E,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CACrC,CAAC;AAEF,8EAA8E;AAC9E,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;CAClC,CAAC;AAEF,+CAA+C;AAC/C,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,qBAAqB;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACxD,kDAAkD;IAClD,QAAQ,CAAC,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACvD,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAChD,iGAAiG;IACjG,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9C,CAAC;AAEF,kEAAkE;AAClE,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC;IACzB,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC;CAC1B,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAC9D,8BAA8B;IAC9B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC9C,CAAC;AAIF;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE;IACtC,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB,GAAG,gBAAgB,CA2BnB;AA0BD,4EAA4E;AAC5E,wBAAgB,yBAAyB,CAAC,MAAM,EAAE;IAChD,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf,GAAG,IAAI,CAyBP;AAID,iDAAiD;AACjD,wBAAgB,gBAAgB,CAAC,MAAM,EAAE;IACvC,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC,GAAG,MAAM,CAUT;AAED,0CAA0C;AAC1C,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAC5C,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;CAClB,GAAG,MAAM,GAAG,IAAI,CAUhB;AA+GD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAAG,MAAM,CAQ5E;AAkSD,6DAA6D;AAC7D,wBAAgB,WAAW,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAI5E"}
+{"version":3,"file":"normalize.d.ts","sourceRoot":"","sources":["../src/normalize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,KAAK,EACV,aAAa,EACb,OAAO,EACP,MAAM,EACN,OAAO,EAEP,OAAO,EACP,QAAQ,EACT,MAAM,iBAAiB,CAAC;AAYzB,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAI5D,qCAAqC;AACrC,MAAM,MAAM,gBAAgB,GAAG;IAC7B,sBAAsB;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC,CAAC;AAEF,6EAA6E;AAC7E,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CACrC,CAAC;AAEF,8EAA8E;AAC9E,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;CAClC,CAAC;AAEF,+CAA+C;AAC/C,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,qBAAqB;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACxD,kDAAkD;IAClD,QAAQ,CAAC,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACvD,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAChD,iGAAiG;IACjG,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9C,CAAC;AAEF,kEAAkE;AAClE,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC;IACzB,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC;CAC1B,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAC9D,8BAA8B;IAC9B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC9C,CAAC;AAIF;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE;IACtC,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB,GAAG,gBAAgB,CA2BnB;AA6BD,4EAA4E;AAC5E,wBAAgB,yBAAyB,CAAC,MAAM,EAAE;IAChD,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf,GAAG,IAAI,CAyBP;AAID,iDAAiD;AACjD,wBAAgB,gBAAgB,CAAC,MAAM,EAAE;IACvC,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC,GAAG,MAAM,CAUT;AAED,0CAA0C;AAC1C,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAC5C,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;CAClB,GAAG,MAAM,GAAG,IAAI,CAUhB;AA+GD;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAAG,MAAM,CAS5E;AAoRD,6DAA6D;AAC7D,wBAAgB,WAAW,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAI5E"}

package/dist/object-ownership.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"object-ownership.d.ts","sourceRoot":"","sources":["../src/object-ownership.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAClH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGvD,gGAAgG;AAChG,wBAAgB,sBAAsB,CAAC,MAAM,EAAE;IAAE,SAAS,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,iBAAiB,EAAE,CAYpJ;AAED,wGAAwG;AACxG,wBAAgB,wBAAwB,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,QAAQ,CA2BtJ;AAED,uGAAuG;AACvG,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAAE,GAAG,QAAQ,CAY/H;AAED,kEAAkE;AAClE,wBAAgB,eAAe,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,iBAAiB,GAAG,SAAS,CAejH;AAED,qFAAqF;AACrF,wBAAgB,sBAAsB,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,iBAAiB,EAAE,CA4B7H;AAED,qFAAqF;AACrF,wBAAgB,8BAA8B,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAAC,EAAE,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAAE,GAAG,IAAI,CAIrI;AAED,gGAAgG;AAChG,wBAAgB,uBAAuB,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAAE,GAAG,iBAAiB,EAAE,CAiB9G;AAED,8FAA8F;AAC9F,wBAAgB,mBAAmB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAAC,mBAAmB,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,IAAI,CAMpK;AAED,kGAAkG;AAClG,wBAAgB,0BAA0B,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAAC,eAAe,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAAE,GAAG,IAAI,CAoBzO"}
+{"version":3,"file":"object-ownership.d.ts","sourceRoot":"","sources":["../src/object-ownership.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAClH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGvD,gGAAgG;AAChG,wBAAgB,sBAAsB,CAAC,MAAM,EAAE;IAAE,SAAS,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,iBAAiB,EAAE,CAYpJ;AAED,wGAAwG;AACxG,wBAAgB,wBAAwB,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,QAAQ,CA4BtJ;AAED,uGAAuG;AACvG,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAAE,GAAG,QAAQ,CAY/H;AAED,kEAAkE;AAClE,wBAAgB,eAAe,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,iBAAiB,GAAG,SAAS,CAgBjH;AAED,qFAAqF;AACrF,wBAAgB,sBAAsB,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,iBAAiB,EAAE,CA6B7H;AAED,qFAAqF;AACrF,wBAAgB,8BAA8B,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAAC,EAAE,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAAE,GAAG,IAAI,CAIrI;AAED,gGAAgG;AAChG,wBAAgB,uBAAuB,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAAE,GAAG,iBAAiB,EAAE,CAiB9G;AAED,8FAA8F;AAC9F,wBAAgB,mBAAmB,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAAC,mBAAmB,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,IAAI,CAMpK;AAED,kGAAkG;AAClG,wBAAgB,0BAA0B,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAAC,eAAe,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAAE,GAAG,IAAI,CAoBzO"}

package/dist/planner.d.ts

@@ -2,10 +2,13 @@ import type { Dialect, SchemaIR, SqlObjectIdentity, VibeExtension } from "@vibeo
 import type { SqlExecutor, MigrationStep } from "./types.ts";
 import type { DesiredState } from "./desired-state.ts";
 import type { MigrationObjectState } from "./inspect-objects.ts";
+import type { CatalogObject } from "./inventory.ts";
 /** Shared live plan; reports observations separately from trusted desired declarations. */
 export type SchemaMigrationPlan = {
     readonly physical: SchemaIR;
     readonly from: SchemaIR;
+    /** Desired schema with independently resolved PostgreSQL type evidence retained. */
+    readonly to: SchemaIR;
     readonly namespace: string;
     readonly steps: readonly MigrationStep[];
     readonly sql: readonly string[];
@@ -21,6 +24,8 @@ export declare function planSchemaMigration(params: {
     namespace?: string;
     /** Already-introspected physical IR, including verified native RLS when applicable. */
     physical?: SchemaIR;
+    /** Inventory captured with physical; replay has already excluded verified private infrastructure. */
+    physicalInventory?: readonly CatalogObject[];
     previous?: DesiredState;
     extensions?: readonly VibeExtension[];
     probe?: "none" | "rollback" | "temporary";

package/dist/planner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"planner.d.ts","sourceRoot":"","sources":["../src/planner.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAE3F,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAOvD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAOjE,2FAA2F;AAC3F,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,QAAQ,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAClD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACzD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF,qGAAqG;AACrG,wBAAsB,mBAAmB,CAAC,MAAM,EAAE;IAChD,QAAQ,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC9E,uFAAuF;IACvF,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,QAAQ,CAAC,EAAE,YAAY,CAAC;IAAC,UAAU,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/D,KAAK,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,WAAW,CAAC;IAAC,aAAa,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACzF,GAAG,OAAO,CAAC,mBAAmB,CAAC,CA4J/B"}
+{"version":3,"file":"planner.d.ts","sourceRoot":"","sources":["../src/planner.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAE3F,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAOvD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAEjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAMpD,2FAA2F;AAC3F,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,oFAAoF;IACpF,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,QAAQ,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAClD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACzD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF,qGAAqG;AACrG,wBAAsB,mBAAmB,CAAC,MAAM,EAAE;IAChD,QAAQ,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC9E,uFAAuF;IACvF,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,qGAAqG;IACrG,iBAAiB,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC7C,QAAQ,CAAC,EAAE,YAAY,CAAC;IAAC,UAAU,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/D,KAAK,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,WAAW,CAAC;IAAC,aAAa,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACzF,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAoK/B"}

package/dist/postgres-default-equivalence.d.ts

@@ -0,0 +1,11 @@
+import type { QualifiedSqlName } from "@vibeorm/schema";
+import type { SqlExecutor } from "./types.ts";
+/** Prove only qualified zero-argument default calls against the stored catalog identity. */
+export declare function equivalentPostgresDefaultFunction(params: {
+    executor: SqlExecutor;
+    table: QualifiedSqlName;
+    column: string;
+    expected: string;
+    actual: string;
+}): Promise<boolean>;
+//# sourceMappingURL=postgres-default-equivalence.d.ts.map

package/dist/postgres-default-equivalence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"postgres-default-equivalence.d.ts","sourceRoot":"","sources":["../src/postgres-default-equivalence.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAExD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAiB9C,4FAA4F;AAC5F,wBAAsB,iCAAiC,CAAC,MAAM,EAAE;IAC9D,QAAQ,EAAE,WAAW,CAAC;IACtB,KAAK,EAAE,gBAAgB,CAAC;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,OAAO,CAAC,OAAO,CAAC,CAkBnB"}

package/dist/postgres-type-identity.d.ts

@@ -0,0 +1,15 @@
+import type { SchemaIR, SqlObjectIdentity } from "@vibeorm/schema";
+import type { SqlExecutor } from "./types.ts";
+/** Resolved migration fields and columns whose authored identity cannot be proven. */
+export type PostgresTypeResolution = {
+    readonly schema: SchemaIR;
+    readonly unavailable: readonly SqlObjectIdentity[];
+};
+/** Resolve only from explicit names, independent evidence, or PostgreSQL's system catalog. */
+export declare function resolvePostgresTypeIdentities(params: {
+    executor: SqlExecutor;
+    schema: SchemaIR;
+    previous?: SchemaIR;
+    mode: "catalog" | "reference" | "verify";
+}): Promise<PostgresTypeResolution>;
+//# sourceMappingURL=postgres-type-identity.d.ts.map

package/dist/postgres-type-identity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"postgres-type-identity.d.ts","sourceRoot":"","sources":["../src/postgres-type-identity.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAW,QAAQ,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAG5E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,sFAAsF;AACtF,MAAM,MAAM,sBAAsB,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAAE,CAAC;AAEvH,8FAA8F;AAC9F,wBAAsB,6BAA6B,CAAC,MAAM,EAAE;IAC1D,QAAQ,EAAE,WAAW,CAAC;IACtB,MAAM,EAAE,QAAQ,CAAC;IACjB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,IAAI,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;CAC1C,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAyClC"}