@plurnk/plurnk-service 1.14.2 → 1.16.0

package/dist/core/MutationEffects.d.ts

@@ -0,0 +1,29 @@
+import { type ResourceSelection } from "@plurnk/plurnk-contracts";
+import { type ScopeNormalization } from "@plurnk/plurnk-schemes";
+import type { ProposalSettlement } from "./ProposalLifecycle.ts";
+import { type EditBatchReceipt, type LineAnchorPrecondition, type ResourceEffect, type ResourceEffectAction } from "../content/index.ts";
+import type { DispatchResult, PreparedEdit, ResourceAddress, AddressedResourceSelection, ResolvedResourceSelection, SelectedSource, DeferredMoveSource, PendingResourceEffect } from "./mutation-types.ts";
+export default class MutationEffects {
+    static failure(code: string, status: number, detail: string, fields?: Readonly<Record<string, unknown>>, extensions?: Readonly<Record<string, unknown>>): DispatchResult;
+    static isAppendMarker(marker: ResourceSelection["lineMarker"]): boolean;
+    static isCompleteAbsentDestinationMarker(marker: ResourceSelection["lineMarker"], content: string): boolean;
+    static isDispatchResult(value: AddressedResourceSelection | SelectedSource | DispatchResult): value is DispatchResult;
+    static prependScopeNormalizations(result: DispatchResult, scopeNormalizations: ReadonlyArray<ScopeNormalization> | undefined): DispatchResult;
+    static mergeLineAnchorPreconditions(...values: ReadonlyArray<LineAnchorPrecondition | null>): LineAnchorPrecondition | null;
+    static appliedEffects(result: DispatchResult, pending: readonly PendingResourceEffect[]): DispatchResult;
+    static withEditMaterialization(result: DispatchResult, receipt: EditBatchReceipt): DispatchResult;
+    static effectsOf(result: DispatchResult): readonly ResourceEffect[];
+    static withCombinedEffects(result: DispatchResult, ...additional: ReadonlyArray<readonly ResourceEffect[]>): DispatchResult;
+    static settleProposalEffects(original: DispatchResult, settlement: ProposalSettlement): ProposalSettlement;
+    static settlementEffects(settlement: ProposalSettlement): readonly ResourceEffect[];
+    static withSettlementEffects(settlement: ProposalSettlement, effects: readonly ResourceEffect[]): ProposalSettlement;
+    static resourceAddress(selection: ResourceAddress): string;
+    static pendingEffect(selection: ResourceAddress, action: ResourceEffectAction): PendingResourceEffect;
+    static withProposalRoute(result: DispatchResult, selection: ResourceAddress): DispatchResult;
+    static projectPreparedEdit(prepared: PreparedEdit): Promise<DispatchResult>;
+    static finalizeEffects(result: DispatchResult, selection: ResourceAddress, pending: readonly PendingResourceEffect[]): DispatchResult;
+    static sameChannel(left: ResourceAddress, right: ResourceAddress): boolean;
+    static moveFailureAfterDestination(result: DispatchResult, destination: string, destinationEffects: readonly ResourceEffect[]): DispatchResult;
+    static deferredMoveSource(source: ResolvedResourceSelection, destination: ResourceAddress, lineAnchorPrecondition: LineAnchorPrecondition | null): DeferredMoveSource;
+}
+//# sourceMappingURL=MutationEffects.d.ts.map

package/dist/core/MutationEffects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MutationEffects.d.ts","sourceRoot":"","sources":["../../src/core/MutationEffects.ts"],"names":[],"mappings":"AACA,OAAO,EAAc,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE9E,OAAO,EAA+B,KAAK,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC9F,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,OAAO,EAAwF,KAAK,gBAAgB,EAAE,KAAK,sBAAsB,EAAE,KAAK,cAAc,EAAE,KAAK,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAE/N,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,eAAe,EAAE,0BAA0B,EAAE,yBAAyB,EAAE,cAAc,EAAE,kBAAkB,EAAE,qBAAqB,EAA8B,MAAM,qBAAqB,CAAC;AAEvO,MAAM,CAAC,OAAO,OAAO,eAAe;IAChC,MAAM,CAAC,OAAO,CACV,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,MAAM,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,EAC9C,UAAU,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,GACnD,cAAc,CAEhB;IAID,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,iBAAiB,CAAC,YAAY,CAAC,GAAG,OAAO,CAGtE;IAGD,MAAM,CAAC,iCAAiC,CACpC,MAAM,EAAE,iBAAiB,CAAC,YAAY,CAAC,EACvC,OAAO,EAAE,MAAM,GAChB,OAAO,CAST;IAGD,MAAM,CAAC,gBAAgB,CACnB,KAAK,EAAE,0BAA0B,GAAG,cAAc,GAAG,cAAc,GACpE,KAAK,IAAI,cAAc,CAEzB;IAGD,MAAM,CAAC,0BAA0B,CAC7B,MAAM,EAAE,cAAc,EACtB,mBAAmB,EAAE,aAAa,CAAC,kBAAkB,CAAC,GAAG,SAAS,GACnE,cAAc,CAShB;IAGD,MAAM,CAAC,4BAA4B,CAC/B,GAAG,MAAM,EAAE,aAAa,CAAC,sBAAsB,GAAG,IAAI,CAAC,GACxD,sBAAsB,GAAG,IAAI,CAY/B;IAGD,MAAM,CAAC,cAAc,CACjB,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,SAAS,qBAAqB,EAAE,GAC1C,cAAc,CAsEhB;IAOD,MAAM,CAAC,uBAAuB,CAC1B,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,gBAAgB,GAC1B,cAAc,CAkBhB;IAGD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,cAAc,GAAG,SAAS,cAAc,EAAE,CAIlE;IAGD,MAAM,CAAC,mBAAmB,CACtB,MAAM,EAAE,cAAc,EACtB,GAAG,UAAU,EAAE,aAAa,CAAC,SAAS,cAAc,EAAE,CAAC,GACxD,cAAc,CAOhB;IAGD,MAAM,CAAC,qBAAqB,CACxB,QAAQ,EAAE,cAAc,EACxB,UAAU,EAAE,kBAAkB,GAC/B,kBAAkB,CAqCpB;IAGD,MAAM,CAAC,iBAAiB,CAAC,UAAU,EAAE,kBAAkB,GAAG,SAAS,cAAc,EAAE,CAIlF;IAGD,MAAM,CAAC,qBAAqB,CACxB,UAAU,EAAE,kBAAkB,EAC9B,OAAO,EAAE,SAAS,cAAc,EAAE,GACnC,kBAAkB,CAgBpB;IAGD,MAAM,CAAC,eAAe,CAAC,SAAS,EAAE,eAAe,GAAG,MAAM,CAmBzD;IAGD,MAAM,CAAC,aAAa,CAChB,SAAS,EAAE,eAAe,EAC1B,MAAM,EAAE,oBAAoB,GAC7B,qBAAqB,CAKvB;IAGD,MAAM,CAAC,iBAAiB,CACpB,MAAM,EAAE,cAAc,EACtB,SAAS,EAAE,eAAe,GAC3B,cAAc,CAchB;IAGD,OAAa,mBAAmB,CAAC,QAAQ,EAAE,YAAY,GAAG,OAAO,CAAC,cAAc,CAAC,CA+BhF;IAGD,MAAM,CAAC,eAAe,CAClB,MAAM,EAAE,cAAc,EACtB,SAAS,EAAE,eAAe,EAC1B,OAAO,EAAE,SAAS,qBAAqB,EAAE,GAC1C,cAAc,CAUhB;IAGD,MAAM,CAAC,WAAW,CACd,IAAI,EAAE,eAAe,EACrB,KAAK,EAAE,eAAe,GACvB,OAAO,CAKT;IAGD,MAAM,CAAC,2BAA2B,CAC9B,MAAM,EAAE,cAAc,EACtB,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,SAAS,cAAc,EAAE,GAC9C,cAAc,CAsBhB;IAGD,MAAM,CAAC,kBAAkB,CACrB,MAAM,EAAE,yBAAyB,EACjC,WAAW,EAAE,eAAe,EAC5B,sBAAsB,EAAE,sBAAsB,GAAG,IAAI,GACtD,kBAAkB,CAYpB;CAEJ"}

package/dist/core/MutationEffects.js

@@ -0,0 +1,318 @@
+// Stateless helpers of the resource mutations: failure results, effect projection, address and marker facts.
+import { PathSyntax } from "@plurnk/plurnk-contracts";
+import { TextCoordinates } from "@plurnk/plurnk-mimetypes";
+import { InvalidOperationResultError } from "@plurnk/plurnk-schemes";
+import { renderAddress, renderTarget } from "./plurnk-uri.js";
+import { assertEditBatchReceipt, assertEditReceipt, assertResourceEffects, projectEditReceipt } from "../content/index.js";
+import Results from "./results.js";
+export default class MutationEffects {
+    static failure(code, status, detail, fields = {}, extensions = {}) {
+        return Results.failure("engine:dispatcher", code, status, detail, fields, extensions);
+    }
+    // The documented append region is exactly `<-1>`: one mark, the line after the last.
+    static isAppendMarker(marker) {
+        const marks = marker?.marks;
+        return Array.isArray(marks) && marks.length === 1 && marks[0] === -1;
+    }
+    static isCompleteAbsentDestinationMarker(marker, content) {
+        const marks = marker?.marks;
+        if (!Array.isArray(marks))
+            return false;
+        if (marks.length === 2 && marks[0] === 1 && marks[1] === -1)
+            return true;
+        const lineCount = TextCoordinates.logicalLines(content).length;
+        return lineCount > 0 && marks[0] === 1 && ((marks.length === 1 && lineCount === 1)
+            || (marks.length === 2 && marks[1] === lineCount));
+    }
+    static isDispatchResult(value) {
+        return "status" in value;
+    }
+    static prependScopeNormalizations(result, scopeNormalizations) {
+        if (scopeNormalizations === undefined)
+            return result;
+        return Results.assert({
+            ...result,
+            scopeNormalizations: [
+                ...scopeNormalizations,
+                ...(result.scopeNormalizations ?? []),
+            ],
+        });
+    }
+    static mergeLineAnchorPreconditions(...values) {
+        const present = values.filter((value) => value !== null);
+        if (present.length === 0)
+            return null;
+        const identity = present[0].identity;
+        if (present.some((value) => value.identity !== identity)) {
+            throw new TypeError("Line-anchor preconditions for one edit batch must share a resource identity.");
+        }
+        const checks = [...new Map(present.flatMap(({ checks: valueChecks }) => valueChecks)
+                .map((check) => [`${check.anchor}:${check.line}`, check])).values()];
+        return { identity, checks };
+    }
+    static appliedEffects(result, pending) {
+        // {§edit-result-copy-move-effects} — only an applied mutation earns
+        // engine-composed effects; native scheme receipts remain internal input.
+        const exact = Results.assert(result);
+        if (exact.status === 304 || exact.status === 202 || exact.status >= 300)
+            return exact;
+        if (exact.effects !== undefined) {
+            throw new InvalidOperationResultError("A COPY/MOVE mutation result supplied effects before engine composition.");
+        }
+        const batch = exact.editReceipt === undefined
+            ? undefined
+            : assertEditBatchReceipt(exact.editReceipt);
+        const single = batch === undefined && exact.receipt !== undefined
+            ? assertEditReceipt(exact.receipt)
+            : undefined;
+        const batchSize = batch === undefined
+            ? undefined
+            : "disposition" in batch
+                ? batch.superseded.length
+                : batch.effects.length;
+        if (batchSize !== undefined && batchSize !== pending.length) {
+            throw new InvalidOperationResultError(`COPY/MOVE expected ${pending.length} receipt projections, got ${batchSize}.`);
+        }
+        if (single !== undefined && pending.length !== 1) {
+            throw new InvalidOperationResultError(`COPY/MOVE received one receipt for ${pending.length} resource effects.`);
+        }
+        let effects;
+        if (batch !== undefined && "disposition" in batch) {
+            const replacement = pending[0];
+            if (replacement === undefined) {
+                throw new InvalidOperationResultError("A reviewer-replaced COPY/MOVE batch has no resource effect.");
+            }
+            if (pending.some(({ target, action }) => target !== replacement.target || action !== replacement.action)) {
+                throw new InvalidOperationResultError("A reviewer-replaced COPY/MOVE batch spans incompatible resource effects.");
+            }
+            effects = [{
+                    ...replacement,
+                    receipt: projectEditReceipt(batch, 0),
+                }];
+        }
+        else {
+            effects = pending.map((effect, index) => ({
+                ...effect,
+                ...(batch !== undefined
+                    ? { receipt: projectEditReceipt(batch, index) }
+                    : single !== undefined
+                        ? { receipt: single }
+                        : {}),
+            }));
+        }
+        assertResourceEffects(effects);
+        const { editReceipt: _editReceipt, receipt: _receipt, ...withoutInternalReceipts } = exact;
+        return {
+            ...withoutInternalReceipts,
+            effects,
+        };
+    }
+    // {§copy-move-observation} {§edit-result-copy-move-effects} — scoped
+    // COPY/MOVE into an unscoped channel is a text materialization even when
+    // CRUD creates the channel wholesale. Carry the receipt through synchronous
+    // writes and proposals; the destination scheme owns reviewed output.
+    static withEditMaterialization(result, receipt) {
+        const exact = Results.assert(result);
+        if (exact.status !== 200 && exact.status !== 201 && exact.status !== 202)
+            return exact;
+        const materialized = exact.editReceipt === undefined
+            ? assertEditBatchReceipt(receipt)
+            : assertEditBatchReceipt(exact.editReceipt);
+        return {
+            ...exact,
+            editReceipt: materialized,
+            ...(exact.status === 202
+                ? {
+                    attrs: {
+                        ...exact.attrs,
+                        editReceipt: materialized,
+                    },
+                }
+                : {}),
+        };
+    }
+    static effectsOf(result) {
+        return result.effects === undefined
+            ? []
+            : assertResourceEffects(result.effects);
+    }
+    static withCombinedEffects(result, ...additional) {
+        const existing = MutationEffects.effectsOf(result);
+        const effects = [...existing, ...additional.flat()];
+        const { effects: _effects, ...withoutEffects } = result;
+        return effects.length === 0
+            ? withoutEffects
+            : { ...withoutEffects, effects: assertResourceEffects(effects) };
+    }
+    static settleProposalEffects(original, settlement) {
+        const pending = original.attrs
+            ?.proposalEffects;
+        if (pending === undefined
+            || settlement.resolution.decision !== "accept"
+            || settlement.applied === undefined
+            || settlement.applied.status >= 300) {
+            return settlement;
+        }
+        const projected = settlement.resolution.result ?? {};
+        const aggregate = settlement.applied.editReceipt;
+        const applied = MutationEffects.appliedEffects({
+            ...projected,
+            status: settlement.applied.status,
+            ...(aggregate === undefined ? {} : { editReceipt: aggregate }),
+        }, pending);
+        const { status: _status, body: _body, ...result } = applied;
+        const { body: _resolutionBody, ...resolution } = settlement.resolution;
+        return {
+            ...settlement,
+            resolution: {
+                ...resolution,
+                result,
+            },
+        };
+    }
+    static settlementEffects(settlement) {
+        const effects = settlement.resolution.result
+            ?.effects;
+        return effects === undefined ? [] : assertResourceEffects(effects);
+    }
+    static withSettlementEffects(settlement, effects) {
+        const projected = (settlement.resolution.result ?? {});
+        const { effects: _effects, ...withoutEffects } = projected;
+        const result = effects.length === 0
+            ? withoutEffects
+            : {
+                ...withoutEffects,
+                effects: assertResourceEffects(effects),
+            };
+        return {
+            ...settlement,
+            resolution: {
+                ...settlement.resolution,
+                result,
+            },
+        };
+    }
+    static resourceAddress(selection) {
+        const address = selection.scheme === "file"
+            ? renderTarget({
+                scheme: null,
+                pathname: selection.identityPathname.replace(/^\//, ""),
+            })
+            : renderAddress({
+                scheme: selection.scheme,
+                // {§worker-authority-carving} — storage keys the owner, so the
+                // address the model typed (`~`) is re-applied for it to recognize.
+                authority: selection.scheme === "worker" && selection.target.kind === "url"
+                    ? selection.target.hostname ?? ""
+                    : selection.authority,
+                pathname: selection.identityPathname,
+            });
+        if (address === null)
+            throw new Error("resolved resource selection has no renderable address");
+        return selection.channel === selection.manifest.defaultChannel
+            ? address
+            : `${address}#${PathSyntax.escapeTarget(selection.channel)}`;
+    }
+    static pendingEffect(selection, action) {
+        return {
+            target: MutationEffects.resourceAddress(selection),
+            action,
+        };
+    }
+    static withProposalRoute(result, selection) {
+        if (result.status !== 202)
+            return result;
+        return {
+            ...result,
+            attrs: {
+                ...result.attrs,
+                proposalScheme: selection.scheme,
+                proposalTarget: {
+                    scheme: selection.scheme,
+                    authority: selection.authority,
+                    pathname: selection.identityPathname,
+                },
+            },
+        };
+    }
+    static async projectPreparedEdit(prepared) {
+        if (prepared.projection !== null)
+            return prepared.projection;
+        const settled = prepared.first
+            ? prepared.batch.initial
+            : await prepared.batch.settled;
+        const normalization = prepared.normalizationIndex === null
+            ? undefined
+            : settled.scopeNormalizations?.[prepared.normalizationIndex];
+        const { scopeNormalizations: _scopeNormalizations, merges: _merges, applied: _applied, merged: _merged, ...projectedSettlement } = settled;
+        const statementResult = {
+            ...(normalization === undefined ? projectedSettlement : { ...projectedSettlement, scopeNormalizations: [normalization] }),
+            ...(prepared.merged.length === 0 ? {} : { merged: prepared.merged }),
+        };
+        const aggregate = prepared.batch.aggregate;
+        if (aggregate === undefined)
+            return statementResult;
+        const receipt = assertEditBatchReceipt(aggregate);
+        // The settled result may already carry the first statement's projected receipt; every
+        // row projects its own from the batch aggregate.
+        const { editReceipt: _editReceipt, receipt: _receipt, ...withoutAggregate } = statementResult;
+        // A dropped duplicate applied nothing: its row carries the merge fact, not a twin's effect.
+        if (prepared.receiptIndex === null)
+            return withoutAggregate;
+        return {
+            ...withoutAggregate,
+            receipt: projectEditReceipt(receipt, prepared.receiptIndex),
+        };
+    }
+    static finalizeEffects(result, selection, pending) {
+        const routed = MutationEffects.withProposalRoute(result, selection);
+        if (routed.status !== 202)
+            return MutationEffects.appliedEffects(routed, pending);
+        return {
+            ...routed,
+            attrs: {
+                ...routed.attrs,
+                proposalEffects: pending,
+            },
+        };
+    }
+    static sameChannel(left, right) {
+        return left.scheme === right.scheme
+            && left.authority === right.authority
+            && left.identityPathname === right.identityPathname
+            && left.channel === right.channel;
+    }
+    static moveFailureAfterDestination(result, destination, destinationEffects) {
+        const exact = Results.assert(result);
+        if (exact.status < 400) {
+            throw new InvalidOperationResultError("A successful MOVE source result was classified as a partial failure.");
+        }
+        if (exact.problem === undefined) {
+            throw new InvalidOperationResultError("A failed MOVE source mutation has no Problem Details.");
+        }
+        const failed = Results.assert({
+            ...exact,
+            problem: {
+                ...exact.problem,
+                operation: "MOVE",
+                destinationWritten: true,
+                destination,
+            },
+        });
+        return MutationEffects.withCombinedEffects(failed, destinationEffects);
+    }
+    static deferredMoveSource(source, destination, lineAnchorPrecondition) {
+        return {
+            target: source.target,
+            metadata: source.metadata,
+            lineMarker: source.lineMarker,
+            scheme: source.scheme,
+            authority: source.authority,
+            pathname: source.pathname,
+            channel: source.channel,
+            destination: MutationEffects.resourceAddress(destination),
+            lineAnchorPrecondition,
+        };
+    }
+}
+//# sourceMappingURL=MutationEffects.js.map

package/dist/core/MutationEffects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MutationEffects.js","sourceRoot":"","sources":["../../src/core/MutationEffects.ts"],"names":[],"mappings":"AAAA,6GAA6G;AAC7G,OAAO,EAAE,UAAU,EAA0B,MAAM,0BAA0B,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,2BAA2B,EAA2B,MAAM,wBAAwB,CAAC;AAE9F,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,kBAAkB,EAAsG,MAAM,qBAAqB,CAAC;AAC/N,OAAO,OAAO,MAAM,cAAc,CAAC;AAGnC,MAAM,CAAC,OAAO,OAAO,eAAe;IAChC,MAAM,CAAC,OAAO,CACV,IAAY,EACZ,MAAc,EACd,MAAc,EACd,MAAM,GAAsC,EAAE,EAC9C,UAAU,GAAsC,EAAE;QAElD,OAAO,OAAO,CAAC,OAAO,CAAC,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IAC1F,CAAC;IAGD,qFAAqF;IACrF,MAAM,CAAC,cAAc,CAAC,MAAuC;QACzD,MAAM,KAAK,GAAI,MAA+C,EAAE,KAAK,CAAC;QACtE,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACzE,CAAC;IAGD,MAAM,CAAC,iCAAiC,CACpC,MAAuC,EACvC,OAAe;QAEf,MAAM,KAAK,GAAI,MAA+C,EAAE,KAAK,CAAC;QACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACxC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACzE,MAAM,SAAS,GAAG,eAAe,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;QAC/D,OAAO,SAAS,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CACtC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,CAAC;eACpC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CACpD,CAAC;IACN,CAAC;IAGD,MAAM,CAAC,gBAAgB,CACnB,KAAmE;QAEnE,OAAO,QAAQ,IAAI,KAAK,CAAC;IAC7B,CAAC;IAGD,MAAM,CAAC,0BAA0B,CAC7B,MAAsB,EACtB,mBAAkE;QAElE,IAAI,mBAAmB,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACrD,OAAO,OAAO,CAAC,MAAM,CAAC;YAClB,GAAG,MAAM;YACT,mBAAmB,EAAE;gBACjB,GAAG,mBAAmB;gBACtB,GAAG,CAAC,MAAM,CAAC,mBAAmB,IAAI,EAAE,CAAC;aACxC;SACJ,CAAC,CAAC;IACP,CAAC;IAGD,MAAM,CAAC,4BAA4B,CAC/B,GAAG,MAAoD;QAEvD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmC,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;QAC1F,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC;QACtC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,SAAS,CAAC,8EAA8E,CAAC,CAAC;QACxG,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CACtB,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC;iBACpD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,CAChE,CAAC,MAAM,EAAE,CAAC,CAAC;QACZ,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IAChC,CAAC;IAGD,MAAM,CAAC,cAAc,CACjB,MAAsB,EACtB,OAAyC;QAEzC,oEAAoE;QACpE,yEAAyE;QACzE,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,KAAK,CAAC,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,MAAM,IAAI,GAAG;YAAE,OAAO,KAAK,CAAC;QACtF,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,2BAA2B,CACjC,yEAAyE,CAC5E,CAAC;QACN,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,KAAK,SAAS;YACzC,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,sBAAsB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;YAC7D,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC;YAClC,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,SAAS,GAAG,KAAK,KAAK,SAAS;YACjC,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,aAAa,IAAI,KAAK;gBACpB,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM;gBACzB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAC/B,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YAC1D,MAAM,IAAI,2BAA2B,CACjC,sBAAsB,OAAO,CAAC,MAAM,6BAA6B,SAAS,GAAG,CAChF,CAAC;QACN,CAAC;QACD,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,2BAA2B,CACjC,sCAAsC,OAAO,CAAC,MAAM,oBAAoB,CAC3E,CAAC;QACN,CAAC;QACD,IAAI,OAAyB,CAAC;QAC9B,IAAI,KAAK,KAAK,SAAS,IAAI,aAAa,IAAI,KAAK,EAAE,CAAC;YAChD,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC5B,MAAM,IAAI,2BAA2B,CACjC,6DAA6D,CAChE,CAAC;YACN,CAAC;YACD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CACpC,MAAM,KAAK,WAAW,CAAC,MAAM,IAAI,MAAM,KAAK,WAAW,CAAC,MAAM,CACjE,EAAE,CAAC;gBACA,MAAM,IAAI,2BAA2B,CACjC,0EAA0E,CAC7E,CAAC;YACN,CAAC;YACD,OAAO,GAAG,CAAC;oBACP,GAAG,WAAW;oBACd,OAAO,EAAE,kBAAkB,CAAC,KAAK,EAAE,CAAC,CAAC;iBACxC,CAAC,CAAC;QACP,CAAC;aAAM,CAAC;YACJ,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAkB,EAAE,CAAC,CAAC;gBACtD,GAAG,MAAM;gBACT,GAAG,CAAC,KAAK,KAAK,SAAS;oBACnB,CAAC,CAAC,EAAE,OAAO,EAAE,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE;oBAC/C,CAAC,CAAC,MAAM,KAAK,SAAS;wBAClB,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE;wBACrB,CAAC,CAAC,EAAE,CAAC;aAChB,CAAC,CAAC,CAAC;QACR,CAAC;QACD,qBAAqB,CAAC,OAAO,CAAC,CAAC;QAC/B,MAAM,EACF,WAAW,EAAE,YAAY,EACzB,OAAO,EAAE,QAAQ,EACjB,GAAG,uBAAuB,EAC7B,GAAG,KAAK,CAAC;QACV,OAAO;YACH,GAAG,uBAAuB;YAC1B,OAAO;SACV,CAAC;IACN,CAAC;IAGD,qEAAqE;IACrE,yEAAyE;IACzE,4EAA4E;IAC5E,qEAAqE;IACrE,MAAM,CAAC,uBAAuB,CAC1B,MAAsB,EACtB,OAAyB;QAEzB,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,KAAK,CAAC,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,MAAM,KAAK,GAAG;YAAE,OAAO,KAAK,CAAC;QACvF,MAAM,YAAY,GAAG,KAAK,CAAC,WAAW,KAAK,SAAS;YAChD,CAAC,CAAC,sBAAsB,CAAC,OAAO,CAAC;YACjC,CAAC,CAAC,sBAAsB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAChD,OAAO;YACH,GAAG,KAAK;YACR,WAAW,EAAE,YAAY;YACzB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,GAAG;gBACpB,CAAC,CAAC;oBACE,KAAK,EAAE;wBACH,GAAI,KAAK,CAAC,KAA6C;wBACvD,WAAW,EAAE,YAAY;qBAC5B;iBACJ;gBACD,CAAC,CAAC,EAAE,CAAC;SACZ,CAAC;IACN,CAAC;IAGD,MAAM,CAAC,SAAS,CAAC,MAAsB;QACnC,OAAO,MAAM,CAAC,OAAO,KAAK,SAAS;YAC/B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC;IAGD,MAAM,CAAC,mBAAmB,CACtB,MAAsB,EACtB,GAAG,UAAoD;QAEvD,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;QACpD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,cAAc,EAAE,GAAG,MAAM,CAAC;QACxD,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC;YACvB,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC,EAAE,GAAG,cAAc,EAAE,OAAO,EAAE,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;IACzE,CAAC;IAGD,MAAM,CAAC,qBAAqB,CACxB,QAAwB,EACxB,UAA8B;QAE9B,MAAM,OAAO,GAAI,QAAQ,CAAC,KAAgD;YACtE,EAAE,eAAe,CAAC;QACtB,IACI,OAAO,KAAK,SAAS;eAClB,UAAU,CAAC,UAAU,CAAC,QAAQ,KAAK,QAAQ;eAC3C,UAAU,CAAC,OAAO,KAAK,SAAS;eAChC,UAAU,CAAC,OAAO,CAAC,MAAM,IAAI,GAAG,EACrC,CAAC;YACC,OAAO,UAAU,CAAC;QACtB,CAAC;QACD,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,CAAC;QACrD,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC;QACjD,MAAM,OAAO,GAAG,eAAe,CAAC,cAAc,CAC1C;YACI,GAAG,SAAS;YACZ,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM;YACjC,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;SACjE,EACD,OAAO,CACV,CAAC;QACF,MAAM,EACF,MAAM,EAAE,OAAO,EACf,IAAI,EAAE,KAAK,EACX,GAAG,MAAM,EACZ,GAAG,OAAO,CAAC;QACZ,MAAM,EACF,IAAI,EAAE,eAAe,EACrB,GAAG,UAAU,EAChB,GAAG,UAAU,CAAC,UAAU,CAAC;QAC1B,OAAO;YACH,GAAG,UAAU;YACb,UAAU,EAAE;gBACR,GAAG,UAAU;gBACb,MAAM;aACT;SACJ,CAAC;IACN,CAAC;IAGD,MAAM,CAAC,iBAAiB,CAAC,UAA8B;QACnD,MAAM,OAAO,GAAI,UAAU,CAAC,UAAU,CAAC,MAA8C;YACjF,EAAE,OAAO,CAAC;QACd,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACvE,CAAC;IAGD,MAAM,CAAC,qBAAqB,CACxB,UAA8B,EAC9B,OAAkC;QAElC,MAAM,SAAS,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,CAA4B,CAAC;QAClF,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,cAAc,EAAE,GAAG,SAAS,CAAC;QAC3D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC;YAC/B,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC;gBACE,GAAG,cAAc;gBACjB,OAAO,EAAE,qBAAqB,CAAC,OAAO,CAAC;aAC1C,CAAC;QACN,OAAO;YACH,GAAG,UAAU;YACb,UAAU,EAAE;gBACR,GAAG,UAAU,CAAC,UAAU;gBACxB,MAAM;aACT;SACJ,CAAC;IACN,CAAC;IAGD,MAAM,CAAC,eAAe,CAAC,SAA0B;QAC7C,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,KAAK,MAAM;YACvC,CAAC,CAAC,YAAY,CAAC;gBACX,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,SAAS,CAAC,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;aAC1D,CAAC;YACF,CAAC,CAAC,aAAa,CAAC;gBACZ,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,+DAA+D;gBAC/D,mEAAmE;gBACnE,SAAS,EAAE,SAAS,CAAC,MAAM,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK;oBACvE,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE;oBACjC,CAAC,CAAC,SAAS,CAAC,SAAS;gBACzB,QAAQ,EAAE,SAAS,CAAC,gBAAgB;aACvC,CAAC,CAAC;QACP,IAAI,OAAO,KAAK,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAC/F,OAAO,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,QAAQ,CAAC,cAAc;YAC1D,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,GAAG,OAAO,IAAI,UAAU,CAAC,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;IACrE,CAAC;IAGD,MAAM,CAAC,aAAa,CAChB,SAA0B,EAC1B,MAA4B;QAE5B,OAAO;YACH,MAAM,EAAE,eAAe,CAAC,eAAe,CAAC,SAAS,CAAC;YAClD,MAAM;SACT,CAAC;IACN,CAAC;IAGD,MAAM,CAAC,iBAAiB,CACpB,MAAsB,EACtB,SAA0B;QAE1B,IAAI,MAAM,CAAC,MAAM,KAAK,GAAG;YAAE,OAAO,MAAM,CAAC;QACzC,OAAO;YACH,GAAG,MAAM;YACT,KAAK,EAAE;gBACH,GAAI,MAAM,CAAC,KAA6C;gBACxD,cAAc,EAAE,SAAS,CAAC,MAAM;gBAChC,cAAc,EAAE;oBACZ,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,SAAS,EAAE,SAAS,CAAC,SAAS;oBAC9B,QAAQ,EAAE,SAAS,CAAC,gBAAgB;iBACvC;aACJ;SACJ,CAAC;IACN,CAAC;IAGD,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,QAAsB;QACnD,IAAI,QAAQ,CAAC,UAAU,KAAK,IAAI;YAAE,OAAO,QAAQ,CAAC,UAAU,CAAC;QAC7D,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK;YAC1B,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO;YACxB,CAAC,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;QACnC,MAAM,aAAa,GAAG,QAAQ,CAAC,kBAAkB,KAAK,IAAI;YACtD,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;QACjE,MAAM,EACF,mBAAmB,EAAE,oBAAoB,EACzC,MAAM,EAAE,OAAO,EACf,OAAO,EAAE,QAAQ,EACjB,MAAM,EAAE,OAAO,EACf,GAAG,mBAAmB,EACzB,GAAG,OAAqF,CAAC;QAC1F,MAAM,eAAe,GAAmB;YACpC,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,GAAG,mBAAmB,EAAE,mBAAmB,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC;YACzH,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;SACvE,CAAC;QACF,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC;QAC3C,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,eAAe,CAAC;QACpD,MAAM,OAAO,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;QAClD,sFAAsF;QACtF,iDAAiD;QACjD,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,gBAAgB,EAAE,GAAG,eAAyD,CAAC;QACxI,4FAA4F;QAC5F,IAAI,QAAQ,CAAC,YAAY,KAAK,IAAI;YAAE,OAAO,gBAAgB,CAAC;QAC5D,OAAO;YACH,GAAG,gBAAgB;YACnB,OAAO,EAAE,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC;SAC9D,CAAC;IACN,CAAC;IAGD,MAAM,CAAC,eAAe,CAClB,MAAsB,EACtB,SAA0B,EAC1B,OAAyC;QAEzC,MAAM,MAAM,GAAG,eAAe,CAAC,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACpE,IAAI,MAAM,CAAC,MAAM,KAAK,GAAG;YAAE,OAAO,eAAe,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAClF,OAAO;YACH,GAAG,MAAM;YACT,KAAK,EAAE;gBACH,GAAI,MAAM,CAAC,KAA6C;gBACxD,eAAe,EAAE,OAAO;aAC3B;SACJ,CAAC;IACN,CAAC;IAGD,MAAM,CAAC,WAAW,CACd,IAAqB,EACrB,KAAsB;QAEtB,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;eAC5B,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;eAClC,IAAI,CAAC,gBAAgB,KAAK,KAAK,CAAC,gBAAgB;eAChD,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC;IAC1C,CAAC;IAGD,MAAM,CAAC,2BAA2B,CAC9B,MAAsB,EACtB,WAAmB,EACnB,kBAA6C;QAE7C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;YACrB,MAAM,IAAI,2BAA2B,CACjC,sEAAsE,CACzE,CAAC;QACN,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,2BAA2B,CACjC,uDAAuD,CAC1D,CAAC;QACN,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC1B,GAAG,KAAK;YACR,OAAO,EAAE;gBACL,GAAG,KAAK,CAAC,OAAO;gBAChB,SAAS,EAAE,MAAM;gBACjB,kBAAkB,EAAE,IAAI;gBACxB,WAAW;aACd;SACJ,CAAC,CAAC;QACH,OAAO,eAAe,CAAC,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC3E,CAAC;IAGD,MAAM,CAAC,kBAAkB,CACrB,MAAiC,EACjC,WAA4B,EAC5B,sBAAqD;QAErD,OAAO;YACH,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,WAAW,EAAE,eAAe,CAAC,eAAe,CAAC,WAAW,CAAC;YACzD,sBAAsB;SACzB,CAAC;IACN,CAAC;CAEJ"}

package/dist/core/OverflowTurn.d.ts

@@ -1,10 +1,10 @@
-import { type FoldStatement, type PlanStatement, type SendStatement } from "@plurnk/plurnk-contracts";
+import { type KillStatement, type PlanStatement, type SendStatement } from "@plurnk/plurnk-contracts";
 import type { Db } from "./Db.ts";
-export type OverflowFold = {
-    readonly statement: FoldStatement;
+export type OverflowKill = {
+    readonly statement: KillStatement;
 };
 export default class OverflowTurn {
-    static plan(db: Db, loopId: number, turnId: number): Promise<OverflowFold[]>;
+    static plan(db: Db, loopId: number, turnId: number): Promise<OverflowKill[]>;
     static planStatement(): PlanStatement;
     static sendStatement(): SendStatement;
 }

package/dist/core/OverflowTurn.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"OverflowTurn.d.ts","sourceRoot":"","sources":["../../src/core/OverflowTurn.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAErB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAkBlC,MAAM,MAAM,YAAY,GAAG;IACvB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;CACrC,CAAC;AAqCF,MAAM,CAAC,OAAO,OAAO,YAAY;IAC7B,OAAa,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAmBjF;IAED,MAAM,CAAC,aAAa,IAAI,aAAa,CAUpC;IAED,MAAM,CAAC,aAAa,IAAI,aAAa,CAUpC;CACJ"}
+{"version":3,"file":"OverflowTurn.d.ts","sourceRoot":"","sources":["../../src/core/OverflowTurn.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAErB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAkBlC,MAAM,MAAM,YAAY,GAAG;IACvB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;CACrC,CAAC;AAoCF,MAAM,CAAC,OAAO,OAAO,YAAY;IAC7B,OAAa,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAmBjF;IAED,MAAM,CAAC,aAAa,IAAI,aAAa,CAUpC;IAED,MAAM,CAAC,aAAa,IAAI,aAAa,CAUpC;CACJ"}

package/dist/core/OverflowTurn.js

@@ -2,8 +2,8 @@ import { UNKNOWN_POSITION, } from "@plurnk/plurnk-contracts";
 import LogBody from "./LogBody.js";
 import LogEntryProjection from "./LogEntryProjection.js";
 import LogVisibility from "./LogVisibility.js";
-const OVERFLOW_PLAN = "Automatically FOLD log bodies newly active at token-budget overflow.";
-const OVERFLOW_SEND = "Next: YOU MUST ONLY FOLD, KILL, or trim ALL superseded, stale, or irrelevant log content in bulk.";
+const OVERFLOW_PLAN = "Automatically KILL log bodies newly active at token-budget overflow.";
+const OVERFLOW_SEND = "Next: YOU MUST ONLY KILL superseded, stale, or irrelevant log content in bulk.";
 const targetFor = (coordinate) => ({
     kind: "url",
     raw: `log:///${coordinate}`,
@@ -19,10 +19,9 @@ const targetFor = (coordinate) => ({
 const foldFor = (row) => {
     const coordinate = LogEntryProjection.coordinate(row.coordinate, row);
     const statement = {
-        op: "FOLD",
+        op: "KILL",
         annotation: null,
         delimiter: "",
-        signal: ["+_plurnk", "+overflow"],
         target: targetFor(coordinate),
         metadata: null,
         lineMarker: { marks: [1, -1] },
@@ -32,7 +31,7 @@ const foldFor = (row) => {
     return { statement };
 };
 // {§overflow-turn-curation} — deterministic selection only. Execution remains
-// ordinary Dispatcher FOLD, so Log owns the visibility transaction and effect
+// ordinary Dispatcher scoped KILL, so Log owns the visibility transaction and effect
 // evidence exactly as it does for model-authored curation.
 export default class OverflowTurn {
     static async plan(db, loopId, turnId) {
@@ -58,7 +57,7 @@ export default class OverflowTurn {
     static planStatement() {
         return {
             op: "PLAN", delimiter: "", annotation: null,
-            signal: null, target: null, metadata: null, lineMarker: null,
+            target: null, metadata: null, lineMarker: null,
             body: [{
                     content: OVERFLOW_PLAN,
                     status: "in_progress",
@@ -69,7 +68,7 @@ export default class OverflowTurn {
     static sendStatement() {
         return {
             op: "SEND", delimiter: "", annotation: null,
-            signal: 102, target: null, metadata: null, lineMarker: null,
+            status: 102, target: null, metadata: null, lineMarker: null,
             body: {
                 raw: OVERFLOW_SEND,
                 json: null,

package/dist/core/OverflowTurn.js.map

@@ -1 +1 @@
-{"version":3,"file":"OverflowTurn.js","sourceRoot":"","sources":["../../src/core/OverflowTurn.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,gBAAgB,GAKnB,MAAM,0BAA0B,CAAC;AAElC,OAAO,OAAO,MAAM,cAAc,CAAC;AACnC,OAAO,kBAAkB,MAAM,yBAAyB,CAAC;AACzD,OAAO,aAAa,MAAM,oBAAoB,CAAC;AAmB/C,MAAM,aAAa,GAAG,sEAAsE,CAAC;AAC7F,MAAM,aAAa,GAAG,mGAAmG,CAAC;AAE1H,MAAM,SAAS,GAAG,CAAC,UAAkB,EAAW,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,KAAK;IACX,GAAG,EAAE,UAAU,UAAU,EAAE;IAC3B,MAAM,EAAE,KAAK;IACb,QAAQ,EAAE,IAAI;IACd,QAAQ,EAAE,IAAI;IACd,QAAQ,EAAE,IAAI;IACd,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,IAAI,UAAU,EAAE;IAC1B,KAAK,EAAE,IAAI;IACX,QAAQ,EAAE,IAAI;CACjB,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,CAAC,GAAgB,EAAgB,EAAE;IAC/C,MAAM,UAAU,GAAG,kBAAkB,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACtE,MAAM,SAAS,GAAkB;QAC7B,EAAE,EAAE,MAAM;QACV,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,EAAE;QACb,MAAM,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC;QACjC,MAAM,EAAE,SAAS,CAAC,UAAU,CAAC;QAC7B,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QAC9B,IAAI,EAAE,IAAI;QACV,QAAQ,EAAE,gBAAgB;KAC7B,CAAC;IACF,OAAO,EAAE,SAAS,EAAE,CAAC;AACzB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,8EAA8E;AAC9E,2DAA2D;AAC3D,MAAM,CAAC,OAAO,OAAO,YAAY;IAC7B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAM,EAAE,MAAc,EAAE,MAAc;QACpD,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAc;YACnE,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;YAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC;gBACzB,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,UAAU,EAAE,GAAG,CAAC,WAAW;gBAC3B,UAAU,EAAE,GAAG,CAAC,WAAW;aAC9B,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpD,OAAO,KAAK,KAAK,CAAC,IAAI,aAAa,CAAC,WAAW,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;gBACnF,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,CAAC,CAAC,CAAC;IACP,CAAC;IAED,MAAM,CAAC,aAAa;QAChB,OAAO;YACH,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI;YAC3C,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;YAC5D,IAAI,EAAE,CAAC;oBACH,OAAO,EAAE,aAAa;oBACtB,MAAM,EAAE,aAAa;iBACxB,CAAC;YACF,QAAQ,EAAE,gBAAgB;SAC7B,CAAC;IACN,CAAC;IAED,MAAM,CAAC,aAAa;QAChB,OAAO;YACH,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI;YAC3C,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;YAC3D,IAAI,EAAE;gBACF,GAAG,EAAE,aAAa;gBAClB,IAAI,EAAE,IAAI;aACb;YACD,QAAQ,EAAE,gBAAgB;SAC7B,CAAC;IACN,CAAC;CACJ"}
+{"version":3,"file":"OverflowTurn.js","sourceRoot":"","sources":["../../src/core/OverflowTurn.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,gBAAgB,GAKnB,MAAM,0BAA0B,CAAC;AAElC,OAAO,OAAO,MAAM,cAAc,CAAC;AACnC,OAAO,kBAAkB,MAAM,yBAAyB,CAAC;AACzD,OAAO,aAAa,MAAM,oBAAoB,CAAC;AAmB/C,MAAM,aAAa,GAAG,sEAAsE,CAAC;AAC7F,MAAM,aAAa,GAAG,gFAAgF,CAAC;AAEvG,MAAM,SAAS,GAAG,CAAC,UAAkB,EAAW,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,KAAK;IACX,GAAG,EAAE,UAAU,UAAU,EAAE;IAC3B,MAAM,EAAE,KAAK;IACb,QAAQ,EAAE,IAAI;IACd,QAAQ,EAAE,IAAI;IACd,QAAQ,EAAE,IAAI;IACd,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,IAAI,UAAU,EAAE;IAC1B,KAAK,EAAE,IAAI;IACX,QAAQ,EAAE,IAAI;CACjB,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,CAAC,GAAgB,EAAgB,EAAE;IAC/C,MAAM,UAAU,GAAG,kBAAkB,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACtE,MAAM,SAAS,GAAkB;QAC7B,EAAE,EAAE,MAAM;QACV,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,EAAE;QACb,MAAM,EAAE,SAAS,CAAC,UAAU,CAAC;QAC7B,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QAC9B,IAAI,EAAE,IAAI;QACV,QAAQ,EAAE,gBAAgB;KAC7B,CAAC;IACF,OAAO,EAAE,SAAS,EAAE,CAAC;AACzB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,qFAAqF;AACrF,2DAA2D;AAC3D,MAAM,CAAC,OAAO,OAAO,YAAY;IAC7B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAM,EAAE,MAAc,EAAE,MAAc;QACpD,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAc;YACnE,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;YAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC;gBACzB,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,UAAU,EAAE,GAAG,CAAC,WAAW;gBAC3B,UAAU,EAAE,GAAG,CAAC,WAAW;aAC9B,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpD,OAAO,KAAK,KAAK,CAAC,IAAI,aAAa,CAAC,WAAW,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;gBACnF,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,CAAC,CAAC,CAAC;IACP,CAAC;IAED,MAAM,CAAC,aAAa;QAChB,OAAO;YACH,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI;YAC3C,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;YAC9C,IAAI,EAAE,CAAC;oBACH,OAAO,EAAE,aAAa;oBACtB,MAAM,EAAE,aAAa;iBACxB,CAAC;YACF,QAAQ,EAAE,gBAAgB;SAC7B,CAAC;IACN,CAAC;IAED,MAAM,CAAC,aAAa;QAChB,OAAO;YACH,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI;YAC3C,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;YAC3D,IAAI,EAAE;gBACF,GAAG,EAAE,aAAa;gBAClB,IAAI,EAAE,IAAI;aACb;YACD,QAAQ,EAAE,gBAAgB;SAC7B,CAAC;IACN,CAAC;CACJ"}

package/dist/core/PacketBuilder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"PacketBuilder.d.ts","sourceRoot":"","sources":["../../src/core/PacketBuilder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,KAAK,cAAc,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,gBAAgB,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAgBhD,OAAO,KAAK,EAAE,aAAa,EAAuB,MAAM,mBAAmB,CAAC;AAG5E,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AA0FtE,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE5D,MAAM,WAAW,gBAAgB;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B;AAID,MAAM,CAAC,OAAO,OAAO,aAAa;;IAc9B,YAAY,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE;QACpC,EAAE,EAAE,EAAE,CAAC;QACP,OAAO,EAAE,cAAc,CAAC;QACxB,SAAS,EAAE,MAAM,gBAAgB,GAAG,SAAS,CAAC;KACjD,EASA;IAED,yBAAyB,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,IAAI,CAE7G;IAiCD,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,GAAG,IAAI,CAEnD;IAIK,kBAAkB,CAAC,EACrB,eAAe,EAAE,KAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAY,EAC7G,uBAA8B,EAC9B,gBAA8B,GACjC,EAAE;QACC,eAAe,EAAE,WAAW,EAAE,CAAC;QAE/B,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,SAAS,EAAE,SAAS,GAAG,IAAI,CAAC;QAC5B,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAEtD,cAAc,EAAE,MAAM,CAAC;QACvB,QAAQ,EAAE,QAAQ,CAAC;QAInB,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;QAG5B,uBAAuB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QAGxC,gBAAgB,CAAC,EAAE,WAAW,GAAG,UAAU,CAAC;KAC/C,GAAG,OAAO,CAAC,aAAa,CAAC,CAyJzB;IAIK,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAuCnH;IAKD,gBAAgB,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,GAAG,gBAAgB,GAAG,IAAI,CAInF;IAKK,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QAC9E,MAAM,EAAE,MAAM,CAAC;QACf,UAAU,EAAE,MAAM,CAAC;KACtB,CAAC,CAAC,CASF;CAqFJ"}
+{"version":3,"file":"PacketBuilder.d.ts","sourceRoot":"","sources":["../../src/core/PacketBuilder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,KAAK,cAAc,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,gBAAgB,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAiBhD,OAAO,KAAK,EAAE,aAAa,EAAuB,MAAM,mBAAmB,CAAC;AAG5E,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AA2FtE,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE5D,MAAM,WAAW,gBAAgB;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B;AAID,MAAM,CAAC,OAAO,OAAO,aAAa;;IAgB9B,YAAY,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE;QACpC,EAAE,EAAE,EAAE,CAAC;QACP,OAAO,EAAE,cAAc,CAAC;QACxB,SAAS,EAAE,MAAM,gBAAgB,GAAG,SAAS,CAAC;KACjD,EASA;IAED,yBAAyB,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,IAAI,CAE7G;IAiCD,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,GAAG,IAAI,CAEnD;IAIK,kBAAkB,CAAC,EACrB,eAAe,EAAE,KAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAY,EAC7G,uBAA8B,EAC9B,gBAA8B,GACjC,EAAE;QACC,eAAe,EAAE,WAAW,EAAE,CAAC;QAE/B,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,SAAS,EAAE,SAAS,GAAG,IAAI,CAAC;QAC5B,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAEtD,cAAc,EAAE,MAAM,CAAC;QACvB,QAAQ,EAAE,QAAQ,CAAC;QAInB,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;QAG5B,uBAAuB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QAGxC,gBAAgB,CAAC,EAAE,WAAW,GAAG,UAAU,CAAC;KAC/C,GAAG,OAAO,CAAC,aAAa,CAAC,CAqKzB;IAIK,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAuCnH;IAKD,gBAAgB,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,GAAG,gBAAgB,GAAG,IAAI,CASnF;IAKK,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QAC9E,MAAM,EAAE,MAAM,CAAC;QACf,UAAU,EAAE,MAAM,CAAC;KACtB,CAAC,CAAC,CASF;CAmFJ"}

package/dist/core/PacketBuilder.js

@@ -8,6 +8,7 @@ import { readPacketInject, readSystemPolicy } from "./packet-inject.js";
 import { readFile } from "node:fs/promises";
 import Paths from "../Paths.js";
 import { readTeachingSource } from "./teaching-corpus.js";
+import { attachmentTeaching } from "./attachments.js";
 // Shared module imported by both Engine and bin/digest.ts, so wire
 // projection and digest projection are structurally one function — no
 // drift between wire and digest possible.
@@ -16,6 +17,7 @@ import LogEntryProjection from "./LogEntryProjection.js";
 import { scopeEnvToAlias, resolveActiveRoute } from "@plurnk/plurnk-providers";
 import ProviderInstantiate from "./ProviderInstantiate.js";
 import BudgetReadout from "./BudgetReadout.js";
+import TokenCalibration from "./TokenCalibration.js";
 import LineAnchors from "../content/line-anchors.js";
 import ToolResources from "./ToolResources.js";
 import LogVisibility from "./LogVisibility.js";
@@ -103,6 +105,8 @@ const readRequiredPercentFrom = (env, name) => {
 // ({§overflow-turn}). Visibility changes stay in the ordinary FOLD owner.
 class PacketBuilder {
     #db;
+    // {§tokenomics-calibrated-readout} — the factor each built packet was judged and rendered with.
+    #calibrations = new WeakMap();
     #schemes;
     // Boot-discovered runtime executors, late-injected on Engine after daemon
     // start() — read through a thunk so the post-construction set is visible.
@@ -187,13 +191,13 @@ class PacketBuilder {
             prefix_len: promptPrefix.length,
         }))
             .filter((r) => typeof r.content === "string" && r.content.length > 0);
-        // The section is a paths list (the errors shape - no bodies);
+        // The section is a JSON array of prompt paths (the errors shape - no bodies);
         // each prompt's content reaches the model through its actionless prompt row, and
         // prior prompts stay READable by the listed address - never silently lost, never an
         // unfair curation imposition. Fallback: callers that bypass persistence (bare messages)
         // still get their user text rendered directly.
         const prompt = promptRows.length > 0
-            ? promptRows.map((r) => `* prompt://${r.pathname}`).join("\n")
+            ? `[${promptRows.map((r) => JSON.stringify(`prompt://${r.pathname}`)).join(",\n")}]`
             : byRole("user");
         // {§recap}: a non-empty override wins; otherwise read the meta-owned source per packet.
         const recapContent = recap.length > 0
@@ -220,6 +224,8 @@ class PacketBuilder {
             ? null
             : provider.outputBudget - (provider.reasoningBudget ?? 0);
         const budgetReadout = BudgetReadout.draft(curationBudget, responseRoom);
+        // {§tokenomics-calibrated-readout}: what this model's tokenizer charged for its recent packets.
+        const calibration = curationBudget === null ? 1 : await TokenCalibration.forModel(this.#db, provider.model);
         // The canonical default order, trust boundary, and cache-locality bias are
         // specified at {§packet-cache-monotone}. Budget placeholders resolve only
         // after trusted whole-list transforms establish the packet being measured.
@@ -228,7 +234,7 @@ class PacketBuilder {
         // {§turn0-agents-stunt} — the PROJECT AGENTS.md rides turn 0 as a foisted
         // READ (LoopDocs → worker://~/_plurnk/agents.md), not the system prompt.
         // Child-orientation ({§child-orientation}): the live things this worker holds — open streams +
-        // unconcluded child workers — surfaced every turn as terse `* <status> <path>` pointers (same shape
+        // unconcluded child workers — surfaced every turn as `{status, path}` JSON pointers (same shape
         // as errors) just above the errors section. Orienting STATE so the model never loses track of
         // what it's holding (the premature-terminate trap), never advice on what to do. Empty → omitted.
         const openChannels = await this.#db.engine_child_streams_open.all({ worker_id: workerId });
@@ -249,8 +255,14 @@ class PacketBuilder {
         // {§fs-namespace} — the log renders working directories relative to the model's `/`.
         const workspaceRow = await this.#db.envelope_get_workspace.get({ id: workspaceId });
         const renderedLog = PacketWire.renderLogWithAccounting(log, weighContent, { projectRoot: workspaceRow?.project_root ?? null, ...(promptProjectionWeight === null ? {} : { promptProjectionWeight }) });
+        const attachmentsWeight = renderedLog.attachments.reduce((sum, { weight }) => sum + weight, 0);
         const defaults = [
             { name: "definition", slot: "system", header: null, content: system_definition },
+            // {§attachment-teaching} — what this route can take as a native part, taught by example
+            // above the policy and only when it applies; a blind route has no section at all.
+            ...(attachmentTeaching(provider.inputModalities) === ""
+                ? []
+                : [{ name: "attachments", slot: "system", header: "Attachments", content: attachmentTeaching(provider.inputModalities) }]),
             // Stable privileged policy leads capability teaching for
             // prefix-cache locality. Empty policy sections simply disappear.
             { name: "system-policy", slot: "system", header: "Policy", content: systemPolicy ?? "" },
@@ -292,8 +304,9 @@ class PacketBuilder {
             const content = BudgetReadout.resolve(budgetSection.content, curationBudget, (candidate) => {
                 const candidateDrafts = drafts.map((section) => section === budgetSection ? { ...section, content: candidate } : section);
                 return weighContent(PacketWire.renderSlot(candidateDrafts, "system"))
-                    + weighContent(PacketWire.renderSlot(candidateDrafts, "user"));
-            }, reclaimableBodies);
+                    + weighContent(PacketWire.renderSlot(candidateDrafts, "user"))
+                    + attachmentsWeight;
+            }, reclaimableBodies.map((item) => TokenCalibration.scale(item, calibration)), calibration);
             drafts = drafts.map((section) => section === budgetSection ? { ...section, content } : section);
         }
         // Core alone turns validated drafts into measured durable sections.
@@ -302,7 +315,10 @@ class PacketBuilder {
             weight: weighContent(PacketWire.renderSection(section)),
         }));
         const renderWeight = weighContent(PacketWire.renderSlot(sections, "system")) + weighContent(PacketWire.renderSlot(sections, "user"));
-        return { weight: renderWeight, sections, attributions: [] };
+        // {§packet-attachment-parts} — pictures weigh in the packet like everything else it carries.
+        const packet = { weight: renderWeight + attachmentsWeight, sections, attributions: [], attachments: [...renderedLog.attachments] };
+        this.#calibrations.set(packet, calibration);
+        return packet;
     }
     // {§schemes-self-doc-materialization} {§tools-resource-materialization} —
     // one reserved reference set, materialized by LoopDocs.
@@ -352,9 +368,16 @@ class PacketBuilder {
     // visibility while measuring a candidate request.
     curationOverflow(packet, provider) {
         const budget = this.curationBudgetFor(provider);
-        if (budget === null || packet.weight <= budget)
+        if (budget === null)
             return null;
-        return { weight: packet.weight, budget, excess: packet.weight - budget };
+        const calibration = this.#calibrations.get(packet);
+        if (calibration === undefined)
+            throw new Error("curationOverflow: the packet was not built by this PacketBuilder");
+        // {§tokenomics-calibrated-readout} — admission judges the same calibrated weight the model was shown.
+        const weight = Math.round(packet.weight * calibration);
+        if (weight <= budget)
+            return null;
+        return { weight, budget, excess: weight - budget };
     }
     // Every prior-turn operation failure is durable before packet assembly.
     // The model-facing Errors section is only a terse projection of those rows;
@@ -432,7 +455,6 @@ class PacketBuilder {
                     : LogVisibility.parse(r.folded),
                 source: r.source,
                 attrs: r.attrs === null ? null : JSON.parse(r.attrs),
-                tags: JSON.parse(r.tags),
                 ...(lineAnchors === undefined ? {} : { lineAnchors }),
                 ...(lineNumberWidth === undefined ? {} : { lineNumberWidth }),
             };