@bjornpagen/bumbledb-log 1.2.1 → 1.3.1

package/dist/migrations/decode.js

@@ -1,302 +0,0 @@
-/**
- * Bounded runtime decoding of untrusted generated data. The admin runner
- * consumes the static index import — plain JSON data — and never trusts it:
- * every plan and the manifest are structurally re-decoded here before
- * anything crosses the bridge, and the native codec re-judges them again
- * from canonical frames. A well-shaped object is still not a checked plan.
- */
-import { Result, Schema } from "effect";
-import { DatabaseId, DecisionDigest, IncarnationId, OperationId, PlanSetDigest, parseDatabaseIdentity, parseSchemaId } from "#identity.ts";
-import { planExpressionOf, planValueOf } from "#migrations/expr.ts";
-const MAX_OPERATIONS = 65536;
-const MAX_ROWS = 1_000_000;
-const ManifestModel = Schema.Struct({
-    manifestVersion: Schema.Literal(1),
-    planVersion: Schema.Literal(1),
-    baseSchemaId: Schema.String,
-    basePrefixDigest: Schema.String,
-    entries: Schema.Array(Schema.Struct({
-        sequence: Schema.String,
-        id: Schema.String,
-        fromSchemaId: Schema.String,
-        toSchemaId: Schema.String,
-        planDigest: Schema.String,
-        prefixDigest: Schema.String
-    }))
-});
-const decodeManifestModel = Schema.decodeUnknownOption(ManifestModel);
-function bad(detail) {
-    return { ok: false, detail };
-}
-export function decodeManifestData(value) {
-    const decoded = decodeManifestModel(value);
-    if (decoded._tag === "None") {
-        return bad("manifest shape");
-    }
-    const entries = decoded.value.entries;
-    return { ok: true, value: { ...decoded.value, entries } };
-}
-function isRecord(value) {
-    return typeof value === "object" && value !== null && !Array.isArray(value);
-}
-function decodeOperation(value) {
-    if (!isRecord(value) || typeof value.kind !== "string") {
-        return "operation shape";
-    }
-    switch (value.kind) {
-        case "map-relation": {
-            if (typeof value.source !== "string" || typeof value.target !== "string" || !Array.isArray(value.fields)) {
-                return "map-relation shape";
-            }
-            const fields = [];
-            for (const field of value.fields) {
-                if (!isRecord(field) || typeof field.target !== "string") {
-                    return "map-relation field shape";
-                }
-                const expression = planExpressionOf(field.expression);
-                if (!expression.ok) {
-                    return expression.detail;
-                }
-                fields.push({ target: field.target, expression: expression.expression });
-            }
-            return { kind: "map-relation", source: value.source, target: value.target, fields };
-        }
-        case "empty-relation":
-            return typeof value.target === "string"
-                ? { kind: "empty-relation", target: value.target }
-                : "empty-relation shape";
-        case "drop-relation":
-            return typeof value.source === "string" ? { kind: "drop-relation", source: value.source } : "drop-relation shape";
-        case "seed": {
-            if (typeof value.target !== "string" || !Array.isArray(value.rows) || value.rows.length > MAX_ROWS) {
-                return "seed shape";
-            }
-            const rows = [];
-            for (const row of value.rows) {
-                if (!Array.isArray(row)) {
-                    return "seed row shape";
-                }
-                const cells = [];
-                for (const cell of row) {
-                    const decoded = planValueOf(cell);
-                    if (typeof decoded === "string") {
-                        return decoded;
-                    }
-                    cells.push(decoded);
-                }
-                rows.push(cells);
-            }
-            return { kind: "seed", target: value.target, rows };
-        }
-        case "validate-schema":
-            return typeof value.schemaId === "string"
-                ? { kind: "validate-schema", schemaId: value.schemaId }
-                : "validate-schema shape";
-        default:
-            return `unknown operation kind ${value.kind}`;
-    }
-}
-export function decodePlanData(value) {
-    if (!isRecord(value)) {
-        return bad("plan shape");
-    }
-    if (value.planVersion !== 1) {
-        return bad("unsupported planVersion");
-    }
-    if (typeof value.sequence !== "string" ||
-        typeof value.id !== "string" ||
-        typeof value.fromSchemaId !== "string" ||
-        typeof value.toSchemaId !== "string" ||
-        !Array.isArray(value.operations) ||
-        value.operations.length > MAX_OPERATIONS) {
-        return bad("plan shape");
-    }
-    const operations = [];
-    for (const operation of value.operations) {
-        const decoded = decodeOperation(operation);
-        if (typeof decoded === "string") {
-            return bad(decoded);
-        }
-        operations.push(decoded);
-    }
-    const destructive = [];
-    if (value.destructive !== undefined) {
-        if (!Array.isArray(value.destructive)) {
-            return bad("destructive shape");
-        }
-        for (const loss of value.destructive) {
-            if (!isRecord(loss) || typeof loss.relation !== "string") {
-                return bad("destructive entry shape");
-            }
-            if (loss.field === undefined || loss.field === null) {
-                destructive.push({ relation: loss.relation });
-            }
-            else if (typeof loss.field === "string") {
-                destructive.push({ relation: loss.relation, field: loss.field });
-            }
-            else {
-                return bad("destructive field shape");
-            }
-        }
-    }
-    return {
-        ok: true,
-        value: {
-            planVersion: 1,
-            sequence: value.sequence,
-            id: value.id,
-            fromSchemaId: value.fromSchemaId,
-            toSchemaId: value.toSchemaId,
-            operations,
-            destructive
-        }
-    };
-}
-export function decodeGeneratedMigrations(value) {
-    if (!isRecord(value)) {
-        return bad("generated migrations shape");
-    }
-    const manifest = decodeManifestData(value.manifest);
-    if (!manifest.ok) {
-        return bad(manifest.detail);
-    }
-    if (!Array.isArray(value.plans)) {
-        return bad("plans shape");
-    }
-    if (value.plans.length !== manifest.value.entries.length) {
-        return bad("plan count does not match the manifest");
-    }
-    if (!Array.isArray(value.snapshots) || value.snapshots.length !== manifest.value.entries.length + 1) {
-        return bad("snapshots must be the empty-base schema plus one target per entry");
-    }
-    const snapshots = [];
-    for (const [index, raw] of value.snapshots.entries()) {
-        if (typeof raw !== "string" || raw.length === 0) {
-            return bad(`snapshot ${index} must be nonempty canonical schema-file text`);
-        }
-        snapshots.push(raw);
-    }
-    const plans = [];
-    for (const [index, raw] of value.plans.entries()) {
-        const plan = decodePlanData(raw);
-        if (!plan.ok) {
-            return bad(`plan ${index}: ${plan.detail}`);
-        }
-        const entry = manifest.value.entries[index];
-        if (entry === undefined ||
-            plan.value.sequence !== entry.sequence ||
-            plan.value.id !== entry.id ||
-            plan.value.fromSchemaId !== entry.fromSchemaId ||
-            plan.value.toSchemaId !== entry.toSchemaId) {
-            return bad(`plan ${index} disagrees with its manifest entry`);
-        }
-        plans.push(plan.value);
-    }
-    return { ok: true, value: { manifest: manifest.value, plans, snapshots } };
-}
-export function decodeRuntimeContract(value) {
-    if (!isRecord(value)) {
-        return bad("runtime contract shape");
-    }
-    if (value.contractVersion !== 1) {
-        return bad("unsupported contractVersion");
-    }
-    if (typeof value.schemaId !== "string" || typeof value.appliedPrefixDigest !== "string") {
-        return bad("runtime contract shape");
-    }
-    const steps = value.steps === undefined ? "0" : String(value.steps);
-    return {
-        ok: true,
-        value: {
-            contractVersion: 1,
-            schemaId: value.schemaId,
-            appliedPrefixDigest: value.appliedPrefixDigest,
-            steps
-        }
-    };
-}
-export function decodeActivationRef(value) {
-    if (!isRecord(value)) {
-        return bad("activation shape");
-    }
-    if (typeof value.operation !== "string") {
-        return bad("activation operation");
-    }
-    if (typeof value.planSetDigest !== "string") {
-        return bad("activation planSetDigest");
-    }
-    if (typeof value.targetGenesis !== "string") {
-        return bad("activation targetGenesis");
-    }
-    const operation = OperationId.parse(value.operation);
-    if (Result.isFailure(operation)) {
-        return bad("activation operation");
-    }
-    const planSetDigest = PlanSetDigest.fromHex(value.planSetDigest);
-    if (Result.isFailure(planSetDigest)) {
-        return bad("activation planSetDigest");
-    }
-    const targetGenesis = DecisionDigest.fromHex(value.targetGenesis);
-    if (Result.isFailure(targetGenesis)) {
-        return bad("activation targetGenesis");
-    }
-    if (typeof value.target === "string") {
-        const target = parseDatabaseIdentity(value.target);
-        if (Result.isFailure(target)) {
-            return bad("activation target");
-        }
-        return {
-            ok: true,
-            value: {
-                operation: operation.success,
-                planSetDigest: planSetDigest.success,
-                target: target.success,
-                targetGenesis: targetGenesis.success
-            }
-        };
-    }
-    if (!isRecord(value.target)) {
-        return bad("activation target");
-    }
-    if (typeof value.target.databaseId !== "string" ||
-        typeof value.target.incarnationId !== "string" ||
-        typeof value.target.schemaId !== "string") {
-        return bad("activation target");
-    }
-    const databaseId = DatabaseId.parse(value.target.databaseId);
-    if (Result.isFailure(databaseId)) {
-        return bad("activation target databaseId");
-    }
-    const incarnationId = IncarnationId.parse(value.target.incarnationId);
-    if (Result.isFailure(incarnationId)) {
-        return bad("activation target incarnationId");
-    }
-    const schemaId = parseSchemaId(value.target.schemaId);
-    if (Result.isFailure(schemaId)) {
-        return bad("activation target schemaId");
-    }
-    return {
-        ok: true,
-        value: {
-            operation: operation.success,
-            planSetDigest: planSetDigest.success,
-            target: {
-                databaseId: databaseId.success,
-                incarnationId: incarnationId.success,
-                schemaId: schemaId.success
-            },
-            targetGenesis: targetGenesis.success
-        }
-    };
-}
-/** Decode a persisted ready-to-switch migrate outcome's activation field. */
-export function decodeReadyToSwitchActivation(value) {
-    if (!isRecord(value)) {
-        return bad("migrate outcome shape");
-    }
-    if (value.kind !== "completed" || !isRecord(value.value) || value.value.kind !== "ready-to-switch") {
-        return bad("migrate outcome is not ready-to-switch");
-    }
-    return decodeActivationRef(value.value.activation);
-}
-//# sourceMappingURL=decode.js.map

package/dist/migrations/decode.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"decode.js","sourceRoot":"","sources":["../../src/migrations/decode.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EACN,UAAU,EACV,cAAc,EACd,aAAa,EACb,WAAW,EACX,aAAa,EACb,qBAAqB,EACrB,aAAa,EACb,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAanE,MAAM,cAAc,GAAG,KAAK,CAAA;AAC5B,MAAM,QAAQ,GAAG,SAAS,CAAA;AAE1B,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;IACnC,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAClC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,YAAY,EAAE,MAAM,CAAC,MAAM;IAC3B,gBAAgB,EAAE,MAAM,CAAC,MAAM;IAC/B,OAAO,EAAE,MAAM,CAAC,KAAK,CACpB,MAAM,CAAC,MAAM,CAAC;QACb,QAAQ,EAAE,MAAM,CAAC,MAAM;QACvB,EAAE,EAAE,MAAM,CAAC,MAAM;QACjB,YAAY,EAAE,MAAM,CAAC,MAAM;QAC3B,UAAU,EAAE,MAAM,CAAC,MAAM;QACzB,UAAU,EAAE,MAAM,CAAC,MAAM;QACzB,YAAY,EAAE,MAAM,CAAC,MAAM;KAC3B,CAAC,CACF;CACD,CAAC,CAAA;AACF,MAAM,mBAAmB,GAAG,MAAM,CAAC,mBAAmB,CAAC,aAAa,CAAC,CAAA;AAIrE,SAAS,GAAG,CAAI,MAAc;IAC7B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AAC7B,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAChD,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAA;IAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC7B,OAAO,GAAG,CAAC,gBAAgB,CAAC,CAAA;IAC7B,CAAC;IACD,MAAM,OAAO,GAA6B,OAAO,CAAC,KAAK,CAAC,OAAO,CAAA;IAC/D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAA;AAC1D,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC/B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAC5E,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACtC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxD,OAAO,iBAAiB,CAAA;IACzB,CAAC;IACD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,cAAc,EAAE,CAAC;YACrB,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1G,OAAO,oBAAoB,CAAA;YAC5B,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,CAAA;YACjB,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBAClC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBAC1D,OAAO,0BAA0B,CAAA;gBAClC,CAAC;gBACD,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;gBACrD,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;oBACpB,OAAO,UAAU,CAAC,MAAM,CAAA;gBACzB,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC,CAAA;YACzE,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,CAAA;QACpF,CAAC;QACD,KAAK,gBAAgB;YACpB,OAAO,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;gBACtC,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;gBAClD,CAAC,CAAC,sBAAsB,CAAA;QAC1B,KAAK,eAAe;YACnB,OAAO,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAA;QAClH,KAAK,MAAM,EAAE,CAAC;YACb,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,QAAQ,EAAE,CAAC;gBACpG,OAAO,YAAY,CAAA;YACpB,CAAC;YACD,MAAM,IAAI,GAAgC,EAAE,CAAA;YAC5C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;oBACzB,OAAO,gBAAgB,CAAA;gBACxB,CAAC;gBACD,MAAM,KAAK,GAAgB,EAAE,CAAA;gBAC7B,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;oBACxB,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;oBACjC,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;wBACjC,OAAO,OAAO,CAAA;oBACf,CAAC;oBACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;gBACpB,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACjB,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAA;QACpD,CAAC;QACD,KAAK,iBAAiB;YACrB,OAAO,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;gBACxC,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE;gBACvD,CAAC,CAAC,uBAAuB,CAAA;QAC3B;YACC,OAAO,0BAA0B,KAAK,CAAC,IAAI,EAAE,CAAA;IAC/C,CAAC;AACF,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAc;IAC5C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,GAAG,CAAC,YAAY,CAAC,CAAA;IACzB,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,GAAG,CAAC,yBAAyB,CAAC,CAAA;IACtC,CAAC;IACD,IACC,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAClC,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ;QAC5B,OAAO,KAAK,CAAC,YAAY,KAAK,QAAQ;QACtC,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ;QACpC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC;QAChC,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,cAAc,EACvC,CAAC;QACF,OAAO,GAAG,CAAC,YAAY,CAAC,CAAA;IACzB,CAAC;IACD,MAAM,UAAU,GAAoB,EAAE,CAAA;IACtC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,eAAe,CAAC,SAAS,CAAC,CAAA;QAC1C,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO,GAAG,CAAC,OAAO,CAAC,CAAA;QACpB,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACzB,CAAC;IACD,MAAM,WAAW,GAAe,EAAE,CAAA;IAClC,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACrC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;YACvC,OAAO,GAAG,CAAC,mBAAmB,CAAC,CAAA;QAChC,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACtC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBAC1D,OAAO,GAAG,CAAC,yBAAyB,CAAC,CAAA;YACtC,CAAC;YACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;gBACrD,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAA;YAC9C,CAAC;iBAAM,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC3C,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;YACjE,CAAC;iBAAM,CAAC;gBACP,OAAO,GAAG,CAAC,yBAAyB,CAAC,CAAA;YACtC,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO;QACN,EAAE,EAAE,IAAI;QACR,KAAK,EAAE;YACN,WAAW,EAAE,CAAC;YACd,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,UAAU;YACV,WAAW;SACX;KACD,CAAA;AACF,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,KAAc;IACvD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,GAAG,CAAC,4BAA4B,CAAC,CAAA;IACzC,CAAC;IACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IACnD,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QAClB,OAAO,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC5B,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,GAAG,CAAC,aAAa,CAAC,CAAA;IAC1B,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAC1D,OAAO,GAAG,CAAC,wCAAwC,CAAC,CAAA;IACrD,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrG,OAAO,GAAG,CAAC,mEAAmE,CAAC,CAAA;IAChF,CAAC;IACD,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjD,OAAO,GAAG,CAAC,YAAY,KAAK,8CAA8C,CAAC,CAAA;QAC5E,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACpB,CAAC;IACD,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAA;QAChC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;YACd,OAAO,GAAG,CAAC,QAAQ,KAAK,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC,CAAA;QAC5C,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC3C,IACC,KAAK,KAAK,SAAS;YACnB,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YACtC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE;YAC1B,IAAI,CAAC,KAAK,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;YAC9C,IAAI,CAAC,KAAK,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,EACzC,CAAC;YACF,OAAO,GAAG,CAAC,QAAQ,KAAK,oCAAoC,CAAC,CAAA;QAC9D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACvB,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAA;AAC3E,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAc;IACnD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,GAAG,CAAC,wBAAwB,CAAC,CAAA;IACrC,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,GAAG,CAAC,6BAA6B,CAAC,CAAA;IAC1C,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,mBAAmB,KAAK,QAAQ,EAAE,CAAC;QACzF,OAAO,GAAG,CAAC,wBAAwB,CAAC,CAAA;IACrC,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACnE,OAAO;QACN,EAAE,EAAE,IAAI;QACR,KAAK,EAAE;YACN,eAAe,EAAE,CAAC;YAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;YAC9C,KAAK;SACL;KACD,CAAA;AACF,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAc;IACjD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,GAAG,CAAC,kBAAkB,CAAC,CAAA;IAC/B,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QACzC,OAAO,GAAG,CAAC,sBAAsB,CAAC,CAAA;IACnC,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ,EAAE,CAAC;QAC7C,OAAO,GAAG,CAAC,0BAA0B,CAAC,CAAA;IACvC,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ,EAAE,CAAC;QAC7C,OAAO,GAAG,CAAC,0BAA0B,CAAC,CAAA;IACvC,CAAC;IACD,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IACpD,IAAI,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;QACjC,OAAO,GAAG,CAAC,sBAAsB,CAAC,CAAA;IACnC,CAAC;IACD,MAAM,aAAa,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAA;IAChE,IAAI,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC;QACrC,OAAO,GAAG,CAAC,0BAA0B,CAAC,CAAA;IACvC,CAAC;IACD,MAAM,aAAa,GAAG,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAA;IACjE,IAAI,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC;QACrC,OAAO,GAAG,CAAC,0BAA0B,CAAC,CAAA;IACvC,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QAClD,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,OAAO,GAAG,CAAC,mBAAmB,CAAC,CAAA;QAChC,CAAC;QACD,OAAO;YACN,EAAE,EAAE,IAAI;YACR,KAAK,EAAE;gBACN,SAAS,EAAE,SAAS,CAAC,OAAO;gBAC5B,aAAa,EAAE,aAAa,CAAC,OAAO;gBACpC,MAAM,EAAE,MAAM,CAAC,OAAO;gBACtB,aAAa,EAAE,aAAa,CAAC,OAAO;aACpC;SACD,CAAA;IACF,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,OAAO,GAAG,CAAC,mBAAmB,CAAC,CAAA;IAChC,CAAC;IACD,IACC,OAAO,KAAK,CAAC,MAAM,CAAC,UAAU,KAAK,QAAQ;QAC3C,OAAO,KAAK,CAAC,MAAM,CAAC,aAAa,KAAK,QAAQ;QAC9C,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ,EACxC,CAAC;QACF,OAAO,GAAG,CAAC,mBAAmB,CAAC,CAAA;IAChC,CAAC;IACD,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IAC5D,IAAI,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QAClC,OAAO,GAAG,CAAC,8BAA8B,CAAC,CAAA;IAC3C,CAAC;IACD,MAAM,aAAa,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;IACrE,IAAI,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC;QACrC,OAAO,GAAG,CAAC,iCAAiC,CAAC,CAAA;IAC9C,CAAC;IACD,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IACrD,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChC,OAAO,GAAG,CAAC,4BAA4B,CAAC,CAAA;IACzC,CAAC;IACD,OAAO;QACN,EAAE,EAAE,IAAI;QACR,KAAK,EAAE;YACN,SAAS,EAAE,SAAS,CAAC,OAAO;YAC5B,aAAa,EAAE,aAAa,CAAC,OAAO;YACpC,MAAM,EAAE;gBACP,UAAU,EAAE,UAAU,CAAC,OAAO;gBAC9B,aAAa,EAAE,aAAa,CAAC,OAAO;gBACpC,QAAQ,EAAE,QAAQ,CAAC,OAAO;aAC1B;YACD,aAAa,EAAE,aAAa,CAAC,OAAO;SACpC;KACD,CAAA;AACF,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,6BAA6B,CAAC,KAAc;IAC3D,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,GAAG,CAAC,uBAAuB,CAAC,CAAA;IACpC,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpG,OAAO,GAAG,CAAC,wCAAwC,CAAC,CAAA;IACrD,CAAC;IACD,OAAO,mBAAmB,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;AACnD,CAAC"}

package/dist/migrations/diff.d.ts

@@ -1,39 +0,0 @@
-/**
- * The pure schema diff: previous canonical snapshot versus current canonical
- * snapshot, plus declared typed intent. Structural inference happens ONLY
- * where one safe interpretation exists (unchanged relations/fields carried by
- * identity projections, whole-relation additions, reorders); ambiguous
- * rename-versus-drop, data destruction, required backfills and type changes
- * REQUIRE typed intent or the diff returns the complete finite requirement
- * list — generation never guesses from matching shapes and never fabricates
- * a zero/null.
- *
- * Output is inert plan data with TOTAL ordinary-relation coverage:
- * every ordinary source relation becomes exactly one `map-relation` or
- * `drop-relation`; every ordinary target relation exactly one
- * `map-relation`/`empty-relation`. A source field no expression references is
- * data loss and appears in `destructive` exactly once. Closed relations are
- * sealed schema axioms — unnameable by data operations and exempt from
- * coverage; their evolution is the schema change itself.
- */
-import type { IntentRequirement } from "./fail.js";
-import type { MigrationIntentEntry } from "./intent.js";
-import type { PlanLoss, PlanOperation, TheorySnapshot } from "./types.js";
-export interface DiffResult {
-    /** Maps, empties and drops in canonical order (no seeds, no validate). */
-    readonly operations: readonly PlanOperation[];
-    readonly destructive: readonly PlanLoss[];
-    /** Ordinary target relations receiving declarative seed rows, target order. */
-    readonly seedRelations: readonly string[];
-    /** Deterministic tokens for the derived human label. */
-    readonly labelTokens: readonly string[];
-    /** Nonempty means: refuse generation with exactly these requirements. */
-    readonly requirements: readonly IntentRequirement[];
-    /**
-     * True only when every ordinary map is an identity projection.
-     * An explicit same-schema convert (units+1) is not identity.
-     */
-    readonly identity: boolean;
-}
-export declare function diffSchemas(prev: TheorySnapshot, next: TheorySnapshot, entries: readonly MigrationIntentEntry[]): DiffResult;
-//# sourceMappingURL=diff.d.ts.map

package/dist/migrations/diff.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../src/migrations/diff.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AAC5D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAA;AACjE,OAAO,KAAK,EAAgB,QAAQ,EAAE,aAAa,EAAkB,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAEjH,MAAM,WAAW,UAAU;IAC1B,0EAA0E;IAC1E,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAA;IAC7C,QAAQ,CAAC,WAAW,EAAE,SAAS,QAAQ,EAAE,CAAA;IACzC,+EAA+E;IAC/E,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAA;IACzC,wDAAwD;IACxD,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;IACvC,yEAAyE;IACzE,QAAQ,CAAC,YAAY,EAAE,SAAS,iBAAiB,EAAE,CAAA;IACnD;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAC1B;AAwBD,wBAAgB,WAAW,CAC1B,IAAI,EAAE,cAAc,EACpB,IAAI,EAAE,cAAc,EACpB,OAAO,EAAE,SAAS,oBAAoB,EAAE,GACtC,UAAU,CA4fZ"}