niceeval 0.13.3-canary.37 → 0.13.3

package/dist/record/codec/core.d.cts

@@ -27,7 +27,6 @@ export declare const RecordAttemptRefSchema: Schema.Struct<{
 }>;
 export declare const RecordDocumentSchema: Schema.Struct<{
     format: Schema.Schema<import("../model/identifiers.cjs").RecordFormat, "niceeval.record", never>;
-    schemaVersion: Schema.Schema<2, 2, never>;
     recordId: Schema.Schema<import("../model/identifiers.cjs").RecordId, string, never>;
 }>;
 export declare const RecordSlotIdentitySchema: Schema.Struct<{
@@ -135,7 +134,6 @@ export declare const RunCoreSchema: Schema.Struct<{
 export declare const RecordCoreSchema: Schema.filter<Schema.Struct<{
     record: Schema.Struct<{
         format: Schema.Schema<import("../model/identifiers.cjs").RecordFormat, "niceeval.record", never>;
-        schemaVersion: Schema.Schema<2, 2, never>;
         recordId: Schema.Schema<import("../model/identifiers.cjs").RecordId, string, never>;
     }>;
     runs: Schema.Array$<Schema.Struct<{

package/dist/record/codec/core.d.mts

@@ -27,7 +27,6 @@ export declare const RecordAttemptRefSchema: Schema.Struct<{
 }>;
 export declare const RecordDocumentSchema: Schema.Struct<{
     format: Schema.Schema<import("../model/identifiers.mjs").RecordFormat, "niceeval.record", never>;
-    schemaVersion: Schema.Schema<2, 2, never>;
     recordId: Schema.Schema<import("../model/identifiers.mjs").RecordId, string, never>;
 }>;
 export declare const RecordSlotIdentitySchema: Schema.Struct<{
@@ -135,7 +134,6 @@ export declare const RunCoreSchema: Schema.Struct<{
 export declare const RecordCoreSchema: Schema.filter<Schema.Struct<{
     record: Schema.Struct<{
         format: Schema.Schema<import("../model/identifiers.mjs").RecordFormat, "niceeval.record", never>;
-        schemaVersion: Schema.Schema<2, 2, never>;
         recordId: Schema.Schema<import("../model/identifiers.mjs").RecordId, string, never>;
     }>;
     runs: Schema.Array$<Schema.Struct<{

package/dist/record/codec/core.d.ts

@@ -27,7 +27,6 @@ export declare const RecordAttemptRefSchema: Schema.Struct<{
 }>;
 export declare const RecordDocumentSchema: Schema.Struct<{
     format: Schema.Schema<import("../model/identifiers.js").RecordFormat, "niceeval.record", never>;
-    schemaVersion: Schema.Schema<2, 2, never>;
     recordId: Schema.Schema<import("../model/identifiers.js").RecordId, string, never>;
 }>;
 export declare const RecordSlotIdentitySchema: Schema.Struct<{
@@ -135,7 +134,6 @@ export declare const RunCoreSchema: Schema.Struct<{
 export declare const RecordCoreSchema: Schema.filter<Schema.Struct<{
     record: Schema.Struct<{
         format: Schema.Schema<import("../model/identifiers.js").RecordFormat, "niceeval.record", never>;
-        schemaVersion: Schema.Schema<2, 2, never>;
         recordId: Schema.Schema<import("../model/identifiers.js").RecordId, string, never>;
     }>;
     runs: Schema.Array$<Schema.Struct<{

package/dist/record/codec/identifiers.cjs

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.RecordFormatSchema = exports.RecordSchemaVersionSchema = exports.RecordFormatIdSchema = exports.RecordAttachmentSchemaIdSchema = exports.RecordAttachmentNameSchema = exports.UtcMillisSchema = exports.CanonicalProjectRelativePathSchema = exports.ArtifactIdSchema = exports.FileChangeIdSchema = exports.SourceItemIdSchema = exports.Sha256DigestSchema = exports.ExecutionIdentityDigestSchema = exports.EvalIdSchema = exports.ExperimentIdSchema = exports.AttemptIdSchema = exports.SlotIdSchema = exports.RunIdSchema = exports.RecordIdSchema = void 0;
+exports.RecordFormatSchema = exports.RecordFormatIdSchema = exports.RecordAttachmentSchemaIdSchema = exports.RecordAttachmentNameSchema = exports.UtcMillisSchema = exports.CanonicalProjectRelativePathSchema = exports.ArtifactIdSchema = exports.FileChangeIdSchema = exports.SourceItemIdSchema = exports.Sha256DigestSchema = exports.ExecutionIdentityDigestSchema = exports.EvalIdSchema = exports.ExperimentIdSchema = exports.AttemptIdSchema = exports.SlotIdSchema = exports.RunIdSchema = exports.RecordIdSchema = void 0;
 const effect_1 = require("effect");
 const identifiers_ts_1 = require("../model/identifiers.cjs");
 const PortableSegmentTextSchema = effect_1.Schema.String.pipe(effect_1.Schema.filter(identifiers_ts_1.isPortableSegment, {
@@ -46,8 +46,7 @@ exports.RecordAttachmentSchemaIdSchema = effect_1.Schema.String.pipe(effect_1.Sc
 }), effect_1.Schema.brand(identifiers_ts_1.RECORD_ATTACHMENT_SCHEMA_ID_BRAND));
 exports.RecordFormatIdSchema = effect_1.Schema.String.pipe(effect_1.Schema.filter(identifiers_ts_1.isRecordFormatId, {
     identifier: "RecordFormatId",
-    description: "a niceeval.record/vN format identity",
+    description: "a fixed niceeval.record format identity",
 }), effect_1.Schema.brand(identifiers_ts_1.RECORD_FORMAT_ID_BRAND));
-exports.RecordSchemaVersionSchema = effect_1.Schema.Literal(identifiers_ts_1.RECORD_SCHEMA_VERSION);
 exports.RecordFormatSchema = effect_1.Schema.Literal(identifiers_ts_1.RECORD_FORMAT).pipe(effect_1.Schema.brand(identifiers_ts_1.RECORD_FORMAT_ID_BRAND));
 //# sourceMappingURL=identifiers.cjs.map

package/dist/record/codec/identifiers.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"identifiers.js","sourceRoot":"","sources":["identifiers.ts"],"names":[],"mappings":";;;AAAA,mCAAgC;AAChC,4DAAw9B;AACx9B,MAAM,yBAAyB,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,kCAAiB,EAAE;IAClF,UAAU,EAAE,uBAAuB;IACnC,WAAW,EAAE,sFAAsF;CACtG,CAAC,CAAC,CAAC;AACS,QAAA,cAAc,GAAoC,yBAAyB,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,gCAAe,CAAC,CAAC,CAAC;AAChH,QAAA,WAAW,GAAiC,yBAAyB,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,6BAAY,CAAC,CAAC,CAAC;AACvG,QAAA,YAAY,GAAkC,yBAAyB,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,8BAAa,CAAC,CAAC,CAAC;AAC1G,QAAA,eAAe,GAAqC,yBAAyB,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,iCAAgB,CAAC,CAAC,CAAC;AAChI,MAAM,0BAA0B,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,uCAAsB,EAAE;IACxF,UAAU,EAAE,sBAAsB;IAClC,WAAW,EAAE,uDAAuD;CACvE,CAAC,CAAC,CAAC;AACS,QAAA,kBAAkB,GAAwC,0BAA0B,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,oCAAmB,CAAC,CAAC,CAAC;AAC7H,QAAA,YAAY,GAAkC,0BAA0B,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,8BAAa,CAAC,CAAC,CAAC;AAC3G,QAAA,6BAA6B,GAAmD,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,+BAAc,EAAE;IAC1I,UAAU,EAAE,yBAAyB;IACrC,WAAW,EAAE,2DAA2D;CAC3E,CAAC,EAAE,eAAM,CAAC,KAAK,CAAC,gDAA+B,CAAC,CAAC,CAAC;AACtC,QAAA,kBAAkB,GAAwC,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,+BAAc,EAAE;IACpH,UAAU,EAAE,cAAc;IAC1B,WAAW,EAAE,wCAAwC;CACxD,CAAC,EAAE,eAAM,CAAC,KAAK,CAAC,oCAAmB,CAAC,CAAC,CAAC;AAC1B,QAAA,kBAAkB,GAAwC,yBAAyB,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,qCAAoB,CAAC,CAAC,CAAC;AAC7H,QAAA,kBAAkB,GAAwC,yBAAyB,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,qCAAoB,CAAC,CAAC,CAAC;AAC7H,QAAA,gBAAgB,GAAsC,yBAAyB,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,kCAAiB,CAAC,CAAC,CAAC;AACtH,QAAA,kCAAkC,GAAwD,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,+CAA8B,EAAE;IACpK,UAAU,EAAE,8BAA8B;IAC1C,WAAW,EAAE,8DAA8D;CAC9E,CAAC,EAAE,eAAM,CAAC,KAAK,CAAC,sDAAqC,CAAC,CAAC,CAAC;AAC5C,QAAA,eAAe,GAAqC,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,4BAAW,EAAE;IAC3G,UAAU,EAAE,WAAW;IACvB,WAAW,EAAE,uDAAuD;CACvE,CAAC,EAAE,eAAM,CAAC,KAAK,CAAC,iCAAgB,CAAC,CAAC,CAAC;AACvB,QAAA,0BAA0B,GAAgD,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,uCAAsB,EAAE;IAC5I,UAAU,EAAE,sBAAsB;IAClC,WAAW,EAAE,qDAAqD;CACrE,CAAC,EAAE,eAAM,CAAC,KAAK,CAAC,6CAA4B,CAAC,CAAC,CAAC;AACnC,QAAA,8BAA8B,GAAoD,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,2CAA0B,EAAE;IACxJ,UAAU,EAAE,0BAA0B;IACtC,WAAW,EAAE,yCAAyC;CACzD,CAAC,EAAE,eAAM,CAAC,KAAK,CAAC,kDAAiC,CAAC,CAAC,CAAC;AACxC,QAAA,oBAAoB,GAA0C,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,iCAAgB,EAAE;IAC1H,UAAU,EAAE,gBAAgB;IAC5B,WAAW,EAAE,sCAAsC;CACtD,CAAC,EAAE,eAAM,CAAC,KAAK,CAAC,uCAAsB,CAAC,CAAC,CAAC;AAC7B,QAAA,yBAAyB,GAAqE,eAAM,CAAC,OAAO,CAAC,sCAAqB,CAAC,CAAC;AACpI,QAAA,kBAAkB,GAAsD,eAAM,CAAC,OAAO,CAAC,8BAAa,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,uCAAsB,CAAC,CAAC,CAAC","sourcesContent":["import { Schema } from \"effect\";\nimport { ATTEMPT_ID_BRAND, ARTIFACT_ID_BRAND, CANONICAL_PROJECT_RELATIVE_PATH_BRAND, EVAL_ID_BRAND, EXECUTION_IDENTITY_DIGEST_BRAND, EXPERIMENT_ID_BRAND, FILE_CHANGE_ID_BRAND, isPortableSegment, isCanonicalProjectRelativePath, isRecordDomainIdentity, isRecordAttachmentName, isRecordAttachmentSchemaId, isRecordFormatId, isSha256Digest, isUtcMillis, RECORD_ATTACHMENT_NAME_BRAND, RECORD_ATTACHMENT_SCHEMA_ID_BRAND, RECORD_FORMAT, RECORD_FORMAT_ID_BRAND, RECORD_SCHEMA_VERSION, RECORD_ID_BRAND, RUN_ID_BRAND, SHA256_DIGEST_BRAND, SLOT_ID_BRAND, SOURCE_ITEM_ID_BRAND, UTC_MILLIS_BRAND, type AttemptId, type ArtifactId, type CanonicalProjectRelativePath, type EvalId, type ExecutionIdentityDigest, type ExperimentId, type FileChangeId, type RecordAttachmentName, type RecordAttachmentSchemaId, type RecordFormat, type RecordFormatId, type RecordId, type RecordSchemaVersion, type RunId, type Sha256Digest, type SlotId, type SourceItemId, type UtcMillis, } from \"../model/identifiers.ts\";\nconst PortableSegmentTextSchema = Schema.String.pipe(Schema.filter(isPortableSegment, {\n    identifier: \"RecordPortableSegment\",\n    description: \"an ASCII portable file-name segment without path separators or reserved device names\",\n}));\nexport const RecordIdSchema: Schema.Schema<RecordId, string> = PortableSegmentTextSchema.pipe(Schema.brand(RECORD_ID_BRAND));\nexport const RunIdSchema: Schema.Schema<RunId, string> = PortableSegmentTextSchema.pipe(Schema.brand(RUN_ID_BRAND));\nexport const SlotIdSchema: Schema.Schema<SlotId, string> = PortableSegmentTextSchema.pipe(Schema.brand(SLOT_ID_BRAND));\nexport const AttemptIdSchema: Schema.Schema<AttemptId, string> = PortableSegmentTextSchema.pipe(Schema.brand(ATTEMPT_ID_BRAND));\nconst RecordDomainIdentitySchema = Schema.String.pipe(Schema.filter(isRecordDomainIdentity, {\n    identifier: \"RecordDomainIdentity\",\n    description: \"a bounded durable identity without control characters\",\n}));\nexport const ExperimentIdSchema: Schema.Schema<ExperimentId, string> = RecordDomainIdentitySchema.pipe(Schema.brand(EXPERIMENT_ID_BRAND));\nexport const EvalIdSchema: Schema.Schema<EvalId, string> = RecordDomainIdentitySchema.pipe(Schema.brand(EVAL_ID_BRAND));\nexport const ExecutionIdentityDigestSchema: Schema.Schema<ExecutionIdentityDigest, string> = Schema.String.pipe(Schema.filter(isSha256Digest, {\n    identifier: \"ExecutionIdentityDigest\",\n    description: \"a lowercase hexadecimal SHA-256 execution identity digest\",\n}), Schema.brand(EXECUTION_IDENTITY_DIGEST_BRAND));\nexport const Sha256DigestSchema: Schema.Schema<Sha256Digest, string> = Schema.String.pipe(Schema.filter(isSha256Digest, {\n    identifier: \"Sha256Digest\",\n    description: \"a lowercase hexadecimal SHA-256 digest\",\n}), Schema.brand(SHA256_DIGEST_BRAND));\nexport const SourceItemIdSchema: Schema.Schema<SourceItemId, string> = PortableSegmentTextSchema.pipe(Schema.brand(SOURCE_ITEM_ID_BRAND));\nexport const FileChangeIdSchema: Schema.Schema<FileChangeId, string> = PortableSegmentTextSchema.pipe(Schema.brand(FILE_CHANGE_ID_BRAND));\nexport const ArtifactIdSchema: Schema.Schema<ArtifactId, string> = PortableSegmentTextSchema.pipe(Schema.brand(ARTIFACT_ID_BRAND));\nexport const CanonicalProjectRelativePathSchema: Schema.Schema<CanonicalProjectRelativePath, string> = Schema.String.pipe(Schema.filter(isCanonicalProjectRelativePath, {\n    identifier: \"CanonicalProjectRelativePath\",\n    description: \"a slash-separated project-relative path without dot segments\",\n}), Schema.brand(CANONICAL_PROJECT_RELATIVE_PATH_BRAND));\nexport const UtcMillisSchema: Schema.Schema<UtcMillis, number> = Schema.Number.pipe(Schema.filter(isUtcMillis, {\n    identifier: \"UtcMillis\",\n    description: \"a non-negative JSON-safe Unix-epoch millisecond value\",\n}), Schema.brand(UTC_MILLIS_BRAND));\nexport const RecordAttachmentNameSchema: Schema.Schema<RecordAttachmentName, string> = Schema.String.pipe(Schema.filter(isRecordAttachmentName, {\n    identifier: \"RecordAttachmentName\",\n    description: \"a lowercase reverse-domain portable Attachment name\",\n}), Schema.brand(RECORD_ATTACHMENT_NAME_BRAND));\nexport const RecordAttachmentSchemaIdSchema: Schema.Schema<RecordAttachmentSchemaId, string> = Schema.String.pipe(Schema.filter(isRecordAttachmentSchemaId, {\n    identifier: \"RecordAttachmentSchemaId\",\n    description: \"a RecordAttachment name followed by /vN\",\n}), Schema.brand(RECORD_ATTACHMENT_SCHEMA_ID_BRAND));\nexport const RecordFormatIdSchema: Schema.Schema<RecordFormatId, string> = Schema.String.pipe(Schema.filter(isRecordFormatId, {\n    identifier: \"RecordFormatId\",\n    description: \"a niceeval.record/vN format identity\",\n}), Schema.brand(RECORD_FORMAT_ID_BRAND));\nexport const RecordSchemaVersionSchema: Schema.Schema<RecordSchemaVersion, typeof RECORD_SCHEMA_VERSION> = Schema.Literal(RECORD_SCHEMA_VERSION);\nexport const RecordFormatSchema: Schema.Schema<RecordFormat, typeof RECORD_FORMAT> = Schema.Literal(RECORD_FORMAT).pipe(Schema.brand(RECORD_FORMAT_ID_BRAND));\n"]}
+{"version":3,"file":"identifiers.js","sourceRoot":"","sources":["identifiers.ts"],"names":[],"mappings":";;;AAAA,mCAAgC;AAChC,4DAAu6B;AACv6B,MAAM,yBAAyB,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,kCAAiB,EAAE;IAClF,UAAU,EAAE,uBAAuB;IACnC,WAAW,EAAE,sFAAsF;CACtG,CAAC,CAAC,CAAC;AACS,QAAA,cAAc,GAAoC,yBAAyB,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,gCAAe,CAAC,CAAC,CAAC;AAChH,QAAA,WAAW,GAAiC,yBAAyB,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,6BAAY,CAAC,CAAC,CAAC;AACvG,QAAA,YAAY,GAAkC,yBAAyB,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,8BAAa,CAAC,CAAC,CAAC;AAC1G,QAAA,eAAe,GAAqC,yBAAyB,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,iCAAgB,CAAC,CAAC,CAAC;AAChI,MAAM,0BAA0B,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,uCAAsB,EAAE;IACxF,UAAU,EAAE,sBAAsB;IAClC,WAAW,EAAE,uDAAuD;CACvE,CAAC,CAAC,CAAC;AACS,QAAA,kBAAkB,GAAwC,0BAA0B,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,oCAAmB,CAAC,CAAC,CAAC;AAC7H,QAAA,YAAY,GAAkC,0BAA0B,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,8BAAa,CAAC,CAAC,CAAC;AAC3G,QAAA,6BAA6B,GAAmD,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,+BAAc,EAAE;IAC1I,UAAU,EAAE,yBAAyB;IACrC,WAAW,EAAE,2DAA2D;CAC3E,CAAC,EAAE,eAAM,CAAC,KAAK,CAAC,gDAA+B,CAAC,CAAC,CAAC;AACtC,QAAA,kBAAkB,GAAwC,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,+BAAc,EAAE;IACpH,UAAU,EAAE,cAAc;IAC1B,WAAW,EAAE,wCAAwC;CACxD,CAAC,EAAE,eAAM,CAAC,KAAK,CAAC,oCAAmB,CAAC,CAAC,CAAC;AAC1B,QAAA,kBAAkB,GAAwC,yBAAyB,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,qCAAoB,CAAC,CAAC,CAAC;AAC7H,QAAA,kBAAkB,GAAwC,yBAAyB,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,qCAAoB,CAAC,CAAC,CAAC;AAC7H,QAAA,gBAAgB,GAAsC,yBAAyB,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,kCAAiB,CAAC,CAAC,CAAC;AACtH,QAAA,kCAAkC,GAAwD,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,+CAA8B,EAAE;IACpK,UAAU,EAAE,8BAA8B;IAC1C,WAAW,EAAE,8DAA8D;CAC9E,CAAC,EAAE,eAAM,CAAC,KAAK,CAAC,sDAAqC,CAAC,CAAC,CAAC;AAC5C,QAAA,eAAe,GAAqC,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,4BAAW,EAAE;IAC3G,UAAU,EAAE,WAAW;IACvB,WAAW,EAAE,uDAAuD;CACvE,CAAC,EAAE,eAAM,CAAC,KAAK,CAAC,iCAAgB,CAAC,CAAC,CAAC;AACvB,QAAA,0BAA0B,GAAgD,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,uCAAsB,EAAE;IAC5I,UAAU,EAAE,sBAAsB;IAClC,WAAW,EAAE,qDAAqD;CACrE,CAAC,EAAE,eAAM,CAAC,KAAK,CAAC,6CAA4B,CAAC,CAAC,CAAC;AACnC,QAAA,8BAA8B,GAAoD,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,2CAA0B,EAAE;IACxJ,UAAU,EAAE,0BAA0B;IACtC,WAAW,EAAE,yCAAyC;CACzD,CAAC,EAAE,eAAM,CAAC,KAAK,CAAC,kDAAiC,CAAC,CAAC,CAAC;AACxC,QAAA,oBAAoB,GAA0C,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,iCAAgB,EAAE;IAC1H,UAAU,EAAE,gBAAgB;IAC5B,WAAW,EAAE,yCAAyC;CACzD,CAAC,EAAE,eAAM,CAAC,KAAK,CAAC,uCAAsB,CAAC,CAAC,CAAC;AAC7B,QAAA,kBAAkB,GAAsD,eAAM,CAAC,OAAO,CAAC,8BAAa,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,uCAAsB,CAAC,CAAC,CAAC","sourcesContent":["import { Schema } from \"effect\";\nimport { ATTEMPT_ID_BRAND, ARTIFACT_ID_BRAND, CANONICAL_PROJECT_RELATIVE_PATH_BRAND, EVAL_ID_BRAND, EXECUTION_IDENTITY_DIGEST_BRAND, EXPERIMENT_ID_BRAND, FILE_CHANGE_ID_BRAND, isPortableSegment, isCanonicalProjectRelativePath, isRecordDomainIdentity, isRecordAttachmentName, isRecordAttachmentSchemaId, isRecordFormatId, isSha256Digest, isUtcMillis, RECORD_ATTACHMENT_NAME_BRAND, RECORD_ATTACHMENT_SCHEMA_ID_BRAND, RECORD_FORMAT, RECORD_FORMAT_ID_BRAND, RECORD_ID_BRAND, RUN_ID_BRAND, SHA256_DIGEST_BRAND, SLOT_ID_BRAND, SOURCE_ITEM_ID_BRAND, UTC_MILLIS_BRAND, type AttemptId, type ArtifactId, type CanonicalProjectRelativePath, type EvalId, type ExecutionIdentityDigest, type ExperimentId, type FileChangeId, type RecordAttachmentName, type RecordAttachmentSchemaId, type RecordFormat, type RecordFormatId, type RecordId, type RunId, type Sha256Digest, type SlotId, type SourceItemId, type UtcMillis, } from \"../model/identifiers.ts\";\nconst PortableSegmentTextSchema = Schema.String.pipe(Schema.filter(isPortableSegment, {\n    identifier: \"RecordPortableSegment\",\n    description: \"an ASCII portable file-name segment without path separators or reserved device names\",\n}));\nexport const RecordIdSchema: Schema.Schema<RecordId, string> = PortableSegmentTextSchema.pipe(Schema.brand(RECORD_ID_BRAND));\nexport const RunIdSchema: Schema.Schema<RunId, string> = PortableSegmentTextSchema.pipe(Schema.brand(RUN_ID_BRAND));\nexport const SlotIdSchema: Schema.Schema<SlotId, string> = PortableSegmentTextSchema.pipe(Schema.brand(SLOT_ID_BRAND));\nexport const AttemptIdSchema: Schema.Schema<AttemptId, string> = PortableSegmentTextSchema.pipe(Schema.brand(ATTEMPT_ID_BRAND));\nconst RecordDomainIdentitySchema = Schema.String.pipe(Schema.filter(isRecordDomainIdentity, {\n    identifier: \"RecordDomainIdentity\",\n    description: \"a bounded durable identity without control characters\",\n}));\nexport const ExperimentIdSchema: Schema.Schema<ExperimentId, string> = RecordDomainIdentitySchema.pipe(Schema.brand(EXPERIMENT_ID_BRAND));\nexport const EvalIdSchema: Schema.Schema<EvalId, string> = RecordDomainIdentitySchema.pipe(Schema.brand(EVAL_ID_BRAND));\nexport const ExecutionIdentityDigestSchema: Schema.Schema<ExecutionIdentityDigest, string> = Schema.String.pipe(Schema.filter(isSha256Digest, {\n    identifier: \"ExecutionIdentityDigest\",\n    description: \"a lowercase hexadecimal SHA-256 execution identity digest\",\n}), Schema.brand(EXECUTION_IDENTITY_DIGEST_BRAND));\nexport const Sha256DigestSchema: Schema.Schema<Sha256Digest, string> = Schema.String.pipe(Schema.filter(isSha256Digest, {\n    identifier: \"Sha256Digest\",\n    description: \"a lowercase hexadecimal SHA-256 digest\",\n}), Schema.brand(SHA256_DIGEST_BRAND));\nexport const SourceItemIdSchema: Schema.Schema<SourceItemId, string> = PortableSegmentTextSchema.pipe(Schema.brand(SOURCE_ITEM_ID_BRAND));\nexport const FileChangeIdSchema: Schema.Schema<FileChangeId, string> = PortableSegmentTextSchema.pipe(Schema.brand(FILE_CHANGE_ID_BRAND));\nexport const ArtifactIdSchema: Schema.Schema<ArtifactId, string> = PortableSegmentTextSchema.pipe(Schema.brand(ARTIFACT_ID_BRAND));\nexport const CanonicalProjectRelativePathSchema: Schema.Schema<CanonicalProjectRelativePath, string> = Schema.String.pipe(Schema.filter(isCanonicalProjectRelativePath, {\n    identifier: \"CanonicalProjectRelativePath\",\n    description: \"a slash-separated project-relative path without dot segments\",\n}), Schema.brand(CANONICAL_PROJECT_RELATIVE_PATH_BRAND));\nexport const UtcMillisSchema: Schema.Schema<UtcMillis, number> = Schema.Number.pipe(Schema.filter(isUtcMillis, {\n    identifier: \"UtcMillis\",\n    description: \"a non-negative JSON-safe Unix-epoch millisecond value\",\n}), Schema.brand(UTC_MILLIS_BRAND));\nexport const RecordAttachmentNameSchema: Schema.Schema<RecordAttachmentName, string> = Schema.String.pipe(Schema.filter(isRecordAttachmentName, {\n    identifier: \"RecordAttachmentName\",\n    description: \"a lowercase reverse-domain portable Attachment name\",\n}), Schema.brand(RECORD_ATTACHMENT_NAME_BRAND));\nexport const RecordAttachmentSchemaIdSchema: Schema.Schema<RecordAttachmentSchemaId, string> = Schema.String.pipe(Schema.filter(isRecordAttachmentSchemaId, {\n    identifier: \"RecordAttachmentSchemaId\",\n    description: \"a RecordAttachment name followed by /vN\",\n}), Schema.brand(RECORD_ATTACHMENT_SCHEMA_ID_BRAND));\nexport const RecordFormatIdSchema: Schema.Schema<RecordFormatId, string> = Schema.String.pipe(Schema.filter(isRecordFormatId, {\n    identifier: \"RecordFormatId\",\n    description: \"a fixed niceeval.record format identity\",\n}), Schema.brand(RECORD_FORMAT_ID_BRAND));\nexport const RecordFormatSchema: Schema.Schema<RecordFormat, typeof RECORD_FORMAT> = Schema.Literal(RECORD_FORMAT).pipe(Schema.brand(RECORD_FORMAT_ID_BRAND));\n"]}

package/dist/record/codec/identifiers.d.cts

@@ -1,5 +1,5 @@
 import { Schema } from "effect";
-import { RECORD_FORMAT, RECORD_SCHEMA_VERSION, type AttemptId, type ArtifactId, type CanonicalProjectRelativePath, type EvalId, type ExecutionIdentityDigest, type ExperimentId, type FileChangeId, type RecordAttachmentName, type RecordAttachmentSchemaId, type RecordFormat, type RecordFormatId, type RecordId, type RecordSchemaVersion, type RunId, type Sha256Digest, type SlotId, type SourceItemId, type UtcMillis } from "../model/identifiers.cjs";
+import { RECORD_FORMAT, type AttemptId, type ArtifactId, type CanonicalProjectRelativePath, type EvalId, type ExecutionIdentityDigest, type ExperimentId, type FileChangeId, type RecordAttachmentName, type RecordAttachmentSchemaId, type RecordFormat, type RecordFormatId, type RecordId, type RunId, type Sha256Digest, type SlotId, type SourceItemId, type UtcMillis } from "../model/identifiers.cjs";
 export declare const RecordIdSchema: Schema.Schema<RecordId, string>;
 export declare const RunIdSchema: Schema.Schema<RunId, string>;
 export declare const SlotIdSchema: Schema.Schema<SlotId, string>;
@@ -16,5 +16,4 @@ export declare const UtcMillisSchema: Schema.Schema<UtcMillis, number>;
 export declare const RecordAttachmentNameSchema: Schema.Schema<RecordAttachmentName, string>;
 export declare const RecordAttachmentSchemaIdSchema: Schema.Schema<RecordAttachmentSchemaId, string>;
 export declare const RecordFormatIdSchema: Schema.Schema<RecordFormatId, string>;
-export declare const RecordSchemaVersionSchema: Schema.Schema<RecordSchemaVersion, typeof RECORD_SCHEMA_VERSION>;
 export declare const RecordFormatSchema: Schema.Schema<RecordFormat, typeof RECORD_FORMAT>;

package/dist/record/codec/identifiers.d.mts

@@ -1,5 +1,5 @@
 import { Schema } from "effect";
-import { RECORD_FORMAT, RECORD_SCHEMA_VERSION, type AttemptId, type ArtifactId, type CanonicalProjectRelativePath, type EvalId, type ExecutionIdentityDigest, type ExperimentId, type FileChangeId, type RecordAttachmentName, type RecordAttachmentSchemaId, type RecordFormat, type RecordFormatId, type RecordId, type RecordSchemaVersion, type RunId, type Sha256Digest, type SlotId, type SourceItemId, type UtcMillis } from "../model/identifiers.mjs";
+import { RECORD_FORMAT, type AttemptId, type ArtifactId, type CanonicalProjectRelativePath, type EvalId, type ExecutionIdentityDigest, type ExperimentId, type FileChangeId, type RecordAttachmentName, type RecordAttachmentSchemaId, type RecordFormat, type RecordFormatId, type RecordId, type RunId, type Sha256Digest, type SlotId, type SourceItemId, type UtcMillis } from "../model/identifiers.mjs";
 export declare const RecordIdSchema: Schema.Schema<RecordId, string>;
 export declare const RunIdSchema: Schema.Schema<RunId, string>;
 export declare const SlotIdSchema: Schema.Schema<SlotId, string>;
@@ -16,5 +16,4 @@ export declare const UtcMillisSchema: Schema.Schema<UtcMillis, number>;
 export declare const RecordAttachmentNameSchema: Schema.Schema<RecordAttachmentName, string>;
 export declare const RecordAttachmentSchemaIdSchema: Schema.Schema<RecordAttachmentSchemaId, string>;
 export declare const RecordFormatIdSchema: Schema.Schema<RecordFormatId, string>;
-export declare const RecordSchemaVersionSchema: Schema.Schema<RecordSchemaVersion, typeof RECORD_SCHEMA_VERSION>;
 export declare const RecordFormatSchema: Schema.Schema<RecordFormat, typeof RECORD_FORMAT>;

package/dist/record/codec/identifiers.d.ts

@@ -1,5 +1,5 @@
 import { Schema } from "effect";
-import { RECORD_FORMAT, RECORD_SCHEMA_VERSION, type AttemptId, type ArtifactId, type CanonicalProjectRelativePath, type EvalId, type ExecutionIdentityDigest, type ExperimentId, type FileChangeId, type RecordAttachmentName, type RecordAttachmentSchemaId, type RecordFormat, type RecordFormatId, type RecordId, type RecordSchemaVersion, type RunId, type Sha256Digest, type SlotId, type SourceItemId, type UtcMillis } from "../model/identifiers.js";
+import { RECORD_FORMAT, type AttemptId, type ArtifactId, type CanonicalProjectRelativePath, type EvalId, type ExecutionIdentityDigest, type ExperimentId, type FileChangeId, type RecordAttachmentName, type RecordAttachmentSchemaId, type RecordFormat, type RecordFormatId, type RecordId, type RunId, type Sha256Digest, type SlotId, type SourceItemId, type UtcMillis } from "../model/identifiers.js";
 export declare const RecordIdSchema: Schema.Schema<RecordId, string>;
 export declare const RunIdSchema: Schema.Schema<RunId, string>;
 export declare const SlotIdSchema: Schema.Schema<SlotId, string>;
@@ -16,5 +16,4 @@ export declare const UtcMillisSchema: Schema.Schema<UtcMillis, number>;
 export declare const RecordAttachmentNameSchema: Schema.Schema<RecordAttachmentName, string>;
 export declare const RecordAttachmentSchemaIdSchema: Schema.Schema<RecordAttachmentSchemaId, string>;
 export declare const RecordFormatIdSchema: Schema.Schema<RecordFormatId, string>;
-export declare const RecordSchemaVersionSchema: Schema.Schema<RecordSchemaVersion, typeof RECORD_SCHEMA_VERSION>;
 export declare const RecordFormatSchema: Schema.Schema<RecordFormat, typeof RECORD_FORMAT>;

package/dist/record/codec/identifiers.js

@@ -25,16 +25,14 @@ const __niceevalExport10 = __niceevalCanonical["RecordFormatSchema"];
 export { __niceevalExport10 as RecordFormatSchema };
 const __niceevalExport11 = __niceevalCanonical["RecordIdSchema"];
 export { __niceevalExport11 as RecordIdSchema };
-const __niceevalExport12 = __niceevalCanonical["RecordSchemaVersionSchema"];
-export { __niceevalExport12 as RecordSchemaVersionSchema };
-const __niceevalExport13 = __niceevalCanonical["RunIdSchema"];
-export { __niceevalExport13 as RunIdSchema };
-const __niceevalExport14 = __niceevalCanonical["Sha256DigestSchema"];
-export { __niceevalExport14 as Sha256DigestSchema };
-const __niceevalExport15 = __niceevalCanonical["SlotIdSchema"];
-export { __niceevalExport15 as SlotIdSchema };
-const __niceevalExport16 = __niceevalCanonical["SourceItemIdSchema"];
-export { __niceevalExport16 as SourceItemIdSchema };
-const __niceevalExport17 = __niceevalCanonical["UtcMillisSchema"];
-export { __niceevalExport17 as UtcMillisSchema };
+const __niceevalExport12 = __niceevalCanonical["RunIdSchema"];
+export { __niceevalExport12 as RunIdSchema };
+const __niceevalExport13 = __niceevalCanonical["Sha256DigestSchema"];
+export { __niceevalExport13 as Sha256DigestSchema };
+const __niceevalExport14 = __niceevalCanonical["SlotIdSchema"];
+export { __niceevalExport14 as SlotIdSchema };
+const __niceevalExport15 = __niceevalCanonical["SourceItemIdSchema"];
+export { __niceevalExport15 as SourceItemIdSchema };
+const __niceevalExport16 = __niceevalCanonical["UtcMillisSchema"];
+export { __niceevalExport16 as UtcMillisSchema };
 //# sourceMappingURL=identifiers.js.map

package/dist/record/codec/index.js

@@ -43,48 +43,46 @@ const __niceevalExport19 = __niceevalCanonical["RecordFormatSchema"];
 export { __niceevalExport19 as RecordFormatSchema };
 const __niceevalExport20 = __niceevalCanonical["RecordIdSchema"];
 export { __niceevalExport20 as RecordIdSchema };
-const __niceevalExport21 = __niceevalCanonical["RecordSchemaVersionSchema"];
-export { __niceevalExport21 as RecordSchemaVersionSchema };
-const __niceevalExport22 = __niceevalCanonical["RecordSlotIdentitySchema"];
-export { __niceevalExport22 as RecordSlotIdentitySchema };
-const __niceevalExport23 = __niceevalCanonical["RunContextCurrentSchema"];
-export { __niceevalExport23 as RunContextCurrentSchema };
-const __niceevalExport24 = __niceevalCanonical["RunCoreSchema"];
-export { __niceevalExport24 as RunCoreSchema };
-const __niceevalExport25 = __niceevalCanonical["RunDocumentSchema"];
-export { __niceevalExport25 as RunDocumentSchema };
-const __niceevalExport26 = __niceevalCanonical["RunIdSchema"];
-export { __niceevalExport26 as RunIdSchema };
-const __niceevalExport27 = __niceevalCanonical["Sha256DigestSchema"];
-export { __niceevalExport27 as Sha256DigestSchema };
-const __niceevalExport28 = __niceevalCanonical["SlotIdSchema"];
-export { __niceevalExport28 as SlotIdSchema };
-const __niceevalExport29 = __niceevalCanonical["SourceItemIdSchema"];
-export { __niceevalExport29 as SourceItemIdSchema };
-const __niceevalExport30 = __niceevalCanonical["UtcMillisSchema"];
-export { __niceevalExport30 as UtcMillisSchema };
-const __niceevalExport31 = __niceevalCanonical["decodeAttemptDocument"];
-export { __niceevalExport31 as decodeAttemptDocument };
-const __niceevalExport32 = __niceevalCanonical["decodeMemberDocument"];
-export { __niceevalExport32 as decodeMemberDocument };
-const __niceevalExport33 = __niceevalCanonical["decodeRecordAttachmentEnvelope"];
-export { __niceevalExport33 as decodeRecordAttachmentEnvelope };
-const __niceevalExport34 = __niceevalCanonical["decodeRecordCore"];
-export { __niceevalExport34 as decodeRecordCore };
-const __niceevalExport35 = __niceevalCanonical["decodeRecordDocument"];
-export { __niceevalExport35 as decodeRecordDocument };
-const __niceevalExport36 = __niceevalCanonical["decodeRunDocument"];
-export { __niceevalExport36 as decodeRunDocument };
-const __niceevalExport37 = __niceevalCanonical["encodeAttemptDocument"];
-export { __niceevalExport37 as encodeAttemptDocument };
-const __niceevalExport38 = __niceevalCanonical["encodeMemberDocument"];
-export { __niceevalExport38 as encodeMemberDocument };
-const __niceevalExport39 = __niceevalCanonical["encodeRecordAttachmentEnvelope"];
-export { __niceevalExport39 as encodeRecordAttachmentEnvelope };
-const __niceevalExport40 = __niceevalCanonical["encodeRecordCore"];
-export { __niceevalExport40 as encodeRecordCore };
-const __niceevalExport41 = __niceevalCanonical["encodeRecordDocument"];
-export { __niceevalExport41 as encodeRecordDocument };
-const __niceevalExport42 = __niceevalCanonical["encodeRunDocument"];
-export { __niceevalExport42 as encodeRunDocument };
+const __niceevalExport21 = __niceevalCanonical["RecordSlotIdentitySchema"];
+export { __niceevalExport21 as RecordSlotIdentitySchema };
+const __niceevalExport22 = __niceevalCanonical["RunContextCurrentSchema"];
+export { __niceevalExport22 as RunContextCurrentSchema };
+const __niceevalExport23 = __niceevalCanonical["RunCoreSchema"];
+export { __niceevalExport23 as RunCoreSchema };
+const __niceevalExport24 = __niceevalCanonical["RunDocumentSchema"];
+export { __niceevalExport24 as RunDocumentSchema };
+const __niceevalExport25 = __niceevalCanonical["RunIdSchema"];
+export { __niceevalExport25 as RunIdSchema };
+const __niceevalExport26 = __niceevalCanonical["Sha256DigestSchema"];
+export { __niceevalExport26 as Sha256DigestSchema };
+const __niceevalExport27 = __niceevalCanonical["SlotIdSchema"];
+export { __niceevalExport27 as SlotIdSchema };
+const __niceevalExport28 = __niceevalCanonical["SourceItemIdSchema"];
+export { __niceevalExport28 as SourceItemIdSchema };
+const __niceevalExport29 = __niceevalCanonical["UtcMillisSchema"];
+export { __niceevalExport29 as UtcMillisSchema };
+const __niceevalExport30 = __niceevalCanonical["decodeAttemptDocument"];
+export { __niceevalExport30 as decodeAttemptDocument };
+const __niceevalExport31 = __niceevalCanonical["decodeMemberDocument"];
+export { __niceevalExport31 as decodeMemberDocument };
+const __niceevalExport32 = __niceevalCanonical["decodeRecordAttachmentEnvelope"];
+export { __niceevalExport32 as decodeRecordAttachmentEnvelope };
+const __niceevalExport33 = __niceevalCanonical["decodeRecordCore"];
+export { __niceevalExport33 as decodeRecordCore };
+const __niceevalExport34 = __niceevalCanonical["decodeRecordDocument"];
+export { __niceevalExport34 as decodeRecordDocument };
+const __niceevalExport35 = __niceevalCanonical["decodeRunDocument"];
+export { __niceevalExport35 as decodeRunDocument };
+const __niceevalExport36 = __niceevalCanonical["encodeAttemptDocument"];
+export { __niceevalExport36 as encodeAttemptDocument };
+const __niceevalExport37 = __niceevalCanonical["encodeMemberDocument"];
+export { __niceevalExport37 as encodeMemberDocument };
+const __niceevalExport38 = __niceevalCanonical["encodeRecordAttachmentEnvelope"];
+export { __niceevalExport38 as encodeRecordAttachmentEnvelope };
+const __niceevalExport39 = __niceevalCanonical["encodeRecordCore"];
+export { __niceevalExport39 as encodeRecordCore };
+const __niceevalExport40 = __niceevalCanonical["encodeRecordDocument"];
+export { __niceevalExport40 as encodeRecordDocument };
+const __niceevalExport41 = __niceevalCanonical["encodeRunDocument"];
+export { __niceevalExport41 as encodeRunDocument };
 //# sourceMappingURL=index.js.map

package/dist/record/definition/attachment.cjs

@@ -73,6 +73,7 @@ function defineRecordAttachment(input) {
             link.fromSchemaVersion <= 0 ||
             link.toSchemaVersion !== link.fromSchemaVersion + 1 ||
             link.toSchemaVersion > input.current.schemaVersion ||
+            typeof link.rewritePayload !== "boolean" ||
             migrationStarts.has(link.fromSchemaVersion)) {
             throw new TypeError("Record Attachment migration links must be unique adjacent upgrades to current history");
         }

package/dist/record/definition/attachment.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"attachment.js","sourceRoot":"","sources":["attachment.ts"],"names":[],"mappings":";;AAyGA,8EAEC;AAKD,wDAyDC;AAxKD,2DAAsG;AAGtG,uDAA+G;AAC/G,MAAM,qCAAqC,GAAkB,MAAM,CAAC,kDAAkD,CAAC,CAAC;AACxH,MAAM,cAAc,GAAG,IAAI,OAAO,EAAU,CAAC;AAyD7C,SAAS,WAAW,CAAC,KAAa;IAC9B,OAAO,iCAAiC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AACjF,CAAC;AACD,SAAS,eAAe,CAAC,KAAc;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAC3C,OAAO,KAAK,CAAC;IACjB,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,OAAO,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,iBAAiB,CAAC;SAC1E,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,GAAG,CAAC,CAAC,CAAC;AAChF,CAAC;AACD,SAAS,YAAY,CAAuF,MAAc,EAAE,aAAqB,EAAE,KAAY,EAAE,KAA+C;IAC5M,IAAI,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAC/B,KAAK,CAAC,KAAK,KAAK,IAAI;QACpB,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;QACtC,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;QACpC,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC3C,MAAM,IAAI,SAAS,CAAC,6DAA6D,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,KAAK,GAAG,IAAA,0CAAwB,EAAC;QACnC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE;YACL,MAAM,EAAE,iCAAmB;YAC3B,SAAS,EAAE,6BAAe;SAC7B;KACJ,CAAC,CAAC;IACH,MAAM,UAAU,GAA2F;QACvG,MAAM;QACN,aAAa;QACb,KAAK;QACL,KAAK;QACL,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI;QACtB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAChD,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;QAC1B,CAAC,qCAAqC,CAAC,EAAE,GAAG,EAAE,CAAC,SAAS;KAC3D,CAAC;IACF,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC/B,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AACrC,CAAC;AACD,uFAAuF;AACvF,SAAgB,iCAAiC,CAAC,KAAc;IAC5D,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACpF,CAAC;AACD;;;GAGG;AACH,SAAgB,sBAAsB,CAAgF,KAQrH;IACG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,SAAS,CAAC,wFAAwF,CAAC,CAAC;IAClH,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC;QACzF,MAAM,IAAI,SAAS,CAAC,iEAAiE,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QAC7E,MAAM,IAAI,SAAS,CAAC,uDAAuD,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,sBAAsB,GAAG,KAAK,CAAC,sBAAsB,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACjF,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,sBAAsB,EAAE,CAAC;QACxC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,iBAAiB,CAAC;YAC7C,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC;YAC3C,IAAI,CAAC,iBAAiB,IAAI,CAAC;YAC3B,IAAI,CAAC,eAAe,KAAK,IAAI,CAAC,iBAAiB,GAAG,CAAC;YACnD,IAAI,CAAC,eAAe,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa;YAClD,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC9C,MAAM,IAAI,SAAS,CAAC,uFAAuF,CAAC,CAAC;QACjH,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,sBAAsB,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACvE,MAAM,IAAI,SAAS,CAAC,6EAA6E,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,KAAK,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,SAAS,CAAC,2DAA2D,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAqC,CAAC;IACnE,MAAM,QAAQ,GAA4G,EAAE,CAAC;IAC7H,KAAK,MAAM,GAAG,IAAI,IAAwC,EAAE,CAAC;QACzD,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,SAAS,CAAC,+DAA+D,CAAC,CAAC;QACzF,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa;YAC1C,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAA6C;SAC9E,CAAC;QACF,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,sBAAsB,EAAE,MAAM,CAAC,MAAM,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;KAC1G,CAAC,CAAC;AACP,CAAC","sourcesContent":["import type { Schema } from \"effect\";\nimport { RecordBlobRefSchema, isRecordBlobRef, type RecordBlobRef, } from \"../attachment/blob-ref.ts\";\nimport type { RecordAttachmentBlobBudget, RecordAttachmentBlobRefs, RecordAttachmentMaterializedRefine, } from \"../attachment/blob-policy.ts\";\nimport type { RecordAttachmentOwner } from \"../model/core.ts\";\nimport { compileRecordSchemaCodec, type RecordSchemaCodec, type RecordSchemaLimits, } from \"./schema-codec.ts\";\nconst recordAttachmentOwnerDefinitionTypeId: unique symbol = Symbol(\"@niceeval/record/RecordAttachmentOwnerDefinition\");\nconst compiledOwners = new WeakSet<object>();\nexport type { RecordAttachmentOwner } from \"../model/core.ts\";\nexport interface RecordAttachmentOwnerInput<SourceSchema extends Schema.Schema.AnyNoContext = Schema.Schema.AnyNoContext> {\n    readonly schema: SourceSchema;\n    readonly limits: RecordSchemaLimits;\n    readonly blobs: Readonly<{\n        readonly refs: RecordAttachmentBlobRefs<Schema.Schema.Type<SourceSchema>>;\n        readonly budget: RecordAttachmentBlobBudget;\n        readonly verify: RecordAttachmentMaterializedRefine<Schema.Schema.Type<SourceSchema>>;\n    }>;\n}\nexport type RecordAttachmentOwnerInputs = Readonly<Partial<Record<RecordAttachmentOwner, RecordAttachmentOwnerInput<Schema.Schema.AnyNoContext>>>>;\n/** One owner compiled exactly once from a fixed family declaration. */\nexport interface RecordAttachmentOwnerDefinition<Owner extends RecordAttachmentOwner, Payload, SourceSchema extends Schema.Schema.AnyNoContext = Schema.Schema.AnyNoContext> {\n    readonly family: string;\n    readonly schemaVersion: number;\n    readonly owner: Owner;\n    readonly codec: RecordSchemaCodec<Payload, RecordBlobRef, SourceSchema>;\n    readonly refs: RecordAttachmentBlobRefs<Payload>;\n    readonly budget: RecordAttachmentBlobBudget;\n    readonly verify: RecordAttachmentMaterializedRefine<Payload>;\n    readonly [recordAttachmentOwnerDefinitionTypeId]: () => void;\n}\ntype OwnerDefinitionFor<Owner extends RecordAttachmentOwner, Input> = Input extends RecordAttachmentOwnerInput<infer SourceSchema> ? RecordAttachmentOwnerDefinition<Owner, Schema.Schema.Type<SourceSchema>, SourceSchema> : never;\nexport type RecordAttachmentOwnerDefinitions<Owners extends RecordAttachmentOwnerInputs> = Readonly<{\n    readonly [Owner in keyof Owners]: Owner extends RecordAttachmentOwner ? OwnerDefinitionFor<Owner, Owners[Owner]> : never;\n}>;\n/** Historical codecs stay opaque to the current import graph until maintenance asks for them. */\nexport interface RecordAttachmentHistoricalCodec {\n    readonly schemaVersion: number;\n    readonly decode: (input: unknown) => unknown;\n}\n/** Only adjacent, package-owned migrations may be declared for a fixed family. */\nexport interface RecordAttachmentAdjacentMigration {\n    readonly fromSchemaVersion: number;\n    readonly toSchemaVersion: number;\n    readonly migrate: (input: unknown) => unknown;\n}\n/** Eager metadata only: implementation remains behind `maintenance`. */\nexport interface RecordAttachmentAdjacentMigrationLink {\n    readonly fromSchemaVersion: number;\n    readonly toSchemaVersion: number;\n}\nexport interface RecordAttachmentMaintenanceFacet {\n    /** Historical codecs and adjacent migrations remain behind this lazy boundary. */\n    readonly historicalCodecs: readonly RecordAttachmentHistoricalCodec[];\n    readonly adjacentMigrations: readonly RecordAttachmentAdjacentMigration[];\n}\nexport interface RecordAttachmentDefinition<out Family extends string = string, Owners extends RecordAttachmentOwnerInputs = RecordAttachmentOwnerInputs> {\n    readonly family: Family;\n    readonly current: Readonly<{\n        readonly schemaVersion: number;\n        readonly owners: RecordAttachmentOwnerDefinitions<Owners>;\n    }>;\n    readonly maintenance: (() => Promise<RecordAttachmentMaintenanceFacet>) | undefined;\n    readonly adjacentMigrationLinks: readonly RecordAttachmentAdjacentMigrationLink[];\n}\nfunction validFamily(value: string): boolean {\n    return /^niceeval\\.[a-z0-9][a-z0-9.-]*$/.test(value) && !value.includes(\"/\");\n}\nfunction validBlobBudget(value: unknown): value is RecordAttachmentBlobBudget {\n    if (typeof value !== \"object\" || value === null)\n        return false;\n    const budget = value as Record<string, unknown>;\n    return [budget.maximumBlobs, budget.maximumBlobBytes, budget.maximumTotalBytes]\n        .every((limit) => Number.isSafeInteger(limit) && (limit as number) > 0);\n}\nfunction compileOwner<Owner extends RecordAttachmentOwner, SourceSchema extends Schema.Schema.AnyNoContext>(family: string, schemaVersion: number, owner: Owner, input: RecordAttachmentOwnerInput<SourceSchema>): RecordAttachmentOwnerDefinition<Owner, Schema.Schema.Type<SourceSchema>, SourceSchema> {\n    if (typeof input !== \"object\" ||\n        input === null ||\n        typeof input.blobs !== \"object\" ||\n        input.blobs === null ||\n        typeof input.blobs.refs !== \"function\" ||\n        !validBlobBudget(input.blobs.budget) ||\n        typeof input.blobs.verify !== \"function\") {\n        throw new TypeError(\"Record Attachment owners must declare a bounded blob policy\");\n    }\n    const codec = compileRecordSchemaCodec({\n        schema: input.schema,\n        limits: input.limits,\n        blobRef: {\n            schema: RecordBlobRefSchema,\n            isBlobRef: isRecordBlobRef,\n        },\n    });\n    const definition: RecordAttachmentOwnerDefinition<Owner, Schema.Schema.Type<SourceSchema>, SourceSchema> = {\n        family,\n        schemaVersion,\n        owner,\n        codec,\n        refs: input.blobs.refs,\n        budget: Object.freeze({ ...input.blobs.budget }),\n        verify: input.blobs.verify,\n        [recordAttachmentOwnerDefinitionTypeId]: () => undefined,\n    };\n    compiledOwners.add(definition);\n    return Object.freeze(definition);\n}\n/** @internal Runtime factories accept only owners minted by defineRecordAttachment. */\nexport function isRecordAttachmentOwnerDefinition(value: unknown): value is RecordAttachmentOwnerDefinition<RecordAttachmentOwner, unknown> {\n    return typeof value === \"object\" && value !== null && compiledOwners.has(value);\n}\n/**\n * NiceEval-only fixed-family declaration. It stores no registry and exposes no\n * plugin hook: the static catalog is assembled by package code alone.\n */\nexport function defineRecordAttachment<const Family extends string, const Owners extends RecordAttachmentOwnerInputs>(input: {\n    readonly family: Family;\n    readonly current: {\n        readonly schemaVersion: number;\n        readonly owners: Owners;\n    };\n    readonly maintenance?: () => Promise<RecordAttachmentMaintenanceFacet>;\n    readonly adjacentMigrationLinks?: readonly RecordAttachmentAdjacentMigrationLink[];\n}): RecordAttachmentDefinition<Family, Owners> {\n    if (!validFamily(input.family)) {\n        throw new TypeError(\"Record Attachment family must be a stable niceeval.* identity without a version suffix\");\n    }\n    if (!Number.isSafeInteger(input.current.schemaVersion) || input.current.schemaVersion <= 0) {\n        throw new TypeError(\"Record Attachment schemaVersion must be a positive safe integer\");\n    }\n    if (input.maintenance !== undefined && typeof input.maintenance !== \"function\") {\n        throw new TypeError(\"Record Attachment maintenance must be a lazy function\");\n    }\n    const adjacentMigrationLinks = input.adjacentMigrationLinks ?? Object.freeze([]);\n    const migrationStarts = new Set<number>();\n    for (const link of adjacentMigrationLinks) {\n        if (!Number.isSafeInteger(link.fromSchemaVersion) ||\n            !Number.isSafeInteger(link.toSchemaVersion) ||\n            link.fromSchemaVersion <= 0 ||\n            link.toSchemaVersion !== link.fromSchemaVersion + 1 ||\n            link.toSchemaVersion > input.current.schemaVersion ||\n            migrationStarts.has(link.fromSchemaVersion)) {\n            throw new TypeError(\"Record Attachment migration links must be unique adjacent upgrades to current history\");\n        }\n        migrationStarts.add(link.fromSchemaVersion);\n    }\n    if (adjacentMigrationLinks.length > 0 && input.maintenance === undefined) {\n        throw new TypeError(\"Record Attachment migration links require a lazy maintenance implementation\");\n    }\n    const keys = Reflect.ownKeys(input.current.owners);\n    if (keys.length === 0 ||\n        keys.some((key) => key !== \"attempt\" && key !== \"run\")) {\n        throw new TypeError(\"Record Attachment owners may contain only attempt and run\");\n    }\n    const owners = input.current.owners as RecordAttachmentOwnerInputs;\n    const compiled: Partial<Record<RecordAttachmentOwner, RecordAttachmentOwnerDefinition<RecordAttachmentOwner, unknown>>> = {};\n    for (const key of keys as readonly RecordAttachmentOwner[]) {\n        const ownerInput = owners[key];\n        if (ownerInput === undefined) {\n            throw new TypeError(\"Record Attachment owners must have one schema and blob policy\");\n        }\n        compiled[key] = compileOwner(input.family, input.current.schemaVersion, key, ownerInput);\n    }\n    return Object.freeze({\n        family: input.family,\n        current: Object.freeze({\n            schemaVersion: input.current.schemaVersion,\n            owners: Object.freeze(compiled) as RecordAttachmentOwnerDefinitions<Owners>,\n        }),\n        maintenance: input.maintenance,\n        adjacentMigrationLinks: Object.freeze(adjacentMigrationLinks.map((link) => Object.freeze({ ...link }))),\n    });\n}\n"]}
+{"version":3,"file":"attachment.js","sourceRoot":"","sources":["attachment.ts"],"names":[],"mappings":";;AAuHA,8EAEC;AAKD,wDA0DC;AAvLD,2DAAsG;AAGtG,uDAA+G;AAC/G,MAAM,qCAAqC,GAAkB,MAAM,CAAC,kDAAkD,CAAC,CAAC;AACxH,MAAM,cAAc,GAAG,IAAI,OAAO,EAAU,CAAC;AAuE7C,SAAS,WAAW,CAAC,KAAa;IAC9B,OAAO,iCAAiC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AACjF,CAAC;AACD,SAAS,eAAe,CAAC,KAAc;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAC3C,OAAO,KAAK,CAAC;IACjB,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,OAAO,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,iBAAiB,CAAC;SAC1E,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,GAAG,CAAC,CAAC,CAAC;AAChF,CAAC;AACD,SAAS,YAAY,CAAuF,MAAc,EAAE,aAAqB,EAAE,KAAY,EAAE,KAA+C;IAC5M,IAAI,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAC/B,KAAK,CAAC,KAAK,KAAK,IAAI;QACpB,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;QACtC,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;QACpC,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC3C,MAAM,IAAI,SAAS,CAAC,6DAA6D,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,KAAK,GAAG,IAAA,0CAAwB,EAAC;QACnC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE;YACL,MAAM,EAAE,iCAAmB;YAC3B,SAAS,EAAE,6BAAe;SAC7B;KACJ,CAAC,CAAC;IACH,MAAM,UAAU,GAA2F;QACvG,MAAM;QACN,aAAa;QACb,KAAK;QACL,KAAK;QACL,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI;QACtB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAChD,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;QAC1B,CAAC,qCAAqC,CAAC,EAAE,GAAG,EAAE,CAAC,SAAS;KAC3D,CAAC;IACF,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC/B,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AACrC,CAAC;AACD,uFAAuF;AACvF,SAAgB,iCAAiC,CAAC,KAAc;IAC5D,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACpF,CAAC;AACD;;;GAGG;AACH,SAAgB,sBAAsB,CAAgF,KAQrH;IACG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,SAAS,CAAC,wFAAwF,CAAC,CAAC;IAClH,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC;QACzF,MAAM,IAAI,SAAS,CAAC,iEAAiE,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QAC7E,MAAM,IAAI,SAAS,CAAC,uDAAuD,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,sBAAsB,GAAG,KAAK,CAAC,sBAAsB,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACjF,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,sBAAsB,EAAE,CAAC;QACxC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,iBAAiB,CAAC;YAC7C,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC;YAC3C,IAAI,CAAC,iBAAiB,IAAI,CAAC;YAC3B,IAAI,CAAC,eAAe,KAAK,IAAI,CAAC,iBAAiB,GAAG,CAAC;YACnD,IAAI,CAAC,eAAe,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa;YAClD,OAAO,IAAI,CAAC,cAAc,KAAK,SAAS;YACxC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC9C,MAAM,IAAI,SAAS,CAAC,uFAAuF,CAAC,CAAC;QACjH,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,sBAAsB,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACvE,MAAM,IAAI,SAAS,CAAC,6EAA6E,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,KAAK,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,SAAS,CAAC,2DAA2D,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAqC,CAAC;IACnE,MAAM,QAAQ,GAA4G,EAAE,CAAC;IAC7H,KAAK,MAAM,GAAG,IAAI,IAAwC,EAAE,CAAC;QACzD,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,SAAS,CAAC,+DAA+D,CAAC,CAAC;QACzF,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa;YAC1C,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAA6C;SAC9E,CAAC;QACF,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,sBAAsB,EAAE,MAAM,CAAC,MAAM,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;KAC1G,CAAC,CAAC;AACP,CAAC","sourcesContent":["import type { Schema } from \"effect\";\nimport { RecordBlobRefSchema, isRecordBlobRef, type RecordBlobRef, } from \"../attachment/blob-ref.ts\";\nimport type { RecordAttachmentBlobBudget, RecordAttachmentBlobRefs, RecordAttachmentMaterializedRefine, } from \"../attachment/blob-policy.ts\";\nimport type { RecordAttachmentOwner } from \"../model/core.ts\";\nimport { compileRecordSchemaCodec, type RecordSchemaCodec, type RecordSchemaLimits, } from \"./schema-codec.ts\";\nconst recordAttachmentOwnerDefinitionTypeId: unique symbol = Symbol(\"@niceeval/record/RecordAttachmentOwnerDefinition\");\nconst compiledOwners = new WeakSet<object>();\nexport type { RecordAttachmentOwner } from \"../model/core.ts\";\nexport interface RecordAttachmentOwnerInput<SourceSchema extends Schema.Schema.AnyNoContext = Schema.Schema.AnyNoContext> {\n    readonly schema: SourceSchema;\n    readonly limits: RecordSchemaLimits;\n    readonly blobs: Readonly<{\n        readonly refs: RecordAttachmentBlobRefs<Schema.Schema.Type<SourceSchema>>;\n        readonly budget: RecordAttachmentBlobBudget;\n        readonly verify: RecordAttachmentMaterializedRefine<Schema.Schema.Type<SourceSchema>>;\n    }>;\n}\nexport type RecordAttachmentOwnerInputs = Readonly<Partial<Record<RecordAttachmentOwner, RecordAttachmentOwnerInput<Schema.Schema.AnyNoContext>>>>;\n/** One owner compiled exactly once from a fixed family declaration. */\nexport interface RecordAttachmentOwnerDefinition<Owner extends RecordAttachmentOwner, Payload, SourceSchema extends Schema.Schema.AnyNoContext = Schema.Schema.AnyNoContext> {\n    readonly family: string;\n    readonly schemaVersion: number;\n    readonly owner: Owner;\n    readonly codec: RecordSchemaCodec<Payload, RecordBlobRef, SourceSchema>;\n    readonly refs: RecordAttachmentBlobRefs<Payload>;\n    readonly budget: RecordAttachmentBlobBudget;\n    readonly verify: RecordAttachmentMaterializedRefine<Payload>;\n    readonly [recordAttachmentOwnerDefinitionTypeId]: () => void;\n}\ntype OwnerDefinitionFor<Owner extends RecordAttachmentOwner, Input> = Input extends RecordAttachmentOwnerInput<infer SourceSchema> ? RecordAttachmentOwnerDefinition<Owner, Schema.Schema.Type<SourceSchema>, SourceSchema> : never;\nexport type RecordAttachmentOwnerDefinitions<Owners extends RecordAttachmentOwnerInputs> = Readonly<{\n    readonly [Owner in keyof Owners]: Owner extends RecordAttachmentOwner ? OwnerDefinitionFor<Owner, Owners[Owner]> : never;\n}>;\n/** Historical codecs stay opaque to the current import graph until maintenance asks for them. */\nexport interface RecordAttachmentHistoricalCodec {\n    readonly schemaVersion: number;\n    readonly decode: (input: unknown) => unknown;\n    /** Optional historical own-blob integrity check, run before a lossy transform. */\n    readonly verify?: (payload: unknown, blobs: readonly {\n        readonly ref: RecordBlobRef;\n        readonly bytes: Uint8Array;\n    }[]) => boolean;\n}\n/** Only adjacent, package-owned migrations may be declared for a fixed family. */\nexport interface RecordAttachmentAdjacentMigration {\n    readonly fromSchemaVersion: number;\n    readonly toSchemaVersion: number;\n    /** User-visible semantic impact shared by plan and receipt surfaces. */\n    readonly retention: RecordAttachmentMigrationRetention;\n    readonly migrate: (input: unknown) => unknown;\n}\nexport interface RecordAttachmentMigrationRetention {\n    readonly retainedFacts: readonly string[];\n    readonly droppedFacts: readonly string[];\n    readonly rerunRecommendation: string | null;\n}\n/** Eager metadata only: implementation remains behind `maintenance`. */\nexport interface RecordAttachmentAdjacentMigrationLink {\n    readonly fromSchemaVersion: number;\n    readonly toSchemaVersion: number;\n    /** Physical plan metadata shared by planning, execution, and interrupted recovery. */\n    readonly rewritePayload: boolean;\n}\nexport interface RecordAttachmentMaintenanceFacet {\n    /** Historical codecs and adjacent migrations remain behind this lazy boundary. */\n    readonly historicalCodecs: readonly RecordAttachmentHistoricalCodec[];\n    readonly adjacentMigrations: readonly RecordAttachmentAdjacentMigration[];\n}\nexport interface RecordAttachmentDefinition<out Family extends string = string, Owners extends RecordAttachmentOwnerInputs = RecordAttachmentOwnerInputs> {\n    readonly family: Family;\n    readonly current: Readonly<{\n        readonly schemaVersion: number;\n        readonly owners: RecordAttachmentOwnerDefinitions<Owners>;\n    }>;\n    readonly maintenance: (() => Promise<RecordAttachmentMaintenanceFacet>) | undefined;\n    readonly adjacentMigrationLinks: readonly RecordAttachmentAdjacentMigrationLink[];\n}\nfunction validFamily(value: string): boolean {\n    return /^niceeval\\.[a-z0-9][a-z0-9.-]*$/.test(value) && !value.includes(\"/\");\n}\nfunction validBlobBudget(value: unknown): value is RecordAttachmentBlobBudget {\n    if (typeof value !== \"object\" || value === null)\n        return false;\n    const budget = value as Record<string, unknown>;\n    return [budget.maximumBlobs, budget.maximumBlobBytes, budget.maximumTotalBytes]\n        .every((limit) => Number.isSafeInteger(limit) && (limit as number) > 0);\n}\nfunction compileOwner<Owner extends RecordAttachmentOwner, SourceSchema extends Schema.Schema.AnyNoContext>(family: string, schemaVersion: number, owner: Owner, input: RecordAttachmentOwnerInput<SourceSchema>): RecordAttachmentOwnerDefinition<Owner, Schema.Schema.Type<SourceSchema>, SourceSchema> {\n    if (typeof input !== \"object\" ||\n        input === null ||\n        typeof input.blobs !== \"object\" ||\n        input.blobs === null ||\n        typeof input.blobs.refs !== \"function\" ||\n        !validBlobBudget(input.blobs.budget) ||\n        typeof input.blobs.verify !== \"function\") {\n        throw new TypeError(\"Record Attachment owners must declare a bounded blob policy\");\n    }\n    const codec = compileRecordSchemaCodec({\n        schema: input.schema,\n        limits: input.limits,\n        blobRef: {\n            schema: RecordBlobRefSchema,\n            isBlobRef: isRecordBlobRef,\n        },\n    });\n    const definition: RecordAttachmentOwnerDefinition<Owner, Schema.Schema.Type<SourceSchema>, SourceSchema> = {\n        family,\n        schemaVersion,\n        owner,\n        codec,\n        refs: input.blobs.refs,\n        budget: Object.freeze({ ...input.blobs.budget }),\n        verify: input.blobs.verify,\n        [recordAttachmentOwnerDefinitionTypeId]: () => undefined,\n    };\n    compiledOwners.add(definition);\n    return Object.freeze(definition);\n}\n/** @internal Runtime factories accept only owners minted by defineRecordAttachment. */\nexport function isRecordAttachmentOwnerDefinition(value: unknown): value is RecordAttachmentOwnerDefinition<RecordAttachmentOwner, unknown> {\n    return typeof value === \"object\" && value !== null && compiledOwners.has(value);\n}\n/**\n * NiceEval-only fixed-family declaration. It stores no registry and exposes no\n * plugin hook: the static catalog is assembled by package code alone.\n */\nexport function defineRecordAttachment<const Family extends string, const Owners extends RecordAttachmentOwnerInputs>(input: {\n    readonly family: Family;\n    readonly current: {\n        readonly schemaVersion: number;\n        readonly owners: Owners;\n    };\n    readonly maintenance?: () => Promise<RecordAttachmentMaintenanceFacet>;\n    readonly adjacentMigrationLinks?: readonly RecordAttachmentAdjacentMigrationLink[];\n}): RecordAttachmentDefinition<Family, Owners> {\n    if (!validFamily(input.family)) {\n        throw new TypeError(\"Record Attachment family must be a stable niceeval.* identity without a version suffix\");\n    }\n    if (!Number.isSafeInteger(input.current.schemaVersion) || input.current.schemaVersion <= 0) {\n        throw new TypeError(\"Record Attachment schemaVersion must be a positive safe integer\");\n    }\n    if (input.maintenance !== undefined && typeof input.maintenance !== \"function\") {\n        throw new TypeError(\"Record Attachment maintenance must be a lazy function\");\n    }\n    const adjacentMigrationLinks = input.adjacentMigrationLinks ?? Object.freeze([]);\n    const migrationStarts = new Set<number>();\n    for (const link of adjacentMigrationLinks) {\n        if (!Number.isSafeInteger(link.fromSchemaVersion) ||\n            !Number.isSafeInteger(link.toSchemaVersion) ||\n            link.fromSchemaVersion <= 0 ||\n            link.toSchemaVersion !== link.fromSchemaVersion + 1 ||\n            link.toSchemaVersion > input.current.schemaVersion ||\n            typeof link.rewritePayload !== \"boolean\" ||\n            migrationStarts.has(link.fromSchemaVersion)) {\n            throw new TypeError(\"Record Attachment migration links must be unique adjacent upgrades to current history\");\n        }\n        migrationStarts.add(link.fromSchemaVersion);\n    }\n    if (adjacentMigrationLinks.length > 0 && input.maintenance === undefined) {\n        throw new TypeError(\"Record Attachment migration links require a lazy maintenance implementation\");\n    }\n    const keys = Reflect.ownKeys(input.current.owners);\n    if (keys.length === 0 ||\n        keys.some((key) => key !== \"attempt\" && key !== \"run\")) {\n        throw new TypeError(\"Record Attachment owners may contain only attempt and run\");\n    }\n    const owners = input.current.owners as RecordAttachmentOwnerInputs;\n    const compiled: Partial<Record<RecordAttachmentOwner, RecordAttachmentOwnerDefinition<RecordAttachmentOwner, unknown>>> = {};\n    for (const key of keys as readonly RecordAttachmentOwner[]) {\n        const ownerInput = owners[key];\n        if (ownerInput === undefined) {\n            throw new TypeError(\"Record Attachment owners must have one schema and blob policy\");\n        }\n        compiled[key] = compileOwner(input.family, input.current.schemaVersion, key, ownerInput);\n    }\n    return Object.freeze({\n        family: input.family,\n        current: Object.freeze({\n            schemaVersion: input.current.schemaVersion,\n            owners: Object.freeze(compiled) as RecordAttachmentOwnerDefinitions<Owners>,\n        }),\n        maintenance: input.maintenance,\n        adjacentMigrationLinks: Object.freeze(adjacentMigrationLinks.map((link) => Object.freeze({ ...link }))),\n    });\n}\n"]}

package/dist/record/definition/attachment.d.cts

@@ -34,17 +34,31 @@ export type RecordAttachmentOwnerDefinitions<Owners extends RecordAttachmentOwne
 export interface RecordAttachmentHistoricalCodec {
     readonly schemaVersion: number;
     readonly decode: (input: unknown) => unknown;
+    /** Optional historical own-blob integrity check, run before a lossy transform. */
+    readonly verify?: (payload: unknown, blobs: readonly {
+        readonly ref: RecordBlobRef;
+        readonly bytes: Uint8Array;
+    }[]) => boolean;
 }
 /** Only adjacent, package-owned migrations may be declared for a fixed family. */
 export interface RecordAttachmentAdjacentMigration {
     readonly fromSchemaVersion: number;
     readonly toSchemaVersion: number;
+    /** User-visible semantic impact shared by plan and receipt surfaces. */
+    readonly retention: RecordAttachmentMigrationRetention;
     readonly migrate: (input: unknown) => unknown;
 }
+export interface RecordAttachmentMigrationRetention {
+    readonly retainedFacts: readonly string[];
+    readonly droppedFacts: readonly string[];
+    readonly rerunRecommendation: string | null;
+}
 /** Eager metadata only: implementation remains behind `maintenance`. */
 export interface RecordAttachmentAdjacentMigrationLink {
     readonly fromSchemaVersion: number;
     readonly toSchemaVersion: number;
+    /** Physical plan metadata shared by planning, execution, and interrupted recovery. */
+    readonly rewritePayload: boolean;
 }
 export interface RecordAttachmentMaintenanceFacet {
     /** Historical codecs and adjacent migrations remain behind this lazy boundary. */

package/dist/record/definition/attachment.d.mts

@@ -34,17 +34,31 @@ export type RecordAttachmentOwnerDefinitions<Owners extends RecordAttachmentOwne
 export interface RecordAttachmentHistoricalCodec {
     readonly schemaVersion: number;
     readonly decode: (input: unknown) => unknown;
+    /** Optional historical own-blob integrity check, run before a lossy transform. */
+    readonly verify?: (payload: unknown, blobs: readonly {
+        readonly ref: RecordBlobRef;
+        readonly bytes: Uint8Array;
+    }[]) => boolean;
 }
 /** Only adjacent, package-owned migrations may be declared for a fixed family. */
 export interface RecordAttachmentAdjacentMigration {
     readonly fromSchemaVersion: number;
     readonly toSchemaVersion: number;
+    /** User-visible semantic impact shared by plan and receipt surfaces. */
+    readonly retention: RecordAttachmentMigrationRetention;
     readonly migrate: (input: unknown) => unknown;
 }
+export interface RecordAttachmentMigrationRetention {
+    readonly retainedFacts: readonly string[];
+    readonly droppedFacts: readonly string[];
+    readonly rerunRecommendation: string | null;
+}
 /** Eager metadata only: implementation remains behind `maintenance`. */
 export interface RecordAttachmentAdjacentMigrationLink {
     readonly fromSchemaVersion: number;
     readonly toSchemaVersion: number;
+    /** Physical plan metadata shared by planning, execution, and interrupted recovery. */
+    readonly rewritePayload: boolean;
 }
 export interface RecordAttachmentMaintenanceFacet {
     /** Historical codecs and adjacent migrations remain behind this lazy boundary. */

package/dist/record/definition/attachment.d.ts

@@ -34,17 +34,31 @@ export type RecordAttachmentOwnerDefinitions<Owners extends RecordAttachmentOwne
 export interface RecordAttachmentHistoricalCodec {
     readonly schemaVersion: number;
     readonly decode: (input: unknown) => unknown;
+    /** Optional historical own-blob integrity check, run before a lossy transform. */
+    readonly verify?: (payload: unknown, blobs: readonly {
+        readonly ref: RecordBlobRef;
+        readonly bytes: Uint8Array;
+    }[]) => boolean;
 }
 /** Only adjacent, package-owned migrations may be declared for a fixed family. */
 export interface RecordAttachmentAdjacentMigration {
     readonly fromSchemaVersion: number;
     readonly toSchemaVersion: number;
+    /** User-visible semantic impact shared by plan and receipt surfaces. */
+    readonly retention: RecordAttachmentMigrationRetention;
     readonly migrate: (input: unknown) => unknown;
 }
+export interface RecordAttachmentMigrationRetention {
+    readonly retainedFacts: readonly string[];
+    readonly droppedFacts: readonly string[];
+    readonly rerunRecommendation: string | null;
+}
 /** Eager metadata only: implementation remains behind `maintenance`. */
 export interface RecordAttachmentAdjacentMigrationLink {
     readonly fromSchemaVersion: number;
     readonly toSchemaVersion: number;
+    /** Physical plan metadata shared by planning, execution, and interrupted recovery. */
+    readonly rewritePayload: boolean;
 }
 export interface RecordAttachmentMaintenanceFacet {
     /** Historical codecs and adjacent migrations remain behind this lazy boundary. */

package/dist/record/family/assertions-v1.cjs

@@ -0,0 +1,104 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.assertionsV1Maintenance = void 0;
+const node_crypto_1 = require("node:crypto");
+const effect_1 = require("effect");
+const core_ts_1 = require("../codec/core.cjs");
+const assertions_ts_1 = require("./assertions.cjs");
+function parseAssertionsV1(value) {
+    const decoded = effect_1.Schema.decodeUnknownEither(assertions_ts_1.AssertionsAttachmentV1Schema, core_ts_1.RecordExactParseOptions)(value);
+    if (effect_1.Either.isLeft(decoded))
+        throw new Error("Assertions v1 payload is invalid");
+    return decoded.right;
+}
+function decodeAssertionsV1(value) {
+    parseAssertionsV1(value);
+    return value;
+}
+/** Pure adjacent payload transform. Record maintenance exclusively owns physical I/O. */
+function migrateAssertionsV1(value) {
+    const previous = parseAssertionsV1(value);
+    const migrated = Object.freeze({
+        "entries-data": Object.freeze(previous.entries.map((entry) => Object.freeze({
+            entryId: entry.entryId,
+            display: entry.display,
+            criterion: Object.freeze({ state: "unavailable", reason: "not-recorded" }),
+            materials: Object.freeze({
+                source: Object.freeze({ kind: "unavailable", reason: "not-recorded" }),
+                evidence: Object.freeze([]),
+                coverage: Object.freeze({ state: "unavailable", reason: "not-collected" }),
+                limitations: Object.freeze([]),
+            }),
+            evaluation: Object.freeze({
+                observed: Object.freeze({ kind: "unavailable", reason: "not-recorded" }),
+            }),
+            decision: Object.freeze({
+                result: entry.result.state,
+                reason: "reason" in entry.result ? entry.result.reason : null,
+                gate: entry.result.gate,
+            }),
+            policy: Object.freeze({
+                requirement: entry.result.gate === "not-gate"
+                    ? Object.freeze({ state: "unavailable", reason: "not-recorded" })
+                    : Object.freeze({ state: "available", value: "required" }),
+                condition: Object.freeze({ state: "unavailable", reason: "not-recorded" }),
+            }),
+            contribution: entry.result.score,
+            explanationRetention: Object.freeze({ state: "unavailable", reason: "not-recorded" }),
+        }))),
+        "source-sites-data": previous.sourceSites,
+    });
+    const decoded = effect_1.Schema.decodeUnknownEither(assertions_ts_1.AssertionsAttachmentSchema, core_ts_1.RecordExactParseOptions)(migrated);
+    if (effect_1.Either.isLeft(decoded)) {
+        throw new Error(`Assertions v1 migration did not produce a current payload: ${effect_1.ParseResult.TreeFormatter.formatErrorSync(decoded.left)}`);
+    }
+    return migrated;
+}
+exports.assertionsV1Maintenance = Object.freeze({
+    historicalCodecs: Object.freeze([
+        Object.freeze({
+            schemaVersion: 1,
+            decode: decodeAssertionsV1,
+            verify: (payload, blobs) => {
+                const previous = parseAssertionsV1(payload);
+                const byRef = new Map(blobs.map((blob) => [blob.ref, blob.bytes]));
+                const materials = previous.entries.flatMap((entry) => [entry.subject, ...entry.evidence]);
+                return materials.every((material) => {
+                    if (material.kind !== "blob")
+                        return true;
+                    const bytes = byRef.get(material.ref);
+                    return bytes !== undefined &&
+                        bytes.byteLength === material.byteLength &&
+                        (0, node_crypto_1.createHash)("sha256").update(bytes).digest("hex") === material.sha256;
+                });
+            },
+        }),
+    ]),
+    adjacentMigrations: Object.freeze([
+        Object.freeze({
+            fromSchemaVersion: 1,
+            toSchemaVersion: 2,
+            retention: Object.freeze({
+                retainedFacts: Object.freeze([
+                    "display",
+                    "decision",
+                    "provable-policy",
+                    "contribution",
+                    "source-sites",
+                ]),
+                droppedFacts: Object.freeze([
+                    "criterion",
+                    "subject",
+                    "evidence",
+                    "coverage",
+                    "limitations",
+                    "result.diagnostic",
+                    "result.receipt",
+                ]),
+                rerunRecommendation: "Rerun the affected evaluation to collect current assertion facts.",
+            }),
+            migrate: migrateAssertionsV1,
+        }),
+    ]),
+});
+//# sourceMappingURL=assertions-v1.cjs.map

package/dist/record/family/assertions-v1.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertions-v1.js","sourceRoot":"","sources":["assertions-v1.ts"],"names":[],"mappings":";;;AAAA,6CAAyC;AACzC,mCAAqD;AAErD,8CAA2D;AAE3D,mDAA2F;AAC3F,SAAS,iBAAiB,CAAC,KAAc;IACrC,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,4CAA4B,EAAE,iCAAuB,CAAC,CAAC,KAAK,CAAC,CAAC;IACzG,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACxD,OAAO,OAAO,CAAC,KAAK,CAAC;AACzB,CAAC;AACD,SAAS,kBAAkB,CAAC,KAAc;IACtC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC;AACjB,CAAC;AACD,yFAAyF;AACzF,SAAS,mBAAmB,CAAC,KAAc;IACvC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;QAC3B,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;YACxE,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,cAAuB,EAAE,CAAC;YAC5F,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;gBACrB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,aAAsB,EAAE,MAAM,EAAE,cAAuB,EAAE,CAAC;gBACxF,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,eAAwB,EAAE,CAAC;gBAC5F,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;aACjC,CAAC;YACF,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;gBACtB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,aAAsB,EAAE,MAAM,EAAE,cAAuB,EAAE,CAAC;aAC7F,CAAC;YACF,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;gBACpB,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK;gBAC1B,MAAM,EAAE,QAAQ,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;gBAC7D,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI;aAC1B,CAAC;YACF,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;gBAClB,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU;oBACzC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,cAAuB,EAAE,CAAC;oBACnF,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAoB,EAAE,KAAK,EAAE,UAAmB,EAAE,CAAC;gBAChF,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,cAAuB,EAAE,CAAC;aAC/F,CAAC;YACF,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK;YAChC,oBAAoB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,cAAuB,EAAE,CAAC;SAC1G,CAAC,CAAC,CAAC;QACJ,mBAAmB,EAAE,QAAQ,CAAC,WAAW;KAC5C,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,0CAA0B,EAAE,iCAAuB,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC1G,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,8DAA8D,oBAAW,CAAC,aAAa,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7I,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AACY,QAAA,uBAAuB,GAAqC,MAAM,CAAC,MAAM,CAAC;IACnF,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC;QAC5B,MAAM,CAAC,MAAM,CAAC;YACV,aAAa,EAAE,CAAC;YAChB,MAAM,EAAE,kBAAkB;YAC1B,MAAM,EAAE,CAAC,OAAgB,EAAE,KAGxB,EAAE,EAAE;gBACH,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;gBAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAU,CAAC,CAAC,CAAC;gBAC5E,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAC1F,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE;oBAChC,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;wBACxB,OAAO,IAAI,CAAC;oBAChB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;oBACtC,OAAO,KAAK,KAAK,SAAS;wBACtB,KAAK,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU;wBACxC,IAAA,wBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC;gBAC7E,CAAC,CAAC,CAAC;YACP,CAAC;SACJ,CAAC;KACL,CAAC;IACF,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC;QAC9B,MAAM,CAAC,MAAM,CAAC;YACV,iBAAiB,EAAE,CAAC;YACpB,eAAe,EAAE,CAAC;YAClB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;gBACrB,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC;oBACzB,SAAS;oBACT,UAAU;oBACV,iBAAiB;oBACjB,cAAc;oBACd,cAAc;iBACjB,CAAC;gBACF,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC;oBACxB,WAAW;oBACX,SAAS;oBACT,UAAU;oBACV,UAAU;oBACV,aAAa;oBACb,mBAAmB;oBACnB,gBAAgB;iBACnB,CAAC;gBACF,mBAAmB,EAAE,mEAAmE;aAC3F,CAAC;YACF,OAAO,EAAE,mBAAmB;SAC/B,CAAC;KACL,CAAC;CACL,CAAC,CAAC","sourcesContent":["import { createHash } from \"node:crypto\";\nimport { Either, ParseResult, Schema } from \"effect\";\nimport type { RecordBlobRef } from \"../attachment/blob-ref.ts\";\nimport { RecordExactParseOptions } from \"../codec/core.ts\";\nimport type { RecordAttachmentMaintenanceFacet } from \"../definition/attachment.ts\";\nimport { AssertionsAttachmentSchema, AssertionsAttachmentV1Schema } from \"./assertions.ts\";\nfunction parseAssertionsV1(value: unknown): Schema.Schema.Type<typeof AssertionsAttachmentV1Schema> {\n    const decoded = Schema.decodeUnknownEither(AssertionsAttachmentV1Schema, RecordExactParseOptions)(value);\n    if (Either.isLeft(decoded))\n        throw new Error(\"Assertions v1 payload is invalid\");\n    return decoded.right;\n}\nfunction decodeAssertionsV1(value: unknown): unknown {\n    parseAssertionsV1(value);\n    return value;\n}\n/** Pure adjacent payload transform. Record maintenance exclusively owns physical I/O. */\nfunction migrateAssertionsV1(value: unknown): unknown {\n    const previous = parseAssertionsV1(value);\n    const migrated = Object.freeze({\n        \"entries-data\": Object.freeze(previous.entries.map((entry) => Object.freeze({\n            entryId: entry.entryId,\n            display: entry.display,\n            criterion: Object.freeze({ state: \"unavailable\" as const, reason: \"not-recorded\" as const }),\n            materials: Object.freeze({\n                source: Object.freeze({ kind: \"unavailable\" as const, reason: \"not-recorded\" as const }),\n                evidence: Object.freeze([]),\n                coverage: Object.freeze({ state: \"unavailable\" as const, reason: \"not-collected\" as const }),\n                limitations: Object.freeze([]),\n            }),\n            evaluation: Object.freeze({\n                observed: Object.freeze({ kind: \"unavailable\" as const, reason: \"not-recorded\" as const }),\n            }),\n            decision: Object.freeze({\n                result: entry.result.state,\n                reason: \"reason\" in entry.result ? entry.result.reason : null,\n                gate: entry.result.gate,\n            }),\n            policy: Object.freeze({\n                requirement: entry.result.gate === \"not-gate\"\n                    ? Object.freeze({ state: \"unavailable\" as const, reason: \"not-recorded\" as const })\n                    : Object.freeze({ state: \"available\" as const, value: \"required\" as const }),\n                condition: Object.freeze({ state: \"unavailable\" as const, reason: \"not-recorded\" as const }),\n            }),\n            contribution: entry.result.score,\n            explanationRetention: Object.freeze({ state: \"unavailable\" as const, reason: \"not-recorded\" as const }),\n        }))),\n        \"source-sites-data\": previous.sourceSites,\n    });\n    const decoded = Schema.decodeUnknownEither(AssertionsAttachmentSchema, RecordExactParseOptions)(migrated);\n    if (Either.isLeft(decoded)) {\n        throw new Error(`Assertions v1 migration did not produce a current payload: ${ParseResult.TreeFormatter.formatErrorSync(decoded.left)}`);\n    }\n    return migrated;\n}\nexport const assertionsV1Maintenance: RecordAttachmentMaintenanceFacet = Object.freeze({\n    historicalCodecs: Object.freeze([\n        Object.freeze({\n            schemaVersion: 1,\n            decode: decodeAssertionsV1,\n            verify: (payload: unknown, blobs: readonly {\n                readonly ref: RecordBlobRef;\n                readonly bytes: Uint8Array;\n            }[]) => {\n                const previous = parseAssertionsV1(payload);\n                const byRef = new Map(blobs.map((blob) => [blob.ref, blob.bytes] as const));\n                const materials = previous.entries.flatMap((entry) => [entry.subject, ...entry.evidence]);\n                return materials.every((material) => {\n                    if (material.kind !== \"blob\")\n                        return true;\n                    const bytes = byRef.get(material.ref);\n                    return bytes !== undefined &&\n                        bytes.byteLength === material.byteLength &&\n                        createHash(\"sha256\").update(bytes).digest(\"hex\") === material.sha256;\n                });\n            },\n        }),\n    ]),\n    adjacentMigrations: Object.freeze([\n        Object.freeze({\n            fromSchemaVersion: 1,\n            toSchemaVersion: 2,\n            retention: Object.freeze({\n                retainedFacts: Object.freeze([\n                    \"display\",\n                    \"decision\",\n                    \"provable-policy\",\n                    \"contribution\",\n                    \"source-sites\",\n                ]),\n                droppedFacts: Object.freeze([\n                    \"criterion\",\n                    \"subject\",\n                    \"evidence\",\n                    \"coverage\",\n                    \"limitations\",\n                    \"result.diagnostic\",\n                    \"result.receipt\",\n                ]),\n                rerunRecommendation: \"Rerun the affected evaluation to collect current assertion facts.\",\n            }),\n            migrate: migrateAssertionsV1,\n        }),\n    ]),\n});\n"]}

package/dist/record/family/assertions-v1.d.cts

@@ -0,0 +1,2 @@
+import type { RecordAttachmentMaintenanceFacet } from "../definition/attachment.cjs";
+export declare const assertionsV1Maintenance: RecordAttachmentMaintenanceFacet;

package/dist/record/family/assertions-v1.d.mts

@@ -0,0 +1,2 @@
+import type { RecordAttachmentMaintenanceFacet } from "../definition/attachment.mjs";
+export declare const assertionsV1Maintenance: RecordAttachmentMaintenanceFacet;

package/dist/record/family/assertions-v1.d.ts

@@ -0,0 +1,2 @@
+import type { RecordAttachmentMaintenanceFacet } from "../definition/attachment.js";
+export declare const assertionsV1Maintenance: RecordAttachmentMaintenanceFacet;

package/dist/record/family/assertions-v1.js

@@ -0,0 +1,6 @@
+import { createRequire as __niceevalCreateRequire } from "node:module";
+const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
+const __niceevalCanonical = __niceevalRequire("./assertions-v1.cjs");
+const __niceevalExport0 = __niceevalCanonical["assertionsV1Maintenance"];
+export { __niceevalExport0 as assertionsV1Maintenance };
+//# sourceMappingURL=assertions-v1.js.map

package/dist/record/family/assertions-v1.js.map

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