niceeval 0.12.2-canary.31 → 0.13.0

package/dist/assertions/api.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.js","sourceRoot":"","sources":["api.ts"],"names":[],"mappings":";;;AA4KA;;;;GAIG;AACU,QAAA,oBAAoB,GAAkB,MAAM,CAAC,2BAA2B,CAAC,CAAC;AAevF;;;;;GAKG;AACH,MAAa,6BAA8B,SAAQ,KAAK;IAE/B;IADZ,IAAI,GAAG,+BAA+B,CAAC;IAChD,YAAqB,MAA4G;QAC7H,KAAK,CAAC,kDAAkD,MAAM,EAAE,CAAC,CAAC;QADjD,WAAM,GAAN,MAAM,CAAsG;QAE7H,IAAI,CAAC,IAAI,GAAG,+BAA+B,CAAC;IAChD,CAAC;CACJ;AAND,sEAMC","sourcesContent":["import type { Effect } from \"effect\";\nimport type { BooleanMatch, MatchDiagnostic, ScoreMatch, ThresholdedScoreMatch, } from \"./match.ts\";\nimport type { AgentWorkspaceDiff } from \"./workspace-diff.ts\";\n/** The two Evaluation kinds deliberately share one Assertion entry model. */\nexport type AssertionEvaluationKind = \"pass\" | \"score\";\n/**\n * A bounded JSON-shaped value owned by the authoring runtime.  It is a\n * domain value, not the durable Assertions attachment material type.\n */\nexport type AssertionSnapshotValue = null | boolean | number | string | readonly AssertionSnapshotValue[] | AssertionSnapshotObject;\nexport interface AssertionSnapshotObject {\n    readonly [key: string]: AssertionSnapshotValue;\n}\nexport interface AssertionDisplay {\n    readonly key?: string;\n    readonly label?: string;\n    readonly groupPath: readonly string[];\n}\nexport type AssertionCoverage = {\n    readonly state: \"complete\";\n} | {\n    readonly state: \"partial\";\n    readonly reason: \"sampled\" | \"truncated\" | \"redacted\" | \"provider-limited\";\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"not-collected\" | \"source-unavailable\" | \"producer-failed\";\n} | {\n    readonly state: \"not-applicable\";\n    readonly reason: \"optional-material\" | \"unsupported-subject\";\n};\nexport type AssertionLimitation = {\n    readonly kind: \"redacted\";\n    readonly fieldCount: number;\n} | {\n    readonly kind: \"sampled\";\n    readonly captured: number;\n    readonly knownTotal?: number;\n} | {\n    readonly kind: \"truncated\";\n    readonly omittedBytes: number;\n} | {\n    readonly kind: \"provider-limited\";\n};\n/**\n * Authoring material intentionally has no blob ref, attachment entry ID, or\n * durable schema identity. The private producer adapter selects the exact\n * same-owner Attachment schema when it serializes this domain reference.\n */\nexport type AssertionMaterial = {\n    readonly kind: \"snapshot\";\n    readonly value: AssertionSnapshotValue;\n} | {\n    readonly kind: \"record-attachment\";\n    readonly preview: string;\n};\nexport type AssertionCriterion = {\n    readonly kind: \"value-match\";\n    readonly subject: \"explicit-value\";\n} | {\n    readonly kind: \"scope-status\";\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n    readonly assertion: \"succeeded\" | \"no-failed-actions\";\n} | {\n    readonly kind: \"occurrence\";\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n    readonly occurrence: \"tool\" | \"skill\" | \"event\";\n    readonly assertion: \"present\" | \"absent\" | \"count\";\n    readonly matcher?: string;\n    readonly quantifier?: {\n        readonly kind: \"absent\";\n    } | {\n        readonly kind: \"at-least\" | \"exact\";\n        readonly count: number;\n    };\n} | {\n    readonly kind: \"judge-measurement\";\n    readonly recipe: \"closed-qa\" | \"factuality\" | \"summarizes\";\n    readonly scale: \"unit-interval\";\n} | {\n    readonly kind: \"sandbox-result\";\n    readonly operation: \"changed-paths\";\n    readonly paths: readonly string[];\n} | {\n    readonly kind: \"sandbox-result\";\n    readonly operation: \"no-changes\";\n} | {\n    readonly kind: \"sandbox-result\";\n    readonly operation: \"file-changed\";\n    readonly path: string;\n    readonly status?: \"added\" | \"modified\" | \"deleted\";\n    readonly before?: string;\n    readonly after?: string;\n} | {\n    readonly kind: \"sandbox-result\";\n    readonly operation: \"file-deleted\";\n    readonly path: string;\n} | {\n    readonly kind: \"sandbox-result\";\n    readonly operation: \"not-in-diff\";\n    readonly pattern: string;\n    readonly flags: string;\n    readonly content: \"added\" | \"removed\" | \"both\";\n} | {\n    readonly kind: \"direct-score\";\n    readonly source: \"author\";\n} | {\n    readonly kind: \"third-party\";\n    readonly name: string;\n    readonly schemaId: string;\n    readonly data: AssertionSnapshotValue;\n};\nexport type AssertionScoreContribution = {\n    readonly state: \"not-scored\";\n} | {\n    readonly state: \"earned\";\n    readonly points: number;\n    readonly earned: number;\n} | {\n    readonly state: \"unavailable\";\n    readonly points: number;\n    readonly reason: \"source-unavailable\" | \"evaluation-errored\" | \"not-applicable\";\n};\nexport type AssertionResult = {\n    readonly state: \"matched\";\n    readonly gate: \"not-gate\" | \"satisfied\";\n    readonly score: Extract<AssertionScoreContribution, {\n        readonly state: \"not-scored\" | \"earned\";\n    }>;\n    readonly diagnostic?: AssertionSnapshotObject;\n} | {\n    readonly state: \"mismatched\";\n    readonly reason: \"condition-not-met\";\n    readonly gate: \"not-gate\" | \"failed\";\n    readonly score: Extract<AssertionScoreContribution, {\n        readonly state: \"not-scored\" | \"earned\";\n    }>;\n    readonly diagnostic?: AssertionSnapshotObject;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"evidence-unavailable\" | \"source-unavailable\" | \"redacted\";\n    readonly gate: \"not-gate\" | \"unavailable\";\n    readonly score: Extract<AssertionScoreContribution, {\n        readonly state: \"not-scored\" | \"unavailable\";\n    }>;\n    readonly diagnostic?: AssertionSnapshotObject;\n} | {\n    readonly state: \"errored\";\n    readonly reason: \"evaluator-failed\" | \"producer-interrupted\" | \"invalid-subject\";\n    readonly gate: \"not-gate\" | \"unavailable\";\n    readonly score: Extract<AssertionScoreContribution, {\n        readonly state: \"not-scored\" | \"unavailable\";\n    }>;\n    readonly diagnostic?: AssertionSnapshotObject;\n} | {\n    readonly state: \"not-applicable\";\n    readonly reason: \"coverage-not-applicable\";\n    readonly gate: \"not-gate\" | \"not-applicable\";\n    readonly score: Extract<AssertionScoreContribution, {\n        readonly state: \"not-scored\" | \"unavailable\";\n    }>;\n    readonly diagnostic?: AssertionSnapshotObject;\n};\n/** One fully formed author/runtime result, before durable attachment encoding. */\nexport interface SealedAssertionEntry {\n    readonly display: AssertionDisplay;\n    readonly criterion: AssertionCriterion;\n    readonly subject: AssertionMaterial;\n    readonly evidence: readonly AssertionMaterial[];\n    readonly coverage: AssertionCoverage;\n    readonly limitations: readonly AssertionLimitation[];\n    readonly result: AssertionResult;\n}\n/**\n * Assertion handles are runtime-owned capabilities, not subjects for another\n * `t.check`. The symbol is public only for TypeScript's nominal boundary; the\n * runtime also keeps an unforgeable ownership registry.\n */\nexport const assertionHandleBrand: unique symbol = Symbol(\"niceeval.assertion-handle\");\nexport interface AssertionHandleBase {\n    readonly [assertionHandleBrand]: true;\n    key(value: string): this;\n    label(value: string): this;\n    /** Adds one display-only group segment to this already registered entry. */\n    group(title: string): this;\n}\n/** A value that is not an AssertionHandle. */\nexport type AssertionSubject<Value> = Value extends AssertionHandleBase ? never : Value;\nexport interface AssertionStopError {\n    readonly _tag: \"AssertionStopError\";\n    readonly entryIndex: number;\n    readonly reason: \"condition-not-met\" | \"source-unavailable\" | \"evaluator-failed\" | \"not-applicable\";\n}\n/**\n * A public authoring call reached an Attempt boundary which is no longer able\n * to accept it. Keeping this distinct from an evaluator failure lets a\n * detached Promise diagnose its own lifecycle error instead of looking like a\n * failed assertion.\n */\nexport class AssertionAuthoringClosedError extends Error {\n    readonly _tag = \"AssertionAuthoringClosedError\";\n    constructor(readonly reason: \"stop-latched\" | \"attempt-sealing\" | \"attempt-sealed\" | \"attempt-interrupted\" | \"runtime-unattached\") {\n        super(`Cannot use an Assertion authoring handle after ${reason}`);\n        this.name = \"AssertionAuthoringClosedError\";\n    }\n}\n/**\n * The owning Attempt executes a requested stop barrier in its existing Effect\n * scope. Handles only enqueue this request; they never create a runtime.\n */\nexport type AssertionStopExecutor = <Value>(effect: Effect.Effect<Value, AssertionStopError, never>) => Promise<Value>;\n/** A Boolean entry is evaluated once and may retain a refinement witness. */\nexport type BooleanAssertionEvaluation<Refined> = {\n    readonly state: \"matched\";\n    readonly value: Refined;\n    readonly diagnostic?: MatchDiagnostic;\n} | {\n    readonly state: \"mismatched\";\n    readonly diagnostic?: MatchDiagnostic;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"evidence-unavailable\" | \"source-unavailable\" | \"redacted\";\n    readonly diagnostic?: MatchDiagnostic;\n} | {\n    readonly state: \"not-applicable\";\n    readonly diagnostic?: MatchDiagnostic;\n};\n/** A measurement is always a finite unit-interval value when it is available. */\nexport type MeasurementAssertionEvaluation = {\n    readonly state: \"measured\";\n    readonly value: number;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"evidence-unavailable\" | \"source-unavailable\" | \"redacted\";\n} | {\n    readonly state: \"not-applicable\";\n} | {\n    readonly state: \"errored\";\n};\nexport interface CapturedAssertionSnapshot {\n    readonly material: Extract<AssertionMaterial, {\n        readonly kind: \"snapshot\";\n    }>;\n    readonly coverage: AssertionCoverage;\n    readonly limitations: readonly AssertionLimitation[];\n}\nexport interface AssertionRegistrationBase {\n    readonly criterion: AssertionCriterion;\n    readonly subject: AssertionMaterial;\n    readonly evidence?: readonly AssertionMaterial[];\n    readonly coverage?: AssertionCoverage;\n    readonly limitations?: readonly AssertionLimitation[];\n}\n/**\n * Scope, Judge, and Sandbox adapters use this internal registration shape.\n * They still register exactly one Assertion entry; they do not manufacture a\n * separate intermediate value for a later consumer.\n */\nexport interface BooleanAssertionRegistration<Refined> extends AssertionRegistrationBase {\n    readonly evaluate: () => Effect.Effect<BooleanAssertionEvaluation<Refined>, unknown, never>;\n}\nexport interface MeasurementAssertionRegistration extends AssertionRegistrationBase {\n    readonly evaluate: () => Effect.Effect<MeasurementAssertionEvaluation, unknown, never>;\n}\nexport interface PassBooleanAssertionHandle<out Refined> extends AssertionHandleBase {\n    readonly kind: \"boolean\";\n    /** An unavailable/errored optional entry does not independently error Verdict. */\n    optional(): this;\n    gate(): this;\n    orStop(): Promise<Refined>;\n}\nexport interface ScoreBooleanAssertionHandle<out Refined> extends AssertionHandleBase {\n    readonly kind: \"boolean\";\n    score(points: number): this;\n    orStop(): Promise<Refined>;\n}\nexport interface PassMeasurementAssertionHandle<Thresholded extends boolean = false> extends AssertionHandleBase {\n    readonly kind: \"measurement\";\n    /** An unavailable/errored optional entry does not independently error Verdict. */\n    optional(): this;\n    atLeast(value: number): PassMeasurementAssertionHandle<true>;\n    gate(this: PassMeasurementAssertionHandle<true>): this;\n    orStop(this: PassMeasurementAssertionHandle<true>): Promise<number>;\n}\nexport interface ScoreMeasurementAssertionHandle<Thresholded extends boolean = false> extends AssertionHandleBase {\n    readonly kind: \"measurement\";\n    atLeast(value: number): ScoreMeasurementAssertionHandle<true>;\n    score(points: number): this;\n    orStop(this: ScoreMeasurementAssertionHandle<true>): Promise<number>;\n}\n/** A Boolean Assertion that intentionally has no author control-flow operation. */\ninterface PostRunPassBooleanAssertionHandle<Refined> extends AssertionHandleBase {\n    readonly kind: \"boolean\";\n    optional(): this;\n    gate(): this;\n}\ninterface PostRunScoreBooleanAssertionHandle<Refined> extends AssertionHandleBase {\n    readonly kind: \"boolean\";\n    score(points: number): this;\n}\nexport type PostRunBooleanAssertionHandle<Kind extends AssertionEvaluationKind, Refined> = Kind extends \"pass\" ? PostRunPassBooleanAssertionHandle<Refined> : PostRunScoreBooleanAssertionHandle<Refined>;\n/** Direct score is an Assertion entry, but has no condition or stop barrier. */\nexport interface DirectScoreAssertionHandle extends AssertionHandleBase {\n    readonly kind: \"direct-score\";\n}\nexport interface AssertionGroupContext {\n    /**\n     * Runs an ordinary author callback with one display-only group segment. The\n     * callback remains inside the Attempt's outer Promise boundary; this facade\n     * does not evaluate an Effect or create an independent runtime.\n     */\n    group<Value>(title: string, body: () => Value | PromiseLike<Value>): Promise<Awaited<Value>>;\n}\nexport interface PassAssertionsContext extends AssertionGroupContext {\n    readonly evaluationKind: \"pass\";\n    check<Value, Refined extends Value>(value: AssertionSubject<Value>, match: BooleanMatch<NoInfer<Value>, Refined, \"value\">): PassBooleanAssertionHandle<Refined>;\n    check<Value>(value: AssertionSubject<Value>, match: ScoreMatch<NoInfer<Value>>): PassMeasurementAssertionHandle;\n    check<Value>(value: AssertionSubject<Value>, match: ThresholdedScoreMatch<NoInfer<Value>>): PassMeasurementAssertionHandle<true>;\n}\nexport interface ScoreAssertionsContext extends AssertionGroupContext {\n    readonly evaluationKind: \"score\";\n    check<Value, Refined extends Value>(value: AssertionSubject<Value>, match: BooleanMatch<NoInfer<Value>, Refined, \"value\">): ScoreBooleanAssertionHandle<Refined>;\n    check<Value>(value: AssertionSubject<Value>, match: ScoreMatch<NoInfer<Value>>): ScoreMeasurementAssertionHandle;\n    check<Value>(value: AssertionSubject<Value>, match: ThresholdedScoreMatch<NoInfer<Value>>): ScoreMeasurementAssertionHandle<true>;\n    score(points: number): DirectScoreAssertionHandle;\n}\nexport type AssertionsContext<Kind extends AssertionEvaluationKind> = Kind extends \"pass\" ? PassAssertionsContext : ScoreAssertionsContext;\nexport type BooleanAssertionHandle<Kind extends AssertionEvaluationKind, Refined> = Kind extends \"pass\" ? PassBooleanAssertionHandle<Refined> : ScoreBooleanAssertionHandle<Refined>;\nexport type MeasurementAssertionHandle<Kind extends AssertionEvaluationKind> = Kind extends \"pass\" ? PassMeasurementAssertionHandle : ScoreMeasurementAssertionHandle;\nexport interface AssertionSealOptions {\n    readonly execution?: \"completed\" | \"errored\";\n    readonly explicitlySkipped?: boolean;\n    /**\n     * The owning Attempt was interrupted before ordinary evaluation could\n     * finish. Unsettled entries are sealed as producer-interrupted instead of\n     * being silently omitted or evaluated on a detached runtime.\n     */\n    readonly interrupted?: boolean;\n}\nexport interface AssertionSealError {\n    readonly _tag: \"AssertionSealError\";\n    readonly code: \"pass-measurement-threshold-missing\";\n    readonly entryIndex: number;\n}\n/** The sealed evaluation is a domain result, not a durable Record payload. */\nexport interface SealedAssertionEvaluationEntry {\n    readonly required: boolean;\n    readonly result: AssertionResult;\n}\nexport interface SealedAssertionEvaluation {\n    readonly execution: \"completed\" | \"errored\";\n    readonly explicitlySkipped: boolean;\n    readonly assertions: readonly SealedAssertionEvaluationEntry[];\n}\n/**\n * One immutable result feeds the Verdict/Score fold and the private durable\n * producer adapter. No RecordAttachment writer type crosses this boundary.\n */\nexport interface SealedAssertionsRuntime {\n    readonly entries: readonly SealedAssertionEntry[];\n    readonly evaluation: SealedAssertionEvaluation;\n}\n/** The runtime Verdict is independent of the durable Verdict attachment codec. */\nexport interface AssertionVerdict {\n    readonly state: \"passed\" | \"failed\" | \"errored\" | \"skipped\";\n}\nexport type AssertionScoreIncompleteReason = \"execution-errored\" | \"source-unavailable\" | \"evaluation-errored\" | \"not-applicable\";\n/** The runtime Score is independent of the durable Score attachment codec. */\nexport type AssertionScore = {\n    readonly state: \"complete\";\n    readonly earned: number;\n} | {\n    readonly state: \"partial\";\n    readonly earned: number;\n    readonly reasons: readonly AssertionScoreIncompleteReason[];\n} | {\n    readonly state: \"unavailable\";\n    readonly reasons: readonly AssertionScoreIncompleteReason[];\n};\n/**\n * The attempt-owned frozen result is handed from Runner to the Evaluation\n * Record adapter. The adapter alone adds attachment schemas and writes.\n */\nexport interface SealedAttemptAssertions {\n    readonly entries: readonly SealedAssertionEntry[];\n    readonly evaluation: SealedAssertionEvaluation;\n    readonly workspaceDiff?: AgentWorkspaceDiff;\n    readonly verdict: AssertionVerdict;\n    readonly score?: AssertionScore;\n}\nexport interface AssertionsRuntime<Kind extends AssertionEvaluationKind> {\n    readonly evaluationKind: Kind;\n    readonly t: AssertionsContext<Kind>;\n    registerBoolean<Refined>(definition: BooleanAssertionRegistration<Refined>): BooleanAssertionHandle<Kind, Refined>;\n    registerMeasurement(definition: MeasurementAssertionRegistration): MeasurementAssertionHandle<Kind>;\n    seal(options?: AssertionSealOptions): Effect.Effect<SealedAssertionsRuntime, AssertionSealError, never>;\n}\n"]}
+{"version":3,"file":"api.js","sourceRoot":"","sources":["api.ts"],"names":[],"mappings":";;;AA4KA;;;;GAIG;AACU,QAAA,oBAAoB,GAAkB,MAAM,CAAC,2BAA2B,CAAC,CAAC;AAevF;;;;;GAKG;AACH,MAAa,6BAA8B,SAAQ,KAAK;IAE/B;IADZ,IAAI,GAAG,+BAA+B,CAAC;IAChD,YAAqB,MAA4G;QAC7H,KAAK,CAAC,kDAAkD,MAAM,EAAE,CAAC,CAAC;QADjD,WAAM,GAAN,MAAM,CAAsG;QAE7H,IAAI,CAAC,IAAI,GAAG,+BAA+B,CAAC;IAChD,CAAC;CACJ;AAND,sEAMC","sourcesContent":["import type { Effect } from \"effect\";\nimport type { BooleanMatch, MatchDiagnostic, ScoreMatch, ThresholdedScoreMatch, } from \"./match.ts\";\nimport type { AgentWorkspaceDiff } from \"./workspace-diff.ts\";\n/** The two Evaluation kinds deliberately share one Assertion entry model. */\nexport type AssertionEvaluationKind = \"pass\" | \"score\";\n/**\n * A bounded JSON-shaped value owned by the authoring runtime.  It is a\n * domain value, not the durable Assertions attachment material type.\n */\nexport type AssertionSnapshotValue = null | boolean | number | string | readonly AssertionSnapshotValue[] | AssertionSnapshotObject;\nexport interface AssertionSnapshotObject {\n    readonly [key: string]: AssertionSnapshotValue;\n}\nexport interface AssertionDisplay {\n    readonly key?: string;\n    readonly label?: string;\n    readonly groupPath: readonly string[];\n}\nexport type AssertionCoverage = {\n    readonly state: \"complete\";\n} | {\n    readonly state: \"partial\";\n    readonly reason: \"sampled\" | \"truncated\" | \"redacted\" | \"provider-limited\";\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"not-collected\" | \"source-unavailable\" | \"producer-failed\";\n} | {\n    readonly state: \"not-applicable\";\n    readonly reason: \"optional-material\" | \"unsupported-subject\";\n};\nexport type AssertionLimitation = {\n    readonly kind: \"redacted\";\n    readonly fieldCount: number;\n} | {\n    readonly kind: \"sampled\";\n    readonly captured: number;\n    readonly knownTotal?: number;\n} | {\n    readonly kind: \"truncated\";\n    readonly omittedBytes: number;\n} | {\n    readonly kind: \"provider-limited\";\n};\n/**\n * Authoring material intentionally has no blob ref, attachment entry ID, or\n * durable schema identity. The private producer adapter selects the exact\n * same-owner Attachment schema when it serializes this domain reference.\n */\nexport type AssertionMaterial = {\n    readonly kind: \"snapshot\";\n    readonly value: AssertionSnapshotValue;\n} | {\n    readonly kind: \"record-attachment\";\n    readonly preview: string;\n};\nexport type AssertionCriterion = {\n    readonly kind: \"value-match\";\n    readonly subject: \"explicit-value\";\n} | {\n    readonly kind: \"scope-status\";\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n    readonly assertion: \"succeeded\" | \"no-failed-actions\";\n} | {\n    readonly kind: \"occurrence\";\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n    readonly occurrence: \"tool\" | \"skill\" | \"event\";\n    readonly assertion: \"present\" | \"absent\" | \"count\";\n    readonly matcher?: string;\n    readonly quantifier?: {\n        readonly kind: \"absent\";\n    } | {\n        readonly kind: \"at-least\" | \"exact\";\n        readonly count: number;\n    };\n} | {\n    readonly kind: \"judge-measurement\";\n    readonly recipe: \"closed-qa\" | \"factuality\" | \"summarizes\";\n    readonly scale: \"unit-interval\";\n} | {\n    readonly kind: \"sandbox-result\";\n    readonly operation: \"changed-paths\";\n    readonly paths: readonly string[];\n} | {\n    readonly kind: \"sandbox-result\";\n    readonly operation: \"no-changes\";\n} | {\n    readonly kind: \"sandbox-result\";\n    readonly operation: \"file-changed\";\n    readonly path: string;\n    readonly status?: \"added\" | \"modified\" | \"deleted\";\n    readonly before?: string;\n    readonly after?: string;\n} | {\n    readonly kind: \"sandbox-result\";\n    readonly operation: \"file-deleted\";\n    readonly path: string;\n} | {\n    readonly kind: \"sandbox-result\";\n    readonly operation: \"not-in-diff\";\n    readonly pattern: string;\n    readonly flags: string;\n    readonly content: \"added\" | \"removed\" | \"both\";\n} | {\n    readonly kind: \"direct-score\";\n    readonly source: \"author\";\n} | {\n    readonly kind: \"third-party\";\n    readonly name: string;\n    readonly schemaId: string;\n    readonly data: AssertionSnapshotValue;\n};\nexport type AssertionScoreContribution = {\n    readonly state: \"not-scored\";\n} | {\n    readonly state: \"earned\";\n    readonly points: number;\n    readonly earned: number;\n} | {\n    readonly state: \"unavailable\";\n    readonly points: number;\n    readonly reason: \"source-unavailable\" | \"evaluation-errored\" | \"not-applicable\";\n};\nexport type AssertionResult = {\n    readonly state: \"matched\";\n    readonly gate: \"not-gate\" | \"satisfied\";\n    readonly score: Extract<AssertionScoreContribution, {\n        readonly state: \"not-scored\" | \"earned\";\n    }>;\n    readonly diagnostic?: AssertionSnapshotObject;\n} | {\n    readonly state: \"mismatched\";\n    readonly reason: \"condition-not-met\";\n    readonly gate: \"not-gate\" | \"failed\";\n    readonly score: Extract<AssertionScoreContribution, {\n        readonly state: \"not-scored\" | \"earned\";\n    }>;\n    readonly diagnostic?: AssertionSnapshotObject;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"evidence-unavailable\" | \"source-unavailable\" | \"redacted\";\n    readonly gate: \"not-gate\" | \"unavailable\";\n    readonly score: Extract<AssertionScoreContribution, {\n        readonly state: \"not-scored\" | \"unavailable\";\n    }>;\n    readonly diagnostic?: AssertionSnapshotObject;\n} | {\n    readonly state: \"errored\";\n    readonly reason: \"evaluator-failed\" | \"producer-interrupted\" | \"invalid-subject\";\n    readonly gate: \"not-gate\" | \"unavailable\";\n    readonly score: Extract<AssertionScoreContribution, {\n        readonly state: \"not-scored\" | \"unavailable\";\n    }>;\n    readonly diagnostic?: AssertionSnapshotObject;\n} | {\n    readonly state: \"not-applicable\";\n    readonly reason: \"coverage-not-applicable\";\n    readonly gate: \"not-gate\" | \"not-applicable\";\n    readonly score: Extract<AssertionScoreContribution, {\n        readonly state: \"not-scored\" | \"unavailable\";\n    }>;\n    readonly diagnostic?: AssertionSnapshotObject;\n};\n/** One fully formed author/runtime result, before durable attachment encoding. */\nexport interface SealedAssertionEntry {\n    readonly display: AssertionDisplay;\n    readonly criterion: AssertionCriterion;\n    readonly subject: AssertionMaterial;\n    readonly evidence: readonly AssertionMaterial[];\n    readonly coverage: AssertionCoverage;\n    readonly limitations: readonly AssertionLimitation[];\n    readonly result: AssertionResult;\n}\n/**\n * Assertion handles are runtime-owned capabilities, not subjects for another\n * `t.check`. The symbol is public only for TypeScript's nominal boundary; the\n * runtime also keeps an unforgeable ownership registry.\n */\nexport const assertionHandleBrand: unique symbol = Symbol(\"niceeval.assertion-handle\");\nexport interface AssertionHandleBase {\n    readonly [assertionHandleBrand]: true;\n    key(value: string): this;\n    label(value: string): this;\n    /** Adds one display-only group segment to this already registered entry. */\n    group(title: string): this;\n}\n/** A value that is not an AssertionHandle. */\nexport type AssertionSubject<Value> = Value extends AssertionHandleBase ? never : Value;\nexport interface AssertionStopError {\n    readonly _tag: \"AssertionStopError\";\n    readonly entryIndex: number;\n    readonly reason: \"condition-not-met\" | \"source-unavailable\" | \"evaluator-failed\" | \"not-applicable\";\n}\n/**\n * A public authoring call reached an Attempt boundary which is no longer able\n * to accept it. Keeping this distinct from an evaluator failure lets a\n * detached Promise diagnose its own lifecycle error instead of looking like a\n * failed assertion.\n */\nexport class AssertionAuthoringClosedError extends Error {\n    readonly _tag = \"AssertionAuthoringClosedError\";\n    constructor(readonly reason: \"stop-latched\" | \"attempt-sealing\" | \"attempt-sealed\" | \"attempt-interrupted\" | \"runtime-unattached\") {\n        super(`Cannot use an Assertion authoring handle after ${reason}`);\n        this.name = \"AssertionAuthoringClosedError\";\n    }\n}\n/**\n * The owning Attempt executes a requested stop barrier in its existing Effect\n * scope. Handles only enqueue this request; they never create a runtime.\n */\nexport type AssertionStopExecutor = <Value>(effect: Effect.Effect<Value, AssertionStopError, never>) => Promise<Value>;\n/** A Boolean entry is evaluated once and may retain a refinement witness. */\nexport type BooleanAssertionEvaluation<Refined> = {\n    readonly state: \"matched\";\n    readonly value: Refined;\n    readonly diagnostic?: MatchDiagnostic;\n} | {\n    readonly state: \"mismatched\";\n    readonly diagnostic?: MatchDiagnostic;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"evidence-unavailable\" | \"source-unavailable\" | \"redacted\";\n    readonly diagnostic?: MatchDiagnostic;\n} | {\n    readonly state: \"not-applicable\";\n    readonly diagnostic?: MatchDiagnostic;\n};\n/** A measurement is always a finite unit-interval value when it is available. */\nexport type MeasurementAssertionEvaluation = {\n    readonly state: \"measured\";\n    readonly value: number;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"evidence-unavailable\" | \"source-unavailable\" | \"redacted\";\n} | {\n    readonly state: \"not-applicable\";\n} | {\n    readonly state: \"errored\";\n};\nexport interface CapturedAssertionSnapshot {\n    readonly material: Extract<AssertionMaterial, {\n        readonly kind: \"snapshot\";\n    }>;\n    readonly coverage: AssertionCoverage;\n    readonly limitations: readonly AssertionLimitation[];\n}\nexport interface AssertionRegistrationBase {\n    readonly criterion: AssertionCriterion;\n    readonly subject: AssertionMaterial;\n    readonly evidence?: readonly AssertionMaterial[];\n    readonly coverage?: AssertionCoverage;\n    readonly limitations?: readonly AssertionLimitation[];\n}\n/**\n * Scope, Judge, and Sandbox adapters use this internal registration shape.\n * They still register exactly one Assertion entry; they do not manufacture a\n * separate intermediate value for a later consumer.\n */\nexport interface BooleanAssertionRegistration<Refined> extends AssertionRegistrationBase {\n    readonly evaluate: () => Effect.Effect<BooleanAssertionEvaluation<Refined>, unknown, never>;\n}\nexport interface MeasurementAssertionRegistration extends AssertionRegistrationBase {\n    readonly evaluate: () => Effect.Effect<MeasurementAssertionEvaluation, unknown, never>;\n}\nexport interface PassBooleanAssertionHandle<out Refined> extends AssertionHandleBase {\n    readonly kind: \"boolean\";\n    /** An unavailable/errored optional entry does not independently error Verdict. */\n    optional(): this;\n    gate(): this;\n    orStop(): Promise<Refined>;\n}\nexport interface ScoreBooleanAssertionHandle<out Refined> extends AssertionHandleBase {\n    readonly kind: \"boolean\";\n    score(points: number): this;\n    orStop(): Promise<Refined>;\n}\nexport interface PassMeasurementAssertionHandle<Thresholded extends boolean = false> extends AssertionHandleBase {\n    readonly kind: \"measurement\";\n    /** An unavailable/errored optional entry does not independently error Verdict. */\n    optional(): this;\n    atLeast(value: number): PassMeasurementAssertionHandle<true>;\n    gate(value: number): PassMeasurementAssertionHandle<true>;\n    orStop(this: PassMeasurementAssertionHandle<true>): Promise<number>;\n}\nexport interface ScoreMeasurementAssertionHandle<Thresholded extends boolean = false> extends AssertionHandleBase {\n    readonly kind: \"measurement\";\n    atLeast(value: number): ScoreMeasurementAssertionHandle<true>;\n    score(points: number): this;\n    orStop(this: ScoreMeasurementAssertionHandle<true>): Promise<number>;\n}\n/** A Boolean Assertion that intentionally has no author control-flow operation. */\ninterface PostRunPassBooleanAssertionHandle<Refined> extends AssertionHandleBase {\n    readonly kind: \"boolean\";\n    optional(): this;\n    gate(): this;\n}\ninterface PostRunScoreBooleanAssertionHandle<Refined> extends AssertionHandleBase {\n    readonly kind: \"boolean\";\n    score(points: number): this;\n}\nexport type PostRunBooleanAssertionHandle<Kind extends AssertionEvaluationKind, Refined> = Kind extends \"pass\" ? PostRunPassBooleanAssertionHandle<Refined> : PostRunScoreBooleanAssertionHandle<Refined>;\n/** Direct score is an Assertion entry, but has no condition or stop barrier. */\nexport interface DirectScoreAssertionHandle extends AssertionHandleBase {\n    readonly kind: \"direct-score\";\n}\nexport interface AssertionGroupContext {\n    /**\n     * Runs an ordinary author callback with one display-only group segment. The\n     * callback remains inside the Attempt's outer Promise boundary; this facade\n     * does not evaluate an Effect or create an independent runtime.\n     */\n    group<Value>(title: string, body: () => Value | PromiseLike<Value>): Promise<Awaited<Value>>;\n}\nexport interface PassAssertionsContext extends AssertionGroupContext {\n    readonly evaluationKind: \"pass\";\n    check<Value, Refined extends Value>(value: AssertionSubject<Value>, match: BooleanMatch<NoInfer<Value>, Refined, \"value\">): PassBooleanAssertionHandle<Refined>;\n    check<Value>(value: AssertionSubject<Value>, match: ScoreMatch<NoInfer<Value>>): PassMeasurementAssertionHandle;\n    check<Value>(value: AssertionSubject<Value>, match: ThresholdedScoreMatch<NoInfer<Value>>): PassMeasurementAssertionHandle<true>;\n}\nexport interface ScoreAssertionsContext extends AssertionGroupContext {\n    readonly evaluationKind: \"score\";\n    check<Value, Refined extends Value>(value: AssertionSubject<Value>, match: BooleanMatch<NoInfer<Value>, Refined, \"value\">): ScoreBooleanAssertionHandle<Refined>;\n    check<Value>(value: AssertionSubject<Value>, match: ScoreMatch<NoInfer<Value>>): ScoreMeasurementAssertionHandle;\n    check<Value>(value: AssertionSubject<Value>, match: ThresholdedScoreMatch<NoInfer<Value>>): ScoreMeasurementAssertionHandle<true>;\n    score(points: number): DirectScoreAssertionHandle;\n}\nexport type AssertionsContext<Kind extends AssertionEvaluationKind> = Kind extends \"pass\" ? PassAssertionsContext : ScoreAssertionsContext;\nexport type BooleanAssertionHandle<Kind extends AssertionEvaluationKind, Refined> = Kind extends \"pass\" ? PassBooleanAssertionHandle<Refined> : ScoreBooleanAssertionHandle<Refined>;\nexport type MeasurementAssertionHandle<Kind extends AssertionEvaluationKind> = Kind extends \"pass\" ? PassMeasurementAssertionHandle : ScoreMeasurementAssertionHandle;\nexport interface AssertionSealOptions {\n    readonly execution?: \"completed\" | \"errored\";\n    readonly explicitlySkipped?: boolean;\n    /**\n     * The owning Attempt was interrupted before ordinary evaluation could\n     * finish. Unsettled entries are sealed as producer-interrupted instead of\n     * being silently omitted or evaluated on a detached runtime.\n     */\n    readonly interrupted?: boolean;\n}\nexport interface AssertionSealError {\n    readonly _tag: \"AssertionSealError\";\n    readonly code: \"pass-measurement-threshold-missing\";\n    readonly entryIndex: number;\n}\n/** The sealed evaluation is a domain result, not a durable Record payload. */\nexport interface SealedAssertionEvaluationEntry {\n    readonly required: boolean;\n    readonly result: AssertionResult;\n}\nexport interface SealedAssertionEvaluation {\n    readonly execution: \"completed\" | \"errored\";\n    readonly explicitlySkipped: boolean;\n    readonly assertions: readonly SealedAssertionEvaluationEntry[];\n}\n/**\n * One immutable result feeds the Verdict/Score fold and the private durable\n * producer adapter. No RecordAttachment writer type crosses this boundary.\n */\nexport interface SealedAssertionsRuntime {\n    readonly entries: readonly SealedAssertionEntry[];\n    readonly evaluation: SealedAssertionEvaluation;\n}\n/** The runtime Verdict is independent of the durable Verdict attachment codec. */\nexport interface AssertionVerdict {\n    readonly state: \"passed\" | \"failed\" | \"errored\" | \"skipped\";\n}\nexport type AssertionScoreIncompleteReason = \"execution-errored\" | \"source-unavailable\" | \"evaluation-errored\" | \"not-applicable\";\n/** The runtime Score is independent of the durable Score attachment codec. */\nexport type AssertionScore = {\n    readonly state: \"complete\";\n    readonly earned: number;\n} | {\n    readonly state: \"partial\";\n    readonly earned: number;\n    readonly reasons: readonly AssertionScoreIncompleteReason[];\n} | {\n    readonly state: \"unavailable\";\n    readonly reasons: readonly AssertionScoreIncompleteReason[];\n};\n/**\n * The attempt-owned frozen result is handed from Runner to the Evaluation\n * Record adapter. The adapter alone adds attachment schemas and writes.\n */\nexport interface SealedAttemptAssertions {\n    readonly entries: readonly SealedAssertionEntry[];\n    readonly evaluation: SealedAssertionEvaluation;\n    readonly workspaceDiff?: AgentWorkspaceDiff;\n    readonly verdict: AssertionVerdict;\n    readonly score?: AssertionScore;\n}\nexport interface AssertionsRuntime<Kind extends AssertionEvaluationKind> {\n    readonly evaluationKind: Kind;\n    readonly t: AssertionsContext<Kind>;\n    registerBoolean<Refined>(definition: BooleanAssertionRegistration<Refined>): BooleanAssertionHandle<Kind, Refined>;\n    registerMeasurement(definition: MeasurementAssertionRegistration): MeasurementAssertionHandle<Kind>;\n    seal(options?: AssertionSealOptions): Effect.Effect<SealedAssertionsRuntime, AssertionSealError, never>;\n}\n"]}

package/dist/assertions/api.d.cts

@@ -276,7 +276,7 @@ export interface PassMeasurementAssertionHandle<Thresholded extends boolean = fa
     /** An unavailable/errored optional entry does not independently error Verdict. */
     optional(): this;
     atLeast(value: number): PassMeasurementAssertionHandle<true>;
-    gate(this: PassMeasurementAssertionHandle<true>): this;
+    gate(value: number): PassMeasurementAssertionHandle<true>;
     orStop(this: PassMeasurementAssertionHandle<true>): Promise<number>;
 }
 export interface ScoreMeasurementAssertionHandle<Thresholded extends boolean = false> extends AssertionHandleBase {

package/dist/assertions/api.d.mts

@@ -276,7 +276,7 @@ export interface PassMeasurementAssertionHandle<Thresholded extends boolean = fa
     /** An unavailable/errored optional entry does not independently error Verdict. */
     optional(): this;
     atLeast(value: number): PassMeasurementAssertionHandle<true>;
-    gate(this: PassMeasurementAssertionHandle<true>): this;
+    gate(value: number): PassMeasurementAssertionHandle<true>;
     orStop(this: PassMeasurementAssertionHandle<true>): Promise<number>;
 }
 export interface ScoreMeasurementAssertionHandle<Thresholded extends boolean = false> extends AssertionHandleBase {

package/dist/assertions/api.d.ts

@@ -276,7 +276,7 @@ export interface PassMeasurementAssertionHandle<Thresholded extends boolean = fa
     /** An unavailable/errored optional entry does not independently error Verdict. */
     optional(): this;
     atLeast(value: number): PassMeasurementAssertionHandle<true>;
-    gate(this: PassMeasurementAssertionHandle<true>): this;
+    gate(value: number): PassMeasurementAssertionHandle<true>;
     orStop(this: PassMeasurementAssertionHandle<true>): Promise<number>;
 }
 export interface ScoreMeasurementAssertionHandle<Thresholded extends boolean = false> extends AssertionHandleBase {

package/dist/assertions/diff.cjs

@@ -180,8 +180,8 @@ function touchedWindowsOf(diff, path) {
     return diff.files[path]?.windows;
 }
 /**
- * exact touched-path set 的三值求值(docs/roadmap/assertion-authoring/architecture.md
- * 「Sandbox diff collector」):
+ * exact touched-path set 的三值求值(docs/feature/sandbox/architecture.md
+ * 「变更归因:send 区间与分类账」):
  * - 已观察到 expected 外的确定 path,立即 failed(partial 也如此,不会被后续窗口推翻);
  * - collector complete 时,集合相等 passed,不等 failed;
  * - collector partial 且尚无矛盾(observed ⊆ expected)时 unavailable。

package/dist/assertions/diff.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"diff.js","sourceRoot":"","sources":["diff.ts"],"names":[],"mappings":";;AAOA,wCA4CC;AAmBD,kCAEC;AAED,kCAcC;AAMD,0CAOC;AAED,gDASC;AAED,wCAMC;AAED,sCAEC;AAYD,4EAUC;AACD,oFAIC;AACD,oEASC;AAED,oCAEC;AAED,kCAEC;AAED,4CAEC;AAqBD,oDAmBC;AAED,8CAEC;AA6CD,4DAcC;AA9QD,6DAA6D;AAC7D,SAAgB,cAAc,CAAC,OAAqB;IAChD,MAAM,OAAO,GAAG,IAAI,GAAG,EAKnB,CAAC;IACL,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1D,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;YACrC,IAAI,KAAK,EAAE,CAAC;gBACR,KAAK,CAAC,IAAI,GAAG,MAAM,CAAC;gBACpB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAClC,qDAAqD;gBACrD,+BAA+B;gBAC/B,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,QAAQ,CAAC;oBAC3E,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC;YAC9B,CAAC;iBACI,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACxH,CAAC;QACL,CAAC;IACL,CAAC;IACD,MAAM,KAAK,GAA+C,EAAE,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,GAAG;YACV,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC;YACxC,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpD,CAAC;IACN,CAAC;IACD,OAAO;QACH,OAAO;QACP,KAAK;QACL,GAAG,CAAC,IAAY;YACZ,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBACN,OAAO,SAAS,CAAC;YACrB,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS;gBAC/B,OAAO,SAAS,CAAC;YACrB,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;QAC5B,CAAC;KACJ,CAAC;AACN,CAAC;AACD,kCAAkC;AAClC,SAAS,UAAU,CAAC,KAAmB,EAAE,IAAkB;IACvD,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC;IAC/C,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;IAC9C,IAAI,CAAC,aAAa,IAAI,CAAC,WAAW;QAC9B,OAAO,MAAM,CAAC,CAAC,QAAQ;IAC3B,IAAI,CAAC,aAAa,IAAI,WAAW;QAC7B,OAAO,OAAO,CAAC;IACnB,IAAI,aAAa,IAAI,CAAC,WAAW;QAC7B,OAAO,SAAS,CAAC;IACrB,gDAAgD;IAChD,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC;IAChE,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC;IAC3D,IAAI,aAAa,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS,IAAI,aAAa,KAAK,YAAY;QAC3F,OAAO,MAAM,CAAC;IAClB,OAAO,UAAU,CAAC;AACtB,CAAC;AACD,oCAAoC;AACpC,SAAgB,WAAW,CAAC,IAAc;IACtC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;AAChD,CAAC;AACD,4CAA4C;AAC5C,SAAgB,WAAW,CAAC,IAAc,EAAE,EAAU;IAClD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACb,OAAO,IAAI,CAAC;IACpB,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAChC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACjD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;gBACnD,OAAO,IAAI,CAAC;YAChB,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACrD,OAAO,IAAI,CAAC;QACpB,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AACD;;;;GAIG;AACH,SAAgB,eAAe,CAAC,IAAc,EAAE,IAAY;IACxD,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,MAAM,KAAK,SAAS;YACpB,OAAO,MAAM,CAAC,MAAM,CAAC;IAC7B,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AACD,2CAA2C;AAC3C,SAAgB,kBAAkB,CAAC,IAAc;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1D,IAAI,MAAM,CAAC,MAAM;gBACb,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;IACL,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC7B,CAAC;AACD,qCAAqC;AACrC,SAAgB,cAAc,CAAC,MAA2C;IACtE,MAAM,KAAK,GAAG;QACV,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,MAAM,CAAC,WAAW,QAAQ;QACnF,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU,QAAQ;KACnF,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;AACvF,CAAC;AACD,wCAAwC;AACxC,SAAgB,aAAa;IACzB,OAAO,cAAc,CAAC,EAAE,CAAC,CAAC;AAC9B,CAAC;AACD,yBAAyB;AACzB,EAAE;AACF,mEAAmE;AACnE,yDAAyD;AACzD,yCAAyC;AACzC;;;;GAIG;AACH,kFAAkF;AAClF,SAAgB,gCAAgC,CAAC,KAAc;IAC3D,IAAI,OAAO,KAAK,KAAK,QAAQ;WACtB,KAAK,CAAC,MAAM,KAAK,CAAC;WAClB,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;WACxB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;WACpB,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;WACrB,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,CAAC;AAC1G,CAAC;AACD,SAAgB,oCAAoC,CAAC,KAAc,EAAE,KAAa;IAC9E,IAAI,CAAC,gCAAgC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,kHAAkH,CAAC,CAAC;IACpJ,CAAC;AACL,CAAC;AACD,SAAgB,4BAA4B,CAAC,QAA2B;IACpE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC1B,oCAAoC,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;QAClE,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;AACL,CAAC;AACD,+FAA+F;AAC/F,SAAgB,YAAY,CAAC,IAAc;IACvC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1C,CAAC;AACD,qCAAqC;AACrC,SAAgB,WAAW,CAAC,IAAc,EAAE,IAAY;IACpD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC;AACjC,CAAC;AACD,6CAA6C;AAC7C,SAAgB,gBAAgB,CAAC,IAAc,EAAE,IAAY;IACzD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;AACrC,CAAC;AAaD;;;;;;;GAOG;AACH,SAAgB,oBAAoB,CAAC,IAAc,EAAE,QAA2B,EAAE,QAAQ,GAAG,IAAI;IAC7F,4BAA4B,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO;YACH,OAAO,EAAE,QAAQ;YACjB,UAAU;YACV,OAAO,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE;SAC5E,CAAC;IACN,CAAC;IACD,IAAI,CAAC,QAAQ;QACT,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC;IAChF,MAAM,OAAO,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAClB,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;IAC1D,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACjC,CAAC;AACD,iEAAiE;AACjE,SAAgB,iBAAiB,CAAC,IAAc,EAAE,QAAQ,GAAG,IAAI;IAC7D,OAAO,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;AACpD,CAAC;AAyBD,SAAS,cAAc,CAAC,MAAoB,EAAE,IAAwB;IAClE,IAAI,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO;QAC9C,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC/B,IAAI,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;QAC/C,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,IAAI,MAAM,EAAE,CAAC;QACT,MAAM,KAAK,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;QACzE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACjG,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;IAC9D,IAAI,IAAI,KAAK,SAAS;QAClB,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,0BAA0B,EAAE,CAAC;IACxE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;AACxC,CAAC;AACD;;;;GAIG;AACH,SAAgB,wBAAwB,CAAC,IAAc,EAAE,IAAY;IACjE,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,MAAM,KAAK,SAAS;YACpB,SAAS;QACb,UAAU,CAAC,IAAI,CAAC;YACZ,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC;YACxC,KAAK,EAAE,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC;SACzC,CAAC,CAAC;IACP,CAAC;IACD,OAAO,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1D,CAAC","sourcesContent":["// agent 归因 diff 的派生视图:从落盘事实(DiffWindow[])派生文件级摘要与终态读取。\n// 派生物可随时重算、不落盘——符合「聚合在消费方」铁律(docs/feature/record/architecture.md「diff.json」)。\n// 本文件同时承载 Sandbox 事实(docs/roadmap/assertion-authoring/architecture.md「Sandbox diff collector」)\n// 的纯证据解析:exact touched-path set、noChanges 同源、同一 change entry 的 before/after 候选。\n// 这里只做证据解析与候选分类,不消费 BooleanMatch——matcher 应用留在接线层,避免复制 Match 内核。\nimport type { DiffArtifact, DiffData, DiffFileSummary, DiffWindow, WindowChange } from \"./types.ts\";\n/** 从窗口序列派生 DiffData:files 摘要(net / 触及窗口)+ get(最后触及窗口的终态)。 */\nexport function deriveDiffData(windows: DiffArtifact): DiffData {\n    const touched = new Map<string, {\n        first: WindowChange;\n        last: WindowChange;\n        windows: string[];\n        elided?: DiffFileSummary[\"elided\"];\n    }>();\n    for (const window of windows) {\n        for (const [path, change] of Object.entries(window.changes)) {\n            const entry = touched.get(path);\n            const reason = change.elided?.reason;\n            if (entry) {\n                entry.last = change;\n                entry.windows.push(window.window);\n                // 任一窗口省略过内容,这个文件的内容视图就不完整;binary 压过 oversized-text——\n                // 一个文件不会因为某一窗口恰好小于阈值就变回可内联的文本。\n                if (reason !== undefined && (entry.elided === undefined || reason === \"binary\"))\n                    entry.elided = reason;\n            }\n            else {\n                touched.set(path, { first: change, last: change, windows: [window.window], ...(reason ? { elided: reason } : {}) });\n            }\n        }\n    }\n    const files: globalThis.Record<string, DiffFileSummary> = {};\n    for (const [path, entry] of touched) {\n        files[path] = {\n            net: computeNet(entry.first, entry.last),\n            windows: entry.windows,\n            ...(entry.elided ? { elided: entry.elided } : {}),\n        };\n    }\n    return {\n        windows,\n        files,\n        get(path: string): string | undefined {\n            const entry = touched.get(path);\n            if (!entry)\n                return undefined;\n            if (entry.last.status === \"deleted\")\n                return undefined;\n            return entry.last.after;\n        },\n    };\n}\n/** 净效果:首个触及窗口的起点 vs 最后触及窗口的终点。 */\nfunction computeNet(first: WindowChange, last: WindowChange): DiffFileSummary[\"net\"] {\n    const existedBefore = first.status !== \"added\";\n    const existsAfter = last.status !== \"deleted\";\n    if (!existedBefore && !existsAfter)\n        return \"none\"; // 创建又删除\n    if (!existedBefore && existsAfter)\n        return \"added\";\n    if (existedBefore && !existsAfter)\n        return \"deleted\";\n    // 改回原样 = none;比较首窗口起点与末窗口终点的内容(内容被省略的条目按字节数近似)。\n    const beforeContent = first.before ?? first.elided?.beforeBytes;\n    const afterContent = last.after ?? last.elided?.afterBytes;\n    if (beforeContent !== undefined && afterContent !== undefined && beforeContent === afterContent)\n        return \"none\";\n    return \"modified\";\n}\n/** DiffArtifact 里是否有任何窗口触及过任何文件。 */\nexport function diffIsEmpty(diff: DiffData): boolean {\n    return Object.keys(diff.files).length === 0;\n}\n/** 正则是否命中任何被触及的路径或任何窗口的 before/after 内容。 */\nexport function diffMatches(diff: DiffData, re: RegExp): boolean {\n    for (const path of Object.keys(diff.files)) {\n        if (re.test(path))\n            return true;\n    }\n    for (const window of diff.windows) {\n        for (const change of Object.values(window.changes)) {\n            if (change.after !== undefined && re.test(change.after))\n                return true;\n            if (change.before !== undefined && re.test(change.before))\n                return true;\n        }\n    }\n    return false;\n}\n/**\n * 该文件最后一个触及窗口的内容有没有被省略——`get(path)` 返回 undefined 的两个原因\n * (净删除 / 从未触及,与内容被省略)由它区分:内容断言据此如实报证据不可用,\n * 不把「读不到内容」静默折成判过或判败(docs/feature/sandbox/architecture.md「导出往返是常数次」)。\n */\nexport function elidedContentAt(diff: DiffData, path: string): NonNullable<WindowChange[\"elided\"]> | undefined {\n    for (let i = diff.windows.length - 1; i >= 0; i--) {\n        const change = diff.windows[i]!.changes[path];\n        if (change !== undefined)\n            return change.elided;\n    }\n    return undefined;\n}\n/** 全部内容被省略的路径(任一窗口),按路径序;内容扫描类断言用它说明缺口。 */\nexport function elidedContentPaths(diff: DiffData): string[] {\n    const paths = new Set<string>();\n    for (const window of diff.windows) {\n        for (const [path, change] of Object.entries(window.changes)) {\n            if (change.elided)\n                paths.add(path);\n        }\n    }\n    return [...paths].sort();\n}\n/** 内容被省略的条目怎么向人交代:reason + 已知字节数。 */\nexport function describeElided(elided: NonNullable<WindowChange[\"elided\"]>): string {\n    const bytes = [\n        elided.beforeBytes === undefined ? undefined : `before ${elided.beforeBytes} bytes`,\n        elided.afterBytes === undefined ? undefined : `after ${elided.afterBytes} bytes`,\n    ].filter((part) => part !== undefined);\n    return bytes.length > 0 ? `${elided.reason} (${bytes.join(\", \")})` : elided.reason;\n}\n/** 空 diff(remote / skipped attempt)。 */\nexport function emptyDiffData(): DiffData {\n    return deriveDiffData([]);\n}\n// ── Sandbox 事实的纯证据解析 ──\n//\n// changedPaths() / noChanges() / fileChanged() 共用这里的能力,不复制第二套路径集合或\n// change entry 逻辑。这些函数是纯 evaluator / 证据解析:输入落盘事实,输出三值结果或\n// 候选分类,不登记判定用途、不触碰 collector、不产生公共 Fact。\n/**\n * 校验 `changedPaths()` 的 expected 路径列表。\n * 每条 expected path 必须已经是 Sandbox workdir 相对的 canonical POSIX 路径；空数组\n * 合法——`noChanges()` 就是空 exact set 的同源形态，path 顺序无意义。\n */\n/** Canonical Sandbox workdir-relative path shared by registration and storage. */\nexport function isCanonicalWorkspaceRelativePath(value: unknown): value is string {\n    if (typeof value !== \"string\"\n        || value.length === 0\n        || value.includes(\"\\u0000\")\n        || value.includes(\"\\\\\")\n        || value.startsWith(\"/\")\n        || /^[A-Za-z]:\\//.test(value)) {\n        return false;\n    }\n    return value.split(\"/\").every((segment) => segment.length > 0 && segment !== \".\" && segment !== \"..\");\n}\nexport function assertCanonicalWorkspaceRelativePath(value: unknown, owner: string): asserts value is string {\n    if (!isCanonicalWorkspaceRelativePath(value)) {\n        throw new TypeError(`${owner} must be a canonical portable workspace-relative path without absolute, ., .., empty, NUL, or backslash segments`);\n    }\n}\nexport function validateExpectedTouchedPaths(expected: readonly string[]): void {\n    const seen = new Set<string>();\n    for (const path of expected) {\n        assertCanonicalWorkspaceRelativePath(path, \"changedPaths() path\");\n        if (seen.has(path)) {\n            throw new Error(`changedPaths(): duplicate expected path ${JSON.stringify(path)}`);\n        }\n        seen.add(path);\n    }\n}\n/** 被 agent 触及的 exact path set(diff.files 的 keys),按路径序;added / modified / deleted 与净改回原样都保留。 */\nexport function touchedPaths(diff: DiffData): string[] {\n    return Object.keys(diff.files).sort();\n}\n/** 该 path 的净效果;从未被触及返回 undefined。 */\nexport function netChangeOf(diff: DiffData, path: string): DiffFileSummary[\"net\"] | undefined {\n    return diff.files[path]?.net;\n}\n/** 触及该 path 的窗口标签(按时序);从未被触及返回 undefined。 */\nexport function touchedWindowsOf(diff: DiffData, path: string): string[] | undefined {\n    return diff.files[path]?.windows;\n}\nexport type TouchedPathsOutcome = {\n    readonly outcome: \"passed\";\n} | {\n    readonly outcome: \"failed\";\n    /** expected 之外的确定触及 path。 */\n    readonly unexpected: readonly string[];\n    /** expected 中未被触及的 path。 */\n    readonly missing: readonly string[];\n} | {\n    readonly outcome: \"unavailable\";\n    readonly reason: string;\n};\n/**\n * exact touched-path set 的三值求值(docs/roadmap/assertion-authoring/architecture.md\n * 「Sandbox diff collector」):\n * - 已观察到 expected 外的确定 path,立即 failed(partial 也如此,不会被后续窗口推翻);\n * - collector complete 时,集合相等 passed,不等 failed;\n * - collector partial 且尚无矛盾(observed ⊆ expected)时 unavailable。\n * `noChanges()` 是 expected 为空集的同源调用。\n */\nexport function evaluateTouchedPaths(diff: DiffData, expected: readonly string[], complete = true): TouchedPathsOutcome {\n    validateExpectedTouchedPaths(expected);\n    const expectedSet = new Set(expected);\n    const observed = touchedPaths(diff);\n    const observedSet = new Set(observed);\n    const unexpected = observed.filter((path) => !expectedSet.has(path));\n    if (unexpected.length > 0) {\n        return {\n            outcome: \"failed\",\n            unexpected,\n            missing: [...expectedSet].filter((path) => !observedSet.has(path)).sort(),\n        };\n    }\n    if (!complete)\n        return { outcome: \"unavailable\", reason: \"evidence-coverage:diff=partial\" };\n    const missing = [...expectedSet].filter((path) => !observedSet.has(path)).sort();\n    if (missing.length > 0)\n        return { outcome: \"failed\", unexpected: [], missing };\n    return { outcome: \"passed\" };\n}\n/** `noChanges()` 的纯求值:expected 固定为空集,与 changedPaths([]) 同一能力。 */\nexport function evaluateNoChanges(diff: DiffData, complete = true): TouchedPathsOutcome {\n    return evaluateTouchedPaths(diff, [], complete);\n}\n/** 一条 change entry 的某一侧(before / after)内容证据状态。 */\nexport type ChangeContentState = {\n    readonly state: \"available\";\n    readonly text: string;\n} | {\n    /** 确定性缺失:added 无 before、deleted 无 after。matcher 要求该侧即确定不满足。 */\n    readonly state: \"absent\";\n} | {\n    /** 内容被省略(binary / oversized-text),字节数只知部分时省略 bytes。 */\n    readonly state: \"elided\";\n    readonly reason: \"binary\" | \"oversized-text\";\n    readonly bytes?: number;\n} | {\n    /** 内容证据不在(如 provider 不支持内容导出);与「缺失」相反,不能确定该侧不成立。 */\n    readonly state: \"unavailable\";\n    readonly reason: string;\n};\n/** 同一 change entry 的 before / after 证据候选:接线层在此之上应用 BooleanMatch。 */\nexport interface ChangeEntryCandidate {\n    readonly window: string;\n    readonly status: WindowChange[\"status\"];\n    readonly before: ChangeContentState;\n    readonly after: ChangeContentState;\n}\nfunction contentStateOf(change: WindowChange, side: \"before\" | \"after\"): ChangeContentState {\n    if (side === \"before\" && change.status === \"added\")\n        return { state: \"absent\" };\n    if (side === \"after\" && change.status === \"deleted\")\n        return { state: \"absent\" };\n    const elided = change.elided;\n    if (elided) {\n        const bytes = side === \"before\" ? elided.beforeBytes : elided.afterBytes;\n        return { state: \"elided\", reason: elided.reason, ...(bytes !== undefined ? { bytes } : {}) };\n    }\n    const text = side === \"before\" ? change.before : change.after;\n    if (text === undefined)\n        return { state: \"unavailable\", reason: \"content-evidence-missing\" };\n    return { state: \"available\", text };\n}\n/**\n * 解析某 path 在全部窗口中的 change entry 候选,按时序。\n * before / after matcher 必须由**同一条** entry 满足;返回 undefined 表示从未被触及\n * (无候选即确定不满足,不存在「两个 matcher 分别由不同窗口满足」的路径)。\n */\nexport function changeEntryCandidatesFor(diff: DiffData, path: string): ChangeEntryCandidate[] | undefined {\n    const candidates: ChangeEntryCandidate[] = [];\n    for (const window of diff.windows) {\n        const change = window.changes[path];\n        if (change === undefined)\n            continue;\n        candidates.push({\n            window: window.window,\n            status: change.status,\n            before: contentStateOf(change, \"before\"),\n            after: contentStateOf(change, \"after\"),\n        });\n    }\n    return candidates.length > 0 ? candidates : undefined;\n}\nexport type { DiffArtifact, DiffData, DiffWindow, WindowChange } from \"./types.ts\";\n"]}
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["diff.ts"],"names":[],"mappings":";;AAOA,wCA4CC;AAmBD,kCAEC;AAED,kCAcC;AAMD,0CAOC;AAED,gDASC;AAED,wCAMC;AAED,sCAEC;AAYD,4EAUC;AACD,oFAIC;AACD,oEASC;AAED,oCAEC;AAED,kCAEC;AAED,4CAEC;AAqBD,oDAmBC;AAED,8CAEC;AA6CD,4DAcC;AA9QD,6DAA6D;AAC7D,SAAgB,cAAc,CAAC,OAAqB;IAChD,MAAM,OAAO,GAAG,IAAI,GAAG,EAKnB,CAAC;IACL,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1D,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;YACrC,IAAI,KAAK,EAAE,CAAC;gBACR,KAAK,CAAC,IAAI,GAAG,MAAM,CAAC;gBACpB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAClC,qDAAqD;gBACrD,+BAA+B;gBAC/B,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,QAAQ,CAAC;oBAC3E,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC;YAC9B,CAAC;iBACI,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACxH,CAAC;QACL,CAAC;IACL,CAAC;IACD,MAAM,KAAK,GAA+C,EAAE,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,GAAG;YACV,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC;YACxC,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpD,CAAC;IACN,CAAC;IACD,OAAO;QACH,OAAO;QACP,KAAK;QACL,GAAG,CAAC,IAAY;YACZ,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBACN,OAAO,SAAS,CAAC;YACrB,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS;gBAC/B,OAAO,SAAS,CAAC;YACrB,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;QAC5B,CAAC;KACJ,CAAC;AACN,CAAC;AACD,kCAAkC;AAClC,SAAS,UAAU,CAAC,KAAmB,EAAE,IAAkB;IACvD,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC;IAC/C,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;IAC9C,IAAI,CAAC,aAAa,IAAI,CAAC,WAAW;QAC9B,OAAO,MAAM,CAAC,CAAC,QAAQ;IAC3B,IAAI,CAAC,aAAa,IAAI,WAAW;QAC7B,OAAO,OAAO,CAAC;IACnB,IAAI,aAAa,IAAI,CAAC,WAAW;QAC7B,OAAO,SAAS,CAAC;IACrB,gDAAgD;IAChD,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC;IAChE,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC;IAC3D,IAAI,aAAa,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS,IAAI,aAAa,KAAK,YAAY;QAC3F,OAAO,MAAM,CAAC;IAClB,OAAO,UAAU,CAAC;AACtB,CAAC;AACD,oCAAoC;AACpC,SAAgB,WAAW,CAAC,IAAc;IACtC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;AAChD,CAAC;AACD,4CAA4C;AAC5C,SAAgB,WAAW,CAAC,IAAc,EAAE,EAAU;IAClD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACb,OAAO,IAAI,CAAC;IACpB,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAChC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACjD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;gBACnD,OAAO,IAAI,CAAC;YAChB,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACrD,OAAO,IAAI,CAAC;QACpB,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AACD;;;;GAIG;AACH,SAAgB,eAAe,CAAC,IAAc,EAAE,IAAY;IACxD,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,MAAM,KAAK,SAAS;YACpB,OAAO,MAAM,CAAC,MAAM,CAAC;IAC7B,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AACD,2CAA2C;AAC3C,SAAgB,kBAAkB,CAAC,IAAc;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1D,IAAI,MAAM,CAAC,MAAM;gBACb,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;IACL,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC7B,CAAC;AACD,qCAAqC;AACrC,SAAgB,cAAc,CAAC,MAA2C;IACtE,MAAM,KAAK,GAAG;QACV,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,MAAM,CAAC,WAAW,QAAQ;QACnF,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU,QAAQ;KACnF,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;AACvF,CAAC;AACD,wCAAwC;AACxC,SAAgB,aAAa;IACzB,OAAO,cAAc,CAAC,EAAE,CAAC,CAAC;AAC9B,CAAC;AACD,yBAAyB;AACzB,EAAE;AACF,mEAAmE;AACnE,yDAAyD;AACzD,yCAAyC;AACzC;;;;GAIG;AACH,kFAAkF;AAClF,SAAgB,gCAAgC,CAAC,KAAc;IAC3D,IAAI,OAAO,KAAK,KAAK,QAAQ;WACtB,KAAK,CAAC,MAAM,KAAK,CAAC;WAClB,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;WACxB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;WACpB,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;WACrB,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,CAAC;AAC1G,CAAC;AACD,SAAgB,oCAAoC,CAAC,KAAc,EAAE,KAAa;IAC9E,IAAI,CAAC,gCAAgC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,kHAAkH,CAAC,CAAC;IACpJ,CAAC;AACL,CAAC;AACD,SAAgB,4BAA4B,CAAC,QAA2B;IACpE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC1B,oCAAoC,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;QAClE,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;AACL,CAAC;AACD,+FAA+F;AAC/F,SAAgB,YAAY,CAAC,IAAc;IACvC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1C,CAAC;AACD,qCAAqC;AACrC,SAAgB,WAAW,CAAC,IAAc,EAAE,IAAY;IACpD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC;AACjC,CAAC;AACD,6CAA6C;AAC7C,SAAgB,gBAAgB,CAAC,IAAc,EAAE,IAAY;IACzD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;AACrC,CAAC;AAaD;;;;;;;GAOG;AACH,SAAgB,oBAAoB,CAAC,IAAc,EAAE,QAA2B,EAAE,QAAQ,GAAG,IAAI;IAC7F,4BAA4B,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO;YACH,OAAO,EAAE,QAAQ;YACjB,UAAU;YACV,OAAO,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE;SAC5E,CAAC;IACN,CAAC;IACD,IAAI,CAAC,QAAQ;QACT,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC;IAChF,MAAM,OAAO,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAClB,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;IAC1D,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACjC,CAAC;AACD,iEAAiE;AACjE,SAAgB,iBAAiB,CAAC,IAAc,EAAE,QAAQ,GAAG,IAAI;IAC7D,OAAO,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;AACpD,CAAC;AAyBD,SAAS,cAAc,CAAC,MAAoB,EAAE,IAAwB;IAClE,IAAI,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO;QAC9C,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC/B,IAAI,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;QAC/C,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,IAAI,MAAM,EAAE,CAAC;QACT,MAAM,KAAK,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;QACzE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACjG,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;IAC9D,IAAI,IAAI,KAAK,SAAS;QAClB,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,0BAA0B,EAAE,CAAC;IACxE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;AACxC,CAAC;AACD;;;;GAIG;AACH,SAAgB,wBAAwB,CAAC,IAAc,EAAE,IAAY;IACjE,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,MAAM,KAAK,SAAS;YACpB,SAAS;QACb,UAAU,CAAC,IAAI,CAAC;YACZ,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC;YACxC,KAAK,EAAE,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC;SACzC,CAAC,CAAC;IACP,CAAC;IACD,OAAO,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1D,CAAC","sourcesContent":["// agent 归因 diff 的派生视图:从落盘事实(DiffWindow[])派生文件级摘要与终态读取。\n// 派生物可随时重算、不落盘——符合「聚合在消费方」铁律(docs/feature/record/architecture.md「diff.json」)。\n// 本文件同时承载 Sandbox 事实(docs/feature/sandbox/architecture.md「变更归因:send 区间与分类账」)\n// 的纯证据解析:exact touched-path set、noChanges 同源、同一 change entry 的 before/after 候选。\n// 这里只做证据解析与候选分类,不消费 BooleanMatch——matcher 应用留在接线层,避免复制 Match 内核。\nimport type { DiffArtifact, DiffData, DiffFileSummary, DiffWindow, WindowChange } from \"./types.ts\";\n/** 从窗口序列派生 DiffData:files 摘要(net / 触及窗口)+ get(最后触及窗口的终态)。 */\nexport function deriveDiffData(windows: DiffArtifact): DiffData {\n    const touched = new Map<string, {\n        first: WindowChange;\n        last: WindowChange;\n        windows: string[];\n        elided?: DiffFileSummary[\"elided\"];\n    }>();\n    for (const window of windows) {\n        for (const [path, change] of Object.entries(window.changes)) {\n            const entry = touched.get(path);\n            const reason = change.elided?.reason;\n            if (entry) {\n                entry.last = change;\n                entry.windows.push(window.window);\n                // 任一窗口省略过内容,这个文件的内容视图就不完整;binary 压过 oversized-text——\n                // 一个文件不会因为某一窗口恰好小于阈值就变回可内联的文本。\n                if (reason !== undefined && (entry.elided === undefined || reason === \"binary\"))\n                    entry.elided = reason;\n            }\n            else {\n                touched.set(path, { first: change, last: change, windows: [window.window], ...(reason ? { elided: reason } : {}) });\n            }\n        }\n    }\n    const files: globalThis.Record<string, DiffFileSummary> = {};\n    for (const [path, entry] of touched) {\n        files[path] = {\n            net: computeNet(entry.first, entry.last),\n            windows: entry.windows,\n            ...(entry.elided ? { elided: entry.elided } : {}),\n        };\n    }\n    return {\n        windows,\n        files,\n        get(path: string): string | undefined {\n            const entry = touched.get(path);\n            if (!entry)\n                return undefined;\n            if (entry.last.status === \"deleted\")\n                return undefined;\n            return entry.last.after;\n        },\n    };\n}\n/** 净效果:首个触及窗口的起点 vs 最后触及窗口的终点。 */\nfunction computeNet(first: WindowChange, last: WindowChange): DiffFileSummary[\"net\"] {\n    const existedBefore = first.status !== \"added\";\n    const existsAfter = last.status !== \"deleted\";\n    if (!existedBefore && !existsAfter)\n        return \"none\"; // 创建又删除\n    if (!existedBefore && existsAfter)\n        return \"added\";\n    if (existedBefore && !existsAfter)\n        return \"deleted\";\n    // 改回原样 = none;比较首窗口起点与末窗口终点的内容(内容被省略的条目按字节数近似)。\n    const beforeContent = first.before ?? first.elided?.beforeBytes;\n    const afterContent = last.after ?? last.elided?.afterBytes;\n    if (beforeContent !== undefined && afterContent !== undefined && beforeContent === afterContent)\n        return \"none\";\n    return \"modified\";\n}\n/** DiffArtifact 里是否有任何窗口触及过任何文件。 */\nexport function diffIsEmpty(diff: DiffData): boolean {\n    return Object.keys(diff.files).length === 0;\n}\n/** 正则是否命中任何被触及的路径或任何窗口的 before/after 内容。 */\nexport function diffMatches(diff: DiffData, re: RegExp): boolean {\n    for (const path of Object.keys(diff.files)) {\n        if (re.test(path))\n            return true;\n    }\n    for (const window of diff.windows) {\n        for (const change of Object.values(window.changes)) {\n            if (change.after !== undefined && re.test(change.after))\n                return true;\n            if (change.before !== undefined && re.test(change.before))\n                return true;\n        }\n    }\n    return false;\n}\n/**\n * 该文件最后一个触及窗口的内容有没有被省略——`get(path)` 返回 undefined 的两个原因\n * (净删除 / 从未触及,与内容被省略)由它区分:内容断言据此如实报证据不可用,\n * 不把「读不到内容」静默折成判过或判败(docs/feature/sandbox/architecture.md「导出往返是常数次」)。\n */\nexport function elidedContentAt(diff: DiffData, path: string): NonNullable<WindowChange[\"elided\"]> | undefined {\n    for (let i = diff.windows.length - 1; i >= 0; i--) {\n        const change = diff.windows[i]!.changes[path];\n        if (change !== undefined)\n            return change.elided;\n    }\n    return undefined;\n}\n/** 全部内容被省略的路径(任一窗口),按路径序;内容扫描类断言用它说明缺口。 */\nexport function elidedContentPaths(diff: DiffData): string[] {\n    const paths = new Set<string>();\n    for (const window of diff.windows) {\n        for (const [path, change] of Object.entries(window.changes)) {\n            if (change.elided)\n                paths.add(path);\n        }\n    }\n    return [...paths].sort();\n}\n/** 内容被省略的条目怎么向人交代:reason + 已知字节数。 */\nexport function describeElided(elided: NonNullable<WindowChange[\"elided\"]>): string {\n    const bytes = [\n        elided.beforeBytes === undefined ? undefined : `before ${elided.beforeBytes} bytes`,\n        elided.afterBytes === undefined ? undefined : `after ${elided.afterBytes} bytes`,\n    ].filter((part) => part !== undefined);\n    return bytes.length > 0 ? `${elided.reason} (${bytes.join(\", \")})` : elided.reason;\n}\n/** 空 diff(remote / skipped attempt)。 */\nexport function emptyDiffData(): DiffData {\n    return deriveDiffData([]);\n}\n// ── Sandbox 事实的纯证据解析 ──\n//\n// changedPaths() / noChanges() / fileChanged() 共用这里的能力,不复制第二套路径集合或\n// change entry 逻辑。这些函数是纯 evaluator / 证据解析:输入落盘事实,输出三值结果或\n// 候选分类,不登记判定用途、不触碰 collector、不产生公共 Fact。\n/**\n * 校验 `changedPaths()` 的 expected 路径列表。\n * 每条 expected path 必须已经是 Sandbox workdir 相对的 canonical POSIX 路径；空数组\n * 合法——`noChanges()` 就是空 exact set 的同源形态，path 顺序无意义。\n */\n/** Canonical Sandbox workdir-relative path shared by registration and storage. */\nexport function isCanonicalWorkspaceRelativePath(value: unknown): value is string {\n    if (typeof value !== \"string\"\n        || value.length === 0\n        || value.includes(\"\\u0000\")\n        || value.includes(\"\\\\\")\n        || value.startsWith(\"/\")\n        || /^[A-Za-z]:\\//.test(value)) {\n        return false;\n    }\n    return value.split(\"/\").every((segment) => segment.length > 0 && segment !== \".\" && segment !== \"..\");\n}\nexport function assertCanonicalWorkspaceRelativePath(value: unknown, owner: string): asserts value is string {\n    if (!isCanonicalWorkspaceRelativePath(value)) {\n        throw new TypeError(`${owner} must be a canonical portable workspace-relative path without absolute, ., .., empty, NUL, or backslash segments`);\n    }\n}\nexport function validateExpectedTouchedPaths(expected: readonly string[]): void {\n    const seen = new Set<string>();\n    for (const path of expected) {\n        assertCanonicalWorkspaceRelativePath(path, \"changedPaths() path\");\n        if (seen.has(path)) {\n            throw new Error(`changedPaths(): duplicate expected path ${JSON.stringify(path)}`);\n        }\n        seen.add(path);\n    }\n}\n/** 被 agent 触及的 exact path set(diff.files 的 keys),按路径序;added / modified / deleted 与净改回原样都保留。 */\nexport function touchedPaths(diff: DiffData): string[] {\n    return Object.keys(diff.files).sort();\n}\n/** 该 path 的净效果;从未被触及返回 undefined。 */\nexport function netChangeOf(diff: DiffData, path: string): DiffFileSummary[\"net\"] | undefined {\n    return diff.files[path]?.net;\n}\n/** 触及该 path 的窗口标签(按时序);从未被触及返回 undefined。 */\nexport function touchedWindowsOf(diff: DiffData, path: string): string[] | undefined {\n    return diff.files[path]?.windows;\n}\nexport type TouchedPathsOutcome = {\n    readonly outcome: \"passed\";\n} | {\n    readonly outcome: \"failed\";\n    /** expected 之外的确定触及 path。 */\n    readonly unexpected: readonly string[];\n    /** expected 中未被触及的 path。 */\n    readonly missing: readonly string[];\n} | {\n    readonly outcome: \"unavailable\";\n    readonly reason: string;\n};\n/**\n * exact touched-path set 的三值求值(docs/feature/sandbox/architecture.md\n * 「变更归因:send 区间与分类账」):\n * - 已观察到 expected 外的确定 path,立即 failed(partial 也如此,不会被后续窗口推翻);\n * - collector complete 时,集合相等 passed,不等 failed;\n * - collector partial 且尚无矛盾(observed ⊆ expected)时 unavailable。\n * `noChanges()` 是 expected 为空集的同源调用。\n */\nexport function evaluateTouchedPaths(diff: DiffData, expected: readonly string[], complete = true): TouchedPathsOutcome {\n    validateExpectedTouchedPaths(expected);\n    const expectedSet = new Set(expected);\n    const observed = touchedPaths(diff);\n    const observedSet = new Set(observed);\n    const unexpected = observed.filter((path) => !expectedSet.has(path));\n    if (unexpected.length > 0) {\n        return {\n            outcome: \"failed\",\n            unexpected,\n            missing: [...expectedSet].filter((path) => !observedSet.has(path)).sort(),\n        };\n    }\n    if (!complete)\n        return { outcome: \"unavailable\", reason: \"evidence-coverage:diff=partial\" };\n    const missing = [...expectedSet].filter((path) => !observedSet.has(path)).sort();\n    if (missing.length > 0)\n        return { outcome: \"failed\", unexpected: [], missing };\n    return { outcome: \"passed\" };\n}\n/** `noChanges()` 的纯求值:expected 固定为空集,与 changedPaths([]) 同一能力。 */\nexport function evaluateNoChanges(diff: DiffData, complete = true): TouchedPathsOutcome {\n    return evaluateTouchedPaths(diff, [], complete);\n}\n/** 一条 change entry 的某一侧(before / after)内容证据状态。 */\nexport type ChangeContentState = {\n    readonly state: \"available\";\n    readonly text: string;\n} | {\n    /** 确定性缺失:added 无 before、deleted 无 after。matcher 要求该侧即确定不满足。 */\n    readonly state: \"absent\";\n} | {\n    /** 内容被省略(binary / oversized-text),字节数只知部分时省略 bytes。 */\n    readonly state: \"elided\";\n    readonly reason: \"binary\" | \"oversized-text\";\n    readonly bytes?: number;\n} | {\n    /** 内容证据不在(如 provider 不支持内容导出);与「缺失」相反,不能确定该侧不成立。 */\n    readonly state: \"unavailable\";\n    readonly reason: string;\n};\n/** 同一 change entry 的 before / after 证据候选:接线层在此之上应用 BooleanMatch。 */\nexport interface ChangeEntryCandidate {\n    readonly window: string;\n    readonly status: WindowChange[\"status\"];\n    readonly before: ChangeContentState;\n    readonly after: ChangeContentState;\n}\nfunction contentStateOf(change: WindowChange, side: \"before\" | \"after\"): ChangeContentState {\n    if (side === \"before\" && change.status === \"added\")\n        return { state: \"absent\" };\n    if (side === \"after\" && change.status === \"deleted\")\n        return { state: \"absent\" };\n    const elided = change.elided;\n    if (elided) {\n        const bytes = side === \"before\" ? elided.beforeBytes : elided.afterBytes;\n        return { state: \"elided\", reason: elided.reason, ...(bytes !== undefined ? { bytes } : {}) };\n    }\n    const text = side === \"before\" ? change.before : change.after;\n    if (text === undefined)\n        return { state: \"unavailable\", reason: \"content-evidence-missing\" };\n    return { state: \"available\", text };\n}\n/**\n * 解析某 path 在全部窗口中的 change entry 候选,按时序。\n * before / after matcher 必须由**同一条** entry 满足;返回 undefined 表示从未被触及\n * (无候选即确定不满足,不存在「两个 matcher 分别由不同窗口满足」的路径)。\n */\nexport function changeEntryCandidatesFor(diff: DiffData, path: string): ChangeEntryCandidate[] | undefined {\n    const candidates: ChangeEntryCandidate[] = [];\n    for (const window of diff.windows) {\n        const change = window.changes[path];\n        if (change === undefined)\n            continue;\n        candidates.push({\n            window: window.window,\n            status: change.status,\n            before: contentStateOf(change, \"before\"),\n            after: contentStateOf(change, \"after\"),\n        });\n    }\n    return candidates.length > 0 ? candidates : undefined;\n}\nexport type { DiffArtifact, DiffData, DiffWindow, WindowChange } from \"./types.ts\";\n"]}

package/dist/assertions/diff.d.cts

@@ -45,8 +45,8 @@ export type TouchedPathsOutcome = {
     readonly reason: string;
 };
 /**
- * exact touched-path set 的三值求值(docs/roadmap/assertion-authoring/architecture.md
- * 「Sandbox diff collector」):
+ * exact touched-path set 的三值求值(docs/feature/sandbox/architecture.md
+ * 「变更归因:send 区间与分类账」):
  * - 已观察到 expected 外的确定 path,立即 failed(partial 也如此,不会被后续窗口推翻);
  * - collector complete 时,集合相等 passed,不等 failed;
  * - collector partial 且尚无矛盾(observed ⊆ expected)时 unavailable。

package/dist/assertions/diff.d.mts

@@ -45,8 +45,8 @@ export type TouchedPathsOutcome = {
     readonly reason: string;
 };
 /**
- * exact touched-path set 的三值求值(docs/roadmap/assertion-authoring/architecture.md
- * 「Sandbox diff collector」):
+ * exact touched-path set 的三值求值(docs/feature/sandbox/architecture.md
+ * 「变更归因:send 区间与分类账」):
  * - 已观察到 expected 外的确定 path,立即 failed(partial 也如此,不会被后续窗口推翻);
  * - collector complete 时,集合相等 passed,不等 failed;
  * - collector partial 且尚无矛盾(observed ⊆ expected)时 unavailable。

package/dist/assertions/diff.d.ts

@@ -45,8 +45,8 @@ export type TouchedPathsOutcome = {
     readonly reason: string;
 };
 /**
- * exact touched-path set 的三值求值(docs/roadmap/assertion-authoring/architecture.md
- * 「Sandbox diff collector」):
+ * exact touched-path set 的三值求值(docs/feature/sandbox/architecture.md
+ * 「变更归因:send 区间与分类账」):
  * - 已观察到 expected 外的确定 path,立即 failed(partial 也如此,不会被后续窗口推翻);
  * - collector complete 时,集合相等 passed,不等 failed;
  * - collector partial 且尚无矛盾(observed ⊆ expected)时 unavailable。

package/dist/assertions/judge.cjs

@@ -71,7 +71,7 @@ function headerValue(headers, name) {
     }
     return undefined;
 }
-function retryAfterMs(headers) {
+function retryAfterMs(headers, nowMs) {
     const raw = headerValue(headers, "retry-after")?.trim();
     if (!raw)
         return undefined;
@@ -79,7 +79,7 @@ function retryAfterMs(headers) {
     if (Number.isFinite(seconds) && seconds >= 0)
         return Math.round(seconds * 1000);
     const timestamp = Date.parse(raw);
-    return Number.isFinite(timestamp) ? Math.max(0, timestamp - Date.now()) : undefined;
+    return Number.isFinite(timestamp) ? Math.max(0, timestamp - nowMs) : undefined;
 }
 function isTransientJudgeStatus(status) {
     return status === 408 || status === 429 || (status !== undefined && status >= 500 && status <= 599);
@@ -214,7 +214,7 @@ function probeAttempt(judge, apiKey, endpoint, attempt, callerSignal) {
         if (response.response.ok)
             return undefined;
         if (isTransientJudgeStatus(response.response.status) && attempt < PROBE_MAX_ATTEMPTS) {
-            const delay = retryAfterMs(response.response.headers);
+            const delay = retryAfterMs(response.response.headers, yield* effect_1.Clock.currentTimeMillis);
             if (delay !== undefined)
                 yield* effect_1.Effect.sleep(delay);
             return retryProbe;
@@ -315,18 +315,19 @@ function evaluateJudgeRecipe(input) {
                 evidence: evidenceFor(frozenMaterial),
                 ...(typeof rationale === "string" && rationale.trim() !== "" ? { explanation: (0, display_ts_1.summaryText)(rationale) } : {}),
             });
-        }), effect_1.Effect.catchAll((failure) => {
+        }), effect_1.Effect.catchAll((failure) => effect_1.Effect.gen(function* () {
             const error = failure.error;
             if (!isTransportFailure(error))
-                return effect_1.Effect.succeed(evaluatorError("judge-evaluator-error", errorSummary(error)));
+                return evaluatorError("judge-evaluator-error", errorSummary(error));
             if (!isTransientJudgeFailure(error) || attempt + 1 >= JUDGE_MAX_ATTEMPTS) {
-                return effect_1.Effect.succeed(unavailable("judge-call-failed", judgeFailureEvidence(error, model, attempts, retried)));
+                return unavailable("judge-call-failed", judgeFailureEvidence(error, model, attempts, retried));
             }
-            const retryAfter = retryAfterMs(objectField(error, "headers"));
-            const delay = retryAfter ?? (input.random ?? Math.random)() * JUDGE_RETRY_BASE_DELAY_MS * 2 ** attempt;
+            const retryAfter = retryAfterMs(objectField(error, "headers"), yield* effect_1.Clock.currentTimeMillis);
+            const delay = retryAfter ?? (input.random ? input.random() : yield* effect_1.Random.next) * JUDGE_RETRY_BASE_DELAY_MS * 2 ** attempt;
             retried = true;
-            return judgeSleep(delay).pipe(effect_1.Effect.zipRight(evaluate(attempt + 1)));
-        }))));
+            yield* judgeSleep(delay);
+            return yield* evaluate(attempt + 1);
+        })))));
         return evaluate(0).pipe(effect_1.Effect.timeoutTo({
             duration: resolved.timeoutMs,
             onSuccess: (evaluation) => evaluation,

package/dist/assertions/judge.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"judge.js","sourceRoot":"","sources":["judge.ts"],"names":[],"mappings":";;;;;AAyMA,kDAKC;AAwDD,4CAaC;AAgBD,sDAIC;AA2ED,4DAEC;AApXD,2EAA2E;AAC3E,6DAA6D;AAC7D,yCAA0D;AAC1D,mCAAgC;AAChC,oDAA4B;AAC5B,6CAA2C;AAG3C,wCAAoC;AACpC,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAC7B,MAAM,yBAAyB,GAAG,IAAI,CAAC;AACvC,MAAM,gBAAgB,GAAG,KAAK,CAAC;AAC/B,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAqB7B,SAAS,YAAY,CAAC,KAAc;IAChC,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvE,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACtD,CAAC;AACD,SAAS,WAAW,CAAC,KAAc,EAAE,GAAW;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAC3C,OAAO,SAAS,CAAC;IACrB,IAAI,CAAC;QACD,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,CAAC;QACH,OAAO,SAAS,CAAC;IACrB,CAAC;AACL,CAAC;AACD,SAAS,WAAW,CAAC,KAAc;IAC/B,IAAI,OAAO,GAAY,KAAK,CAAC;IAC7B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,OAAO,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC9D,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC9C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;YACtD,OAAO,MAAM,CAAC;QAClB,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC7C,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACnD,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC;YAClE,OAAO,YAAY,CAAC;QACxB,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AACD,SAAS,SAAS,CAAC,KAAc;IAC7B,IAAI,OAAO,GAAY,KAAK,CAAC;IAC7B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,OAAO,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC1C,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE;YACvC,OAAO,IAAI,CAAC;QAChB,MAAM,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;QACtE,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,EAAE;YACnD,OAAO,UAAU,CAAC;QACtB,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AACD,SAAS,WAAW,CAAC,OAAgB,EAAE,IAAY;IAC/C,IAAI,OAAO,YAAY,OAAO;QAC1B,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;IAC1C,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI;QAC/C,OAAO,SAAS,CAAC;IACrB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACjD,IAAI,GAAG,CAAC,WAAW,EAAE,KAAK,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YACxD,OAAO,KAAK,CAAC;IACrB,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AACD,SAAS,YAAY,CAAC,OAAgB;IAClC,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC;IACxD,IAAI,CAAC,GAAG;QACJ,OAAO,SAAS,CAAC;IACrB,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC5B,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC;QACxC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;IACtC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACxF,CAAC;AACD,SAAS,sBAAsB,CAAC,MAA0B;IACtD,OAAO,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,IAAI,GAAG,IAAI,MAAM,IAAI,GAAG,CAAC,CAAC;AACxG,CAAC;AACD,SAAS,mBAAmB,CAAC,KAAc;IACvC,IAAI,OAAO,GAAY,KAAK,CAAC;IAC7B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,OAAO,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC1C,IAAI,IAAI,KAAK,mBAAmB;YAC5B,OAAO,KAAK,CAAC;QACjB,IAAI,IAAI,KAAK,oBAAoB,IAAI,IAAI,KAAK,2BAA2B;YACrE,OAAO,IAAI,CAAC;QAChB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,4EAA4E,CAAC,IAAI,CAAC,IAAI,CAAC;YACnH,OAAO,IAAI,CAAC;QAChB,IAAI,mLAAmL,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAClN,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AACD,SAAS,kBAAkB,CAAC,KAAc;IACtC,OAAO,WAAW,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,mBAAmB,CAAC,KAAK,CAAC,CAAC;AAC1E,CAAC;AACD,SAAS,uBAAuB,CAAC,KAAc;IAC3C,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAClC,OAAO,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;AAClG,CAAC;AASD;;;GAGG;AACH,SAAS,oBAAoB,CAAC,MAAmB;IAC7C,OAAO,eAAM,CAAC,KAAK,CAAQ,CAAC,MAAM,EAAE,EAAE;QAClC,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,MAAM,WAAW,GAAG,GAAG,EAAE;YACrB,IAAI,SAAS;gBACT,OAAO;YACX,SAAS,GAAG,IAAI,CAAC;YACjB,MAAM,CAAC,eAAM,CAAC,SAAS,CAAC,CAAC;QAC7B,CAAC,CAAC;QACF,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,yEAAyE;QACzE,2CAA2C;QAC3C,IAAI,MAAM,CAAC,OAAO;YACd,WAAW,EAAE,CAAC;QAClB,OAAO,eAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACpB,SAAS,GAAG,IAAI,CAAC;YACjB,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACP,CAAC;AACD,SAAS,qBAAqB,CAAU,MAA8B,EAAE,MAA+B;IACnG,IAAI,MAAM,KAAK,SAAS;QACpB,OAAO,MAAM,CAAC;IAClB,OAAO,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO;QACtC,CAAC,CAAC,eAAM,CAAC,SAAS;QAClB,CAAC,CAAC,eAAM,CAAC,SAAS,CAAC,MAAM,EAAE,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AACD,SAAS,aAAa,CAAC,EAAU;IAC7B,MAAM,OAAO,GAAG,EAAE,GAAG,IAAI,CAAC;IAC1B,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;AAC1E,CAAC;AACD,SAAS,oBAAoB,CAAC,KAAc,EAAE,KAAa,EAAE,QAAgB,EAAE,OAAgB;IAC3F,MAAM,KAAK,GAAG,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,MAAM,KAAK,SAAS;QACpB,KAAK,CAAC,IAAI,CAAC,QAAQ,MAAM,EAAE,CAAC,CAAC;IACjC,IAAI,IAAI,KAAK,SAAS;QAClB,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IAC/B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IAChC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,wBAAwB,QAAQ,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IACtE,IAAI,QAAQ,IAAI,kBAAkB;QAC9B,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACpC,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC;AACD,SAAS,WAAW,CAAC,MAAc,EAAE,OAAe,EAAE,MAAoB;IACtE,OAAO,IAAI,gBAAM,CAAC;QACd,MAAM;QACN,OAAO;QACP,UAAU,EAAE,CAAC;QACb,KAAK,EAAE,MAAM;YACT,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE;gBAC5B,GAAG,IAAI;gBACP,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;aACzE,CAAC;YACF,CAAC,CAAC,SAAS;KAClB,CAAC,CAAC;AACP,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc;IAGxC,6GAA6G;IAC7G,OAAO,EAAE,MAAM,EAAE,CAAC;AACtB,CAAC;AACD,SAAgB,mBAAmB,CAAC,QAAuB;IACvD,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACjI,MAAM,IAAI,SAAS,CAAC,6DAA6D,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;AAC7E,CAAC;AACD,SAAS,WAAW,CAAC,QAAuB;IACxC,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,IAAA,wBAAW,EAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAA,wBAAW,EAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACxG,CAAC;AACD,SAAS,oBAAoB,CAAC,QAA6B;IACvD,IAAI,CAAC,QAAQ,CAAC,KAAK;QACf,OAAO,WAAW,CAAC,wBAAwB,CAAC,CAAC;IACjD,IAAI,CAAC,IAAA,gBAAM,EAAC,QAAQ,CAAC,SAAS,CAAC;QAC3B,OAAO,WAAW,CAAC,yBAAyB,QAAQ,CAAC,SAAS,SAAS,CAAC,CAAC;IAC7E,OAAO,SAAS,CAAC;AACrB,CAAC;AACD,MAAM,UAAU,GAAG,MAAM,CAAC,mBAAmB,CAAC,CAAC;AAC/C,SAAS,YAAY,CAAC,KAA0B,EAAE,MAAc,EAAE,QAAgB,EAAE,OAAe,EAAE,YAAqC;IACtI,MAAM,KAAK,GAAG,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,eAAM,CAAC,UAAU,CAAC;YACtC,GAAG,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE;gBACxB,sEAAsE;gBACtE,wEAAwE;gBACxE,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,QAAQ,mBAAmB,EAAE;oBACzD,MAAM,EAAE,MAAM;oBACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,aAAa,EAAE,UAAU,MAAM,EAAE,EAAE;oBAClF,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,gCAAgC,EAAE,CAAC,EAAE,CAAC;oBACrH,MAAM,EAAE,YAAY;iBACvB,CAAC,CAAC;gBACH,OAAO;oBACH,QAAQ;oBACR,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;iBACjE,CAAC;YACN,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAwB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC;SACpF,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE;YACpB,OAAO,SAAS,CAAC;QACrB,IAAI,sBAAsB,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,OAAO,GAAG,kBAAkB,EAAE,CAAC;YACnF,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACtD,IAAI,KAAK,KAAK,SAAS;gBACnB,KAAK,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/B,OAAO,UAAU,CAAC;QACtB,CAAC;QACD,OAAO,6BAA6B,QAAQ,KAAK,KAAK,CAAC,KAAK,WAAW,QAAQ,CAAC,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;IACrI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,WAAW,CAAC;QACvB,QAAQ,EAAE,gBAAgB;QAC1B,SAAS,EAAE,GAAsB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;KACtE,CAAC,CAAC,CAAC;IACJ,OAAO,qBAAqB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;AACtD,CAAC;AACD,SAAS,mBAAmB,CAAC,OAA0B,EAAE,KAA0B,EAAE,QAAgB;IACjG,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACvC,OAAO,gCAAgC,QAAQ,KAAK,KAAK,CAAC,KAAK,WAAW,gBAAgB,GAAG,IAAI,GAAG,CAAC;IACzG,CAAC;IACD,OAAO,6BAA6B,QAAQ,KAAK,KAAK,CAAC,KAAK,MAAM,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;AACpG,CAAC;AACD;;;GAGG;AACH,SAAgB,gBAAgB,CAAC,KAA0B,EAAE,MAAoB;IAC7E,OAAO,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACvB,MAAM,MAAM,GAAG,IAAA,gBAAM,EAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,MAAM;YACvB,OAAO,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,CAAC,OAAe,EAAqC,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,UAAU;YAC9K,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;YACpB,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,kBAAkB;YACtF,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;YAC/D,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;AACP,CAAC;AACD,SAAS,kBAAkB,CAAC,KAAa,EAAE,SAAiB,EAAE,QAAgB,EAAE,OAAgB;IAC5F,OAAO,WAAW,CAAC,mBAAmB,EAAE,SAAS,KAAK,sBAAsB,aAAa,CAAC,SAAS,CAAC,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,eAAe,QAAQ,EAAE,CAAC,CAAC;AACrK,CAAC;AACD,SAAS,WAAW,CAAC,MAAc,EAAE,QAAiB;IAClD,OAAO;QACH,KAAK,EAAE,aAAa;QACpB,MAAM,EAAE,oBAAoB;QAC5B,MAAM;QACN,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;KAClD,CAAC;AACN,CAAC;AACD,SAAS,cAAc,CAAC,IAAY,EAAE,OAAe;IACjD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC/C,CAAC;AACD,gFAAgF;AAChF,SAAgB,qBAAqB,CAAC,KAAsC;IACxE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,0FAA0F,CAAC,CAAC;IAChH,CAAC;AACL,CAAC;AASD,SAAS,gBAAgB,CAAC,KAA2B,EAAE,QAAuB,EAAE,MAAc,EAAE,KAAa;IACzG,MAAM,QAAQ,GAAG,eAAM,CAAC,UAAU,CAAC;QAC/B,GAAG,EAAE,CAAC,YAAY,EAAE,EAAE;YAClB,MAAM,MAAM,GAAG,oBAAoB,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;YAC5F,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU;gBAC9C,CAAC,CAAC,IAAA,oBAAQ,EAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,CAAC;gBAC3G,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,YAAY;oBAC3B,CAAC,CAAC,IAAA,sBAAU,EAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,CAAC;oBAC7G,CAAC,CAAC,IAAA,mBAAO,EAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC;QACxH,CAAC;QACD,KAAK,EAAE,CAAC,KAAK,EAAwB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC;KACpF,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AACpB,CAAC;AACD,SAAS,UAAU,CAAC,OAAe;IAC/B,OAAO,eAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC;AACD;;;GAGG;AACH,SAAS,mBAAmB,CAAC,KAA2B;IACpD,MAAM,UAAU,GAAG,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACnC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;QAClC,MAAM,cAAc,GAAG,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS;YACrB,OAAO,eAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAM,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAA,gBAAM,EAAC,QAAQ,CAAC,SAAS,CAAE,CAAC;QAC3C,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,MAAM,QAAQ,GAAG,CAAC,OAAe,EAAyC,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YAC1F,QAAQ,GAAG,OAAO,GAAG,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAyC,EAAE;YACjJ,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;gBAC7G,OAAO,eAAM,CAAC,OAAO,CAAC,cAAc,CAAC,wBAAwB,EAAE,0CAA0C,CAAC,CAAC,CAAC;YAChH,CAAC;YACD,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC;YAC7C,OAAO,eAAM,CAAC,OAAO,CAAC;gBAClB,KAAK,EAAE,UAAmB;gBAC1B,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,QAAQ,EAAE,WAAW,CAAC,cAAc,CAAC;gBACrC,GAAG,CAAC,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAA,wBAAW,EAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/G,CAAC,CAAC;QACP,CAAC,CAAC,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,OAA6B,EAAyC,EAAE;YACzF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;YAC5B,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;gBAC1B,OAAO,eAAM,CAAC,OAAO,CAAC,cAAc,CAAC,uBAAuB,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACxF,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,kBAAkB,EAAE,CAAC;gBACvE,OAAO,eAAM,CAAC,OAAO,CAAC,WAAW,CAAC,mBAAmB,EAAE,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;YACnH,CAAC;YACD,MAAM,UAAU,GAAG,YAAY,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YAC/D,MAAM,KAAK,GAAG,UAAU,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,yBAAyB,GAAG,CAAC,IAAI,OAAO,CAAC;YACvG,OAAO,GAAG,IAAI,CAAC;YACf,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACN,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,SAAS,CAAC;YACrC,QAAQ,EAAE,QAAQ,CAAC,SAAS;YAC5B,SAAS,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU;YACrC,SAAS,EAAE,GAAG,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC;SACpF,CAAC,CAAC,CAAC;IACR,CAAC,CAAC,CAAC;IACH,OAAO,qBAAqB,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;AAC3D,CAAC;AACD,kFAAkF;AAClF,SAAgB,wBAAwB,CAAC,KAA2B;IAChE,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC;AACtC,CAAC","sourcesContent":["// Native LLM-as-Judge evaluator. The Assert-first path keeps provider I/O,\n// timeout, retry, and interruption inside the owning Effect.\nimport { ClosedQA, Factuality, Summary } from \"autoevals\";\nimport { Effect } from \"effect\";\nimport OpenAI from \"openai\";\nimport { summaryText } from \"./display.ts\";\nimport type { MeasurementAssertionEvaluation } from \"./api.ts\";\nimport type { JudgeMaterial, ResolvedJudgeConfig } from \"./types.ts\";\nimport { getEnv } from \"../util.ts\";\nconst JUDGE_MAX_ATTEMPTS = 3;\nconst JUDGE_RETRY_BASE_DELAY_MS = 1000;\nconst PROBE_TIMEOUT_MS = 20000;\nconst PROBE_MAX_ATTEMPTS = 2;\nexport type JudgeRecipe = \"closedQA\" | \"factuality\" | \"summarizes\";\ntype AutoevalResult = {\n    score?: number | null;\n    metadata?: Record<string, unknown>;\n};\ntype JudgeMeasurementResult = {\n    readonly state: \"measured\";\n    readonly value: number;\n    readonly evidence?: string;\n    readonly explanation?: string;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"source-unavailable\";\n    readonly detail: string;\n    readonly evidence?: string;\n} | {\n    readonly state: \"errored\";\n    readonly code: string;\n    readonly message: string;\n};\nfunction errorSummary(error: unknown): string {\n    const message = error instanceof Error ? error.message : String(error);\n    return message.replace(/\\s+/g, \" \").slice(0, 300);\n}\nfunction objectField(value: unknown, key: string): unknown {\n    if (typeof value !== \"object\" || value === null)\n        return undefined;\n    try {\n        return Reflect.get(value, key);\n    }\n    catch {\n        return undefined;\n    }\n}\nfunction judgeStatus(error: unknown): number | undefined {\n    let current: unknown = error;\n    for (let depth = 0; current !== undefined && depth < 5; depth++) {\n        const status = objectField(current, \"status\");\n        if (typeof status === \"number\" && Number.isInteger(status))\n            return status;\n        const nested = objectField(current, \"error\");\n        const nestedStatus = objectField(nested, \"status\");\n        if (typeof nestedStatus === \"number\" && Number.isInteger(nestedStatus))\n            return nestedStatus;\n        current = objectField(current, \"cause\");\n    }\n    return undefined;\n}\nfunction judgeCode(error: unknown): string | undefined {\n    let current: unknown = error;\n    for (let depth = 0; current !== undefined && depth < 5; depth++) {\n        const code = objectField(current, \"code\");\n        if (typeof code === \"string\" && code !== \"\")\n            return code;\n        const nestedCode = objectField(objectField(current, \"error\"), \"code\");\n        if (typeof nestedCode === \"string\" && nestedCode !== \"\")\n            return nestedCode;\n        current = objectField(current, \"cause\");\n    }\n    return undefined;\n}\nfunction headerValue(headers: unknown, name: string): string | undefined {\n    if (headers instanceof Headers)\n        return headers.get(name) ?? undefined;\n    if (typeof headers !== \"object\" || headers === null)\n        return undefined;\n    const lower = name.toLowerCase();\n    for (const [key, value] of Object.entries(headers)) {\n        if (key.toLowerCase() === lower && typeof value === \"string\")\n            return value;\n    }\n    return undefined;\n}\nfunction retryAfterMs(headers: unknown): number | undefined {\n    const raw = headerValue(headers, \"retry-after\")?.trim();\n    if (!raw)\n        return undefined;\n    const seconds = Number(raw);\n    if (Number.isFinite(seconds) && seconds >= 0)\n        return Math.round(seconds * 1000);\n    const timestamp = Date.parse(raw);\n    return Number.isFinite(timestamp) ? Math.max(0, timestamp - Date.now()) : undefined;\n}\nfunction isTransientJudgeStatus(status: number | undefined): boolean {\n    return status === 408 || status === 429 || (status !== undefined && status >= 500 && status <= 599);\n}\nfunction isConnectionFailure(error: unknown): boolean {\n    let current: unknown = error;\n    for (let depth = 0; current !== undefined && depth < 5; depth++) {\n        const name = objectField(current, \"name\");\n        const code = objectField(current, \"code\");\n        if (name === \"APIUserAbortError\")\n            return false;\n        if (name === \"APIConnectionError\" || name === \"APIConnectionTimeoutError\")\n            return true;\n        if (typeof code === \"string\" && /^(?:ECONN|ENOTFOUND|EAI_AGAIN|ENETUNREACH|EHOSTUNREACH|ETIMEDOUT|ERR_TLS)/i.test(code))\n            return true;\n        if (/fetch failed|socket hang up|connection (?:reset|closed|refused)|network error|other side closed|timed? out|timeout|\\b(?:ECONNRESET|ECONNREFUSED|ENOTFOUND|EAI_AGAIN|ETIMEDOUT)\\b/i.test(errorSummary(current))) {\n            return true;\n        }\n        current = objectField(current, \"cause\");\n    }\n    return false;\n}\nfunction isTransportFailure(error: unknown): boolean {\n    return judgeStatus(error) !== undefined || isConnectionFailure(error);\n}\nfunction isTransientJudgeFailure(error: unknown): boolean {\n    const status = judgeStatus(error);\n    return isTransientJudgeStatus(status) || (status === undefined && isConnectionFailure(error));\n}\ninterface JudgeProviderFailure {\n    readonly _tag: \"JudgeProviderFailure\";\n    readonly error: unknown;\n}\ninterface JudgeProbeTimeout {\n    readonly _tag: \"JudgeProbeTimeout\";\n}\ntype JudgeProbeFailure = JudgeProviderFailure | JudgeProbeTimeout;\n/**\n * An author-facing AbortSignal is external to this fiber. It must interrupt\n * the owning Effect instead of being reclassified as a Judge result.\n */\nfunction interruptWhenAborted(signal: AbortSignal): Effect.Effect<never> {\n    return Effect.async<never>((resume) => {\n        let completed = false;\n        const interrupted = () => {\n            if (completed)\n                return;\n            completed = true;\n            resume(Effect.interrupt);\n        };\n        signal.addEventListener(\"abort\", interrupted, { once: true });\n        // Register first, then inspect state so an abort cannot fall between the\n        // initial check and listener installation.\n        if (signal.aborted)\n            interrupted();\n        return Effect.sync(() => {\n            completed = true;\n            signal.removeEventListener(\"abort\", interrupted);\n        });\n    });\n}\nfunction interruptibleByCaller<A, E, R>(effect: Effect.Effect<A, E, R>, signal: AbortSignal | undefined): Effect.Effect<A, E, R> {\n    if (signal === undefined)\n        return effect;\n    return Effect.suspend(() => signal.aborted\n        ? Effect.interrupt\n        : Effect.raceFirst(effect, interruptWhenAborted(signal)));\n}\nfunction formatSeconds(ms: number): string {\n    const seconds = ms / 1000;\n    return `${Number.isInteger(seconds) ? seconds : seconds.toFixed(1)}s`;\n}\nfunction judgeFailureEvidence(error: unknown, model: string, attempts: number, retried: boolean): string {\n    const parts = [`model=${model}`];\n    const status = judgeStatus(error);\n    const code = judgeCode(error);\n    if (status !== undefined)\n        parts.push(`HTTP ${status}`);\n    if (code !== undefined)\n        parts.push(`code=${code}`);\n    parts.push(errorSummary(error));\n    parts.push(retried ? `retry=yes · attempts=${attempts}` : \"retry=no\");\n    if (attempts >= JUDGE_MAX_ATTEMPTS)\n        parts.push(\"retries exhausted\");\n    return parts.join(\" · \");\n}\nfunction judgeClient(apiKey: string, baseURL: string, signal?: AbortSignal): OpenAI {\n    return new OpenAI({\n        apiKey,\n        baseURL,\n        maxRetries: 0,\n        fetch: signal\n            ? (input, init) => fetch(input, {\n                ...init,\n                signal: init?.signal ? AbortSignal.any([signal, init.signal]) : signal,\n            })\n            : undefined,\n    });\n}\ntype AutoevalOpenAIClient = NonNullable<Parameters<typeof ClosedQA>[0][\"client\"]>;\nfunction bridgeAutoevalClient(client: OpenAI): {\n    readonly client: AutoevalOpenAIClient;\n} {\n    // @ts-expect-error autoevals and this package resolve equivalent OpenAI SDKs through distinct peer contexts.\n    return { client };\n}\nexport function freezeJudgeMaterial(material: JudgeMaterial): JudgeMaterial {\n    if (typeof material !== \"object\" || material === null || typeof material.input !== \"string\" || typeof material.output !== \"string\") {\n        throw new TypeError(\"t.judge requires material { input: string, output: string }\");\n    }\n    return Object.freeze({ input: material.input, output: material.output });\n}\nfunction evidenceFor(material: JudgeMaterial): string {\n    return JSON.stringify({ input: summaryText(material.input), output: summaryText(material.output) });\n}\nfunction missingConfiguration(resolved: ResolvedJudgeConfig): JudgeMeasurementResult | undefined {\n    if (!resolved.model)\n        return unavailable(\"judge-model-unresolved\");\n    if (!getEnv(resolved.apiKeyEnv))\n        return unavailable(`judge-key-unresolved (${resolved.apiKeyEnv} unset)`);\n    return undefined;\n}\nconst retryProbe = Symbol(\"retry-judge-probe\");\nfunction probeAttempt(judge: ResolvedJudgeConfig, apiKey: string, endpoint: string, attempt: number, callerSignal: AbortSignal | undefined): Effect.Effect<string | undefined | typeof retryProbe, JudgeProbeFailure> {\n    const probe = Effect.gen(function* () {\n        const response = yield* Effect.tryPromise({\n            try: async (effectSignal) => {\n                // This is the probe's sole Promise adapter boundary. The Effect fiber\n                // owns provider cancellation; caller aborts interrupt that fiber first.\n                const response = await fetch(`${endpoint}/chat/completions`, {\n                    method: \"POST\",\n                    headers: { \"Content-Type\": \"application/json\", Authorization: `Bearer ${apiKey}` },\n                    body: JSON.stringify({ model: judge.model, messages: [{ role: \"user\", content: \"Reply with the single word: ok\" }] }),\n                    signal: effectSignal,\n                });\n                return {\n                    response,\n                    body: response.ok ? \"\" : await response.text().catch(() => \"\"),\n                };\n            },\n            catch: (error): JudgeProviderFailure => ({ _tag: \"JudgeProviderFailure\", error }),\n        });\n        if (response.response.ok)\n            return undefined;\n        if (isTransientJudgeStatus(response.response.status) && attempt < PROBE_MAX_ATTEMPTS) {\n            const delay = retryAfterMs(response.response.headers);\n            if (delay !== undefined)\n                yield* Effect.sleep(delay);\n            return retryProbe;\n        }\n        return `Judge precheck failed for ${endpoint} (${judge.model}): HTTP ${response.response.status} ${response.body.slice(0, 300)}`;\n    }).pipe(Effect.timeoutFail({\n        duration: PROBE_TIMEOUT_MS,\n        onTimeout: (): JudgeProbeTimeout => ({ _tag: \"JudgeProbeTimeout\" }),\n    }));\n    return interruptibleByCaller(probe, callerSignal);\n}\nfunction probeFailureMessage(failure: JudgeProbeFailure, judge: ResolvedJudgeConfig, endpoint: string): string {\n    if (failure._tag === \"JudgeProbeTimeout\") {\n        return `Judge precheck timed out for ${endpoint} (${judge.model}) after ${PROBE_TIMEOUT_MS / 1000}s`;\n    }\n    return `Judge precheck failed for ${endpoint} (${judge.model}): ${errorSummary(failure.error)}`;\n}\n/**\n * A precheck only tests a configured, credentialed endpoint.  Missing model or\n * key remains a normal zero-network unavailable Assertion when an author consumes it.\n */\nexport function probeJudgeEffect(judge: ResolvedJudgeConfig, signal?: AbortSignal): Effect.Effect<string | undefined> {\n    return Effect.suspend(() => {\n        const apiKey = getEnv(judge.apiKeyEnv);\n        if (!judge.model || !apiKey)\n            return Effect.succeed(undefined);\n        const endpoint = judge.baseUrl.replace(/\\/$/, \"\");\n        const probe = (attempt: number): Effect.Effect<string | undefined> => probeAttempt(judge, apiKey, endpoint, attempt, signal).pipe(Effect.flatMap((result) => result === retryProbe\n            ? probe(attempt + 1)\n            : Effect.succeed(result)), Effect.catchAll((failure) => attempt === PROBE_MAX_ATTEMPTS\n            ? Effect.succeed(probeFailureMessage(failure, judge, endpoint))\n            : probe(attempt + 1)));\n        return probe(1);\n    });\n}\nfunction unavailableForCall(model: string, timeoutMs: number, attempts: number, retried: boolean): JudgeMeasurementResult {\n    return unavailable(\"judge-call-failed\", `model=${model} · timed out after ${formatSeconds(timeoutMs)} · retry=${retried ? \"yes\" : \"no\"} · attempts=${attempts}`);\n}\nfunction unavailable(detail: string, evidence?: string): JudgeMeasurementResult {\n    return {\n        state: \"unavailable\",\n        reason: \"source-unavailable\",\n        detail,\n        ...(evidence === undefined ? {} : { evidence }),\n    };\n}\nfunction evaluatorError(code: string, message: string): JudgeMeasurementResult {\n    return { state: \"errored\", code, message };\n}\n/** Throws synchronously at the author callsite when the Eval did not opt in. */\nexport function assertJudgeCapability(judge: ResolvedJudgeConfig | undefined): asserts judge is ResolvedJudgeConfig {\n    if (judge === undefined) {\n        throw new Error(\"Judge Assertion requires defineEval({ judge: true }) or defineScoreEval({ judge: true })\");\n    }\n}\nexport interface JudgeRecipeExecution {\n    readonly judge: ResolvedJudgeConfig;\n    readonly recipe: JudgeRecipe;\n    readonly reference: string;\n    readonly material: JudgeMaterial;\n    readonly signal?: AbortSignal;\n    readonly random?: () => number;\n}\nfunction evaluateAutoeval(input: JudgeRecipeExecution, material: JudgeMaterial, apiKey: string, model: string): Effect.Effect<AutoevalResult, JudgeProviderFailure> {\n    const provider = Effect.tryPromise({\n        try: (effectSignal) => {\n            const client = bridgeAutoevalClient(judgeClient(apiKey, input.judge.baseUrl, effectSignal));\n            return Promise.resolve(input.recipe === \"closedQA\"\n                ? ClosedQA({ input: material.input, output: material.output, criteria: input.reference, model, ...client })\n                : input.recipe === \"factuality\"\n                    ? Factuality({ input: material.input, output: material.output, expected: input.reference, model, ...client })\n                    : Summary({ input: material.input, output: material.output, expected: input.reference, model, ...client }));\n        },\n        catch: (error): JudgeProviderFailure => ({ _tag: \"JudgeProviderFailure\", error }),\n    });\n    return provider;\n}\nfunction judgeSleep(delayMs: number): Effect.Effect<void> {\n    return Effect.sleep(delayMs);\n}\n/**\n * The real Judge invocation. Provider I/O is adapted once, then retry,\n * timeout, interruption, and delay remain inside the owning Effect.\n */\nfunction evaluateJudgeRecipe(input: JudgeRecipeExecution): Effect.Effect<JudgeMeasurementResult> {\n    const evaluation = Effect.suspend(() => {\n        const { judge: resolved } = input;\n        const frozenMaterial = freezeJudgeMaterial(input.material);\n        const missing = missingConfiguration(resolved);\n        if (missing !== undefined)\n            return Effect.succeed(missing);\n        const model = resolved.model!;\n        const apiKey = getEnv(resolved.apiKeyEnv)!;\n        let attempts = 0;\n        let retried = false;\n        const evaluate = (attempt: number): Effect.Effect<JudgeMeasurementResult> => Effect.sync(() => {\n            attempts = attempt + 1;\n        }).pipe(Effect.zipRight(evaluateAutoeval(input, frozenMaterial, apiKey, model).pipe(Effect.flatMap((result): Effect.Effect<JudgeMeasurementResult> => {\n            if (typeof result.score !== \"number\" || !Number.isFinite(result.score) || result.score < 0 || result.score > 1) {\n                return Effect.succeed(evaluatorError(\"judge-invalid-response\", \"Judge returned no finite score in [0, 1]\"));\n            }\n            const rationale = result.metadata?.rationale;\n            return Effect.succeed({\n                state: \"measured\" as const,\n                value: result.score,\n                evidence: evidenceFor(frozenMaterial),\n                ...(typeof rationale === \"string\" && rationale.trim() !== \"\" ? { explanation: summaryText(rationale) } : {}),\n            });\n        }), Effect.catchAll((failure: JudgeProviderFailure): Effect.Effect<JudgeMeasurementResult> => {\n            const error = failure.error;\n            if (!isTransportFailure(error))\n                return Effect.succeed(evaluatorError(\"judge-evaluator-error\", errorSummary(error)));\n            if (!isTransientJudgeFailure(error) || attempt + 1 >= JUDGE_MAX_ATTEMPTS) {\n                return Effect.succeed(unavailable(\"judge-call-failed\", judgeFailureEvidence(error, model, attempts, retried)));\n            }\n            const retryAfter = retryAfterMs(objectField(error, \"headers\"));\n            const delay = retryAfter ?? (input.random ?? Math.random)() * JUDGE_RETRY_BASE_DELAY_MS * 2 ** attempt;\n            retried = true;\n            return judgeSleep(delay).pipe(Effect.zipRight(evaluate(attempt + 1)));\n        }))));\n        return evaluate(0).pipe(Effect.timeoutTo({\n            duration: resolved.timeoutMs,\n            onSuccess: (evaluation) => evaluation,\n            onTimeout: () => unavailableForCall(model, resolved.timeoutMs, attempts, retried),\n        }));\n    });\n    return interruptibleByCaller(evaluation, input.signal);\n}\n/** Assert-first bridge: one provider Promise adaptation in the Attempt Effect. */\nexport function evaluateJudgeMeasurement(input: JudgeRecipeExecution): Effect.Effect<MeasurementAssertionEvaluation, never, never> {\n    return evaluateJudgeRecipe(input);\n}\n"]}
+{"version":3,"file":"judge.js","sourceRoot":"","sources":["judge.ts"],"names":[],"mappings":";;;;;AAyMA,kDAKC;AAwDD,4CAaC;AAgBD,sDAIC;AA4ED,4DAEC;AArXD,2EAA2E;AAC3E,6DAA6D;AAC7D,yCAA0D;AAC1D,mCAA+C;AAC/C,oDAA4B;AAC5B,6CAA2C;AAG3C,wCAAoC;AACpC,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAC7B,MAAM,yBAAyB,GAAG,IAAI,CAAC;AACvC,MAAM,gBAAgB,GAAG,KAAK,CAAC;AAC/B,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAqB7B,SAAS,YAAY,CAAC,KAAc;IAChC,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvE,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACtD,CAAC;AACD,SAAS,WAAW,CAAC,KAAc,EAAE,GAAW;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAC3C,OAAO,SAAS,CAAC;IACrB,IAAI,CAAC;QACD,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,CAAC;QACH,OAAO,SAAS,CAAC;IACrB,CAAC;AACL,CAAC;AACD,SAAS,WAAW,CAAC,KAAc;IAC/B,IAAI,OAAO,GAAY,KAAK,CAAC;IAC7B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,OAAO,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC9D,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC9C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;YACtD,OAAO,MAAM,CAAC;QAClB,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC7C,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACnD,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC;YAClE,OAAO,YAAY,CAAC;QACxB,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AACD,SAAS,SAAS,CAAC,KAAc;IAC7B,IAAI,OAAO,GAAY,KAAK,CAAC;IAC7B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,OAAO,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC1C,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE;YACvC,OAAO,IAAI,CAAC;QAChB,MAAM,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;QACtE,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,EAAE;YACnD,OAAO,UAAU,CAAC;QACtB,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AACD,SAAS,WAAW,CAAC,OAAgB,EAAE,IAAY;IAC/C,IAAI,OAAO,YAAY,OAAO;QAC1B,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;IAC1C,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI;QAC/C,OAAO,SAAS,CAAC;IACrB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACjD,IAAI,GAAG,CAAC,WAAW,EAAE,KAAK,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YACxD,OAAO,KAAK,CAAC;IACrB,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AACD,SAAS,YAAY,CAAC,OAAgB,EAAE,KAAa;IACjD,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC;IACxD,IAAI,CAAC,GAAG;QACJ,OAAO,SAAS,CAAC;IACrB,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC5B,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC;QACxC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;IACtC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACnF,CAAC;AACD,SAAS,sBAAsB,CAAC,MAA0B;IACtD,OAAO,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,IAAI,GAAG,IAAI,MAAM,IAAI,GAAG,CAAC,CAAC;AACxG,CAAC;AACD,SAAS,mBAAmB,CAAC,KAAc;IACvC,IAAI,OAAO,GAAY,KAAK,CAAC;IAC7B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,OAAO,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC1C,IAAI,IAAI,KAAK,mBAAmB;YAC5B,OAAO,KAAK,CAAC;QACjB,IAAI,IAAI,KAAK,oBAAoB,IAAI,IAAI,KAAK,2BAA2B;YACrE,OAAO,IAAI,CAAC;QAChB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,4EAA4E,CAAC,IAAI,CAAC,IAAI,CAAC;YACnH,OAAO,IAAI,CAAC;QAChB,IAAI,mLAAmL,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAClN,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AACD,SAAS,kBAAkB,CAAC,KAAc;IACtC,OAAO,WAAW,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,mBAAmB,CAAC,KAAK,CAAC,CAAC;AAC1E,CAAC;AACD,SAAS,uBAAuB,CAAC,KAAc;IAC3C,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAClC,OAAO,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;AAClG,CAAC;AASD;;;GAGG;AACH,SAAS,oBAAoB,CAAC,MAAmB;IAC7C,OAAO,eAAM,CAAC,KAAK,CAAQ,CAAC,MAAM,EAAE,EAAE;QAClC,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,MAAM,WAAW,GAAG,GAAG,EAAE;YACrB,IAAI,SAAS;gBACT,OAAO;YACX,SAAS,GAAG,IAAI,CAAC;YACjB,MAAM,CAAC,eAAM,CAAC,SAAS,CAAC,CAAC;QAC7B,CAAC,CAAC;QACF,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,yEAAyE;QACzE,2CAA2C;QAC3C,IAAI,MAAM,CAAC,OAAO;YACd,WAAW,EAAE,CAAC;QAClB,OAAO,eAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACpB,SAAS,GAAG,IAAI,CAAC;YACjB,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACP,CAAC;AACD,SAAS,qBAAqB,CAAU,MAA8B,EAAE,MAA+B;IACnG,IAAI,MAAM,KAAK,SAAS;QACpB,OAAO,MAAM,CAAC;IAClB,OAAO,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO;QACtC,CAAC,CAAC,eAAM,CAAC,SAAS;QAClB,CAAC,CAAC,eAAM,CAAC,SAAS,CAAC,MAAM,EAAE,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AACD,SAAS,aAAa,CAAC,EAAU;IAC7B,MAAM,OAAO,GAAG,EAAE,GAAG,IAAI,CAAC;IAC1B,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;AAC1E,CAAC;AACD,SAAS,oBAAoB,CAAC,KAAc,EAAE,KAAa,EAAE,QAAgB,EAAE,OAAgB;IAC3F,MAAM,KAAK,GAAG,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,MAAM,KAAK,SAAS;QACpB,KAAK,CAAC,IAAI,CAAC,QAAQ,MAAM,EAAE,CAAC,CAAC;IACjC,IAAI,IAAI,KAAK,SAAS;QAClB,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IAC/B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IAChC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,wBAAwB,QAAQ,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IACtE,IAAI,QAAQ,IAAI,kBAAkB;QAC9B,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACpC,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC;AACD,SAAS,WAAW,CAAC,MAAc,EAAE,OAAe,EAAE,MAAoB;IACtE,OAAO,IAAI,gBAAM,CAAC;QACd,MAAM;QACN,OAAO;QACP,UAAU,EAAE,CAAC;QACb,KAAK,EAAE,MAAM;YACT,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE;gBAC5B,GAAG,IAAI;gBACP,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;aACzE,CAAC;YACF,CAAC,CAAC,SAAS;KAClB,CAAC,CAAC;AACP,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc;IAGxC,6GAA6G;IAC7G,OAAO,EAAE,MAAM,EAAE,CAAC;AACtB,CAAC;AACD,SAAgB,mBAAmB,CAAC,QAAuB;IACvD,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACjI,MAAM,IAAI,SAAS,CAAC,6DAA6D,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;AAC7E,CAAC;AACD,SAAS,WAAW,CAAC,QAAuB;IACxC,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,IAAA,wBAAW,EAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAA,wBAAW,EAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACxG,CAAC;AACD,SAAS,oBAAoB,CAAC,QAA6B;IACvD,IAAI,CAAC,QAAQ,CAAC,KAAK;QACf,OAAO,WAAW,CAAC,wBAAwB,CAAC,CAAC;IACjD,IAAI,CAAC,IAAA,gBAAM,EAAC,QAAQ,CAAC,SAAS,CAAC;QAC3B,OAAO,WAAW,CAAC,yBAAyB,QAAQ,CAAC,SAAS,SAAS,CAAC,CAAC;IAC7E,OAAO,SAAS,CAAC;AACrB,CAAC;AACD,MAAM,UAAU,GAAG,MAAM,CAAC,mBAAmB,CAAC,CAAC;AAC/C,SAAS,YAAY,CAAC,KAA0B,EAAE,MAAc,EAAE,QAAgB,EAAE,OAAe,EAAE,YAAqC;IACtI,MAAM,KAAK,GAAG,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,eAAM,CAAC,UAAU,CAAC;YACtC,GAAG,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE;gBACxB,sEAAsE;gBACtE,wEAAwE;gBACxE,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,QAAQ,mBAAmB,EAAE;oBACzD,MAAM,EAAE,MAAM;oBACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,aAAa,EAAE,UAAU,MAAM,EAAE,EAAE;oBAClF,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,gCAAgC,EAAE,CAAC,EAAE,CAAC;oBACrH,MAAM,EAAE,YAAY;iBACvB,CAAC,CAAC;gBACH,OAAO;oBACH,QAAQ;oBACR,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;iBACjE,CAAC;YACN,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAwB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC;SACpF,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE;YACpB,OAAO,SAAS,CAAC;QACrB,IAAI,sBAAsB,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,OAAO,GAAG,kBAAkB,EAAE,CAAC;YACnF,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,cAAK,CAAC,iBAAiB,CAAC,CAAC;YACtF,IAAI,KAAK,KAAK,SAAS;gBACnB,KAAK,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/B,OAAO,UAAU,CAAC;QACtB,CAAC;QACD,OAAO,6BAA6B,QAAQ,KAAK,KAAK,CAAC,KAAK,WAAW,QAAQ,CAAC,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;IACrI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,WAAW,CAAC;QACvB,QAAQ,EAAE,gBAAgB;QAC1B,SAAS,EAAE,GAAsB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;KACtE,CAAC,CAAC,CAAC;IACJ,OAAO,qBAAqB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;AACtD,CAAC;AACD,SAAS,mBAAmB,CAAC,OAA0B,EAAE,KAA0B,EAAE,QAAgB;IACjG,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACvC,OAAO,gCAAgC,QAAQ,KAAK,KAAK,CAAC,KAAK,WAAW,gBAAgB,GAAG,IAAI,GAAG,CAAC;IACzG,CAAC;IACD,OAAO,6BAA6B,QAAQ,KAAK,KAAK,CAAC,KAAK,MAAM,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;AACpG,CAAC;AACD;;;GAGG;AACH,SAAgB,gBAAgB,CAAC,KAA0B,EAAE,MAAoB;IAC7E,OAAO,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACvB,MAAM,MAAM,GAAG,IAAA,gBAAM,EAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,MAAM;YACvB,OAAO,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,CAAC,OAAe,EAAqC,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,UAAU;YAC9K,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;YACpB,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,kBAAkB;YACtF,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;YAC/D,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;AACP,CAAC;AACD,SAAS,kBAAkB,CAAC,KAAa,EAAE,SAAiB,EAAE,QAAgB,EAAE,OAAgB;IAC5F,OAAO,WAAW,CAAC,mBAAmB,EAAE,SAAS,KAAK,sBAAsB,aAAa,CAAC,SAAS,CAAC,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,eAAe,QAAQ,EAAE,CAAC,CAAC;AACrK,CAAC;AACD,SAAS,WAAW,CAAC,MAAc,EAAE,QAAiB;IAClD,OAAO;QACH,KAAK,EAAE,aAAa;QACpB,MAAM,EAAE,oBAAoB;QAC5B,MAAM;QACN,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;KAClD,CAAC;AACN,CAAC;AACD,SAAS,cAAc,CAAC,IAAY,EAAE,OAAe;IACjD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC/C,CAAC;AACD,gFAAgF;AAChF,SAAgB,qBAAqB,CAAC,KAAsC;IACxE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,0FAA0F,CAAC,CAAC;IAChH,CAAC;AACL,CAAC;AASD,SAAS,gBAAgB,CAAC,KAA2B,EAAE,QAAuB,EAAE,MAAc,EAAE,KAAa;IACzG,MAAM,QAAQ,GAAG,eAAM,CAAC,UAAU,CAAC;QAC/B,GAAG,EAAE,CAAC,YAAY,EAAE,EAAE;YAClB,MAAM,MAAM,GAAG,oBAAoB,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;YAC5F,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU;gBAC9C,CAAC,CAAC,IAAA,oBAAQ,EAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,CAAC;gBAC3G,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,YAAY;oBAC3B,CAAC,CAAC,IAAA,sBAAU,EAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,CAAC;oBAC7G,CAAC,CAAC,IAAA,mBAAO,EAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC;QACxH,CAAC;QACD,KAAK,EAAE,CAAC,KAAK,EAAwB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC;KACpF,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AACpB,CAAC;AACD,SAAS,UAAU,CAAC,OAAe;IAC/B,OAAO,eAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC;AACD;;;GAGG;AACH,SAAS,mBAAmB,CAAC,KAA2B;IACpD,MAAM,UAAU,GAAG,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACnC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;QAClC,MAAM,cAAc,GAAG,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS;YACrB,OAAO,eAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAM,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAA,gBAAM,EAAC,QAAQ,CAAC,SAAS,CAAE,CAAC;QAC3C,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,MAAM,QAAQ,GAAG,CAAC,OAAe,EAAyC,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YAC1F,QAAQ,GAAG,OAAO,GAAG,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAyC,EAAE;YACjJ,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;gBAC7G,OAAO,eAAM,CAAC,OAAO,CAAC,cAAc,CAAC,wBAAwB,EAAE,0CAA0C,CAAC,CAAC,CAAC;YAChH,CAAC;YACD,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC;YAC7C,OAAO,eAAM,CAAC,OAAO,CAAC;gBAClB,KAAK,EAAE,UAAmB;gBAC1B,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,QAAQ,EAAE,WAAW,CAAC,cAAc,CAAC;gBACrC,GAAG,CAAC,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAA,wBAAW,EAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/G,CAAC,CAAC;QACP,CAAC,CAAC,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,OAA6B,EAAyC,EAAE,CAAC,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC9G,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;YAC5B,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;gBAC1B,OAAO,cAAc,CAAC,uBAAuB,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;YACxE,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,kBAAkB,EAAE,CAAC;gBACvE,OAAO,WAAW,CAAC,mBAAmB,EAAE,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;YACnG,CAAC;YACD,MAAM,UAAU,GAAG,YAAY,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC,cAAK,CAAC,iBAAiB,CAAC,CAAC;YAC/F,MAAM,KAAK,GAAG,UAAU,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,GAAG,yBAAyB,GAAG,CAAC,IAAI,OAAO,CAAC;YAC5H,OAAO,GAAG,IAAI,CAAC;YACf,KAAK,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACzB,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACP,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,SAAS,CAAC;YACrC,QAAQ,EAAE,QAAQ,CAAC,SAAS;YAC5B,SAAS,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU;YACrC,SAAS,EAAE,GAAG,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC;SACpF,CAAC,CAAC,CAAC;IACR,CAAC,CAAC,CAAC;IACH,OAAO,qBAAqB,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;AAC3D,CAAC;AACD,kFAAkF;AAClF,SAAgB,wBAAwB,CAAC,KAA2B;IAChE,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC;AACtC,CAAC","sourcesContent":["// Native LLM-as-Judge evaluator. The Assert-first path keeps provider I/O,\n// timeout, retry, and interruption inside the owning Effect.\nimport { ClosedQA, Factuality, Summary } from \"autoevals\";\nimport { Clock, Effect, Random } from \"effect\";\nimport OpenAI from \"openai\";\nimport { summaryText } from \"./display.ts\";\nimport type { MeasurementAssertionEvaluation } from \"./api.ts\";\nimport type { JudgeMaterial, ResolvedJudgeConfig } from \"./types.ts\";\nimport { getEnv } from \"../util.ts\";\nconst JUDGE_MAX_ATTEMPTS = 3;\nconst JUDGE_RETRY_BASE_DELAY_MS = 1000;\nconst PROBE_TIMEOUT_MS = 20000;\nconst PROBE_MAX_ATTEMPTS = 2;\nexport type JudgeRecipe = \"closedQA\" | \"factuality\" | \"summarizes\";\ntype AutoevalResult = {\n    score?: number | null;\n    metadata?: Record<string, unknown>;\n};\ntype JudgeMeasurementResult = {\n    readonly state: \"measured\";\n    readonly value: number;\n    readonly evidence?: string;\n    readonly explanation?: string;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"source-unavailable\";\n    readonly detail: string;\n    readonly evidence?: string;\n} | {\n    readonly state: \"errored\";\n    readonly code: string;\n    readonly message: string;\n};\nfunction errorSummary(error: unknown): string {\n    const message = error instanceof Error ? error.message : String(error);\n    return message.replace(/\\s+/g, \" \").slice(0, 300);\n}\nfunction objectField(value: unknown, key: string): unknown {\n    if (typeof value !== \"object\" || value === null)\n        return undefined;\n    try {\n        return Reflect.get(value, key);\n    }\n    catch {\n        return undefined;\n    }\n}\nfunction judgeStatus(error: unknown): number | undefined {\n    let current: unknown = error;\n    for (let depth = 0; current !== undefined && depth < 5; depth++) {\n        const status = objectField(current, \"status\");\n        if (typeof status === \"number\" && Number.isInteger(status))\n            return status;\n        const nested = objectField(current, \"error\");\n        const nestedStatus = objectField(nested, \"status\");\n        if (typeof nestedStatus === \"number\" && Number.isInteger(nestedStatus))\n            return nestedStatus;\n        current = objectField(current, \"cause\");\n    }\n    return undefined;\n}\nfunction judgeCode(error: unknown): string | undefined {\n    let current: unknown = error;\n    for (let depth = 0; current !== undefined && depth < 5; depth++) {\n        const code = objectField(current, \"code\");\n        if (typeof code === \"string\" && code !== \"\")\n            return code;\n        const nestedCode = objectField(objectField(current, \"error\"), \"code\");\n        if (typeof nestedCode === \"string\" && nestedCode !== \"\")\n            return nestedCode;\n        current = objectField(current, \"cause\");\n    }\n    return undefined;\n}\nfunction headerValue(headers: unknown, name: string): string | undefined {\n    if (headers instanceof Headers)\n        return headers.get(name) ?? undefined;\n    if (typeof headers !== \"object\" || headers === null)\n        return undefined;\n    const lower = name.toLowerCase();\n    for (const [key, value] of Object.entries(headers)) {\n        if (key.toLowerCase() === lower && typeof value === \"string\")\n            return value;\n    }\n    return undefined;\n}\nfunction retryAfterMs(headers: unknown, nowMs: number): number | undefined {\n    const raw = headerValue(headers, \"retry-after\")?.trim();\n    if (!raw)\n        return undefined;\n    const seconds = Number(raw);\n    if (Number.isFinite(seconds) && seconds >= 0)\n        return Math.round(seconds * 1000);\n    const timestamp = Date.parse(raw);\n    return Number.isFinite(timestamp) ? Math.max(0, timestamp - nowMs) : undefined;\n}\nfunction isTransientJudgeStatus(status: number | undefined): boolean {\n    return status === 408 || status === 429 || (status !== undefined && status >= 500 && status <= 599);\n}\nfunction isConnectionFailure(error: unknown): boolean {\n    let current: unknown = error;\n    for (let depth = 0; current !== undefined && depth < 5; depth++) {\n        const name = objectField(current, \"name\");\n        const code = objectField(current, \"code\");\n        if (name === \"APIUserAbortError\")\n            return false;\n        if (name === \"APIConnectionError\" || name === \"APIConnectionTimeoutError\")\n            return true;\n        if (typeof code === \"string\" && /^(?:ECONN|ENOTFOUND|EAI_AGAIN|ENETUNREACH|EHOSTUNREACH|ETIMEDOUT|ERR_TLS)/i.test(code))\n            return true;\n        if (/fetch failed|socket hang up|connection (?:reset|closed|refused)|network error|other side closed|timed? out|timeout|\\b(?:ECONNRESET|ECONNREFUSED|ENOTFOUND|EAI_AGAIN|ETIMEDOUT)\\b/i.test(errorSummary(current))) {\n            return true;\n        }\n        current = objectField(current, \"cause\");\n    }\n    return false;\n}\nfunction isTransportFailure(error: unknown): boolean {\n    return judgeStatus(error) !== undefined || isConnectionFailure(error);\n}\nfunction isTransientJudgeFailure(error: unknown): boolean {\n    const status = judgeStatus(error);\n    return isTransientJudgeStatus(status) || (status === undefined && isConnectionFailure(error));\n}\ninterface JudgeProviderFailure {\n    readonly _tag: \"JudgeProviderFailure\";\n    readonly error: unknown;\n}\ninterface JudgeProbeTimeout {\n    readonly _tag: \"JudgeProbeTimeout\";\n}\ntype JudgeProbeFailure = JudgeProviderFailure | JudgeProbeTimeout;\n/**\n * An author-facing AbortSignal is external to this fiber. It must interrupt\n * the owning Effect instead of being reclassified as a Judge result.\n */\nfunction interruptWhenAborted(signal: AbortSignal): Effect.Effect<never> {\n    return Effect.async<never>((resume) => {\n        let completed = false;\n        const interrupted = () => {\n            if (completed)\n                return;\n            completed = true;\n            resume(Effect.interrupt);\n        };\n        signal.addEventListener(\"abort\", interrupted, { once: true });\n        // Register first, then inspect state so an abort cannot fall between the\n        // initial check and listener installation.\n        if (signal.aborted)\n            interrupted();\n        return Effect.sync(() => {\n            completed = true;\n            signal.removeEventListener(\"abort\", interrupted);\n        });\n    });\n}\nfunction interruptibleByCaller<A, E, R>(effect: Effect.Effect<A, E, R>, signal: AbortSignal | undefined): Effect.Effect<A, E, R> {\n    if (signal === undefined)\n        return effect;\n    return Effect.suspend(() => signal.aborted\n        ? Effect.interrupt\n        : Effect.raceFirst(effect, interruptWhenAborted(signal)));\n}\nfunction formatSeconds(ms: number): string {\n    const seconds = ms / 1000;\n    return `${Number.isInteger(seconds) ? seconds : seconds.toFixed(1)}s`;\n}\nfunction judgeFailureEvidence(error: unknown, model: string, attempts: number, retried: boolean): string {\n    const parts = [`model=${model}`];\n    const status = judgeStatus(error);\n    const code = judgeCode(error);\n    if (status !== undefined)\n        parts.push(`HTTP ${status}`);\n    if (code !== undefined)\n        parts.push(`code=${code}`);\n    parts.push(errorSummary(error));\n    parts.push(retried ? `retry=yes · attempts=${attempts}` : \"retry=no\");\n    if (attempts >= JUDGE_MAX_ATTEMPTS)\n        parts.push(\"retries exhausted\");\n    return parts.join(\" · \");\n}\nfunction judgeClient(apiKey: string, baseURL: string, signal?: AbortSignal): OpenAI {\n    return new OpenAI({\n        apiKey,\n        baseURL,\n        maxRetries: 0,\n        fetch: signal\n            ? (input, init) => fetch(input, {\n                ...init,\n                signal: init?.signal ? AbortSignal.any([signal, init.signal]) : signal,\n            })\n            : undefined,\n    });\n}\ntype AutoevalOpenAIClient = NonNullable<Parameters<typeof ClosedQA>[0][\"client\"]>;\nfunction bridgeAutoevalClient(client: OpenAI): {\n    readonly client: AutoevalOpenAIClient;\n} {\n    // @ts-expect-error autoevals and this package resolve equivalent OpenAI SDKs through distinct peer contexts.\n    return { client };\n}\nexport function freezeJudgeMaterial(material: JudgeMaterial): JudgeMaterial {\n    if (typeof material !== \"object\" || material === null || typeof material.input !== \"string\" || typeof material.output !== \"string\") {\n        throw new TypeError(\"t.judge requires material { input: string, output: string }\");\n    }\n    return Object.freeze({ input: material.input, output: material.output });\n}\nfunction evidenceFor(material: JudgeMaterial): string {\n    return JSON.stringify({ input: summaryText(material.input), output: summaryText(material.output) });\n}\nfunction missingConfiguration(resolved: ResolvedJudgeConfig): JudgeMeasurementResult | undefined {\n    if (!resolved.model)\n        return unavailable(\"judge-model-unresolved\");\n    if (!getEnv(resolved.apiKeyEnv))\n        return unavailable(`judge-key-unresolved (${resolved.apiKeyEnv} unset)`);\n    return undefined;\n}\nconst retryProbe = Symbol(\"retry-judge-probe\");\nfunction probeAttempt(judge: ResolvedJudgeConfig, apiKey: string, endpoint: string, attempt: number, callerSignal: AbortSignal | undefined): Effect.Effect<string | undefined | typeof retryProbe, JudgeProbeFailure> {\n    const probe = Effect.gen(function* () {\n        const response = yield* Effect.tryPromise({\n            try: async (effectSignal) => {\n                // This is the probe's sole Promise adapter boundary. The Effect fiber\n                // owns provider cancellation; caller aborts interrupt that fiber first.\n                const response = await fetch(`${endpoint}/chat/completions`, {\n                    method: \"POST\",\n                    headers: { \"Content-Type\": \"application/json\", Authorization: `Bearer ${apiKey}` },\n                    body: JSON.stringify({ model: judge.model, messages: [{ role: \"user\", content: \"Reply with the single word: ok\" }] }),\n                    signal: effectSignal,\n                });\n                return {\n                    response,\n                    body: response.ok ? \"\" : await response.text().catch(() => \"\"),\n                };\n            },\n            catch: (error): JudgeProviderFailure => ({ _tag: \"JudgeProviderFailure\", error }),\n        });\n        if (response.response.ok)\n            return undefined;\n        if (isTransientJudgeStatus(response.response.status) && attempt < PROBE_MAX_ATTEMPTS) {\n            const delay = retryAfterMs(response.response.headers, yield* Clock.currentTimeMillis);\n            if (delay !== undefined)\n                yield* Effect.sleep(delay);\n            return retryProbe;\n        }\n        return `Judge precheck failed for ${endpoint} (${judge.model}): HTTP ${response.response.status} ${response.body.slice(0, 300)}`;\n    }).pipe(Effect.timeoutFail({\n        duration: PROBE_TIMEOUT_MS,\n        onTimeout: (): JudgeProbeTimeout => ({ _tag: \"JudgeProbeTimeout\" }),\n    }));\n    return interruptibleByCaller(probe, callerSignal);\n}\nfunction probeFailureMessage(failure: JudgeProbeFailure, judge: ResolvedJudgeConfig, endpoint: string): string {\n    if (failure._tag === \"JudgeProbeTimeout\") {\n        return `Judge precheck timed out for ${endpoint} (${judge.model}) after ${PROBE_TIMEOUT_MS / 1000}s`;\n    }\n    return `Judge precheck failed for ${endpoint} (${judge.model}): ${errorSummary(failure.error)}`;\n}\n/**\n * A precheck only tests a configured, credentialed endpoint.  Missing model or\n * key remains a normal zero-network unavailable Assertion when an author consumes it.\n */\nexport function probeJudgeEffect(judge: ResolvedJudgeConfig, signal?: AbortSignal): Effect.Effect<string | undefined> {\n    return Effect.suspend(() => {\n        const apiKey = getEnv(judge.apiKeyEnv);\n        if (!judge.model || !apiKey)\n            return Effect.succeed(undefined);\n        const endpoint = judge.baseUrl.replace(/\\/$/, \"\");\n        const probe = (attempt: number): Effect.Effect<string | undefined> => probeAttempt(judge, apiKey, endpoint, attempt, signal).pipe(Effect.flatMap((result) => result === retryProbe\n            ? probe(attempt + 1)\n            : Effect.succeed(result)), Effect.catchAll((failure) => attempt === PROBE_MAX_ATTEMPTS\n            ? Effect.succeed(probeFailureMessage(failure, judge, endpoint))\n            : probe(attempt + 1)));\n        return probe(1);\n    });\n}\nfunction unavailableForCall(model: string, timeoutMs: number, attempts: number, retried: boolean): JudgeMeasurementResult {\n    return unavailable(\"judge-call-failed\", `model=${model} · timed out after ${formatSeconds(timeoutMs)} · retry=${retried ? \"yes\" : \"no\"} · attempts=${attempts}`);\n}\nfunction unavailable(detail: string, evidence?: string): JudgeMeasurementResult {\n    return {\n        state: \"unavailable\",\n        reason: \"source-unavailable\",\n        detail,\n        ...(evidence === undefined ? {} : { evidence }),\n    };\n}\nfunction evaluatorError(code: string, message: string): JudgeMeasurementResult {\n    return { state: \"errored\", code, message };\n}\n/** Throws synchronously at the author callsite when the Eval did not opt in. */\nexport function assertJudgeCapability(judge: ResolvedJudgeConfig | undefined): asserts judge is ResolvedJudgeConfig {\n    if (judge === undefined) {\n        throw new Error(\"Judge Assertion requires defineEval({ judge: true }) or defineScoreEval({ judge: true })\");\n    }\n}\nexport interface JudgeRecipeExecution {\n    readonly judge: ResolvedJudgeConfig;\n    readonly recipe: JudgeRecipe;\n    readonly reference: string;\n    readonly material: JudgeMaterial;\n    readonly signal?: AbortSignal;\n    readonly random?: () => number;\n}\nfunction evaluateAutoeval(input: JudgeRecipeExecution, material: JudgeMaterial, apiKey: string, model: string): Effect.Effect<AutoevalResult, JudgeProviderFailure> {\n    const provider = Effect.tryPromise({\n        try: (effectSignal) => {\n            const client = bridgeAutoevalClient(judgeClient(apiKey, input.judge.baseUrl, effectSignal));\n            return Promise.resolve(input.recipe === \"closedQA\"\n                ? ClosedQA({ input: material.input, output: material.output, criteria: input.reference, model, ...client })\n                : input.recipe === \"factuality\"\n                    ? Factuality({ input: material.input, output: material.output, expected: input.reference, model, ...client })\n                    : Summary({ input: material.input, output: material.output, expected: input.reference, model, ...client }));\n        },\n        catch: (error): JudgeProviderFailure => ({ _tag: \"JudgeProviderFailure\", error }),\n    });\n    return provider;\n}\nfunction judgeSleep(delayMs: number): Effect.Effect<void> {\n    return Effect.sleep(delayMs);\n}\n/**\n * The real Judge invocation. Provider I/O is adapted once, then retry,\n * timeout, interruption, and delay remain inside the owning Effect.\n */\nfunction evaluateJudgeRecipe(input: JudgeRecipeExecution): Effect.Effect<JudgeMeasurementResult> {\n    const evaluation = Effect.suspend(() => {\n        const { judge: resolved } = input;\n        const frozenMaterial = freezeJudgeMaterial(input.material);\n        const missing = missingConfiguration(resolved);\n        if (missing !== undefined)\n            return Effect.succeed(missing);\n        const model = resolved.model!;\n        const apiKey = getEnv(resolved.apiKeyEnv)!;\n        let attempts = 0;\n        let retried = false;\n        const evaluate = (attempt: number): Effect.Effect<JudgeMeasurementResult> => Effect.sync(() => {\n            attempts = attempt + 1;\n        }).pipe(Effect.zipRight(evaluateAutoeval(input, frozenMaterial, apiKey, model).pipe(Effect.flatMap((result): Effect.Effect<JudgeMeasurementResult> => {\n            if (typeof result.score !== \"number\" || !Number.isFinite(result.score) || result.score < 0 || result.score > 1) {\n                return Effect.succeed(evaluatorError(\"judge-invalid-response\", \"Judge returned no finite score in [0, 1]\"));\n            }\n            const rationale = result.metadata?.rationale;\n            return Effect.succeed({\n                state: \"measured\" as const,\n                value: result.score,\n                evidence: evidenceFor(frozenMaterial),\n                ...(typeof rationale === \"string\" && rationale.trim() !== \"\" ? { explanation: summaryText(rationale) } : {}),\n            });\n        }), Effect.catchAll((failure: JudgeProviderFailure): Effect.Effect<JudgeMeasurementResult> => Effect.gen(function* () {\n            const error = failure.error;\n            if (!isTransportFailure(error))\n                return evaluatorError(\"judge-evaluator-error\", errorSummary(error));\n            if (!isTransientJudgeFailure(error) || attempt + 1 >= JUDGE_MAX_ATTEMPTS) {\n                return unavailable(\"judge-call-failed\", judgeFailureEvidence(error, model, attempts, retried));\n            }\n            const retryAfter = retryAfterMs(objectField(error, \"headers\"), yield* Clock.currentTimeMillis);\n            const delay = retryAfter ?? (input.random ? input.random() : yield* Random.next) * JUDGE_RETRY_BASE_DELAY_MS * 2 ** attempt;\n            retried = true;\n            yield* judgeSleep(delay);\n            return yield* evaluate(attempt + 1);\n        })))));\n        return evaluate(0).pipe(Effect.timeoutTo({\n            duration: resolved.timeoutMs,\n            onSuccess: (evaluation) => evaluation,\n            onTimeout: () => unavailableForCall(model, resolved.timeoutMs, attempts, retried),\n        }));\n    });\n    return interruptibleByCaller(evaluation, input.signal);\n}\n/** Assert-first bridge: one provider Promise adaptation in the Attempt Effect. */\nexport function evaluateJudgeMeasurement(input: JudgeRecipeExecution): Effect.Effect<MeasurementAssertionEvaluation, never, never> {\n    return evaluateJudgeRecipe(input);\n}\n"]}