niceeval 0.12.2-canary.31 → 0.13.0

package/dist/record/family/catalog.js

@@ -0,0 +1,34 @@
+import { createRequire as __niceevalCreateRequire } from "node:module";
+const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
+const __niceevalCanonical = __niceevalRequire("./catalog.cjs");
+const __niceevalExport0 = __niceevalCanonical["FixedRecordAttachmentEnvelopeSchema"];
+export { __niceevalExport0 as FixedRecordAttachmentEnvelopeSchema };
+const __niceevalExport1 = __niceevalCanonical["NICE_EVAL_FAMILIES"];
+export { __niceevalExport1 as NICE_EVAL_FAMILIES };
+const __niceevalExport2 = __niceevalCanonical["NiceEvalFamilySchema"];
+export { __niceevalExport2 as NiceEvalFamilySchema };
+const __niceevalExport3 = __niceevalCanonical["NiceEvalRecordAttachments"];
+export { __niceevalExport3 as NiceEvalRecordAttachments };
+const __niceevalExport4 = __niceevalCanonical["NiceEvalRecordFamilyCatalog"];
+export { __niceevalExport4 as NiceEvalRecordFamilyCatalog };
+const __niceevalExport5 = __niceevalCanonical["assertionsRecordFamily"];
+export { __niceevalExport5 as assertionsRecordFamily };
+const __niceevalExport6 = __niceevalCanonical["attemptArtifactsRecordFamily"];
+export { __niceevalExport6 as attemptArtifactsRecordFamily };
+const __niceevalExport7 = __niceevalCanonical["attemptObservabilityRecordFamily"];
+export { __niceevalExport7 as attemptObservabilityRecordFamily };
+const __niceevalExport8 = __niceevalCanonical["decodeFixedRecordAttachmentEnvelope"];
+export { __niceevalExport8 as decodeFixedRecordAttachmentEnvelope };
+const __niceevalExport9 = __niceevalCanonical["encodeFixedRecordAttachmentEnvelope"];
+export { __niceevalExport9 as encodeFixedRecordAttachmentEnvelope };
+const __niceevalExport10 = __niceevalCanonical["fileChangesRecordFamily"];
+export { __niceevalExport10 as fileChangesRecordFamily };
+const __niceevalExport11 = __niceevalCanonical["runArtifactsRecordFamily"];
+export { __niceevalExport11 as runArtifactsRecordFamily };
+const __niceevalExport12 = __niceevalCanonical["runObservabilityRecordFamily"];
+export { __niceevalExport12 as runObservabilityRecordFamily };
+const __niceevalExport13 = __niceevalCanonical["sourceNavigationRecordFamily"];
+export { __niceevalExport13 as sourceNavigationRecordFamily };
+const __niceevalExport14 = __niceevalCanonical["sourcesRecordFamily"];
+export { __niceevalExport14 as sourcesRecordFamily };
+//# sourceMappingURL=catalog.js.map

package/dist/record/family/catalog.js.map

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

package/dist/record/family/common.cjs

@@ -0,0 +1,80 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CollectionStateSchema = exports.EmptyArraySchema = exports.CollectionLimitationSchema = exports.MediaTypeSchema = exports.SafeIdentifierSchema = exports.SafeTextSchema = exports.FiniteNonNegativeNumberSchema = exports.PositiveSafeIntegerSchema = exports.NonNegativeSafeIntegerSchema = exports.FixedAttachmentValueLimits = void 0;
+exports.isCanonicalIdentitySequence = isCanonicalIdentitySequence;
+exports.decodeFixedFamilyPayload = decodeFixedFamilyPayload;
+const effect_1 = require("effect");
+const core_ts_1 = require("../codec/core.cjs");
+/** Shared current payload envelope; individual families tighten it only when their contract requires it. */
+exports.FixedAttachmentValueLimits = Object.freeze({
+    maximumJsonBytes: 16 * 1024 * 1024,
+    maximumDepth: 32,
+    maximumNodes: 200000,
+    maximumObjectKeys: 50000,
+    maximumArrayItems: 100000,
+    maximumKeyUtf8Bytes: 256,
+    maximumStringUtf8Bytes: 1024 * 1024,
+});
+exports.NonNegativeSafeIntegerSchema = effect_1.Schema.JsonNumber.pipe(effect_1.Schema.filter((value) => Number.isSafeInteger(value) && value >= 0, {
+    identifier: "RecordNonNegativeSafeInteger",
+    description: "a non-negative JSON-safe integer",
+}));
+exports.PositiveSafeIntegerSchema = effect_1.Schema.JsonNumber.pipe(effect_1.Schema.filter((value) => Number.isSafeInteger(value) && value > 0, {
+    identifier: "RecordPositiveSafeInteger",
+    description: "a positive JSON-safe integer",
+}));
+exports.FiniteNonNegativeNumberSchema = effect_1.Schema.JsonNumber.pipe(effect_1.Schema.filter((value) => Number.isFinite(value) && value >= 0, {
+    identifier: "RecordFiniteNonNegativeNumber",
+    description: "a finite non-negative JSON number",
+}));
+exports.SafeTextSchema = effect_1.Schema.String.pipe(effect_1.Schema.filter((value) => new TextEncoder().encode(value).byteLength <= 16384 &&
+    !/[\u0000-\u0008\u000b\u000c\u000e-\u001f\u007f]/.test(value), {
+    identifier: "RecordSafeText",
+    description: "bounded text without NUL or unsafe control characters",
+}));
+exports.SafeIdentifierSchema = effect_1.Schema.String.pipe(effect_1.Schema.filter((value) => /^[A-Za-z0-9][A-Za-z0-9._:-]{0,255}$/.test(value), {
+    identifier: "RecordSafeIdentifier",
+    description: "a bounded ASCII identifier",
+}));
+exports.MediaTypeSchema = effect_1.Schema.String.pipe(effect_1.Schema.filter((value) => value.length > 0 &&
+    value.length <= 255 &&
+    /^[!#$%&'*+.^_`|~0-9A-Za-z-]+\/[!#$%&'*+.^_`|~0-9A-Za-z-]+(?:;[!#$%&'*+.^_`|~0-9A-Za-z-]+=[!#$%&'*+.^_`|~0-9A-Za-z-]+)*$/.test(value), {
+    identifier: "RecordMediaType",
+    description: "a bounded MIME media type without free-form parameters",
+}));
+exports.CollectionLimitationSchema = effect_1.Schema.Union(effect_1.Schema.Struct({
+    code: effect_1.Schema.Literal("capture-failed", "capture-interrupted"),
+    stage: exports.SafeIdentifierSchema,
+}), effect_1.Schema.Struct({
+    code: effect_1.Schema.Literal("collection-cap-reached", "unsupported-input"),
+    omittedAtLeast: exports.PositiveSafeIntegerSchema,
+}));
+exports.EmptyArraySchema = effect_1.Schema.Tuple().pipe(effect_1.Schema.filter((values) => values.length === 0, {
+    identifier: "RecordEmptyArray",
+    description: "an exact empty array",
+}));
+exports.CollectionStateSchema = effect_1.Schema.Union(effect_1.Schema.Struct({
+    state: effect_1.Schema.Literal("complete"),
+    limitations: exports.EmptyArraySchema,
+}), effect_1.Schema.Struct({
+    state: effect_1.Schema.Literal("partial"),
+    limitations: effect_1.Schema.NonEmptyArray(exports.CollectionLimitationSchema),
+}));
+function isCanonicalIdentitySequence(values) {
+    let previous;
+    const seen = new Set();
+    for (const value of values) {
+        if (seen.has(value) || (previous !== undefined && previous >= value))
+            return false;
+        seen.add(value);
+        previous = value;
+    }
+    return true;
+}
+function decodeFixedFamilyPayload(schema, input) {
+    const decoded = effect_1.Schema.decodeUnknownEither(schema, core_ts_1.RecordExactParseOptions)(input);
+    return effect_1.Either.isLeft(decoded)
+        ? effect_1.Either.left(Object.freeze({ code: "record-family-payload-invalid" }))
+        : effect_1.Either.right(decoded.right);
+}
+//# sourceMappingURL=common.cjs.map

package/dist/record/family/common.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"common.js","sourceRoot":"","sources":["common.ts"],"names":[],"mappings":";;;AA4DA,kEAUC;AACD,4DAOC;AA9ED,mCAAwC;AACxC,8CAA2D;AAC3D,4GAA4G;AAC/F,QAAA,0BAA0B,GAAG,MAAM,CAAC,MAAM,CAAC;IACpD,gBAAgB,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;IAClC,YAAY,EAAE,EAAE;IAChB,YAAY,EAAE,MAAM;IACpB,iBAAiB,EAAE,KAAK;IACxB,iBAAiB,EAAE,MAAM;IACzB,mBAAmB,EAAE,GAAG;IACxB,sBAAsB,EAAE,IAAI,GAAG,IAAI;CACtC,CAAC,CAAC;AAEU,QAAA,4BAA4B,GAAG,eAAM,CAAC,UAAU,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE;IACnI,UAAU,EAAE,8BAA8B;IAC1C,WAAW,EAAE,kCAAkC;CAClD,CAAC,CAAC,CAAC;AACS,QAAA,yBAAyB,GAAG,eAAM,CAAC,UAAU,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE;IAC/H,UAAU,EAAE,2BAA2B;IACvC,WAAW,EAAE,8BAA8B;CAC9C,CAAC,CAAC,CAAC;AACS,QAAA,6BAA6B,GAAG,eAAM,CAAC,UAAU,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE;IAC/H,UAAU,EAAE,+BAA+B;IAC3C,WAAW,EAAE,mCAAmC;CACnD,CAAC,CAAC,CAAC;AACS,QAAA,cAAc,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,IAAI,KAAK;IACzH,CAAC,gDAAgD,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;IAC/D,UAAU,EAAE,gBAAgB;IAC5B,WAAW,EAAE,uDAAuD;CACvE,CAAC,CAAC,CAAC;AACS,QAAA,oBAAoB,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,qCAAqC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;IAC/H,UAAU,EAAE,sBAAsB;IAClC,WAAW,EAAE,4BAA4B;CAC5C,CAAC,CAAC,CAAC;AACS,QAAA,eAAe,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;IACvF,KAAK,CAAC,MAAM,IAAI,GAAG;IACnB,yHAAyH,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;IACvI,UAAU,EAAE,iBAAiB;IAC7B,WAAW,EAAE,wDAAwD;CACxE,CAAC,CAAC,CAAC;AACS,QAAA,0BAA0B,GAAG,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;IACjE,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,qBAAqB,CAAC;IAC7D,KAAK,EAAE,4BAAoB;CAC9B,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC;IACd,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,wBAAwB,EAAE,mBAAmB,CAAC;IACnE,cAAc,EAAE,iCAAyB;CAC5C,CAAC,CAAC,CAAC;AACS,QAAA,gBAAgB,GAAG,eAAM,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EACvE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE;IACtB,UAAU,EAAE,kBAAkB;IAC9B,WAAW,EAAE,sBAAsB;CACtC,CAAC,CAAC,CAAC;AACS,QAAA,qBAAqB,GAAG,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;IAC5D,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,UAAU,CAAC;IACjC,WAAW,EAAE,wBAAgB;CAChC,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC;IACd,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAChC,WAAW,EAAE,eAAM,CAAC,aAAa,CAAC,kCAA0B,CAAC;CAChE,CAAC,CAAC,CAAC;AAEJ,SAAgB,2BAA2B,CAAC,MAAyB;IACjE,IAAI,QAA4B,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,IAAI,KAAK,CAAC;YAChE,OAAO,KAAK,CAAC;QACjB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,QAAQ,GAAG,KAAK,CAAC;IACrB,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AACD,SAAgB,wBAAwB,CAAO,MAA2B,EAAE,KAAc;IAGtF,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,iCAAuB,CAAC,CAAC,KAAK,CAAC,CAAC;IACnF,OAAO,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QACzB,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,+BAAwC,EAAE,CAAC,CAAC;QAChF,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACtC,CAAC","sourcesContent":["import { Either, Schema } from \"effect\";\nimport { RecordExactParseOptions } from \"../codec/core.ts\";\n/** Shared current payload envelope; individual families tighten it only when their contract requires it. */\nexport const FixedAttachmentValueLimits = Object.freeze({\n    maximumJsonBytes: 16 * 1024 * 1024,\n    maximumDepth: 32,\n    maximumNodes: 200000,\n    maximumObjectKeys: 50000,\n    maximumArrayItems: 100000,\n    maximumKeyUtf8Bytes: 256,\n    maximumStringUtf8Bytes: 1024 * 1024,\n});\nexport type FixedRecordAttachmentOwner = \"run\" | \"attempt\";\nexport const NonNegativeSafeIntegerSchema = Schema.JsonNumber.pipe(Schema.filter((value) => Number.isSafeInteger(value) && value >= 0, {\n    identifier: \"RecordNonNegativeSafeInteger\",\n    description: \"a non-negative JSON-safe integer\",\n}));\nexport const PositiveSafeIntegerSchema = Schema.JsonNumber.pipe(Schema.filter((value) => Number.isSafeInteger(value) && value > 0, {\n    identifier: \"RecordPositiveSafeInteger\",\n    description: \"a positive JSON-safe integer\",\n}));\nexport const FiniteNonNegativeNumberSchema = Schema.JsonNumber.pipe(Schema.filter((value) => Number.isFinite(value) && value >= 0, {\n    identifier: \"RecordFiniteNonNegativeNumber\",\n    description: \"a finite non-negative JSON number\",\n}));\nexport const SafeTextSchema = Schema.String.pipe(Schema.filter((value) => new TextEncoder().encode(value).byteLength <= 16384 &&\n    !/[\\u0000-\\u0008\\u000b\\u000c\\u000e-\\u001f\\u007f]/.test(value), {\n    identifier: \"RecordSafeText\",\n    description: \"bounded text without NUL or unsafe control characters\",\n}));\nexport const SafeIdentifierSchema = Schema.String.pipe(Schema.filter((value) => /^[A-Za-z0-9][A-Za-z0-9._:-]{0,255}$/.test(value), {\n    identifier: \"RecordSafeIdentifier\",\n    description: \"a bounded ASCII identifier\",\n}));\nexport const MediaTypeSchema = Schema.String.pipe(Schema.filter((value) => value.length > 0 &&\n    value.length <= 255 &&\n    /^[!#$%&'*+.^_`|~0-9A-Za-z-]+\\/[!#$%&'*+.^_`|~0-9A-Za-z-]+(?:;[!#$%&'*+.^_`|~0-9A-Za-z-]+=[!#$%&'*+.^_`|~0-9A-Za-z-]+)*$/.test(value), {\n    identifier: \"RecordMediaType\",\n    description: \"a bounded MIME media type without free-form parameters\",\n}));\nexport const CollectionLimitationSchema = Schema.Union(Schema.Struct({\n    code: Schema.Literal(\"capture-failed\", \"capture-interrupted\"),\n    stage: SafeIdentifierSchema,\n}), Schema.Struct({\n    code: Schema.Literal(\"collection-cap-reached\", \"unsupported-input\"),\n    omittedAtLeast: PositiveSafeIntegerSchema,\n}));\nexport const EmptyArraySchema = Schema.Tuple().pipe(Schema.filter((values): values is readonly [\n] => values.length === 0, {\n    identifier: \"RecordEmptyArray\",\n    description: \"an exact empty array\",\n}));\nexport const CollectionStateSchema = Schema.Union(Schema.Struct({\n    state: Schema.Literal(\"complete\"),\n    limitations: EmptyArraySchema,\n}), Schema.Struct({\n    state: Schema.Literal(\"partial\"),\n    limitations: Schema.NonEmptyArray(CollectionLimitationSchema),\n}));\nexport type CollectionState = Schema.Schema.Type<typeof CollectionStateSchema>;\nexport function isCanonicalIdentitySequence(values: readonly string[]): boolean {\n    let previous: string | undefined;\n    const seen = new Set<string>();\n    for (const value of values) {\n        if (seen.has(value) || (previous !== undefined && previous >= value))\n            return false;\n        seen.add(value);\n        previous = value;\n    }\n    return true;\n}\nexport function decodeFixedFamilyPayload<A, I>(schema: Schema.Schema<A, I>, input: unknown): Either.Either<A, {\n    readonly code: \"record-family-payload-invalid\";\n}> {\n    const decoded = Schema.decodeUnknownEither(schema, RecordExactParseOptions)(input);\n    return Either.isLeft(decoded)\n        ? Either.left(Object.freeze({ code: \"record-family-payload-invalid\" as const }))\n        : Either.right(decoded.right);\n}\n"]}

package/dist/record/family/common.d.cts

@@ -0,0 +1,44 @@
+import { Either, Schema } from "effect";
+/** Shared current payload envelope; individual families tighten it only when their contract requires it. */
+export declare const FixedAttachmentValueLimits: Readonly<{
+    maximumJsonBytes: number;
+    maximumDepth: 32;
+    maximumNodes: 200000;
+    maximumObjectKeys: 50000;
+    maximumArrayItems: 100000;
+    maximumKeyUtf8Bytes: 256;
+    maximumStringUtf8Bytes: number;
+}>;
+export type FixedRecordAttachmentOwner = "run" | "attempt";
+export declare const NonNegativeSafeIntegerSchema: Schema.filter<typeof Schema.JsonNumber>;
+export declare const PositiveSafeIntegerSchema: Schema.filter<typeof Schema.JsonNumber>;
+export declare const FiniteNonNegativeNumberSchema: Schema.filter<typeof Schema.JsonNumber>;
+export declare const SafeTextSchema: Schema.filter<typeof Schema.String>;
+export declare const SafeIdentifierSchema: Schema.filter<typeof Schema.String>;
+export declare const MediaTypeSchema: Schema.filter<typeof Schema.String>;
+export declare const CollectionLimitationSchema: Schema.Union<[Schema.Struct<{
+    code: Schema.Literal<["capture-failed", "capture-interrupted"]>;
+    stage: Schema.filter<typeof Schema.String>;
+}>, Schema.Struct<{
+    code: Schema.Literal<["collection-cap-reached", "unsupported-input"]>;
+    omittedAtLeast: Schema.filter<typeof Schema.JsonNumber>;
+}>]>;
+export declare const EmptyArraySchema: Schema.refine<readonly [], Schema.Schema<readonly [], readonly [], never>>;
+export declare const CollectionStateSchema: Schema.Union<[Schema.Struct<{
+    state: Schema.Literal<["complete"]>;
+    limitations: Schema.refine<readonly [], Schema.Schema<readonly [], readonly [], never>>;
+}>, Schema.Struct<{
+    state: Schema.Literal<["partial"]>;
+    limitations: Schema.NonEmptyArray<Schema.Union<[Schema.Struct<{
+        code: Schema.Literal<["capture-failed", "capture-interrupted"]>;
+        stage: Schema.filter<typeof Schema.String>;
+    }>, Schema.Struct<{
+        code: Schema.Literal<["collection-cap-reached", "unsupported-input"]>;
+        omittedAtLeast: Schema.filter<typeof Schema.JsonNumber>;
+    }>]>>;
+}>]>;
+export type CollectionState = Schema.Schema.Type<typeof CollectionStateSchema>;
+export declare function isCanonicalIdentitySequence(values: readonly string[]): boolean;
+export declare function decodeFixedFamilyPayload<A, I>(schema: Schema.Schema<A, I>, input: unknown): Either.Either<A, {
+    readonly code: "record-family-payload-invalid";
+}>;

package/dist/record/family/common.d.mts

@@ -0,0 +1,44 @@
+import { Either, Schema } from "effect";
+/** Shared current payload envelope; individual families tighten it only when their contract requires it. */
+export declare const FixedAttachmentValueLimits: Readonly<{
+    maximumJsonBytes: number;
+    maximumDepth: 32;
+    maximumNodes: 200000;
+    maximumObjectKeys: 50000;
+    maximumArrayItems: 100000;
+    maximumKeyUtf8Bytes: 256;
+    maximumStringUtf8Bytes: number;
+}>;
+export type FixedRecordAttachmentOwner = "run" | "attempt";
+export declare const NonNegativeSafeIntegerSchema: Schema.filter<typeof Schema.JsonNumber>;
+export declare const PositiveSafeIntegerSchema: Schema.filter<typeof Schema.JsonNumber>;
+export declare const FiniteNonNegativeNumberSchema: Schema.filter<typeof Schema.JsonNumber>;
+export declare const SafeTextSchema: Schema.filter<typeof Schema.String>;
+export declare const SafeIdentifierSchema: Schema.filter<typeof Schema.String>;
+export declare const MediaTypeSchema: Schema.filter<typeof Schema.String>;
+export declare const CollectionLimitationSchema: Schema.Union<[Schema.Struct<{
+    code: Schema.Literal<["capture-failed", "capture-interrupted"]>;
+    stage: Schema.filter<typeof Schema.String>;
+}>, Schema.Struct<{
+    code: Schema.Literal<["collection-cap-reached", "unsupported-input"]>;
+    omittedAtLeast: Schema.filter<typeof Schema.JsonNumber>;
+}>]>;
+export declare const EmptyArraySchema: Schema.refine<readonly [], Schema.Schema<readonly [], readonly [], never>>;
+export declare const CollectionStateSchema: Schema.Union<[Schema.Struct<{
+    state: Schema.Literal<["complete"]>;
+    limitations: Schema.refine<readonly [], Schema.Schema<readonly [], readonly [], never>>;
+}>, Schema.Struct<{
+    state: Schema.Literal<["partial"]>;
+    limitations: Schema.NonEmptyArray<Schema.Union<[Schema.Struct<{
+        code: Schema.Literal<["capture-failed", "capture-interrupted"]>;
+        stage: Schema.filter<typeof Schema.String>;
+    }>, Schema.Struct<{
+        code: Schema.Literal<["collection-cap-reached", "unsupported-input"]>;
+        omittedAtLeast: Schema.filter<typeof Schema.JsonNumber>;
+    }>]>>;
+}>]>;
+export type CollectionState = Schema.Schema.Type<typeof CollectionStateSchema>;
+export declare function isCanonicalIdentitySequence(values: readonly string[]): boolean;
+export declare function decodeFixedFamilyPayload<A, I>(schema: Schema.Schema<A, I>, input: unknown): Either.Either<A, {
+    readonly code: "record-family-payload-invalid";
+}>;

package/dist/record/family/common.d.ts

@@ -0,0 +1,44 @@
+import { Either, Schema } from "effect";
+/** Shared current payload envelope; individual families tighten it only when their contract requires it. */
+export declare const FixedAttachmentValueLimits: Readonly<{
+    maximumJsonBytes: number;
+    maximumDepth: 32;
+    maximumNodes: 200000;
+    maximumObjectKeys: 50000;
+    maximumArrayItems: 100000;
+    maximumKeyUtf8Bytes: 256;
+    maximumStringUtf8Bytes: number;
+}>;
+export type FixedRecordAttachmentOwner = "run" | "attempt";
+export declare const NonNegativeSafeIntegerSchema: Schema.filter<typeof Schema.JsonNumber>;
+export declare const PositiveSafeIntegerSchema: Schema.filter<typeof Schema.JsonNumber>;
+export declare const FiniteNonNegativeNumberSchema: Schema.filter<typeof Schema.JsonNumber>;
+export declare const SafeTextSchema: Schema.filter<typeof Schema.String>;
+export declare const SafeIdentifierSchema: Schema.filter<typeof Schema.String>;
+export declare const MediaTypeSchema: Schema.filter<typeof Schema.String>;
+export declare const CollectionLimitationSchema: Schema.Union<[Schema.Struct<{
+    code: Schema.Literal<["capture-failed", "capture-interrupted"]>;
+    stage: Schema.filter<typeof Schema.String>;
+}>, Schema.Struct<{
+    code: Schema.Literal<["collection-cap-reached", "unsupported-input"]>;
+    omittedAtLeast: Schema.filter<typeof Schema.JsonNumber>;
+}>]>;
+export declare const EmptyArraySchema: Schema.refine<readonly [], Schema.Schema<readonly [], readonly [], never>>;
+export declare const CollectionStateSchema: Schema.Union<[Schema.Struct<{
+    state: Schema.Literal<["complete"]>;
+    limitations: Schema.refine<readonly [], Schema.Schema<readonly [], readonly [], never>>;
+}>, Schema.Struct<{
+    state: Schema.Literal<["partial"]>;
+    limitations: Schema.NonEmptyArray<Schema.Union<[Schema.Struct<{
+        code: Schema.Literal<["capture-failed", "capture-interrupted"]>;
+        stage: Schema.filter<typeof Schema.String>;
+    }>, Schema.Struct<{
+        code: Schema.Literal<["collection-cap-reached", "unsupported-input"]>;
+        omittedAtLeast: Schema.filter<typeof Schema.JsonNumber>;
+    }>]>>;
+}>]>;
+export type CollectionState = Schema.Schema.Type<typeof CollectionStateSchema>;
+export declare function isCanonicalIdentitySequence(values: readonly string[]): boolean;
+export declare function decodeFixedFamilyPayload<A, I>(schema: Schema.Schema<A, I>, input: unknown): Either.Either<A, {
+    readonly code: "record-family-payload-invalid";
+}>;

package/dist/record/family/common.js

@@ -0,0 +1,28 @@
+import { createRequire as __niceevalCreateRequire } from "node:module";
+const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
+const __niceevalCanonical = __niceevalRequire("./common.cjs");
+const __niceevalExport0 = __niceevalCanonical["CollectionLimitationSchema"];
+export { __niceevalExport0 as CollectionLimitationSchema };
+const __niceevalExport1 = __niceevalCanonical["CollectionStateSchema"];
+export { __niceevalExport1 as CollectionStateSchema };
+const __niceevalExport2 = __niceevalCanonical["EmptyArraySchema"];
+export { __niceevalExport2 as EmptyArraySchema };
+const __niceevalExport3 = __niceevalCanonical["FiniteNonNegativeNumberSchema"];
+export { __niceevalExport3 as FiniteNonNegativeNumberSchema };
+const __niceevalExport4 = __niceevalCanonical["FixedAttachmentValueLimits"];
+export { __niceevalExport4 as FixedAttachmentValueLimits };
+const __niceevalExport5 = __niceevalCanonical["MediaTypeSchema"];
+export { __niceevalExport5 as MediaTypeSchema };
+const __niceevalExport6 = __niceevalCanonical["NonNegativeSafeIntegerSchema"];
+export { __niceevalExport6 as NonNegativeSafeIntegerSchema };
+const __niceevalExport7 = __niceevalCanonical["PositiveSafeIntegerSchema"];
+export { __niceevalExport7 as PositiveSafeIntegerSchema };
+const __niceevalExport8 = __niceevalCanonical["SafeIdentifierSchema"];
+export { __niceevalExport8 as SafeIdentifierSchema };
+const __niceevalExport9 = __niceevalCanonical["SafeTextSchema"];
+export { __niceevalExport9 as SafeTextSchema };
+const __niceevalExport10 = __niceevalCanonical["decodeFixedFamilyPayload"];
+export { __niceevalExport10 as decodeFixedFamilyPayload };
+const __niceevalExport11 = __niceevalCanonical["isCanonicalIdentitySequence"];
+export { __niceevalExport11 as isCanonicalIdentitySequence };
+//# sourceMappingURL=common.js.map

package/dist/record/family/common.js.map

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

package/dist/record/family/file-changes.cjs

@@ -0,0 +1,278 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.fileChangesRecordAttachment = exports.FileChangesAttachmentSchema = exports.FileChangesWindowSchema = exports.FileChangeSchema = exports.FileEndpointSchema = exports.FileRevisionSchema = exports.FileChangesCollectionStateSchema = exports.FileChangesCollectionLimitationSchema = exports.FileChangesAttributionSchema = exports.FileChangesWindowIdSchema = exports.FileChangesLimits = void 0;
+exports.fileChangesCollectionLimitationKey = fileChangesCollectionLimitationKey;
+exports.fileChangesBlobRefs = fileChangesBlobRefs;
+exports.fileChangesAttachmentIntegrityIssues = fileChangesAttachmentIntegrityIssues;
+const node_crypto_1 = require("node:crypto");
+const effect_1 = require("effect");
+const identifiers_ts_1 = require("../codec/identifiers.cjs");
+const identifiers_ts_2 = require("../model/identifiers.cjs");
+const blob_ref_ts_1 = require("../attachment/blob-ref.cjs");
+const errors_ts_1 = require("../attachment/errors.cjs");
+const index_ts_1 = require("../definition/index.cjs");
+const common_ts_1 = require("./common.cjs");
+/** Immutable per-Attempt budgets for the fixed File Changes family. */
+exports.FileChangesLimits = Object.freeze({
+    maximumWindows: 256,
+    maximumChangesPerWindow: 10000,
+    maximumRetainedChanges: 10000,
+    maximumTextRevisionBytes: 1024 * 1024,
+    maximumBlobs: 20000,
+    maximumBlobBytes: 1024 * 1024,
+    maximumTotalBlobBytes: 128 * 1024 * 1024,
+    maximumPayloadJsonBytes: 16 * 1024 * 1024,
+    maximumPolicyEntries: 256,
+    maximumPolicyEntryUtf8Bytes: 4096,
+});
+/** File Changes preserves more endpoint nodes than the shared owner envelope. */
+const FileChangesAttachmentValueLimits = Object.freeze({
+    ...common_ts_1.FixedAttachmentValueLimits,
+    maximumNodes: 500000,
+});
+const encoder = new TextEncoder();
+function utf8ByteLength(value) {
+    return encoder.encode(value).byteLength;
+}
+function canonicalStrings(values) {
+    let previous;
+    const seen = new Set();
+    for (const value of values) {
+        if (seen.has(value) || (previous !== undefined && (0, identifiers_ts_2.compareCanonicalIdentity)(previous, value) >= 0)) {
+            return false;
+        }
+        seen.add(value);
+        previous = value;
+    }
+    return true;
+}
+function canonicalLimitations(values) {
+    return canonicalStrings(values.map(fileChangesCollectionLimitationKey));
+}
+/** A recorded send label is stable independently of its one-based attachment sequence. */
+exports.FileChangesWindowIdSchema = effect_1.Schema.String.pipe(effect_1.Schema.filter((value) => /^(?:turn[1-9][0-9]*|session[1-9][0-9]*\/turn[1-9][0-9]*)$/.test(value), {
+    identifier: "FileChangesWindowId",
+    description: "a canonical agent send-window id",
+}));
+const FileChangesPolicyEntrySchema = effect_1.Schema.String.pipe(effect_1.Schema.filter((value) => utf8ByteLength(value) <= exports.FileChangesLimits.maximumPolicyEntryUtf8Bytes, {
+    identifier: "FileChangesPolicyEntry",
+    description: "a File Changes include or ignore entry within its UTF-8 budget",
+}));
+const FileChangesPolicyEntriesSchema = effect_1.Schema.Array(FileChangesPolicyEntrySchema).pipe(effect_1.Schema.filter((values) => values.length <= exports.FileChangesLimits.maximumPolicyEntries && canonicalStrings(values), {
+    identifier: "FileChangesPolicyEntries",
+    description: "an ASCII-canonical, deduplicated bounded policy entry sequence",
+}));
+exports.FileChangesAttributionSchema = effect_1.Schema.Struct({
+    kind: effect_1.Schema.Literal("agent-send-window-endpoints"),
+    policy: effect_1.Schema.Struct({
+        defaultPolicy: effect_1.Schema.Literal("niceeval.sandbox-ledger/default-excludes/v1"),
+        include: FileChangesPolicyEntriesSchema,
+        ignore: FileChangesPolicyEntriesSchema,
+    }),
+});
+const CaptureLimitationStageSchema = effect_1.Schema.Literal("checkpoint", "export", "finalizer-export", "normalize");
+exports.FileChangesCollectionLimitationSchema = effect_1.Schema.Union(effect_1.Schema.Struct({
+    code: effect_1.Schema.Literal("capture-failed", "capture-interrupted"),
+    stage: CaptureLimitationStageSchema,
+    atWindowId: effect_1.Schema.NullOr(exports.FileChangesWindowIdSchema),
+}), effect_1.Schema.Struct({
+    code: effect_1.Schema.Literal("collection-cap-reached"),
+    target: effect_1.Schema.Literal("window", "change", "content-blob", "content-byte", "json-byte"),
+    omittedAtLeast: common_ts_1.PositiveSafeIntegerSchema,
+    atWindowId: effect_1.Schema.NullOr(exports.FileChangesWindowIdSchema),
+}), effect_1.Schema.Struct({
+    code: effect_1.Schema.Literal("unsupported-input"),
+    target: effect_1.Schema.Literal("endpoint-metadata"),
+    omittedAtLeast: common_ts_1.PositiveSafeIntegerSchema,
+}));
+/** Stable sort / dedupe key used by both the capture producer and durable decoder. */
+function fileChangesCollectionLimitationKey(limitation) {
+    switch (limitation.code) {
+        case "capture-failed":
+        case "capture-interrupted":
+            return [
+                limitation.code,
+                limitation.stage,
+                limitation.atWindowId ?? "",
+            ].join("\u0000");
+        case "collection-cap-reached":
+            return [
+                limitation.code,
+                limitation.target,
+                limitation.atWindowId ?? "",
+                String(limitation.omittedAtLeast),
+            ].join("\u0000");
+        case "unsupported-input":
+            return [
+                limitation.code,
+                limitation.target,
+                String(limitation.omittedAtLeast),
+            ].join("\u0000");
+    }
+}
+exports.FileChangesCollectionStateSchema = effect_1.Schema.Union(effect_1.Schema.Struct({
+    state: effect_1.Schema.Literal("complete"),
+    limitations: common_ts_1.EmptyArraySchema,
+}), effect_1.Schema.Struct({
+    state: effect_1.Schema.Literal("partial"),
+    limitations: effect_1.Schema.NonEmptyArray(exports.FileChangesCollectionLimitationSchema).pipe(effect_1.Schema.filter(canonicalLimitations, {
+        identifier: "FileChangesPartialLimitations",
+        description: "a deterministic deduplicated File Changes limitation sequence",
+    })),
+}));
+exports.FileRevisionSchema = effect_1.Schema.Union(effect_1.Schema.Struct({
+    kind: effect_1.Schema.Literal("text"),
+    sha256: identifiers_ts_1.Sha256DigestSchema,
+    byteLength: common_ts_1.NonNegativeSafeIntegerSchema.pipe(effect_1.Schema.filter((value) => value <= exports.FileChangesLimits.maximumTextRevisionBytes, {
+        identifier: "FileChangesTextRevisionByteLength",
+        description: "a retained text revision within the File Changes text budget",
+    })),
+    content: effect_1.Schema.Union(effect_1.Schema.Struct({
+        state: effect_1.Schema.Literal("available"),
+        ref: blob_ref_ts_1.RecordBlobRefSchema,
+    }), effect_1.Schema.Struct({
+        state: effect_1.Schema.Literal("omitted"),
+        reason: effect_1.Schema.Literal("collection-cap"),
+    })),
+}), effect_1.Schema.Struct({
+    kind: effect_1.Schema.Literal("elided"),
+    reason: effect_1.Schema.Literal("binary", "oversized-text"),
+    byteLength: common_ts_1.NonNegativeSafeIntegerSchema,
+}), effect_1.Schema.Struct({
+    kind: effect_1.Schema.Literal("unavailable"),
+    reason: effect_1.Schema.Literal("unsupported-input", "capture-failed", "capture-interrupted"),
+}));
+exports.FileEndpointSchema = effect_1.Schema.Union(effect_1.Schema.Struct({ state: effect_1.Schema.Literal("absent") }), effect_1.Schema.Struct({
+    state: effect_1.Schema.Literal("present"),
+    revision: exports.FileRevisionSchema,
+}));
+exports.FileChangeSchema = effect_1.Schema.Struct({
+    changeId: identifiers_ts_1.FileChangeIdSchema,
+    path: identifiers_ts_1.CanonicalProjectRelativePathSchema,
+    kind: effect_1.Schema.Literal("created", "modified", "deleted"),
+    before: exports.FileEndpointSchema,
+    after: exports.FileEndpointSchema,
+}).pipe(effect_1.Schema.filter((change) => {
+    switch (change.kind) {
+        case "created":
+            return change.before.state === "absent" && change.after.state === "present";
+        case "modified":
+            return change.before.state === "present" && change.after.state === "present";
+        case "deleted":
+            return change.before.state === "present" && change.after.state === "absent";
+    }
+}, {
+    identifier: "FileChange",
+    description: "a coherent created, modified, or deleted endpoint transition",
+}));
+const FileChangesWindowChangesSchema = effect_1.Schema.Array(exports.FileChangeSchema).pipe(effect_1.Schema.filter((changes) => changes.length <= exports.FileChangesLimits.maximumChangesPerWindow &&
+    canonicalStrings(changes.map((change) => change.path)), {
+    identifier: "FileChangesWindowChanges",
+    description: "a bounded ASCII-path-canonical unique window change sequence",
+}));
+exports.FileChangesWindowSchema = effect_1.Schema.Struct({
+    windowId: exports.FileChangesWindowIdSchema,
+    sequence: common_ts_1.PositiveSafeIntegerSchema,
+    changes: FileChangesWindowChangesSchema,
+});
+/** Attempt-owned sandbox facts, preserving each send window rather than a net path summary. */
+exports.FileChangesAttachmentSchema = effect_1.Schema.Struct({
+    attribution: effect_1.Schema.propertySignature(exports.FileChangesAttributionSchema).pipe(effect_1.Schema.fromKey("attribution-data")),
+    collection: effect_1.Schema.propertySignature(exports.FileChangesCollectionStateSchema).pipe(effect_1.Schema.fromKey("collection-data")),
+    windows: effect_1.Schema.propertySignature(effect_1.Schema.Array(exports.FileChangesWindowSchema)).pipe(effect_1.Schema.fromKey("windows-data")),
+}).pipe(effect_1.Schema.filter((payload) => {
+    if (payload.windows.length > exports.FileChangesLimits.maximumWindows)
+        return false;
+    if (payload.windows.reduce((total, window) => total + window.changes.length, 0) > exports.FileChangesLimits.maximumRetainedChanges) {
+        return false;
+    }
+    const windowIds = new Set();
+    const changeIds = new Set();
+    let previousSequence = 0;
+    for (const [index, window] of payload.windows.entries()) {
+        if (window.sequence <= previousSequence ||
+            windowIds.has(window.windowId) ||
+            (payload.collection.state === "complete" && window.sequence !== index + 1)) {
+            return false;
+        }
+        previousSequence = window.sequence;
+        windowIds.add(window.windowId);
+        for (const change of window.changes) {
+            if (changeIds.has(change.changeId))
+                return false;
+            changeIds.add(change.changeId);
+        }
+    }
+    return true;
+}, {
+    identifier: "FileChangesAttachment",
+    description: "a bounded coherent send-window trajectory with globally unique change ids",
+}));
+function endpointBlobRefs(endpoint) {
+    return endpoint.state === "present" &&
+        endpoint.revision.kind === "text" &&
+        endpoint.revision.content.state === "available"
+        ? [endpoint.revision.content.ref]
+        : [];
+}
+function fileChangesBlobRefs(payload) {
+    return Object.freeze(payload.windows.flatMap((window) => window.changes.flatMap((change) => [
+        ...endpointBlobRefs(change.before),
+        ...endpointBlobRefs(change.after),
+    ])));
+}
+/** Text revision metadata is meaningful only when its retained own blob matches. */
+function fileChangesAttachmentIntegrityIssues(payload, blobs) {
+    const bytesByRef = new Map(blobs.map((blob) => [blob.ref, blob.bytes]));
+    const issues = [];
+    const validateEndpoint = (endpoint, path) => {
+        if (endpoint.state !== "present" ||
+            endpoint.revision.kind !== "text" ||
+            endpoint.revision.content.state !== "available") {
+            return;
+        }
+        const bytes = bytesByRef.get(endpoint.revision.content.ref);
+        if (bytes === undefined) {
+            issues.push((0, errors_ts_1.recordAttachmentIssue)("record-attachment-materialized-invalid", [...path, "revision", "content"]));
+            return;
+        }
+        if (bytes.byteLength !== endpoint.revision.byteLength) {
+            issues.push((0, errors_ts_1.recordAttachmentIssue)("record-attachment-materialized-invalid", [...path, "revision", "byteLength"]));
+        }
+        if ((0, node_crypto_1.createHash)("sha256").update(bytes).digest("hex") !== endpoint.revision.sha256) {
+            issues.push((0, errors_ts_1.recordAttachmentIssue)("record-attachment-materialized-invalid", [...path, "revision", "sha256"]));
+        }
+    };
+    for (const [windowIndex, window] of payload.windows.entries()) {
+        for (const [changeIndex, change] of window.changes.entries()) {
+            const path = ["windows", String(windowIndex), "changes", String(changeIndex)];
+            validateEndpoint(change.before, [...path, "before"]);
+            validateEndpoint(change.after, [...path, "after"]);
+        }
+    }
+    return Object.freeze(issues);
+}
+const FileChangesBlobBudget = Object.freeze({
+    maximumBlobs: exports.FileChangesLimits.maximumBlobs,
+    maximumBlobBytes: exports.FileChangesLimits.maximumBlobBytes,
+    maximumTotalBytes: exports.FileChangesLimits.maximumTotalBlobBytes,
+});
+/** The sole current declaration for the Attempt-owned File Changes family. */
+exports.fileChangesRecordAttachment = (0, index_ts_1.defineRecordAttachment)({
+    family: "niceeval.file-changes",
+    current: {
+        schemaVersion: 1,
+        owners: {
+            attempt: {
+                schema: exports.FileChangesAttachmentSchema,
+                limits: FileChangesAttachmentValueLimits,
+                blobs: {
+                    refs: fileChangesBlobRefs,
+                    budget: FileChangesBlobBudget,
+                    verify: fileChangesAttachmentIntegrityIssues,
+                },
+            },
+        },
+    },
+});
+//# sourceMappingURL=file-changes.cjs.map

package/dist/record/family/file-changes.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-changes.js","sourceRoot":"","sources":["file-changes.ts"],"names":[],"mappings":";;;AAoFA,gFAuBC;AAgHD,kDAKC;AAED,oFAgCC;AAlQD,6CAAyC;AACzC,mCAAgC;AAChC,4DAAsH;AACtH,4DAAmE;AACnE,2DAAqF;AACrF,uDAA4F;AAC5F,qDAAgE;AAChE,2CAAqI;AACrI,uEAAuE;AAC1D,QAAA,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,cAAc,EAAE,GAAG;IACnB,uBAAuB,EAAE,KAAK;IAC9B,sBAAsB,EAAE,KAAK;IAC7B,wBAAwB,EAAE,IAAI,GAAG,IAAI;IACrC,YAAY,EAAE,KAAK;IACnB,gBAAgB,EAAE,IAAI,GAAG,IAAI;IAC7B,qBAAqB,EAAE,GAAG,GAAG,IAAI,GAAG,IAAI;IACxC,uBAAuB,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;IACzC,oBAAoB,EAAE,GAAG;IACzB,2BAA2B,EAAE,IAAI;CACpC,CAAC,CAAC;AACH,iFAAiF;AACjF,MAAM,gCAAgC,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,GAAG,sCAA0B;IAC7B,YAAY,EAAE,MAAM;CACvB,CAAC,CAAC;AACH,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;AAClC,SAAS,cAAc,CAAC,KAAa;IACjC,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC;AAC5C,CAAC;AACD,SAAS,gBAAgB,CAAC,MAAyB;IAC/C,IAAI,QAA4B,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAA,yCAAwB,EAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAChG,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,QAAQ,GAAG,KAAK,CAAC;IACrB,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AACD,SAAS,oBAAoB,CAAC,MAAkD;IAC5E,OAAO,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC,CAAC;AAC5E,CAAC;AACD,0FAA0F;AAC7E,QAAA,yBAAyB,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,2DAA2D,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;IAC1J,UAAU,EAAE,qBAAqB;IACjC,WAAW,EAAE,kCAAkC;CAClD,CAAC,CAAC,CAAC;AACJ,MAAM,4BAA4B,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,yBAAiB,CAAC,2BAA2B,EAAE;IACrJ,UAAU,EAAE,wBAAwB;IACpC,WAAW,EAAE,gEAAgE;CAChF,CAAC,CAAC,CAAC;AACJ,MAAM,8BAA8B,GAAG,eAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,yBAAiB,CAAC,oBAAoB,IAAI,gBAAgB,CAAC,MAAM,CAAC,EAAE;IAClM,UAAU,EAAE,0BAA0B;IACtC,WAAW,EAAE,gEAAgE;CAChF,CAAC,CAAC,CAAC;AACS,QAAA,4BAA4B,GAAG,eAAM,CAAC,MAAM,CAAC;IACtD,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,6BAA6B,CAAC;IACnD,MAAM,EAAE,eAAM,CAAC,MAAM,CAAC;QAClB,aAAa,EAAE,eAAM,CAAC,OAAO,CAAC,6CAA6C,CAAC;QAC5E,OAAO,EAAE,8BAA8B;QACvC,MAAM,EAAE,8BAA8B;KACzC,CAAC;CACL,CAAC,CAAC;AAEH,MAAM,4BAA4B,GAAG,eAAM,CAAC,OAAO,CAAC,YAAY,EAAE,QAAQ,EAAE,kBAAkB,EAAE,WAAW,CAAC,CAAC;AAChG,QAAA,qCAAqC,GAAG,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;IAC5E,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,qBAAqB,CAAC;IAC7D,KAAK,EAAE,4BAA4B;IACnC,UAAU,EAAE,eAAM,CAAC,MAAM,CAAC,iCAAyB,CAAC;CACvD,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC;IACd,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC;IAC9C,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,cAAc,EAAE,cAAc,EAAE,WAAW,CAAC;IACvF,cAAc,EAAE,qCAAyB;IACzC,UAAU,EAAE,eAAM,CAAC,MAAM,CAAC,iCAAyB,CAAC;CACvD,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC;IACd,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACzC,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC;IAC3C,cAAc,EAAE,qCAAyB;CAC5C,CAAC,CAAC,CAAC;AAEJ,sFAAsF;AACtF,SAAgB,kCAAkC,CAAC,UAA2C;IAC1F,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,gBAAgB,CAAC;QACtB,KAAK,qBAAqB;YACtB,OAAO;gBACH,UAAU,CAAC,IAAI;gBACf,UAAU,CAAC,KAAK;gBAChB,UAAU,CAAC,UAAU,IAAI,EAAE;aAC9B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrB,KAAK,wBAAwB;YACzB,OAAO;gBACH,UAAU,CAAC,IAAI;gBACf,UAAU,CAAC,MAAM;gBACjB,UAAU,CAAC,UAAU,IAAI,EAAE;gBAC3B,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC;aACpC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrB,KAAK,mBAAmB;YACpB,OAAO;gBACH,UAAU,CAAC,IAAI;gBACf,UAAU,CAAC,MAAM;gBACjB,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC;aACpC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzB,CAAC;AACL,CAAC;AACY,QAAA,gCAAgC,GAAG,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;IACvE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,UAAU,CAAC;IACjC,WAAW,EAAE,4BAAgB;CAChC,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC;IACd,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAChC,WAAW,EAAE,eAAM,CAAC,aAAa,CAAC,6CAAqC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,oBAAoB,EAAE;QAC9G,UAAU,EAAE,+BAA+B;QAC3C,WAAW,EAAE,+DAA+D;KAC/E,CAAC,CAAC;CACN,CAAC,CAAC,CAAC;AAES,QAAA,kBAAkB,GAAG,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;IACzD,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,MAAM,CAAC;IAC5B,MAAM,EAAE,mCAAkB;IAC1B,UAAU,EAAE,wCAA4B,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,yBAAiB,CAAC,wBAAwB,EAAE;QACxH,UAAU,EAAE,mCAAmC;QAC/C,WAAW,EAAE,8DAA8D;KAC9E,CAAC,CAAC;IACH,OAAO,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;QAChC,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,WAAW,CAAC;QAClC,GAAG,EAAE,iCAAmB;KAC3B,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC;QACd,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;QAChC,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC;KAC3C,CAAC,CAAC;CACN,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC;IACd,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC9B,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IAClD,UAAU,EAAE,wCAA4B;CAC3C,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC;IACd,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,aAAa,CAAC;IACnC,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,mBAAmB,EAAE,gBAAgB,EAAE,qBAAqB,CAAC;CACvF,CAAC,CAAC,CAAC;AAES,QAAA,kBAAkB,GAAG,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC;IAC7G,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAChC,QAAQ,EAAE,0BAAkB;CAC/B,CAAC,CAAC,CAAC;AAES,QAAA,gBAAgB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC1C,QAAQ,EAAE,mCAAkB;IAC5B,IAAI,EAAE,mDAAkC;IACxC,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,EAAE,SAAS,CAAC;IACtD,MAAM,EAAE,0BAAkB;IAC1B,KAAK,EAAE,0BAAkB;CAC5B,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE;IAC7B,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACV,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC;QAChF,KAAK,UAAU;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC;QACjF,KAAK,SAAS;YACV,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC;IACpF,CAAC;AACL,CAAC,EAAE;IACC,UAAU,EAAE,YAAY;IACxB,WAAW,EAAE,8DAA8D;CAC9E,CAAC,CAAC,CAAC;AAEJ,MAAM,8BAA8B,GAAG,eAAM,CAAC,KAAK,CAAC,wBAAgB,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,IAAI,yBAAiB,CAAC,uBAAuB;IAC7J,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE;IACxD,UAAU,EAAE,0BAA0B;IACtC,WAAW,EAAE,8DAA8D;CAC9E,CAAC,CAAC,CAAC;AACS,QAAA,uBAAuB,GAAG,eAAM,CAAC,MAAM,CAAC;IACjD,QAAQ,EAAE,iCAAyB;IACnC,QAAQ,EAAE,qCAAyB;IACnC,OAAO,EAAE,8BAA8B;CAC1C,CAAC,CAAC;AAEH,+FAA+F;AAClF,QAAA,2BAA2B,GAAG,eAAM,CAAC,MAAM,CAAC;IACrD,WAAW,EAAE,eAAM,CAAC,iBAAiB,CAAC,oCAA4B,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC5G,UAAU,EAAE,eAAM,CAAC,iBAAiB,CAAC,wCAAgC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC9G,OAAO,EAAE,eAAM,CAAC,iBAAiB,CAAC,eAAM,CAAC,KAAK,CAAC,+BAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;CAChH,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE;IAC9B,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,yBAAiB,CAAC,cAAc;QACzD,OAAO,KAAK,CAAC;IACjB,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,yBAAiB,CAAC,sBAAsB,EAAE,CAAC;QACzH,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,IAAI,MAAM,CAAC,QAAQ,IAAI,gBAAgB;YACnC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;YAC9B,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,KAAK,UAAU,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;YAC7E,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,gBAAgB,GAAG,MAAM,CAAC,QAAQ,CAAC;QACnC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC/B,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;gBAC9B,OAAO,KAAK,CAAC;YACjB,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACnC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC,EAAE;IACC,UAAU,EAAE,uBAAuB;IACnC,WAAW,EAAE,2EAA2E;CAC3F,CAAC,CAAC,CAAC;AAEJ,SAAS,gBAAgB,CAAC,QAAsB;IAC5C,OAAO,QAAQ,CAAC,KAAK,KAAK,SAAS;QAC/B,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM;QACjC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,KAAK,WAAW;QAC/C,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC;QACjC,CAAC,CAAC,EAAE,CAAC;AACb,CAAC;AACD,SAAgB,mBAAmB,CAAC,OAA8B;IAC9D,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QACxF,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;QAClC,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC;KACpC,CAAC,CAAC,CAAC,CAAC;AACT,CAAC;AACD,oFAAoF;AACpF,SAAgB,oCAAoC,CAAC,OAA8B,EAAE,KAGlF;IACC,MAAM,UAAU,GAAG,IAAI,GAAG,CAA4B,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAU,CAAC,CAAC,CAAC;IAC5G,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,MAAM,gBAAgB,GAAG,CAAC,QAAsB,EAAE,IAAuB,EAAQ,EAAE;QAC/E,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS;YAC5B,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM;YACjC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;YAClD,OAAO;QACX,CAAC;QACD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,IAAA,iCAAqB,EAAC,wCAAwC,EAAE,CAAC,GAAG,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;YAC/G,OAAO;QACX,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,KAAK,QAAQ,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;YACpD,MAAM,CAAC,IAAI,CAAC,IAAA,iCAAqB,EAAC,wCAAwC,EAAE,CAAC,GAAG,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;QACtH,CAAC;QACD,IAAI,IAAA,wBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;YAChF,MAAM,CAAC,IAAI,CAAC,IAAA,iCAAqB,EAAC,wCAAwC,EAAE,CAAC,GAAG,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QAClH,CAAC;IACL,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5D,KAAK,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YAC3D,MAAM,IAAI,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;YAC9E,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;YACrD,gBAAgB,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QACvD,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,YAAY,EAAE,yBAAiB,CAAC,YAAY;IAC5C,gBAAgB,EAAE,yBAAiB,CAAC,gBAAgB;IACpD,iBAAiB,EAAE,yBAAiB,CAAC,qBAAqB;CAC7D,CAAC,CAAC;AACH,8EAA8E;AACjE,QAAA,2BAA2B,GAAG,IAAA,iCAAsB,EAAC;IAC9D,MAAM,EAAE,uBAAuB;IAC/B,OAAO,EAAE;QACL,aAAa,EAAE,CAAC;QAChB,MAAM,EAAE;YACJ,OAAO,EAAE;gBACL,MAAM,EAAE,mCAA2B;gBACnC,MAAM,EAAE,gCAAgC;gBACxC,KAAK,EAAE;oBACH,IAAI,EAAE,mBAAmB;oBACzB,MAAM,EAAE,qBAAqB;oBAC7B,MAAM,EAAE,oCAAoC;iBAC/C;aACJ;SACJ;KACJ;CACJ,CAAC,CAAC","sourcesContent":["import { createHash } from \"node:crypto\";\nimport { Schema } from \"effect\";\nimport { CanonicalProjectRelativePathSchema, FileChangeIdSchema, Sha256DigestSchema, } from \"../codec/identifiers.ts\";\nimport { compareCanonicalIdentity } from \"../model/identifiers.ts\";\nimport { RecordBlobRefSchema, type RecordBlobRef, } from \"../attachment/blob-ref.ts\";\nimport { recordAttachmentIssue, type RecordAttachmentIssue } from \"../attachment/errors.ts\";\nimport { defineRecordAttachment } from \"../definition/index.ts\";\nimport { EmptyArraySchema, FixedAttachmentValueLimits, NonNegativeSafeIntegerSchema, PositiveSafeIntegerSchema, } from \"./common.ts\";\n/** Immutable per-Attempt budgets for the fixed File Changes family. */\nexport const FileChangesLimits = Object.freeze({\n    maximumWindows: 256,\n    maximumChangesPerWindow: 10000,\n    maximumRetainedChanges: 10000,\n    maximumTextRevisionBytes: 1024 * 1024,\n    maximumBlobs: 20000,\n    maximumBlobBytes: 1024 * 1024,\n    maximumTotalBlobBytes: 128 * 1024 * 1024,\n    maximumPayloadJsonBytes: 16 * 1024 * 1024,\n    maximumPolicyEntries: 256,\n    maximumPolicyEntryUtf8Bytes: 4096,\n});\n/** File Changes preserves more endpoint nodes than the shared owner envelope. */\nconst FileChangesAttachmentValueLimits = Object.freeze({\n    ...FixedAttachmentValueLimits,\n    maximumNodes: 500000,\n});\nconst encoder = new TextEncoder();\nfunction utf8ByteLength(value: string): number {\n    return encoder.encode(value).byteLength;\n}\nfunction canonicalStrings(values: readonly string[]): boolean {\n    let previous: string | undefined;\n    const seen = new Set<string>();\n    for (const value of values) {\n        if (seen.has(value) || (previous !== undefined && compareCanonicalIdentity(previous, value) >= 0)) {\n            return false;\n        }\n        seen.add(value);\n        previous = value;\n    }\n    return true;\n}\nfunction canonicalLimitations(values: readonly FileChangesCollectionLimitation[]): boolean {\n    return canonicalStrings(values.map(fileChangesCollectionLimitationKey));\n}\n/** A recorded send label is stable independently of its one-based attachment sequence. */\nexport const FileChangesWindowIdSchema = Schema.String.pipe(Schema.filter((value) => /^(?:turn[1-9][0-9]*|session[1-9][0-9]*\\/turn[1-9][0-9]*)$/.test(value), {\n    identifier: \"FileChangesWindowId\",\n    description: \"a canonical agent send-window id\",\n}));\nconst FileChangesPolicyEntrySchema = Schema.String.pipe(Schema.filter((value) => utf8ByteLength(value) <= FileChangesLimits.maximumPolicyEntryUtf8Bytes, {\n    identifier: \"FileChangesPolicyEntry\",\n    description: \"a File Changes include or ignore entry within its UTF-8 budget\",\n}));\nconst FileChangesPolicyEntriesSchema = Schema.Array(FileChangesPolicyEntrySchema).pipe(Schema.filter((values) => values.length <= FileChangesLimits.maximumPolicyEntries && canonicalStrings(values), {\n    identifier: \"FileChangesPolicyEntries\",\n    description: \"an ASCII-canonical, deduplicated bounded policy entry sequence\",\n}));\nexport const FileChangesAttributionSchema = Schema.Struct({\n    kind: Schema.Literal(\"agent-send-window-endpoints\"),\n    policy: Schema.Struct({\n        defaultPolicy: Schema.Literal(\"niceeval.sandbox-ledger/default-excludes/v1\"),\n        include: FileChangesPolicyEntriesSchema,\n        ignore: FileChangesPolicyEntriesSchema,\n    }),\n});\nexport type FileChangesAttribution = Schema.Schema.Type<typeof FileChangesAttributionSchema>;\nconst CaptureLimitationStageSchema = Schema.Literal(\"checkpoint\", \"export\", \"finalizer-export\", \"normalize\");\nexport const FileChangesCollectionLimitationSchema = Schema.Union(Schema.Struct({\n    code: Schema.Literal(\"capture-failed\", \"capture-interrupted\"),\n    stage: CaptureLimitationStageSchema,\n    atWindowId: Schema.NullOr(FileChangesWindowIdSchema),\n}), Schema.Struct({\n    code: Schema.Literal(\"collection-cap-reached\"),\n    target: Schema.Literal(\"window\", \"change\", \"content-blob\", \"content-byte\", \"json-byte\"),\n    omittedAtLeast: PositiveSafeIntegerSchema,\n    atWindowId: Schema.NullOr(FileChangesWindowIdSchema),\n}), Schema.Struct({\n    code: Schema.Literal(\"unsupported-input\"),\n    target: Schema.Literal(\"endpoint-metadata\"),\n    omittedAtLeast: PositiveSafeIntegerSchema,\n}));\nexport type FileChangesCollectionLimitation = Schema.Schema.Type<typeof FileChangesCollectionLimitationSchema>;\n/** Stable sort / dedupe key used by both the capture producer and durable decoder. */\nexport function fileChangesCollectionLimitationKey(limitation: FileChangesCollectionLimitation): string {\n    switch (limitation.code) {\n        case \"capture-failed\":\n        case \"capture-interrupted\":\n            return [\n                limitation.code,\n                limitation.stage,\n                limitation.atWindowId ?? \"\",\n            ].join(\"\\u0000\");\n        case \"collection-cap-reached\":\n            return [\n                limitation.code,\n                limitation.target,\n                limitation.atWindowId ?? \"\",\n                String(limitation.omittedAtLeast),\n            ].join(\"\\u0000\");\n        case \"unsupported-input\":\n            return [\n                limitation.code,\n                limitation.target,\n                String(limitation.omittedAtLeast),\n            ].join(\"\\u0000\");\n    }\n}\nexport const FileChangesCollectionStateSchema = Schema.Union(Schema.Struct({\n    state: Schema.Literal(\"complete\"),\n    limitations: EmptyArraySchema,\n}), Schema.Struct({\n    state: Schema.Literal(\"partial\"),\n    limitations: Schema.NonEmptyArray(FileChangesCollectionLimitationSchema).pipe(Schema.filter(canonicalLimitations, {\n        identifier: \"FileChangesPartialLimitations\",\n        description: \"a deterministic deduplicated File Changes limitation sequence\",\n    })),\n}));\nexport type FileChangesCollectionState = Schema.Schema.Type<typeof FileChangesCollectionStateSchema>;\nexport const FileRevisionSchema = Schema.Union(Schema.Struct({\n    kind: Schema.Literal(\"text\"),\n    sha256: Sha256DigestSchema,\n    byteLength: NonNegativeSafeIntegerSchema.pipe(Schema.filter((value) => value <= FileChangesLimits.maximumTextRevisionBytes, {\n        identifier: \"FileChangesTextRevisionByteLength\",\n        description: \"a retained text revision within the File Changes text budget\",\n    })),\n    content: Schema.Union(Schema.Struct({\n        state: Schema.Literal(\"available\"),\n        ref: RecordBlobRefSchema,\n    }), Schema.Struct({\n        state: Schema.Literal(\"omitted\"),\n        reason: Schema.Literal(\"collection-cap\"),\n    })),\n}), Schema.Struct({\n    kind: Schema.Literal(\"elided\"),\n    reason: Schema.Literal(\"binary\", \"oversized-text\"),\n    byteLength: NonNegativeSafeIntegerSchema,\n}), Schema.Struct({\n    kind: Schema.Literal(\"unavailable\"),\n    reason: Schema.Literal(\"unsupported-input\", \"capture-failed\", \"capture-interrupted\"),\n}));\nexport type FileRevision = Schema.Schema.Type<typeof FileRevisionSchema>;\nexport const FileEndpointSchema = Schema.Union(Schema.Struct({ state: Schema.Literal(\"absent\") }), Schema.Struct({\n    state: Schema.Literal(\"present\"),\n    revision: FileRevisionSchema,\n}));\nexport type FileEndpoint = Schema.Schema.Type<typeof FileEndpointSchema>;\nexport const FileChangeSchema = Schema.Struct({\n    changeId: FileChangeIdSchema,\n    path: CanonicalProjectRelativePathSchema,\n    kind: Schema.Literal(\"created\", \"modified\", \"deleted\"),\n    before: FileEndpointSchema,\n    after: FileEndpointSchema,\n}).pipe(Schema.filter((change) => {\n    switch (change.kind) {\n        case \"created\":\n            return change.before.state === \"absent\" && change.after.state === \"present\";\n        case \"modified\":\n            return change.before.state === \"present\" && change.after.state === \"present\";\n        case \"deleted\":\n            return change.before.state === \"present\" && change.after.state === \"absent\";\n    }\n}, {\n    identifier: \"FileChange\",\n    description: \"a coherent created, modified, or deleted endpoint transition\",\n}));\nexport type FileChange = Schema.Schema.Type<typeof FileChangeSchema>;\nconst FileChangesWindowChangesSchema = Schema.Array(FileChangeSchema).pipe(Schema.filter((changes) => changes.length <= FileChangesLimits.maximumChangesPerWindow &&\n    canonicalStrings(changes.map((change) => change.path)), {\n    identifier: \"FileChangesWindowChanges\",\n    description: \"a bounded ASCII-path-canonical unique window change sequence\",\n}));\nexport const FileChangesWindowSchema = Schema.Struct({\n    windowId: FileChangesWindowIdSchema,\n    sequence: PositiveSafeIntegerSchema,\n    changes: FileChangesWindowChangesSchema,\n});\nexport type FileChangesWindow = Schema.Schema.Type<typeof FileChangesWindowSchema>;\n/** Attempt-owned sandbox facts, preserving each send window rather than a net path summary. */\nexport const FileChangesAttachmentSchema = Schema.Struct({\n    attribution: Schema.propertySignature(FileChangesAttributionSchema).pipe(Schema.fromKey(\"attribution-data\")),\n    collection: Schema.propertySignature(FileChangesCollectionStateSchema).pipe(Schema.fromKey(\"collection-data\")),\n    windows: Schema.propertySignature(Schema.Array(FileChangesWindowSchema)).pipe(Schema.fromKey(\"windows-data\")),\n}).pipe(Schema.filter((payload) => {\n    if (payload.windows.length > FileChangesLimits.maximumWindows)\n        return false;\n    if (payload.windows.reduce((total, window) => total + window.changes.length, 0) > FileChangesLimits.maximumRetainedChanges) {\n        return false;\n    }\n    const windowIds = new Set<string>();\n    const changeIds = new Set<string>();\n    let previousSequence = 0;\n    for (const [index, window] of payload.windows.entries()) {\n        if (window.sequence <= previousSequence ||\n            windowIds.has(window.windowId) ||\n            (payload.collection.state === \"complete\" && window.sequence !== index + 1)) {\n            return false;\n        }\n        previousSequence = window.sequence;\n        windowIds.add(window.windowId);\n        for (const change of window.changes) {\n            if (changeIds.has(change.changeId))\n                return false;\n            changeIds.add(change.changeId);\n        }\n    }\n    return true;\n}, {\n    identifier: \"FileChangesAttachment\",\n    description: \"a bounded coherent send-window trajectory with globally unique change ids\",\n}));\nexport type FileChangesAttachment = Schema.Schema.Type<typeof FileChangesAttachmentSchema>;\nfunction endpointBlobRefs(endpoint: FileEndpoint): readonly RecordBlobRef[] {\n    return endpoint.state === \"present\" &&\n        endpoint.revision.kind === \"text\" &&\n        endpoint.revision.content.state === \"available\"\n        ? [endpoint.revision.content.ref]\n        : [];\n}\nexport function fileChangesBlobRefs(payload: FileChangesAttachment): readonly RecordBlobRef[] {\n    return Object.freeze(payload.windows.flatMap((window) => window.changes.flatMap((change) => [\n        ...endpointBlobRefs(change.before),\n        ...endpointBlobRefs(change.after),\n    ])));\n}\n/** Text revision metadata is meaningful only when its retained own blob matches. */\nexport function fileChangesAttachmentIntegrityIssues(payload: FileChangesAttachment, blobs: readonly {\n    readonly ref: RecordBlobRef;\n    readonly bytes: Uint8Array;\n}[]): readonly RecordAttachmentIssue[] {\n    const bytesByRef = new Map<RecordBlobRef, Uint8Array>(blobs.map((blob) => [blob.ref, blob.bytes] as const));\n    const issues: RecordAttachmentIssue[] = [];\n    const validateEndpoint = (endpoint: FileEndpoint, path: readonly string[]): void => {\n        if (endpoint.state !== \"present\" ||\n            endpoint.revision.kind !== \"text\" ||\n            endpoint.revision.content.state !== \"available\") {\n            return;\n        }\n        const bytes = bytesByRef.get(endpoint.revision.content.ref);\n        if (bytes === undefined) {\n            issues.push(recordAttachmentIssue(\"record-attachment-materialized-invalid\", [...path, \"revision\", \"content\"]));\n            return;\n        }\n        if (bytes.byteLength !== endpoint.revision.byteLength) {\n            issues.push(recordAttachmentIssue(\"record-attachment-materialized-invalid\", [...path, \"revision\", \"byteLength\"]));\n        }\n        if (createHash(\"sha256\").update(bytes).digest(\"hex\") !== endpoint.revision.sha256) {\n            issues.push(recordAttachmentIssue(\"record-attachment-materialized-invalid\", [...path, \"revision\", \"sha256\"]));\n        }\n    };\n    for (const [windowIndex, window] of payload.windows.entries()) {\n        for (const [changeIndex, change] of window.changes.entries()) {\n            const path = [\"windows\", String(windowIndex), \"changes\", String(changeIndex)];\n            validateEndpoint(change.before, [...path, \"before\"]);\n            validateEndpoint(change.after, [...path, \"after\"]);\n        }\n    }\n    return Object.freeze(issues);\n}\nconst FileChangesBlobBudget = Object.freeze({\n    maximumBlobs: FileChangesLimits.maximumBlobs,\n    maximumBlobBytes: FileChangesLimits.maximumBlobBytes,\n    maximumTotalBytes: FileChangesLimits.maximumTotalBlobBytes,\n});\n/** The sole current declaration for the Attempt-owned File Changes family. */\nexport const fileChangesRecordAttachment = defineRecordAttachment({\n    family: \"niceeval.file-changes\",\n    current: {\n        schemaVersion: 1,\n        owners: {\n            attempt: {\n                schema: FileChangesAttachmentSchema,\n                limits: FileChangesAttachmentValueLimits,\n                blobs: {\n                    refs: fileChangesBlobRefs,\n                    budget: FileChangesBlobBudget,\n                    verify: fileChangesAttachmentIntegrityIssues,\n                },\n            },\n        },\n    },\n});\n"]}