@metaobjectsdev/migrate-ts 1.0.1 → 1.0.3

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAO7C,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,8EAA8E;IAC9E,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB;;;OAGG;IACH,IAAI,CAAC,EAAE,YAAY,CAAC;CACrB;AAED,MAAM,WAAW,YAAY;IAC3B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,WAAW,EAAE,YAAY,EAAE,CAAC;IAC5B,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;;;OAKG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,aAAa,CAAC;IACxB,QAAQ,CAAC,EAAE,WAAW,GAAG,MAAM,CAAC;IAChC;;;;;OAKG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,SAAS,GAAG,MAAM,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,OAAO,CAAC;IAChB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,CAAC,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC;IAC5B;;;;OAIG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;;OAKG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;;;;;;;;;;;;OAeG;IACH,UAAU,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;CAC/C;AAED,MAAM,WAAW,eAAe;IAC9B,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb,sEAAsE;IACtE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED,MAAM,MAAM,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,CAAC;AAEzE,oDAAoD;AACpD,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,wFAAwF;AACxF,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,2CAA2C;IAC3C,OAAO,EAAE,GAAG,GAAG,GAAG,CAAC;IACnB;;;;;OAKG;IACH,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,GAAG,CAAC,EAAE,MAAM,CAAC;IACb;;;;;;;;;;OAUG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;OAKG;IACH,OAAO,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC1C;;;;OAIG;IACH,UAAU,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC1C;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B;AAMD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,MAAM,GACd;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,eAAe,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACvF;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACvG;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACzF;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACtG;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACzH;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACzG;IAAE,IAAI,EAAE,oBAAoB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAC3E,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,wBAAwB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAC/E,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,uBAAuB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAC9E,IAAI,CAAC,EAAE,aAAa,CAAC;IAAC,EAAE,CAAC,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAClE;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACnG;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACtH;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC1F;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC7G;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACnG;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAEtH;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACpF;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,YAAY,CAAC;IACrB,6EAA6E;IAC7E,OAAO,CAAC,EAAE,cAAc,CAAC;IACzB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC1C;;;;;;;OAOG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,GACD;IACE,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,YAAY,CAAC;IACrB,sFAAsF;IACtF,OAAO,CAAC,EAAE,cAAc,CAAC;IACzB;;;;;OAKG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEN,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;AAExC,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,SAAS,GAAG,SAAS,CAAC;IAC7B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAMD,MAAM,WAAW,YAAY;IAC3B,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,mFAAmF;IACnF,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB;;;;;;;;OAQG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,oEAAoE;IACpE,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B;;;;;;;;;;;;;OAaG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B;;;;;;;;;;;;;;;OAeG;IACH,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,MAAM,eAAe,GACvB;IACE,IAAI,EAAE,wBAAwB,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IACzC,EAAE,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;CACxC,GACD;IACE,IAAI,EAAE,uBAAuB,CAAC;IAC9B,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,EAAE,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC;AAEN,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,UAAU,GAAG,OAAO,CAAC;AAElE,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,EAAE,eAAe,KAAK,OAAO,CAAC,mBAAmB,CAAC,CAAC;AAErF,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,iGAAiG;IACjG,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAMD,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;OAMG;IACH,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACtC;AAED,MAAM,MAAM,OAAO,GAAG,UAAU,GAAG,QAAQ,GAAG,IAAI,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAO7C,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,8EAA8E;IAC9E,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB;;;OAGG;IACH,IAAI,CAAC,EAAE,YAAY,CAAC;CACrB;AAED,MAAM,WAAW,YAAY;IAC3B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,WAAW,EAAE,YAAY,EAAE,CAAC;IAC5B,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;;;OAKG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,aAAa,CAAC;IACxB,QAAQ,CAAC,EAAE,WAAW,GAAG,MAAM,CAAC;IAChC;;;;;OAKG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,SAAS,GAAG,MAAM,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,OAAO,CAAC;IAChB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,CAAC,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC;IAC5B;;;;OAIG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;;OAKG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;;;;;;;;;;;;OAeG;IACH,UAAU,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;CAC/C;AAED,MAAM,WAAW,eAAe;IAC9B,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb,sEAAsE;IACtE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED,MAAM,MAAM,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,CAAC;AAEzE,oDAAoD;AACpD,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,wFAAwF;AACxF,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,2CAA2C;IAC3C,OAAO,EAAE,GAAG,GAAG,GAAG,CAAC;IACnB;;;;;OAKG;IACH,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,GAAG,CAAC,EAAE,MAAM,CAAC;IACb;;;;;;;;;;OAUG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;OAKG;IACH,OAAO,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC1C;;;;OAIG;IACH,UAAU,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC1C;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B;AAMD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,MAAM,GACd;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,eAAe,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACvF;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACvG;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACzF;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACtG;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACzH;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACzG;IAAE,IAAI,EAAE,oBAAoB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAC3E,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAC3B;;;;;gFAK4E;IAC5E,WAAW,CAAC,EAAE,aAAa,CAAC;IAAC,SAAS,CAAC,EAAE,aAAa,CAAC;IACvD,MAAM,EAAE,YAAY,CAAA;CAAE,GACxB;IAAE,IAAI,EAAE,wBAAwB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAC/E,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,uBAAuB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAC9E,IAAI,CAAC,EAAE,aAAa,CAAC;IAAC,EAAE,CAAC,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAClE;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACnG;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACtH;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC1F;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC7G;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACnG;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAEtH;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACpF;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,YAAY,CAAC;IACrB,6EAA6E;IAC7E,OAAO,CAAC,EAAE,cAAc,CAAC;IACzB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC1C;;;;;;;OAOG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,GACD;IACE,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,YAAY,CAAC;IACrB,sFAAsF;IACtF,OAAO,CAAC,EAAE,cAAc,CAAC;IACzB;;;;;OAKG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEN,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;AAExC,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,SAAS,GAAG,SAAS,CAAC;IAC7B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAMD,MAAM,WAAW,YAAY;IAC3B,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,mFAAmF;IACnF,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB;;;;;;;;OAQG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,oEAAoE;IACpE,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B;;;;;;;;;;;;;OAaG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B;;;;;;;;;;;;;;;OAeG;IACH,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,MAAM,eAAe,GACvB;IACE,IAAI,EAAE,wBAAwB,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IACzC,EAAE,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;CACxC,GACD;IACE,IAAI,EAAE,uBAAuB,CAAC;IAC9B,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,EAAE,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC;AAEN,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,UAAU,GAAG,OAAO,CAAC;AAElE,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,EAAE,eAAe,KAAK,OAAO,CAAC,mBAAmB,CAAC,CAAC;AAErF,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,iGAAiG;IACjG,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAMD,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;OAMG;IACH,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACtC;AAED,MAAM,MAAM,OAAO,GAAG,UAAU,GAAG,QAAQ,GAAG,IAAI,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@metaobjectsdev/migrate-ts",
-  "version": "1.0.1",
+  "version": "1.0.3",
   "description": "Schema migration tooling for MetaObjects: diff metadata vs DB and emit SQL for Postgres and SQLite.",
   "type": "module",
   "main": "./dist/index.js",
@@ -45,7 +45,7 @@
   },
   "dependencies": {
     "@iarna/toml": "^2.2.5",
-    "@metaobjectsdev/metadata": "1.0.1"
+    "@metaobjectsdev/metadata": "1.0.3"
   },
   "peerDependencies": {
     "kysely": ">=0.27.0 <0.30.0",

package/src/diff/index.ts

@@ -380,11 +380,15 @@ function diffTableColumns(
     // dialect-aware: SQLite/D1 cannot physically represent a VARCHAR length or a
     // native json type, so those distinctions must not read as drift (see
     // canonTypeForDialect). Postgres stays exact.
+    // A type change CARRIES the column's default change (fromDefault/toDefault, types.ts),
+    // filled in below once the identity rule has decided what the default should be.
+    let typeChange: Extract<Change, { kind: "change-column-type" }> | undefined;
     if (!sqlTypeEqualsForDialect(ec.sqlType, ac.sqlType, dialect)) {
-      changes.push({
+      typeChange = {
         kind: "change-column-type", table, ...sx, column: name,
         from: ac.sqlType, to: ec.sqlType, status: ALLOWED,
-      });
+      };
+      changes.push(typeChange);
     }
     if (ec.nullable !== ac.nullable) {
       changes.push({
@@ -420,7 +424,14 @@ function diffTableColumns(
       ac.default !== undefined && ac.default.kind === "expr" && isPgAutoSequenceDefault(ac.default.value);
     const skipIdentityDefaultDiff =
       ec.identity === "uuid" || (ec.identity === "increment" && liveIsAutoSequenceDefault);
-    if (!skipIdentityDefaultDiff && !columnDefaultsEqual(ec.default, ac.default)) {
+    if (typeChange) {
+      // An identity default the diff deliberately never compares is KEPT: the emitter drops
+      // and re-sets a default around a converting type change, so leaving `toDefault` unset
+      // here would drop it for good.
+      const toDefault = skipIdentityDefaultDiff ? ac.default : ec.default;
+      if (ac.default !== undefined) typeChange.fromDefault = ac.default;
+      if (toDefault !== undefined) typeChange.toDefault = toDefault;
+    } else if (!skipIdentityDefaultDiff && !columnDefaultsEqual(ec.default, ac.default)) {
       const change: Change = {
         kind: "change-column-default", table, ...sx, column: name,
         status: ALLOWED,
@@ -830,7 +841,7 @@ function recreateViewsDependingOnChangedTables(
   }
 }
 
-function columnDefaultsEqual(a: ColumnDescriptor["default"], b: ColumnDescriptor["default"]): boolean {
+export function columnDefaultsEqual(a: ColumnDescriptor["default"], b: ColumnDescriptor["default"]): boolean {
   if (a === undefined && b === undefined) return true;
   if (a === undefined || b === undefined) return false;
   return a.kind === b.kind && a.value === b.value;

package/src/diff/status.ts

@@ -1,6 +1,6 @@
-import type { Change, AllowOptions } from "../types.js";
+import type { Change, AllowOptions, ColumnDefault } from "../types.js";
 import { isWidening } from "../sql-type.js";
-import { isPgAutoSequenceDefault } from "../pg-identity-default.js";
+import { dropsAutoSequenceDefault } from "../pg-identity-default.js";
 import { DEFAULT_DB_SCHEMA_POSTGRES } from "@metaobjectsdev/metadata";
 
 /**
@@ -101,9 +101,14 @@ function blockedReasonFor(
       }
       return null;
 
-    case "change-column-type":
+    case "change-column-type": {
+      // A type change carries its column's default change (types.ts), so the one gated
+      // default shape (see change-column-default below) is gated here as well.
+      const refusal = autoSequenceDropRefusal(c.table, c.column, c.fromDefault, c.toDefault, allow);
+      if (refusal !== null) return refusal;
       if (isWidening(c.from, c.to)) return null;     // widening always allowed
       return allow.typeChange ? null : "lossy type change (pass allow.typeChange)";
+    }
 
     case "change-column-nullable":
       // from = actual.nullable, to = expected.nullable
@@ -129,18 +134,7 @@ function blockedReasonFor(
       // than guess. Anything else about change-column-default — including
       // dropping a plain literal default — falls through to the unconditional
       // `return null` below.
-      const droppingAutoSequence =
-        c.to === undefined && c.from?.kind === "expr" && isPgAutoSequenceDefault(c.from.value);
-      if (droppingAutoSequence && !allow.dropIdentityDefault) {
-        return `column "${c.table}"."${c.column}" has a live Postgres auto-increment default `
-          + `(${c.from!.value}) but its metadata declares no @generation — this is ambiguous: it `
-          + `could mean @generation was never declared, or that auto-increment is being removed on `
-          + `purpose. Dropping the default is destructive (every insert that omits the column starts `
-          + `failing), so this refuses rather than guessing. Declare @generation: increment on the `
-          + `identity to keep the sequence, or pass --allow drop-identity-default if removing it is `
-          + `intentional`;
-      }
-      return null;
+      return autoSequenceDropRefusal(c.table, c.column, c.from, c.to, allow);
     }
 
     // Always-allowed kinds
@@ -155,3 +149,22 @@ function blockedReasonFor(
       return null;
   }
 }
+
+/**
+ * Dropping a live Postgres auto-sequence default (`nextval(...)`) while the metadata declares
+ * no identity is ambiguous, so it is refused unless allowed. Shared by `change-column-default`
+ * and `change-column-type`, which carries its column's default change.
+ */
+function autoSequenceDropRefusal(
+  table: string, column: string, from: ColumnDefault | undefined, to: ColumnDefault | undefined,
+  allow: { dropIdentityDefault?: boolean },
+): string | null {
+  if (!dropsAutoSequenceDefault(from, to) || allow.dropIdentityDefault) return null;
+  return `column "${table}"."${column}" has a live Postgres auto-increment default `
+    + `(${from!.value}) but its metadata declares no @generation — this is ambiguous: it `
+    + `could mean @generation was never declared, or that auto-increment is being removed on `
+    + `purpose. Dropping the default is destructive (every insert that omits the column starts `
+    + `failing), so this refuses rather than guessing. Declare @generation: increment on the `
+    + `identity to keep the sequence, or pass --allow drop-identity-default if removing it is `
+    + `intentional`;
+}

package/src/drift/drift.ts

@@ -58,6 +58,18 @@ export interface ComputeDriftOptions {
    * failing on tables migrate does not own is incoherent.
    */
   inScope?: ObjectScopePredicate;
+  /**
+   * FR-023 — objects a DEPENDENCY owns. Such an object is loaded so this project's own
+   * model can resolve against it and is governed by nobody here unless `inScope`
+   * admits it: it leaves the expected side, is suppressed on the actual side, and —
+   * unlike an `inScope` exclusion — takes the publisher's database schema out of the
+   * run's scope with it, so a table the publisher never exported is not reported as an
+   * extra table in a schema this project does not manage (migrate-ts `scope.ts`).
+   *
+   * `verify --db` and `migrate` share this declaration for the same reason they share
+   * `inScope`. Omit for a project with no dependencies (unchanged behavior).
+   */
+  imported?: ObjectScopePredicate;
 }
 
 export interface DriftResult extends DiffResult {
@@ -77,6 +89,13 @@ export interface DriftResult extends DiffResult {
    * `GovernedScope`, which is what `excludeFromSnapshot` takes.
    */
   declaredSchemas: readonly string[] | undefined;
+  /**
+   * The subset of `outOfScope` a DEPENDENCY contributed (FR-023). Reported for the
+   * same reason `declaredSchemas` is: so the caller states WHY an object was left out
+   * without re-deriving the decision from a second expected-schema build, which could
+   * come to disagree with the one this comparison actually made.
+   */
+  importedOutOfScope: readonly string[] | undefined;
 }
 
 /**
@@ -106,6 +125,7 @@ export async function computeDriftFromActual(
       ...(opts?.views !== undefined ? { views: opts.views } : {}),
     }),
     opts?.inScope,
+    opts?.imported !== undefined ? { imported: opts.imported } : undefined,
   );
   const result = await diff({
     // The three scoped-diff obligations as one value (see scope.ts's header):
@@ -122,6 +142,7 @@ export async function computeDriftFromActual(
     ...result,
     outOfScope: scoped.outOfScope,
     declaredSchemas: scoped.declaredSchemas,
+    importedOutOfScope: scoped.importedOutOfScope,
   };
 }
 

package/src/emit/postgres.ts

@@ -6,6 +6,7 @@ import type { SqlType } from "../sql-type.js";
 import { DEFAULT_DB_SCHEMA_POSTGRES } from "@metaobjectsdev/metadata";
 import { renderFingerprintMarker, viewFingerprint } from "../view-fingerprint.js";
 import { viewReplaceIsLegal } from "../view-column-types.js";
+import { columnDefaultsEqual } from "../diff/index.js";
 
 // Stages run low → high. drop-view runs BEFORE drop-table so a view that
 // depends on a soon-to-be-dropped table is removed first. create-view runs
@@ -53,9 +54,17 @@ export function renderPostgres(changes: Change[]): EmitResult {
     downStmts.push(renderDown(c));
   }
   // Down runs in reverse order (so creates undo correctly w.r.t. FKs).
+  const upHelpers = conversionHelpers(sorted, "up");
+  const downHelpers = conversionHelpers(sorted, "down");
   return {
-    up: [...createSchemaStmts(sorted), ...upStmts].join("\n\n"),
-    down: [...downStmts].reverse().join("\n\n"),
+    up: [
+      ...createSchemaStmts(sorted), ...upHelpers.map(createHelper),
+      ...upStmts, ...upHelpers.map(dropHelper),
+    ].join("\n\n"),
+    down: [
+      ...downHelpers.map(createHelper),
+      ...[...downStmts].reverse(), ...downHelpers.map(dropHelper),
+    ].join("\n\n"),
     recreatedTables: new Set(), // postgres alters in place; no recreate-and-copy
   };
 }
@@ -109,7 +118,7 @@ function renderUp(c: Change): string {
     }
     case "drop-column":            return `ALTER TABLE ${quoteQualified(c.table, c.schema)} DROP COLUMN ${quote(c.column)};`;
     case "rename-column":          return `ALTER TABLE ${quoteQualified(c.table, c.schema)} RENAME COLUMN ${quote(c.from)} TO ${quote(c.to)};`;
-    case "change-column-type":     return `ALTER TABLE ${quoteQualified(c.table, c.schema)} ALTER COLUMN ${quote(c.column)} TYPE ${pgType(c.to)};`;
+    case "change-column-type":     return renderAlterColumnType(c, c.from, c.to, c.fromDefault, c.toDefault);
     case "change-column-nullable":
       return c.to
         ? `ALTER TABLE ${quoteQualified(c.table, c.schema)} ALTER COLUMN ${quote(c.column)} DROP NOT NULL;`
@@ -191,7 +200,7 @@ function renderDown(c: Change): string {
         ? `ALTER TABLE ${quoteQualified(c.table, c.schema)} ADD COLUMN ${renderColumn(c.restore)};\n-- NOTE: column data is not restored by this down migration.`
         : `-- WARNING: down migration cannot restore data\n-- TODO: re-add dropped column "${c.column}" manually with original type/nullable/default`;
     case "rename-column":          return `ALTER TABLE ${quoteQualified(c.table, c.schema)} RENAME COLUMN ${quote(c.to)} TO ${quote(c.from)};`;
-    case "change-column-type":     return `ALTER TABLE ${quoteQualified(c.table, c.schema)} ALTER COLUMN ${quote(c.column)} TYPE ${pgType(c.from)};`;
+    case "change-column-type":     return renderAlterColumnType(c, c.to, c.from, c.toDefault, c.fromDefault);
     case "change-column-nullable":
       return c.from
         ? `ALTER TABLE ${quoteQualified(c.table, c.schema)} ALTER COLUMN ${quote(c.column)} DROP NOT NULL;`
@@ -356,6 +365,151 @@ function fkActionSql(a: FkAction): string {
   }
 }
 
+type ColumnTypeChange = Extract<Change, { kind: "change-column-type" }>;
+
+/**
+ * `ALTER COLUMN … TYPE`, with the `USING` clause the conversion needs.
+ *
+ * Postgres changes a column's type in place only along an ASSIGNMENT cast. Many cross-kind
+ * changes have none (jsonb → text[], text[] → jsonb, text → text[], boolean → integer), and the
+ * bare ALTER is refused ("cannot be cast automatically"), so a migration `meta migrate` wrote
+ * could not be applied by anything. {@link conversion} names each one.
+ *
+ * A DEFAULT is converted by an assignment cast too, and never through USING, so a default in
+ * the way of a converting change is dropped first and set again after. The change carries both
+ * defaults for exactly this (types.ts).
+ */
+function renderAlterColumnType(
+  c: ColumnTypeChange, from: SqlType, to: SqlType,
+  fromDefault: ColumnDefault | undefined, toDefault: ColumnDefault | undefined,
+): string {
+  const col = quote(c.column);
+  const alterColumn = `ALTER TABLE ${quoteQualified(c.table, c.schema)} ALTER COLUMN ${col}`;
+  const { using } = conversion(col, from, to, c.schema);
+  const alterType = `${alterColumn} TYPE ${pgType(to)}${using};`;
+  if (using === "" && columnDefaultsEqual(fromDefault, toDefault)) return alterType;
+  return [
+    ...(fromDefault !== undefined ? [`${alterColumn} DROP DEFAULT;`] : []),
+    alterType,
+    ...(toDefault !== undefined ? [`${alterColumn} SET DEFAULT ${renderDefault(toDefault)};`] : []),
+  ].join("\n");
+}
+
+/**
+ * The `USING` clause for a change (`""` when the assignment cast a bare ALTER uses is right),
+ * and the helper function it calls, if any.
+ *
+ * - jsonb → T[]: a subquery is not allowed in USING, so the rows are unpacked by a helper. It
+ *   keeps element order, maps a JSON `null` to NULL, and RAISES on a scalar or an object.
+ * - T[] → jsonb: `to_jsonb`, since no cast from an array to jsonb exists.
+ * - scalar → T[]: the value becomes the array's one element. An explicit `::T[]` would PARSE the
+ *   text as an array literal instead ('{a,b}' → two elements, 'hello' → an error).
+ * - T[] → scalar: the one element a row holds, through a helper that RAISES on a row holding
+ *   more. Neither alternative is safe: `c[1]` silently keeps the first element, and the bare
+ *   assignment cast to text stores the array literal '{a,b}' as the value.
+ * - anything else cross-kind: an explicit cast, which is the assignment cast where one exists
+ *   and the only cast where it does not.
+ */
+function conversion(
+  col: string, from: SqlType, to: SqlType, schema: string | undefined,
+): { using: string; helper?: ConversionHelper } {
+  if (from.kind === "json" && to.kind === "array") {
+    const helper = JSONB_ARRAY_TO_TEXT_ARRAY;
+    return { using: ` USING ${helperCall(helper, col, schema)}${castIfNeeded(TEXT_ARRAY, to)}`, helper };
+  }
+  if (from.kind === "array" && to.kind === "json") return { using: ` USING to_jsonb(${col})` };
+  if (from.kind !== "array" && to.kind === "array") {
+    return {
+      using: ` USING (CASE WHEN ${col} IS NULL THEN NULL ELSE ARRAY[${col}] END)`
+        + castIfNeeded({ kind: "array", element: from }, to),
+    };
+  }
+  if (from.kind === "array" && to.kind !== "array") {
+    const helper = ARRAY_TO_SCALAR;
+    return { using: ` USING ${helperCall(helper, col, schema)}${castIfNeeded(from.element, to)}`, helper };
+  }
+  const cast = castIfNeeded(from, to);
+  return { using: cast === "" ? "" : ` USING ${col}${cast}` };
+}
+
+/**
+ * `::T` when a value of `from` has no assignment cast to `to`. A change TO text never needs one,
+ * since every type has an assignment cast to text, and must not get one: an explicit cast to
+ * VARCHAR(n) TRUNCATES an over-length value that the assignment cast refuses.
+ */
+function castIfNeeded(from: SqlType, to: SqlType): string {
+  return needsExplicitCast(from, to) ? `::${pgType(to)}` : "";
+}
+
+function needsExplicitCast(from: SqlType, to: SqlType): boolean {
+  if (to.kind === "text") return false;
+  if (from.kind !== to.kind) return true;
+  if (from.kind === "array" && to.kind === "array") return needsExplicitCast(from.element, to.element);
+  return false;
+}
+
+const TEXT_ARRAY: SqlType = { kind: "array", element: { kind: "text" } };
+
+/**
+ * A function a conversion calls. It is an ordinary function created in the table's schema
+ * before the ALTERs and dropped at the end of the same file, not a `pg_temp` one: a database
+ * that revokes TEMP from PUBLIC (a common hardening step) refuses pg_temp, while CREATE on the
+ * schema is a privilege the migration already needs for its tables.
+ */
+interface ConversionHelper {
+  readonly name: string;
+  /** Parameter list, return type and language, as written after the function name. */
+  readonly signature: string;
+  /** Argument types, as `DROP FUNCTION` needs them. */
+  readonly argTypes: string;
+  readonly body: string;
+}
+
+const JSONB_ARRAY_TO_TEXT_ARRAY: ConversionHelper = {
+  name: "metaobjects_jsonb_array_to_text_array",
+  signature: "(j jsonb) RETURNS text[] LANGUAGE sql IMMUTABLE",
+  argTypes: "jsonb",
+  body: "SELECT CASE WHEN j IS NULL OR jsonb_typeof(j) = 'null' THEN NULL "
+    + "ELSE ARRAY(SELECT e FROM jsonb_array_elements_text(j) WITH ORDINALITY AS x(e, i) ORDER BY i) END",
+};
+
+const ARRAY_TO_SCALAR: ConversionHelper = {
+  name: "metaobjects_array_to_scalar",
+  signature: "(a anyarray) RETURNS anyelement LANGUAGE plpgsql IMMUTABLE",
+  argTypes: "anyarray",
+  body: "BEGIN IF cardinality(a) > 1 THEN RAISE EXCEPTION "
+    + "'metaobjects: cannot narrow an array of % elements to one value', cardinality(a); "
+    + "END IF; RETURN a[1]; END",
+};
+
+function helperCall(helper: ConversionHelper, col: string, schema: string | undefined): string {
+  return `${quoteQualified(helper.name, schema)}(${col})`;
+}
+
+/** The helpers one direction of the migration calls: each once per schema, in a stable order. */
+function conversionHelpers(
+  changes: readonly Change[], direction: "up" | "down",
+): { helper: ConversionHelper; schema: string | undefined }[] {
+  const needed = new Map<string, { helper: ConversionHelper; schema: string | undefined }>();
+  for (const c of changes) {
+    if (c.kind !== "change-column-type") continue;
+    const [from, to] = direction === "up" ? [c.from, c.to] : [c.to, c.from];
+    const { helper } = conversion("", from, to, c.schema);
+    if (helper === undefined) continue;
+    const schema = c.schema === DEFAULT_DB_SCHEMA_POSTGRES ? undefined : c.schema;
+    needed.set(`${schema ?? ""}.${helper.name}`, { helper, schema });
+  }
+  return [...needed.keys()].sort().flatMap((k) => needed.get(k) ?? []);
+}
+
+function createHelper({ helper, schema }: { helper: ConversionHelper; schema: string | undefined }): string {
+  return `CREATE OR REPLACE FUNCTION ${quoteQualified(helper.name, schema)}${helper.signature} AS $$ ${helper.body} $$;`;
+}
+
+function dropHelper({ helper, schema }: { helper: ConversionHelper; schema: string | undefined }): string {
+  return `DROP FUNCTION IF EXISTS ${quoteQualified(helper.name, schema)}(${helper.argTypes});`;
+}
+
 function quote(ident: string): string {
   // Conservative double-quoting; reject embedded quotes (defense).
   if (ident.includes('"')) throw new Error(`unsafe identifier: ${ident}`);

package/src/errors.ts

@@ -1,4 +1,5 @@
-import type { Change, ChangeKind } from "./types.js";
+import type { AllowOptions, Change, ChangeKind } from "./types.js";
+import { dropsAutoSequenceDefault } from "./pg-identity-default.js";
 
 // ---------------------------------------------------------------------------
 // SetNullNotNullableError — surfaced by buildExpectedSchema
@@ -33,19 +34,33 @@ export class SetNullNotNullableError extends Error {
   }
 }
 
-const ENABLE_FLAG_BY_KIND: Partial<Record<ChangeKind, string>> = {
-  "drop-column": "allow.dropColumn",
-  "drop-table": "allow.dropTable",
-  "change-column-type": "allow.typeChange",
-  "change-column-nullable": "allow.nullableToNotNull",
-  "drop-index": "allow.dropIndex",
-  "drop-fk": "allow.dropFk",
+const ALLOW_OPTION_BY_KIND: Partial<Record<ChangeKind, keyof AllowOptions>> = {
+  "drop-column": "dropColumn",
+  "drop-table": "dropTable",
+  "change-column-type": "typeChange",
+  "change-column-nullable": "nullableToNotNull",
+  "drop-index": "dropIndex",
+  "drop-fk": "dropFk",
+  "drop-check": "dropCheck",
   // change-column-default is blocked in exactly one shape — dropping a live
   // Postgres auto-sequence default with no declared @generation (see
   // diff/status.ts) — and allow.dropIdentityDefault is the flag that enables it.
-  "change-column-default": "allow.dropIdentityDefault",
+  "change-column-default": "dropIdentityDefault",
 };
 
+/**
+ * The `AllowOptions` field that unblocks `c`, chosen by what BLOCKED it rather than by its kind
+ * alone. A type change carries its column's default change, so one that would drop a live
+ * auto-sequence default is blocked by THAT, and `typeChange` would not unblock it. The single
+ * source for this error's hints and the CLI's `--allow` token.
+ */
+export function allowOptionFor(c: Change): keyof AllowOptions | undefined {
+  if (c.kind === "change-column-type" && dropsAutoSequenceDefault(c.fromDefault, c.toDefault)) {
+    return "dropIdentityDefault";
+  }
+  return ALLOW_OPTION_BY_KIND[c.kind];
+}
+
 function changeLocator(c: Change): string {
   switch (c.kind) {
     case "drop-column":
@@ -88,7 +103,8 @@ export class BlockedChangesError extends Error {
 
   constructor(blocked: Change[]) {
     const hints = blocked.map((c) => {
-      const flag = ENABLE_FLAG_BY_KIND[c.kind] ?? "(no flag enables this)";
+      const option = allowOptionFor(c);
+      const flag = option === undefined ? "(no flag enables this)" : `allow.${option}`;
       return `${c.kind} on ${changeLocator(c)}: pass ${flag}`;
     });
     const msg = `${blocked.length} blocked change(s):\n  - ${hints.join("\n  - ")}`;

package/src/index.ts

@@ -47,7 +47,7 @@ export { planOffline, baselineFromMetadata } from "./snapshot/plan.js";
 export type { PlanOfflineArgs, PlanOfflineResult } from "./snapshot/plan.js";
 
 // Errors
-export { BlockedChangesError, SetNullNotNullableError, PrimaryKeyChangeError } from "./errors.js";
+export { BlockedChangesError, SetNullNotNullableError, PrimaryKeyChangeError, allowOptionFor } from "./errors.js";
 
 // SqlType helpers (rarely needed but useful for advanced consumers)
 export { isWidening, sqlTypeEquals } from "./sql-type.js";

package/src/pg-identity-default.ts

@@ -1,3 +1,5 @@
+import type { ColumnDefault } from "./types.js";
+
 // src/pg-identity-default.ts
 //
 // Postgres "auto-sequence" column DEFAULT — the `nextval('<seq>'::regclass)`
@@ -17,3 +19,11 @@
 export function isPgAutoSequenceDefault(raw: string | null | undefined): boolean {
   return raw !== null && raw !== undefined && /^nextval\(/i.test(raw);
 }
+
+/**
+ * A default change that DROPS a live auto-sequence default: the one default shape the diff
+ * gates (diff/status.ts), whether it arrives as its own change or folded into a type change.
+ */
+export function dropsAutoSequenceDefault(from: ColumnDefault | undefined, to: ColumnDefault | undefined): boolean {
+  return to === undefined && from?.kind === "expr" && isPgAutoSequenceDefault(from.value);
+}

package/src/scope.ts

@@ -34,6 +34,18 @@
 // survivors instead is precisely the inversion above. Declaring a scope is not a way
 // to hand a schema over; removing the objects from the model is.
 //
+// FR-023 — AN IMPORT IS THE ONE EXCLUSION THAT MUST MOVE THE SCHEMA SET. The rule
+// above is stated for `migrate.scope`, where it is right: that scope narrows a model
+// which DID declare into the schema, so the schema stays this model's to manage. A
+// dependency's node is the opposite case — the consumer never declared it, and the
+// publisher owns the schema it sits in. Leaving that schema pinned would make every
+// table the publisher did NOT export, tables this consumer has never heard of, a
+// proposed DROP against the publisher's data.
+//
+// So `scopeExpectedSchema`'s optional `imported` predicate partitions those objects
+// out FIRST, and `declaredSchemas` is derived from what remains. Everything
+// `migrate.scope` excluded is still in that remainder, so the rule above is untouched.
+//
 // `scopedDiffInputs` exists so no caller has to remember any of this: it returns all
 // three obligations as one object, and every scoped `diff` call goes through it.
 
@@ -74,6 +86,16 @@ export interface ScopedExpectedSchema {
    * (nothing to derive from; `diff`'s legacy whole-DB fallback is preserved).
    */
   declaredSchemas?: string[];
+  /**
+   * The subset of `outOfScope` a DEPENDENCY contributed (FR-023), so a caller can say
+   * why an object was excluded. `outOfScope` deliberately stays the FULL set — it is
+   * what feeds `unmanagedNames`, and splitting it would silently drop half of the
+   * actual-side suppression.
+   *
+   * `undefined` when no `imported` predicate was supplied, which is every project that
+   * declares no dependencies.
+   */
+  importedOutOfScope?: string[];
 }
 
 /**
@@ -217,45 +239,98 @@ export function declaredSchemasOf(snapshot: SchemaSnapshot): string[] {
   ].sort();
 }
 
+/** Optional exclusions layered on top of `inScope`. */
+export interface ScopeExpectedSchemaOptions {
+  /**
+   * FR-023 — is this object's declaring FQN owned by one of the project's
+   * DEPENDENCIES? Such an object is loaded so the consumer's own model can resolve
+   * against it, and is governed by nobody here unless the consumer's own
+   * `migrate.scope` names its package (which `inScope` then admits).
+   *
+   * Supplied only by a project that declares dependencies: absent, this function
+   * behaves exactly as it always has.
+   */
+  imported?: ObjectScopePredicate;
+}
+
 /**
  * Narrow an expected schema to the objects inside `inScope`.
  *
- * An undefined predicate returns the input untouched — the SAME snapshot object,
- * not an equal copy — so a project that declares no `migrate.scope` reaches the
- * diff, the emitter and the committed snapshot through an unchanged value.
+ * An undefined predicate with no `opts` returns the input untouched — the SAME
+ * snapshot object, not an equal copy — so a project that declares no `migrate.scope`
+ * and no dependencies reaches the diff, the emitter and the committed snapshot
+ * through an unchanged value.
+ *
+ * A table or view with NO recorded provenance is KEPT, by both exclusions. Scope
+ * decides on the declaring object's FQN, and an object whose FQN is unknown was never
+ * proven to be anyone else's; dropping it would silently un-manage it (and, worse,
+ * suppressing its name on the actual side would hide real drift).
  *
- * A table or view with NO recorded provenance is KEPT. Scope decides on the
- * declaring object's FQN, and an object whose FQN is unknown was never proven to be
- * anyone else's; dropping it would silently un-manage it (and, worse, suppressing
- * its name on the actual side would hide real drift).
+ * With `opts.imported`, an imported object the scope does not admit leaves the
+ * expected side BEFORE `declaredSchemas` is computed — see the module header for why
+ * that ordering is the whole point.
  */
 export function scopeExpectedSchema(
   built: ExpectedSchemaWithProvenance,
   inScope: ObjectScopePredicate | undefined,
+  opts?: ScopeExpectedSchemaOptions,
 ): ScopedExpectedSchema {
-  if (inScope === undefined) return { snapshot: built.snapshot, outOfScope: [] };
+  const imported = opts?.imported;
+  if (inScope === undefined && imported === undefined) {
+    return { snapshot: built.snapshot, outOfScope: [] };
+  }
+
+  // PASS 1 — the import partition. An imported object survives only when the
+  // consumer's own scope NAMES it, which is how a consumer opts into owning a
+  // dependency's tables (DESIGN §11.1 item 2: "explicit include replaces `mode`").
+  //
+  // An `inScope` of `undefined` does NOT rescue it. That combination cannot arise
+  // from the CLI — `inMigrateScope` is defined whenever dependencies exist — and
+  // resolving it the other way would be the unsafe direction: excluding an import
+  // costs nothing, while keeping one risks DDL against the publisher's database.
+  const importedOutOfScope: string[] = [];
+  const declaredHere = <T extends { name: string; schema?: string }>(obj: T): boolean => {
+    if (imported === undefined) return true;
+    const qualified = qualifiedDbName(obj);
+    const fqn = built.provenance.get(qualified);
+    if (fqn === undefined || !imported(fqn)) return true;
+    if (inScope?.(fqn) === true) return true;
+    importedOutOfScope.push(qualified);
+    return false;
+  };
+  const remainder: SchemaSnapshot = {
+    ...built.snapshot,
+    tables: built.snapshot.tables.filter(declaredHere),
+    views: built.snapshot.views.filter(declaredHere),
+  };
 
-  // Computed from `built.snapshot` — the UNSCOPED side — deliberately, and before
-  // the filter below runs. Deriving it from the survivors would reproduce exactly
-  // the defect this exists to close.
-  const declared = declaredSchemasOf(built.snapshot);
+  // Computed from the REMAINDER — everything this model actually declares — and
+  // before the scope filter below. Deriving it from the scope's survivors instead
+  // would reproduce exactly the defect the module header describes; deriving it from
+  // the unpartitioned side would pin the publisher's schema. Both halves matter.
+  const declared = declaredSchemasOf(remainder);
 
-  const outOfScope: string[] = [];
+  // PASS 2 — the per-command scope, unchanged.
+  const scopeOutOfScope: string[] = [];
   const governed = <T extends { name: string; schema?: string }>(obj: T): boolean => {
+    if (inScope === undefined) return true;
     const qualified = qualifiedDbName(obj);
     const fqn = built.provenance.get(qualified);
     if (fqn === undefined || inScope(fqn)) return true;
-    outOfScope.push(qualified);
+    scopeOutOfScope.push(qualified);
     return false;
   };
 
   return {
     snapshot: {
-      ...built.snapshot,
-      tables: built.snapshot.tables.filter(governed),
-      views: built.snapshot.views.filter(governed),
+      ...remainder,
+      tables: remainder.tables.filter(governed),
+      views: remainder.views.filter(governed),
     },
-    outOfScope,
+    // ONE suppression set: both exclusions must reach `unmanagedNames`, or the
+    // objects they removed from `expected` come back as proposed drops.
+    outOfScope: [...importedOutOfScope, ...scopeOutOfScope],
     ...(declared.length > 0 ? { declaredSchemas: declared } : {}),
+    ...(imported !== undefined ? { importedOutOfScope } : {}),
   };
 }