niceeval 0.12.1 → 0.12.2-canary.31

package/dist/assertions/record/diff-model.cjs

@@ -0,0 +1,120 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1 = exports.AGENT_WORKSPACE_DIFF_SCHEMA_ID_V1 = void 0;
+exports.encodeAgentWorkspaceDiffDocumentV1 = encodeAgentWorkspaceDiffDocumentV1;
+exports.decodeAgentWorkspaceDiffDocumentV1 = decodeAgentWorkspaceDiffDocumentV1;
+exports.AGENT_WORKSPACE_DIFF_SCHEMA_ID_V1 = "niceeval.diff/v1";
+exports.AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1 = "agent-send-window-endpoints/v1";
+function encodeEndpoint(endpoint) {
+    switch (endpoint.state) {
+        case "absent":
+            return Object.freeze({ state: "absent" });
+        case "text":
+            return Object.freeze({ state: "text", text: endpoint.text });
+        case "elided":
+            return Object.freeze({
+                state: "elided",
+                reason: endpoint.reason,
+                ...(endpoint.bytes === undefined ? {} : { bytes: endpoint.bytes }),
+            });
+    }
+}
+function decodeEndpoint(endpoint) {
+    switch (endpoint.state) {
+        case "absent":
+            return Object.freeze({ state: "absent" });
+        case "text":
+            return Object.freeze({ state: "text", text: endpoint.text });
+        case "elided":
+            return Object.freeze({
+                state: "elided",
+                reason: endpoint.reason,
+                ...(endpoint.bytes === undefined ? {} : { bytes: endpoint.bytes }),
+            });
+    }
+}
+function encodeIdentity(identity) {
+    return Object.freeze({
+        ...(identity.session === undefined ? {} : { session: identity.session }),
+        turn: identity.turn,
+    });
+}
+function decodeIdentity(identity) {
+    return Object.freeze({
+        ...(identity.session === undefined ? {} : { session: identity.session }),
+        turn: identity.turn,
+    });
+}
+function encodeHunks(hunks) {
+    return Object.freeze({
+        added: Object.freeze([...hunks.added]),
+        removed: Object.freeze([...hunks.removed]),
+    });
+}
+function decodeHunks(hunks) {
+    return Object.freeze({
+        added: Object.freeze([...hunks.added]),
+        removed: Object.freeze([...hunks.removed]),
+    });
+}
+function encodeChange(change) {
+    return Object.freeze({
+        path: change.path,
+        status: change.status,
+        before: encodeEndpoint(change.before),
+        after: encodeEndpoint(change.after),
+        hunks: encodeHunks(change.hunks),
+    });
+}
+function decodeChange(change) {
+    return Object.freeze({
+        path: change.path,
+        status: change.status,
+        before: decodeEndpoint(change.before),
+        after: decodeEndpoint(change.after),
+        hunks: decodeHunks(change.hunks),
+    });
+}
+function encodeWindow(window) {
+    return Object.freeze({
+        identity: encodeIdentity(window.identity),
+        changes: Object.freeze(window.changes.map(encodeChange)),
+    });
+}
+function decodeWindow(window) {
+    return Object.freeze({
+        identity: decodeIdentity(window.identity),
+        changes: Object.freeze(window.changes.map(decodeChange)),
+    });
+}
+function encodePolicy(policy) {
+    return Object.freeze({
+        defaultPolicy: "niceeval.sandbox-ledger/default-excludes/v1",
+        include: Object.freeze([...policy.include]),
+        ignore: Object.freeze([...policy.ignore]),
+    });
+}
+function decodePolicy(policy) {
+    return Object.freeze({
+        defaultPolicy: "niceeval-default-excludes",
+        include: Object.freeze([...policy.include]),
+        ignore: Object.freeze([...policy.ignore]),
+    });
+}
+/** The private producer adapter adds only durable schema identities. */
+function encodeAgentWorkspaceDiffDocumentV1(value) {
+    return Object.freeze({
+        attribution: exports.AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1,
+        policy: encodePolicy(value.policy),
+        windows: Object.freeze(value.windows.map(encodeWindow)),
+    });
+}
+/** The reader adapter returns a fresh schema-independent runtime value. */
+function decodeAgentWorkspaceDiffDocumentV1(value) {
+    return Object.freeze({
+        attribution: "agent-send-window-endpoints",
+        policy: decodePolicy(value.policy),
+        windows: Object.freeze(value.windows.map(decodeWindow)),
+    });
+}
+//# sourceMappingURL=diff-model.cjs.map

package/dist/assertions/record/diff-model.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff-model.js","sourceRoot":"","sources":["diff-model.ts"],"names":[],"mappings":";;;AA4IA,gFAMC;AAED,gFAMC;AAzJY,QAAA,iCAAiC,GAAG,kBAA2B,CAAC;AAChE,QAAA,mCAAmC,GAAG,gCAAyC,CAAC;AAyC7F,SAAS,cAAc,CAAC,QAAoC;IACxD,QAAQ,QAAQ,CAAC,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACT,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAiB,EAAE,CAAC,CAAC;QACvD,KAAK,MAAM;YACP,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAe,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1E,KAAK,QAAQ;YACT,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,QAAiB;gBACxB,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,GAAG,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;aACrE,CAAC,CAAC;IACX,CAAC;AACL,CAAC;AACD,SAAS,cAAc,CAAC,QAAsC;IAC1D,QAAQ,QAAQ,CAAC,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACT,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAiB,EAAE,CAAC,CAAC;QACvD,KAAK,MAAM;YACP,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAe,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1E,KAAK,QAAQ;YACT,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,QAAiB;gBACxB,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,GAAG,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;aACrE,CAAC,CAAC;IACX,CAAC;AACL,CAAC;AACD,SAAS,cAAc,CAAC,QAAiC;IACrD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,GAAG,CAAC,QAAQ,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC;QACxE,IAAI,EAAE,QAAQ,CAAC,IAAI;KACtB,CAAC,CAAC;AACP,CAAC;AACD,SAAS,cAAc,CAAC,QAAmC;IACvD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,GAAG,CAAC,QAAQ,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC;QACxE,IAAI,EAAE,QAAQ,CAAC,IAAI;KACtB,CAAC,CAAC;AACP,CAAC;AACD,SAAS,WAAW,CAAC,KAA8B;IAC/C,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACtC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;KAC7C,CAAC,CAAC;AACP,CAAC;AACD,SAAS,WAAW,CAAC,KAAgC;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACtC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;KAC7C,CAAC,CAAC;AACP,CAAC;AACD,SAAS,YAAY,CAAC,MAAsC;IACxD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC;QACrC,KAAK,EAAE,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC;QACnC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC;KACnC,CAAC,CAAC;AACP,CAAC;AACD,SAAS,YAAY,CAAC,MAAwC;IAC1D,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC;QACrC,KAAK,EAAE,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC;QACnC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC;KACnC,CAAC,CAAC;AACP,CAAC;AACD,SAAS,YAAY,CAAC,MAAgC;IAClD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,QAAQ,EAAE,cAAc,CAAC,MAAM,CAAC,QAAQ,CAAC;QACzC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;KAC3D,CAAC,CAAC;AACP,CAAC;AACD,SAAS,YAAY,CAAC,MAAkC;IACpD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,QAAQ,EAAE,cAAc,CAAC,MAAM,CAAC,QAAQ,CAAC;QACzC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;KAC3D,CAAC,CAAC;AACP,CAAC;AACD,SAAS,YAAY,CAAC,MAAgC;IAClD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,aAAa,EAAE,6CAAsD;QACrE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;KAC5C,CAAC,CAAC;AACP,CAAC;AACD,SAAS,YAAY,CAAC,MAAkC;IACpD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,aAAa,EAAE,2BAAoC;QACnD,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;KAC5C,CAAC,CAAC;AACP,CAAC;AACD,wEAAwE;AACxE,SAAgB,kCAAkC,CAAC,KAAyB;IACxE,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,WAAW,EAAE,2CAAmC;QAChD,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC;QAClC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;KAC1D,CAAC,CAAC;AACP,CAAC;AACD,2EAA2E;AAC3E,SAAgB,kCAAkC,CAAC,KAAmC;IAClF,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,WAAW,EAAE,6BAAsC;QACnD,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC;QAClC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;KAC1D,CAAC,CAAC;AACP,CAAC","sourcesContent":["import { type AgentSendWindowIdentity, type AgentWorkspaceDiff, type AgentWorkspaceDiffEndpoint, type AgentWorkspaceDiffHunks, type AgentWorkspaceDiffPolicy, type AgentWorkspaceDiffWindow, type AgentWorkspaceDiffWindowChange, } from \"../workspace-diff.ts\";\nexport const AGENT_WORKSPACE_DIFF_SCHEMA_ID_V1 = \"niceeval.diff/v1\" as const;\nexport const AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1 = \"agent-send-window-endpoints/v1\" as const;\nexport interface AgentWorkspaceDiffPolicyV1 {\n    readonly defaultPolicy: \"niceeval.sandbox-ledger/default-excludes/v1\";\n    readonly include: readonly string[];\n    readonly ignore: readonly string[];\n}\nexport interface AgentSendWindowIdentityV1 {\n    readonly session?: number;\n    readonly turn: number;\n}\nexport type AgentWorkspaceDiffEndpointV1 = {\n    readonly state: \"absent\";\n} | {\n    readonly state: \"text\";\n    readonly text: string;\n} | {\n    readonly state: \"elided\";\n    readonly reason: \"binary\" | \"oversized-text\";\n    readonly bytes?: number;\n};\nexport interface AgentWorkspaceDiffHunksV1 {\n    readonly added: readonly string[];\n    readonly removed: readonly string[];\n}\nexport interface AgentWorkspaceDiffWindowChangeV1 {\n    readonly path: string;\n    readonly status: \"added\" | \"modified\" | \"deleted\";\n    readonly before: AgentWorkspaceDiffEndpointV1;\n    readonly after: AgentWorkspaceDiffEndpointV1;\n    readonly hunks: AgentWorkspaceDiffHunksV1;\n}\nexport interface AgentWorkspaceDiffWindowV1 {\n    readonly identity: AgentSendWindowIdentityV1;\n    readonly changes: readonly AgentWorkspaceDiffWindowChangeV1[];\n}\n/** The exact semantic payload persisted by the Attempt-owned diff Attachment. */\nexport interface AgentWorkspaceDiffDocumentV1 {\n    readonly attribution: typeof AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1;\n    readonly policy: AgentWorkspaceDiffPolicyV1;\n    readonly windows: readonly AgentWorkspaceDiffWindowV1[];\n}\nfunction encodeEndpoint(endpoint: AgentWorkspaceDiffEndpoint): AgentWorkspaceDiffEndpointV1 {\n    switch (endpoint.state) {\n        case \"absent\":\n            return Object.freeze({ state: \"absent\" as const });\n        case \"text\":\n            return Object.freeze({ state: \"text\" as const, text: endpoint.text });\n        case \"elided\":\n            return Object.freeze({\n                state: \"elided\" as const,\n                reason: endpoint.reason,\n                ...(endpoint.bytes === undefined ? {} : { bytes: endpoint.bytes }),\n            });\n    }\n}\nfunction decodeEndpoint(endpoint: AgentWorkspaceDiffEndpointV1): AgentWorkspaceDiffEndpoint {\n    switch (endpoint.state) {\n        case \"absent\":\n            return Object.freeze({ state: \"absent\" as const });\n        case \"text\":\n            return Object.freeze({ state: \"text\" as const, text: endpoint.text });\n        case \"elided\":\n            return Object.freeze({\n                state: \"elided\" as const,\n                reason: endpoint.reason,\n                ...(endpoint.bytes === undefined ? {} : { bytes: endpoint.bytes }),\n            });\n    }\n}\nfunction encodeIdentity(identity: AgentSendWindowIdentity): AgentSendWindowIdentityV1 {\n    return Object.freeze({\n        ...(identity.session === undefined ? {} : { session: identity.session }),\n        turn: identity.turn,\n    });\n}\nfunction decodeIdentity(identity: AgentSendWindowIdentityV1): AgentSendWindowIdentity {\n    return Object.freeze({\n        ...(identity.session === undefined ? {} : { session: identity.session }),\n        turn: identity.turn,\n    });\n}\nfunction encodeHunks(hunks: AgentWorkspaceDiffHunks): AgentWorkspaceDiffHunksV1 {\n    return Object.freeze({\n        added: Object.freeze([...hunks.added]),\n        removed: Object.freeze([...hunks.removed]),\n    });\n}\nfunction decodeHunks(hunks: AgentWorkspaceDiffHunksV1): AgentWorkspaceDiffHunks {\n    return Object.freeze({\n        added: Object.freeze([...hunks.added]),\n        removed: Object.freeze([...hunks.removed]),\n    });\n}\nfunction encodeChange(change: AgentWorkspaceDiffWindowChange): AgentWorkspaceDiffWindowChangeV1 {\n    return Object.freeze({\n        path: change.path,\n        status: change.status,\n        before: encodeEndpoint(change.before),\n        after: encodeEndpoint(change.after),\n        hunks: encodeHunks(change.hunks),\n    });\n}\nfunction decodeChange(change: AgentWorkspaceDiffWindowChangeV1): AgentWorkspaceDiffWindowChange {\n    return Object.freeze({\n        path: change.path,\n        status: change.status,\n        before: decodeEndpoint(change.before),\n        after: decodeEndpoint(change.after),\n        hunks: decodeHunks(change.hunks),\n    });\n}\nfunction encodeWindow(window: AgentWorkspaceDiffWindow): AgentWorkspaceDiffWindowV1 {\n    return Object.freeze({\n        identity: encodeIdentity(window.identity),\n        changes: Object.freeze(window.changes.map(encodeChange)),\n    });\n}\nfunction decodeWindow(window: AgentWorkspaceDiffWindowV1): AgentWorkspaceDiffWindow {\n    return Object.freeze({\n        identity: decodeIdentity(window.identity),\n        changes: Object.freeze(window.changes.map(decodeChange)),\n    });\n}\nfunction encodePolicy(policy: AgentWorkspaceDiffPolicy): AgentWorkspaceDiffPolicyV1 {\n    return Object.freeze({\n        defaultPolicy: \"niceeval.sandbox-ledger/default-excludes/v1\" as const,\n        include: Object.freeze([...policy.include]),\n        ignore: Object.freeze([...policy.ignore]),\n    });\n}\nfunction decodePolicy(policy: AgentWorkspaceDiffPolicyV1): AgentWorkspaceDiffPolicy {\n    return Object.freeze({\n        defaultPolicy: \"niceeval-default-excludes\" as const,\n        include: Object.freeze([...policy.include]),\n        ignore: Object.freeze([...policy.ignore]),\n    });\n}\n/** The private producer adapter adds only durable schema identities. */\nexport function encodeAgentWorkspaceDiffDocumentV1(value: AgentWorkspaceDiff): AgentWorkspaceDiffDocumentV1 {\n    return Object.freeze({\n        attribution: AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1,\n        policy: encodePolicy(value.policy),\n        windows: Object.freeze(value.windows.map(encodeWindow)),\n    });\n}\n/** The reader adapter returns a fresh schema-independent runtime value. */\nexport function decodeAgentWorkspaceDiffDocumentV1(value: AgentWorkspaceDiffDocumentV1): AgentWorkspaceDiff {\n    return Object.freeze({\n        attribution: \"agent-send-window-endpoints\" as const,\n        policy: decodePolicy(value.policy),\n        windows: Object.freeze(value.windows.map(decodeWindow)),\n    });\n}\n"]}

package/dist/assertions/record/diff-model.d.cts

@@ -0,0 +1,47 @@
+import { type AgentWorkspaceDiff } from "../workspace-diff.cjs";
+export declare const AGENT_WORKSPACE_DIFF_SCHEMA_ID_V1: "niceeval.diff/v1";
+export declare const AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1: "agent-send-window-endpoints/v1";
+export interface AgentWorkspaceDiffPolicyV1 {
+    readonly defaultPolicy: "niceeval.sandbox-ledger/default-excludes/v1";
+    readonly include: readonly string[];
+    readonly ignore: readonly string[];
+}
+export interface AgentSendWindowIdentityV1 {
+    readonly session?: number;
+    readonly turn: number;
+}
+export type AgentWorkspaceDiffEndpointV1 = {
+    readonly state: "absent";
+} | {
+    readonly state: "text";
+    readonly text: string;
+} | {
+    readonly state: "elided";
+    readonly reason: "binary" | "oversized-text";
+    readonly bytes?: number;
+};
+export interface AgentWorkspaceDiffHunksV1 {
+    readonly added: readonly string[];
+    readonly removed: readonly string[];
+}
+export interface AgentWorkspaceDiffWindowChangeV1 {
+    readonly path: string;
+    readonly status: "added" | "modified" | "deleted";
+    readonly before: AgentWorkspaceDiffEndpointV1;
+    readonly after: AgentWorkspaceDiffEndpointV1;
+    readonly hunks: AgentWorkspaceDiffHunksV1;
+}
+export interface AgentWorkspaceDiffWindowV1 {
+    readonly identity: AgentSendWindowIdentityV1;
+    readonly changes: readonly AgentWorkspaceDiffWindowChangeV1[];
+}
+/** The exact semantic payload persisted by the Attempt-owned diff Attachment. */
+export interface AgentWorkspaceDiffDocumentV1 {
+    readonly attribution: typeof AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1;
+    readonly policy: AgentWorkspaceDiffPolicyV1;
+    readonly windows: readonly AgentWorkspaceDiffWindowV1[];
+}
+/** The private producer adapter adds only durable schema identities. */
+export declare function encodeAgentWorkspaceDiffDocumentV1(value: AgentWorkspaceDiff): AgentWorkspaceDiffDocumentV1;
+/** The reader adapter returns a fresh schema-independent runtime value. */
+export declare function decodeAgentWorkspaceDiffDocumentV1(value: AgentWorkspaceDiffDocumentV1): AgentWorkspaceDiff;

package/dist/assertions/record/diff-model.d.mts

@@ -0,0 +1,47 @@
+import { type AgentWorkspaceDiff } from "../workspace-diff.mjs";
+export declare const AGENT_WORKSPACE_DIFF_SCHEMA_ID_V1: "niceeval.diff/v1";
+export declare const AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1: "agent-send-window-endpoints/v1";
+export interface AgentWorkspaceDiffPolicyV1 {
+    readonly defaultPolicy: "niceeval.sandbox-ledger/default-excludes/v1";
+    readonly include: readonly string[];
+    readonly ignore: readonly string[];
+}
+export interface AgentSendWindowIdentityV1 {
+    readonly session?: number;
+    readonly turn: number;
+}
+export type AgentWorkspaceDiffEndpointV1 = {
+    readonly state: "absent";
+} | {
+    readonly state: "text";
+    readonly text: string;
+} | {
+    readonly state: "elided";
+    readonly reason: "binary" | "oversized-text";
+    readonly bytes?: number;
+};
+export interface AgentWorkspaceDiffHunksV1 {
+    readonly added: readonly string[];
+    readonly removed: readonly string[];
+}
+export interface AgentWorkspaceDiffWindowChangeV1 {
+    readonly path: string;
+    readonly status: "added" | "modified" | "deleted";
+    readonly before: AgentWorkspaceDiffEndpointV1;
+    readonly after: AgentWorkspaceDiffEndpointV1;
+    readonly hunks: AgentWorkspaceDiffHunksV1;
+}
+export interface AgentWorkspaceDiffWindowV1 {
+    readonly identity: AgentSendWindowIdentityV1;
+    readonly changes: readonly AgentWorkspaceDiffWindowChangeV1[];
+}
+/** The exact semantic payload persisted by the Attempt-owned diff Attachment. */
+export interface AgentWorkspaceDiffDocumentV1 {
+    readonly attribution: typeof AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1;
+    readonly policy: AgentWorkspaceDiffPolicyV1;
+    readonly windows: readonly AgentWorkspaceDiffWindowV1[];
+}
+/** The private producer adapter adds only durable schema identities. */
+export declare function encodeAgentWorkspaceDiffDocumentV1(value: AgentWorkspaceDiff): AgentWorkspaceDiffDocumentV1;
+/** The reader adapter returns a fresh schema-independent runtime value. */
+export declare function decodeAgentWorkspaceDiffDocumentV1(value: AgentWorkspaceDiffDocumentV1): AgentWorkspaceDiff;

package/dist/assertions/record/diff-model.d.ts

@@ -0,0 +1,47 @@
+import { type AgentWorkspaceDiff } from "../workspace-diff.js";
+export declare const AGENT_WORKSPACE_DIFF_SCHEMA_ID_V1: "niceeval.diff/v1";
+export declare const AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1: "agent-send-window-endpoints/v1";
+export interface AgentWorkspaceDiffPolicyV1 {
+    readonly defaultPolicy: "niceeval.sandbox-ledger/default-excludes/v1";
+    readonly include: readonly string[];
+    readonly ignore: readonly string[];
+}
+export interface AgentSendWindowIdentityV1 {
+    readonly session?: number;
+    readonly turn: number;
+}
+export type AgentWorkspaceDiffEndpointV1 = {
+    readonly state: "absent";
+} | {
+    readonly state: "text";
+    readonly text: string;
+} | {
+    readonly state: "elided";
+    readonly reason: "binary" | "oversized-text";
+    readonly bytes?: number;
+};
+export interface AgentWorkspaceDiffHunksV1 {
+    readonly added: readonly string[];
+    readonly removed: readonly string[];
+}
+export interface AgentWorkspaceDiffWindowChangeV1 {
+    readonly path: string;
+    readonly status: "added" | "modified" | "deleted";
+    readonly before: AgentWorkspaceDiffEndpointV1;
+    readonly after: AgentWorkspaceDiffEndpointV1;
+    readonly hunks: AgentWorkspaceDiffHunksV1;
+}
+export interface AgentWorkspaceDiffWindowV1 {
+    readonly identity: AgentSendWindowIdentityV1;
+    readonly changes: readonly AgentWorkspaceDiffWindowChangeV1[];
+}
+/** The exact semantic payload persisted by the Attempt-owned diff Attachment. */
+export interface AgentWorkspaceDiffDocumentV1 {
+    readonly attribution: typeof AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1;
+    readonly policy: AgentWorkspaceDiffPolicyV1;
+    readonly windows: readonly AgentWorkspaceDiffWindowV1[];
+}
+/** The private producer adapter adds only durable schema identities. */
+export declare function encodeAgentWorkspaceDiffDocumentV1(value: AgentWorkspaceDiff): AgentWorkspaceDiffDocumentV1;
+/** The reader adapter returns a fresh schema-independent runtime value. */
+export declare function decodeAgentWorkspaceDiffDocumentV1(value: AgentWorkspaceDiffDocumentV1): AgentWorkspaceDiff;

package/dist/assertions/record/diff-model.js

@@ -0,0 +1,12 @@
+import { createRequire as __niceevalCreateRequire } from "node:module";
+const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
+const __niceevalCanonical = __niceevalRequire("./diff-model.cjs");
+const __niceevalExport0 = __niceevalCanonical["AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1"];
+export { __niceevalExport0 as AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1 };
+const __niceevalExport1 = __niceevalCanonical["AGENT_WORKSPACE_DIFF_SCHEMA_ID_V1"];
+export { __niceevalExport1 as AGENT_WORKSPACE_DIFF_SCHEMA_ID_V1 };
+const __niceevalExport2 = __niceevalCanonical["decodeAgentWorkspaceDiffDocumentV1"];
+export { __niceevalExport2 as decodeAgentWorkspaceDiffDocumentV1 };
+const __niceevalExport3 = __niceevalCanonical["encodeAgentWorkspaceDiffDocumentV1"];
+export { __niceevalExport3 as encodeAgentWorkspaceDiffDocumentV1 };
+//# sourceMappingURL=diff-model.js.map

package/dist/assertions/record/diff-model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff-model.js","sources":[],"names":[],"mappings":""}

package/dist/assertions/record/diff.cjs

@@ -0,0 +1,149 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.agentWorkspaceDiffProjector = exports.agentWorkspaceDiffAttachmentFamilyV1 = exports.agentWorkspaceDiffAttachmentDefinitionV1 = exports.AgentWorkspaceDiffDocumentV1Schema = exports.AGENT_WORKSPACE_DIFF_ATTACHMENT_NAME_V1 = void 0;
+exports.assertAgentWorkspaceDiffRecordableV1 = assertAgentWorkspaceDiffRecordableV1;
+exports.createAgentWorkspaceDiffAttachmentWriteV1 = createAgentWorkspaceDiffAttachmentWriteV1;
+const effect_1 = require("effect");
+const diff_ts_1 = require("../diff.cjs");
+const workspace_diff_ts_1 = require("../workspace-diff.cjs");
+const diff_model_ts_1 = require("./diff-model.cjs");
+const index_ts_1 = require("../../record/attachment/index.cjs");
+const internal_ts_1 = require("../../record/attachment/internal.cjs");
+const projector_ts_1 = require("../../projection/projector.cjs");
+const limits_ts_1 = require("../../record/writer/limits.cjs");
+const attachment_payload_ts_1 = require("../../record/writer/attachment-payload.cjs");
+exports.AGENT_WORKSPACE_DIFF_ATTACHMENT_NAME_V1 = "niceeval.diff";
+const PositiveIntegerV1Schema = effect_1.Schema.Number.pipe(effect_1.Schema.int(), effect_1.Schema.positive());
+const DiffEndpointV1Schema = effect_1.Schema.Union(effect_1.Schema.Struct({ state: effect_1.Schema.Literal("absent") }), effect_1.Schema.Struct({ state: effect_1.Schema.Literal("text"), text: effect_1.Schema.String }), effect_1.Schema.Struct({
+    state: effect_1.Schema.Literal("elided"),
+    reason: effect_1.Schema.Literal("binary", "oversized-text"),
+    bytes: effect_1.Schema.optional(effect_1.Schema.Number.pipe(effect_1.Schema.int(), effect_1.Schema.nonNegative())),
+}));
+const DiffHunksV1Schema = effect_1.Schema.Struct({
+    added: effect_1.Schema.Array(effect_1.Schema.String),
+    removed: effect_1.Schema.Array(effect_1.Schema.String),
+});
+const DiffWindowChangeV1Schema = effect_1.Schema.Struct({
+    path: effect_1.Schema.String.pipe(effect_1.Schema.filter(diff_ts_1.isCanonicalWorkspaceRelativePath, {
+        identifier: "AgentWorkspaceDiffPath",
+        description: "a canonical non-empty workspace-relative path",
+    })),
+    status: effect_1.Schema.Literal("added", "modified", "deleted"),
+    before: DiffEndpointV1Schema,
+    after: DiffEndpointV1Schema,
+    hunks: DiffHunksV1Schema,
+});
+const DiffWindowV1Schema = effect_1.Schema.Struct({
+    identity: effect_1.Schema.Struct({
+        session: effect_1.Schema.optional(PositiveIntegerV1Schema),
+        turn: PositiveIntegerV1Schema,
+    }),
+    changes: effect_1.Schema.Array(DiffWindowChangeV1Schema),
+});
+const DiffPolicyV1Schema = effect_1.Schema.Struct({
+    defaultPolicy: effect_1.Schema.Literal("niceeval.sandbox-ledger/default-excludes/v1"),
+    include: effect_1.Schema.Array(effect_1.Schema.String),
+    ignore: effect_1.Schema.Array(effect_1.Schema.String),
+});
+function documentHasUniqueWindowsAndPaths(document) {
+    const windows = new Set();
+    for (const window of document.windows) {
+        const key = `${window.identity.session ?? "primary"}\u0000${window.identity.turn}`;
+        if (windows.has(key))
+            return false;
+        windows.add(key);
+        const paths = new Set();
+        for (const change of window.changes) {
+            if (!(0, diff_ts_1.isCanonicalWorkspaceRelativePath)(change.path)
+                || !(0, workspace_diff_ts_1.agentWorkspaceDiffChangeIsCoherent)(change)
+                || paths.has(change.path))
+                return false;
+            paths.add(change.path);
+        }
+    }
+    return true;
+}
+exports.AgentWorkspaceDiffDocumentV1Schema = effect_1.Schema.Struct({
+    attribution: effect_1.Schema.Literal(diff_model_ts_1.AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1),
+    policy: DiffPolicyV1Schema,
+    windows: effect_1.Schema.Array(DiffWindowV1Schema),
+}).pipe(effect_1.Schema.filter(documentHasUniqueWindowsAndPaths, {
+    identifier: "AgentWorkspaceDiffDocument",
+    description: "unique agent send windows with one valid endpoint delta per path",
+}));
+function requireDefinition(result, message) {
+    if (effect_1.Either.isLeft(result))
+        throw new Error(message);
+    return result.right;
+}
+/** Attempt-owned, exact, agent-attributed send-window endpoint document. */
+exports.agentWorkspaceDiffAttachmentDefinitionV1 = requireDefinition((0, internal_ts_1.defineBuiltinJsonRecordAttachment)({
+    owner: "attempt",
+    name: exports.AGENT_WORKSPACE_DIFF_ATTACHMENT_NAME_V1,
+    schemaId: "niceeval.diff/v1",
+    schema: exports.AgentWorkspaceDiffDocumentV1Schema,
+    blobRefs: () => Object.freeze([]),
+}), "Agent workspace diff v1 RecordAttachment definition must be valid");
+/** v1 has no invented future migration edge; adjacent edges appear only with a real next schema. */
+exports.agentWorkspaceDiffAttachmentFamilyV1 = requireDefinition((0, index_ts_1.defineRecordAttachmentFamily)({
+    current: exports.agentWorkspaceDiffAttachmentDefinitionV1,
+    migrations: [],
+}), "Agent workspace diff v1 RecordAttachment family must be valid");
+const noDiffBlobDraftsV1 = Object.freeze([]);
+/**
+ * The generic writer enforces this limit only after a draft has started to
+ * write. Diff is a post-run producer, so reject an oversized canonical
+ * payload before it becomes available to Assertions or reaches that writer.
+ */
+function assertDiffPayloadFitsRecordJsonLimit(document) {
+    const payload = (0, index_ts_1.encodeJsonRecordAttachmentPayload)(exports.agentWorkspaceDiffAttachmentDefinitionV1, document);
+    if (effect_1.Either.isLeft(payload)) {
+        throw new Error("Agent workspace diff v1 payload could not be canonically encoded");
+    }
+    // v1 declares no blobs, so the writer will allocate the same empty key map.
+    // Run the actual storage conversion and serializer here: this is the exact
+    // final `payload.json` byte sequence rather than an estimate of the source
+    // document's size.
+    const storedPayload = (0, attachment_payload_ts_1.encodeAttachmentPayloadForStorage)({
+        payload: payload.right,
+        blobKeys: new Map(),
+    });
+    if (effect_1.Either.isLeft(storedPayload)) {
+        throw new Error("Agent workspace diff v1 payload could not be stored");
+    }
+    const bytes = (0, attachment_payload_ts_1.encodeRecordAttachmentJsonBytes)(storedPayload.right).byteLength;
+    if (bytes > limits_ts_1.RECORD_JSON_MAXIMUM_BYTES) {
+        throw new Error(`Agent workspace diff v1 payload is ${bytes} bytes; Record JSON limit is ${limits_ts_1.RECORD_JSON_MAXIMUM_BYTES} bytes`);
+    }
+}
+/**
+ * Checks the exact v1 Record representation while the Runner can still treat
+ * an oversized supplemental diff as unavailable. Waiting until Evaluation
+ * publication would turn one optional evidence failure into a fatal Run-wide
+ * write error after every Attempt has already settled.
+ */
+function assertAgentWorkspaceDiffRecordableV1(value) {
+    assertDiffPayloadFitsRecordJsonLimit((0, diff_model_ts_1.encodeAgentWorkspaceDiffDocumentV1)(value));
+}
+/**
+ * Captures the exact frozen semantic object held by post-run evaluators. The
+ * no-blob v1 representation is intentionally small enough for normal ledger
+ * exports; a future adjacent schema may move endpoint text into this owner's
+ * own blobs without changing Assertions' reference shape.
+ */
+function createAgentWorkspaceDiffAttachmentWriteV1(value) {
+    const document = (0, diff_model_ts_1.encodeAgentWorkspaceDiffDocumentV1)(value);
+    assertDiffPayloadFitsRecordJsonLimit(document);
+    const write = (0, index_ts_1.makeRecordAttachmentWrite)(exports.agentWorkspaceDiffAttachmentFamilyV1, () => Object.freeze({ payload: document, blobs: noDiffBlobDraftsV1 }));
+    const closure = (0, index_ts_1.validateRecordAttachmentWrite)(write);
+    if (effect_1.Either.isLeft(closure)) {
+        throw new Error("Agent workspace diff v1 RecordAttachment write was invalid");
+    }
+    return write;
+}
+/** A neutral typed projector available to scripts and any Report, with no privileged consumer. */
+exports.agentWorkspaceDiffProjector = (0, projector_ts_1.defineRecordAttachmentProjector)({
+    attachment: exports.agentWorkspaceDiffAttachmentFamilyV1,
+    project: (value) => (0, diff_model_ts_1.decodeAgentWorkspaceDiffDocumentV1)(value.payload),
+});
+//# sourceMappingURL=diff.cjs.map

package/dist/assertions/record/diff.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["diff.ts"],"names":[],"mappings":";;;AAwHA,oFAEC;AAOD,8FASC;AA1ID,mCAAwC;AACxC,wCAA+D;AAC/D,4DAAoG;AACpG,mDAA8V;AAC9V,+DAAmQ;AACnQ,qEAAwF;AACxF,gEAAgH;AAChH,6DAA2E;AAC3E,qFAAgI;AACnH,QAAA,uCAAuC,GAAG,eAAwB,CAAC;AAChF,MAAM,uBAAuB,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,GAAG,EAAE,EAAE,eAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;AACpF,MAAM,oBAAoB,GAAgD,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,MAAM,EAAE,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC;IAC5N,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC/B,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IAClD,KAAK,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,GAAG,EAAE,EAAE,eAAM,CAAC,WAAW,EAAE,CAAC,CAAC;CACjF,CAAC,CAAC,CAAC;AACJ,MAAM,iBAAiB,GAA6C,eAAM,CAAC,MAAM,CAAC;IAC9E,KAAK,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;IAClC,OAAO,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;CACvC,CAAC,CAAC;AACH,MAAM,wBAAwB,GAAoD,eAAM,CAAC,MAAM,CAAC;IAC5F,IAAI,EAAE,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,0CAAgC,EAAE;QACrE,UAAU,EAAE,wBAAwB;QACpC,WAAW,EAAE,+CAA+C;KAC/D,CAAC,CAAC;IACH,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC;IACtD,MAAM,EAAE,oBAAoB;IAC5B,KAAK,EAAE,oBAAoB;IAC3B,KAAK,EAAE,iBAAiB;CAC3B,CAAC,CAAC;AACH,MAAM,kBAAkB,GAA8C,eAAM,CAAC,MAAM,CAAC;IAChF,QAAQ,EAAE,eAAM,CAAC,MAAM,CAAC;QACpB,OAAO,EAAE,eAAM,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACjD,IAAI,EAAE,uBAAuB;KAChC,CAAC;IACF,OAAO,EAAE,eAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAClD,CAAC,CAAC;AACH,MAAM,kBAAkB,GAA8C,eAAM,CAAC,MAAM,CAAC;IAChF,aAAa,EAAE,eAAM,CAAC,OAAO,CAAC,6CAA6C,CAAC;IAC5E,OAAO,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;IACpC,MAAM,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;CACtC,CAAC,CAAC;AACH,SAAS,gCAAgC,CAAC,QAAsC;IAC5E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,IAAI,SAAS,SAAS,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACnF,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAChB,OAAO,KAAK,CAAC;QACjB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,CAAC,IAAA,0CAAgC,EAAC,MAAM,CAAC,IAAI,CAAC;mBAC3C,CAAC,IAAA,sDAAkC,EAAC,MAAM,CAAC;mBAC3C,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;gBACzB,OAAO,KAAK,CAAC;YACjB,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AACY,QAAA,kCAAkC,GAAgD,eAAM,CAAC,MAAM,CAAC;IACzG,WAAW,EAAE,eAAM,CAAC,OAAO,CAAC,mDAAmC,CAAC;IAChE,MAAM,EAAE,kBAAkB;IAC1B,OAAO,EAAE,eAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC;CAC5C,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,gCAAgC,EAAE;IACpD,UAAU,EAAE,4BAA4B;IACxC,WAAW,EAAE,kEAAkE;CAClF,CAAC,CAAC,CAAC;AACJ,SAAS,iBAAiB,CAAkB,MAAsC,EAAE,OAAe;IAC/F,IAAI,eAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,OAAO,MAAM,CAAC,KAAK,CAAC;AACxB,CAAC;AACD,4EAA4E;AAC/D,QAAA,wCAAwC,GAAG,iBAAiB,CAAC,IAAA,+CAAiC,EAAC;IACxG,KAAK,EAAE,SAAS;IAChB,IAAI,EAAE,+CAAuC;IAC7C,QAAQ,EAAE,kBAAkB;IAC5B,MAAM,EAAE,0CAAkC;IAC1C,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;CACpC,CAAC,EAAE,mEAAmE,CAAC,CAAC;AACzE,oGAAoG;AACvF,QAAA,oCAAoC,GAAG,iBAAiB,CAAC,IAAA,uCAA4B,EAAC;IAC/F,OAAO,EAAE,gDAAwC;IACjD,UAAU,EAAE,EAAE;CACjB,CAAC,EAAE,+DAA+D,CAAC,CAAC;AACrE,MAAM,kBAAkB,GACpB,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACtB;;;;GAIG;AACH,SAAS,oCAAoC,CAAC,QAAsC;IAChF,MAAM,OAAO,GAAG,IAAA,4CAAiC,EAAC,gDAAwC,EAAE,QAAQ,CAAC,CAAC;IACtG,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACxF,CAAC;IACD,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,mBAAmB;IACnB,MAAM,aAAa,GAAG,IAAA,yDAAiC,EAAC;QACpD,OAAO,EAAE,OAAO,CAAC,KAAK;QACtB,QAAQ,EAAE,IAAI,GAAG,EAAkB;KACtC,CAAC,CAAC;IACH,IAAI,eAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,KAAK,GAAG,IAAA,uDAA+B,EAAC,aAAa,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC;IAC9E,IAAI,KAAK,GAAG,qCAAyB,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,sCAAsC,KAAK,gCAAgC,qCAAyB,QAAQ,CAAC,CAAC;IAClI,CAAC;AACL,CAAC;AACD;;;;;GAKG;AACH,SAAgB,oCAAoC,CAAC,KAAyB;IAC1E,oCAAoC,CAAC,IAAA,kDAAkC,EAAC,KAAK,CAAC,CAAC,CAAC;AACpF,CAAC;AACD;;;;;GAKG;AACH,SAAgB,yCAAyC,CAAC,KAAyB;IAC/E,MAAM,QAAQ,GAAG,IAAA,kDAAkC,EAAC,KAAK,CAAC,CAAC;IAC3D,oCAAoC,CAAC,QAAQ,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAA,oCAAyB,EAAC,4CAAoC,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC;IACrJ,MAAM,OAAO,GAAG,IAAA,wCAA6B,EAAC,KAAK,CAAC,CAAC;IACrD,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AACD,kGAAkG;AACrF,QAAA,2BAA2B,GAA6D,IAAA,8CAA+B,EAAC;IACjI,UAAU,EAAE,4CAAuG;IACnH,OAAO,EAAE,CAAC,KAA0D,EAAE,EAAE,CAAC,IAAA,kDAAkC,EAAC,KAAK,CAAC,OAAO,CAAC;CAC7H,CAAC,CAAC","sourcesContent":["import { Either, Schema } from \"effect\";\nimport { isCanonicalWorkspaceRelativePath, } from \"../diff.ts\";\nimport { agentWorkspaceDiffChangeIsCoherent, type AgentWorkspaceDiff, } from \"../workspace-diff.ts\";\nimport { AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1, decodeAgentWorkspaceDiffDocumentV1, encodeAgentWorkspaceDiffDocumentV1, type AgentWorkspaceDiffDocumentV1, type AgentWorkspaceDiffEndpointV1, type AgentWorkspaceDiffHunksV1, type AgentWorkspaceDiffPolicyV1, type AgentWorkspaceDiffWindowChangeV1, type AgentWorkspaceDiffWindowV1, } from \"./diff-model.ts\";\nimport { defineRecordAttachmentFamily, encodeJsonRecordAttachmentPayload, makeRecordAttachmentWrite, validateRecordAttachmentWrite, type RecordAttachmentFamily, type RecordAttachmentValue, type RecordAttachmentWrite, } from \"../../record/attachment/index.ts\";\nimport { defineBuiltinJsonRecordAttachment } from \"../../record/attachment/internal.ts\";\nimport { defineRecordAttachmentProjector, type RecordAttachmentProjector } from \"../../projection/projector.ts\";\nimport { RECORD_JSON_MAXIMUM_BYTES, } from \"../../record/writer/limits.ts\";\nimport { encodeAttachmentPayloadForStorage, encodeRecordAttachmentJsonBytes, } from \"../../record/writer/attachment-payload.ts\";\nexport const AGENT_WORKSPACE_DIFF_ATTACHMENT_NAME_V1 = \"niceeval.diff\" as const;\nconst PositiveIntegerV1Schema = Schema.Number.pipe(Schema.int(), Schema.positive());\nconst DiffEndpointV1Schema: Schema.Schema<AgentWorkspaceDiffEndpointV1> = Schema.Union(Schema.Struct({ state: Schema.Literal(\"absent\") }), Schema.Struct({ state: Schema.Literal(\"text\"), text: Schema.String }), Schema.Struct({\n    state: Schema.Literal(\"elided\"),\n    reason: Schema.Literal(\"binary\", \"oversized-text\"),\n    bytes: Schema.optional(Schema.Number.pipe(Schema.int(), Schema.nonNegative())),\n}));\nconst DiffHunksV1Schema: Schema.Schema<AgentWorkspaceDiffHunksV1> = Schema.Struct({\n    added: Schema.Array(Schema.String),\n    removed: Schema.Array(Schema.String),\n});\nconst DiffWindowChangeV1Schema: Schema.Schema<AgentWorkspaceDiffWindowChangeV1> = Schema.Struct({\n    path: Schema.String.pipe(Schema.filter(isCanonicalWorkspaceRelativePath, {\n        identifier: \"AgentWorkspaceDiffPath\",\n        description: \"a canonical non-empty workspace-relative path\",\n    })),\n    status: Schema.Literal(\"added\", \"modified\", \"deleted\"),\n    before: DiffEndpointV1Schema,\n    after: DiffEndpointV1Schema,\n    hunks: DiffHunksV1Schema,\n});\nconst DiffWindowV1Schema: Schema.Schema<AgentWorkspaceDiffWindowV1> = Schema.Struct({\n    identity: Schema.Struct({\n        session: Schema.optional(PositiveIntegerV1Schema),\n        turn: PositiveIntegerV1Schema,\n    }),\n    changes: Schema.Array(DiffWindowChangeV1Schema),\n});\nconst DiffPolicyV1Schema: Schema.Schema<AgentWorkspaceDiffPolicyV1> = Schema.Struct({\n    defaultPolicy: Schema.Literal(\"niceeval.sandbox-ledger/default-excludes/v1\"),\n    include: Schema.Array(Schema.String),\n    ignore: Schema.Array(Schema.String),\n});\nfunction documentHasUniqueWindowsAndPaths(document: AgentWorkspaceDiffDocumentV1): boolean {\n    const windows = new Set<string>();\n    for (const window of document.windows) {\n        const key = `${window.identity.session ?? \"primary\"}\\u0000${window.identity.turn}`;\n        if (windows.has(key))\n            return false;\n        windows.add(key);\n        const paths = new Set<string>();\n        for (const change of window.changes) {\n            if (!isCanonicalWorkspaceRelativePath(change.path)\n                || !agentWorkspaceDiffChangeIsCoherent(change)\n                || paths.has(change.path))\n                return false;\n            paths.add(change.path);\n        }\n    }\n    return true;\n}\nexport const AgentWorkspaceDiffDocumentV1Schema: Schema.Schema<AgentWorkspaceDiffDocumentV1> = Schema.Struct({\n    attribution: Schema.Literal(AGENT_WORKSPACE_DIFF_ATTRIBUTION_V1),\n    policy: DiffPolicyV1Schema,\n    windows: Schema.Array(DiffWindowV1Schema),\n}).pipe(Schema.filter(documentHasUniqueWindowsAndPaths, {\n    identifier: \"AgentWorkspaceDiffDocument\",\n    description: \"unique agent send windows with one valid endpoint delta per path\",\n}));\nfunction requireDefinition<Result, Failure>(result: Either.Either<Result, Failure>, message: string): Result {\n    if (Either.isLeft(result))\n        throw new Error(message);\n    return result.right;\n}\n/** Attempt-owned, exact, agent-attributed send-window endpoint document. */\nexport const agentWorkspaceDiffAttachmentDefinitionV1 = requireDefinition(defineBuiltinJsonRecordAttachment({\n    owner: \"attempt\",\n    name: AGENT_WORKSPACE_DIFF_ATTACHMENT_NAME_V1,\n    schemaId: \"niceeval.diff/v1\",\n    schema: AgentWorkspaceDiffDocumentV1Schema,\n    blobRefs: () => Object.freeze([]),\n}), \"Agent workspace diff v1 RecordAttachment definition must be valid\");\n/** v1 has no invented future migration edge; adjacent edges appear only with a real next schema. */\nexport const agentWorkspaceDiffAttachmentFamilyV1 = requireDefinition(defineRecordAttachmentFamily({\n    current: agentWorkspaceDiffAttachmentDefinitionV1,\n    migrations: [],\n}), \"Agent workspace diff v1 RecordAttachment family must be valid\");\nconst noDiffBlobDraftsV1: readonly [\n] = Object.freeze([]);\n/**\n * The generic writer enforces this limit only after a draft has started to\n * write. Diff is a post-run producer, so reject an oversized canonical\n * payload before it becomes available to Assertions or reaches that writer.\n */\nfunction assertDiffPayloadFitsRecordJsonLimit(document: AgentWorkspaceDiffDocumentV1): void {\n    const payload = encodeJsonRecordAttachmentPayload(agentWorkspaceDiffAttachmentDefinitionV1, document);\n    if (Either.isLeft(payload)) {\n        throw new Error(\"Agent workspace diff v1 payload could not be canonically encoded\");\n    }\n    // v1 declares no blobs, so the writer will allocate the same empty key map.\n    // Run the actual storage conversion and serializer here: this is the exact\n    // final `payload.json` byte sequence rather than an estimate of the source\n    // document's size.\n    const storedPayload = encodeAttachmentPayloadForStorage({\n        payload: payload.right,\n        blobKeys: new Map<object, string>(),\n    });\n    if (Either.isLeft(storedPayload)) {\n        throw new Error(\"Agent workspace diff v1 payload could not be stored\");\n    }\n    const bytes = encodeRecordAttachmentJsonBytes(storedPayload.right).byteLength;\n    if (bytes > RECORD_JSON_MAXIMUM_BYTES) {\n        throw new Error(`Agent workspace diff v1 payload is ${bytes} bytes; Record JSON limit is ${RECORD_JSON_MAXIMUM_BYTES} bytes`);\n    }\n}\n/**\n * Checks the exact v1 Record representation while the Runner can still treat\n * an oversized supplemental diff as unavailable. Waiting until Evaluation\n * publication would turn one optional evidence failure into a fatal Run-wide\n * write error after every Attempt has already settled.\n */\nexport function assertAgentWorkspaceDiffRecordableV1(value: AgentWorkspaceDiff): void {\n    assertDiffPayloadFitsRecordJsonLimit(encodeAgentWorkspaceDiffDocumentV1(value));\n}\n/**\n * Captures the exact frozen semantic object held by post-run evaluators. The\n * no-blob v1 representation is intentionally small enough for normal ledger\n * exports; a future adjacent schema may move endpoint text into this owner's\n * own blobs without changing Assertions' reference shape.\n */\nexport function createAgentWorkspaceDiffAttachmentWriteV1(value: AgentWorkspaceDiff): RecordAttachmentWrite<\"attempt\", never, never> {\n    const document = encodeAgentWorkspaceDiffDocumentV1(value);\n    assertDiffPayloadFitsRecordJsonLimit(document);\n    const write = makeRecordAttachmentWrite(agentWorkspaceDiffAttachmentFamilyV1, () => Object.freeze({ payload: document, blobs: noDiffBlobDraftsV1 }));\n    const closure = validateRecordAttachmentWrite(write);\n    if (Either.isLeft(closure)) {\n        throw new Error(\"Agent workspace diff v1 RecordAttachment write was invalid\");\n    }\n    return write;\n}\n/** A neutral typed projector available to scripts and any Report, with no privileged consumer. */\nexport const agentWorkspaceDiffProjector: RecordAttachmentProjector<\"attempt\", AgentWorkspaceDiff> = defineRecordAttachmentProjector({\n    attachment: agentWorkspaceDiffAttachmentFamilyV1 as RecordAttachmentFamily<\"attempt\", AgentWorkspaceDiffDocumentV1>,\n    project: (value: RecordAttachmentValue<AgentWorkspaceDiffDocumentV1>) => decodeAgentWorkspaceDiffDocumentV1(value.payload),\n});\n"]}

package/dist/assertions/record/diff.d.cts

@@ -0,0 +1,27 @@
+import { Schema } from "effect";
+import { type AgentWorkspaceDiff } from "../workspace-diff.cjs";
+import { type AgentWorkspaceDiffDocumentV1 } from "./diff-model.cjs";
+import { type RecordAttachmentFamily, type RecordAttachmentWrite } from "../../record/attachment/index.cjs";
+import { type RecordAttachmentProjector } from "../../projection/projector.cjs";
+export declare const AGENT_WORKSPACE_DIFF_ATTACHMENT_NAME_V1: "niceeval.diff";
+export declare const AgentWorkspaceDiffDocumentV1Schema: Schema.Schema<AgentWorkspaceDiffDocumentV1>;
+/** Attempt-owned, exact, agent-attributed send-window endpoint document. */
+export declare const agentWorkspaceDiffAttachmentDefinitionV1: import("../../record/attachment/types.cjs").JsonRecordAttachmentDefinition<"attempt", AgentWorkspaceDiffDocumentV1>;
+/** v1 has no invented future migration edge; adjacent edges appear only with a real next schema. */
+export declare const agentWorkspaceDiffAttachmentFamilyV1: RecordAttachmentFamily<"attempt", AgentWorkspaceDiffDocumentV1>;
+/**
+ * Checks the exact v1 Record representation while the Runner can still treat
+ * an oversized supplemental diff as unavailable. Waiting until Evaluation
+ * publication would turn one optional evidence failure into a fatal Run-wide
+ * write error after every Attempt has already settled.
+ */
+export declare function assertAgentWorkspaceDiffRecordableV1(value: AgentWorkspaceDiff): void;
+/**
+ * Captures the exact frozen semantic object held by post-run evaluators. The
+ * no-blob v1 representation is intentionally small enough for normal ledger
+ * exports; a future adjacent schema may move endpoint text into this owner's
+ * own blobs without changing Assertions' reference shape.
+ */
+export declare function createAgentWorkspaceDiffAttachmentWriteV1(value: AgentWorkspaceDiff): RecordAttachmentWrite<"attempt", never, never>;
+/** A neutral typed projector available to scripts and any Report, with no privileged consumer. */
+export declare const agentWorkspaceDiffProjector: RecordAttachmentProjector<"attempt", AgentWorkspaceDiff>;

package/dist/assertions/record/diff.d.mts

@@ -0,0 +1,27 @@
+import { Schema } from "effect";
+import { type AgentWorkspaceDiff } from "../workspace-diff.mjs";
+import { type AgentWorkspaceDiffDocumentV1 } from "./diff-model.mjs";
+import { type RecordAttachmentFamily, type RecordAttachmentWrite } from "../../record/attachment/index.mjs";
+import { type RecordAttachmentProjector } from "../../projection/projector.mjs";
+export declare const AGENT_WORKSPACE_DIFF_ATTACHMENT_NAME_V1: "niceeval.diff";
+export declare const AgentWorkspaceDiffDocumentV1Schema: Schema.Schema<AgentWorkspaceDiffDocumentV1>;
+/** Attempt-owned, exact, agent-attributed send-window endpoint document. */
+export declare const agentWorkspaceDiffAttachmentDefinitionV1: import("../../record/attachment/types.mjs").JsonRecordAttachmentDefinition<"attempt", AgentWorkspaceDiffDocumentV1>;
+/** v1 has no invented future migration edge; adjacent edges appear only with a real next schema. */
+export declare const agentWorkspaceDiffAttachmentFamilyV1: RecordAttachmentFamily<"attempt", AgentWorkspaceDiffDocumentV1>;
+/**
+ * Checks the exact v1 Record representation while the Runner can still treat
+ * an oversized supplemental diff as unavailable. Waiting until Evaluation
+ * publication would turn one optional evidence failure into a fatal Run-wide
+ * write error after every Attempt has already settled.
+ */
+export declare function assertAgentWorkspaceDiffRecordableV1(value: AgentWorkspaceDiff): void;
+/**
+ * Captures the exact frozen semantic object held by post-run evaluators. The
+ * no-blob v1 representation is intentionally small enough for normal ledger
+ * exports; a future adjacent schema may move endpoint text into this owner's
+ * own blobs without changing Assertions' reference shape.
+ */
+export declare function createAgentWorkspaceDiffAttachmentWriteV1(value: AgentWorkspaceDiff): RecordAttachmentWrite<"attempt", never, never>;
+/** A neutral typed projector available to scripts and any Report, with no privileged consumer. */
+export declare const agentWorkspaceDiffProjector: RecordAttachmentProjector<"attempt", AgentWorkspaceDiff>;

package/dist/assertions/record/diff.d.ts

@@ -0,0 +1,27 @@
+import { Schema } from "effect";
+import { type AgentWorkspaceDiff } from "../workspace-diff.js";
+import { type AgentWorkspaceDiffDocumentV1 } from "./diff-model.js";
+import { type RecordAttachmentFamily, type RecordAttachmentWrite } from "../../record/attachment/index.js";
+import { type RecordAttachmentProjector } from "../../projection/projector.js";
+export declare const AGENT_WORKSPACE_DIFF_ATTACHMENT_NAME_V1: "niceeval.diff";
+export declare const AgentWorkspaceDiffDocumentV1Schema: Schema.Schema<AgentWorkspaceDiffDocumentV1>;
+/** Attempt-owned, exact, agent-attributed send-window endpoint document. */
+export declare const agentWorkspaceDiffAttachmentDefinitionV1: import("../../record/attachment/types.js").JsonRecordAttachmentDefinition<"attempt", AgentWorkspaceDiffDocumentV1>;
+/** v1 has no invented future migration edge; adjacent edges appear only with a real next schema. */
+export declare const agentWorkspaceDiffAttachmentFamilyV1: RecordAttachmentFamily<"attempt", AgentWorkspaceDiffDocumentV1>;
+/**
+ * Checks the exact v1 Record representation while the Runner can still treat
+ * an oversized supplemental diff as unavailable. Waiting until Evaluation
+ * publication would turn one optional evidence failure into a fatal Run-wide
+ * write error after every Attempt has already settled.
+ */
+export declare function assertAgentWorkspaceDiffRecordableV1(value: AgentWorkspaceDiff): void;
+/**
+ * Captures the exact frozen semantic object held by post-run evaluators. The
+ * no-blob v1 representation is intentionally small enough for normal ledger
+ * exports; a future adjacent schema may move endpoint text into this owner's
+ * own blobs without changing Assertions' reference shape.
+ */
+export declare function createAgentWorkspaceDiffAttachmentWriteV1(value: AgentWorkspaceDiff): RecordAttachmentWrite<"attempt", never, never>;
+/** A neutral typed projector available to scripts and any Report, with no privileged consumer. */
+export declare const agentWorkspaceDiffProjector: RecordAttachmentProjector<"attempt", AgentWorkspaceDiff>;

package/dist/assertions/record/diff.js

@@ -0,0 +1,18 @@
+import { createRequire as __niceevalCreateRequire } from "node:module";
+const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
+const __niceevalCanonical = __niceevalRequire("./diff.cjs");
+const __niceevalExport0 = __niceevalCanonical["AGENT_WORKSPACE_DIFF_ATTACHMENT_NAME_V1"];
+export { __niceevalExport0 as AGENT_WORKSPACE_DIFF_ATTACHMENT_NAME_V1 };
+const __niceevalExport1 = __niceevalCanonical["AgentWorkspaceDiffDocumentV1Schema"];
+export { __niceevalExport1 as AgentWorkspaceDiffDocumentV1Schema };
+const __niceevalExport2 = __niceevalCanonical["agentWorkspaceDiffAttachmentDefinitionV1"];
+export { __niceevalExport2 as agentWorkspaceDiffAttachmentDefinitionV1 };
+const __niceevalExport3 = __niceevalCanonical["agentWorkspaceDiffAttachmentFamilyV1"];
+export { __niceevalExport3 as agentWorkspaceDiffAttachmentFamilyV1 };
+const __niceevalExport4 = __niceevalCanonical["agentWorkspaceDiffProjector"];
+export { __niceevalExport4 as agentWorkspaceDiffProjector };
+const __niceevalExport5 = __niceevalCanonical["assertAgentWorkspaceDiffRecordableV1"];
+export { __niceevalExport5 as assertAgentWorkspaceDiffRecordableV1 };
+const __niceevalExport6 = __niceevalCanonical["createAgentWorkspaceDiffAttachmentWriteV1"];
+export { __niceevalExport6 as createAgentWorkspaceDiffAttachmentWriteV1 };
+//# sourceMappingURL=diff.js.map

package/dist/assertions/record/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sources":[],"names":[],"mappings":""}

package/dist/assertions/record/index.cjs

@@ -0,0 +1,22 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./attachment.cjs"), exports);
+__exportStar(require("./codec.cjs"), exports);
+__exportStar(require("./diff.cjs"), exports);
+__exportStar(require("./model.cjs"), exports);
+__exportStar(require("./producer.cjs"), exports);
+//# sourceMappingURL=index.cjs.map

package/dist/assertions/record/index.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,kDAAgC;AAChC,6CAA2B;AAC3B,4CAA0B;AAC1B,6CAA2B;AAC3B,gDAA8B","sourcesContent":["export * from \"./attachment.ts\";\nexport * from \"./codec.ts\";\nexport * from \"./diff.ts\";\nexport * from \"./model.ts\";\nexport * from \"./producer.ts\";\n"]}

package/dist/assertions/record/index.d.cts

@@ -0,0 +1,5 @@
+export * from "./attachment.cjs";
+export * from "./codec.cjs";
+export * from "./diff.cjs";
+export * from "./model.cjs";
+export * from "./producer.cjs";

package/dist/assertions/record/index.d.mts

@@ -0,0 +1,5 @@
+export * from "./attachment.mjs";
+export * from "./codec.mjs";
+export * from "./diff.mjs";
+export * from "./model.mjs";
+export * from "./producer.mjs";