niceeval 0.12.2-canary.31 → 0.13.1

package/dist/eval/record/membership-provenance.cjs

@@ -1,213 +1,80 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.membershipProvenanceProjector = exports.membershipProvenanceAttachmentFamilyV1 = exports.membershipProvenanceAttachmentDefinitionV1 = exports.MembershipProvenancePayloadV1Schema = exports.MembershipEffectiveOptionsV1Schema = exports.MembershipActionV1Schema = exports.MembershipGapV1Schema = exports.ExecutionGapScopeV1Schema = exports.ExecutionGapReasonV1Schema = exports.ComparisonProvenanceV1Schema = exports.ComparisonResultV1Schema = exports.ComparisonSourceStateV1Schema = exports.RecordedAttemptClaimV1Schema = exports.ComparisonAttachmentV1Schema = exports.MembershipAttemptOriginV1Schema = exports.MembershipSourceBarrierV1Schema = exports.MembershipPolicyIdentityV1Schema = exports.MEMBERSHIP_POLICY_NAME_MAXIMUM_LENGTH_V1 = exports.MEMBERSHIP_PROVENANCE_ATTACHMENT_SCHEMA_ID_V1 = exports.MEMBERSHIP_PROVENANCE_ATTACHMENT_NAME_V1 = void 0;
-exports.validateMembershipProvenancePayloadV1 = validateMembershipProvenancePayloadV1;
-exports.decodeMembershipProvenancePayloadV1 = decodeMembershipProvenancePayloadV1;
-exports.buildMembershipProvenancePayloadV1 = buildMembershipProvenancePayloadV1;
-exports.buildMembershipProvenanceAttachmentWriteV1 = buildMembershipProvenanceAttachmentWriteV1;
-exports.readMembershipProvenanceAttachmentV1 = readMembershipProvenanceAttachmentV1;
-exports.projectMembershipProvenancePayloadV1 = projectMembershipProvenancePayloadV1;
-exports.projectMembershipProvenanceAttachmentV1 = projectMembershipProvenanceAttachmentV1;
+exports.MembershipProvenancePayloadSchema = exports.MembershipEffectiveOptionsSchema = exports.MembershipActionSchema = exports.MembershipGapSchema = exports.ExecutionGapScopeSchema = exports.ExecutionGapReasonSchema = exports.ComparisonProvenanceSchema = exports.ComparisonResultSchema = exports.ComparisonSourceStateSchema = exports.RecordedAttemptClaimSchema = exports.ComparisonAttachmentSchema = exports.MembershipAttemptOriginSchema = exports.MembershipSourceBarrierSchema = exports.MembershipPolicyIdentitySchema = exports.MEMBERSHIP_POLICY_NAME_MAXIMUM_LENGTH = void 0;
+exports.validateMembershipProvenancePayload = validateMembershipProvenancePayload;
+exports.buildMembershipProvenancePayload = buildMembershipProvenancePayload;
 const effect_1 = require("effect");
-const index_ts_1 = require("../../record/attachment/index.cjs");
-const internal_ts_1 = require("../../record/attachment/internal.cjs");
-const record_errors_ts_1 = require("../../record/errors/record-errors.cjs");
 const identifiers_ts_1 = require("../../record/codec/identifiers.cjs");
-const projector_ts_1 = require("../../projection/projector.cjs");
+const record_errors_ts_1 = require("../../record/errors/record-errors.cjs");
 const json_value_ts_1 = require("../../shared/json-value.cjs");
 const attachment_ts_1 = require("./attachment.cjs");
-exports.MEMBERSHIP_PROVENANCE_ATTACHMENT_NAME_V1 = "niceeval.membership-provenance";
-exports.MEMBERSHIP_PROVENANCE_ATTACHMENT_SCHEMA_ID_V1 = "niceeval.membership-provenance/v1";
-exports.MEMBERSHIP_POLICY_NAME_MAXIMUM_LENGTH_V1 = 255;
-const MembershipPolicyNameV1Schema = effect_1.Schema.String.pipe(effect_1.Schema.filter((value) => value.length > 0 && value.length <= exports.MEMBERSHIP_POLICY_NAME_MAXIMUM_LENGTH_V1, {
-    identifier: "MembershipPolicyNameV1",
-    description: "a non-empty policy name no longer than 255 code units",
-}));
-/** A policy identity is historical explanation, never a future reuse grant. */
-exports.MembershipPolicyIdentityV1Schema = effect_1.Schema.Struct({
-    name: MembershipPolicyNameV1Schema,
-    version: attachment_ts_1.FiniteNonNegativeNumberV1Schema.pipe(effect_1.Schema.int(), effect_1.Schema.positive()),
-});
-/** A source Run selected by a policy's historical barrier. */
-exports.MembershipSourceBarrierV1Schema = effect_1.Schema.Struct({
-    runId: identifiers_ts_1.RunIdSchema,
-    startedAt: identifiers_ts_1.UtcMillisSchema,
+/**
+ * These are transient policy explanations. Published member action and exact
+ * Attempt reference are Core documents, so provenance never creates a sixth
+ * Record family.
+ */
+exports.MEMBERSHIP_POLICY_NAME_MAXIMUM_LENGTH = 255;
+const PolicyName = effect_1.Schema.String.pipe(effect_1.Schema.filter((value) => value.length > 0 && value.length <= exports.MEMBERSHIP_POLICY_NAME_MAXIMUM_LENGTH));
+exports.MembershipPolicyIdentitySchema = effect_1.Schema.Struct({
+    name: PolicyName,
+    version: attachment_ts_1.FiniteNonNegativeNumberSchema.pipe(effect_1.Schema.int(), effect_1.Schema.positive()),
 });
-/** The immutable origin slot of an Attempt adopted by a reference Member. */
-exports.MembershipAttemptOriginV1Schema = effect_1.Schema.Struct({
-    runId: identifiers_ts_1.RunIdSchema,
-    slotId: identifiers_ts_1.SlotIdSchema,
-});
-exports.ComparisonAttachmentV1Schema = effect_1.Schema.Literal("niceeval.eligibility/v1", "niceeval.verdict/v1");
-exports.RecordedAttemptClaimV1Schema = effect_1.Schema.Literal("reuse-contract", "verdict-state", "input-identity", "config-identity", "execution-duration");
-exports.ComparisonSourceStateV1Schema = effect_1.Schema.Literal("available", "unavailable", "migration-required", "migration-unavailable", "unsupported", "invalid");
-exports.ComparisonResultV1Schema = effect_1.Schema.Literal("match", "mismatch", "ineligible", "not-comparable");
-/** One durable explanation of a claim compared by a named policy. */
-exports.ComparisonProvenanceV1Schema = effect_1.Schema.Struct({
-    attachment: exports.ComparisonAttachmentV1Schema,
-    recordedClaim: exports.RecordedAttemptClaimV1Schema,
-    sourceState: exports.ComparisonSourceStateV1Schema,
-    result: exports.ComparisonResultV1Schema,
+exports.MembershipSourceBarrierSchema = effect_1.Schema.Struct({ runId: identifiers_ts_1.RunIdSchema, startedAt: identifiers_ts_1.UtcMillisSchema });
+exports.MembershipAttemptOriginSchema = effect_1.Schema.Struct({ runId: identifiers_ts_1.RunIdSchema, slotId: identifiers_ts_1.SlotIdSchema });
+exports.ComparisonAttachmentSchema = effect_1.Schema.Literal("core", "niceeval.assertions", "niceeval.observability");
+exports.RecordedAttemptClaimSchema = effect_1.Schema.Literal("execution-identity", "attempt-outcome", "assertion-verdict", "execution-duration");
+exports.ComparisonSourceStateSchema = effect_1.Schema.Literal("available", "unavailable", "unsupported", "invalid");
+exports.ComparisonResultSchema = effect_1.Schema.Literal("match", "mismatch", "ineligible", "not-comparable");
+exports.ComparisonProvenanceSchema = effect_1.Schema.Struct({
+    attachment: exports.ComparisonAttachmentSchema,
+    recordedClaim: exports.RecordedAttemptClaimSchema,
+    sourceState: exports.ComparisonSourceStateSchema,
+    result: exports.ComparisonResultSchema,
     reason: effect_1.Schema.String,
 });
-/** Stable gaps produced by the project-target/v1 policy. */
-exports.ExecutionGapReasonV1Schema = effect_1.Schema.Literal("no-source-run", "source-slot-missing", "source-member-missing", "source-core-invalid", "source-attachment-unavailable", "source-attachment-migration-required", "source-attachment-migration-unavailable", "source-attachment-unsupported", "source-attachment-invalid", "reuse-contract-domain-mismatch", "reuse-contract-mismatch", "verdict-ineligible", "identity-mismatch", "identity-domain-mismatch", "duration-domain-mismatch", "timeout-exceeded", "rerun-requested", "sandbox-retention-requested");
-exports.ExecutionGapScopeV1Schema = effect_1.Schema.Literal("slot", "experiment", "target");
-/** The plan fact carried by an action that did not adopt an existing Attempt. */
-exports.MembershipGapV1Schema = effect_1.Schema.Struct({
-    reason: exports.ExecutionGapReasonV1Schema,
-    scope: exports.ExecutionGapScopeV1Schema,
+exports.ExecutionGapReasonSchema = effect_1.Schema.String;
+exports.ExecutionGapScopeSchema = effect_1.Schema.Literal("slot", "experiment", "target");
+exports.MembershipGapSchema = effect_1.Schema.Struct({
+    reason: exports.ExecutionGapReasonSchema,
+    scope: exports.ExecutionGapScopeSchema,
     issues: effect_1.Schema.Array(record_errors_ts_1.RecordIssueSchema),
-    sourceBarrier: effect_1.Schema.optional(exports.MembershipSourceBarrierV1Schema),
-});
-const MembershipCarriedActionV1Schema = effect_1.Schema.Struct({
-    action: effect_1.Schema.Literal("carried"),
-    slotId: identifiers_ts_1.SlotIdSchema,
-    attemptId: identifiers_ts_1.AttemptIdSchema,
-    origin: exports.MembershipAttemptOriginV1Schema,
-    sourceBarrier: exports.MembershipSourceBarrierV1Schema,
-    comparisons: effect_1.Schema.Array(exports.ComparisonProvenanceV1Schema),
+    sourceBarrier: effect_1.Schema.optional(exports.MembershipSourceBarrierSchema),
 });
-const MembershipAcceptedActionV1Schema = effect_1.Schema.Struct({
-    action: effect_1.Schema.Literal("accepted"),
-    slotId: identifiers_ts_1.SlotIdSchema,
-    attemptId: identifiers_ts_1.AttemptIdSchema,
-    origin: exports.MembershipAttemptOriginV1Schema,
-    comparisons: effect_1.Schema.Array(exports.ComparisonProvenanceV1Schema),
-    sourceBarrier: effect_1.Schema.optional(exports.MembershipSourceBarrierV1Schema),
-    locator: effect_1.Schema.optional(effect_1.Schema.String),
-    operatorReason: effect_1.Schema.optional(effect_1.Schema.String),
+const Carried = effect_1.Schema.Struct({
+    action: effect_1.Schema.Literal("carried"), slotId: identifiers_ts_1.SlotIdSchema, attemptId: identifiers_ts_1.AttemptIdSchema,
+    origin: exports.MembershipAttemptOriginSchema, sourceBarrier: exports.MembershipSourceBarrierSchema,
+    comparisons: effect_1.Schema.Array(exports.ComparisonProvenanceSchema),
 });
-const MembershipExecutedActionV1Schema = effect_1.Schema.Struct({
-    action: effect_1.Schema.Literal("executed"),
-    slotId: identifiers_ts_1.SlotIdSchema,
-    attemptId: identifiers_ts_1.AttemptIdSchema,
-    gap: exports.MembershipGapV1Schema,
-    comparisons: effect_1.Schema.Array(exports.ComparisonProvenanceV1Schema),
+const Accepted = effect_1.Schema.Struct({
+    action: effect_1.Schema.Literal("accepted"), slotId: identifiers_ts_1.SlotIdSchema, attemptId: identifiers_ts_1.AttemptIdSchema,
+    origin: exports.MembershipAttemptOriginSchema, comparisons: effect_1.Schema.Array(exports.ComparisonProvenanceSchema),
+    sourceBarrier: effect_1.Schema.optional(exports.MembershipSourceBarrierSchema), locator: effect_1.Schema.optional(effect_1.Schema.String), operatorReason: effect_1.Schema.optional(effect_1.Schema.String),
 });
-const MembershipNotDispatchedActionV1Schema = effect_1.Schema.Struct({
-    action: effect_1.Schema.Literal("not-dispatched"),
-    slotId: identifiers_ts_1.SlotIdSchema,
-    gap: exports.MembershipGapV1Schema,
-    comparisons: effect_1.Schema.Array(exports.ComparisonProvenanceV1Schema),
-});
-const MembershipInterruptedActionV1Schema = effect_1.Schema.Struct({
-    action: effect_1.Schema.Literal("interrupted"),
-    slotId: identifiers_ts_1.SlotIdSchema,
-    gap: exports.MembershipGapV1Schema,
-    comparisons: effect_1.Schema.Array(exports.ComparisonProvenanceV1Schema),
-});
-/** Every target Slot records one final membership action. */
-exports.MembershipActionV1Schema = effect_1.Schema.Union(MembershipCarriedActionV1Schema, MembershipAcceptedActionV1Schema, MembershipExecutedActionV1Schema, MembershipNotDispatchedActionV1Schema, MembershipInterruptedActionV1Schema);
-function isMembershipEffectiveOptionsV1(value) {
-    return (0, json_value_ts_1.isJsonValue)(value);
-}
-exports.MembershipEffectiveOptionsV1Schema = effect_1.Schema.declare(isMembershipEffectiveOptionsV1);
-const MembershipProvenancePayloadV1StructuralSchema = effect_1.Schema.Struct({
-    policy: exports.MembershipPolicyIdentityV1Schema,
-    effectiveOptions: exports.MembershipEffectiveOptionsV1Schema,
-    actions: effect_1.Schema.Array(exports.MembershipActionV1Schema),
-});
-/** Actions retain target order, but a target Slot cannot receive two actions. */
-function validateMembershipProvenancePayloadV1(payload) {
+const Executed = effect_1.Schema.Struct({ action: effect_1.Schema.Literal("executed"), slotId: identifiers_ts_1.SlotIdSchema, attemptId: identifiers_ts_1.AttemptIdSchema, gap: exports.MembershipGapSchema, comparisons: effect_1.Schema.Array(exports.ComparisonProvenanceSchema) });
+const NotDispatched = effect_1.Schema.Struct({ action: effect_1.Schema.Literal("not-dispatched"), slotId: identifiers_ts_1.SlotIdSchema, gap: exports.MembershipGapSchema, comparisons: effect_1.Schema.Array(exports.ComparisonProvenanceSchema) });
+const Interrupted = effect_1.Schema.Struct({ action: effect_1.Schema.Literal("interrupted"), slotId: identifiers_ts_1.SlotIdSchema, gap: exports.MembershipGapSchema, comparisons: effect_1.Schema.Array(exports.ComparisonProvenanceSchema) });
+exports.MembershipActionSchema = effect_1.Schema.Union(Carried, Accepted, Executed, NotDispatched, Interrupted);
+exports.MembershipEffectiveOptionsSchema = effect_1.Schema.declare(json_value_ts_1.isJsonValue);
+/** A non-durable action explanation passed between policy and Core writer. */
+exports.MembershipProvenancePayloadSchema = effect_1.Schema.Struct({
+    policy: exports.MembershipPolicyIdentitySchema,
+    effectiveOptions: exports.MembershipEffectiveOptionsSchema,
+    actions: effect_1.Schema.Array(exports.MembershipActionSchema),
+}).pipe(effect_1.Schema.filter((payload) => new Set(payload.actions.map((action) => action.slotId)).size === payload.actions.length));
+function validateMembershipProvenancePayload(payload) {
     const seen = new Set();
     const issues = [];
     for (const action of payload.actions) {
-        if (seen.has(action.slotId)) {
-            issues.push(Object.freeze({
-                code: "membership-provenance-slot-duplicate",
-                slotId: action.slotId,
-            }));
-        }
+        if (seen.has(action.slotId))
+            issues.push(Object.freeze({ code: "membership-provenance-slot-duplicate", slotId: action.slotId }));
         seen.add(action.slotId);
     }
     return Object.freeze(issues);
 }
-/** Exact JSON schema for the Run-owned membership explanation. */
-exports.MembershipProvenancePayloadV1Schema = MembershipProvenancePayloadV1StructuralSchema.pipe(effect_1.Schema.filter((payload) => validateMembershipProvenancePayloadV1(payload).length === 0, {
-    identifier: "MembershipProvenancePayloadV1",
-    description: "one final factual membership action for each target Slot",
-}));
-/** The built-in Run Attachment definition owns exact decode and blob closure. */
-exports.membershipProvenanceAttachmentDefinitionV1 = (0, attachment_ts_1.requireRecordAttachmentCapabilityV1)((0, internal_ts_1.defineBuiltinJsonRecordAttachment)({
-    owner: "run",
-    name: exports.MEMBERSHIP_PROVENANCE_ATTACHMENT_NAME_V1,
-    schemaId: exports.MEMBERSHIP_PROVENANCE_ATTACHMENT_SCHEMA_ID_V1,
-    schema: exports.MembershipProvenancePayloadV1Schema,
-    blobRefs: attachment_ts_1.noRecordAttachmentBlobs,
-}), "Membership provenance v1 RecordAttachment definition must be valid");
-exports.membershipProvenanceAttachmentFamilyV1 = (0, attachment_ts_1.requireRecordAttachmentCapabilityV1)((0, index_ts_1.defineRecordAttachmentFamily)({
-    current: exports.membershipProvenanceAttachmentDefinitionV1,
-    migrations: [],
-}), "Membership provenance v1 RecordAttachment family must be valid");
-function decodeMembershipProvenancePayloadV1(input) {
-    return (0, index_ts_1.decodeJsonRecordAttachmentPayload)(exports.membershipProvenanceAttachmentDefinitionV1, input);
-}
-/** Validates a fact payload without turning it into a reuse decision. */
-function buildMembershipProvenancePayloadV1(input) {
-    const decoded = effect_1.Schema.decodeUnknownEither(MembershipProvenancePayloadV1StructuralSchema, attachment_ts_1.ExactRecordAttachmentParseOptions)(input);
-    if (effect_1.Either.isLeft(decoded)) {
-        return effect_1.Either.left(Object.freeze({
-            code: "membership-provenance-payload-schema-invalid",
-        }));
-    }
-    const issues = validateMembershipProvenancePayloadV1(decoded.right);
-    return issues.length === 0
-        ? effect_1.Either.right(decoded.right)
-        : effect_1.Either.left(Object.freeze({
-            code: "membership-provenance-payload-coherence-invalid",
-            issues,
-        }));
-}
-/** Builds the real opaque Run write after exact payload validation. */
-function buildMembershipProvenanceAttachmentWriteV1(input) {
-    const payload = buildMembershipProvenancePayloadV1(input);
-    if (effect_1.Either.isLeft(payload)) {
-        return effect_1.Either.left(payload.left);
-    }
-    return effect_1.Either.right((0, attachment_ts_1.makeNoBlobRecordAttachmentWriteV1)(exports.membershipProvenanceAttachmentFamilyV1, payload.right));
-}
-/** The typed reader helper leaves Record's availability state untouched. */
-function readMembershipProvenanceAttachmentV1(reader, owner) {
-    return reader.readRunAttachment(owner, exports.membershipProvenanceAttachmentFamilyV1);
-}
-/** A pure view over an already exact, available payload. */
-function projectMembershipProvenancePayloadV1(payload) {
-    return payload;
+function buildMembershipProvenancePayload(input) {
+    const decoded = effect_1.Schema.decodeUnknownEither(exports.MembershipProvenancePayloadSchema, attachment_ts_1.ExactEvaluationParseOptions)(input);
+    if (effect_1.Either.isLeft(decoded))
+        return effect_1.Either.left(Object.freeze({ code: "membership-provenance-payload-schema-invalid" }));
+    return effect_1.Either.right(decoded.right);
 }
-/** A typed synchronous projector for a materialized Membership Attachment. */
-function projectMembershipProvenanceAttachmentV1(value) {
-    // Record has already exact-decoded and frozen every available payload.
-    return projectMembershipProvenancePayloadV1(value.payload);
-}
-function projectMembershipAction(action) {
-    switch (action.action) {
-        case "carried":
-        case "accepted":
-            return Object.freeze({ outcome: action.action, slotId: action.slotId });
-        case "executed":
-        case "not-dispatched":
-        case "interrupted":
-            return Object.freeze({
-                outcome: action.action,
-                slotId: action.slotId,
-                reason: action.gap.reason,
-            });
-    }
-}
-function projectMembershipProvenance(value) {
-    const payload = value.payload;
-    return Object.freeze({
-        policy: Object.freeze({
-            name: payload.policy.name,
-            version: payload.policy.version,
-        }),
-        actions: Object.freeze(payload.actions.map(projectMembershipAction)),
-    });
-}
-/** The public Membership provenance view for a Run-owned Attachment. */
-exports.membershipProvenanceProjector = (0, projector_ts_1.defineRecordAttachmentProjector)({
-    attachment: exports.membershipProvenanceAttachmentFamilyV1,
-    project: projectMembershipProvenance,
-});
 //# sourceMappingURL=membership-provenance.cjs.map

package/dist/eval/record/membership-provenance.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"membership-provenance.js","sourceRoot":"","sources":["membership-provenance.ts"],"names":[],"mappings":";;;AAoIA,sFAaC;AAkBD,kFAEC;AAQD,gFAcC;AAED,gGAMC;AAED,oFAEC;AAED,oFAEC;AAED,0FAGC;AAhND,mCAAwC;AAExC,+DAA4K;AAC5K,qEAAwF;AACxF,2EAA4F;AAE5F,sEAAgH;AAGhH,gEAAiH;AACjH,8DAAyD;AACzD,mDAAuM;AAC1L,QAAA,wCAAwC,GAAG,gCAAyC,CAAC;AACrF,QAAA,6CAA6C,GAAG,mCAA4C,CAAC;AAC7F,QAAA,wCAAwC,GAAG,GAAY,CAAC;AACrE,MAAM,4BAA4B,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,gDAAwC,EAAE;IAC3J,UAAU,EAAE,wBAAwB;IACpC,WAAW,EAAE,uDAAuD;CACvE,CAAC,CAAC,CAAC;AACJ,+EAA+E;AAClE,QAAA,gCAAgC,GAAG,eAAM,CAAC,MAAM,CAAC;IAC1D,IAAI,EAAE,4BAA4B;IAClC,OAAO,EAAE,+CAA+B,CAAC,IAAI,CAAC,eAAM,CAAC,GAAG,EAAE,EAAE,eAAM,CAAC,QAAQ,EAAE,CAAC;CACjF,CAAC,CAAC;AAEH,8DAA8D;AACjD,QAAA,+BAA+B,GAAG,eAAM,CAAC,MAAM,CAAC;IACzD,KAAK,EAAE,4BAAW;IAClB,SAAS,EAAE,gCAAe;CAC7B,CAAC,CAAC;AAEH,6EAA6E;AAChE,QAAA,+BAA+B,GAAG,eAAM,CAAC,MAAM,CAAC;IACzD,KAAK,EAAE,4BAAW;IAClB,MAAM,EAAE,6BAAY;CACvB,CAAC,CAAC;AAEU,QAAA,4BAA4B,GAAG,eAAM,CAAC,OAAO,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;AAEhG,QAAA,4BAA4B,GAAG,eAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,eAAe,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,oBAAoB,CAAC,CAAC;AAE5I,QAAA,6BAA6B,GAAG,eAAM,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC;AAEpJ,QAAA,wBAAwB,GAAG,eAAM,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,CAAC,CAAC;AAE5G,qEAAqE;AACxD,QAAA,4BAA4B,GAAG,eAAM,CAAC,MAAM,CAAC;IACtD,UAAU,EAAE,oCAA4B;IACxC,aAAa,EAAE,oCAA4B;IAC3C,WAAW,EAAE,qCAA6B;IAC1C,MAAM,EAAE,gCAAwB;IAChC,MAAM,EAAE,eAAM,CAAC,MAAM;CACxB,CAAC,CAAC;AAEH,4DAA4D;AAC/C,QAAA,0BAA0B,GAAG,eAAM,CAAC,OAAO,CAAC,eAAe,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,+BAA+B,EAAE,sCAAsC,EAAE,yCAAyC,EAAE,+BAA+B,EAAE,2BAA2B,EAAE,gCAAgC,EAAE,yBAAyB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,0BAA0B,EAAE,0BAA0B,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,6BAA6B,CAAC,CAAC;AAE5hB,QAAA,yBAAyB,GAAG,eAAM,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;AAExF,iFAAiF;AACpE,QAAA,qBAAqB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC/C,MAAM,EAAE,kCAA0B;IAClC,KAAK,EAAE,iCAAyB;IAChC,MAAM,EAAE,eAAM,CAAC,KAAK,CAAC,oCAAiB,CAAC;IACvC,aAAa,EAAE,eAAM,CAAC,QAAQ,CAAC,uCAA+B,CAAC;CAClE,CAAC,CAAC;AAEH,MAAM,+BAA+B,GAAG,eAAM,CAAC,MAAM,CAAC;IAClD,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IACjC,MAAM,EAAE,6BAAY;IACpB,SAAS,EAAE,gCAAe;IAC1B,MAAM,EAAE,uCAA+B;IACvC,aAAa,EAAE,uCAA+B;IAC9C,WAAW,EAAE,eAAM,CAAC,KAAK,CAAC,oCAA4B,CAAC;CAC1D,CAAC,CAAC;AAEH,MAAM,gCAAgC,GAAG,eAAM,CAAC,MAAM,CAAC;IACnD,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,UAAU,CAAC;IAClC,MAAM,EAAE,6BAAY;IACpB,SAAS,EAAE,gCAAe;IAC1B,MAAM,EAAE,uCAA+B;IACvC,WAAW,EAAE,eAAM,CAAC,KAAK,CAAC,oCAA4B,CAAC;IACvD,aAAa,EAAE,eAAM,CAAC,QAAQ,CAAC,uCAA+B,CAAC;IAC/D,OAAO,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC;IACvC,cAAc,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC;CACjD,CAAC,CAAC;AAEH,MAAM,gCAAgC,GAAG,eAAM,CAAC,MAAM,CAAC;IACnD,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,UAAU,CAAC;IAClC,MAAM,EAAE,6BAAY;IACpB,SAAS,EAAE,gCAAe;IAC1B,GAAG,EAAE,6BAAqB;IAC1B,WAAW,EAAE,eAAM,CAAC,KAAK,CAAC,oCAA4B,CAAC;CAC1D,CAAC,CAAC;AAEH,MAAM,qCAAqC,GAAG,eAAM,CAAC,MAAM,CAAC;IACxD,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACxC,MAAM,EAAE,6BAAY;IACpB,GAAG,EAAE,6BAAqB;IAC1B,WAAW,EAAE,eAAM,CAAC,KAAK,CAAC,oCAA4B,CAAC;CAC1D,CAAC,CAAC;AAEH,MAAM,mCAAmC,GAAG,eAAM,CAAC,MAAM,CAAC;IACtD,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,aAAa,CAAC;IACrC,MAAM,EAAE,6BAAY;IACpB,GAAG,EAAE,6BAAqB;IAC1B,WAAW,EAAE,eAAM,CAAC,KAAK,CAAC,oCAA4B,CAAC;CAC1D,CAAC,CAAC;AAEH,6DAA6D;AAChD,QAAA,wBAAwB,GAAG,eAAM,CAAC,KAAK,CAAC,+BAA+B,EAAE,gCAAgC,EAAE,gCAAgC,EAAE,qCAAqC,EAAE,mCAAmC,CAAC,CAAC;AAMtO,SAAS,8BAA8B,CAAC,KAAc;IAClD,OAAO,IAAA,2BAAW,EAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AACY,QAAA,kCAAkC,GAAgD,eAAM,CAAC,OAAO,CAA+B,8BAA8B,CAAC,CAAC;AAC5K,MAAM,6CAA6C,GAAG,eAAM,CAAC,MAAM,CAAC;IAChE,MAAM,EAAE,wCAAgC;IACxC,gBAAgB,EAAE,0CAAkC;IACpD,OAAO,EAAE,eAAM,CAAC,KAAK,CAAC,gCAAwB,CAAC;CAClD,CAAC,CAAC;AAOH,iFAAiF;AACjF,SAAgB,qCAAqC,CAAC,OAAsC;IACxF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAyC,EAAE,CAAC;IACxD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,sCAA+C;gBACrD,MAAM,EAAE,MAAM,CAAC,MAAM;aACxB,CAAC,CAAC,CAAC;QACR,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,kEAAkE;AACrD,QAAA,mCAAmC,GAAG,6CAA6C,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,qCAAqC,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE;IAC1L,UAAU,EAAE,+BAA+B;IAC3C,WAAW,EAAE,0DAA0D;CAC1E,CAAC,CAAC,CAAC;AACJ,iFAAiF;AACpE,QAAA,0CAA0C,GAAG,IAAA,mDAAmC,EAAC,IAAA,+CAAiC,EAAC;IAC5H,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,gDAAwC;IAC9C,QAAQ,EAAE,qDAA6C;IACvD,MAAM,EAAE,2CAAmC;IAC3C,QAAQ,EAAE,uCAAuB;CACpC,CAAC,EAAE,oEAAoE,CAAC,CAAC;AAC7D,QAAA,sCAAsC,GAAG,IAAA,mDAAmC,EAAC,IAAA,uCAA4B,EAAC;IACnH,OAAO,EAAE,kDAA0C;IACnD,UAAU,EAAE,EAAE;CACjB,CAAC,EAAE,gEAAgE,CAAC,CAAC;AACtE,SAAgB,mCAAmC,CAAC,KAAc;IAC9D,OAAO,IAAA,4CAAiC,EAAC,kDAA0C,EAAE,KAAK,CAAC,CAAC;AAChG,CAAC;AAOD,yEAAyE;AACzE,SAAgB,kCAAkC,CAAC,KAAoC;IACnF,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,6CAA6C,EAAE,iDAAiC,CAAC,CAAC,KAAK,CAAC,CAAC;IACpI,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,OAAO,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YAC7B,IAAI,EAAE,8CAAuD;SAChE,CAAC,CAAC,CAAC;IACR,CAAC;IACD,MAAM,MAAM,GAAG,qCAAqC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpE,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC;QACtB,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAC7B,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YACxB,IAAI,EAAE,iDAA0D;YAChE,MAAM;SACT,CAAC,CAAC,CAAC;AACZ,CAAC;AACD,uEAAuE;AACvE,SAAgB,0CAA0C,CAAC,KAAoC;IAC3F,MAAM,OAAO,GAAG,kCAAkC,CAAC,KAAK,CAAC,CAAC;IAC1D,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,OAAO,eAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,eAAM,CAAC,KAAK,CAAC,IAAA,iDAAiC,EAAC,8CAAsC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AAClH,CAAC;AACD,4EAA4E;AAC5E,SAAgB,oCAAoC,CAAY,MAAmC,EAAE,KAAsB;IACvH,OAAO,MAAM,CAAC,iBAAiB,CAAC,KAAK,EAAE,8CAAsC,CAAC,CAAC;AACnF,CAAC;AACD,4DAA4D;AAC5D,SAAgB,oCAAoC,CAAC,OAAsC;IACvF,OAAO,OAAO,CAAC;AACnB,CAAC;AACD,8EAA8E;AAC9E,SAAgB,uCAAuC,CAAC,KAA2D;IAC/G,uEAAuE;IACvE,OAAO,oCAAoC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAC/D,CAAC;AAoBD,SAAS,uBAAuB,CAAC,MAA0B;IACvD,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;QACpB,KAAK,SAAS,CAAC;QACf,KAAK,UAAU;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAC5E,KAAK,UAAU,CAAC;QAChB,KAAK,gBAAgB,CAAC;QACtB,KAAK,aAAa;YACd,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,OAAO,EAAE,MAAM,CAAC,MAAM;gBACtB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM;aAC5B,CAAC,CAAC;IACX,CAAC;AACL,CAAC;AACD,SAAS,2BAA2B,CAAC,KAA2D;IAC5F,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YAClB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI;YACzB,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO;SAClC,CAAC;QACF,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;KACvE,CAAC,CAAC;AACP,CAAC;AACD,wEAAwE;AAC3D,QAAA,6BAA6B,GAA2D,IAAA,8CAA+B,EAAC;IACjI,UAAU,EAAE,8CAAsC;IAClD,OAAO,EAAE,2BAA2B;CACvC,CAAC,CAAC","sourcesContent":["import { Either, Schema } from \"effect\";\nimport type { Effect } from \"effect\";\nimport { decodeJsonRecordAttachmentPayload, defineRecordAttachmentFamily, type RecordAttachmentValue, type RecordAttachmentWrite, } from \"../../record/attachment/index.ts\";\nimport { defineBuiltinJsonRecordAttachment } from \"../../record/attachment/internal.ts\";\nimport { RecordIssueSchema, type RecordIssue, } from \"../../record/errors/record-errors.ts\";\nimport type { RecordAttachmentRead } from \"../../record/model/read-state.ts\";\nimport { AttemptIdSchema, RunIdSchema, SlotIdSchema, UtcMillisSchema } from \"../../record/codec/identifiers.ts\";\nimport type { SlotId } from \"../../record/model/identifiers.ts\";\nimport type { FrozenRecordRun, FrozenRecordView } from \"../../record/reader/types.ts\";\nimport { defineRecordAttachmentProjector, type RecordAttachmentProjector, } from \"../../projection/projector.ts\";\nimport { isJsonValue } from \"../../shared/json-value.ts\";\nimport { ExactRecordAttachmentParseOptions, FiniteNonNegativeNumberV1Schema, makeNoBlobRecordAttachmentWriteV1, noRecordAttachmentBlobs, requireRecordAttachmentCapabilityV1, } from \"./attachment.ts\";\nexport const MEMBERSHIP_PROVENANCE_ATTACHMENT_NAME_V1 = \"niceeval.membership-provenance\" as const;\nexport const MEMBERSHIP_PROVENANCE_ATTACHMENT_SCHEMA_ID_V1 = \"niceeval.membership-provenance/v1\" as const;\nexport const MEMBERSHIP_POLICY_NAME_MAXIMUM_LENGTH_V1 = 255 as const;\nconst MembershipPolicyNameV1Schema = Schema.String.pipe(Schema.filter((value) => value.length > 0 && value.length <= MEMBERSHIP_POLICY_NAME_MAXIMUM_LENGTH_V1, {\n    identifier: \"MembershipPolicyNameV1\",\n    description: \"a non-empty policy name no longer than 255 code units\",\n}));\n/** A policy identity is historical explanation, never a future reuse grant. */\nexport const MembershipPolicyIdentityV1Schema = Schema.Struct({\n    name: MembershipPolicyNameV1Schema,\n    version: FiniteNonNegativeNumberV1Schema.pipe(Schema.int(), Schema.positive()),\n});\nexport type MembershipPolicyIdentityV1 = Schema.Schema.Type<typeof MembershipPolicyIdentityV1Schema>;\n/** A source Run selected by a policy's historical barrier. */\nexport const MembershipSourceBarrierV1Schema = Schema.Struct({\n    runId: RunIdSchema,\n    startedAt: UtcMillisSchema,\n});\nexport type MembershipSourceBarrierV1 = Schema.Schema.Type<typeof MembershipSourceBarrierV1Schema>;\n/** The immutable origin slot of an Attempt adopted by a reference Member. */\nexport const MembershipAttemptOriginV1Schema = Schema.Struct({\n    runId: RunIdSchema,\n    slotId: SlotIdSchema,\n});\nexport type MembershipAttemptOriginV1 = Schema.Schema.Type<typeof MembershipAttemptOriginV1Schema>;\nexport const ComparisonAttachmentV1Schema = Schema.Literal(\"niceeval.eligibility/v1\", \"niceeval.verdict/v1\");\nexport type ComparisonAttachmentV1 = Schema.Schema.Type<typeof ComparisonAttachmentV1Schema>;\nexport const RecordedAttemptClaimV1Schema = Schema.Literal(\"reuse-contract\", \"verdict-state\", \"input-identity\", \"config-identity\", \"execution-duration\");\nexport type RecordedAttemptClaimV1 = Schema.Schema.Type<typeof RecordedAttemptClaimV1Schema>;\nexport const ComparisonSourceStateV1Schema = Schema.Literal(\"available\", \"unavailable\", \"migration-required\", \"migration-unavailable\", \"unsupported\", \"invalid\");\nexport type ComparisonSourceStateV1 = Schema.Schema.Type<typeof ComparisonSourceStateV1Schema>;\nexport const ComparisonResultV1Schema = Schema.Literal(\"match\", \"mismatch\", \"ineligible\", \"not-comparable\");\nexport type ComparisonResultV1 = Schema.Schema.Type<typeof ComparisonResultV1Schema>;\n/** One durable explanation of a claim compared by a named policy. */\nexport const ComparisonProvenanceV1Schema = Schema.Struct({\n    attachment: ComparisonAttachmentV1Schema,\n    recordedClaim: RecordedAttemptClaimV1Schema,\n    sourceState: ComparisonSourceStateV1Schema,\n    result: ComparisonResultV1Schema,\n    reason: Schema.String,\n});\nexport type ComparisonProvenanceV1 = Schema.Schema.Type<typeof ComparisonProvenanceV1Schema>;\n/** Stable gaps produced by the project-target/v1 policy. */\nexport const ExecutionGapReasonV1Schema = Schema.Literal(\"no-source-run\", \"source-slot-missing\", \"source-member-missing\", \"source-core-invalid\", \"source-attachment-unavailable\", \"source-attachment-migration-required\", \"source-attachment-migration-unavailable\", \"source-attachment-unsupported\", \"source-attachment-invalid\", \"reuse-contract-domain-mismatch\", \"reuse-contract-mismatch\", \"verdict-ineligible\", \"identity-mismatch\", \"identity-domain-mismatch\", \"duration-domain-mismatch\", \"timeout-exceeded\", \"rerun-requested\", \"sandbox-retention-requested\");\nexport type ExecutionGapReasonV1 = Schema.Schema.Type<typeof ExecutionGapReasonV1Schema>;\nexport const ExecutionGapScopeV1Schema = Schema.Literal(\"slot\", \"experiment\", \"target\");\nexport type ExecutionGapScopeV1 = Schema.Schema.Type<typeof ExecutionGapScopeV1Schema>;\n/** The plan fact carried by an action that did not adopt an existing Attempt. */\nexport const MembershipGapV1Schema = Schema.Struct({\n    reason: ExecutionGapReasonV1Schema,\n    scope: ExecutionGapScopeV1Schema,\n    issues: Schema.Array(RecordIssueSchema),\n    sourceBarrier: Schema.optional(MembershipSourceBarrierV1Schema),\n});\nexport type MembershipGapV1 = Schema.Schema.Type<typeof MembershipGapV1Schema>;\nconst MembershipCarriedActionV1Schema = Schema.Struct({\n    action: Schema.Literal(\"carried\"),\n    slotId: SlotIdSchema,\n    attemptId: AttemptIdSchema,\n    origin: MembershipAttemptOriginV1Schema,\n    sourceBarrier: MembershipSourceBarrierV1Schema,\n    comparisons: Schema.Array(ComparisonProvenanceV1Schema),\n});\nexport type MembershipCarriedActionV1 = Schema.Schema.Type<typeof MembershipCarriedActionV1Schema>;\nconst MembershipAcceptedActionV1Schema = Schema.Struct({\n    action: Schema.Literal(\"accepted\"),\n    slotId: SlotIdSchema,\n    attemptId: AttemptIdSchema,\n    origin: MembershipAttemptOriginV1Schema,\n    comparisons: Schema.Array(ComparisonProvenanceV1Schema),\n    sourceBarrier: Schema.optional(MembershipSourceBarrierV1Schema),\n    locator: Schema.optional(Schema.String),\n    operatorReason: Schema.optional(Schema.String),\n});\nexport type MembershipAcceptedActionV1 = Schema.Schema.Type<typeof MembershipAcceptedActionV1Schema>;\nconst MembershipExecutedActionV1Schema = Schema.Struct({\n    action: Schema.Literal(\"executed\"),\n    slotId: SlotIdSchema,\n    attemptId: AttemptIdSchema,\n    gap: MembershipGapV1Schema,\n    comparisons: Schema.Array(ComparisonProvenanceV1Schema),\n});\nexport type MembershipExecutedActionV1 = Schema.Schema.Type<typeof MembershipExecutedActionV1Schema>;\nconst MembershipNotDispatchedActionV1Schema = Schema.Struct({\n    action: Schema.Literal(\"not-dispatched\"),\n    slotId: SlotIdSchema,\n    gap: MembershipGapV1Schema,\n    comparisons: Schema.Array(ComparisonProvenanceV1Schema),\n});\nexport type MembershipNotDispatchedActionV1 = Schema.Schema.Type<typeof MembershipNotDispatchedActionV1Schema>;\nconst MembershipInterruptedActionV1Schema = Schema.Struct({\n    action: Schema.Literal(\"interrupted\"),\n    slotId: SlotIdSchema,\n    gap: MembershipGapV1Schema,\n    comparisons: Schema.Array(ComparisonProvenanceV1Schema),\n});\nexport type MembershipInterruptedActionV1 = Schema.Schema.Type<typeof MembershipInterruptedActionV1Schema>;\n/** Every target Slot records one final membership action. */\nexport const MembershipActionV1Schema = Schema.Union(MembershipCarriedActionV1Schema, MembershipAcceptedActionV1Schema, MembershipExecutedActionV1Schema, MembershipNotDispatchedActionV1Schema, MembershipInterruptedActionV1Schema);\nexport type MembershipActionV1 = Schema.Schema.Type<typeof MembershipActionV1Schema>;\n/** A JSON-only, read-only value safe to retain as policy effective options. */\nexport type MembershipEffectiveOptionsV1 = null | boolean | number | string | readonly MembershipEffectiveOptionsV1[] | {\n    readonly [key: string]: MembershipEffectiveOptionsV1;\n};\nfunction isMembershipEffectiveOptionsV1(value: unknown): value is MembershipEffectiveOptionsV1 {\n    return isJsonValue(value);\n}\nexport const MembershipEffectiveOptionsV1Schema: Schema.Schema<MembershipEffectiveOptionsV1> = Schema.declare<MembershipEffectiveOptionsV1>(isMembershipEffectiveOptionsV1);\nconst MembershipProvenancePayloadV1StructuralSchema = Schema.Struct({\n    policy: MembershipPolicyIdentityV1Schema,\n    effectiveOptions: MembershipEffectiveOptionsV1Schema,\n    actions: Schema.Array(MembershipActionV1Schema),\n});\nexport type MembershipProvenancePayloadV1 = Schema.Schema.Type<typeof MembershipProvenancePayloadV1StructuralSchema>;\nexport type MembershipProvenancePayloadV1Encoded = Schema.Schema.Encoded<typeof MembershipProvenancePayloadV1StructuralSchema>;\nexport type MembershipProvenancePayloadIssueV1 = {\n    readonly code: \"membership-provenance-slot-duplicate\";\n    readonly slotId: string;\n};\n/** Actions retain target order, but a target Slot cannot receive two actions. */\nexport function validateMembershipProvenancePayloadV1(payload: MembershipProvenancePayloadV1): readonly MembershipProvenancePayloadIssueV1[] {\n    const seen = new Set<string>();\n    const issues: MembershipProvenancePayloadIssueV1[] = [];\n    for (const action of payload.actions) {\n        if (seen.has(action.slotId)) {\n            issues.push(Object.freeze({\n                code: \"membership-provenance-slot-duplicate\" as const,\n                slotId: action.slotId,\n            }));\n        }\n        seen.add(action.slotId);\n    }\n    return Object.freeze(issues);\n}\n/** Exact JSON schema for the Run-owned membership explanation. */\nexport const MembershipProvenancePayloadV1Schema = MembershipProvenancePayloadV1StructuralSchema.pipe(Schema.filter((payload) => validateMembershipProvenancePayloadV1(payload).length === 0, {\n    identifier: \"MembershipProvenancePayloadV1\",\n    description: \"one final factual membership action for each target Slot\",\n}));\n/** The built-in Run Attachment definition owns exact decode and blob closure. */\nexport const membershipProvenanceAttachmentDefinitionV1 = requireRecordAttachmentCapabilityV1(defineBuiltinJsonRecordAttachment({\n    owner: \"run\",\n    name: MEMBERSHIP_PROVENANCE_ATTACHMENT_NAME_V1,\n    schemaId: MEMBERSHIP_PROVENANCE_ATTACHMENT_SCHEMA_ID_V1,\n    schema: MembershipProvenancePayloadV1Schema,\n    blobRefs: noRecordAttachmentBlobs,\n}), \"Membership provenance v1 RecordAttachment definition must be valid\");\nexport const membershipProvenanceAttachmentFamilyV1 = requireRecordAttachmentCapabilityV1(defineRecordAttachmentFamily({\n    current: membershipProvenanceAttachmentDefinitionV1,\n    migrations: [],\n}), \"Membership provenance v1 RecordAttachment family must be valid\");\nexport function decodeMembershipProvenancePayloadV1(input: unknown) {\n    return decodeJsonRecordAttachmentPayload(membershipProvenanceAttachmentDefinitionV1, input);\n}\nexport type MembershipProvenancePayloadBuildErrorV1 = {\n    readonly code: \"membership-provenance-payload-schema-invalid\";\n} | {\n    readonly code: \"membership-provenance-payload-coherence-invalid\";\n    readonly issues: readonly MembershipProvenancePayloadIssueV1[];\n};\n/** Validates a fact payload without turning it into a reuse decision. */\nexport function buildMembershipProvenancePayloadV1(input: MembershipProvenancePayloadV1): Either.Either<MembershipProvenancePayloadV1, MembershipProvenancePayloadBuildErrorV1> {\n    const decoded = Schema.decodeUnknownEither(MembershipProvenancePayloadV1StructuralSchema, ExactRecordAttachmentParseOptions)(input);\n    if (Either.isLeft(decoded)) {\n        return Either.left(Object.freeze({\n            code: \"membership-provenance-payload-schema-invalid\" as const,\n        }));\n    }\n    const issues = validateMembershipProvenancePayloadV1(decoded.right);\n    return issues.length === 0\n        ? Either.right(decoded.right)\n        : Either.left(Object.freeze({\n            code: \"membership-provenance-payload-coherence-invalid\" as const,\n            issues,\n        }));\n}\n/** Builds the real opaque Run write after exact payload validation. */\nexport function buildMembershipProvenanceAttachmentWriteV1(input: MembershipProvenancePayloadV1): Either.Either<RecordAttachmentWrite<\"run\", never, never>, MembershipProvenancePayloadBuildErrorV1> {\n    const payload = buildMembershipProvenancePayloadV1(input);\n    if (Either.isLeft(payload)) {\n        return Either.left(payload.left);\n    }\n    return Either.right(makeNoBlobRecordAttachmentWriteV1(membershipProvenanceAttachmentFamilyV1, payload.right));\n}\n/** The typed reader helper leaves Record's availability state untouched. */\nexport function readMembershipProvenanceAttachmentV1<ReadError>(reader: FrozenRecordView<ReadError>, owner: FrozenRecordRun): Effect.Effect<RecordAttachmentRead<RecordAttachmentValue<MembershipProvenancePayloadV1>>, ReadError> {\n    return reader.readRunAttachment(owner, membershipProvenanceAttachmentFamilyV1);\n}\n/** A pure view over an already exact, available payload. */\nexport function projectMembershipProvenancePayloadV1(payload: MembershipProvenancePayloadV1): MembershipProvenancePayloadV1 {\n    return payload;\n}\n/** A typed synchronous projector for a materialized Membership Attachment. */\nexport function projectMembershipProvenanceAttachmentV1(value: RecordAttachmentValue<MembershipProvenancePayloadV1>): MembershipProvenancePayloadV1 {\n    // Record has already exact-decoded and frozen every available payload.\n    return projectMembershipProvenancePayloadV1(value.payload);\n}\nexport interface MembershipPolicy {\n    readonly name: string;\n    readonly version: number;\n}\nexport type MembershipGapReason = ExecutionGapReasonV1;\n/** The final disposition for one target Slot. */\nexport type MembershipAction = {\n    readonly outcome: \"carried\" | \"accepted\";\n    readonly slotId: SlotId;\n} | {\n    readonly outcome: \"executed\" | \"not-dispatched\" | \"interrupted\";\n    readonly slotId: SlotId;\n    readonly reason: MembershipGapReason;\n};\n/** A compact, report-safe account of how this Run acquired its Members. */\nexport interface MembershipProvenance {\n    readonly policy: MembershipPolicy;\n    readonly actions: readonly MembershipAction[];\n}\nfunction projectMembershipAction(action: MembershipActionV1): MembershipAction {\n    switch (action.action) {\n        case \"carried\":\n        case \"accepted\":\n            return Object.freeze({ outcome: action.action, slotId: action.slotId });\n        case \"executed\":\n        case \"not-dispatched\":\n        case \"interrupted\":\n            return Object.freeze({\n                outcome: action.action,\n                slotId: action.slotId,\n                reason: action.gap.reason,\n            });\n    }\n}\nfunction projectMembershipProvenance(value: RecordAttachmentValue<MembershipProvenancePayloadV1>): MembershipProvenance {\n    const payload = value.payload;\n    return Object.freeze({\n        policy: Object.freeze({\n            name: payload.policy.name,\n            version: payload.policy.version,\n        }),\n        actions: Object.freeze(payload.actions.map(projectMembershipAction)),\n    });\n}\n/** The public Membership provenance view for a Run-owned Attachment. */\nexport const membershipProvenanceProjector: RecordAttachmentProjector<\"run\", MembershipProvenance> = defineRecordAttachmentProjector({\n    attachment: membershipProvenanceAttachmentFamilyV1,\n    project: projectMembershipProvenance,\n});\n/** Re-exported for callers that construct an action's preserved issue refs. */\nexport type { RecordIssue };\n"]}
+{"version":3,"file":"membership-provenance.js","sourceRoot":"","sources":["membership-provenance.ts"],"names":[],"mappings":";;;AAqFA,kFASC;AACD,4EAKC;AApGD,mCAAwC;AACxC,sEAAgH;AAChH,2EAA2F;AAE3F,8DAAyD;AACzD,mDAA6F;AAC7F;;;;GAIG;AACU,QAAA,qCAAqC,GAAG,GAAY,CAAC;AAClE,MAAM,UAAU,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,6CAAqC,CAAC,CAAC,CAAC;AAC9H,QAAA,8BAA8B,GAAG,eAAM,CAAC,MAAM,CAAC;IACxD,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,6CAA6B,CAAC,IAAI,CAAC,eAAM,CAAC,GAAG,EAAE,EAAE,eAAM,CAAC,QAAQ,EAAE,CAAC;CAC/E,CAAC,CAAC;AAEU,QAAA,6BAA6B,GAAG,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,4BAAW,EAAE,SAAS,EAAE,gCAAe,EAAE,CAAC,CAAC;AAElG,QAAA,6BAA6B,GAAG,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,4BAAW,EAAE,MAAM,EAAE,6BAAY,EAAE,CAAC,CAAC;AAE5F,QAAA,0BAA0B,GAAG,eAAM,CAAC,OAAO,CAAC,MAAM,EAAE,qBAAqB,EAAE,wBAAwB,CAAC,CAAC;AAErG,QAAA,0BAA0B,GAAG,eAAM,CAAC,OAAO,CAAC,oBAAoB,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;AAEhI,QAAA,2BAA2B,GAAG,eAAM,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC;AAEnG,QAAA,sBAAsB,GAAG,eAAM,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,CAAC,CAAC;AAE7F,QAAA,0BAA0B,GAAG,eAAM,CAAC,MAAM,CAAC;IACpD,UAAU,EAAE,kCAA0B;IACtC,aAAa,EAAE,kCAA0B;IACzC,WAAW,EAAE,mCAA2B;IACxC,MAAM,EAAE,8BAAsB;IAC9B,MAAM,EAAE,eAAM,CAAC,MAAM;CACxB,CAAC,CAAC;AAEU,QAAA,wBAAwB,GAAG,eAAM,CAAC,MAAM,CAAC;AAEzC,QAAA,uBAAuB,GAAG,eAAM,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;AAEzE,QAAA,mBAAmB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC7C,MAAM,EAAE,gCAAwB;IAChC,KAAK,EAAE,+BAAuB;IAC9B,MAAM,EAAE,eAAM,CAAC,KAAK,CAAC,oCAAiB,CAAC;IACvC,aAAa,EAAE,eAAM,CAAC,QAAQ,CAAC,qCAA6B,CAAC;CAChE,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,eAAM,CAAC,MAAM,CAAC;IAC1B,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,6BAAY,EAAE,SAAS,EAAE,gCAAe;IACnF,MAAM,EAAE,qCAA6B,EAAE,aAAa,EAAE,qCAA6B;IACnF,WAAW,EAAE,eAAM,CAAC,KAAK,CAAC,kCAA0B,CAAC;CACxD,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,eAAM,CAAC,MAAM,CAAC;IAC3B,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,6BAAY,EAAE,SAAS,EAAE,gCAAe;IACpF,MAAM,EAAE,qCAA6B,EAAE,WAAW,EAAE,eAAM,CAAC,KAAK,CAAC,kCAA0B,CAAC;IAC5F,aAAa,EAAE,eAAM,CAAC,QAAQ,CAAC,qCAA6B,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC;CACzJ,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,eAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,6BAAY,EAAE,SAAS,EAAE,gCAAe,EAAE,GAAG,EAAE,2BAAmB,EAAE,WAAW,EAAE,eAAM,CAAC,KAAK,CAAC,kCAA0B,CAAC,EAAE,CAAC,CAAC;AAC1M,MAAM,aAAa,GAAG,eAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,6BAAY,EAAE,GAAG,EAAE,2BAAmB,EAAE,WAAW,EAAE,eAAM,CAAC,KAAK,CAAC,kCAA0B,CAAC,EAAE,CAAC,CAAC;AACzL,MAAM,WAAW,GAAG,eAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,6BAAY,EAAE,GAAG,EAAE,2BAAmB,EAAE,WAAW,EAAE,eAAM,CAAC,KAAK,CAAC,kCAA0B,CAAC,EAAE,CAAC,CAAC;AACvK,QAAA,sBAAsB,GAAG,eAAM,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;AAK/F,QAAA,gCAAgC,GAA8C,eAAM,CAAC,OAAO,CAA6B,2BAAW,CAAC,CAAC;AACnJ,8EAA8E;AACjE,QAAA,iCAAiC,GAAG,eAAM,CAAC,MAAM,CAAC;IAC3D,MAAM,EAAE,sCAA8B;IACtC,gBAAgB,EAAE,wCAAgC;IAClD,OAAO,EAAE,eAAM,CAAC,KAAK,CAAC,8BAAsB,CAAC;CAChD,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;AAY7H,SAAgB,mCAAmC,CAAC,OAAoC;IACpF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAuC,EAAE,CAAC;IACtD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,sCAA+C,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACjH,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,SAAgB,gCAAgC,CAAC,KAAkC;IAC/E,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,yCAAiC,EAAE,2CAA2B,CAAC,CAAC,KAAK,CAAC,CAAC;IAClH,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QACtB,OAAO,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,8CAAuD,EAAE,CAAC,CAAC,CAAC;IACzG,OAAO,eAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACvC,CAAC","sourcesContent":["import { Either, Schema } from \"effect\";\nimport { AttemptIdSchema, RunIdSchema, SlotIdSchema, UtcMillisSchema } from \"../../record/codec/identifiers.ts\";\nimport { RecordIssueSchema, type RecordIssue } from \"../../record/errors/record-errors.ts\";\nimport type { SlotId } from \"../../record/model/identifiers.ts\";\nimport { isJsonValue } from \"../../shared/json-value.ts\";\nimport { ExactEvaluationParseOptions, FiniteNonNegativeNumberSchema } from \"./attachment.ts\";\n/**\n * These are transient policy explanations. Published member action and exact\n * Attempt reference are Core documents, so provenance never creates a sixth\n * Record family.\n */\nexport const MEMBERSHIP_POLICY_NAME_MAXIMUM_LENGTH = 255 as const;\nconst PolicyName = Schema.String.pipe(Schema.filter((value) => value.length > 0 && value.length <= MEMBERSHIP_POLICY_NAME_MAXIMUM_LENGTH));\nexport const MembershipPolicyIdentitySchema = Schema.Struct({\n    name: PolicyName,\n    version: FiniteNonNegativeNumberSchema.pipe(Schema.int(), Schema.positive()),\n});\nexport type MembershipPolicyIdentity = Schema.Schema.Type<typeof MembershipPolicyIdentitySchema>;\nexport const MembershipSourceBarrierSchema = Schema.Struct({ runId: RunIdSchema, startedAt: UtcMillisSchema });\nexport type MembershipSourceBarrier = Schema.Schema.Type<typeof MembershipSourceBarrierSchema>;\nexport const MembershipAttemptOriginSchema = Schema.Struct({ runId: RunIdSchema, slotId: SlotIdSchema });\nexport type MembershipAttemptOrigin = Schema.Schema.Type<typeof MembershipAttemptOriginSchema>;\nexport const ComparisonAttachmentSchema = Schema.Literal(\"core\", \"niceeval.assertions\", \"niceeval.observability\");\nexport type ComparisonAttachment = Schema.Schema.Type<typeof ComparisonAttachmentSchema>;\nexport const RecordedAttemptClaimSchema = Schema.Literal(\"execution-identity\", \"attempt-outcome\", \"assertion-verdict\", \"execution-duration\");\nexport type RecordedAttemptClaim = Schema.Schema.Type<typeof RecordedAttemptClaimSchema>;\nexport const ComparisonSourceStateSchema = Schema.Literal(\"available\", \"unavailable\", \"unsupported\", \"invalid\");\nexport type ComparisonSourceState = Schema.Schema.Type<typeof ComparisonSourceStateSchema>;\nexport const ComparisonResultSchema = Schema.Literal(\"match\", \"mismatch\", \"ineligible\", \"not-comparable\");\nexport type ComparisonResult = Schema.Schema.Type<typeof ComparisonResultSchema>;\nexport const ComparisonProvenanceSchema = Schema.Struct({\n    attachment: ComparisonAttachmentSchema,\n    recordedClaim: RecordedAttemptClaimSchema,\n    sourceState: ComparisonSourceStateSchema,\n    result: ComparisonResultSchema,\n    reason: Schema.String,\n});\nexport type ComparisonProvenance = Schema.Schema.Type<typeof ComparisonProvenanceSchema>;\nexport const ExecutionGapReasonSchema = Schema.String;\nexport type ExecutionGapReason = Schema.Schema.Type<typeof ExecutionGapReasonSchema>;\nexport const ExecutionGapScopeSchema = Schema.Literal(\"slot\", \"experiment\", \"target\");\nexport type ExecutionGapScope = Schema.Schema.Type<typeof ExecutionGapScopeSchema>;\nexport const MembershipGapSchema = Schema.Struct({\n    reason: ExecutionGapReasonSchema,\n    scope: ExecutionGapScopeSchema,\n    issues: Schema.Array(RecordIssueSchema),\n    sourceBarrier: Schema.optional(MembershipSourceBarrierSchema),\n});\nexport type MembershipGap = Schema.Schema.Type<typeof MembershipGapSchema>;\nconst Carried = Schema.Struct({\n    action: Schema.Literal(\"carried\"), slotId: SlotIdSchema, attemptId: AttemptIdSchema,\n    origin: MembershipAttemptOriginSchema, sourceBarrier: MembershipSourceBarrierSchema,\n    comparisons: Schema.Array(ComparisonProvenanceSchema),\n});\nconst Accepted = Schema.Struct({\n    action: Schema.Literal(\"accepted\"), slotId: SlotIdSchema, attemptId: AttemptIdSchema,\n    origin: MembershipAttemptOriginSchema, comparisons: Schema.Array(ComparisonProvenanceSchema),\n    sourceBarrier: Schema.optional(MembershipSourceBarrierSchema), locator: Schema.optional(Schema.String), operatorReason: Schema.optional(Schema.String),\n});\nconst Executed = Schema.Struct({ action: Schema.Literal(\"executed\"), slotId: SlotIdSchema, attemptId: AttemptIdSchema, gap: MembershipGapSchema, comparisons: Schema.Array(ComparisonProvenanceSchema) });\nconst NotDispatched = Schema.Struct({ action: Schema.Literal(\"not-dispatched\"), slotId: SlotIdSchema, gap: MembershipGapSchema, comparisons: Schema.Array(ComparisonProvenanceSchema) });\nconst Interrupted = Schema.Struct({ action: Schema.Literal(\"interrupted\"), slotId: SlotIdSchema, gap: MembershipGapSchema, comparisons: Schema.Array(ComparisonProvenanceSchema) });\nexport const MembershipActionSchema = Schema.Union(Carried, Accepted, Executed, NotDispatched, Interrupted);\nexport type MembershipAction = Schema.Schema.Type<typeof MembershipActionSchema>;\nexport type MembershipEffectiveOptions = null | boolean | number | string | readonly MembershipEffectiveOptions[] | {\n    readonly [key: string]: MembershipEffectiveOptions;\n};\nexport const MembershipEffectiveOptionsSchema: Schema.Schema<MembershipEffectiveOptions> = Schema.declare<MembershipEffectiveOptions>(isJsonValue);\n/** A non-durable action explanation passed between policy and Core writer. */\nexport const MembershipProvenancePayloadSchema = Schema.Struct({\n    policy: MembershipPolicyIdentitySchema,\n    effectiveOptions: MembershipEffectiveOptionsSchema,\n    actions: Schema.Array(MembershipActionSchema),\n}).pipe(Schema.filter((payload) => new Set(payload.actions.map((action) => action.slotId)).size === payload.actions.length));\nexport type MembershipProvenancePayload = Schema.Schema.Type<typeof MembershipProvenancePayloadSchema>;\nexport type MembershipProvenancePayloadIssue = {\n    readonly code: \"membership-provenance-slot-duplicate\";\n    readonly slotId: string;\n};\nexport type MembershipProvenancePayloadBuildError = {\n    readonly code: \"membership-provenance-payload-schema-invalid\";\n} | {\n    readonly code: \"membership-provenance-payload-coherence-invalid\";\n    readonly issues: readonly MembershipProvenancePayloadIssue[];\n};\nexport function validateMembershipProvenancePayload(payload: MembershipProvenancePayload): readonly MembershipProvenancePayloadIssue[] {\n    const seen = new Set<string>();\n    const issues: MembershipProvenancePayloadIssue[] = [];\n    for (const action of payload.actions) {\n        if (seen.has(action.slotId))\n            issues.push(Object.freeze({ code: \"membership-provenance-slot-duplicate\" as const, slotId: action.slotId }));\n        seen.add(action.slotId);\n    }\n    return Object.freeze(issues);\n}\nexport function buildMembershipProvenancePayload(input: MembershipProvenancePayload): Either.Either<MembershipProvenancePayload, MembershipProvenancePayloadBuildError> {\n    const decoded = Schema.decodeUnknownEither(MembershipProvenancePayloadSchema, ExactEvaluationParseOptions)(input);\n    if (Either.isLeft(decoded))\n        return Either.left(Object.freeze({ code: \"membership-provenance-payload-schema-invalid\" as const }));\n    return Either.right(decoded.right);\n}\nexport type { RecordIssue };\n"]}