@bjornpagen/bumbledb-log 1.0.0 → 1.1.0

package/dist/migrations/bin.js

@@ -3,19 +3,6 @@
 import { NativeRuntime } from "@bjornpagen/bumbledb";
 import { Effect, Exit } from "effect";
 import { cliProgram, loadAuthoring, parseCliArguments } from "#migrations/cli.ts";
-const RUNTIME = {
-    workers: 2,
-    queueCapacity: 64,
-    cleanupCapacity: 16,
-    ownerCapacity: 8,
-    nativeHandleCapacity: 64,
-    inputBytes: 512n * 1024n * 1024n,
-    workingBytes: 512n * 1024n * 1024n,
-    scratchBytes: 512n * 1024n * 1024n,
-    resultBytes: 128n * 1024n * 1024n,
-    chunkBytes: 1024n * 1024n,
-    cleanupTimeout: 5000
-};
 const parsed = parseCliArguments(process.argv.slice(2));
 if (typeof parsed === "string") {
     process.stderr.write(`${parsed}\n`);
@@ -23,7 +10,7 @@ if (typeof parsed === "string") {
 }
 else {
     const program = loadAuthoring(parsed).pipe(Effect.flatMap((authored) => cliProgram(parsed, authored)));
-    const exit = await Effect.runPromiseExit(program.pipe(Effect.provide(NativeRuntime.layer(RUNTIME))));
+    const exit = await Effect.runPromiseExit(program.pipe(Effect.provide(NativeRuntime.layer())));
     if (Exit.isSuccess(exit)) {
         process.stdout.write(`${JSON.stringify(exit.value.report, null, 2)}\n`);
         process.exitCode = exit.value.code;

package/dist/migrations/bin.js.map

@@ -1 +1 @@
-{"version":3,"file":"bin.js","sourceRoot":"","sources":["../../src/migrations/bin.ts"],"names":[],"mappings":";AAEA,mFAAmF;AACnF,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACpD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AACrC,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAEjF,MAAM,OAAO,GAAyB;IACrC,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,EAAE;IACjB,eAAe,EAAE,EAAE;IACnB,aAAa,EAAE,CAAC;IAChB,oBAAoB,EAAE,EAAE;IACxB,UAAU,EAAE,IAAI,GAAG,KAAK,GAAG,KAAK;IAChC,YAAY,EAAE,IAAI,GAAG,KAAK,GAAG,KAAK;IAClC,YAAY,EAAE,IAAI,GAAG,KAAK,GAAG,KAAK;IAClC,WAAW,EAAE,IAAI,GAAG,KAAK,GAAG,KAAK;IACjC,UAAU,EAAE,KAAK,GAAG,KAAK;IACzB,cAAc,EAAE,IAAI;CACpB,CAAA;AAED,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACvD,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;IAChC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,IAAI,CAAC,CAAA;IACnC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;AACrB,CAAC;KAAM,CAAC;IACP,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;IACtG,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;IACpG,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;QACvE,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAA;IACnC,CAAC;SAAM,CAAC;QACP,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;QAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,OAAO,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAClE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,KAAK,IAAI,CAAC,CAAA;YAC1C,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;QACrB,CAAC;aAAM,CAAC;YACP,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;YAChE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;QACrB,CAAC;IACF,CAAC;AACF,CAAC"}
+{"version":3,"file":"bin.js","sourceRoot":"","sources":["../../src/migrations/bin.ts"],"names":[],"mappings":";AACA,mFAAmF;AACnF,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACpD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AACrC,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAEjF,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACvD,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;IAChC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,IAAI,CAAC,CAAA;IACnC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;AACrB,CAAC;KAAM,CAAC;IACP,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;IACtG,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;IAC7F,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;QACvE,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAA;IACnC,CAAC;SAAM,CAAC;QACP,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;QAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,OAAO,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAClE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,KAAK,IAAI,CAAC,CAAA;YAC1C,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;QACrB,CAAC;aAAM,CAAC;YACP,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;YAChE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;QACrB,CAAC;IACF,CAAC;AACF,CAAC"}

package/dist/migrations/canonical.d.ts

@@ -1,7 +1,7 @@
 /**
  * Canonical value spelling and deterministic generated-text helpers.
  *
- * The native codec (P09) is the rendering and digest authority for plan,
+ * The native codec is the rendering and digest authority for plan,
  * manifest and schema-snapshot FILES: those bytes come back from the native
  * entrypoints (`schema_file::render`, `migration::plan::render_plan`,
  * `migration::manifest::render_manifest`) and are written verbatim, so JSON

package/dist/migrations/cli.d.ts

@@ -1,10 +1,8 @@
-import type { AnySchema, ExecutionPolicy } from "@bjornpagen/bumbledb";
+import type { AnySchema } from "@bjornpagen/bumbledb";
 import { Effect } from "effect";
 import type { MigrationIntent } from "./intent.js";
 import type { CheckReport, GenerationReport } from "./types.js";
-export declare const CLI_USAGE = "bumbledb-log <generate|check> --schema <module.ts> --out <migrations-dir>\n\t[--export <name>]    schema export (default: \"default\", then \"schema\")\n\t[--intent <name>]    intent export (default: \"evolution\" when present)\n\t[--label <label>]    stable human label for a new plan ([a-z0-9-])\n\t[--contract <path>]  runtime contract path (default: <out>/runtime-contract.json)\n\t[--timeout-ms <n>]   generation work deadline (default: 600000)\n";
-/** Generous fixed authoring-tool budgets; native admission still re-judges. */
-export declare const CLI_WORK: ExecutionPolicy;
+export declare const CLI_USAGE = "bumbledb-log <generate|check> --schema <module.ts> --out <migrations-dir>\n\t[--export <name>]    schema export (default: \"default\", then \"schema\")\n\t[--intent <name>]    intent export (default: \"evolution\" when present)\n\t[--label <label>]    stable human label for a new plan ([a-z0-9-])\n\t[--contract <path>]  runtime contract path (default: <out>/runtime-contract.json)\n";
 export interface CliArguments {
     readonly command: "generate" | "check";
     readonly schemaPath: string;
@@ -13,7 +11,6 @@ export interface CliArguments {
     readonly intentName: string | null;
     readonly label: string | null;
     readonly contract: string | null;
-    readonly timeoutMs: number | null;
 }
 export declare function parseCliArguments(argv: readonly string[]): CliArguments | string;
 export interface AuthoredModule {

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

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../../src/migrations/cli.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAA;AACtE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AAGzE,eAAO,MAAM,SAAS,wcAMrB,CAAA;AAED,+EAA+E;AAC/E,eAAO,MAAM,QAAQ,EAAE,eAQtB,CAAA;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAA;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;CACjC;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,YAAY,GAAG,MAAM,CAqDhF;AAiBD,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,GAAG,SAAS,CAAA;CACpE;AAED,0EAA0E;AAC1E,eAAO,MAAM,aAAa,qEAsBxB,CAAA;AAEF,eAAO,MAAM,UAAU;;UAiBE,CAAC;;;;uEASxB,CAAA"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../../src/migrations/cli.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AAGzE,eAAO,MAAM,SAAS,qYAKrB,CAAA;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAA;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;CAChC;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,YAAY,GAAG,MAAM,CA4ChF;AAiBD,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,GAAG,SAAS,CAAA;CACpE;AAED,0EAA0E;AAC1E,eAAO,MAAM,aAAa,qEAsBxB,CAAA;AAEF,eAAO,MAAM,UAAU;;UAeE,CAAC;;;;uEAQxB,CAAA"}

package/dist/migrations/cli.js

@@ -21,18 +21,7 @@ export const CLI_USAGE = `bumbledb-log <generate|check> --schema <module.ts> --o
 	[--intent <name>]    intent export (default: "evolution" when present)
 	[--label <label>]    stable human label for a new plan ([a-z0-9-])
 	[--contract <path>]  runtime contract path (default: <out>/runtime-contract.json)
-	[--timeout-ms <n>]   generation work deadline (default: 600000)
 `;
-/** Generous fixed authoring-tool budgets; native admission still re-judges. */
-export const CLI_WORK = {
-    inputBytes: 256n * 1024n * 1024n,
-    workingBytes: 256n * 1024n * 1024n,
-    scratchBytes: 256n * 1024n * 1024n,
-    resultBytes: 64n * 1024n * 1024n,
-    rows: 1000000n,
-    workUnits: 1000000000n,
-    timeout: 600000
-};
 export function parseCliArguments(argv) {
     const command = argv[0];
     if (command !== "generate" && command !== "check") {
@@ -44,7 +33,6 @@ export function parseCliArguments(argv) {
     let intentName = null;
     let label = null;
     let contract = null;
-    let timeoutMs = null;
     for (let index = 1; index < argv.length; index += 2) {
         const flag = argv[index];
         const value = argv[index + 1];
@@ -70,14 +58,6 @@ export function parseCliArguments(argv) {
             case "--contract":
                 contract = value;
                 break;
-            case "--timeout-ms": {
-                const parsed = Number.parseInt(value, 10);
-                if (!Number.isSafeInteger(parsed) || parsed <= 0) {
-                    return CLI_USAGE;
-                }
-                timeoutMs = parsed;
-                break;
-            }
             default:
                 return CLI_USAGE;
         }
@@ -85,7 +65,7 @@ export function parseCliArguments(argv) {
     if (schemaPath === null || directory === null) {
         return CLI_USAGE;
     }
-    return { command, schemaPath, directory, exportName, intentName, label, contract, timeoutMs };
+    return { command, schemaPath, directory, exportName, intentName, label, contract };
 }
 function isSchemaValue(value) {
     return (typeof value === "object" &&
@@ -121,7 +101,6 @@ export const loadAuthoring = Effect.fn("bumbledb-log.cli.loadAuthoring")(functio
     return authored;
 });
 export const cliProgram = Effect.fn("bumbledb-log.cli.program")(function* (cli, authored) {
-    const work = cli.timeoutMs === null ? CLI_WORK : { ...CLI_WORK, timeout: cli.timeoutMs };
     const repository = {
         directory: cli.directory,
         ...(cli.contract === null ? {} : { contract: cli.contract })
@@ -131,16 +110,14 @@ export const cliProgram = Effect.fn("bumbledb-log.cli.program")(function* (cli,
             schema: authored.schema,
             ...(authored.intent === undefined ? {} : { intent: authored.intent }),
             ...(cli.label === null ? {} : { label: cli.label }),
-            repository,
-            work
+            repository
         });
         return { report, code: 0 };
     }
     const report = yield* checkMigrations({
         schema: authored.schema,
         ...(authored.intent === undefined ? {} : { intent: authored.intent }),
-        repository,
-        work
+        repository
     });
     return { report, code: report.status === "clean" ? 0 : 1 };
 });

package/dist/migrations/cli.js.map

@@ -1 +1 @@
-{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/migrations/cli.ts"],"names":[],"mappings":";;;;;;;;AAAA;;;;;GAKG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAExC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAE7E,MAAM,CAAC,MAAM,SAAS,GAAG;;;;;;CAMxB,CAAA;AAED,+EAA+E;AAC/E,MAAM,CAAC,MAAM,QAAQ,GAAoB;IACxC,UAAU,EAAE,IAAI,GAAG,KAAK,GAAG,KAAK;IAChC,YAAY,EAAE,IAAI,GAAG,KAAK,GAAG,KAAK;IAClC,YAAY,EAAE,IAAI,GAAG,KAAK,GAAG,KAAK;IAClC,WAAW,EAAE,GAAG,GAAG,KAAK,GAAG,KAAK;IAChC,IAAI,EAAE,QAAU;IAChB,SAAS,EAAE,WAAc;IACzB,OAAO,EAAE,MAAM;CACf,CAAA;AAaD,MAAM,UAAU,iBAAiB,CAAC,IAAuB;IACxD,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACvB,IAAI,OAAO,KAAK,UAAU,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACnD,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,IAAI,UAAU,GAAkB,IAAI,CAAA;IACpC,IAAI,SAAS,GAAkB,IAAI,CAAA;IACnC,IAAI,UAAU,GAAkB,IAAI,CAAA;IACpC,IAAI,UAAU,GAAkB,IAAI,CAAA;IACpC,IAAI,KAAK,GAAkB,IAAI,CAAA;IAC/B,IAAI,QAAQ,GAAkB,IAAI,CAAA;IAClC,IAAI,SAAS,GAAkB,IAAI,CAAA;IACnC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QAC7B,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/C,OAAO,SAAS,CAAA;QACjB,CAAC;QACD,QAAQ,IAAI,EAAE,CAAC;YACd,KAAK,UAAU;gBACd,UAAU,GAAG,KAAK,CAAA;gBAClB,MAAK;YACN,KAAK,OAAO;gBACX,SAAS,GAAG,KAAK,CAAA;gBACjB,MAAK;YACN,KAAK,UAAU;gBACd,UAAU,GAAG,KAAK,CAAA;gBAClB,MAAK;YACN,KAAK,UAAU;gBACd,UAAU,GAAG,KAAK,CAAA;gBAClB,MAAK;YACN,KAAK,SAAS;gBACb,KAAK,GAAG,KAAK,CAAA;gBACb,MAAK;YACN,KAAK,YAAY;gBAChB,QAAQ,GAAG,KAAK,CAAA;gBAChB,MAAK;YACN,KAAK,cAAc,EAAE,CAAC;gBACrB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;gBACzC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;oBAClD,OAAO,SAAS,CAAA;gBACjB,CAAC;gBACD,SAAS,GAAG,MAAM,CAAA;gBAClB,MAAK;YACN,CAAC;YACD;gBACC,OAAO,SAAS,CAAA;QAClB,CAAC;IACF,CAAC;IACD,IAAI,UAAU,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QAC/C,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAA;AAC9F,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACpC,OAAO,CACN,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,WAAW,IAAI,KAAK;QACpB,YAAY,IAAI,KAAK;QACrB,SAAS,IAAI,KAAK;QAClB,MAAM,IAAI,KAAK,CACf,CAAA;AACF,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACpC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,QAAQ,IAAI,KAAK,IAAI,SAAS,IAAI,KAAK,CAAA;AAC9F,CAAC;AAOD,0EAA0E;AAC1E,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,EAAE,CAAC,gCAAgC,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAiB;IACpG,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;QACvC,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,kCAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAqC;QACvG,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,iCAAiC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;KAC3G,CAAC,CAAA;IACF,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC1F,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IACpC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACxB,UAAU,UAAU,OAAO,GAAG,CAAC,UAAU,sDAAsD,CAC/F,CAAA;IACF,CAAC;IACD,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,IAAI,WAAW,CAAA;IAChD,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IAC1C,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAC9D,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,UAAU,OAAO,GAAG,CAAC,UAAU,iBAAiB,CAAC,CAAA;IACtF,CAAC;IACD,IAAI,eAAe,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,eAAe,CAAC,EAAE,CAAC;QACtE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,UAAU,OAAO,GAAG,CAAC,UAAU,sCAAsC,CAAC,CAAA;IAC3G,CAAC;IACD,MAAM,QAAQ,GAAmB,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,CAAA;IAC/E,OAAO,QAAQ,CAAA;AAChB,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,0BAA0B,CAAC,CAAC,QAAQ,CAAC,EACxE,GAAiB,EACjB,QAAwB;IAExB,MAAM,IAAI,GAAoB,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,EAAE,CAAA;IACzG,MAAM,UAAU,GAAG;QAClB,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;KAC5D,CAAA;IACD,IAAI,GAAG,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,MAAM,GAAqB,KAAK,CAAC,CAAC,kBAAkB,CAAC;YAC1D,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;YACrE,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;YACnD,UAAU;YACV,IAAI;SACJ,CAAC,CAAA;QACF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAU,EAAE,CAAA;IACpC,CAAC;IACD,MAAM,MAAM,GAAgB,KAAK,CAAC,CAAC,eAAe,CAAC;QAClD,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;QACrE,UAAU;QACV,IAAI;KACJ,CAAC,CAAA;IACF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAE,CAAW,CAAC,CAAC,CAAE,CAAW,EAAE,CAAA;AACjF,CAAC,CAAC,CAAA"}
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/migrations/cli.ts"],"names":[],"mappings":";;;;;;;;AAAA;;;;;GAKG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAExC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAE7E,MAAM,CAAC,MAAM,SAAS,GAAG;;;;;CAKxB,CAAA;AAYD,MAAM,UAAU,iBAAiB,CAAC,IAAuB;IACxD,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACvB,IAAI,OAAO,KAAK,UAAU,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACnD,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,IAAI,UAAU,GAAkB,IAAI,CAAA;IACpC,IAAI,SAAS,GAAkB,IAAI,CAAA;IACnC,IAAI,UAAU,GAAkB,IAAI,CAAA;IACpC,IAAI,UAAU,GAAkB,IAAI,CAAA;IACpC,IAAI,KAAK,GAAkB,IAAI,CAAA;IAC/B,IAAI,QAAQ,GAAkB,IAAI,CAAA;IAClC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QAC7B,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/C,OAAO,SAAS,CAAA;QACjB,CAAC;QACD,QAAQ,IAAI,EAAE,CAAC;YACd,KAAK,UAAU;gBACd,UAAU,GAAG,KAAK,CAAA;gBAClB,MAAK;YACN,KAAK,OAAO;gBACX,SAAS,GAAG,KAAK,CAAA;gBACjB,MAAK;YACN,KAAK,UAAU;gBACd,UAAU,GAAG,KAAK,CAAA;gBAClB,MAAK;YACN,KAAK,UAAU;gBACd,UAAU,GAAG,KAAK,CAAA;gBAClB,MAAK;YACN,KAAK,SAAS;gBACb,KAAK,GAAG,KAAK,CAAA;gBACb,MAAK;YACN,KAAK,YAAY;gBAChB,QAAQ,GAAG,KAAK,CAAA;gBAChB,MAAK;YACN;gBACC,OAAO,SAAS,CAAA;QAClB,CAAC;IACF,CAAC;IACD,IAAI,UAAU,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QAC/C,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAA;AACnF,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACpC,OAAO,CACN,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,WAAW,IAAI,KAAK;QACpB,YAAY,IAAI,KAAK;QACrB,SAAS,IAAI,KAAK;QAClB,MAAM,IAAI,KAAK,CACf,CAAA;AACF,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACpC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,QAAQ,IAAI,KAAK,IAAI,SAAS,IAAI,KAAK,CAAA;AAC9F,CAAC;AAOD,0EAA0E;AAC1E,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,EAAE,CAAC,gCAAgC,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAiB;IACpG,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;QACvC,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,kCAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAqC;QACvG,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,iCAAiC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;KAC3G,CAAC,CAAA;IACF,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC1F,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IACpC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACxB,UAAU,UAAU,OAAO,GAAG,CAAC,UAAU,sDAAsD,CAC/F,CAAA;IACF,CAAC;IACD,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,IAAI,WAAW,CAAA;IAChD,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IAC1C,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAC9D,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,UAAU,OAAO,GAAG,CAAC,UAAU,iBAAiB,CAAC,CAAA;IACtF,CAAC;IACD,IAAI,eAAe,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,eAAe,CAAC,EAAE,CAAC;QACtE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,UAAU,OAAO,GAAG,CAAC,UAAU,sCAAsC,CAAC,CAAA;IAC3G,CAAC;IACD,MAAM,QAAQ,GAAmB,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,CAAA;IAC/E,OAAO,QAAQ,CAAA;AAChB,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,0BAA0B,CAAC,CAAC,QAAQ,CAAC,EACxE,GAAiB,EACjB,QAAwB;IAExB,MAAM,UAAU,GAAG;QAClB,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;KAC5D,CAAA;IACD,IAAI,GAAG,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,MAAM,GAAqB,KAAK,CAAC,CAAC,kBAAkB,CAAC;YAC1D,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;YACrE,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;YACnD,UAAU;SACV,CAAC,CAAA;QACF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAU,EAAE,CAAA;IACpC,CAAC;IACD,MAAM,MAAM,GAAgB,KAAK,CAAC,CAAC,eAAe,CAAC;QAClD,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;QACrE,UAAU;KACV,CAAC,CAAA;IACF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAE,CAAW,CAAC,CAAC,CAAE,CAAW,EAAE,CAAA;AACjF,CAAC,CAAC,CAAA"}

package/dist/migrations/codec.d.ts

@@ -1,19 +1,19 @@
 /**
- * The one native-codec seam of the migration GENERATOR (C11). Everything
+ * The native-codec interface of the migration generator. Everything
  * semantic — schema validation, canonical SchemaId, snapshot rendering, plan
  * validation/rendering/digesting, manifest verification/appending, plan-set
- * digests — happens in the native codec (P09: `schema_file::{schema_id,
- * render}`, `migration::plan`, `migration::manifest`) reached through the P06
- * bridge. TypeScript never reimplements framing, hashing or scalar
+ * digests — happens in the native `schema_file`, `migration::plan` and
+ * `migration::manifest` modules reached through the shared bridge.
+ * TypeScript never reimplements framing, hashing or scalar
  * arithmetic; this interface only names the two bounded read entrypoints the
  * generator calls. `#migrations/native.ts` binds the production codec;
- * authored tests drive the same generator through a scripted codec because
- * physical digest bytes remain provisional until the F3 format freeze (C12).
+ * generator tests can substitute a scripted codec to exercise refusal and
+ * repository-publication behavior independently of native execution.
  *
  * This module is types only — importing it performs no native work and does
  * not load the addon.
  */
-import type { ExecutionPolicy, NativeRuntime, SchemaSpec } from "@bjornpagen/bumbledb";
+import type { NativeRuntime, SchemaSpec } from "@bjornpagen/bumbledb";
 import type { Effect } from "effect";
 import type { LogError } from "../errors.js";
 import type { JsonValue } from "./canonical.js";
@@ -61,7 +61,7 @@ export interface ChainPayload {
 }
 export interface MigrationCodec {
     /** Validate + fingerprint + render the current schema natively. */
-    schemaIdentity(spec: SchemaSpec, work: ExecutionPolicy): Effect.Effect<SchemaIdentity, LogError, NativeRuntime>;
+    schemaIdentity(spec: SchemaSpec): Effect.Effect<SchemaIdentity, LogError, NativeRuntime>;
     /**
      * One native chain pass: parse + verify the manifest, bind every recorded
      * plan's canonical digest, optionally validate/append a new plan (returning
@@ -69,6 +69,6 @@ export interface MigrationCodec {
      * and optionally compute a pending plan-set digest. Nothing is trusted
      * from text.
      */
-    verifyChain(request: ChainRequest, work: ExecutionPolicy): Effect.Effect<ChainPayload, LogError, NativeRuntime>;
+    verifyChain(request: ChainRequest): Effect.Effect<ChainPayload, LogError, NativeRuntime>;
 }
 //# sourceMappingURL=codec.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/migrations/codec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtF,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AAEzD,MAAM,WAAW,cAAc;IAC9B,uEAAuE;IACvE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;CAC7B;AAED,MAAM,WAAW,YAAY;IAC5B,mFAAmF;IACnF,QAAQ,CAAC,QAAQ,EAAE,SAAS,GAAG,IAAI,CAAA;IACnC,wEAAwE;IACxE,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;IACpC,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,SAAS,SAAS,EAAE,CAAA;IACxC,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAA;IACpC,yEAAyE;IACzE,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,IAAI,CAAA;IACjC,qEAAqE;IACrE,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAA;CAC3E;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IACrC,QAAQ,CAAC,QAAQ,EAAE;QAClB,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;QAC5B,yEAAyE;QACzE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;QACzB,yDAAyD;QACzD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAC7B,GAAG,IAAI,CAAA;CACR;AAED,MAAM,WAAW,cAAc;IAC9B,mEAAmE;IACnE,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAA;IAC/G;;;;;;OAMG;IACH,WAAW,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAA;CAC/G"}
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/migrations/codec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACrE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AAEzD,MAAM,WAAW,cAAc;IAC9B,uEAAuE;IACvE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;CAC7B;AAED,MAAM,WAAW,YAAY;IAC5B,mFAAmF;IACnF,QAAQ,CAAC,QAAQ,EAAE,SAAS,GAAG,IAAI,CAAA;IACnC,wEAAwE;IACxE,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;IACpC,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,SAAS,SAAS,EAAE,CAAA;IACxC,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAA;IACpC,yEAAyE;IACzE,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,IAAI,CAAA;IACjC,qEAAqE;IACrE,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAA;CAC3E;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IACrC,QAAQ,CAAC,QAAQ,EAAE;QAClB,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;QAC5B,yEAAyE;QACzE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;QACzB,yDAAyD;QACzD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAC7B,GAAG,IAAI,CAAA;CACR;AAED,MAAM,WAAW,cAAc;IAC9B,mEAAmE;IACnE,cAAc,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAA;IACxF;;;;;;OAMG;IACH,WAAW,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAA;CACxF"}

package/dist/migrations/diff.d.ts

@@ -8,7 +8,7 @@
  * list — generation never guesses from matching shapes and never fabricates
  * a zero/null.
  *
- * Output is inert plan data with TOTAL ordinary-relation coverage (C11):
+ * 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

package/dist/migrations/diff.js

@@ -8,7 +8,7 @@
  * list — generation never guesses from matching shapes and never fabricates
  * a zero/null.
  *
- * Output is inert plan data with TOTAL ordinary-relation coverage (C11):
+ * 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

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

@@ -1 +1 @@
-{"version":3,"file":"expr.d.ts","sourceRoot":"","sources":["../../src/migrations/expr.ts"],"names":[],"mappings":"AAyBA,OAAO,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AAErE,MAAM,MAAM,UAAU,GACnB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC9F;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AAuElD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CA6D9D;AAsED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,OAAO,GAAG,UAAU,CAOhE;AAED,6DAA6D;AAC7D,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CAE5D"}
+{"version":3,"file":"expr.d.ts","sourceRoot":"","sources":["../../src/migrations/expr.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AAErE,MAAM,MAAM,UAAU,GACnB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC9F;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AAuElD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CA6D9D;AAsED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,OAAO,GAAG,UAAU,CAOhE;AAED,6DAA6D;AAC7D,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CAE5D"}

package/dist/migrations/expr.js

@@ -1,5 +1,5 @@
 /**
- * Core `ScalarExpr` → canonical plan expression data (exact reuse, C01/C11).
+ * Core `ScalarExpr` → canonical migration-plan expression data.
  * The generator SERIALIZES the core's typed scalar AST; it never evaluates
  * it — the native executor lowers the plan onto `bumbledb::ScalarExpr` and
  * the core `ScalarEvaluator` executes it with the core's exact numeric
@@ -8,18 +8,9 @@
  * native codec (`MAX_EXPR_DEPTH = 128`); any node outside the frozen core
  * roster (closure, module path, unknown kind) is an unsupported-transform
  * refusal, never a fallback.
- *
- * Assumed C01 core TS `ScalarExpr` runtime data (recorded in
- * implementation/packets/P10.md until P07's export lands) — the spelling is
- * identical to the plan JSON grammar in
- * `crates/bumbledb-log/src/migration/plan.rs::parse_expr`:
- *   { kind: "field", name } | { kind: "literal", value: <one-arm value> }
- *   | { kind: "negate" | "isNaN" | "isFinite", expr }
- *   | { kind: "add" | "subtract" | "multiply" | "divide", left, right }
- *   | { kind: "cast", cast: "toF64" | "toF64Exact" | "toI64Exact" | "toU64Exact", expr }
- * Literal payloads accept BOTH the wire spelling (decimal strings/bit hex)
- * and the idiomatic host values (bigint/number/Uint8Array) the core SDK's
- * `literal` constructor may retain.
+ * Literal payloads accept canonical wire values and the bigint, number,
+ * and Uint8Array values retained by core SDK constructors. The serialized
+ * form is checked again by the native migration-plan decoder.
  */
 import { Uuid } from "@bjornpagen/bumbledb";
 import { bytesHex, f64Bits } from "#migrations/canonical.ts";

package/dist/migrations/expr.js.map

@@ -1 +1 @@
-{"version":3,"file":"expr.js","sourceRoot":"","sources":["../../src/migrations/expr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AAO5D,MAAM,SAAS,GAAG,GAAG,CAAA;AACrB,MAAM,SAAS,GAAG,IAAI,CAAA;AACtB,MAAM,QAAQ,GAAG,KAAK,CAAA;AAEtB,SAAS,MAAM,CAAC,MAAc;IAC7B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AAC7B,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC/B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAA;AACnD,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,MAAc;IACnD,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAA;IACb,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;QACnC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;YAClE,OAAO,KAAK,CAAA;QACb,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,MAAM,OAAO,GAAG,mBAAmB,CAAA;AACnC,MAAM,OAAO,GAAG,CAAC,mBAAmB,CAAA;AACpC,MAAM,OAAO,GAAG,mBAAmB,CAAA;AAEnC,SAAS,UAAU,CAAC,KAAc;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,IAAI,EAAE,IAAI,KAAK,IAAI,OAAO,EAAE,CAAC;QAClE,OAAO,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IAC1B,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,IAAI,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5G,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;IAC/C,CAAC;IACD,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,IAAI,OAAO,IAAI,KAAK,IAAI,OAAO,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IAC1B,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,IAAI,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9G,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;QAC5B,OAAO,MAAM,IAAI,OAAO,IAAI,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;IAC7D,CAAC;IACD,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC7B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,OAAO,CAAC,KAAK,CAAC,CAAA;IACtB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAA;IACb,CAAC;IACD,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,GAAoC;IACnE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,OAAO,IAAI,CAAA;IACZ,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3B,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IACzB,OAAO,KAAK,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;AAC5D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,KAAc;IACzC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,uDAAuD,CAAA;IAC/D,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,mDAAmD,CAAA;IAC3D,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACnB,MAAM,IAAI,GAAY,KAAK,CAAC,GAAyB,CAAC,CAAA;IACtD,QAAQ,GAAG,EAAE,CAAC;QACb,KAAK,MAAM;YACV,OAAO,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,8BAA8B,CAAA;QACnF,KAAK,KAAK,EAAE,CAAC;YACZ,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;YAChC,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,gDAAgD,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAA;QAC9F,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACZ,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;YAChC,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,gDAAgD,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAA;QAC9F,CAAC;QACD,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;YACzB,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,qDAAqD,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;QAC9F,CAAC;QACD,KAAK,MAAM;YACV,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,qCAAqC,CAAA;QAClF,KAAK,QAAQ;YACZ,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,IAAI,IAAI,CAAC,YAAY,EAAE;gBAChF,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;gBAClB,CAAC,CAAC,+CAA+C,CAAA;QACnD,KAAK,YAAY,EAAE,CAAC;YACnB,IAAI,IAAI,YAAY,UAAU,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,EAAE,CAAC;gBAC3D,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAA;YACtC,CAAC;YACD,IACC,OAAO,IAAI,KAAK,QAAQ;gBACxB,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,QAAQ;gBAC3B,IAAI,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC;gBACrB,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAChC,CAAC;gBACF,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;YAC5B,CAAC;YACD,OAAO,gEAAgE,CAAA;QACxE,CAAC;QACD,KAAK,aAAa,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;YACrC,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,kDAAkD,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;QAClG,CAAC;QACD,KAAK,aAAa,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;YACrC,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,kDAAkD,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;QAClG,CAAC;QACD,KAAK,aAAa,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YACjC,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,+CAA+C,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;QAC/F,CAAC;QACD;YACC,OAAO,uBAAuB,GAAG,EAAE,CAAA;IACrC,CAAC;AACF,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,CAAU,CAAA;AAM1E,SAAS,IAAI,CAAC,IAAa,EAAE,KAAa,EAAE,MAAc,EAAE,MAAmB;IAC9E,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;QACvB,OAAO,0BAA0B,SAAS,EAAE,CAAA;IAC7C,CAAC;IACD,MAAM,CAAC,KAAK,IAAI,CAAC,CAAA;IACjB,IAAI,MAAM,CAAC,KAAK,GAAG,SAAS,EAAE,CAAC;QAC9B,OAAO,0BAA0B,SAAS,QAAQ,CAAA;IACnD,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtD,OAAO,mHAAmH,CAAA;IAC3H,CAAC;IACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO,EAAE,CAAC;YACd,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;gBACvF,OAAO,qDAAqD,CAAA;YAC7D,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACrB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAA;QAC1C,CAAC;QACD,KAAK,SAAS,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACrC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;QACtE,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,UAAU,EAAE,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;YACxD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAA;YACb,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;QACxC,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;YACvD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC9B,OAAO,IAAI,CAAA;YACZ,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;YACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAA;YACb,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;QACxC,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAA;YACrD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,gBAAgB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,iEAAiE,CAAA;YAC1G,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;YACxD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAA;YACb,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;QAC3C,CAAC;QACD;YACC,OAAO,+BAA+B,IAAI,CAAC,IAAI,0GAA0G,CAAA;IAC3J,CAAC;AACF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAAmB;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IAChC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;IACzD,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,OAAO,CAAC,CAAA;IACvB,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAA;AAC9D,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,eAAe,CAAC,IAAY;IAC3C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;AAC/B,CAAC"}
+{"version":3,"file":"expr.js","sourceRoot":"","sources":["../../src/migrations/expr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AAO5D,MAAM,SAAS,GAAG,GAAG,CAAA;AACrB,MAAM,SAAS,GAAG,IAAI,CAAA;AACtB,MAAM,QAAQ,GAAG,KAAK,CAAA;AAEtB,SAAS,MAAM,CAAC,MAAc;IAC7B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AAC7B,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC/B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAA;AACnD,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,MAAc;IACnD,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAA;IACb,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;QACnC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;YAClE,OAAO,KAAK,CAAA;QACb,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,MAAM,OAAO,GAAG,mBAAmB,CAAA;AACnC,MAAM,OAAO,GAAG,CAAC,mBAAmB,CAAA;AACpC,MAAM,OAAO,GAAG,mBAAmB,CAAA;AAEnC,SAAS,UAAU,CAAC,KAAc;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,IAAI,EAAE,IAAI,KAAK,IAAI,OAAO,EAAE,CAAC;QAClE,OAAO,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IAC1B,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,IAAI,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5G,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;IAC/C,CAAC;IACD,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,IAAI,OAAO,IAAI,KAAK,IAAI,OAAO,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IAC1B,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,IAAI,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9G,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;QAC5B,OAAO,MAAM,IAAI,OAAO,IAAI,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;IAC7D,CAAC;IACD,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC7B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,OAAO,CAAC,KAAK,CAAC,CAAA;IACtB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAA;IACb,CAAC;IACD,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,GAAoC;IACnE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,OAAO,IAAI,CAAA;IACZ,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3B,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IACzB,OAAO,KAAK,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;AAC5D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,KAAc;IACzC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,uDAAuD,CAAA;IAC/D,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,mDAAmD,CAAA;IAC3D,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACnB,MAAM,IAAI,GAAY,KAAK,CAAC,GAAyB,CAAC,CAAA;IACtD,QAAQ,GAAG,EAAE,CAAC;QACb,KAAK,MAAM;YACV,OAAO,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,8BAA8B,CAAA;QACnF,KAAK,KAAK,EAAE,CAAC;YACZ,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;YAChC,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,gDAAgD,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAA;QAC9F,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACZ,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;YAChC,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,gDAAgD,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAA;QAC9F,CAAC;QACD,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;YACzB,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,qDAAqD,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;QAC9F,CAAC;QACD,KAAK,MAAM;YACV,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,qCAAqC,CAAA;QAClF,KAAK,QAAQ;YACZ,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,IAAI,IAAI,CAAC,YAAY,EAAE;gBAChF,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;gBAClB,CAAC,CAAC,+CAA+C,CAAA;QACnD,KAAK,YAAY,EAAE,CAAC;YACnB,IAAI,IAAI,YAAY,UAAU,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,EAAE,CAAC;gBAC3D,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAA;YACtC,CAAC;YACD,IACC,OAAO,IAAI,KAAK,QAAQ;gBACxB,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,QAAQ;gBAC3B,IAAI,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC;gBACrB,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAChC,CAAC;gBACF,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;YAC5B,CAAC;YACD,OAAO,gEAAgE,CAAA;QACxE,CAAC;QACD,KAAK,aAAa,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;YACrC,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,kDAAkD,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;QAClG,CAAC;QACD,KAAK,aAAa,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;YACrC,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,kDAAkD,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;QAClG,CAAC;QACD,KAAK,aAAa,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YACjC,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,+CAA+C,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;QAC/F,CAAC;QACD;YACC,OAAO,uBAAuB,GAAG,EAAE,CAAA;IACrC,CAAC;AACF,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,CAAU,CAAA;AAM1E,SAAS,IAAI,CAAC,IAAa,EAAE,KAAa,EAAE,MAAc,EAAE,MAAmB;IAC9E,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;QACvB,OAAO,0BAA0B,SAAS,EAAE,CAAA;IAC7C,CAAC;IACD,MAAM,CAAC,KAAK,IAAI,CAAC,CAAA;IACjB,IAAI,MAAM,CAAC,KAAK,GAAG,SAAS,EAAE,CAAC;QAC9B,OAAO,0BAA0B,SAAS,QAAQ,CAAA;IACnD,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtD,OAAO,mHAAmH,CAAA;IAC3H,CAAC;IACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO,EAAE,CAAC;YACd,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;gBACvF,OAAO,qDAAqD,CAAA;YAC7D,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACrB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAA;QAC1C,CAAC;QACD,KAAK,SAAS,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACrC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;QACtE,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,UAAU,EAAE,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;YACxD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAA;YACb,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;QACxC,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;YACvD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC9B,OAAO,IAAI,CAAA;YACZ,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;YACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAA;YACb,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;QACxC,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAA;YACrD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,gBAAgB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,iEAAiE,CAAA;YAC1G,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;YACxD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAA;YACb,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;QAC3C,CAAC;QACD;YACC,OAAO,+BAA+B,IAAI,CAAC,IAAI,0GAA0G,CAAA;IAC3J,CAAC;AACF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAAmB;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IAChC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;IACzD,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,OAAO,CAAC,CAAA;IACvB,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAA;AAC9D,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,eAAe,CAAC,IAAY;IAC3C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;AAC/B,CAAC"}

package/dist/migrations/fail.d.ts

@@ -1,17 +1,7 @@
 /**
- * Migration-lane failure construction over the one log error vocabulary
- * (`LogError = DbError | ProtocolError`, P08's `#errors.ts`). Refusals are
- * typed E failures with bounded structured detail; there is no third error
- * class and no side-channel message matching. Resource-budget refusals use
- * the core `DbError` `ResourceLimit` reason.
- *
- * Cross-lane note (recorded in implementation/packets/P10.md): the structured
- * reasons `MigrationIntentRequired`/`MigrationUnsupported`/
- * `MigrationRepository` and the structured `MigrationDrift` payload are
- * requested additions to P08's `#codes.ts`/`#errors.ts` roster, mirroring the
- * native migration codec's refusal codes (C11).
+ * Migration failures use the shared `DbError | ProtocolError` vocabulary.
+ * Reasons carry bounded structured detail; consumers never parse messages.
  */
-import { DbError } from "@bjornpagen/bumbledb";
 import { ProtocolError } from "../errors.js";
 /** One actionable generation refusal: what is required, about which subject. */
 export interface IntentRequirement {
@@ -29,6 +19,4 @@ export declare function drift(operation: string, detail: string): ProtocolError;
 export declare function unsupported(operation: string, detail: string): ProtocolError;
 /** A malformed or unreadable repository artifact/layout. */
 export declare function repository(operation: string, path: string, detail: string): ProtocolError;
-/** A generation/seed budget refusal on the core resource reason. */
-export declare function budget(operation: string, dimension: string, used: bigint, requested: bigint, limit: bigint): DbError;
 //# sourceMappingURL=fail.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"fail.d.ts","sourceRoot":"","sources":["../../src/migrations/fail.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAE1C,gFAAgF;AAChF,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,IAAI,EACV,WAAW,GACX,aAAa,GACb,kBAAkB,GAClB,aAAa,GACb,aAAa,GACb,cAAc,GACd,oBAAoB,CAAA;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACvB;AAKD,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAEpD;AAWD,iFAAiF;AACjF,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,iBAAiB,EAAE,GAAG,aAAa,CAU3G;AAED,iFAAiF;AACjF,wBAAgB,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,aAAa,CAKtE;AAED,sEAAsE;AACtE,wBAAgB,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,aAAa,CAK5E;AAED,4DAA4D;AAC5D,wBAAgB,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,aAAa,CAKzF;AAED,oEAAoE;AACpE,wBAAgB,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAKpH"}
+{"version":3,"file":"fail.d.ts","sourceRoot":"","sources":["../../src/migrations/fail.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAE1C,gFAAgF;AAChF,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,IAAI,EACV,WAAW,GACX,aAAa,GACb,kBAAkB,GAClB,aAAa,GACb,aAAa,GACb,cAAc,GACd,oBAAoB,CAAA;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACvB;AAKD,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAEpD;AAWD,iFAAiF;AACjF,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,iBAAiB,EAAE,GAAG,aAAa,CAU3G;AAED,iFAAiF;AACjF,wBAAgB,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,aAAa,CAKtE;AAED,sEAAsE;AACtE,wBAAgB,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,aAAa,CAK5E;AAED,4DAA4D;AAC5D,wBAAgB,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,aAAa,CAKzF"}

package/dist/migrations/fail.js

@@ -1,17 +1,7 @@
 /**
- * Migration-lane failure construction over the one log error vocabulary
- * (`LogError = DbError | ProtocolError`, P08's `#errors.ts`). Refusals are
- * typed E failures with bounded structured detail; there is no third error
- * class and no side-channel message matching. Resource-budget refusals use
- * the core `DbError` `ResourceLimit` reason.
- *
- * Cross-lane note (recorded in implementation/packets/P10.md): the structured
- * reasons `MigrationIntentRequired`/`MigrationUnsupported`/
- * `MigrationRepository` and the structured `MigrationDrift` payload are
- * requested additions to P08's `#codes.ts`/`#errors.ts` roster, mirroring the
- * native migration codec's refusal codes (C11).
+ * Migration failures use the shared `DbError | ProtocolError` vocabulary.
+ * Reasons carry bounded structured detail; consumers never parse messages.
  */
-import { DbError } from "@bjornpagen/bumbledb";
 import { ProtocolError } from "#errors.ts";
 const MAX_REQUIREMENTS = 32;
 const MAX_DETAIL = 512;
@@ -59,11 +49,4 @@ export function repository(operation, path, detail) {
         reason: { _tag: "MigrationRepository", path: boundedDetail(path), detail: boundedDetail(detail) }
     });
 }
-/** A generation/seed budget refusal on the core resource reason. */
-export function budget(operation, dimension, used, requested, limit) {
-    return new DbError({
-        operation,
-        reason: { _tag: "ResourceLimit", dimension, used, requested, limit }
-    });
-}
 //# sourceMappingURL=fail.js.map

package/dist/migrations/fail.js.map

@@ -1 +1 @@
-{"version":3,"file":"fail.js","sourceRoot":"","sources":["../../src/migrations/fail.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAiB1C,MAAM,gBAAgB,GAAG,EAAE,CAAA;AAC3B,MAAM,UAAU,GAAG,GAAG,CAAA;AAEtB,MAAM,UAAU,aAAa,CAAC,MAAc;IAC3C,OAAO,MAAM,CAAC,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAA;AACnF,CAAC;AAED,SAAS,kBAAkB,CAAC,WAA8B;IACzD,OAAO;QACN,IAAI,EAAE,WAAW,CAAC,IAAI;QACtB,QAAQ,EAAE,WAAW,CAAC,QAAQ;QAC9B,KAAK,EAAE,WAAW,CAAC,KAAK;QACxB,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,MAAM,CAAC;KACzC,CAAA;AACF,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,cAAc,CAAC,SAAiB,EAAE,YAA0C;IAC3F,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,GAAG,gBAAgB,CAAA;IACxD,OAAO,IAAI,aAAa,CAAC;QACxB,SAAS;QACT,MAAM,EAAE;YACP,IAAI,EAAE,yBAAyB;YAC/B,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC;YAC7E,SAAS;SACT;KACD,CAAC,CAAA;AACH,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,KAAK,CAAC,SAAiB,EAAE,MAAc;IACtD,OAAO,IAAI,aAAa,CAAC;QACxB,SAAS;QACT,MAAM,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE;KACjE,CAAC,CAAA;AACH,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,WAAW,CAAC,SAAiB,EAAE,MAAc;IAC5D,OAAO,IAAI,aAAa,CAAC;QACxB,SAAS;QACT,MAAM,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE;KACvE,CAAC,CAAA;AACH,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,UAAU,CAAC,SAAiB,EAAE,IAAY,EAAE,MAAc;IACzE,OAAO,IAAI,aAAa,CAAC;QACxB,SAAS;QACT,MAAM,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE;KACjG,CAAC,CAAA;AACH,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,MAAM,CAAC,SAAiB,EAAE,SAAiB,EAAE,IAAY,EAAE,SAAiB,EAAE,KAAa;IAC1G,OAAO,IAAI,OAAO,CAAC;QAClB,SAAS;QACT,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE;KACpE,CAAC,CAAA;AACH,CAAC"}
+{"version":3,"file":"fail.js","sourceRoot":"","sources":["../../src/migrations/fail.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAiB1C,MAAM,gBAAgB,GAAG,EAAE,CAAA;AAC3B,MAAM,UAAU,GAAG,GAAG,CAAA;AAEtB,MAAM,UAAU,aAAa,CAAC,MAAc;IAC3C,OAAO,MAAM,CAAC,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAA;AACnF,CAAC;AAED,SAAS,kBAAkB,CAAC,WAA8B;IACzD,OAAO;QACN,IAAI,EAAE,WAAW,CAAC,IAAI;QACtB,QAAQ,EAAE,WAAW,CAAC,QAAQ;QAC9B,KAAK,EAAE,WAAW,CAAC,KAAK;QACxB,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,MAAM,CAAC;KACzC,CAAA;AACF,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,cAAc,CAAC,SAAiB,EAAE,YAA0C;IAC3F,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,GAAG,gBAAgB,CAAA;IACxD,OAAO,IAAI,aAAa,CAAC;QACxB,SAAS;QACT,MAAM,EAAE;YACP,IAAI,EAAE,yBAAyB;YAC/B,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC;YAC7E,SAAS;SACT;KACD,CAAC,CAAA;AACH,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,KAAK,CAAC,SAAiB,EAAE,MAAc;IACtD,OAAO,IAAI,aAAa,CAAC;QACxB,SAAS;QACT,MAAM,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE;KACjE,CAAC,CAAA;AACH,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,WAAW,CAAC,SAAiB,EAAE,MAAc;IAC5D,OAAO,IAAI,aAAa,CAAC;QACxB,SAAS;QACT,MAAM,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE;KACvE,CAAC,CAAA;AACH,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,UAAU,CAAC,SAAiB,EAAE,IAAY,EAAE,MAAc;IACzE,OAAO,IAAI,aAAa,CAAC;QACxB,SAAS;QACT,MAAM,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE;KACjG,CAAC,CAAA;AACH,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../src/migrations/generate.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAGX,aAAa,EAEb,eAAe,EAEf,MAAM,sBAAsB,CAAA;AAI7B,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAG1C,OAAO,KAAK,EAAgB,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAcxE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAc9D,OAAO,KAAK,EACX,YAAY,EACZ,WAAW,EACX,eAAe,EACf,gBAAgB,EAMhB,MAAM,sBAAsB,CAAA;AA0M7B,wBAAgB,aAAa,CAAC,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,mBAAmB;yBAyIC,IAAI,SAAS,eAAe;sBAuJlC,IAAI,SAAS,eAAe;EAiEzG"}
+{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../src/migrations/generate.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAAe,aAAa,EAAgB,eAAe,EAAc,MAAM,sBAAsB,CAAA;AAIjH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAG1C,OAAO,KAAK,EAAgB,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAcxE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAc9D,OAAO,KAAK,EACX,YAAY,EACZ,WAAW,EACX,eAAe,EACf,gBAAgB,EAMhB,MAAM,sBAAsB,CAAA;AAqM7B,wBAAgB,aAAa,CAAC,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,mBAAmB;yBAqIC,IAAI,SAAS,eAAe;sBA8IlC,IAAI,SAAS,eAAe;EAgEzG"}

package/dist/migrations/generate.js

@@ -20,12 +20,12 @@
  * schema lowering and the core row-cell codec are imported literally.
  */
 import * as path from "node:path";
-import { cellBytes, cellOf, Uuid } from "@bjornpagen/bumbledb";
+import { cellOf, Uuid } from "@bjornpagen/bumbledb";
 import { lower } from "@bjornpagen/bumbledb/internal/log";
 import { Effect } from "effect";
 import { bytesHex, f64Bits, planJson, renderContract, renderIndex, renderSnapshots } from "#migrations/canonical.ts";
 import { diffSchemas } from "#migrations/diff.ts";
-import { budget, drift, intentRequired, unsupported } from "#migrations/fail.ts";
+import { drift, intentRequired, unsupported } from "#migrations/fail.ts";
 import { ensureDirectory, joinPendingIo, readBounded, removeFile, writeDerived, writeImmutable, writeManifest } from "#migrations/fsops.ts";
 import { baseSnapshotPath, contractPath, indexPath, latestSnapshot, manifestPath, planId, planPath, readRepository, snapshotPath, snapshotsSidecarPath } from "#migrations/repo.ts";
 import { parseTheory } from "#migrations/theory.ts";
@@ -54,10 +54,10 @@ function deriveLabel(tokens) {
     return label.endsWith("-") ? label.slice(0, -1) : label;
 }
 // ---------------------------------------------------------------------------
-// Bounded declarative seed ingestion. The caller-owned iterables are read
-// exactly once, in chunks that let the event loop turn, with row/byte budgets
-// charged against the supplied policy. Values lower through the core's one
-// row-cell codec (`cellOf`) — no duplicate field roster.
+// Read caller iterables once, yielding between bounded processing steps.
+// The generated document owns the lowered rows; no second chunk array is
+// necessary. This is incremental ingestion, not a streaming document codec.
+// Values lower through the core's one row-cell codec (`cellOf`).
 // ---------------------------------------------------------------------------
 function isOrdinaryRelation(member) {
     return (typeof member === "object" &&
@@ -84,7 +84,7 @@ function planValueOfCell(relation, ordinal, cell) {
             return { $f64: f64Bits(typeof cell === "number" ? cell : Number.NaN) };
         case "uuid": {
             // The core row-cell codec lowers uuid to its canonical
-            // canonical hyphenated UUID string (chapter 35) — already the plan wire
+            // canonical hyphenated UUID string — already the plan wire
             // spelling.
             if (!Uuid.isUuid(cell)) {
                 throw new Error(`relation ${relation.name}.${declared.name}: uuid cell did not lower to canonical hex`);
@@ -113,10 +113,9 @@ function planValueOfCell(relation, ordinal, cell) {
         }
     }
 }
-const lowerSeeds = Effect.fn("bumbledb-log.migrations.lowerSeeds")(function* (relations, intents, seedRelations, work) {
+const lowerSeeds = Effect.fn("bumbledb-log.migrations.lowerSeeds")(function* (relations, intents, seedRelations) {
     const operation = "migrations.generate";
     const seedOps = [];
-    const used = { rows: 0n, bytes: 0n };
     for (const relationName of seedRelations) {
         const member = relations[relationName];
         if (!isOrdinaryRelation(member)) {
@@ -128,44 +127,36 @@ const lowerSeeds = Effect.fn("bumbledb-log.migrations.lowerSeeds")(function* (re
             if (intent.kind !== "seed" || intent.relation !== relationName) {
                 continue;
             }
-            const iterator = intent.rows[Symbol.iterator]();
-            let done = false;
-            while (!done) {
-                // One bounded chunk per Effect step so the event loop can turn.
-                const chunk = yield* Effect.try({
-                    try: () => {
-                        const lowered = [];
-                        for (let index = 0; index < SEED_CHUNK; index += 1) {
-                            const next = iterator.next();
-                            if (next.done === true) {
-                                done = true;
-                                break;
+            const refused = (cause) => unsupported(operation, `seed ${relationName}: ${cause instanceof Error ? cause.message : "row refused by the core cell codec"}`);
+            yield* Effect.acquireUseRelease(Effect.try({
+                try: () => ({ iterator: intent.rows[Symbol.iterator](), done: false }),
+                catch: refused
+            }), (state) => Effect.gen(function* () {
+                while (!state.done) {
+                    yield* Effect.try({
+                        try: () => {
+                            for (let index = 0; index < SEED_CHUNK; index += 1) {
+                                const next = state.iterator.next();
+                                if (next.done === true) {
+                                    state.done = true;
+                                    break;
+                                }
+                                const fact = next.value;
+                                rows.push(data.fields.map((declared, ordinal) => {
+                                    const cell = cellOf(`seed ${relationName}.${declared.name}`, declared.field, fact[declared.name]);
+                                    return planValueOfCell(data, ordinal, cell);
+                                }));
                             }
-                            const fact = next.value;
-                            const cells = data.fields.map((declared, ordinal) => {
-                                const raw = fact[declared.name];
-                                const cell = cellOf(`seed ${relationName}.${declared.name}`, declared.field, raw);
-                                used.bytes += cellBytes(cell);
-                                return planValueOfCell(data, ordinal, cell);
-                            });
-                            used.rows += 1n;
-                            lowered.push(cells);
-                        }
-                        return lowered;
-                    },
-                    catch: (cause) => unsupported(operation, `seed ${relationName}: ${cause instanceof Error ? cause.message : "row refused by the core cell codec"}`)
-                });
-                if (used.rows > work.rows) {
-                    return yield* Effect.fail(budget(operation, "seed.rows", used.rows, used.rows, work.rows));
+                        },
+                        catch: refused
+                    });
+                    if (!state.done)
+                        yield* Effect.yieldNow;
                 }
-                if (used.bytes > work.inputBytes) {
-                    return yield* Effect.fail(budget(operation, "seed.inputBytes", used.bytes, used.bytes, work.inputBytes));
-                }
-                rows.push(...chunk);
-                if (!done) {
-                    yield* Effect.yieldNow;
-                }
-            }
+            }), (state) => Effect.sync(() => {
+                if (!state.done)
+                    state.iterator.return?.();
+            }));
         }
         seedOps.push({ kind: "seed", target: relationName, rows });
     }
@@ -196,9 +187,9 @@ export function makeGenerator(codec, exclusion) {
             planTrees.push(yield* parseTree(operation, `plan ${index}`, text));
         }
         const currentSpec = lower(options.schema);
-        const identity = yield* codec.schemaIdentity(currentSpec, options.work);
+        const identity = yield* codec.schemaIdentity(currentSpec);
         // Empty-base snapshot is always compiled — empty source is not a shortcut.
-        const emptyIdentity = yield* codec.schemaIdentity(EMPTY_SPEC, options.work);
+        const emptyIdentity = yield* codec.schemaIdentity(EMPTY_SPEC);
         const baseSchemaId = repoState.manifest === null ? emptyIdentity.schemaId : repoState.manifest.baseSchemaId;
         const emptySnapshotTree = yield* parseTree(operation, "empty-base snapshot", emptyIdentity.snapshot);
         const snapshotChain = snapshotTrees.length > 0 ? snapshotTrees : [emptySnapshotTree];
@@ -209,7 +200,7 @@ export function makeGenerator(codec, exclusion) {
             plans: planTrees,
             append: null,
             planSet: null
-        }, options.work);
+        });
         const previousText = latestSnapshot(repoState);
         const prevSource = previousText === null ? emptyIdentity.snapshot : previousText;
         const parsedPrev = parseTheory(prevSource);
@@ -268,7 +259,7 @@ export function makeGenerator(codec, exclusion) {
     // -------------------------------------------------------------------------
     // generateMigrations
     // -------------------------------------------------------------------------
-    function exclusive(operation, directory, work, body) {
+    function exclusive(operation, directory, body) {
         return Effect.uninterruptibleMask((restore) => Effect.scoped(Effect.gen(function* () {
             // L16 `internalAcquireRepositoryLock` registers
             // `RepositoryLock.release` (`logRepositoryLockRelease`)
@@ -279,14 +270,14 @@ export function makeGenerator(codec, exclusion) {
             // release (request: clear `slot.owner` after
             // `joinLockRelease` so `joinPendingIo.andThen(lock.release)`
             // is the one close).
-            yield* restore(exclusion.acquire(operation, directory, work));
+            yield* restore(exclusion.acquire(operation, directory));
             return yield* restore(body).pipe(Effect.ensuring(joinPendingIo));
         })));
     }
     const generateMigrations = Effect.fn("bumbledb-log.generateMigrations")(function* (options) {
         const operation = "migrations.generate";
         const directory = options.repository.directory;
-        return yield* exclusive(operation, directory, options.work, Effect.gen(function* () {
+        return yield* exclusive(operation, directory, Effect.gen(function* () {
             yield* ensureDirectory(operation, directory);
             if (options.label !== undefined && !validLabel(options.label)) {
                 return yield* Effect.fail(unsupported(operation, `label must be 1..${MAX_LABEL} characters of [a-z0-9-]`));
@@ -336,7 +327,7 @@ export function makeGenerator(codec, exclusion) {
             const label = options.label ?? deriveLabel(analysis.diff.labelTokens);
             const id = planId(sequence, label);
             // Seeds are ingested exactly once, bounded, at generation time.
-            const seedOps = yield* lowerSeeds(options.schema.relations, analysis.seedIntents, analysis.diff.seedRelations, options.work);
+            const seedOps = yield* lowerSeeds(options.schema.relations, analysis.seedIntents, analysis.diff.seedRelations);
             const operations = [
                 ...analysis.diff.operations,
                 ...seedOps,
@@ -360,7 +351,7 @@ export function makeGenerator(codec, exclusion) {
                 plans: analysis.planTrees,
                 append: planJson(plan),
                 planSet: null
-            }, options.work);
+            });
             if (chain.appended === null) {
                 return yield* Effect.fail(drift(operation, "the native chain pass did not append the validated plan"));
             }
@@ -419,7 +410,7 @@ export function makeGenerator(codec, exclusion) {
     const checkMigrations = Effect.fn("bumbledb-log.checkMigrations")(function* (options) {
         const operation = "migrations.check";
         const directory = options.repository.directory;
-        return yield* exclusive(operation, directory, options.work, Effect.gen(function* () {
+        return yield* exclusive(operation, directory, Effect.gen(function* () {
             const analysis = yield* analyze(options);
             if (analysis.diff.requirements.length > 0) {
                 return yield* Effect.fail(intentRequired(operation, analysis.diff.requirements));