niceeval 0.12.2-canary.31 → 0.13.0

package/dist/eval/record/coherence.d.cts

@@ -1,25 +1,25 @@
 import type { SlotId } from "../../record/model/identifiers.cjs";
-import { type EvaluationsPayloadIssueV1, type EvaluationsPayloadV1 } from "./evaluation.cjs";
-import { type ScoreCoherenceIssueV1, type ScorePayloadV1 } from "./score.cjs";
-import type { EvaluationAttemptFactsV1 } from "./sealed-assertion.cjs";
-import { type VerdictCoherenceIssueV1, type VerdictPayloadV1 } from "./verdict.cjs";
+import { type EvaluationsPayloadIssue, type EvaluationsPayload } from "./evaluation.cjs";
+import { type ScoreCoherenceIssue, type ScorePayload } from "./score.cjs";
+import type { EvaluationAttemptFacts } from "./sealed-assertion.cjs";
+import { type VerdictCoherenceIssue, type VerdictPayload } from "./verdict.cjs";
 /** One origin Attempt's facts before Record's generic writer owns the writes. */
-export interface EvaluationRecordAttemptV1 {
+export interface EvaluationRecordAttempt {
     readonly slotId: SlotId;
-    readonly facts: EvaluationAttemptFactsV1;
-    readonly verdict: VerdictPayloadV1;
-    readonly score?: ScorePayloadV1;
+    readonly facts: EvaluationAttemptFacts;
+    readonly verdict: VerdictPayload;
+    readonly score?: ScorePayload;
 }
 /**
  * The domain aggregate validated before the generic Record writer checks only
  * owner, exact schemas, references, and owner-local blob closure.
  */
-export interface EvaluationRecordCoherenceInputV1 {
+export interface EvaluationRecordCoherenceInput {
     readonly expectedSlots: readonly SlotId[];
-    readonly evaluations: EvaluationsPayloadV1;
-    readonly attempts: readonly EvaluationRecordAttemptV1[];
+    readonly evaluations: EvaluationsPayload;
+    readonly attempts: readonly EvaluationRecordAttempt[];
 }
-export type EvaluationRecordCoherenceIssueV1 = {
+export type EvaluationRecordCoherenceIssue = {
     readonly code: "evaluation-record-expected-slot-duplicate";
     readonly slotId: SlotId;
 } | {
@@ -42,15 +42,15 @@ export type EvaluationRecordCoherenceIssueV1 = {
     readonly slotId: SlotId;
 } | {
     readonly code: "evaluation-record-evaluations-invalid";
-    readonly issue: EvaluationsPayloadIssueV1;
+    readonly issue: EvaluationsPayloadIssue;
 } | {
     readonly code: "evaluation-record-verdict-invalid";
     readonly slotId: SlotId;
-    readonly issue: VerdictCoherenceIssueV1;
+    readonly issue: VerdictCoherenceIssue;
 } | {
     readonly code: "evaluation-record-score-invalid";
     readonly slotId: SlotId;
-    readonly issue: ScoreCoherenceIssueV1;
+    readonly issue: ScoreCoherenceIssue;
 };
 /**
  * Verifies cross-Attachment facts owned by the Evaluation producer: denominator
@@ -58,4 +58,4 @@ export type EvaluationRecordCoherenceIssueV1 = {
  * same sealed Assertion facts. Missing outcomes remain legal—those Slots have
  * no Member in the published Run.
  */
-export declare function validateEvaluationRecordCoherenceV1(input: EvaluationRecordCoherenceInputV1): readonly EvaluationRecordCoherenceIssueV1[];
+export declare function validateEvaluationRecordCoherence(input: EvaluationRecordCoherenceInput): readonly EvaluationRecordCoherenceIssue[];

package/dist/eval/record/coherence.d.mts

@@ -1,25 +1,25 @@
 import type { SlotId } from "../../record/model/identifiers.mjs";
-import { type EvaluationsPayloadIssueV1, type EvaluationsPayloadV1 } from "./evaluation.mjs";
-import { type ScoreCoherenceIssueV1, type ScorePayloadV1 } from "./score.mjs";
-import type { EvaluationAttemptFactsV1 } from "./sealed-assertion.mjs";
-import { type VerdictCoherenceIssueV1, type VerdictPayloadV1 } from "./verdict.mjs";
+import { type EvaluationsPayloadIssue, type EvaluationsPayload } from "./evaluation.mjs";
+import { type ScoreCoherenceIssue, type ScorePayload } from "./score.mjs";
+import type { EvaluationAttemptFacts } from "./sealed-assertion.mjs";
+import { type VerdictCoherenceIssue, type VerdictPayload } from "./verdict.mjs";
 /** One origin Attempt's facts before Record's generic writer owns the writes. */
-export interface EvaluationRecordAttemptV1 {
+export interface EvaluationRecordAttempt {
     readonly slotId: SlotId;
-    readonly facts: EvaluationAttemptFactsV1;
-    readonly verdict: VerdictPayloadV1;
-    readonly score?: ScorePayloadV1;
+    readonly facts: EvaluationAttemptFacts;
+    readonly verdict: VerdictPayload;
+    readonly score?: ScorePayload;
 }
 /**
  * The domain aggregate validated before the generic Record writer checks only
  * owner, exact schemas, references, and owner-local blob closure.
  */
-export interface EvaluationRecordCoherenceInputV1 {
+export interface EvaluationRecordCoherenceInput {
     readonly expectedSlots: readonly SlotId[];
-    readonly evaluations: EvaluationsPayloadV1;
-    readonly attempts: readonly EvaluationRecordAttemptV1[];
+    readonly evaluations: EvaluationsPayload;
+    readonly attempts: readonly EvaluationRecordAttempt[];
 }
-export type EvaluationRecordCoherenceIssueV1 = {
+export type EvaluationRecordCoherenceIssue = {
     readonly code: "evaluation-record-expected-slot-duplicate";
     readonly slotId: SlotId;
 } | {
@@ -42,15 +42,15 @@ export type EvaluationRecordCoherenceIssueV1 = {
     readonly slotId: SlotId;
 } | {
     readonly code: "evaluation-record-evaluations-invalid";
-    readonly issue: EvaluationsPayloadIssueV1;
+    readonly issue: EvaluationsPayloadIssue;
 } | {
     readonly code: "evaluation-record-verdict-invalid";
     readonly slotId: SlotId;
-    readonly issue: VerdictCoherenceIssueV1;
+    readonly issue: VerdictCoherenceIssue;
 } | {
     readonly code: "evaluation-record-score-invalid";
     readonly slotId: SlotId;
-    readonly issue: ScoreCoherenceIssueV1;
+    readonly issue: ScoreCoherenceIssue;
 };
 /**
  * Verifies cross-Attachment facts owned by the Evaluation producer: denominator
@@ -58,4 +58,4 @@ export type EvaluationRecordCoherenceIssueV1 = {
  * same sealed Assertion facts. Missing outcomes remain legal—those Slots have
  * no Member in the published Run.
  */
-export declare function validateEvaluationRecordCoherenceV1(input: EvaluationRecordCoherenceInputV1): readonly EvaluationRecordCoherenceIssueV1[];
+export declare function validateEvaluationRecordCoherence(input: EvaluationRecordCoherenceInput): readonly EvaluationRecordCoherenceIssue[];

package/dist/eval/record/coherence.d.ts

@@ -1,25 +1,25 @@
 import type { SlotId } from "../../record/model/identifiers.js";
-import { type EvaluationsPayloadIssueV1, type EvaluationsPayloadV1 } from "./evaluation.js";
-import { type ScoreCoherenceIssueV1, type ScorePayloadV1 } from "./score.js";
-import type { EvaluationAttemptFactsV1 } from "./sealed-assertion.js";
-import { type VerdictCoherenceIssueV1, type VerdictPayloadV1 } from "./verdict.js";
+import { type EvaluationsPayloadIssue, type EvaluationsPayload } from "./evaluation.js";
+import { type ScoreCoherenceIssue, type ScorePayload } from "./score.js";
+import type { EvaluationAttemptFacts } from "./sealed-assertion.js";
+import { type VerdictCoherenceIssue, type VerdictPayload } from "./verdict.js";
 /** One origin Attempt's facts before Record's generic writer owns the writes. */
-export interface EvaluationRecordAttemptV1 {
+export interface EvaluationRecordAttempt {
     readonly slotId: SlotId;
-    readonly facts: EvaluationAttemptFactsV1;
-    readonly verdict: VerdictPayloadV1;
-    readonly score?: ScorePayloadV1;
+    readonly facts: EvaluationAttemptFacts;
+    readonly verdict: VerdictPayload;
+    readonly score?: ScorePayload;
 }
 /**
  * The domain aggregate validated before the generic Record writer checks only
  * owner, exact schemas, references, and owner-local blob closure.
  */
-export interface EvaluationRecordCoherenceInputV1 {
+export interface EvaluationRecordCoherenceInput {
     readonly expectedSlots: readonly SlotId[];
-    readonly evaluations: EvaluationsPayloadV1;
-    readonly attempts: readonly EvaluationRecordAttemptV1[];
+    readonly evaluations: EvaluationsPayload;
+    readonly attempts: readonly EvaluationRecordAttempt[];
 }
-export type EvaluationRecordCoherenceIssueV1 = {
+export type EvaluationRecordCoherenceIssue = {
     readonly code: "evaluation-record-expected-slot-duplicate";
     readonly slotId: SlotId;
 } | {
@@ -42,15 +42,15 @@ export type EvaluationRecordCoherenceIssueV1 = {
     readonly slotId: SlotId;
 } | {
     readonly code: "evaluation-record-evaluations-invalid";
-    readonly issue: EvaluationsPayloadIssueV1;
+    readonly issue: EvaluationsPayloadIssue;
 } | {
     readonly code: "evaluation-record-verdict-invalid";
     readonly slotId: SlotId;
-    readonly issue: VerdictCoherenceIssueV1;
+    readonly issue: VerdictCoherenceIssue;
 } | {
     readonly code: "evaluation-record-score-invalid";
     readonly slotId: SlotId;
-    readonly issue: ScoreCoherenceIssueV1;
+    readonly issue: ScoreCoherenceIssue;
 };
 /**
  * Verifies cross-Attachment facts owned by the Evaluation producer: denominator
@@ -58,4 +58,4 @@ export type EvaluationRecordCoherenceIssueV1 = {
  * same sealed Assertion facts. Missing outcomes remain legal—those Slots have
  * no Member in the published Run.
  */
-export declare function validateEvaluationRecordCoherenceV1(input: EvaluationRecordCoherenceInputV1): readonly EvaluationRecordCoherenceIssueV1[];
+export declare function validateEvaluationRecordCoherence(input: EvaluationRecordCoherenceInput): readonly EvaluationRecordCoherenceIssue[];

package/dist/eval/record/coherence.js

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

package/dist/eval/record/eligibility.cjs

@@ -1,157 +1,75 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.eligibilityProjector = exports.eligibilityAttachmentFamilyV1 = exports.eligibilityAttachmentDefinitionV1 = exports.AttemptEligibilityPayloadV1Schema = exports.DurationLimitV1Schema = exports.EqualityTokenV1Schema = exports.EQUALITY_TOKEN_VALUE_MAXIMUM_LENGTH_V1 = exports.EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH_V1 = exports.EXECUTION_DURATION_DOMAIN_V1 = exports.ELIGIBILITY_ATTACHMENT_SCHEMA_ID_V1 = exports.ELIGIBILITY_ATTACHMENT_NAME_V1 = void 0;
-exports.isEqualityTokenV1 = isEqualityTokenV1;
-exports.isDurationLimitV1 = isDurationLimitV1;
-exports.decodeAttemptEligibilityPayloadV1 = decodeAttemptEligibilityPayloadV1;
-exports.buildAttemptEligibilityPayloadV1 = buildAttemptEligibilityPayloadV1;
-exports.buildEligibilityAttachmentWriteV1 = buildEligibilityAttachmentWriteV1;
-exports.readAttemptEligibilityAttachmentV1 = readAttemptEligibilityAttachmentV1;
-exports.projectAttemptEligibilityPayloadV1 = projectAttemptEligibilityPayloadV1;
-exports.projectEligibilityAttachmentV1 = projectEligibilityAttachmentV1;
+exports.DurationLimitSchema = exports.EqualityTokenSchema = exports.EQUALITY_TOKEN_VALUE_MAXIMUM_LENGTH = exports.EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH = exports.EXECUTION_DURATION_DOMAIN = void 0;
+exports.isEqualityToken = isEqualityToken;
+exports.isDurationLimit = isDurationLimit;
+exports.readAttemptExecutionDuration = readAttemptExecutionDuration;
 const effect_1 = require("effect");
-const index_ts_1 = require("../../record/attachment/index.cjs");
-const internal_ts_1 = require("../../record/attachment/internal.cjs");
-const projector_ts_1 = require("../../projection/projector.cjs");
 const attachment_ts_1 = require("./attachment.cjs");
-exports.ELIGIBILITY_ATTACHMENT_NAME_V1 = "niceeval.eligibility";
-exports.ELIGIBILITY_ATTACHMENT_SCHEMA_ID_V1 = "niceeval.eligibility/v1";
 /**
- * The one clock domain used by ProjectTarget targets and persisted Eligibility
- * facts. A source duration is comparable only when both sides name this exact
- * domain.
+ * Eligibility is a current reuse-policy calculation. Record persists neither
+ * an eligibility payload nor a second duration claim: source identity lives in
+ * Core and source timing lives in fixed Observability.
  */
-exports.EXECUTION_DURATION_DOMAIN_V1 = "niceeval.execution-duration/v1";
-/** Durable token text is bounded before it reaches an opaque Record payload. */
-exports.EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH_V1 = 255;
-exports.EQUALITY_TOKEN_VALUE_MAXIMUM_LENGTH_V1 = 4096;
+exports.EXECUTION_DURATION_DOMAIN = "niceeval.execution-duration/v1";
+exports.EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH = 255;
+exports.EQUALITY_TOKEN_VALUE_MAXIMUM_LENGTH = 4096;
 function isBoundedNonEmptyText(value, maximumLength) {
     return value.length > 0 && value.length <= maximumLength;
 }
-/** Runtime guard shared by planner inputs and the exact persisted schema. */
-function isEqualityTokenV1(value) {
-    if (typeof value !== "object" || value === null)
-        return false;
-    const token = value;
-    return (typeof token.domain === "string"
-        && isBoundedNonEmptyText(token.domain, exports.EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH_V1)
-        && typeof token.value === "string"
-        && isBoundedNonEmptyText(token.value, exports.EQUALITY_TOKEN_VALUE_MAXIMUM_LENGTH_V1));
-}
-/** Runtime guard shared by planner inputs and the exact persisted schema. */
-function isDurationLimitV1(value) {
-    if (typeof value !== "object" || value === null)
-        return false;
-    const duration = value;
-    return (typeof duration.domain === "string"
-        && isBoundedNonEmptyText(duration.domain, exports.EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH_V1)
-        && typeof duration.milliseconds === "number"
-        && Number.isFinite(duration.milliseconds)
-        && duration.milliseconds >= 0);
-}
-const EqualityTokenDomainV1Schema = effect_1.Schema.String.pipe(effect_1.Schema.filter((value) => isBoundedNonEmptyText(value, exports.EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH_V1), {
-    identifier: "EqualityTokenDomainV1",
-    description: "a non-empty equality-token domain no longer than 255 code units",
-}));
-const EqualityTokenValueV1Schema = effect_1.Schema.String.pipe(effect_1.Schema.filter((value) => isBoundedNonEmptyText(value, exports.EQUALITY_TOKEN_VALUE_MAXIMUM_LENGTH_V1), {
-    identifier: "EqualityTokenValueV1",
-    description: "a non-empty equality-token value no longer than 4096 code units",
-}));
-/**
- * An opaque equality claim. Its value is meaningful only within its domain;
- * callers must never compare values from different domains.
- */
-exports.EqualityTokenV1Schema = effect_1.Schema.Struct({
-    domain: EqualityTokenDomainV1Schema,
-    value: EqualityTokenValueV1Schema,
+exports.EqualityTokenSchema = effect_1.Schema.Struct({
+    domain: effect_1.Schema.String.pipe(effect_1.Schema.filter((value) => isBoundedNonEmptyText(value, exports.EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH))),
+    value: effect_1.Schema.String.pipe(effect_1.Schema.filter((value) => isBoundedNonEmptyText(value, exports.EQUALITY_TOKEN_VALUE_MAXIMUM_LENGTH))),
 });
-/** The duration's domain states which execution clock produced its milliseconds. */
-exports.DurationLimitV1Schema = effect_1.Schema.Struct({
-    domain: EqualityTokenDomainV1Schema,
-    milliseconds: attachment_ts_1.FiniteNonNegativeNumberV1Schema,
+exports.DurationLimitSchema = effect_1.Schema.Struct({
+    domain: effect_1.Schema.String.pipe(effect_1.Schema.filter((value) => isBoundedNonEmptyText(value, exports.EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH))),
+    milliseconds: attachment_ts_1.FiniteNonNegativeNumberSchema,
 });
-/**
- * The immutable eligibility claims recorded by an origin Attempt. This is not
- * a reusable result state: availability and migration remain Record read
- * states, while these four fields are compared by a named reuse policy.
- */
-exports.AttemptEligibilityPayloadV1Schema = effect_1.Schema.Struct({
-    reuseContract: exports.EqualityTokenV1Schema,
-    inputIdentity: exports.EqualityTokenV1Schema,
-    configIdentity: exports.EqualityTokenV1Schema,
-    executionDuration: exports.DurationLimitV1Schema,
-});
-/** Exact JSON definition for the Attempt-owned eligibility fact. */
-exports.eligibilityAttachmentDefinitionV1 = (0, attachment_ts_1.requireRecordAttachmentCapabilityV1)((0, internal_ts_1.defineBuiltinJsonRecordAttachment)({
-    owner: "attempt",
-    name: exports.ELIGIBILITY_ATTACHMENT_NAME_V1,
-    schemaId: exports.ELIGIBILITY_ATTACHMENT_SCHEMA_ID_V1,
-    schema: exports.AttemptEligibilityPayloadV1Schema,
-    blobRefs: attachment_ts_1.noRecordAttachmentBlobs,
-}), "Eligibility v1 RecordAttachment definition must be valid");
-exports.eligibilityAttachmentFamilyV1 = (0, attachment_ts_1.requireRecordAttachmentCapabilityV1)((0, index_ts_1.defineRecordAttachmentFamily)({
-    current: exports.eligibilityAttachmentDefinitionV1,
-    migrations: [],
-}), "Eligibility v1 RecordAttachment family must be valid");
-/** Uses the same all-errors, excess-property-rejecting boundary as Record. */
-function decodeAttemptEligibilityPayloadV1(input) {
-    return (0, index_ts_1.decodeJsonRecordAttachmentPayload)(exports.eligibilityAttachmentDefinitionV1, input);
+function isEqualityToken(value) {
+    return effect_1.Either.isRight(effect_1.Schema.decodeUnknownEither(exports.EqualityTokenSchema, attachment_ts_1.ExactEvaluationParseOptions)(value));
+}
+function isDurationLimit(value) {
+    return effect_1.Either.isRight(effect_1.Schema.decodeUnknownEither(exports.DurationLimitSchema, attachment_ts_1.ExactEvaluationParseOptions)(value));
 }
 /**
- * Validates producer input before it is captured by Record's opaque writer.
- * The payload contains only durable facts; it deliberately has no state field.
+ * Derive the policy's duration only from a complete, gap-free union of root
+ * timing windows. Overlapping roots are concurrent credible observations, not
+ * duplicate duration. A partial collection, an omitted root, or a gap is not
+ * a trustworthy execution-duration fact and therefore must not be treated as
+ * zero.
  */
-function buildAttemptEligibilityPayloadV1(input) {
-    const decoded = effect_1.Schema.decodeUnknownEither(exports.AttemptEligibilityPayloadV1Schema, attachment_ts_1.ExactRecordAttachmentParseOptions)(input);
-    if (effect_1.Either.isLeft(decoded)) {
-        return effect_1.Either.left(Object.freeze({ code: "eligibility-payload-schema-invalid" }));
+function readAttemptExecutionDuration(observability) {
+    const timing = observability.timing;
+    if (timing.collection.state !== "complete") {
+        return Object.freeze({ state: "unavailable", reason: "timing-partial" });
     }
-    return effect_1.Either.right(Object.freeze({
-        reuseContract: Object.freeze({ ...decoded.right.reuseContract }),
-        inputIdentity: Object.freeze({ ...decoded.right.inputIdentity }),
-        configIdentity: Object.freeze({ ...decoded.right.configIdentity }),
-        executionDuration: Object.freeze({ ...decoded.right.executionDuration }),
-    }));
-}
-/** Builds the real opaque Attempt write after exact payload validation. */
-function buildEligibilityAttachmentWriteV1(input) {
-    const payload = buildAttemptEligibilityPayloadV1(input);
-    if (effect_1.Either.isLeft(payload)) {
-        return effect_1.Either.left(payload.left);
+    const roots = timing.intervals.filter((interval) => interval.parentIntervalId === null);
+    if (roots.length === 0) {
+        return Object.freeze({ state: "unavailable", reason: "timing-empty" });
+    }
+    const sortedRoots = [...roots].sort((left, right) => left.startOffsetMs - right.startOffsetMs);
+    let coveredEnd = 0;
+    for (const interval of sortedRoots) {
+        const end = interval.startOffsetMs + interval.durationMs;
+        if (!Number.isSafeInteger(interval.startOffsetMs)
+            || interval.startOffsetMs < 0
+            || !Number.isSafeInteger(interval.durationMs)
+            || interval.durationMs < 0
+            || !Number.isSafeInteger(end)
+            || interval.startOffsetMs > coveredEnd) {
+            return Object.freeze({
+                state: "unavailable",
+                reason: "timing-window-incomplete",
+            });
+        }
+        coveredEnd = Math.max(coveredEnd, end);
     }
-    return effect_1.Either.right((0, attachment_ts_1.makeNoBlobRecordAttachmentWriteV1)(exports.eligibilityAttachmentFamilyV1, payload.right));
-}
-/** The typed reader helper leaves unavailable and migration states as data. */
-function readAttemptEligibilityAttachmentV1(reader, owner) {
-    return reader.readAttemptAttachment(owner, exports.eligibilityAttachmentFamilyV1);
-}
-/** A pure view over the exact decoded eligibility facts. */
-function projectAttemptEligibilityPayloadV1(payload) {
-    return payload;
-}
-/** A typed synchronous projector for one available Attachment snapshot. */
-function projectEligibilityAttachmentV1(value) {
-    // Record has already exact-decoded and frozen every available payload.
-    return projectAttemptEligibilityPayloadV1(value.payload);
-}
-function projectEligibilityToken(value) {
-    return Object.freeze({ domain: value.domain, token: value.value });
-}
-function projectEligibility(value) {
-    const payload = value.payload;
     return Object.freeze({
-        reuseContract: projectEligibilityToken(payload.reuseContract),
-        input: projectEligibilityToken(payload.inputIdentity),
-        configuration: projectEligibilityToken(payload.configIdentity),
+        state: "available",
         duration: Object.freeze({
-            clockDomain: payload.executionDuration.domain,
-            milliseconds: payload.executionDuration.milliseconds,
+            domain: exports.EXECUTION_DURATION_DOMAIN,
+            milliseconds: coveredEnd,
         }),
     });
 }
-/** The public Eligibility view for an Attempt-owned Attachment. */
-exports.eligibilityProjector = (0, projector_ts_1.defineRecordAttachmentProjector)({
-    attachment: exports.eligibilityAttachmentFamilyV1,
-    project: projectEligibility,
-});
 //# sourceMappingURL=eligibility.cjs.map

package/dist/eval/record/eligibility.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"eligibility.js","sourceRoot":"","sources":["eligibility.ts"],"names":[],"mappings":";;;AAuBA,8CAQC;AAED,8CASC;AAkDD,8EAEC;AAQD,4EAWC;AAED,8EAMC;AAED,gFAEC;AAED,gFAEC;AAED,wEAGC;AAtID,mCAAwC;AAExC,+DAA4K;AAC5K,qEAAwF;AAGxF,gEAAiH;AACjH,mDAAuM;AAC1L,QAAA,8BAA8B,GAAG,sBAA+B,CAAC;AACjE,QAAA,mCAAmC,GAAG,yBAAkC,CAAC;AACtF;;;;GAIG;AACU,QAAA,4BAA4B,GAAG,gCAAyC,CAAC;AACtF,gFAAgF;AACnE,QAAA,uCAAuC,GAAG,GAAY,CAAC;AACvD,QAAA,sCAAsC,GAAG,IAAa,CAAC;AACpE,SAAS,qBAAqB,CAAC,KAAa,EAAE,aAAqB;IAC/D,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,aAAa,CAAC;AAC7D,CAAC;AACD,6EAA6E;AAC7E,SAAgB,iBAAiB,CAAC,KAAc;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAC3C,OAAO,KAAK,CAAC;IACjB,MAAM,KAAK,GAAG,KAAiC,CAAC;IAChD,OAAO,CAAC,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;WACjC,qBAAqB,CAAC,KAAK,CAAC,MAAM,EAAE,+CAAuC,CAAC;WAC5E,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;WAC/B,qBAAqB,CAAC,KAAK,CAAC,KAAK,EAAE,8CAAsC,CAAC,CAAC,CAAC;AACvF,CAAC;AACD,6EAA6E;AAC7E,SAAgB,iBAAiB,CAAC,KAAc;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAC3C,OAAO,KAAK,CAAC;IACjB,MAAM,QAAQ,GAAG,KAAiC,CAAC;IACnD,OAAO,CAAC,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ;WACpC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,EAAE,+CAAuC,CAAC;WAC/E,OAAO,QAAQ,CAAC,YAAY,KAAK,QAAQ;WACzC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC;WACtC,QAAQ,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC;AACvC,CAAC;AACD,MAAM,2BAA2B,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,KAAK,EAAE,+CAAuC,CAAC,EAAE;IACnJ,UAAU,EAAE,uBAAuB;IACnC,WAAW,EAAE,iEAAiE;CACjF,CAAC,CAAC,CAAC;AACJ,MAAM,0BAA0B,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,KAAK,EAAE,8CAAsC,CAAC,EAAE;IACjJ,UAAU,EAAE,sBAAsB;IAClC,WAAW,EAAE,iEAAiE;CACjF,CAAC,CAAC,CAAC;AACJ;;;GAGG;AACU,QAAA,qBAAqB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC/C,MAAM,EAAE,2BAA2B;IACnC,KAAK,EAAE,0BAA0B;CACpC,CAAC,CAAC;AAEH,oFAAoF;AACvE,QAAA,qBAAqB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC/C,MAAM,EAAE,2BAA2B;IACnC,YAAY,EAAE,+CAA+B;CAChD,CAAC,CAAC;AAEH;;;;GAIG;AACU,QAAA,iCAAiC,GAAG,eAAM,CAAC,MAAM,CAAC;IAC3D,aAAa,EAAE,6BAAqB;IACpC,aAAa,EAAE,6BAAqB;IACpC,cAAc,EAAE,6BAAqB;IACrC,iBAAiB,EAAE,6BAAqB;CAC3C,CAAC,CAAC;AAGH,oEAAoE;AACvD,QAAA,iCAAiC,GAAG,IAAA,mDAAmC,EAAC,IAAA,+CAAiC,EAAC;IACnH,KAAK,EAAE,SAAS;IAChB,IAAI,EAAE,sCAA8B;IACpC,QAAQ,EAAE,2CAAmC;IAC7C,MAAM,EAAE,yCAAiC;IACzC,QAAQ,EAAE,uCAAuB;CACpC,CAAC,EAAE,0DAA0D,CAAC,CAAC;AACnD,QAAA,6BAA6B,GAAG,IAAA,mDAAmC,EAAC,IAAA,uCAA4B,EAAC;IAC1G,OAAO,EAAE,yCAAiC;IAC1C,UAAU,EAAE,EAAE;CACjB,CAAC,EAAE,sDAAsD,CAAC,CAAC;AAC5D,8EAA8E;AAC9E,SAAgB,iCAAiC,CAAC,KAAc;IAC5D,OAAO,IAAA,4CAAiC,EAAC,yCAAiC,EAAE,KAAK,CAAC,CAAC;AACvF,CAAC;AAID;;;GAGG;AACH,SAAgB,gCAAgC,CAAC,KAAkC;IAC/E,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,yCAAiC,EAAE,iDAAiC,CAAC,CAAC,KAAK,CAAC,CAAC;IACxH,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,OAAO,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,oCAA6C,EAAE,CAAC,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,eAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;QAC9B,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAChE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAChE,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;QAClE,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC;KAC3E,CAAC,CAAC,CAAC;AACR,CAAC;AACD,2EAA2E;AAC3E,SAAgB,iCAAiC,CAAC,KAAkC;IAChF,MAAM,OAAO,GAAG,gCAAgC,CAAC,KAAK,CAAC,CAAC;IACxD,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,qCAA6B,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AACzG,CAAC;AACD,+EAA+E;AAC/E,SAAgB,kCAAkC,CAAY,MAAmC,EAAE,KAA0B;IACzH,OAAO,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,qCAA6B,CAAC,CAAC;AAC9E,CAAC;AACD,4DAA4D;AAC5D,SAAgB,kCAAkC,CAAC,OAAoC;IACnF,OAAO,OAAO,CAAC;AACnB,CAAC;AACD,2EAA2E;AAC3E,SAAgB,8BAA8B,CAAC,KAAyD;IACpG,uEAAuE;IACvE,OAAO,kCAAkC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAC7D,CAAC;AAiBD,SAAS,uBAAuB,CAAC,KAAsB;IACnD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;AACvE,CAAC;AACD,SAAS,kBAAkB,CAAC,KAAyD;IACjF,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,aAAa,EAAE,uBAAuB,CAAC,OAAO,CAAC,aAAa,CAAC;QAC7D,KAAK,EAAE,uBAAuB,CAAC,OAAO,CAAC,aAAa,CAAC;QACrD,aAAa,EAAE,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC;QAC9D,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;YACpB,WAAW,EAAE,OAAO,CAAC,iBAAiB,CAAC,MAAM;YAC7C,YAAY,EAAE,OAAO,CAAC,iBAAiB,CAAC,YAAY;SACvD,CAAC;KACL,CAAC,CAAC;AACP,CAAC;AACD,mEAAmE;AACtD,QAAA,oBAAoB,GAAsD,IAAA,8CAA+B,EAAC;IACnH,UAAU,EAAE,qCAA6B;IACzC,OAAO,EAAE,kBAAkB;CAC9B,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 type { RecordAttachmentRead } from \"../../record/model/read-state.ts\";\nimport type { FrozenRecordAttempt, FrozenRecordView } from \"../../record/reader/types.ts\";\nimport { defineRecordAttachmentProjector, type RecordAttachmentProjector, } from \"../../projection/projector.ts\";\nimport { ExactRecordAttachmentParseOptions, FiniteNonNegativeNumberV1Schema, makeNoBlobRecordAttachmentWriteV1, noRecordAttachmentBlobs, requireRecordAttachmentCapabilityV1, } from \"./attachment.ts\";\nexport const ELIGIBILITY_ATTACHMENT_NAME_V1 = \"niceeval.eligibility\" as const;\nexport const ELIGIBILITY_ATTACHMENT_SCHEMA_ID_V1 = \"niceeval.eligibility/v1\" as const;\n/**\n * The one clock domain used by ProjectTarget targets and persisted Eligibility\n * facts. A source duration is comparable only when both sides name this exact\n * domain.\n */\nexport const EXECUTION_DURATION_DOMAIN_V1 = \"niceeval.execution-duration/v1\" as const;\n/** Durable token text is bounded before it reaches an opaque Record payload. */\nexport const EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH_V1 = 255 as const;\nexport const EQUALITY_TOKEN_VALUE_MAXIMUM_LENGTH_V1 = 4096 as const;\nfunction isBoundedNonEmptyText(value: string, maximumLength: number): boolean {\n    return value.length > 0 && value.length <= maximumLength;\n}\n/** Runtime guard shared by planner inputs and the exact persisted schema. */\nexport function isEqualityTokenV1(value: unknown): value is EqualityTokenV1 {\n    if (typeof value !== \"object\" || value === null)\n        return false;\n    const token = value as Partial<EqualityTokenV1>;\n    return (typeof token.domain === \"string\"\n        && isBoundedNonEmptyText(token.domain, EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH_V1)\n        && typeof token.value === \"string\"\n        && isBoundedNonEmptyText(token.value, EQUALITY_TOKEN_VALUE_MAXIMUM_LENGTH_V1));\n}\n/** Runtime guard shared by planner inputs and the exact persisted schema. */\nexport function isDurationLimitV1(value: unknown): value is DurationLimitV1 {\n    if (typeof value !== \"object\" || value === null)\n        return false;\n    const duration = value as Partial<DurationLimitV1>;\n    return (typeof duration.domain === \"string\"\n        && isBoundedNonEmptyText(duration.domain, EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH_V1)\n        && typeof duration.milliseconds === \"number\"\n        && Number.isFinite(duration.milliseconds)\n        && duration.milliseconds >= 0);\n}\nconst EqualityTokenDomainV1Schema = Schema.String.pipe(Schema.filter((value) => isBoundedNonEmptyText(value, EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH_V1), {\n    identifier: \"EqualityTokenDomainV1\",\n    description: \"a non-empty equality-token domain no longer than 255 code units\",\n}));\nconst EqualityTokenValueV1Schema = Schema.String.pipe(Schema.filter((value) => isBoundedNonEmptyText(value, EQUALITY_TOKEN_VALUE_MAXIMUM_LENGTH_V1), {\n    identifier: \"EqualityTokenValueV1\",\n    description: \"a non-empty equality-token value no longer than 4096 code units\",\n}));\n/**\n * An opaque equality claim. Its value is meaningful only within its domain;\n * callers must never compare values from different domains.\n */\nexport const EqualityTokenV1Schema = Schema.Struct({\n    domain: EqualityTokenDomainV1Schema,\n    value: EqualityTokenValueV1Schema,\n});\nexport type EqualityTokenV1 = Schema.Schema.Type<typeof EqualityTokenV1Schema>;\n/** The duration's domain states which execution clock produced its milliseconds. */\nexport const DurationLimitV1Schema = Schema.Struct({\n    domain: EqualityTokenDomainV1Schema,\n    milliseconds: FiniteNonNegativeNumberV1Schema,\n});\nexport type DurationLimitV1 = Schema.Schema.Type<typeof DurationLimitV1Schema>;\n/**\n * The immutable eligibility claims recorded by an origin Attempt. This is not\n * a reusable result state: availability and migration remain Record read\n * states, while these four fields are compared by a named reuse policy.\n */\nexport const AttemptEligibilityPayloadV1Schema = Schema.Struct({\n    reuseContract: EqualityTokenV1Schema,\n    inputIdentity: EqualityTokenV1Schema,\n    configIdentity: EqualityTokenV1Schema,\n    executionDuration: DurationLimitV1Schema,\n});\nexport type AttemptEligibilityPayloadV1 = Schema.Schema.Type<typeof AttemptEligibilityPayloadV1Schema>;\nexport type AttemptEligibilityPayloadV1Encoded = Schema.Schema.Encoded<typeof AttemptEligibilityPayloadV1Schema>;\n/** Exact JSON definition for the Attempt-owned eligibility fact. */\nexport const eligibilityAttachmentDefinitionV1 = requireRecordAttachmentCapabilityV1(defineBuiltinJsonRecordAttachment({\n    owner: \"attempt\",\n    name: ELIGIBILITY_ATTACHMENT_NAME_V1,\n    schemaId: ELIGIBILITY_ATTACHMENT_SCHEMA_ID_V1,\n    schema: AttemptEligibilityPayloadV1Schema,\n    blobRefs: noRecordAttachmentBlobs,\n}), \"Eligibility v1 RecordAttachment definition must be valid\");\nexport const eligibilityAttachmentFamilyV1 = requireRecordAttachmentCapabilityV1(defineRecordAttachmentFamily({\n    current: eligibilityAttachmentDefinitionV1,\n    migrations: [],\n}), \"Eligibility v1 RecordAttachment family must be valid\");\n/** Uses the same all-errors, excess-property-rejecting boundary as Record. */\nexport function decodeAttemptEligibilityPayloadV1(input: unknown) {\n    return decodeJsonRecordAttachmentPayload(eligibilityAttachmentDefinitionV1, input);\n}\nexport type AttemptEligibilityPayloadBuildErrorV1 = {\n    readonly code: \"eligibility-payload-schema-invalid\";\n};\n/**\n * Validates producer input before it is captured by Record's opaque writer.\n * The payload contains only durable facts; it deliberately has no state field.\n */\nexport function buildAttemptEligibilityPayloadV1(input: AttemptEligibilityPayloadV1): Either.Either<AttemptEligibilityPayloadV1, AttemptEligibilityPayloadBuildErrorV1> {\n    const decoded = Schema.decodeUnknownEither(AttemptEligibilityPayloadV1Schema, ExactRecordAttachmentParseOptions)(input);\n    if (Either.isLeft(decoded)) {\n        return Either.left(Object.freeze({ code: \"eligibility-payload-schema-invalid\" as const }));\n    }\n    return Either.right(Object.freeze({\n        reuseContract: Object.freeze({ ...decoded.right.reuseContract }),\n        inputIdentity: Object.freeze({ ...decoded.right.inputIdentity }),\n        configIdentity: Object.freeze({ ...decoded.right.configIdentity }),\n        executionDuration: Object.freeze({ ...decoded.right.executionDuration }),\n    }));\n}\n/** Builds the real opaque Attempt write after exact payload validation. */\nexport function buildEligibilityAttachmentWriteV1(input: AttemptEligibilityPayloadV1): Either.Either<RecordAttachmentWrite<\"attempt\", never, never>, AttemptEligibilityPayloadBuildErrorV1> {\n    const payload = buildAttemptEligibilityPayloadV1(input);\n    if (Either.isLeft(payload)) {\n        return Either.left(payload.left);\n    }\n    return Either.right(makeNoBlobRecordAttachmentWriteV1(eligibilityAttachmentFamilyV1, payload.right));\n}\n/** The typed reader helper leaves unavailable and migration states as data. */\nexport function readAttemptEligibilityAttachmentV1<ReadError>(reader: FrozenRecordView<ReadError>, owner: FrozenRecordAttempt): Effect.Effect<RecordAttachmentRead<RecordAttachmentValue<AttemptEligibilityPayloadV1>>, ReadError> {\n    return reader.readAttemptAttachment(owner, eligibilityAttachmentFamilyV1);\n}\n/** A pure view over the exact decoded eligibility facts. */\nexport function projectAttemptEligibilityPayloadV1(payload: AttemptEligibilityPayloadV1): AttemptEligibilityPayloadV1 {\n    return payload;\n}\n/** A typed synchronous projector for one available Attachment snapshot. */\nexport function projectEligibilityAttachmentV1(value: RecordAttachmentValue<AttemptEligibilityPayloadV1>): AttemptEligibilityPayloadV1 {\n    // Record has already exact-decoded and frozen every available payload.\n    return projectAttemptEligibilityPayloadV1(value.payload);\n}\n/** A domain-qualified equality token exposed without durable payload coupling. */\nexport interface EligibilityToken {\n    readonly domain: string;\n    readonly token: string;\n}\nexport interface EligibilityDuration {\n    readonly clockDomain: string;\n    readonly milliseconds: number;\n}\n/** Historical reuse facts exposed as an immutable semantic view. */\nexport interface Eligibility {\n    readonly reuseContract: EligibilityToken;\n    readonly input: EligibilityToken;\n    readonly configuration: EligibilityToken;\n    readonly duration: EligibilityDuration;\n}\nfunction projectEligibilityToken(value: EqualityTokenV1): EligibilityToken {\n    return Object.freeze({ domain: value.domain, token: value.value });\n}\nfunction projectEligibility(value: RecordAttachmentValue<AttemptEligibilityPayloadV1>): Eligibility {\n    const payload = value.payload;\n    return Object.freeze({\n        reuseContract: projectEligibilityToken(payload.reuseContract),\n        input: projectEligibilityToken(payload.inputIdentity),\n        configuration: projectEligibilityToken(payload.configIdentity),\n        duration: Object.freeze({\n            clockDomain: payload.executionDuration.domain,\n            milliseconds: payload.executionDuration.milliseconds,\n        }),\n    });\n}\n/** The public Eligibility view for an Attempt-owned Attachment. */\nexport const eligibilityProjector: RecordAttachmentProjector<\"attempt\", Eligibility> = defineRecordAttachmentProjector({\n    attachment: eligibilityAttachmentFamilyV1,\n    project: projectEligibility,\n});\n"]}
+{"version":3,"file":"eligibility.js","sourceRoot":"","sources":["eligibility.ts"],"names":[],"mappings":";;;AAuBA,0CAEC;AACD,0CAEC;AA4BD,oEAiCC;AAzFD,mCAAwC;AACxC,mDAA8F;AAC9F;;;;GAIG;AACU,QAAA,yBAAyB,GAAG,gCAAyC,CAAC;AACtE,QAAA,oCAAoC,GAAG,GAAY,CAAC;AACpD,QAAA,mCAAmC,GAAG,IAAa,CAAC;AACjE,SAAS,qBAAqB,CAAC,KAAa,EAAE,aAAqB;IAC/D,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,aAAa,CAAC;AAC7D,CAAC;AACY,QAAA,mBAAmB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC7C,MAAM,EAAE,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,KAAK,EAAE,4CAAoC,CAAC,CAAC,CAAC;IACxH,KAAK,EAAE,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,KAAK,EAAE,2CAAmC,CAAC,CAAC,CAAC;CACzH,CAAC,CAAC;AAEU,QAAA,mBAAmB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC7C,MAAM,EAAE,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,KAAK,EAAE,4CAAoC,CAAC,CAAC,CAAC;IACxH,YAAY,EAAE,6CAA6B;CAC9C,CAAC,CAAC;AAEH,SAAgB,eAAe,CAAC,KAAc;IAC1C,OAAO,eAAM,CAAC,OAAO,CAAC,eAAM,CAAC,mBAAmB,CAAC,2BAAmB,EAAE,2CAA2B,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAC/G,CAAC;AACD,SAAgB,eAAe,CAAC,KAAc;IAC1C,OAAO,eAAM,CAAC,OAAO,CAAC,eAAM,CAAC,mBAAmB,CAAC,2BAAmB,EAAE,2CAA2B,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAC/G,CAAC;AAqBD;;;;;;GAMG;AACH,SAAgB,4BAA4B,CAAC,aAA0C;IACnF,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC;IACpC,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QACzC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,gBAAyB,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC;IACxF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,cAAuB,EAAE,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,WAAW,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IAC/F,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,QAAQ,IAAI,WAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,GAAG,QAAQ,CAAC,UAAU,CAAC;QACzD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,aAAa,CAAC;eAC1C,QAAQ,CAAC,aAAa,GAAG,CAAC;eAC1B,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC;eAC1C,QAAQ,CAAC,UAAU,GAAG,CAAC;eACvB,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC;eAC1B,QAAQ,CAAC,aAAa,GAAG,UAAU,EAAE,CAAC;YACzC,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,aAAsB;gBAC7B,MAAM,EAAE,0BAAmC;aAC9C,CAAC,CAAC;QACP,CAAC;QACD,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,KAAK,EAAE,WAAoB;QAC3B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;YACpB,MAAM,EAAE,iCAAyB;YACjC,YAAY,EAAE,UAAU;SAC3B,CAAC;KACL,CAAC,CAAC;AACP,CAAC","sourcesContent":["import { Either, Schema } from \"effect\";\nimport { ExactEvaluationParseOptions, FiniteNonNegativeNumberSchema, } from \"./attachment.ts\";\n/**\n * Eligibility is a current reuse-policy calculation. Record persists neither\n * an eligibility payload nor a second duration claim: source identity lives in\n * Core and source timing lives in fixed Observability.\n */\nexport const EXECUTION_DURATION_DOMAIN = \"niceeval.execution-duration/v1\" as const;\nexport const EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH = 255 as const;\nexport const EQUALITY_TOKEN_VALUE_MAXIMUM_LENGTH = 4096 as const;\nfunction isBoundedNonEmptyText(value: string, maximumLength: number): boolean {\n    return value.length > 0 && value.length <= maximumLength;\n}\nexport const EqualityTokenSchema = Schema.Struct({\n    domain: Schema.String.pipe(Schema.filter((value) => isBoundedNonEmptyText(value, EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH))),\n    value: Schema.String.pipe(Schema.filter((value) => isBoundedNonEmptyText(value, EQUALITY_TOKEN_VALUE_MAXIMUM_LENGTH))),\n});\nexport type EqualityToken = Schema.Schema.Type<typeof EqualityTokenSchema>;\nexport const DurationLimitSchema = Schema.Struct({\n    domain: Schema.String.pipe(Schema.filter((value) => isBoundedNonEmptyText(value, EQUALITY_TOKEN_DOMAIN_MAXIMUM_LENGTH))),\n    milliseconds: FiniteNonNegativeNumberSchema,\n});\nexport type DurationLimit = Schema.Schema.Type<typeof DurationLimitSchema>;\nexport function isEqualityToken(value: unknown): value is EqualityToken {\n    return Either.isRight(Schema.decodeUnknownEither(EqualityTokenSchema, ExactEvaluationParseOptions)(value));\n}\nexport function isDurationLimit(value: unknown): value is DurationLimit {\n    return Either.isRight(Schema.decodeUnknownEither(DurationLimitSchema, ExactEvaluationParseOptions)(value));\n}\nexport type AttemptExecutionDurationRead = {\n    readonly state: \"available\";\n    readonly duration: DurationLimit;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"timing-partial\" | \"timing-empty\" | \"timing-window-incomplete\";\n};\n/** The narrow fixed Observability surface needed for execution-time policy. */\nexport interface AttemptExecutionTimingFacts {\n    readonly timing: {\n        readonly collection: {\n            readonly state: string;\n        };\n        readonly intervals: readonly {\n            readonly startOffsetMs: number;\n            readonly durationMs: number;\n            readonly parentIntervalId: string | null;\n        }[];\n    };\n}\n/**\n * Derive the policy's duration only from a complete, gap-free union of root\n * timing windows. Overlapping roots are concurrent credible observations, not\n * duplicate duration. A partial collection, an omitted root, or a gap is not\n * a trustworthy execution-duration fact and therefore must not be treated as\n * zero.\n */\nexport function readAttemptExecutionDuration(observability: AttemptExecutionTimingFacts): AttemptExecutionDurationRead {\n    const timing = observability.timing;\n    if (timing.collection.state !== \"complete\") {\n        return Object.freeze({ state: \"unavailable\" as const, reason: \"timing-partial\" as const });\n    }\n    const roots = timing.intervals.filter((interval) => interval.parentIntervalId === null);\n    if (roots.length === 0) {\n        return Object.freeze({ state: \"unavailable\" as const, reason: \"timing-empty\" as const });\n    }\n    const sortedRoots = [...roots].sort((left, right) => left.startOffsetMs - right.startOffsetMs);\n    let coveredEnd = 0;\n    for (const interval of sortedRoots) {\n        const end = interval.startOffsetMs + interval.durationMs;\n        if (!Number.isSafeInteger(interval.startOffsetMs)\n            || interval.startOffsetMs < 0\n            || !Number.isSafeInteger(interval.durationMs)\n            || interval.durationMs < 0\n            || !Number.isSafeInteger(end)\n            || interval.startOffsetMs > coveredEnd) {\n            return Object.freeze({\n                state: \"unavailable\" as const,\n                reason: \"timing-window-incomplete\" as const,\n            });\n        }\n        coveredEnd = Math.max(coveredEnd, end);\n    }\n    return Object.freeze({\n        state: \"available\" as const,\n        duration: Object.freeze({\n            domain: EXECUTION_DURATION_DOMAIN,\n            milliseconds: coveredEnd,\n        }),\n    });\n}\n"]}