@plurnk/plurnk-service 2.0.0 → 3.1.0

package/dist/core/MessageResources.sql

@@ -14,6 +14,8 @@ FROM message_responses e
 JOIN workers w ON w.id = e.worker_id
 WHERE w.workspace_id = $workspace_id AND w.id = $worker_id
   AND ($loop_id IS NULL OR e.loop_id = $loop_id)
+  AND (length(trim(e.content, char(9) || char(10) || char(13) || ' ')) > 0
+       OR json_array_length(e.rx, '$.attachments') > 0)
 ORDER BY loop_id, id;
 -- PREP: message_source_resources
 -- A message keeps the address its minter gave it (`a2a://…`, `agui://…`), and {§message-short-identity}
@@ -32,5 +34,34 @@ SELECT * FROM message_sources WHERE workspace_id = $workspace_id AND key_path =
 UNION ALL
 SELECT * FROM message_sources WHERE workspace_id = $workspace_id AND address = $path;
 
+-- PREP: message_latest_published
+-- {§message-completion}: with none open, a targetless SEND speaks to the loop's latest published message.
+SELECT path FROM message_sources
+WHERE loop_id = $loop_id AND log_entry_id IS NOT NULL
+ORDER BY ordinal DESC LIMIT 1;
+
 -- PREP: message_unanswered_count
 SELECT count(*) AS count FROM unanswered_messages WHERE loop_id = $loop_id;
+
+-- PREP: message_completion_outcome
+-- {§message-completion}: any completed request wins; all-cancelled is cancellation.
+SELECT CASE WHEN COUNT(*) > 0 AND MIN(c.status) = 499 THEN 499 ELSE 200 END AS status
+FROM message_completions c JOIN loop_messages m ON m.id = c.message_id
+WHERE m.loop_id = $loop_id;
+
+-- INIT: message_complete_on_reply
+DROP TRIGGER IF EXISTS message_complete_on_reply;
+CREATE TRIGGER message_complete_on_reply
+AFTER INSERT ON log_entries
+WHEN NEW.op = 'SEND' AND NEW.state = 'resolved' AND NEW.status_rx BETWEEN 200 AND 299
+    AND NEW.source IS NULL AND NEW.inherited_history = 0 AND json_valid(NEW.rx)
+    AND json_extract(NEW.rx, '$.completion') IN (200, 499)
+BEGIN
+    INSERT INTO message_completions (message_id, response_id, status)
+    SELECT m.id, NEW.id, json_extract(NEW.rx, '$.completion')
+    FROM message_sources m
+    JOIN workers w ON w.id = NEW.worker_id AND w.workspace_id = m.workspace_id
+    JOIN json_each(NEW.rx, '$.answers') a ON a.value = m.path
+    WHERE true
+    ON CONFLICT(message_id) DO UPDATE SET response_id = excluded.response_id, status = excluded.status;
+END;

package/dist/core/OperatorConfig.d.ts

@@ -2,6 +2,7 @@ import type HostPaths from "./HostPaths.ts";
 export default class OperatorConfig {
     #private;
     static renderSeed(token?: string): string;
+    static undeclared(text: string, declares: (key: string) => boolean): readonly string[];
     static ensure(paths: HostPaths, policySource: string): Promise<boolean>;
 }
 //# sourceMappingURL=OperatorConfig.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"OperatorConfig.d.ts","sourceRoot":"","sources":["../../src/core/OperatorConfig.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAW5C,MAAM,CAAC,OAAO,OAAO,cAAc;;IAU/B,MAAM,CAAC,UAAU,CAAC,KAAK,SAA8B,GAAG,MAAM,CA4C7D;IAED,OAAa,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAgB5E;CACJ"}
+{"version":3,"file":"OperatorConfig.d.ts","sourceRoot":"","sources":["../../src/core/OperatorConfig.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAc5C,MAAM,CAAC,OAAO,OAAO,cAAc;;IAU/B,MAAM,CAAC,UAAU,CAAC,KAAK,SAA8B,GAAG,MAAM,CA4C7D;IAID,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,GAAG,SAAS,MAAM,EAAE,CAErF;IAED,OAAa,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAgB5E;CACJ"}

package/dist/core/OperatorConfig.js

@@ -54,6 +54,9 @@ import { randomBytes } from "node:crypto";
 import { constants } from "node:fs";
 import { access, mkdir, mkdtempDisposable, readFile, rename, writeFile } from "node:fs/promises";
 import { basename, dirname, join } from "node:path";
+import { parseEnv } from "node:util";
+// The client and the bench lanes read their own keys from the operator's file, too.
+const FOREIGN = /^PLURNK_(?:CLIENT_|COMPOSITION_|BENCH|SWEBENCH_|PI_|CANDIDATE_)/u;
 const exists = async (path) => access(path, constants.F_OK)
     .then(() => true)
     .catch((cause) => {
@@ -110,13 +113,18 @@ export default class OperatorConfig {
             "# PLURNK_MEMBERS_no_locks=!**/*.lock",
             "# PLURNK_MEMBERS_no_locks_ENABLED=0",
             "",
-            "# OPTIONAL TAVILY HTML MATERIALIZATION — the plugin ships with the service;",
-            "# uncomment both lines to select it.",
+            "# OPTIONAL TAVILY HTML MATERIALIZATION — install @plurnk/plurnk-tavily-plugin beside the",
+            "# service, then uncomment both lines to select it.",
             "# TAVILY_API_KEY=\"...\"",
             "# PLURNK_SCHEMES_HTTP_MATERIALIZER=tavily-extract",
             "",
         ].join("\n");
     }
+    // {§operator-config-undeclared-key} The daemon's keys an operator file sets that no installed
+    // package declares, in file order.
+    static undeclared(text, declares) {
+        return Object.keys(parseEnv(text)).filter((key) => key.startsWith("PLURNK_") && !FOREIGN.test(key) && !declares(key));
+    }
     static async ensure(paths, policySource) {
         const env_1 = { stack: [], error: void 0, hasError: false };
         try {

package/dist/core/OperatorConfig.js.map

@@ -1 +1 @@
-{"version":3,"file":"OperatorConfig.js","sourceRoot":"","sources":["../../src/core/OperatorConfig.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACjG,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGpD,MAAM,MAAM,GAAG,KAAK,EAAE,IAAY,EAAoB,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC;KAChF,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;KAChB,KAAK,CAAC,CAAC,KAA4B,EAAE,EAAE;IACpC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,KAAK,CAAC;AAChB,CAAC,CAAC,CAAC;AAEP,8EAA8E;AAC9E,qEAAqE;AACrE,MAAM,CAAC,OAAO,OAAO,cAAc;IAC/B,gGAAgG;IAChG,+FAA+F;IAC/F,6FAA6F;IAC7F,+FAA+F;IAC/F,qFAAqF;IACrF,MAAM,CAAC,UAAU;QACb,OAAO,WAAW,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,KAAK,GAAG,cAAc,CAAC,UAAU,EAAE;QACjD,OAAO;YACH,2EAA2E;YAC3E,0DAA0D;YAC1D,sDAAsD;YACtD,GAAG;YACH,sFAAsF;YACtF,yFAAyF;YACzF,qBAAqB,KAAK,EAAE;YAC5B,EAAE;YACF,gEAAgE;YAChE,EAAE;YACF,sDAAsD;YACtD,2DAA2D;YAC3D,8BAA8B;YAC9B,2BAA2B;YAC3B,EAAE;YACF,iFAAiF;YACjF,sCAAsC;YACtC,iDAAiD;YACjD,2DAA2D;YAC3D,sBAAsB;YACtB,EAAE;YACF,+EAA+E;YAC/E,+EAA+E;YAC/E,kFAAkF;YAClF,+EAA+E;YAC/E,EAAE;YACF,gGAAgG;YAChG,8FAA8F;YAC9F,2IAA2I;YAC3I,uEAAuE;YACvE,8BAA8B;YAC9B,+EAA+E;YAC/E,+BAA+B;YAC/B,sCAAsC;YACtC,qCAAqC;YACrC,EAAE;YACF,6EAA6E;YAC7E,sCAAsC;YACtC,0BAA0B;YAC1B,mDAAmD;YACnD,EAAE;SACL,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAgB,EAAE,YAAoB;;;YACtD,IAAI,MAAM,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;gBAAE,OAAO,KAAK,CAAC;YAChD,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YACpD,MAAM,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACxE,MAAY,KAAK,kCAAG,MAAM,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,IAAI,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAA,CAAC;YAC9G,MAAM,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,EAAE,cAAc,CAAC,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YAC1I,MAAM,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACrH,sEAAsE;YACtE,IAAI,CAAC;gBACD,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;YAC9C,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI,CAAC;gBACnD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,WAAW;oBAAE,OAAO,KAAK,CAAC;gBAC5D,MAAM,KAAK,CAAC;YAChB,CAAC;YACD,OAAO,IAAI,CAAC;;;;;;;;;;;IAChB,CAAC;CACJ"}
+{"version":3,"file":"OperatorConfig.js","sourceRoot":"","sources":["../../src/core/OperatorConfig.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACjG,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGrC,oFAAoF;AACpF,MAAM,OAAO,GAAG,kEAAkE,CAAC;AAEnF,MAAM,MAAM,GAAG,KAAK,EAAE,IAAY,EAAoB,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC;KAChF,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;KAChB,KAAK,CAAC,CAAC,KAA4B,EAAE,EAAE;IACpC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,KAAK,CAAC;AAChB,CAAC,CAAC,CAAC;AAEP,8EAA8E;AAC9E,qEAAqE;AACrE,MAAM,CAAC,OAAO,OAAO,cAAc;IAC/B,gGAAgG;IAChG,+FAA+F;IAC/F,6FAA6F;IAC7F,+FAA+F;IAC/F,qFAAqF;IACrF,MAAM,CAAC,UAAU;QACb,OAAO,WAAW,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,KAAK,GAAG,cAAc,CAAC,UAAU,EAAE;QACjD,OAAO;YACH,2EAA2E;YAC3E,0DAA0D;YAC1D,sDAAsD;YACtD,GAAG;YACH,sFAAsF;YACtF,yFAAyF;YACzF,qBAAqB,KAAK,EAAE;YAC5B,EAAE;YACF,gEAAgE;YAChE,EAAE;YACF,sDAAsD;YACtD,2DAA2D;YAC3D,8BAA8B;YAC9B,2BAA2B;YAC3B,EAAE;YACF,iFAAiF;YACjF,sCAAsC;YACtC,iDAAiD;YACjD,2DAA2D;YAC3D,sBAAsB;YACtB,EAAE;YACF,+EAA+E;YAC/E,+EAA+E;YAC/E,kFAAkF;YAClF,+EAA+E;YAC/E,EAAE;YACF,gGAAgG;YAChG,8FAA8F;YAC9F,2IAA2I;YAC3I,uEAAuE;YACvE,8BAA8B;YAC9B,+EAA+E;YAC/E,+BAA+B;YAC/B,sCAAsC;YACtC,qCAAqC;YACrC,EAAE;YACF,0FAA0F;YAC1F,oDAAoD;YACpD,0BAA0B;YAC1B,mDAAmD;YACnD,EAAE;SACL,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,8FAA8F;IAC9F,mCAAmC;IACnC,MAAM,CAAC,UAAU,CAAC,IAAY,EAAE,QAAkC;QAC9D,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1H,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAgB,EAAE,YAAoB;;;YACtD,IAAI,MAAM,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;gBAAE,OAAO,KAAK,CAAC;YAChD,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YACpD,MAAM,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACxE,MAAY,KAAK,kCAAG,MAAM,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,IAAI,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAA,CAAC;YAC9G,MAAM,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,EAAE,cAAc,CAAC,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YAC1I,MAAM,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACrH,sEAAsE;YACtE,IAAI,CAAC;gBACD,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;YAC9C,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI,CAAC;gBACnD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,WAAW;oBAAE,OAAO,KAAK,CAAC;gBAC5D,MAAM,KAAK,CAAC;YAChB,CAAC;YACD,OAAO,IAAI,CAAC;;;;;;;;;;;IAChB,CAAC;CACJ"}

package/dist/core/PacketBuilder.d.ts

@@ -5,11 +5,11 @@ import type ExecutorRegistry from "./ExecutorRegistry.ts";
 import type { GitStatus } from "./git-state.ts";
 import { type BodiedLogRow } from "./packet-wire.ts";
 import type { RequestPacket } from "./StoredPacket.ts";
-import type { ChatMessage, Provider } from "@plurnk/plurnk-providers";
+import type { ChatMessage, Provider, ProviderRequestCapacity } from "@plurnk/plurnk-providers";
 export type { ChatMessage } from "@plurnk/plurnk-providers";
 export interface WindowOverflow {
     readonly tokens: number;
-    readonly budget: number;
+    readonly budget: number | null;
     readonly wall: number;
     readonly excess: number;
     readonly excessWeight: number;
@@ -31,12 +31,9 @@ export default class PacketBuilder {
         pathname: string;
         content: string;
     }>): void;
-    static validateConfiguration(env?: NodeJS.ProcessEnv): void;
-    static assertConfiguration(env?: NodeJS.ProcessEnv): void;
-    emissionsFor(packet: RequestPacket): ReadonlyMap<string, string>;
     curationBudgetFor(packet: RequestPacket): number | null;
     bodiedRowsOf(packet: RequestPacket): readonly BodiedLogRow[];
-    buildRequestPacket({ initialMessages, recap, workspaceId, workerId, loopId, currentTurnSeq, provider, gitStatus, notices, transientOpenLogEntryId, turnId, bodiless, }: {
+    buildRequestPacket({ initialMessages, recap, workspaceId, workerId, loopId, currentTurnSeq, provider, gitStatus, notices, transientOpenLogEntryId, turnId, bodiless, omitEmissionHistory, }: {
         initialMessages: ChatMessage[];
         recap?: string;
         gitStatus: GitStatus | null;
@@ -49,6 +46,7 @@ export default class PacketBuilder {
         transientOpenLogEntryId?: number | null;
         turnId?: number | null;
         bodiless?: ReadonlySet<number>;
+        omitEmissionHistory?: boolean;
     }): Promise<RequestPacket>;
     recordObservations(packet: RequestPacket): Promise<void>;
     referenceEntries(workspaceId: number): Promise<Array<{
@@ -57,9 +55,9 @@ export default class PacketBuilder {
     }>>;
     curationOverflow(packet: RequestPacket): CurationOverflow | null;
     windowOverflow(packet: RequestPacket, provider: {
-        readonly inputCapacity: number | null;
         readonly inputWall: number | null;
     }): WindowOverflow | null;
+    exactOverflow(packet: RequestPacket, capacity: ProviderRequestCapacity): WindowOverflow | null;
     buildFailurePointers(loopId: number, currentTurnSeq: number): Promise<Array<{
         status: number;
         coordinate: string;

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;AAkBhD,OAAmB,EAAE,KAAK,YAAY,EAAqB,MAAM,kBAAkB,CAAC;AAEpF,OAAO,KAAK,EAAE,aAAa,EAAuB,MAAM,mBAAmB,CAAC;AAG5E,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AA6EtE,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAI5D,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CACjC;AAED,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;;IAoB9B,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,EAKA;IAED,yBAAyB,CAAC,SAAS,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,IAAI,CAEhI;IAMD,MAAM,CAAC,qBAAqB,CAAC,GAAG,GAAE,MAAM,CAAC,UAAwB,GAAG,IAAI,CAmCvE;IAID,MAAM,CAAC,mBAAmB,CAAC,GAAG,GAAE,MAAM,CAAC,UAAwB,GAAG,IAAI,CAOrE;IAGD,YAAY,CAAC,MAAM,EAAE,aAAa,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAI/D;IAED,iBAAiB,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,GAAG,IAAI,CAItD;IAGD,YAAY,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,YAAY,EAAE,CAI3D;IAIK,kBAAkB,CAAC,EACrB,eAAe,EAAE,KAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAY,EAC7G,uBAA8B,EAC9B,MAAa,EACb,QAAQ,GACX,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;QACxC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QAEvB,QAAQ,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;KAClC,GAAG,OAAO,CAAC,aAAa,CAAC,CA0KzB;IAEK,kBAAkB,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAO7D;IAIK,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAsCjG;IAeD,gBAAgB,CAAC,MAAM,EAAE,aAAa,GAAG,gBAAgB,GAAG,IAAI,CAM/D;IAKD,cAAc,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE;QAAE,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,GAAG,cAAc,GAAG,IAAI,CAOnJ;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;CAiBJ"}
+{"version":3,"file":"PacketBuilder.d.ts","sourceRoot":"","sources":["../../src/core/PacketBuilder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAEvD,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,OAAmB,EAAE,KAAK,YAAY,EAAqB,MAAM,kBAAkB,CAAC;AAEpF,OAAO,KAAK,EAAoB,aAAa,EAAuB,MAAM,mBAAmB,CAAC;AAG9F,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AA4E/F,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAI5D,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CACjC;AAED,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;;IAiB9B,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,EAKA;IAED,yBAAyB,CAAC,SAAS,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,IAAI,CAEhI;IAED,iBAAiB,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,GAAG,IAAI,CAEtD;IASD,YAAY,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,YAAY,EAAE,CAI3D;IAIK,kBAAkB,CAAC,EACrB,eAAe,EAAE,KAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAY,EAC7G,uBAA8B,EAC9B,MAAa,EACb,QAAQ,EACR,mBAA2B,GAC9B,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;QACxC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QAEvB,QAAQ,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;QAE/B,mBAAmB,CAAC,EAAE,OAAO,CAAC;KACjC,GAAG,OAAO,CAAC,aAAa,CAAC,CA+NzB;IAEK,kBAAkB,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAO7D;IAIK,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAsCjG;IAID,gBAAgB,CAAC,MAAM,EAAE,aAAa,GAAG,gBAAgB,GAAG,IAAI,CAM/D;IAID,cAAc,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,GAAG,cAAc,GAAG,IAAI,CAO5G;IAID,aAAa,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,uBAAuB,GAAG,cAAc,GAAG,IAAI,CAa7F;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;CAiBJ"}

package/dist/core/PacketBuilder.js

@@ -1,15 +1,14 @@
+import { Knob } from "@plurnk/plurnk-meta";
 import WorkerName from "./WorkerName.js";
 import { generatedPathname, renderAddress } from "./plurnk-uri.js";
 import { contentWeight } from "./content-weight.js";
-import LoopPolicyReader from "./LoopPolicyReader.js";
 import CapabilityPolicies from "./CapabilityPolicies.js";
 import CapabilityResolver from "./CapabilityResolver.js";
 import { readPacketInject, readSystemPolicy } from "./packet-inject.js";
 import { readFile } from "node:fs/promises";
-import { readFileSync } from "node:fs";
-import { parseEnv } from "node:util";
 import Paths from "../Paths.js";
 import { readTeachingSource } from "./teaching-corpus.js";
+import { recapLines } from "./recap-lines.js";
 import { acceptedKinds } from "./attachments.js";
 // Shared module imported by both Engine and the digest, so wire
 // projection and digest projection are structurally one function — no
@@ -19,8 +18,7 @@ import LogEntryProjection from "./LogEntryProjection.js";
 import BudgetReadout from "./BudgetReadout.js";
 import TokenCalibration from "./TokenCalibration.js";
 import ToolResources from "./ToolResources.js";
-import { ConfigurationError } from "@plurnk/plurnk-meta";
-import Results, { OperationFailureError } from "./results.js";
+import TurnOps from "./TurnOps.js";
 const trimHorizontal = (value) => value.replace(/^[\t ]+|[\t ]+$/gu, "");
 const tableCells = (line) => {
     if (!line.startsWith("|") || !line.endsWith("|"))
@@ -94,12 +92,9 @@ const compactDefinitionTables = (markdown) => {
 // curation stays in scoped KILL; what fits was decided where each row landed ({§context-fit}).
 export default class PacketBuilder {
     #db;
-    // {§tokenomics-calibrated-readout} — admission and client gauges consume
-    // the allowance captured before this request can change model evidence.
-    #curationBudgets = new WeakMap();
-    // {§context-budget} — each loop's high-water budget, for the input capacity it was derived from.
-    #loopBudgets = new Map();
-    #emissions = new WeakMap();
+    // {§tokenomics-calibrated-readout} — admission and client gauges consume the allowance and the factor
+    // captured before this request can change model evidence.
+    #allowances = new WeakMap();
     // {§context-own-rows-fit} — the rows of each built packet the wall may still take, newest last.
     #bodiedRows = new WeakMap();
     #streamObservations = new WeakMap();
@@ -120,72 +115,14 @@ export default class PacketBuilder {
     setFunctionalityDocuments(documents) {
         this.#functionalityDocuments = documents;
     }
-    static #declaredKnobs;
-    // {§configuration-repair-path} — retired knobs fail naming what replaced them: the context
-    // budget has one rule ({§context-fit}) and one gauge ({§context-gauge}).
-    static validateConfiguration(env = process.env) {
-        // A commented declaration (`# PLURNK_X=`) is an optional knob, declared like any other
-        // ({§operator-config-env-defaults}; the catalog reads it the same way) — only its value is absent.
-        const declared = PacketBuilder.#declaredKnobs ??= (() => {
-            const text = readFileSync(new URL("../../.env.defaults", import.meta.url), "utf8");
-            const optional = [...text.matchAll(/^#\s*([A-Za-z_][A-Za-z0-9_]*)=/gmu)].map((m) => m[1]);
-            return [...Object.keys(parseEnv(text)), ...optional];
-        })();
-        const oneRule = "a result arrives whole when it fits the budget and as its size otherwise ({§context-fit}); nothing is previewed, projected or paged";
-        const retired = {
-            PLURNK_SERVICE_PROMPT_BUDGET: "provider input capacity is derived from context and output budgets",
-            PLURNK_SERVICE_SAFETY: "provider request-shaped capacity admission owns physical headroom",
-            PLURNK_SERVICE_PROMPT_PROJECTION: oneRule,
-            PLURNK_SERVICE_BUDGET_PRESSURE: "the gauge carries no threshold and no mandate ({§context-gauge})",
-            PLURNK_REASONING_VIEW_LINES: "initialization authors no reasoning and reads none back ({§worker-initialization-entry})",
-            PLURNK_REASONING_EMPTY_TURN_LINES: "an empty turn reads nothing back; its 422 row is the whole receipt ({§empty-turn})",
-        };
-        const retiredKey = new RegExp(`^(${Object.keys(retired).join("|")})(?:_.*)?$`, "u");
-        for (const key of Object.keys(env)) {
-            const match = retiredKey.exec(key);
-            const reason = match === null ? undefined : retired[match[1]];
-            if (reason !== undefined)
-                throw new ConfigurationError(key, `${key} is retired: ${reason}.`);
-        }
-        const moved = {
-            CTX: "PLURNK_PROVIDERS_CONTEXT_WINDOW",
-            CONTEXT_WINDOW: "PLURNK_PROVIDERS_CONTEXT_WINDOW",
-            REASONING: "PLURNK_PROVIDERS_REASONING_BUDGET",
-            ASSISTANT: "PLURNK_PROVIDERS_OUTPUT_BUDGET",
-            COMPLETION: "PLURNK_PROVIDERS_OUTPUT_BUDGET",
-        };
-        for (const key of Object.keys(env)) {
-            if (declared.some((knob) => key === knob || key.startsWith(`${knob}_`)))
-                continue;
-            const match = /^PLURNK_SERVICE_(CTX|CONTEXT_WINDOW|REASONING|ASSISTANT|COMPLETION)(_.*)?$/u.exec(key);
-            if (match !== null)
-                throw new ConfigurationError(key, `${key} is retired: the provider-owned knob is ${moved[match[1]]}${match[2] ?? ""}.`);
-        }
-    }
-    // {§configuration-repair-path} — the same refusal as an operation failure: a 503 Problem naming the
-    // key, so a loop reports the failed demand instead of dying on an unshaped exception.
-    static assertConfiguration(env = process.env) {
-        try {
-            PacketBuilder.validateConfiguration(env);
-        }
-        catch (cause) {
-            if (!(cause instanceof ConfigurationError))
-                throw cause;
-            throw new OperationFailureError(Results.configurationFailure(cause), { cause });
-        }
-    }
-    // {§packet-wire-envelope} — the emissions this packet placed, keyed by their rows' coordinates.
-    emissionsFor(packet) {
-        const emissions = this.#emissions.get(packet.sections);
-        if (emissions === undefined)
-            throw new Error("emissionsFor: the packet was not built by this PacketBuilder");
-        return emissions;
-    }
     curationBudgetFor(packet) {
-        const budget = this.#curationBudgets.get(packet.sections);
-        if (budget === undefined)
-            throw new Error("curationBudgetFor: the packet was not built by this PacketBuilder");
-        return budget;
+        return this.#allowanceOf(packet).budget;
+    }
+    #allowanceOf(packet) {
+        const allowance = this.#allowances.get(packet.sections);
+        if (allowance === undefined)
+            throw new Error("the packet was not built by this PacketBuilder");
+        return allowance;
     }
     // {§context-own-rows-fit} — the packet's rows still carrying a body or a native part, in row order.
     bodiedRowsOf(packet) {
@@ -196,13 +133,8 @@ export default class PacketBuilder {
     }
     // {§packet-stored-shape} — assemble the system/user request before the
     // provider call; complete the same record with the provider response.
-    async buildRequestPacket({ initialMessages, recap = "", workspaceId, workerId, loopId, currentTurnSeq, provider, gitStatus, notices = [], transientOpenLogEntryId = null, turnId = null, bodiless, }) {
-        // {§configuration-repair-path} — a retired packet knob refuses packet construction, never startup.
-        PacketBuilder.assertConfiguration();
-        // {§loop-policy-effective-read} Validate active-loop policy before any
-        // packet assembly or provider spend, independently of its presentation.
-        await LoopPolicyReader.read(this.#db, loopId);
-        await CapabilityPolicies.layers(this.#db, workspaceId, loopId);
+    async buildRequestPacket({ initialMessages, recap = "", workspaceId, workerId, loopId, currentTurnSeq, provider, gitStatus, notices = [], transientOpenLogEntryId = null, turnId = null, bodiless, omitEmissionHistory = false, }) {
+        await CapabilityPolicies.layers(this.#db, workspaceId);
         const byRole = (role) => initialMessages.filter((m) => m.role === role).map((m) => m.content).join("\n\n");
         // Resource references are discovered through Turn0, not injected. {§schemes-directory}
         const system_definition = compactDefinitionTables(byRole("system"));
@@ -219,12 +151,14 @@ export default class PacketBuilder {
                 ...(m.source === null ? { origin: "user" } : { source: m.source }),
             })).join(",\n")}]`
             : "[]";
-        // {§recap}: a non-empty override wins; otherwise read the meta-owned source per packet.
-        const recapContent = recap.length > 0
+        // {§recap}: a non-empty override wins; otherwise read the meta-owned source per packet. The operator's
+        // recap lines lead it ({§recap-lines}).
+        const recapSource = recap.length > 0
             ? recap
             : Paths.defaultRecapTeachingSource === null
                 ? await readFile(Paths.defaultRecap, "utf8")
                 : await readTeachingSource(Paths.defaultRecapTeachingSource);
+        const recapContent = PacketWire.renderRecap(recapLines(), recapSource);
         // {§emission-admission}: the definition remains the complete language authority.
         const log = await this.#buildLog(workerId, transientOpenLogEntryId, turnId);
         const failures = await this.buildFailurePointers(loopId, currentTurnSeq);
@@ -232,8 +166,8 @@ export default class PacketBuilder {
         // {§context-budget} — one room: the provider's input capacity in curation weight, bounding the
         // whole packet. Nothing here sizes a part of it.
         const inputCapacity = provider.inputCapacity;
-        const calibration = inputCapacity === null ? 1 : await TokenCalibration.forModel(this.#db, provider.model);
-        const curationBudget = this.#loopBudget(loopId, inputCapacity, TokenCalibration.capacity(inputCapacity, calibration));
+        const factor = inputCapacity === null ? 1 : await TokenCalibration.forLoop(this.#db, provider.model, loopId);
+        const curationBudget = TokenCalibration.capacity(inputCapacity, factor);
         const budgetReadout = BudgetReadout.draft(curationBudget);
         // The canonical default order, trust boundary, and cache-locality bias are
         // specified at {§packet-cache-monotone}. Budget placeholders resolve only
@@ -271,12 +205,84 @@ export default class PacketBuilder {
         const parentPath = parentRow === undefined ? null : `worker://${parentRow.name}`;
         // {§fs-namespace} Receipt directories are relative to the workspace project root.
         const workspaceRow = await this.#db.envelope_get_workspace.get({ id: workspaceId });
-        const renderedLog = PacketWire.renderLogWithAccounting(log, weighContent, {
+        // {§emission-history}: the durable emission row, not its turn's first observation,
+        // anchors content replay without moving incoming observations or reasoning receipts.
+        const history = Knob.choice("PLURNK_SERVICE_EMISSION_HISTORY", ["none", "latest", "all"]);
+        const programs = omitEmissionHistory || history === "none" ? [] : await this.#db.engine_emission_history.all({
+            loop_id: loopId, current_turn_seq: currentTurnSeq, latest_only: history === "latest" ? 1 : 0,
+        });
+        const programsById = new Map(programs.map((program) => [program.id, program]));
+        // Trial (#1073): a replayed turn is the home of its NOTEs. Their rows render as the emission row's
+        // legend, path and weight each, so the model keeps a handle to retire one; a NOTE of a turn that is
+        // not replayed (an earlier loop, a shed history, a reasoning NOTE) renders as an ordinary row.
+        const turnKey = (entry) => String(entry.coordinate).split("/").slice(0, 2).join("/");
+        const ownNote = (entry) => entry.op === "NOTE" && entry.origin === "model";
+        const noteBody = (entry) => {
+            const tx = entry.tx;
+            return tx !== null && typeof tx === "object" && typeof tx.body === "string" ? tx.body : "";
+        };
+        // A NOTE row joins the legend only when the replayed program carries its body; a NOTE admitted from
+        // reasoning is not in the program and stays an ordinary row.
+        const programNotes = new Map();
+        for (const entry of log) {
+            const program = typeof entry.id === "number" ? programsById.get(entry.id) : undefined;
+            if (program !== undefined)
+                programNotes.set(turnKey(entry), TurnOps.noteBodies(program.content, JSON.parse(program.executors)));
+        }
+        const legendNotes = new Set();
+        for (const entry of log) {
+            if (!ownNote(entry))
+                continue;
+            const pool = programNotes.get(turnKey(entry));
+            const at = pool?.indexOf(noteBody(entry)) ?? -1;
+            if (pool === undefined || at === -1)
+                continue;
+            pool.splice(at, 1);
+            legendNotes.add(entry);
+        }
+        const legend = new Map();
+        for (const entry of legendNotes) {
+            const key = turnKey(entry);
+            if (!legend.has(key))
+                legend.set(key, []);
+            legend.get(key).push({ path: `log:///${entry.coordinate}/NOTE`, tokens: weighContent(TurnOps.noteFence(noteBody(entry))) });
+        }
+        const shown = log.filter((entry) => !legendNotes.has(entry));
+        const renderedLog = PacketWire.renderLogWithAccounting(shown, weighContent, {
             projectRoot: workspaceRow?.project_root ?? null,
             acceptedAttachmentKinds: new Set(acceptedKinds(provider.inputModalities)),
             ...(bodiless === undefined ? {} : { bodiless }),
+            legend,
         });
-        const attachmentsWeight = renderedLog.attachments.reduce((sum, { weight }) => sum + weight, 0);
+        const nativeRows = new Map(renderedLog.attachments.map((attachment) => [attachment.coordinate, attachment]));
+        const nativeParts = [];
+        const logSections = [];
+        const sectionItems = new Map();
+        let items = [];
+        let name = "log";
+        const flush = () => {
+            if (items.length === 0 && logSections.length > 0)
+                return;
+            logSections.push({ name, slot: "user", header: name === "log" ? "Log" : null, content: items.join("\n\n") });
+            sectionItems.set(name, items);
+            items = [];
+        };
+        for (const [index, row] of shown.entries()) {
+            if (items.length === 0 && logSections.length > 0)
+                name = `log/${row.coordinate}`;
+            items.push(renderedLog.records[index]);
+            const native = nativeRows.get(String(row.coordinate));
+            const program = typeof row.id === "number" ? programsById.get(row.id) : undefined;
+            const emission = program === undefined ? undefined : TurnOps.renderHistory(program.content, JSON.parse(program.executors), [...legendNotes].filter((entry) => turnKey(entry) === turnKey(row)).map(noteBody));
+            if (native !== undefined || emission) {
+                flush();
+                if (native !== undefined)
+                    nativeParts.push({ ...native, section: name });
+                if (emission)
+                    logSections.push({ name: `emission-history/${row.coordinate}`, slot: "assistant", header: null, content: emission });
+            }
+        }
+        flush();
         const defaults = [
             { name: "definition", slot: "system", header: null, content: system_definition },
             // Stable privileged policy follows the definition for prefix-cache locality.
@@ -284,74 +290,64 @@ export default class PacketBuilder {
             ...(inject !== null ? [{ name: "inject", slot: "system", header: "Operator Notes", content: inject }] : []),
             // The append-mostly log leads the user slot; nothing volatile precedes it
             // ({§packet-cache-monotone}).
-            {
-                name: "log",
-                slot: "user",
-                header: "Log",
-                content: renderedLog.content,
-            },
-            // {§packet-current-turn} — the Worker block opens the status clump below the log: who
-            // the actor is, whose child it is, and the coordinate this packet's response becomes —
-            // the one fact the sources cannot state about themselves (which `reasoning://<worker>/L/T` is
-            // the model's own). It changes every turn, so it never precedes the log.
-            { name: "worker", slot: "user", header: "Worker", content: JSON.stringify({ path: `worker://${workerName}`, parent: parentPath, loop: loopSeqRow?.sequence ?? loopId, turn: currentTurnSeq }) },
-            // The per-turn status clump follows the log ({§packet-cache-monotone}).
-            // child-orientation: what this worker holds live — its child workers and its open streams — under
-            // the teaching's own word, just above errors. Terse pointers (the path is the actionable address
-            // the model READs, SENDs to, or KILLs), never advice. {§child-orientation}
-            { name: "delegation", slot: "user", header: "Delegation", content: PacketWire.renderDelegation(childWorkers, childStreams) },
-            { name: "errors", slot: "user", header: "Errors", content: PacketWire.renderFailurePointers(failures) },
-            { name: "notices", slot: "user", header: "Notices", content: PacketWire.renderNotices(notices) },
+            ...logSections,
+            // The per-turn status clump follows the log ({§packet-cache-monotone}) and runs from ambient
+            // state to what this turn owes to feedback on the last one, then the Recap: the nearer the end,
+            // the more a section asks of this turn.
             { name: "git", slot: "user", header: "Git Status", content: PacketWire.renderGit(gitStatus) },
             // {§context-gauge} — the model's word for curation weight is tokens; this is never provider admission.
             { name: "budget", slot: "user", header: "Context", content: budgetReadout },
-            // The messages section closes the status clump as a pointer list of open
-            // arrivals; bodies arrive through their inbound SEND rows ({§message-arrival}).
+            // {§packet-current-turn} — the Worker block names who the actor is, whose child it is, and the
+            // coordinate this packet's response becomes — the one fact the sources cannot state about
+            // themselves (which `reasoning://<worker>/L/T` is the model's own). It changes every turn, so it
+            // never precedes the log.
+            { name: "worker", slot: "user", header: "Worker", content: JSON.stringify({ path: `worker://${workerName}`, parent: parentPath, loop: loopSeqRow?.sequence ?? loopId, turn: currentTurnSeq }) },
+            // child-orientation: what this worker holds live — its child workers and its open streams — under
+            // the teaching's own word. Terse pointers (the path is the actionable address the model READs,
+            // SENDs to, or KILLs), never advice. {§child-orientation}
+            { name: "delegation", slot: "user", header: "Delegation", content: PacketWire.renderDelegation(childWorkers, childStreams) },
+            // The open arrivals this turn owes, as pointers; bodies arrive through their inbound SEND rows
+            // ({§message-arrival}).
             { name: "messages", slot: "user", header: "Open Messages", content: prompt },
+            { name: "notices", slot: "user", header: "Notices", content: PacketWire.renderNotices(notices) },
+            { name: "errors", slot: "user", header: "Errors", content: PacketWire.renderFailurePointers(failures) },
             { name: "recap", slot: "user", header: "Recap", content: recapContent },
         ];
         // Extension packet control ({§packet-assembly}): trusted schemes rewrite the
         // default list — add, remove, reorder — in-process, before measurement.
         let drafts = await this.#schemes.transformSections(defaults, workspaceId);
-        // {§emission-row} {§packet-wire-envelope} — an emission rides with its row: the rows present in
-        // the final log section place their emissions, and the packet charges exactly those.
-        const announced = new Map(renderedLog.emissions.map(({ coordinate, content }) => [coordinate, content]));
-        const placed = PacketWire.placedEmissions(drafts, announced);
-        const emissions = new Map(placed.map((coordinate) => [coordinate, announced.get(coordinate)]));
-        const emissionsWeight = renderedLog.emissions
-            .filter(({ coordinate }) => emissions.has(coordinate))
-            .reduce((sum, { weight }) => sum + weight, 0);
+        const unchangedLog = logSections.filter((section) => section.slot === "user").every((section) => drafts.some((candidate) => candidate.name === section.name && candidate.content === section.content && candidate.slot === section.slot));
+        const attachments = nativeParts.filter(({ section }) => drafts.some(({ name }) => name === section));
+        const attachmentsWeight = attachments.reduce((sum, { weight }) => sum + weight, 0);
         const budgetSection = drafts.find((section) => section.name === "budget");
         if (budgetSection !== undefined) {
-            const transformedLog = drafts.find((section) => section.name === "log");
-            const curationTargets = transformedLog?.content === renderedLog.content
-                ? renderedLog.curationTargets
-                : [];
-            const content = BudgetReadout.resolve(budgetSection.content, (candidate) => {
-                const candidateDrafts = drafts.map((section) => section === budgetSection ? { ...section, content: candidate } : section);
-                return weighContent(PacketWire.renderSlot(candidateDrafts, "system"))
-                    + weighContent(PacketWire.renderSlot(candidateDrafts, "user"))
-                    + attachmentsWeight
-                    + emissionsWeight;
-            }, curationTargets);
-            drafts = drafts.map((section) => section === budgetSection ? { ...section, content } : section);
+            const curationTargets = unchangedLog ? renderedLog.curationTargets : [];
+            // {§context-pressure-notice} — the pressure notice follows whatever the notices section holds.
+            const noticesSection = drafts.find((section) => section.name === "notices");
+            const withReadout = (gauge, notice) => drafts.map((section) => {
+                if (section === budgetSection)
+                    return { ...section, content: gauge };
+                if (section !== noticesSection || notice === null)
+                    return section;
+                return { ...section, content: [section.content, PacketWire.renderNotices([notice])].filter((part) => part.length > 0).join("\n") };
+            });
+            const readout = BudgetReadout.resolve(budgetSection.content, (gauge, notice) => PacketWire.packetToWireMessages({ sections: withReadout(gauge, notice) })
+                .reduce((sum, { content }) => sum + weighContent(content), attachmentsWeight), curationTargets);
+            drafts = withReadout(readout.gauge, readout.notice);
         }
-        // Core alone turns validated drafts into measured durable sections. {§packet-items} — the
-        // log section's items are its records when no transformer touched it; any other section,
-        // or a transformed log, is one item.
+        // {§packet-items}: unchanged log segments retain their content-addressed records.
         const sections = drafts.map((section) => ({
             ...section,
             weight: weighContent(PacketWire.renderSection(section)),
-            items: section.name === "log" && section.content === renderedLog.content ? renderedLog.records : [section.content],
+            items: sectionItems.get(section.name)?.join("\n\n") === section.content ? sectionItems.get(section.name) : [section.content],
         }));
-        const renderWeight = weighContent(PacketWire.renderSlot(sections, "system")) + weighContent(PacketWire.renderSlot(sections, "user"));
-        // {§packet-attachment-parts} — pictures weigh in the packet like everything else it carries,
-        // and so do the emissions it places ({§emission-row}).
-        const packet = { weight: renderWeight + attachmentsWeight + emissionsWeight, sections, attributions: [], attachments: [...renderedLog.attachments] };
-        this.#curationBudgets.set(packet.sections, curationBudget);
-        this.#emissions.set(packet.sections, emissions);
+        const renderWeight = PacketWire.packetToWireMessages({ sections })
+            .reduce((sum, { content }) => sum + weighContent(content), 0);
+        // {§packet-attachment-parts}: all text is already in the ordered messages.
+        const packet = { weight: renderWeight + attachmentsWeight, sections, attributions: [], attachments };
+        this.#allowances.set(packet.sections, { budget: curationBudget, factor });
         // {§context-own-rows-fit} — a transformed log is one item the wall cannot take row by row.
-        this.#bodiedRows.set(packet.sections, drafts.find((section) => section.name === "log")?.content === renderedLog.content ? renderedLog.bodied : []);
+        this.#bodiedRows.set(packet.sections, unchangedLog ? renderedLog.bodied : []);
         this.#streamObservations.set(packet.sections, openChannels);
         return packet;
     }
@@ -409,17 +405,6 @@ export default class PacketBuilder {
             .map(({ pathname, content }) => ({ pathname, content })));
         return out.toSorted((left, right) => left.pathname.localeCompare(right.pathname));
     }
-    // {§context-budget} — the room never shrinks within a loop: the budget is the greater of the
-    // calibrated capacity and the loop's high-water for the same input capacity, so a refined conversion
-    // can enlarge the room but never turns a packet the model already answered into an overflow.
-    #loopBudget(loopId, inputCapacity, calibrated) {
-        if (inputCapacity === null || calibrated === null)
-            return null;
-        const prior = this.#loopBudgets.get(loopId);
-        const budget = prior !== undefined && prior.inputCapacity === inputCapacity ? Math.max(prior.budget, calibrated) : calibrated;
-        this.#loopBudgets.set(loopId, { inputCapacity, budget });
-        return budget;
-    }
     // {§context-over-budget-row} — measurement never mutates visibility; an over-budget packet is a row
     // and a request, never a silent cut.
     curationOverflow(packet) {
@@ -431,19 +416,36 @@ export default class PacketBuilder {
             return null;
         return { weight, budget, excess: weight - budget };
     }
-    // {§context-wall} — the packet's tokens through the loop's conversion (the budget is the capacity
-    // over the factor, so tokens are weight × capacity ÷ budget) against the provider's input wall;
-    // null without a wall or a budget: an unknown window has no wall.
+    // {§context-wall-measure} — the estimate: the packet's weight through its own calibration factor against
+    // the provider's input wall; null without a wall or a budget: an unknown window has no wall.
     windowOverflow(packet, provider) {
-        const budget = this.curationBudgetFor(packet);
-        if (budget === null || provider.inputCapacity === null || provider.inputWall === null)
+        const { budget, factor } = this.#allowanceOf(packet);
+        if (budget === null || provider.inputWall === null)
             return null;
-        const tokens = Math.ceil(packet.weight * provider.inputCapacity / budget);
+        const tokens = Math.ceil(packet.weight * factor);
         if (tokens <= provider.inputWall)
             return null;
-        const excessWeight = packet.weight - Math.floor(provider.inputWall * budget / provider.inputCapacity);
+        const excessWeight = packet.weight - Math.floor(provider.inputWall / factor);
         return { tokens, budget, wall: provider.inputWall, excess: tokens - provider.inputWall, excessWeight };
     }
+    // {§context-wall-measure} — the provider's exact refusal of the wire request, in the packet's own terms:
+    // the excess it names, shed at the ratio it measured for this packet. Null unless the provider refused.
+    exactOverflow(packet, capacity) {
+        if (capacity.decision !== "reject")
+            return null;
+        const { prompt, inputWall } = capacity;
+        // {§provider-capacity-admission}: only an exact count over a known wall refuses.
+        if (prompt.kind !== "exact" || inputWall === null)
+            throw new Error(`a capacity refusal measured ${prompt.kind} against ${inputWall} carries no exact excess`);
+        const excess = prompt.tokens - inputWall;
+        return {
+            tokens: prompt.tokens,
+            budget: this.curationBudgetFor(packet),
+            wall: inputWall,
+            excess,
+            excessWeight: Math.ceil(excess * packet.weight / prompt.tokens),
+        };
+    }
     // Every prior-turn operation failure is durable before packet assembly.
     // The model-facing Errors section is only a terse projection of those rows;
     // it never reconstructs failure truth from an in-memory event.