@metaobjectsdev/migrate-ts 1.0.2 → 1.0.3

package/dist/drift/drift.d.ts

@@ -38,6 +38,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 {
     /**
@@ -56,6 +68,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;
 }
 /**
  * Compute the drift between an ALREADY-INTROSPECTED schema snapshot and the

package/dist/drift/drift.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"drift.d.ts","sourceRoot":"","sources":["../../src/drift/drift.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAKrE,OAAO,EAAyC,KAAK,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAErF,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,KAAK,CAAC,EAAE,YAAY,CAAC;IACrB;;;;OAIG;IACH,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAC5C;;;OAGG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB;;;;OAIG;IACH,KAAK,CAAC,EAAE,SAAS,OAAO,uBAAuB,EAAE,iBAAiB,EAAE,CAAC;IACrE;;;;;;;;;OASG;IACH,OAAO,CAAC,EAAE,oBAAoB,CAAC;CAChC;AAED,MAAM,WAAW,WAAY,SAAQ,UAAU;IAC7C;;;;OAIG;IACH,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B;;;;;;;;OAQG;IACH,eAAe,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;CAChD;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,sBAAsB,CAC1C,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,QAAQ,EAClB,IAAI,CAAC,EAAE,mBAAmB,GACzB,OAAO,CAAC,WAAW,CAAC,CA2BtB;AAED;;;;;;GAMG;AACH,wBAAsB,YAAY,CAChC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACnC,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,QAAQ,EAClB,IAAI,CAAC,EAAE,mBAAmB,GACzB,OAAO,CAAC,WAAW,CAAC,CAGtB"}
+{"version":3,"file":"drift.d.ts","sourceRoot":"","sources":["../../src/drift/drift.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAKrE,OAAO,EAAyC,KAAK,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAErF,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,KAAK,CAAC,EAAE,YAAY,CAAC;IACrB;;;;OAIG;IACH,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAC5C;;;OAGG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB;;;;OAIG;IACH,KAAK,CAAC,EAAE,SAAS,OAAO,uBAAuB,EAAE,iBAAiB,EAAE,CAAC;IACrE;;;;;;;;;OASG;IACH,OAAO,CAAC,EAAE,oBAAoB,CAAC;IAC/B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,EAAE,oBAAoB,CAAC;CACjC;AAED,MAAM,WAAW,WAAY,SAAQ,UAAU;IAC7C;;;;OAIG;IACH,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B;;;;;;;;OAQG;IACH,eAAe,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;IAC/C;;;;;OAKG;IACH,kBAAkB,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;CACnD;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,sBAAsB,CAC1C,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,QAAQ,EAClB,IAAI,CAAC,EAAE,mBAAmB,GACzB,OAAO,CAAC,WAAW,CAAC,CA6BtB;AAED;;;;;;GAMG;AACH,wBAAsB,YAAY,CAChC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACnC,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,QAAQ,EAClB,IAAI,CAAC,EAAE,mBAAmB,GACzB,OAAO,CAAC,WAAW,CAAC,CAGtB"}

package/dist/drift/drift.js

@@ -36,7 +36,7 @@ export async function computeDriftFromActual(actual, dialect, metadata, opts) {
             ? { columnNamingStrategy: opts.columnNamingStrategy }
             : {}),
         ...(opts?.views !== undefined ? { views: opts.views } : {}),
-    }), opts?.inScope);
+    }), 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):
         // the narrowed expected side, `unmanagedNames` merging @unmanaged with the
@@ -52,6 +52,7 @@ export async function computeDriftFromActual(actual, dialect, metadata, opts) {
         ...result,
         outOfScope: scoped.outOfScope,
         declaredSchemas: scoped.declaredSchemas,
+        importedOutOfScope: scoped.importedOutOfScope,
     };
 }
 /**

package/dist/drift/drift.js.map

@@ -1 +1 @@
-{"version":3,"file":"drift.js","sourceRoot":"","sources":["../../src/drift/drift.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,gEAAgE;AAChE,wEAAwE;AACxE,EAAE;AACF,+EAA+E;AAC/E,6EAA6E;AAC7E,6EAA6E;AAC7E,4EAA4E;AAC5E,8CAA8C;AAC9C,EAAE;AACF,gFAAgF;AAChF,+EAA+E;AAC/E,iFAAiF;AACjF,oFAAoF;AAKpF,OAAO,EAAE,iCAAiC,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAA6B,MAAM,aAAa,CAAC;AA2D/F;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,MAAsB,EACtB,OAAgB,EAChB,QAAkB,EAClB,IAA0B;IAE1B,MAAM,MAAM,GAAG,mBAAmB,CAChC,iCAAiC,CAAC,QAAQ,EAAE;QAC1C,OAAO;QACP,GAAG,CAAC,IAAI,EAAE,oBAAoB,KAAK,SAAS;YAC1C,CAAC,CAAC,EAAE,oBAAoB,EAAE,IAAI,CAAC,oBAAoB,EAAE;YACrD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,IAAI,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5D,CAAC,EACF,IAAI,EAAE,OAAO,CACd,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC;QACxB,0EAA0E;QAC1E,2EAA2E;QAC3E,2EAA2E;QAC3E,0EAA0E;QAC1E,GAAG,gBAAgB,CAAC,MAAM,EAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QAC5D,MAAM;QACN,OAAO;QACP,KAAK,EAAE,IAAI,EAAE,KAAK,IAAI,EAAE;QACxB,GAAG,CAAC,IAAI,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjF,CAAC,CAAC;IACH,OAAO;QACL,GAAG,MAAM;QACT,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;KACxC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,EAAmC,EACnC,OAAgB,EAChB,QAAkB,EAClB,IAA0B;IAE1B,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7C,OAAO,sBAAsB,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;AACjE,CAAC"}
+{"version":3,"file":"drift.js","sourceRoot":"","sources":["../../src/drift/drift.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,gEAAgE;AAChE,wEAAwE;AACxE,EAAE;AACF,+EAA+E;AAC/E,6EAA6E;AAC7E,6EAA6E;AAC7E,4EAA4E;AAC5E,8CAA8C;AAC9C,EAAE;AACF,gFAAgF;AAChF,+EAA+E;AAC/E,iFAAiF;AACjF,oFAAoF;AAKpF,OAAO,EAAE,iCAAiC,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAA6B,MAAM,aAAa,CAAC;AA8E/F;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,MAAsB,EACtB,OAAgB,EAChB,QAAkB,EAClB,IAA0B;IAE1B,MAAM,MAAM,GAAG,mBAAmB,CAChC,iCAAiC,CAAC,QAAQ,EAAE;QAC1C,OAAO;QACP,GAAG,CAAC,IAAI,EAAE,oBAAoB,KAAK,SAAS;YAC1C,CAAC,CAAC,EAAE,oBAAoB,EAAE,IAAI,CAAC,oBAAoB,EAAE;YACrD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,IAAI,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5D,CAAC,EACF,IAAI,EAAE,OAAO,EACb,IAAI,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CACvE,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC;QACxB,0EAA0E;QAC1E,2EAA2E;QAC3E,2EAA2E;QAC3E,0EAA0E;QAC1E,GAAG,gBAAgB,CAAC,MAAM,EAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QAC5D,MAAM;QACN,OAAO;QACP,KAAK,EAAE,IAAI,EAAE,KAAK,IAAI,EAAE;QACxB,GAAG,CAAC,IAAI,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjF,CAAC,CAAC;IACH,OAAO;QACL,GAAG,MAAM;QACT,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;KAC9C,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,EAAmC,EACnC,OAAgB,EAChB,QAAkB,EAClB,IAA0B;IAE1B,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7C,OAAO,sBAAsB,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;AACjE,CAAC"}

package/dist/scope.d.ts

@@ -31,6 +31,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[];
 }
 /**
  * Carry an out-of-scope object forward into the snapshot a run is about to commit.
@@ -105,17 +115,35 @@ export declare function scopedDiffInputs(scoped: ScopedExpectedSchema, unmanaged
  * `diff`'s legacy whole-database fallback for a genuinely empty model.
  */
 export declare function declaredSchemasOf(snapshot: SchemaSnapshot): string[];
+/** 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 declare function scopeExpectedSchema(built: ExpectedSchemaWithProvenance, inScope: ObjectScopePredicate | undefined): ScopedExpectedSchema;
+export declare function scopeExpectedSchema(built: ExpectedSchemaWithProvenance, inScope: ObjectScopePredicate | undefined, opts?: ScopeExpectedSchemaOptions): ScopedExpectedSchema;
 //# sourceMappingURL=scope.d.ts.map

package/dist/scope.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"scope.d.ts","sourceRoot":"","sources":["../src/scope.ts"],"names":[],"mappings":"AAwCA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sBAAsB,CAAC;AAEzE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD;;;;;;GAMG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC;AAE5D,MAAM,WAAW,oBAAoB;IACnC,4DAA4D;IAC5D,QAAQ,EAAE,cAAc,CAAC;IACzB;;;;;OAKG;IACH,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;;;;;;;;OAUG;IACH,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,cAAc,EACpB,KAAK,EAAE,cAAc,EACrB,UAAU,EAAE,SAAS,MAAM,EAAE,GAC5B,cAAc,CAQhB;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,cAAc,EACxB,QAAQ,EAAE,aAAa,GACtB,oBAAoB,CAatB;AAED,kEAAkE;AAClE,MAAM,WAAW,aAAa;IAC5B,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,4EAA4E;IAC5E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;CAC1D;AAoBD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,oBAAoB,EAC5B,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,IAAI,CAAC,QAAQ,EAAE,UAAU,GAAG,gBAAgB,GAAG,cAAc,CAAC,CAMhE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,cAAc,GAAG,MAAM,EAAE,CAQpE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,4BAA4B,EACnC,OAAO,EAAE,oBAAoB,GAAG,SAAS,GACxC,oBAAoB,CA0BtB"}
+{"version":3,"file":"scope.d.ts","sourceRoot":"","sources":["../src/scope.ts"],"names":[],"mappings":"AAoDA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sBAAsB,CAAC;AAEzE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD;;;;;;GAMG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC;AAE5D,MAAM,WAAW,oBAAoB;IACnC,4DAA4D;IAC5D,QAAQ,EAAE,cAAc,CAAC;IACzB;;;;;OAKG;IACH,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;;;;;;;;OAUG;IACH,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B;;;;;;;;OAQG;IACH,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,cAAc,EACpB,KAAK,EAAE,cAAc,EACrB,UAAU,EAAE,SAAS,MAAM,EAAE,GAC5B,cAAc,CAQhB;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,cAAc,EACxB,QAAQ,EAAE,aAAa,GACtB,oBAAoB,CAatB;AAED,kEAAkE;AAClE,MAAM,WAAW,aAAa;IAC5B,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,4EAA4E;IAC5E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;CAC1D;AAoBD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,oBAAoB,EAC5B,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,IAAI,CAAC,QAAQ,EAAE,UAAU,GAAG,gBAAgB,GAAG,cAAc,CAAC,CAMhE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,cAAc,GAAG,MAAM,EAAE,CAQpE;AAED,uDAAuD;AACvD,MAAM,WAAW,0BAA0B;IACzC;;;;;;;;OAQG;IACH,QAAQ,CAAC,EAAE,oBAAoB,CAAC;CACjC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,4BAA4B,EACnC,OAAO,EAAE,oBAAoB,GAAG,SAAS,EACzC,IAAI,CAAC,EAAE,0BAA0B,GAChC,oBAAoB,CA2DtB"}

package/dist/scope.js

@@ -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.
 import { DEFAULT_DB_SCHEMA_POSTGRES } from "@metaobjectsdev/metadata";
@@ -155,39 +167,79 @@ export function declaredSchemasOf(snapshot) {
 /**
  * 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, inScope) {
-    if (inScope === undefined)
+export function scopeExpectedSchema(built, inScope, opts) {
+    const imported = opts?.imported;
+    if (inScope === undefined && imported === undefined) {
         return { snapshot: built.snapshot, outOfScope: [] };
-    // 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);
-    const 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 = [];
+    const declaredHere = (obj) => {
+        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 = {
+        ...built.snapshot,
+        tables: built.snapshot.tables.filter(declaredHere),
+        views: built.snapshot.views.filter(declaredHere),
+    };
+    // 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);
+    // PASS 2 — the per-command scope, unchanged.
+    const scopeOutOfScope = [];
     const governed = (obj) => {
+        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 } : {}),
     };
 }
 //# sourceMappingURL=scope.js.map

package/dist/scope.js.map

@@ -1 +1 @@
-{"version":3,"file":"scope.js","sourceRoot":"","sources":["../src/scope.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,4DAA4D;AAC5D,kFAAkF;AAClF,uEAAuE;AACvE,EAAE;AACF,2EAA2E;AAC3E,kFAAkF;AAClF,mEAAmE;AACnE,EAAE;AACF,qFAAqF;AACrF,mFAAmF;AACnF,oFAAoF;AACpF,kDAAkD;AAClD,EAAE;AACF,gFAAgF;AAChF,4EAA4E;AAC5E,mFAAmF;AACnF,8EAA8E;AAC9E,oFAAoF;AACpF,qFAAqF;AACrF,gFAAgF;AAChF,qFAAqF;AACrF,sFAAsF;AACtF,wCAAwC;AACxC,EAAE;AACF,oFAAoF;AACpF,mFAAmF;AACnF,oFAAoF;AACpF,+EAA+E;AAC/E,qFAAqF;AACrF,6EAA6E;AAC7E,qFAAqF;AACrF,qFAAqF;AACrF,iEAAiE;AACjE,EAAE;AACF,qFAAqF;AACrF,iFAAiF;AAEjF,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAGtE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAoCtD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAoB,EACpB,KAAqB,EACrB,UAA6B;IAE7B,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,OAAO;QACL,GAAG,IAAI;QACP,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC;QACtE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC;KACpE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAwB,EACxB,QAAuB;IAEvB,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAC1E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,QAAQ,CAAC,eAAe,IAAI,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACzE,OAAO;QACL,QAAQ,EAAE;YACR,GAAG,QAAQ;YACX,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,IAAI;YACnD,KAAK,EAAE,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,IAAI;SAClD;QACD,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC;QACpC,eAAe,EAAE,CAAC,GAAG,QAAQ,CAAC;KAC/B,CAAC;AACJ,CAAC;AAUD;;;;;;;GAOG;AACH,SAAS,WAAW,CAClB,IAAkB,EAClB,KAA0B;IAE1B,MAAM,KAAK,GAAQ,EAAE,CAAC;IACtB,MAAM,IAAI,GAAQ,EAAE,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7E,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAA4B,EAC5B,SAA4B;IAE5B,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,cAAc,EAAE,CAAC,GAAG,SAAS,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC;QACpD,GAAG,CAAC,MAAM,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1F,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAwB;IACxD,OAAO;QACL,GAAG,IAAI,GAAG,CACR,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,0BAA0B,CAC9C,CACF;KACF,CAAC,IAAI,EAAE,CAAC;AACX,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,mBAAmB,CACjC,KAAmC,EACnC,OAAyC;IAEzC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAE/E,gFAAgF;IAChF,gFAAgF;IAChF,mCAAmC;IACnC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAEnD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,CAA8C,GAAM,EAAW,EAAE;QAChF,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,GAAG,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACnD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,OAAO;QACL,QAAQ,EAAE;YACR,GAAG,KAAK,CAAC,QAAQ;YACjB,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;YAC9C,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;SAC7C;QACD,UAAU;QACV,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC"}
+{"version":3,"file":"scope.js","sourceRoot":"","sources":["../src/scope.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,4DAA4D;AAC5D,kFAAkF;AAClF,uEAAuE;AACvE,EAAE;AACF,2EAA2E;AAC3E,kFAAkF;AAClF,mEAAmE;AACnE,EAAE;AACF,qFAAqF;AACrF,mFAAmF;AACnF,oFAAoF;AACpF,kDAAkD;AAClD,EAAE;AACF,gFAAgF;AAChF,4EAA4E;AAC5E,mFAAmF;AACnF,8EAA8E;AAC9E,oFAAoF;AACpF,qFAAqF;AACrF,gFAAgF;AAChF,qFAAqF;AACrF,sFAAsF;AACtF,wCAAwC;AACxC,EAAE;AACF,oFAAoF;AACpF,mFAAmF;AACnF,oFAAoF;AACpF,+EAA+E;AAC/E,qFAAqF;AACrF,6EAA6E;AAC7E,qFAAqF;AACrF,qFAAqF;AACrF,iEAAiE;AACjE,EAAE;AACF,kFAAkF;AAClF,qFAAqF;AACrF,mFAAmF;AACnF,mFAAmF;AACnF,oFAAoF;AACpF,iFAAiF;AACjF,8CAA8C;AAC9C,EAAE;AACF,oFAAoF;AACpF,4EAA4E;AAC5E,uFAAuF;AACvF,EAAE;AACF,qFAAqF;AACrF,iFAAiF;AAEjF,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAGtE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AA8CtD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAoB,EACpB,KAAqB,EACrB,UAA6B;IAE7B,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,OAAO;QACL,GAAG,IAAI;QACP,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC;QACtE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC;KACpE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAwB,EACxB,QAAuB;IAEvB,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAC1E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,QAAQ,CAAC,eAAe,IAAI,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACzE,OAAO;QACL,QAAQ,EAAE;YACR,GAAG,QAAQ;YACX,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,IAAI;YACnD,KAAK,EAAE,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,IAAI;SAClD;QACD,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC;QACpC,eAAe,EAAE,CAAC,GAAG,QAAQ,CAAC;KAC/B,CAAC;AACJ,CAAC;AAUD;;;;;;;GAOG;AACH,SAAS,WAAW,CAClB,IAAkB,EAClB,KAA0B;IAE1B,MAAM,KAAK,GAAQ,EAAE,CAAC;IACtB,MAAM,IAAI,GAAQ,EAAE,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7E,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAA4B,EAC5B,SAA4B;IAE5B,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,cAAc,EAAE,CAAC,GAAG,SAAS,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC;QACpD,GAAG,CAAC,MAAM,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1F,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAwB;IACxD,OAAO;QACL,GAAG,IAAI,GAAG,CACR,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,0BAA0B,CAC9C,CACF;KACF,CAAC,IAAI,EAAE,CAAC;AACX,CAAC;AAgBD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,mBAAmB,CACjC,KAAmC,EACnC,OAAyC,EACzC,IAAiC;IAEjC,MAAM,QAAQ,GAAG,IAAI,EAAE,QAAQ,CAAC;IAChC,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACpD,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IACtD,CAAC;IAED,2EAA2E;IAC3E,4EAA4E;IAC5E,iFAAiF;IACjF,EAAE;IACF,gFAAgF;IAChF,+EAA+E;IAC/E,gFAAgF;IAChF,+EAA+E;IAC/E,MAAM,kBAAkB,GAAa,EAAE,CAAC;IACxC,MAAM,YAAY,GAAG,CAA8C,GAAM,EAAW,EAAE;QACpF,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACxC,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACrD,IAAI,OAAO,EAAE,CAAC,GAAG,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACzC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,SAAS,GAAmB;QAChC,GAAG,KAAK,CAAC,QAAQ;QACjB,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;QAClD,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC;KACjD,CAAC;IAEF,8EAA8E;IAC9E,gFAAgF;IAChF,mFAAmF;IACnF,+EAA+E;IAC/E,MAAM,QAAQ,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAE9C,6CAA6C;IAC7C,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,CAA8C,GAAM,EAAW,EAAE;QAChF,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACvC,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,GAAG,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACnD,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,OAAO;QACL,QAAQ,EAAE;YACR,GAAG,SAAS;YACZ,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;YACzC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;SACxC;QACD,2EAA2E;QAC3E,oEAAoE;QACpE,UAAU,EAAE,CAAC,GAAG,kBAAkB,EAAE,GAAG,eAAe,CAAC;QACvD,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1D,CAAC;AACJ,CAAC"}

package/dist/snapshot/plan.d.ts

@@ -18,6 +18,15 @@ export interface PlanOfflineArgs extends Pick<DiffArgs, "allow" | "onAmbiguous"
      * loaded (unchanged behavior).
      */
     inScope?: ObjectScopePredicate;
+    /**
+     * FR-023 — objects a DEPENDENCY owns. Imported metadata is loaded so this project's
+     * own model can resolve against it and is governed by nobody here unless `inScope`
+     * admits it, so such an object leaves BOTH sides of the diff and, unlike an
+     * `inScope` exclusion, takes its database schema out of the run's scope with it
+     * (migrate-ts `scope.ts` header). Omit for a project with no dependencies
+     * (unchanged behavior).
+     */
+    imported?: ObjectScopePredicate;
 }
 export interface PlanOfflineResult {
     /** The change set to emit, from diffing metadata-expected against the snapshot. */
@@ -36,8 +45,12 @@ export interface PlanOfflineResult {
      * only for what it governs.
      */
     expected: SchemaSnapshot;
-    /** Qualified physical names excluded by `inScope`; empty when no scope was given. */
+    /** Qualified physical names excluded by `inScope` OR by `imported`; empty when
+     *  neither was given. */
     outOfScope: readonly string[];
+    /** The subset of `outOfScope` a dependency contributed (FR-023), so the CLI can say
+     *  WHY those objects were excluded. `undefined` when no `imported` was given. */
+    importedOutOfScope: readonly string[] | undefined;
 }
 /**
  * Plan a migration offline: build the expected schema from metadata and diff it

package/dist/snapshot/plan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../../src/snapshot/plan.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAE/E,OAAO,EAAQ,KAAK,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAAiE,KAAK,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACvH,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACvE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,MAAM,WAAW,eAAgB,SAAQ,IAAI,CAAC,QAAQ,EAAE,OAAO,GAAG,aAAa,GAAG,cAAc,CAAC;IAC/F,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,4GAA4G;IAC5G,QAAQ,EAAE,cAAc,CAAC;IACzB,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAC5C,kGAAkG;IAClG,KAAK,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACrC;;;;;OAKG;IACH,OAAO,CAAC,EAAE,oBAAoB,CAAC;CAChC;AAED,MAAM,WAAW,iBAAiB;IAChC,mFAAmF;IACnF,IAAI,EAAE,UAAU,CAAC;IACjB;;;;;OAKG;IACH,YAAY,EAAE,cAAc,CAAC;IAC7B;;;;;OAKG;IACH,QAAQ,EAAE,cAAc,CAAC;IACzB,qFAAqF;IACrF,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B;AAED;;;;GAIG;AACH,wBAAsB,WAAW,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAiCnF;AAED,8EAA8E;AAC9E,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,OAAO,EAChB,oBAAoB,CAAC,EAAE,oBAAoB,EAC3C,KAAK,CAAC,EAAE,SAAS,iBAAiB,EAAE,GACnC,cAAc,CAMhB"}
+{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../../src/snapshot/plan.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAE/E,OAAO,EAAQ,KAAK,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAAiE,KAAK,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACvH,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACvE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,MAAM,WAAW,eAAgB,SAAQ,IAAI,CAAC,QAAQ,EAAE,OAAO,GAAG,aAAa,GAAG,cAAc,CAAC;IAC/F,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,4GAA4G;IAC5G,QAAQ,EAAE,cAAc,CAAC;IACzB,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAC5C,kGAAkG;IAClG,KAAK,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACrC;;;;;OAKG;IACH,OAAO,CAAC,EAAE,oBAAoB,CAAC;IAC/B;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE,oBAAoB,CAAC;CACjC;AAED,MAAM,WAAW,iBAAiB;IAChC,mFAAmF;IACnF,IAAI,EAAE,UAAU,CAAC;IACjB;;;;;OAKG;IACH,YAAY,EAAE,cAAc,CAAC;IAC7B;;;;;OAKG;IACH,QAAQ,EAAE,cAAc,CAAC;IACzB;6BACyB;IACzB,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B;qFACiF;IACjF,kBAAkB,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;CACnD;AAED;;;;GAIG;AACH,wBAAsB,WAAW,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAwCnF;AAED,8EAA8E;AAC9E,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,OAAO,EAChB,oBAAoB,CAAC,EAAE,oBAAoB,EAC3C,KAAK,CAAC,EAAE,SAAS,iBAAiB,EAAE,GACnC,cAAc,CAMhB"}

package/dist/snapshot/plan.js

@@ -12,7 +12,7 @@ export async function planOffline(args) {
         dialect: args.dialect,
         ...(args.columnNamingStrategy ? { columnNamingStrategy: args.columnNamingStrategy } : {}),
         ...(args.views !== undefined ? { views: args.views } : {}),
-    }), args.inScope);
+    }), args.inScope, args.imported !== undefined ? { imported: args.imported } : undefined);
     // The DIFF runs against the narrowed side; the SNAPSHOT keeps what this run
     // excluded. Committing the narrowed schema would delete every out-of-scope entry
     // the previous snapshot held, so removing or widening `migrate.scope` later would
@@ -36,7 +36,13 @@ export async function planOffline(args) {
         ...(args.onAmbiguous ? { onAmbiguous: args.onAmbiguous } : {}),
         ...(args.ignoreTables ? { ignoreTables: args.ignoreTables } : {}),
     });
-    return { diff: result, nextSnapshot, expected: scoped.snapshot, outOfScope: scoped.outOfScope };
+    return {
+        diff: result,
+        nextSnapshot,
+        expected: scoped.snapshot,
+        outOfScope: scoped.outOfScope,
+        importedOutOfScope: scoped.importedOutOfScope,
+    };
 }
 /** Seed an initial reference snapshot from metadata (greenfield baseline). */
 export function baselineFromMetadata(metadata, dialect, columnNamingStrategy, views) {

package/dist/snapshot/plan.js.map

@@ -1 +1 @@
-{"version":3,"file":"plan.js","sourceRoot":"","sources":["../../src/snapshot/plan.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,mBAAmB,EAAE,iCAAiC,EAAE,MAAM,uBAAuB,CAAC;AAC/F,OAAO,EAAE,IAAI,EAAiB,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,gBAAgB,EAA6B,MAAM,aAAa,CAAC;AA0CvH;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAqB;IACrD,MAAM,MAAM,GAAG,mBAAmB,CAChC,iCAAiC,CAAC,IAAI,CAAC,QAAQ,EAAE;QAC/C,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,IAAI,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3D,CAAC,EACF,IAAI,CAAC,OAAO,CACb,CAAC;IACF,4EAA4E;IAC5E,iFAAiF;IACjF,kFAAkF;IAClF,iFAAiF;IACjF,8DAA8D;IAC9D,MAAM,YAAY,GAAG,sBAAsB,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC/F,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC;QACxB,8EAA8E;QAC9E,6EAA6E;QAC7E,+EAA+E;QAC/E,8EAA8E;QAC9E,2CAA2C;QAC3C,GAAG,gBAAgB,CAAC,MAAM,EAAE,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjE,MAAM,EAAE,IAAI,CAAC,QAAQ;QACrB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,kFAAkF;QAClF,mFAAmF;QACnF,uFAAuF;QACvF,sBAAsB,EAAE,IAAI;QAC5B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClE,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC;AAClG,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,oBAAoB,CAClC,QAAkB,EAClB,OAAgB,EAChB,oBAA2C,EAC3C,KAAoC;IAEpC,OAAO,mBAAmB,CAAC,QAAQ,EAAE;QACnC,OAAO;QACP,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1C,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"plan.js","sourceRoot":"","sources":["../../src/snapshot/plan.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,mBAAmB,EAAE,iCAAiC,EAAE,MAAM,uBAAuB,CAAC;AAC/F,OAAO,EAAE,IAAI,EAAiB,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,gBAAgB,EAA6B,MAAM,aAAa,CAAC;AAuDvH;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAqB;IACrD,MAAM,MAAM,GAAG,mBAAmB,CAChC,iCAAiC,CAAC,IAAI,CAAC,QAAQ,EAAE;QAC/C,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,IAAI,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3D,CAAC,EACF,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CACtE,CAAC;IACF,4EAA4E;IAC5E,iFAAiF;IACjF,kFAAkF;IAClF,iFAAiF;IACjF,8DAA8D;IAC9D,MAAM,YAAY,GAAG,sBAAsB,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC/F,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC;QACxB,8EAA8E;QAC9E,6EAA6E;QAC7E,+EAA+E;QAC/E,8EAA8E;QAC9E,2CAA2C;QAC3C,GAAG,gBAAgB,CAAC,MAAM,EAAE,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjE,MAAM,EAAE,IAAI,CAAC,QAAQ;QACrB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,kFAAkF;QAClF,mFAAmF;QACnF,uFAAuF;QACvF,sBAAsB,EAAE,IAAI;QAC5B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClE,CAAC,CAAC;IACH,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,YAAY;QACZ,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;KAC9C,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,oBAAoB,CAClC,QAAkB,EAClB,OAAgB,EAChB,oBAA2C,EAC3C,KAAoC;IAEpC,OAAO,mBAAmB,CAAC,QAAQ,EAAE;QACnC,OAAO;QACP,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1C,CAAC,CAAC;AACL,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@metaobjectsdev/migrate-ts",
-  "version": "1.0.2",
+  "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.2"
+    "@metaobjectsdev/metadata": "1.0.3"
   },
   "peerDependencies": {
     "kysely": ">=0.27.0 <0.30.0",

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/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 } : {}),
   };
 }

package/src/snapshot/plan.ts

@@ -22,6 +22,15 @@ export interface PlanOfflineArgs extends Pick<DiffArgs, "allow" | "onAmbiguous"
    * loaded (unchanged behavior).
    */
   inScope?: ObjectScopePredicate;
+  /**
+   * FR-023 — objects a DEPENDENCY owns. Imported metadata is loaded so this project's
+   * own model can resolve against it and is governed by nobody here unless `inScope`
+   * admits it, so such an object leaves BOTH sides of the diff and, unlike an
+   * `inScope` exclusion, takes its database schema out of the run's scope with it
+   * (migrate-ts `scope.ts` header). Omit for a project with no dependencies
+   * (unchanged behavior).
+   */
+  imported?: ObjectScopePredicate;
 }
 
 export interface PlanOfflineResult {
@@ -41,8 +50,12 @@ export interface PlanOfflineResult {
    * only for what it governs.
    */
   expected: SchemaSnapshot;
-  /** Qualified physical names excluded by `inScope`; empty when no scope was given. */
+  /** Qualified physical names excluded by `inScope` OR by `imported`; empty when
+   *  neither was given. */
   outOfScope: readonly string[];
+  /** The subset of `outOfScope` a dependency contributed (FR-023), so the CLI can say
+   *  WHY those objects were excluded. `undefined` when no `imported` was given. */
+  importedOutOfScope: readonly string[] | undefined;
 }
 
 /**
@@ -58,6 +71,7 @@ export async function planOffline(args: PlanOfflineArgs): Promise<PlanOfflineRes
       ...(args.views !== undefined ? { views: args.views } : {}),
     }),
     args.inScope,
+    args.imported !== undefined ? { imported: args.imported } : undefined,
   );
   // The DIFF runs against the narrowed side; the SNAPSHOT keeps what this run
   // excluded. Committing the narrowed schema would delete every out-of-scope entry
@@ -82,7 +96,13 @@ export async function planOffline(args: PlanOfflineArgs): Promise<PlanOfflineRes
     ...(args.onAmbiguous ? { onAmbiguous: args.onAmbiguous } : {}),
     ...(args.ignoreTables ? { ignoreTables: args.ignoreTables } : {}),
   });
-  return { diff: result, nextSnapshot, expected: scoped.snapshot, outOfScope: scoped.outOfScope };
+  return {
+    diff: result,
+    nextSnapshot,
+    expected: scoped.snapshot,
+    outOfScope: scoped.outOfScope,
+    importedOutOfScope: scoped.importedOutOfScope,
+  };
 }
 
 /** Seed an initial reference snapshot from metadata (greenfield baseline). */