niceeval 0.18.0 → 0.19.0

package/dist/assertions/api.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.js","sourceRoot":"","sources":["api.ts"],"names":[],"mappings":";;;AAmYA;;;;GAIG;AACU,QAAA,oBAAoB,GAAkB,MAAM,CAAC,2BAA2B,CAAC,CAAC;AAsBvF;;;;;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":["// @concord-file ne-eval-assertions-api\n// @concord-implements docs/feature/assertions/README.md\n// @concord-implements docs/feature/assertions/library.md\n// @concord-implements docs/feature/assertions/library/value-assertions.md\n// @concord-implements docs/feature/assertions/library/scoped-assertions.md\nimport type { Effect } from \"effect\";\nimport type { BooleanMatch, CollectionMatch, ManagedToolCalls, MatchDiagnostic, NumericComparator, NumericMaterial, NumericComparisonMatch, ScoreMatch, EventMatch, ManagedEventOccurrences, ToolMatch, } from \"./match.ts\";\nimport type { AgentWorkspaceDiff } from \"./workspace-diff.ts\";\nimport type { EvaluationKind } from \"../shared/evaluation.ts\";\nimport type { JudgeImage } from \"../judge/image.ts\";\n/** The two Evaluation kinds deliberately share one Assertion entry model. */\nexport type AssertionEvaluationKind = EvaluationKind;\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\" | \"capacity-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    readonly kind: \"capacity-limited\";\n    readonly capturedItems: number;\n    readonly knownTotalItems: number;\n    readonly omittedBytes: number | null;\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: \"judge-image\";\n    readonly image: JudgeImage;\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    readonly matcher: {\n        readonly state: \"declared\";\n        readonly name: string;\n    } | {\n        readonly state: \"unavailable\";\n    };\n} | {\n    /** Package-private runtime variant encoded as numeric-comparison/v1. */\n    readonly kind: \"value-match\";\n    readonly numeric: {\n        readonly comparator: NumericComparator;\n        readonly threshold: number;\n        readonly subject: {\n            readonly kind: \"explicit-value\";\n        } | {\n            readonly kind: \"scope-metric\";\n            readonly metric: \"tokens\";\n            readonly scope: \"turn\" | \"session\" | \"attempt\";\n            readonly unit: \"tokens\";\n        } | {\n            readonly kind: \"scope-metric\";\n            readonly metric: \"cost\";\n            readonly scope: \"turn\" | \"session\" | \"attempt\";\n            readonly unit: \"usd\";\n        } | {\n            readonly kind: \"collection-cardinality\";\n            readonly collection: \"tool-calls\";\n            readonly scope: \"turn\" | \"session\" | \"attempt\";\n        };\n    };\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\" | \"order\";\n    readonly matcher?: string;\n    readonly quantifier?: {\n        readonly kind: \"absent\";\n    } | {\n        readonly kind: \"at-least\" | \"less-than\" | \"at-most\" | \"greater-than\" | \"exact\";\n        readonly count: number;\n    };\n} | {\n    readonly kind: \"judge-measurement\";\n    readonly name: string;\n    readonly scale: \"unit-interval\";\n} | {\n    readonly kind: \"managed-score-measurement\";\n    readonly name: string;\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};\n/** Constant-size semantic receipt for one collection evaluation. */\nexport interface AssertionCollectionReceipt {\n    readonly examined: number;\n    readonly matched: number;\n    readonly mismatched: number;\n    readonly unavailable: number;\n    readonly knownTotal: number | null;\n    readonly complete: boolean;\n    readonly exhaustive: boolean;\n    readonly decisive: boolean;\n}\nexport type MatcherRelationStatus = {\n    readonly state: \"exact\";\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"historical-not-recorded\" | \"source-unavailable\" | \"ambiguous\";\n};\nexport type MatcherSourceLocator = {\n    readonly kind: \"tool-occurrence\";\n    readonly toolOccurrenceId: string;\n    readonly relation: MatcherRelationStatus;\n} | {\n    readonly kind: \"event\";\n    readonly eventId: string;\n    readonly toolOccurrenceId?: string;\n    readonly relation: MatcherRelationStatus;\n};\nexport interface MatcherRetainedRow {\n    readonly locator: MatcherSourceLocator;\n    readonly result: \"matched\" | \"mismatched\" | \"unavailable\" | \"not-evaluated\";\n    readonly difference?: AssertionSnapshotValue;\n}\nexport interface MatcherQueryStep {\n    readonly step: number;\n    readonly summary: AssertionSnapshotValue;\n}\nexport type MatcherSourceSnapshot = {\n    readonly scope: \"turn\";\n    readonly sessionId: string;\n    readonly turnId: string;\n    readonly scopeId: string;\n    readonly throughSessionSequence: number;\n    readonly source: {\n        readonly family: \"niceeval.agent-turns\";\n        readonly schemaVersion: number;\n    };\n    readonly collectionAtCut: \"complete\" | \"partial\" | \"unavailable\";\n} | {\n    readonly scope: \"session\";\n    readonly sessionId: string;\n    readonly scopeId: string;\n    readonly throughSessionSequence: number;\n    readonly source: {\n        readonly family: \"niceeval.agent-turns\";\n        readonly schemaVersion: number;\n    };\n    readonly collectionAtCut: \"complete\" | \"partial\" | \"unavailable\";\n} | {\n    readonly scope: \"attempt\";\n    readonly scopeId: string;\n    readonly sessions: readonly {\n        readonly sessionId: string;\n        readonly throughSessionSequence: number;\n    }[];\n    readonly source: {\n        readonly family: \"niceeval.agent-turns\";\n        readonly schemaVersion: number;\n    };\n    readonly collectionAtCut: \"complete\" | \"partial\" | \"unavailable\";\n};\nexport interface OrderStepReceipt {\n    readonly step: number;\n    readonly comparisons: number;\n    readonly matched: number;\n    readonly mismatched: number;\n    readonly unavailable: number;\n}\nexport interface OrderEvaluationReceipt {\n    readonly sourceRows: number;\n    readonly comparisons: number;\n    readonly unavailableComparisons: number;\n    readonly definitePrefixLength: number;\n    readonly possiblePrefixLength: number;\n    readonly stepReceipts: readonly OrderStepReceipt[];\n    readonly complete: boolean;\n    readonly exhaustive: boolean;\n    readonly decisive: boolean;\n}\nexport interface MatcherOrderPathNode {\n    readonly step: number;\n    readonly locator: MatcherSourceLocator;\n    readonly sessionId: string;\n    readonly sessionSequence: number;\n    readonly result: \"matched\" | \"unavailable\";\n}\nexport interface MatcherFailureFrontier {\n    readonly longestDefinitePrefix: readonly MatcherOrderPathNode[];\n    readonly longestPossiblePrefix: readonly MatcherOrderPathNode[];\n    readonly firstBlockingStep: number;\n    readonly suffixChecked: AssertionCollectionReceipt;\n    readonly representatives: readonly MatcherRetainedRow[];\n}\nexport type MatcherQueryArtifact = {\n    readonly kind: \"collection-filter\";\n    readonly sourceSnapshot: MatcherSourceSnapshot;\n    readonly query: MatcherQueryStep;\n    readonly receipt: AssertionCollectionReceipt;\n    readonly retainedRows: readonly MatcherRetainedRow[];\n} | {\n    readonly kind: \"ordered-sequence\";\n    readonly sourceSnapshot: Extract<MatcherSourceSnapshot, {\n        readonly scope: \"turn\" | \"session\";\n    }>;\n    readonly querySteps: readonly MatcherQueryStep[];\n    readonly receipt: OrderEvaluationReceipt;\n    readonly result: {\n        readonly state: \"matched\";\n        readonly witnessPath: readonly MatcherOrderPathNode[];\n    } | {\n        readonly state: \"mismatched\";\n        readonly failureFrontier: MatcherFailureFrontier;\n    } | {\n        readonly state: \"unavailable\";\n        readonly reason: string;\n    };\n    readonly retainedRows: readonly MatcherRetainedRow[];\n};\nexport type AssertionConditionPolicy = {\n    readonly kind: \"boolean\";\n    readonly expected: true;\n} | {\n    readonly kind: \"at-least\";\n    readonly threshold: number;\n} | {\n    readonly kind: \"record-only\";\n};\nexport interface AssertionPolicy {\n    readonly requirement: \"required\" | \"optional\";\n    readonly condition: AssertionConditionPolicy;\n}\nexport type AssertionObserved = {\n    readonly kind: \"boolean\";\n    readonly outcome: \"matched\" | \"mismatched\" | \"unavailable\" | \"errored\" | \"not-applicable\";\n} | {\n    readonly kind: \"measurement\";\n    readonly state: \"available\";\n    readonly value: number;\n} | {\n    readonly kind: \"measurement\";\n    readonly state: \"unavailable\";\n} | {\n    readonly kind: \"direct-score\";\n    readonly state: \"available\";\n    readonly value: number;\n} | {\n    readonly kind: \"direct-score\";\n    readonly state: \"unavailable\";\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    readonly receipt?: AssertionCollectionReceipt;\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    readonly receipt?: AssertionCollectionReceipt;\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    readonly receipt?: AssertionCollectionReceipt;\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    readonly receipt?: AssertionCollectionReceipt;\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    readonly receipt?: AssertionCollectionReceipt;\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    readonly policy: AssertionPolicy;\n    readonly observed: AssertionObserved;\n    readonly matcherArtifact?: MatcherQueryArtifact;\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\");\ndeclare const assertionConditionStateBrand: unique symbol;\ndeclare const assertionGateStateBrand: unique symbol;\ndeclare const assertionScoreStateBrand: unique symbol;\nexport interface AssertionHandleBase<HasCondition extends boolean = boolean, HasScore extends boolean = boolean> {\n    readonly [assertionHandleBrand]: true;\n    readonly [assertionConditionStateBrand]: HasCondition;\n    readonly [assertionScoreStateBrand]: HasScore;\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;\n/** Numeric cardinality deliberately excludes the managed event occurrence subject. */\nexport type NumericAssertionSubject<Value> = Value extends ManagedEventOccurrences ? never : AssertionSubject<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    readonly receipt?: AssertionCollectionReceipt;\n    readonly matcherArtifact?: MatcherQueryArtifact;\n} | {\n    readonly state: \"mismatched\";\n    readonly diagnostic?: MatchDiagnostic;\n    readonly receipt?: AssertionCollectionReceipt;\n    readonly matcherArtifact?: MatcherQueryArtifact;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"evidence-unavailable\" | \"source-unavailable\" | \"redacted\";\n    readonly diagnostic?: MatchDiagnostic;\n    readonly receipt?: AssertionCollectionReceipt;\n    readonly matcherArtifact?: MatcherQueryArtifact;\n} | {\n    readonly state: \"not-applicable\";\n    readonly diagnostic?: MatchDiagnostic;\n    readonly matcherArtifact?: MatcherQueryArtifact;\n};\n/** A measurement is always a finite unit-interval value when it is available. */\nexport type MeasurementAssertionEvaluation = {\n    readonly receipt?: AssertionCollectionReceipt;\n} & ({\n    readonly state: \"measured\";\n    readonly value: number;\n    readonly detail?: AssertionSnapshotObject;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"evidence-unavailable\" | \"source-unavailable\" | \"redacted\";\n    readonly detail?: AssertionSnapshotObject;\n} | {\n    readonly state: \"not-applicable\";\n    readonly detail?: AssertionSnapshotObject;\n} | {\n    readonly state: \"errored\";\n    readonly detail?: AssertionSnapshotObject;\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    /** @internal Seal the criterion for the actual local or managed evaluation path. */\n    readonly terminalCriterion?: () => AssertionCriterion;\n    readonly retainedBytes?: number;\n    readonly terminalReceipt?: () => AssertionCollectionReceipt;\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    /** Sealed when Attempt interruption prevents the ordinary evaluator from running. */\n    readonly interruptedMatcherArtifact?: MatcherQueryArtifact;\n    readonly evaluate: () => Effect.Effect<BooleanAssertionEvaluation<Refined>, unknown, never>;\n}\nexport interface MeasurementAssertionRegistration extends AssertionRegistrationBase {\n    /** Bytes synchronously reserved from an Attempt-local producer budget. */\n    readonly retainedBytes?: number;\n    readonly retainedImageBytes?: number;\n    /** Complete terminal Content appended exactly once by the shared sealing path. */\n    readonly terminalEvidence?: () => readonly AssertionMaterial[];\n    /** Terminal producer facts frozen by the shared Assertion sealing path. */\n    readonly terminalDetail?: () => AssertionSnapshotObject;\n    readonly evaluate: () => Effect.Effect<MeasurementAssertionEvaluation, unknown, never>;\n}\nexport interface PassBooleanAssertionHandle<out Refined, HasGate extends boolean = false> extends AssertionHandleBase<true, false> {\n    readonly kind: \"boolean\";\n    readonly [assertionGateStateBrand]: HasGate;\n    /** An unavailable/errored optional entry does not independently error Verdict. */\n    optional(): this;\n    gate(this: PassBooleanAssertionHandle<Refined, false>): PassBooleanAssertionHandle<Refined, true>;\n    orStop(): Promise<Refined>;\n}\nexport interface ScoreBooleanAssertionHandle<out Refined, HasGate extends boolean = false, HasScore extends boolean = false> extends AssertionHandleBase<true, HasScore> {\n    readonly kind: \"boolean\";\n    readonly [assertionGateStateBrand]: HasGate;\n    gate(this: ScoreBooleanAssertionHandle<Refined, false, HasScore>): ScoreBooleanAssertionHandle<Refined, true, HasScore>;\n    score(this: ScoreBooleanAssertionHandle<Refined, HasGate, false>, points: number): ScoreBooleanAssertionHandle<Refined, HasGate, true>;\n    orStop(): Promise<Refined>;\n}\nexport interface PassMeasurementAssertionHandle<HasCondition extends boolean = false> extends AssertionHandleBase<HasCondition, false> {\n    readonly kind: \"measurement\";\n    gate(this: PassMeasurementAssertionHandle<false>, minimum: number): PassMeasurementAssertionHandle<true>;\n    orStop(this: PassMeasurementAssertionHandle<false>, minimum: number): Promise<number>;\n    orStop(this: PassMeasurementAssertionHandle<true>): Promise<number>;\n}\nexport interface ScoreMeasurementAssertionHandle<HasCondition extends boolean = false, HasScore extends boolean = false> extends AssertionHandleBase<HasCondition, HasScore> {\n    readonly kind: \"measurement\";\n    gate(this: ScoreMeasurementAssertionHandle<false, HasScore>, minimum: number): ScoreMeasurementAssertionHandle<true, HasScore>;\n    score(this: ScoreMeasurementAssertionHandle<HasCondition, false>, points: number): ScoreMeasurementAssertionHandle<HasCondition, true>;\n    orStop(this: ScoreMeasurementAssertionHandle<false, HasScore>, minimum: number): Promise<number>;\n    orStop(this: ScoreMeasurementAssertionHandle<true, HasScore>): Promise<number>;\n}\n/** A Boolean Assertion that intentionally has no author control-flow operation. */\ninterface PostRunPassBooleanAssertionHandle<Refined, HasGate extends boolean = false> extends AssertionHandleBase<true, false> {\n    readonly kind: \"boolean\";\n    readonly [assertionGateStateBrand]: HasGate;\n    optional(): this;\n    gate(this: PostRunPassBooleanAssertionHandle<Refined, false>): PostRunPassBooleanAssertionHandle<Refined, true>;\n}\ninterface PostRunScoreBooleanAssertionHandle<Refined, HasGate extends boolean = false, HasScore extends boolean = false> extends AssertionHandleBase<true, HasScore> {\n    readonly kind: \"boolean\";\n    readonly [assertionGateStateBrand]: HasGate;\n    gate(this: PostRunScoreBooleanAssertionHandle<Refined, false, HasScore>): PostRunScoreBooleanAssertionHandle<Refined, true, HasScore>;\n    score(this: PostRunScoreBooleanAssertionHandle<Refined, HasGate, false>, points: number): PostRunScoreBooleanAssertionHandle<Refined, HasGate, true>;\n}\nexport type PostRunBooleanAssertionHandle<Kind extends AssertionEvaluationKind, Refined, HasGate extends boolean = false, HasScore extends boolean = false> = Kind extends \"pass\" ? PostRunPassBooleanAssertionHandle<Refined, HasGate> : PostRunScoreBooleanAssertionHandle<Refined, HasGate, HasScore>;\n/** Direct score is an Assertion entry, but has no condition or stop barrier. */\nexport interface DirectScoreAssertionHandle extends AssertionHandleBase<false, true> {\n    readonly kind: \"direct-score\";\n}\n/**\n * Definition-time handle shared by Adapter Assertion factories. It exposes\n * only operations whose meaning is identical in Pass and Score Evals; the\n * bound Eval factory replaces it with the native handle for its Kind.\n */\nexport interface PolymorphicBooleanAssertionHandle<out Refined, HasGate extends boolean = false> extends AssertionHandleBase<true, false> {\n    readonly kind: \"boolean\";\n    readonly [assertionGateStateBrand]: HasGate;\n    gate(this: PolymorphicBooleanAssertionHandle<Refined, false>): PolymorphicBooleanAssertionHandle<Refined, true>;\n    orStop(): Promise<Refined>;\n}\n/** Definition-time measurement counterpart to PolymorphicBooleanAssertionHandle. */\nexport interface PolymorphicMeasurementAssertionHandle<HasCondition extends boolean = false> extends AssertionHandleBase<HasCondition, false> {\n    readonly kind: \"measurement\";\n    gate(this: PolymorphicMeasurementAssertionHandle<false>, minimum: number): PolymorphicMeasurementAssertionHandle<true>;\n    orStop(this: PolymorphicMeasurementAssertionHandle<false>, minimum: number): Promise<number>;\n    orStop(this: PolymorphicMeasurementAssertionHandle<true>): Promise<number>;\n}\nexport type AssertionCheckKind = AssertionEvaluationKind | \"polymorphic\";\ntype CheckedBooleanHandle<Kind extends AssertionCheckKind, Refined> = Kind extends AssertionEvaluationKind ? BooleanAssertionHandle<Kind, Refined> : PolymorphicBooleanAssertionHandle<Refined>;\ntype CheckedMeasurementHandle<Kind extends AssertionCheckKind> = Kind extends AssertionEvaluationKind ? MeasurementAssertionHandle<Kind> : PolymorphicMeasurementAssertionHandle;\n/** Single owner for the public check overload set, including Adapter-polymorphic factories. */\nexport interface AssertionCheck<Kind extends AssertionCheckKind, Context = unknown> {\n    <T>(match: import(\"./context-match.ts\").MaterialMatch<Context, T>): CheckedBooleanHandle<Kind, void>;\n    <T>(match: import(\"./context-match.ts\").ContextBooleanMatch<Context, T>): CheckedBooleanHandle<Kind, void>;\n    <T>(match: import(\"./context-match.ts\").ContextScoreMatch<Context, T>): CheckedMeasurementHandle<Kind>;\n    (value: import(\"./match.ts\").NumericMaterial, match: NumericComparisonMatch): CheckedBooleanHandle<Kind, number>;\n    <Value, Refined extends Value>(value: AssertionSubject<Value>, match: BooleanMatch<NoInfer<Value>, Refined, \"value\">): CheckedBooleanHandle<Kind, Refined>;\n    <Value extends readonly unknown[]>(value: NumericAssertionSubject<Value>, match: NumericComparisonMatch): CheckedBooleanHandle<Kind, Value>;\n    <S extends \"turn\" | \"session\" | \"attempt\">(value: AssertionSubject<ManagedToolCalls<S>>, match: ToolMatch): CheckedBooleanHandle<Kind, ManagedToolCalls<S>>;\n    <S extends \"turn\" | \"session\" | \"attempt\">(value: AssertionSubject<ManagedEventOccurrences<S>>, match: EventMatch): CheckedBooleanHandle<Kind, ManagedEventOccurrences<S>>;\n    <Value>(value: AssertionSubject<Value>, match: CollectionMatch<NoInfer<Value>>): CheckedBooleanHandle<Kind, Value>;\n    <Value>(value: AssertionSubject<Value>, match: ScoreMatch<NoInfer<Value>>): CheckedMeasurementHandle<Kind>;\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    readonly check: AssertionCheck<\"pass\">;\n}\n/** Adds direct points, or a unit-interval measurement with an explicit fixed weight. */\nexport interface ScoreFunction {\n    (points: number): DirectScoreAssertionHandle;\n    (ratio: number | NumericMaterial, options: {\n        readonly weight: number;\n    }): ScoreMeasurementAssertionHandle<false, true>;\n}\nexport interface ScoreAssertionsContext extends AssertionGroupContext {\n    readonly evaluationKind: \"score\";\n    readonly check: AssertionCheck<\"score\">;\n    readonly score: ScoreFunction;\n}\nexport type AssertionsContext<Kind extends AssertionEvaluationKind> = Kind extends \"pass\" ? PassAssertionsContext : ScoreAssertionsContext;\nexport type BooleanAssertionHandle<Kind extends AssertionEvaluationKind, Refined, HasGate extends boolean = false, HasScore extends boolean = false> = Kind extends \"pass\" ? PassBooleanAssertionHandle<Refined, HasGate> : ScoreBooleanAssertionHandle<Refined, HasGate, HasScore>;\nexport type MeasurementAssertionHandle<Kind extends AssertionEvaluationKind, HasCondition extends boolean = false, HasScore extends boolean = false> = Kind extends \"pass\" ? PassMeasurementAssertionHandle<HasCondition> : ScoreMeasurementAssertionHandle<HasCondition, HasScore>;\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}\n/** Sealing has no expected authoring failure after registration-time validation. */\nexport type AssertionSealError = never;\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: import(\"../shared/types.ts\").Verdict;\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    /** @internal Reject before an adapter reads or snapshots author material. */\n    assertAuthoringOpen(): void;\n    /** Attempt-owned synchronous admission close; sealing still happens once through `seal`. */\n    closeAuthoring(reason: \"attempt-sealing\" | \"attempt-interrupted\"): void;\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":";;;AAqYA;;;;GAIG;AACU,QAAA,oBAAoB,GAAkB,MAAM,CAAC,2BAA2B,CAAC,CAAC;AAsBvF;;;;;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":["// @concord-file\n// @concord-implements docs/feature/assertions/README.md\n// @concord-implements docs/feature/assertions/library.md\n// @concord-implements docs/feature/assertions/library/value-assertions.md\n// @concord-implements docs/feature/assertions/library/scoped-assertions.md\nimport type { Effect } from \"effect\";\nimport type { BooleanMatch, CollectionMatch, ManagedToolCalls, MatchDiagnostic, NumericComparator, NumericMaterial, NumericComparisonMatch, ScoreMatch, EventMatch, ManagedEventOccurrences, ToolMatch, } from \"./match.ts\";\nimport type { AgentWorkspaceDiff } from \"./workspace-diff.ts\";\nimport type { EvaluationKind } from \"../shared/evaluation.ts\";\nimport type { JudgeImage } from \"../judge/image.ts\";\n/** The two Evaluation kinds deliberately share one Assertion entry model. */\nexport type AssertionEvaluationKind = EvaluationKind;\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\" | \"capacity-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    readonly kind: \"capacity-limited\";\n    readonly capturedItems: number;\n    readonly knownTotalItems: number;\n    readonly omittedBytes: number | null;\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: \"judge-image\";\n    readonly image: JudgeImage;\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    readonly matcher: {\n        readonly state: \"declared\";\n        readonly name: string;\n    } | {\n        readonly state: \"unavailable\";\n    };\n} | {\n    /** Package-private runtime variant encoded as numeric-comparison/v1. */\n    readonly kind: \"value-match\";\n    readonly numeric: {\n        readonly comparator: NumericComparator;\n        readonly threshold: number;\n        readonly upperThreshold?: number;\n        readonly unit?: import(\"./quantity.ts\").Unit;\n        readonly subject: {\n            readonly kind: \"explicit-value\";\n        } | {\n            readonly kind: \"scope-metric\";\n            readonly metric: \"tokens\";\n            readonly scope: \"turn\" | \"session\" | \"attempt\";\n            readonly unit: \"tokens\";\n        } | {\n            readonly kind: \"scope-metric\";\n            readonly metric: \"cost\";\n            readonly scope: \"turn\" | \"session\" | \"attempt\";\n            readonly unit: \"usd\";\n        } | {\n            readonly kind: \"collection-cardinality\";\n            readonly collection: \"tool-calls\";\n            readonly scope: \"turn\" | \"session\" | \"attempt\";\n        };\n    };\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\" | \"order\";\n    readonly matcher?: string;\n    readonly quantifier?: {\n        readonly kind: \"absent\";\n    } | {\n        readonly kind: \"at-least\" | \"less-than\" | \"at-most\" | \"greater-than\" | \"exact\";\n        readonly count: number;\n    };\n} | {\n    readonly kind: \"judge-measurement\";\n    readonly name: string;\n    readonly scale: \"unit-interval\";\n} | {\n    readonly kind: \"managed-score-measurement\";\n    readonly name: string;\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};\n/** Constant-size semantic receipt for one collection evaluation. */\nexport interface AssertionCollectionReceipt {\n    readonly examined: number;\n    readonly matched: number;\n    readonly mismatched: number;\n    readonly unavailable: number;\n    readonly knownTotal: number | null;\n    readonly complete: boolean;\n    readonly exhaustive: boolean;\n    readonly decisive: boolean;\n}\nexport type MatcherRelationStatus = {\n    readonly state: \"exact\";\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"historical-not-recorded\" | \"source-unavailable\" | \"ambiguous\";\n};\nexport type MatcherSourceLocator = {\n    readonly kind: \"tool-occurrence\";\n    readonly toolOccurrenceId: string;\n    readonly relation: MatcherRelationStatus;\n} | {\n    readonly kind: \"event\";\n    readonly eventId: string;\n    readonly toolOccurrenceId?: string;\n    readonly relation: MatcherRelationStatus;\n};\nexport interface MatcherRetainedRow {\n    readonly locator: MatcherSourceLocator;\n    readonly result: \"matched\" | \"mismatched\" | \"unavailable\" | \"not-evaluated\";\n    readonly difference?: AssertionSnapshotValue;\n}\nexport interface MatcherQueryStep {\n    readonly step: number;\n    readonly summary: AssertionSnapshotValue;\n}\nexport type MatcherSourceSnapshot = {\n    readonly scope: \"turn\";\n    readonly sessionId: string;\n    readonly turnId: string;\n    readonly scopeId: string;\n    readonly throughSessionSequence: number;\n    readonly source: {\n        readonly family: \"niceeval.agent-turns\";\n        readonly schemaVersion: number;\n    };\n    readonly collectionAtCut: \"complete\" | \"partial\" | \"unavailable\";\n} | {\n    readonly scope: \"session\";\n    readonly sessionId: string;\n    readonly scopeId: string;\n    readonly throughSessionSequence: number;\n    readonly source: {\n        readonly family: \"niceeval.agent-turns\";\n        readonly schemaVersion: number;\n    };\n    readonly collectionAtCut: \"complete\" | \"partial\" | \"unavailable\";\n} | {\n    readonly scope: \"attempt\";\n    readonly scopeId: string;\n    readonly sessions: readonly {\n        readonly sessionId: string;\n        readonly throughSessionSequence: number;\n    }[];\n    readonly source: {\n        readonly family: \"niceeval.agent-turns\";\n        readonly schemaVersion: number;\n    };\n    readonly collectionAtCut: \"complete\" | \"partial\" | \"unavailable\";\n};\nexport interface OrderStepReceipt {\n    readonly step: number;\n    readonly comparisons: number;\n    readonly matched: number;\n    readonly mismatched: number;\n    readonly unavailable: number;\n}\nexport interface OrderEvaluationReceipt {\n    readonly sourceRows: number;\n    readonly comparisons: number;\n    readonly unavailableComparisons: number;\n    readonly definitePrefixLength: number;\n    readonly possiblePrefixLength: number;\n    readonly stepReceipts: readonly OrderStepReceipt[];\n    readonly complete: boolean;\n    readonly exhaustive: boolean;\n    readonly decisive: boolean;\n}\nexport interface MatcherOrderPathNode {\n    readonly step: number;\n    readonly locator: MatcherSourceLocator;\n    readonly sessionId: string;\n    readonly sessionSequence: number;\n    readonly result: \"matched\" | \"unavailable\";\n}\nexport interface MatcherFailureFrontier {\n    readonly longestDefinitePrefix: readonly MatcherOrderPathNode[];\n    readonly longestPossiblePrefix: readonly MatcherOrderPathNode[];\n    readonly firstBlockingStep: number;\n    readonly suffixChecked: AssertionCollectionReceipt;\n    readonly representatives: readonly MatcherRetainedRow[];\n}\nexport type MatcherQueryArtifact = {\n    readonly kind: \"collection-filter\";\n    readonly sourceSnapshot: MatcherSourceSnapshot;\n    readonly query: MatcherQueryStep;\n    readonly receipt: AssertionCollectionReceipt;\n    readonly retainedRows: readonly MatcherRetainedRow[];\n} | {\n    readonly kind: \"ordered-sequence\";\n    readonly sourceSnapshot: Extract<MatcherSourceSnapshot, {\n        readonly scope: \"turn\" | \"session\";\n    }>;\n    readonly querySteps: readonly MatcherQueryStep[];\n    readonly receipt: OrderEvaluationReceipt;\n    readonly result: {\n        readonly state: \"matched\";\n        readonly witnessPath: readonly MatcherOrderPathNode[];\n    } | {\n        readonly state: \"mismatched\";\n        readonly failureFrontier: MatcherFailureFrontier;\n    } | {\n        readonly state: \"unavailable\";\n        readonly reason: string;\n    };\n    readonly retainedRows: readonly MatcherRetainedRow[];\n};\nexport type AssertionConditionPolicy = {\n    readonly kind: \"boolean\";\n    readonly expected: true;\n} | {\n    readonly kind: \"at-least\";\n    readonly threshold: number;\n} | {\n    readonly kind: \"record-only\";\n};\nexport interface AssertionPolicy {\n    readonly requirement: \"required\" | \"optional\";\n    readonly condition: AssertionConditionPolicy;\n}\nexport type AssertionObserved = {\n    readonly kind: \"boolean\";\n    readonly outcome: \"matched\" | \"mismatched\" | \"unavailable\" | \"errored\" | \"not-applicable\";\n} | {\n    readonly kind: \"measurement\";\n    readonly state: \"available\";\n    readonly value: number;\n} | {\n    readonly kind: \"measurement\";\n    readonly state: \"unavailable\";\n} | {\n    readonly kind: \"direct-score\";\n    readonly state: \"available\";\n    readonly value: number;\n} | {\n    readonly kind: \"direct-score\";\n    readonly state: \"unavailable\";\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    readonly receipt?: AssertionCollectionReceipt;\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    readonly receipt?: AssertionCollectionReceipt;\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    readonly receipt?: AssertionCollectionReceipt;\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    readonly receipt?: AssertionCollectionReceipt;\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    readonly receipt?: AssertionCollectionReceipt;\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    readonly policy: AssertionPolicy;\n    readonly observed: AssertionObserved;\n    readonly matcherArtifact?: MatcherQueryArtifact;\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\");\ndeclare const assertionConditionStateBrand: unique symbol;\ndeclare const assertionGateStateBrand: unique symbol;\ndeclare const assertionScoreStateBrand: unique symbol;\nexport interface AssertionHandleBase<HasCondition extends boolean = boolean, HasScore extends boolean = boolean> {\n    readonly [assertionHandleBrand]: true;\n    readonly [assertionConditionStateBrand]: HasCondition;\n    readonly [assertionScoreStateBrand]: HasScore;\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;\n/** Numeric cardinality deliberately excludes the managed event occurrence subject. */\nexport type NumericAssertionSubject<Value> = Value extends ManagedEventOccurrences ? never : AssertionSubject<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    readonly receipt?: AssertionCollectionReceipt;\n    readonly matcherArtifact?: MatcherQueryArtifact;\n} | {\n    readonly state: \"mismatched\";\n    readonly diagnostic?: MatchDiagnostic;\n    readonly receipt?: AssertionCollectionReceipt;\n    readonly matcherArtifact?: MatcherQueryArtifact;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"evidence-unavailable\" | \"source-unavailable\" | \"redacted\";\n    readonly diagnostic?: MatchDiagnostic;\n    readonly receipt?: AssertionCollectionReceipt;\n    readonly matcherArtifact?: MatcherQueryArtifact;\n} | {\n    readonly state: \"not-applicable\";\n    readonly diagnostic?: MatchDiagnostic;\n    readonly matcherArtifact?: MatcherQueryArtifact;\n};\n/** A measurement is always a finite unit-interval value when it is available. */\nexport type MeasurementAssertionEvaluation = {\n    readonly receipt?: AssertionCollectionReceipt;\n} & ({\n    readonly state: \"measured\";\n    readonly value: number;\n    readonly detail?: AssertionSnapshotObject;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"evidence-unavailable\" | \"source-unavailable\" | \"redacted\";\n    readonly detail?: AssertionSnapshotObject;\n} | {\n    readonly state: \"not-applicable\";\n    readonly detail?: AssertionSnapshotObject;\n} | {\n    readonly state: \"errored\";\n    readonly detail?: AssertionSnapshotObject;\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    /** @internal Seal the criterion for the actual local or managed evaluation path. */\n    readonly terminalCriterion?: () => AssertionCriterion;\n    readonly retainedBytes?: number;\n    readonly terminalReceipt?: () => AssertionCollectionReceipt;\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    /** Sealed when Attempt interruption prevents the ordinary evaluator from running. */\n    readonly interruptedMatcherArtifact?: MatcherQueryArtifact;\n    readonly evaluate: () => Effect.Effect<BooleanAssertionEvaluation<Refined>, unknown, never>;\n}\nexport interface MeasurementAssertionRegistration extends AssertionRegistrationBase {\n    /** Bytes synchronously reserved from an Attempt-local producer budget. */\n    readonly retainedBytes?: number;\n    readonly retainedImageBytes?: number;\n    /** Complete terminal Content appended exactly once by the shared sealing path. */\n    readonly terminalEvidence?: () => readonly AssertionMaterial[];\n    /** Terminal producer facts frozen by the shared Assertion sealing path. */\n    readonly terminalDetail?: () => AssertionSnapshotObject;\n    readonly evaluate: () => Effect.Effect<MeasurementAssertionEvaluation, unknown, never>;\n}\nexport interface PassBooleanAssertionHandle<out Refined, HasGate extends boolean = false> extends AssertionHandleBase<true, false> {\n    readonly kind: \"boolean\";\n    readonly [assertionGateStateBrand]: HasGate;\n    /** An unavailable/errored optional entry does not independently error Verdict. */\n    optional(): this;\n    gate(this: PassBooleanAssertionHandle<Refined, false>): PassBooleanAssertionHandle<Refined, true>;\n    orStop(): Promise<Refined>;\n}\nexport interface ScoreBooleanAssertionHandle<out Refined, HasGate extends boolean = false, HasScore extends boolean = false> extends AssertionHandleBase<true, HasScore> {\n    readonly kind: \"boolean\";\n    readonly [assertionGateStateBrand]: HasGate;\n    gate(this: ScoreBooleanAssertionHandle<Refined, false, HasScore>): ScoreBooleanAssertionHandle<Refined, true, HasScore>;\n    score(this: ScoreBooleanAssertionHandle<Refined, HasGate, false>, points: number): ScoreBooleanAssertionHandle<Refined, HasGate, true>;\n    orStop(): Promise<Refined>;\n}\nexport interface PassMeasurementAssertionHandle<HasCondition extends boolean = false> extends AssertionHandleBase<HasCondition, false> {\n    readonly kind: \"measurement\";\n    gate(this: PassMeasurementAssertionHandle<false>, minimum: number): PassMeasurementAssertionHandle<true>;\n    orStop(this: PassMeasurementAssertionHandle<false>, minimum: number): Promise<number>;\n    orStop(this: PassMeasurementAssertionHandle<true>): Promise<number>;\n}\nexport interface ScoreMeasurementAssertionHandle<HasCondition extends boolean = false, HasScore extends boolean = false> extends AssertionHandleBase<HasCondition, HasScore> {\n    readonly kind: \"measurement\";\n    gate(this: ScoreMeasurementAssertionHandle<false, HasScore>, minimum: number): ScoreMeasurementAssertionHandle<true, HasScore>;\n    score(this: ScoreMeasurementAssertionHandle<HasCondition, false>, points: number): ScoreMeasurementAssertionHandle<HasCondition, true>;\n    orStop(this: ScoreMeasurementAssertionHandle<false, HasScore>, minimum: number): Promise<number>;\n    orStop(this: ScoreMeasurementAssertionHandle<true, HasScore>): Promise<number>;\n}\n/** A Boolean Assertion that intentionally has no author control-flow operation. */\ninterface PostRunPassBooleanAssertionHandle<Refined, HasGate extends boolean = false> extends AssertionHandleBase<true, false> {\n    readonly kind: \"boolean\";\n    readonly [assertionGateStateBrand]: HasGate;\n    optional(): this;\n    gate(this: PostRunPassBooleanAssertionHandle<Refined, false>): PostRunPassBooleanAssertionHandle<Refined, true>;\n}\ninterface PostRunScoreBooleanAssertionHandle<Refined, HasGate extends boolean = false, HasScore extends boolean = false> extends AssertionHandleBase<true, HasScore> {\n    readonly kind: \"boolean\";\n    readonly [assertionGateStateBrand]: HasGate;\n    gate(this: PostRunScoreBooleanAssertionHandle<Refined, false, HasScore>): PostRunScoreBooleanAssertionHandle<Refined, true, HasScore>;\n    score(this: PostRunScoreBooleanAssertionHandle<Refined, HasGate, false>, points: number): PostRunScoreBooleanAssertionHandle<Refined, HasGate, true>;\n}\nexport type PostRunBooleanAssertionHandle<Kind extends AssertionEvaluationKind, Refined, HasGate extends boolean = false, HasScore extends boolean = false> = Kind extends \"pass\" ? PostRunPassBooleanAssertionHandle<Refined, HasGate> : PostRunScoreBooleanAssertionHandle<Refined, HasGate, HasScore>;\n/** Direct score is an Assertion entry, but has no condition or stop barrier. */\nexport interface DirectScoreAssertionHandle extends AssertionHandleBase<false, true> {\n    readonly kind: \"direct-score\";\n}\n/**\n * Definition-time handle shared by Adapter Assertion factories. It exposes\n * only operations whose meaning is identical in Pass and Score Evals; the\n * bound Eval factory replaces it with the native handle for its Kind.\n */\nexport interface PolymorphicBooleanAssertionHandle<out Refined, HasGate extends boolean = false> extends AssertionHandleBase<true, false> {\n    readonly kind: \"boolean\";\n    readonly [assertionGateStateBrand]: HasGate;\n    gate(this: PolymorphicBooleanAssertionHandle<Refined, false>): PolymorphicBooleanAssertionHandle<Refined, true>;\n    orStop(): Promise<Refined>;\n}\n/** Definition-time measurement counterpart to PolymorphicBooleanAssertionHandle. */\nexport interface PolymorphicMeasurementAssertionHandle<HasCondition extends boolean = false> extends AssertionHandleBase<HasCondition, false> {\n    readonly kind: \"measurement\";\n    gate(this: PolymorphicMeasurementAssertionHandle<false>, minimum: number): PolymorphicMeasurementAssertionHandle<true>;\n    orStop(this: PolymorphicMeasurementAssertionHandle<false>, minimum: number): Promise<number>;\n    orStop(this: PolymorphicMeasurementAssertionHandle<true>): Promise<number>;\n}\nexport type AssertionCheckKind = AssertionEvaluationKind | \"polymorphic\";\ntype CheckedBooleanHandle<Kind extends AssertionCheckKind, Refined> = Kind extends AssertionEvaluationKind ? BooleanAssertionHandle<Kind, Refined> : PolymorphicBooleanAssertionHandle<Refined>;\ntype CheckedMeasurementHandle<Kind extends AssertionCheckKind> = Kind extends AssertionEvaluationKind ? MeasurementAssertionHandle<Kind> : PolymorphicMeasurementAssertionHandle;\n/** Single owner for the public check overload set, including Adapter-polymorphic factories. */\nexport interface AssertionCheck<Kind extends AssertionCheckKind, Context = unknown> {\n    <T>(match: import(\"./context-match.ts\").MaterialMatch<Context, T>): CheckedBooleanHandle<Kind, void>;\n    <T>(match: import(\"./context-match.ts\").ContextBooleanMatch<Context, T>): CheckedBooleanHandle<Kind, void>;\n    <T>(match: import(\"./context-match.ts\").ContextScoreMatch<Context, T>): CheckedMeasurementHandle<Kind>;\n    (value: import(\"./match.ts\").NumericMaterial, match: NumericComparisonMatch): CheckedBooleanHandle<Kind, number>;\n    <Value, Refined extends Value>(value: AssertionSubject<Value>, match: BooleanMatch<NoInfer<Value>, Refined, \"value\">): CheckedBooleanHandle<Kind, Refined>;\n    <Value extends readonly unknown[]>(value: NumericAssertionSubject<Value>, match: NumericComparisonMatch): CheckedBooleanHandle<Kind, Value>;\n    <S extends \"turn\" | \"session\" | \"attempt\">(value: AssertionSubject<ManagedToolCalls<S>>, match: ToolMatch): CheckedBooleanHandle<Kind, ManagedToolCalls<S>>;\n    <S extends \"turn\" | \"session\" | \"attempt\">(value: AssertionSubject<ManagedEventOccurrences<S>>, match: EventMatch): CheckedBooleanHandle<Kind, ManagedEventOccurrences<S>>;\n    <Value>(value: AssertionSubject<Value>, match: CollectionMatch<NoInfer<Value>>): CheckedBooleanHandle<Kind, Value>;\n    <Value>(value: AssertionSubject<Value>, match: ScoreMatch<NoInfer<Value>>): CheckedMeasurementHandle<Kind>;\n    <U extends import(\"./quantity.ts\").Unit>(value: import(\"./match.ts\").NumericMaterial<U>, match: NumericComparisonMatch<NoInfer<U>>): CheckedBooleanHandle<Kind, number>;\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    readonly check: AssertionCheck<\"pass\">;\n}\n/** Adds direct points, or a unit-interval measurement with an explicit fixed weight. */\nexport interface ScoreFunction {\n    (points: number): DirectScoreAssertionHandle;\n    (ratio: number | NumericMaterial, options: {\n        readonly weight: number;\n    }): ScoreMeasurementAssertionHandle<false, true>;\n}\nexport interface ScoreAssertionsContext extends AssertionGroupContext {\n    readonly evaluationKind: \"score\";\n    readonly check: AssertionCheck<\"score\">;\n    readonly score: ScoreFunction;\n}\nexport type AssertionsContext<Kind extends AssertionEvaluationKind> = Kind extends \"pass\" ? PassAssertionsContext : ScoreAssertionsContext;\nexport type BooleanAssertionHandle<Kind extends AssertionEvaluationKind, Refined, HasGate extends boolean = false, HasScore extends boolean = false> = Kind extends \"pass\" ? PassBooleanAssertionHandle<Refined, HasGate> : ScoreBooleanAssertionHandle<Refined, HasGate, HasScore>;\nexport type MeasurementAssertionHandle<Kind extends AssertionEvaluationKind, HasCondition extends boolean = false, HasScore extends boolean = false> = Kind extends \"pass\" ? PassMeasurementAssertionHandle<HasCondition> : ScoreMeasurementAssertionHandle<HasCondition, HasScore>;\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}\n/** Sealing has no expected authoring failure after registration-time validation. */\nexport type AssertionSealError = never;\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: import(\"../shared/types.ts\").Verdict;\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    /** @internal Reject before an adapter reads or snapshots author material. */\n    assertAuthoringOpen(): void;\n    /** Attempt-owned synchronous admission close; sealing still happens once through `seal`. */\n    closeAuthoring(reason: \"attempt-sealing\" | \"attempt-interrupted\"): void;\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

@@ -78,6 +78,8 @@ export type AssertionCriterion = {
     readonly numeric: {
         readonly comparator: NumericComparator;
         readonly threshold: number;
+        readonly upperThreshold?: number;
+        readonly unit?: import("./quantity.cjs").Unit;
         readonly subject: {
             readonly kind: "explicit-value";
         } | {
@@ -581,6 +583,7 @@ export interface AssertionCheck<Kind extends AssertionCheckKind, Context = unkno
     <S extends "turn" | "session" | "attempt">(value: AssertionSubject<ManagedEventOccurrences<S>>, match: EventMatch): CheckedBooleanHandle<Kind, ManagedEventOccurrences<S>>;
     <Value>(value: AssertionSubject<Value>, match: CollectionMatch<NoInfer<Value>>): CheckedBooleanHandle<Kind, Value>;
     <Value>(value: AssertionSubject<Value>, match: ScoreMatch<NoInfer<Value>>): CheckedMeasurementHandle<Kind>;
+    <U extends import("./quantity.cjs").Unit>(value: import("./match.cjs").NumericMaterial<U>, match: NumericComparisonMatch<NoInfer<U>>): CheckedBooleanHandle<Kind, number>;
 }
 export interface AssertionGroupContext {
     /**

package/dist/assertions/api.d.mts

@@ -78,6 +78,8 @@ export type AssertionCriterion = {
     readonly numeric: {
         readonly comparator: NumericComparator;
         readonly threshold: number;
+        readonly upperThreshold?: number;
+        readonly unit?: import("./quantity.mjs").Unit;
         readonly subject: {
             readonly kind: "explicit-value";
         } | {
@@ -581,6 +583,7 @@ export interface AssertionCheck<Kind extends AssertionCheckKind, Context = unkno
     <S extends "turn" | "session" | "attempt">(value: AssertionSubject<ManagedEventOccurrences<S>>, match: EventMatch): CheckedBooleanHandle<Kind, ManagedEventOccurrences<S>>;
     <Value>(value: AssertionSubject<Value>, match: CollectionMatch<NoInfer<Value>>): CheckedBooleanHandle<Kind, Value>;
     <Value>(value: AssertionSubject<Value>, match: ScoreMatch<NoInfer<Value>>): CheckedMeasurementHandle<Kind>;
+    <U extends import("./quantity.mjs").Unit>(value: import("./match.mjs").NumericMaterial<U>, match: NumericComparisonMatch<NoInfer<U>>): CheckedBooleanHandle<Kind, number>;
 }
 export interface AssertionGroupContext {
     /**

package/dist/assertions/api.d.ts

@@ -78,6 +78,8 @@ export type AssertionCriterion = {
     readonly numeric: {
         readonly comparator: NumericComparator;
         readonly threshold: number;
+        readonly upperThreshold?: number;
+        readonly unit?: import("./quantity.js").Unit;
         readonly subject: {
             readonly kind: "explicit-value";
         } | {
@@ -581,6 +583,7 @@ export interface AssertionCheck<Kind extends AssertionCheckKind, Context = unkno
     <S extends "turn" | "session" | "attempt">(value: AssertionSubject<ManagedEventOccurrences<S>>, match: EventMatch): CheckedBooleanHandle<Kind, ManagedEventOccurrences<S>>;
     <Value>(value: AssertionSubject<Value>, match: CollectionMatch<NoInfer<Value>>): CheckedBooleanHandle<Kind, Value>;
     <Value>(value: AssertionSubject<Value>, match: ScoreMatch<NoInfer<Value>>): CheckedMeasurementHandle<Kind>;
+    <U extends import("./quantity.js").Unit>(value: import("./match.js").NumericMaterial<U>, match: NumericComparisonMatch<NoInfer<U>>): CheckedBooleanHandle<Kind, number>;
 }
 export interface AssertionGroupContext {
     /**

package/dist/assertions/collection.cjs

@@ -7,7 +7,7 @@ exports.managedEventOccurrencesSidecarOf = managedEventOccurrencesSidecarOf;
 exports.toolMatcherQuery = toolMatcherQuery;
 exports.eventMatcherQuery = eventMatcherQuery;
 exports.collectionMatchRegistration = collectionMatchRegistration;
-// @concord-file ne-eval-assertions-collection
+// @concord-file
 // @concord-implements docs/feature/assertions/library/scoped-assertions.md
 // @concord-implements docs/feature/assertions/architecture/evidence.md
 // @concord-implements docs/feature/eval/use-case/calledtool.md

package/dist/assertions/collection.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"collection.js","sourceRoot":"","sources":["collection.ts"],"names":[],"mappings":";;AAoGA,wDA6BC;AACD,8DAIC;AAWD,sEAKC;AACD,4EAIC;AA4BD,4CASC;AACD,8CAWC;AAmCD,kEAqOC;AApdD,8CAA8C;AAC9C,2EAA2E;AAC3E,uEAAuE;AACvE,+DAA+D;AAC/D,mCAAgC;AAEhC,+DAA+J;AAE/J,yCAAuc;AACvc,6CAA0D;AAC1D,6CAAwD;AAmBxD,MAAM,wBAAwB,GAAG,IAAI,OAAO,EAAmC,CAAC;AAYhF,MAAM,+BAA+B,GAAG,IAAI,OAAO,EAA0C,CAAC;AAC9F,SAAS,cAAc,CAAC,GAAuE;IAC3F,IAAI,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QACtC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,UAAU,GAAG,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC;IACvC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS;QAC3F,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ;QAC1B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;IAChC,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI;QACJ,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACtF,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACzF,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjG,CAAC,CAAC;AACP,CAAC;AACD,SAAS,oBAAoB,CAAC,QAA+B,EAAE,gBAAoC;IAC/F,IAAI,QAAQ,CAAC,eAAe,KAAK,aAAa;QAC1C,OAAO,QAAQ,CAAC;IACpB,IAAI,QAAQ,CAAC,eAAe,KAAK,SAAS,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC3E,OAAO,QAAQ,CAAC,eAAe,KAAK,SAAS;YACzC,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,EAAE,eAAe,EAAE,SAAkB,EAAE,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AACD,SAAS,mBAAmB,CAAC,KAG5B;IACG,IAAI,KAAK,CAAC,eAAe,KAAK,aAAa,EAAE,CAAC;QAC1C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,KAAK,UAAU,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAgB,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;AACtF,CAAC;AACD,SAAS,mBAAmB,CAAC,QAAyB;IAIlD,IAAI,QAAQ,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,oBAA6B,EAAE,CAAC;YACjG,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;SACjC,CAAC,CAAC;IACP,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,MAAM,EAAE,kBAA2B,EAAE,CAAC;YAC3F,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,kBAA2B,EAAE,CAAC,CAAC;SACtE,CAAC,CAAC;IACP,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAmB,EAAE,CAAC;QACvD,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;KACjC,CAAC,CAAC;AACP,CAAC;AACD,SAAgB,sBAAsB,CAAC,KAQtC;IACG,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;IAC5D,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAqB,CAAC;IAC5D,MAAM,cAAc,GAAG,oBAAoB,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC1F,MAAM,WAAW,GAAG,mBAAmB,CAAC;QACpC,eAAe,EAAE,cAAc,CAAC,eAAe;QAC/C,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM;KACjC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAClD,wBAAwB,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;QACnD,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,WAAW;QACX,cAAc;QACd,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,QAAQ,EAAE,KAAK,CAAC,QAAQ;KAC3B,CAAC,CAAC,CAAC;IACJ,OAAO,UAAU,CAAC;AACtB,CAAC;AACD,SAAgB,yBAAyB,CAAC,KAAc;IACpD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAC9C,CAAC,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC;QACrC,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AACD,SAAS,mBAAmB,CAAC,KAA0B;IACnD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9C,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3E,CAAwB,CAAC;AAC9B,CAAC;AACD,SAAgB,6BAA6B,CAAC,KAAqC;IAC/E,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/F,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAA4B,CAAC;IACnE,+BAA+B,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;IAC7E,OAAO,UAAU,CAAC;AACtB,CAAC;AACD,SAAgB,gCAAgC,CAAC,KAAc;IAC3D,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAC9C,CAAC,CAAC,+BAA+B,CAAC,GAAG,CAAC,KAAK,CAAC;QAC5C,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AACD,SAAS,2BAA2B,CAAC,MAAc;IAC/C,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,KAAK,EAAE,aAAsB;QAC7B,MAAM;QACN,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;YACtB,IAAI,EAAE,8BAA8B;YACpC,OAAO,EAAE,8EAA8E;YACvF,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACvB,MAAM;SACT,CAAC;KACL,CAAC,CAAC;AACP,CAAC;AACD,SAAS,mBAAmB,CAAC,UAAiC,EAAE,MAAuC;IACnG,IAAI,UAAU,CAAC,SAAS,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACxE,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,KAAK,EAAE,aAAsB;YAC7B,MAAM,EAAE,8BAA8B,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE;YACnE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,4BAA4B;gBAClC,OAAO,EAAE,2CAA2C;gBACpD,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBACvB,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,MAAM;aACtC,CAAC;SACL,CAAC,CAAC;IACP,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AACD,SAAgB,gBAAgB,CAAC,KAAgB,EAAE,UAAqD,MAAM,CAAC,MAAM,CAAC;IAClH,OAAO,EAAE,KAAK,CAAC,IAAI;CACtB,CAAC;IACE,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO;QACP,QAAQ,EAAE,KAAK,EAAE,SAA2D,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,KAAK,aAAa;YAC9G,CAAC,CAAC,2BAA2B,CAAC,SAAS,CAAC,MAAM,CAAC;YAC/C,CAAC,CAAC,mBAAmB,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,IAAA,+BAAoB,EAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;KACjG,CAAC,CAAC;AACP,CAAC;AACD,SAAgB,iBAAiB,CAAC,KAAiB,EAAE,UAAqD,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IAC5I,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO;QACP,QAAQ,EAAE,KAAK,EAAE,SAAyD,EAAE,EAAE;YAC1E,IAAI,SAAS,CAAC,KAAK,KAAK,aAAa;gBACjC,OAAO,2BAA2B,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YACzD,MAAM,MAAM,GAAG,MAAM,IAAA,+BAAoB,EAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;YAClE,MAAM,UAAU,GAAG,IAAA,mCAAwB,EAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC7D,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QACvF,CAAC;KACJ,CAAC,CAAC;AACP,CAAC;AACD,SAAS,mBAAmB,CAAC,UAA+B;IACxD,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ;QAC5B,OAAO,QAAQ,CAAC;IACpB,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO;QAC3B,OAAO,OAAO,CAAC;IACnB,OAAO,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;AAC1F,CAAC;AACD,SAAS,mBAAmB,CAAC,KAAqC,EAAE,OAA2B,EAAE,UAA+B;IAC5H,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI,EAAE,YAAqB;QAC3B,KAAK;QACL,UAAU,EAAE,MAAe;QAC3B,SAAS,EAAE,mBAAmB,CAAC,UAAU,CAAC;QAC1C,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;QAC7C,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;YAClD,CAAC,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE;YAC7B,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC;KAC5D,CAAC,CAAC;AACP,CAAC;AACD,SAAS,cAAc,CAAC,KAAyB,EAAE,OAA6B;IAC5E,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI,EAAE,YAAqB;QAC3B,KAAK;QACL,UAAU,EAAE,MAAe;QAC3B,SAAS,EAAE,OAAgB;QAC3B,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;KACzD,CAAC,CAAC;AACP,CAAC;AACD,SAAS,cAAc,CAAU,UAA4C,EAAE,OAAgB;IAC3F,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,UAAiD,CAAC;AAC7D,CAAC;AACD,SAAgB,2BAA2B,CAAU,OAAgB,EAAE,KAAc;IACjF,MAAM,OAAO,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,gCAAgC,CAAC,OAAO,CAAC,CAAC;IAC/D,IAAI,IAAA,mCAAwB,EAAC,KAAK,CAAC,EAAE,CAAC;QAClC,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,SAAS,CAAC,4DAA4D,CAAC,CAAC;QACtF,CAAC;QACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,IAAA,qCAAwB,EAAC,MAAM,CAAC,MAAM,CAAC;gBACpD,GAAG,OAAO,CAAC,WAAW;gBACtB,GAAG,EAAE,OAAO,CAAC,QAAQ;gBACrB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,UAAU,EAAE,YAAY;gBACxB,KAAK,EAAE,OAAO,CAAC,KAAK;aACvB,CAAC,CAAC,CAAC;YACJ,OAAO,IAAA,uCAA0B,EAAC;gBAC9B,KAAK;gBACL,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC;oBAC5B,IAAI,EAAE,wBAAiC;oBACvC,UAAU,EAAE,YAAqB;oBACjC,KAAK,EAAE,OAAO,CAAC,KAAK;iBACvB,CAAC;gBACF,QAAQ,EAAE,OAAO,CAAC,WAAW;gBAC7B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;oBACpB,GAAG,QAAQ;oBACX,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;iBACnC,CAAC;gBACF,YAAY,EAAE,GAAG,EAAE,CAAC,OAAO;aAC9B,CAAC,CAAC;QACP,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,SAAS,CAAC,sDAAsD,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAgB,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACnF,MAAM,QAAQ,GAAG,IAAA,qCAAwB,EAAC,MAAM,CAAC,MAAM,CAAC;YACpD,GAAG,QAAQ;YACX,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,cAAuB,EAAE,CAAC;YACrD,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAmB,EAAE,CAAC;YACvD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,gBAAyB,EAAE,CAAC;SACjE,CAAC,CAAC,CAAC;QACJ,OAAO,IAAA,uCAA0B,EAAC;YAC9B,KAAK;YACL,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,gBAAyB,EAAE,CAAC;YACpE,QAAQ;YACR,QAAQ;YACR,YAAY,EAAE,GAAG,EAAE,CAAC,OAAO;SAC9B,CAAC,CAAC;IACP,CAAC;IACD,MAAM,IAAI,GAAG,IAAA,6BAAkB,EAAC,KAAK,CAAC,IAAI,IAAA,8BAAmB,EAAC,KAAK,CAAC;QAChE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACZ,IAAI,EAAE,YAAqB;YAC3B,MAAM,EAAE,IAAA,8BAAmB,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAgB,CAAC,CAAC,CAAC,MAAe;YACvE,IAAI,EAAE,KAAK;YACX,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACrE,CAAC;QACF,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,IAAI,CAAC,IAAA,mCAAwB,EAAC,KAAK,CAAC,EAAE,CAAC;gBACnC,IAAI,IAAA,mCAAwB,EAAC,KAAK,CAAC,EAAE,CAAC;oBAClC,MAAM,IAAI,SAAS,CAAC,uEAAuE,CAAC,CAAC;gBACjG,CAAC;gBACD,MAAM,IAAI,SAAS,CAAC,oFAAoF,CAAC,CAAC;YAC9G,CAAC;YACD,OAAO,IAAA,gCAAqB,EAAC,KAAK,CAAC,CAAC;QACxC,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC;IACvE,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;YACxC,CAAC,CAAC,8BAA8B,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW,EAAE;YAC5F,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,sCAAsC,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IACrK,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,YAAa,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAkB,CAAC;YACrC,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAC1G,MAAM,QAAQ,GAAG,IAAA,qCAAwB,EAAC;gBACtC,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,UAAU,EAAE,OAAO;gBACnB,OAAO,EAAE,IAAI,CAAC,IAAI;gBAClB,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBACnC,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;gBACpD,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ;aAC7B,CAAC,CAAC;YACH,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;oBACrB,GAAG,mBAAmB,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC;oBACjE,UAAU,EAAE,OAAgB;iBAC/B,CAAC;gBACF,OAAO,EAAE,QAAQ,CAAC,QAAQ;gBAC1B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;gBACjC,0BAA0B,EAAE,IAAA,gDAA0B,EAAC;oBACnD,cAAc,EAAE,OAAO,CAAC,cAAc;oBACtC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC/B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;oBACvC,IAAI,EAAE,mBAAmB;iBAC5B,CAAC;gBACF,QAAQ,EAAE,GAAG,EAAE,CAAC,eAAM,CAAC,UAAU,CAAC;oBAC9B,GAAG,EAAE,KAAK,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,IAAA,+CAAyB,EAAC;wBAC5D,cAAc,EAAE,OAAO,CAAC,cAAc;wBACtC,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,KAAK;wBACL,UAAU,EAAE,IAAI,CAAC,UAAU;qBAC9B,CAAC,EAAE,OAAO,CAAC;oBACZ,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;iBAC1B,CAAC;aACL,CAAC,CAAC;QACP,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,cAAc,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC5E,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,qBAAqB,GAAG,OAAO,CAAC,cAEpC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,CAAC,OAAgC,CAAC;QACtD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,IAAA,qCAAwB,EAAC;YACtC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,UAAU,EAAE,OAAO;YACnB,SAAS,EAAE,aAAa;YACxB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACzC,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;YACnC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC7B,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;gBACrB,IAAI,EAAE,YAAqB;gBAC3B,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,UAAU,EAAE,OAAgB;gBAC5B,SAAS,EAAE,OAAgB;gBAC3B,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;aACvD,CAAC;YACF,OAAO,EAAE,QAAQ,CAAC,QAAQ;YAC1B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,0BAA0B,EAAE,IAAA,gDAA0B,EAAC;gBACnD,cAAc,EAAE,qBAAqB;gBACrC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC/B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAC7D,IAAI,EAAE,kBAAkB;aAC3B,CAAC;YACF,QAAQ,EAAE,GAAG,EAAE,CAAC,eAAM,CAAC,UAAU,CAAC;gBAC9B,GAAG,EAAE,KAAK,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,IAAA,0CAAoB,EAAC;oBACvD,cAAc,EAAE,qBAAqB;oBACrC,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,OAAO;iBACV,CAAC,EAAE,OAAO,CAAC;gBACZ,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;aAC1B,CAAC;SACL,CAAC,CAAC;IACP,CAAC;IACD,IAAI,OAAO,KAAK,SAAS;QACrB,MAAM,IAAI,SAAS,CAAC,oEAAoE,CAAC,CAAC;IAC9F,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAiB,CAAC;QACpC,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC;YAC/C,OAAO,EAAE,IAAI,CAAC,IAAI;YAClB,UAAU,EAAE,IAAI,CAAC,UAAU;SAC9B,CAAC,CAAC,CAAC;QACJ,MAAM,QAAQ,GAAG,IAAA,qCAAwB,EAAC;YACtC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,UAAU,EAAE,MAAM;YAClB,OAAO,EAAE,IAAI,CAAC,IAAI;YAClB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;YACnC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;YAC5C,QAAQ,EAAE,OAAO,CAAC,eAAe;YACjC,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC7B,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,SAAS,EAAE,mBAAmB,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC;YACzE,OAAO,EAAE,QAAQ,CAAC,QAAQ;YAC1B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,0BAA0B,EAAE,IAAA,gDAA0B,EAAC;gBACnD,cAAc,EAAE,OAAO,CAAC,cAAc;gBACtC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC/B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACvC,IAAI,EAAE,mBAAmB;aAC5B,CAAC;YACF,QAAQ,EAAE,GAAG,EAAE,CAAC,eAAM,CAAC,UAAU,CAAC;gBAC9B,GAAG,EAAE,KAAK,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,IAAA,+CAAyB,EAAC;oBAC5D,cAAc,EAAE,OAAO,CAAC,cAAc;oBACtC,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,KAAK;oBACL,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC9B,CAAC,EAAE,OAAO,CAAC;gBACZ,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;aAC1B,CAAC;SACL,CAAC,CAAC;IACP,CAAC;IACD,IAAI,OAAO,CAAC,cAAc,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5E,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,qBAAqB,GAAG,OAAO,CAAC,cAAc,CAAC;IACrD,MAAM,WAAW,GAAG,IAAI,CAAC,OAA+B,CAAC;IACzD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,IAAA,qCAAwB,EAAC;QACtC,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,SAAS,EAAE,YAAY;QACvB,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7C,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;QACnC,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC7B,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC;QACrD,OAAO,EAAE,QAAQ,CAAC,QAAQ;QAC1B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,0BAA0B,EAAE,IAAA,gDAA0B,EAAC;YACnD,cAAc,EAAE,qBAAqB;YACrC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;YAC/B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7D,IAAI,EAAE,kBAAkB;SAC3B,CAAC;QACF,QAAQ,EAAE,GAAG,EAAE,CAAC,eAAM,CAAC,UAAU,CAAC;YAC9B,GAAG,EAAE,KAAK,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,IAAA,0CAAoB,EAAC;gBACvD,cAAc,EAAE,qBAAqB;gBACrC,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,OAAO;aACV,CAAC,EAAE,OAAO,CAAC;YACZ,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;SAC1B,CAAC;KACL,CAAC,CAAC;AACP,CAAC","sourcesContent":["// @concord-file ne-eval-assertions-collection\n// @concord-implements docs/feature/assertions/library/scoped-assertions.md\n// @concord-implements docs/feature/assertions/architecture/evidence.md\n// @concord-implements docs/feature/eval/use-case/calledtool.md\nimport { Effect } from \"effect\";\nimport type { AssertionCoverage, AssertionCriterion, AssertionLimitation, BooleanAssertionEvaluation, BooleanAssertionRegistration, MatcherSourceSnapshot, } from \"./api.ts\";\nimport { evaluateMatcherCollection, evaluateMatcherOrder, interruptedMatcherArtifact, type MatcherQuery, type MatcherSourceRow, } from \"./matcher-artifact.ts\";\nimport type { LogicalToolOccurrence } from \"../o11y/types.ts\";\nimport { collectionMatchSpecOf, assertionEventOccurrence, evaluateBooleanMatch, isManagedEventMatch, isManagedCollectionMatch, isManagedToolMatch, isNumericComparisonMatch, looksLikeCollectionMatch, type BooleanMatchEvaluation, type CollectionMatch, type EventMatch, type EventOccurrenceView, type ManagedEventOccurrences, type ManagedToolCalls, type NumericMaterial, type ToolMatch, type ToolMatchQuantifier, type ToolOccurrenceView, } from \"./match.ts\";\nimport { numericBooleanRegistration } from \"./numeric.ts\";\nimport { captureAssertionSnapshot } from \"./runtime.ts\";\ntype ProjectedMatcherCandidate<Candidate> = {\n    readonly state: \"available\";\n    readonly value: Candidate;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: string;\n};\nexport interface ManagedToolCallsSidecar {\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n    readonly cardinality: NumericMaterial;\n    readonly sourceSnapshot: MatcherSourceSnapshot;\n    readonly rows: readonly MatcherSourceRow<ProjectedMatcherCandidate<LogicalToolOccurrence>>[];\n    readonly coverage: AssertionCoverage;\n    readonly limitations: readonly AssertionLimitation[];\n    readonly actionsCoverage: unknown;\n    readonly orphanFinishCount: number;\n    readonly snapshot: unknown;\n}\nconst managedToolCallsSidecars = new WeakMap<object, ManagedToolCallsSidecar>();\nexport interface ManagedEventOccurrencesSidecar {\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n    readonly sourceSnapshot: MatcherSourceSnapshot;\n    readonly rows: readonly MatcherSourceRow<{\n        readonly state: \"available\";\n        readonly value: EventOccurrenceView;\n    }>[];\n    readonly coverage: unknown;\n    readonly snapshot: unknown;\n    readonly unassociatedOperation: boolean;\n}\nconst managedEventOccurrencesSidecars = new WeakMap<object, ManagedEventOccurrencesSidecar>();\nfunction occurrenceView(row: MatcherSourceRow<ProjectedMatcherCandidate<LogicalToolOccurrence>>): ToolOccurrenceView {\n    if (row.candidate.state !== \"available\") {\n        return Object.freeze({ name: \"unknown\" });\n    }\n    const occurrence = row.candidate.value;\n    const name = occurrence.name.canonical === undefined || occurrence.name.canonical === \"unknown\"\n        ? occurrence.name.original\n        : occurrence.name.canonical;\n    return Object.freeze({\n        name,\n        ...(occurrence.input.state === \"unavailable\" ? {} : { input: occurrence.input.value }),\n        ...(occurrence.output.state === \"unavailable\" ? {} : { output: occurrence.output.value }),\n        ...(occurrence.lifecycle.state === \"available\" ? { status: occurrence.lifecycle.status } : {}),\n    });\n}\nfunction foldedSourceSnapshot(snapshot: MatcherSourceSnapshot, incompleteReason: string | undefined): MatcherSourceSnapshot {\n    if (snapshot.collectionAtCut === \"unavailable\")\n        return snapshot;\n    if (snapshot.collectionAtCut === \"partial\" || incompleteReason !== undefined) {\n        return snapshot.collectionAtCut === \"partial\"\n            ? snapshot\n            : Object.freeze({ ...snapshot, collectionAtCut: \"partial\" as const });\n    }\n    return snapshot;\n}\nfunction cardinalityMaterial(input: {\n    readonly collectionAtCut: MatcherSourceSnapshot[\"collectionAtCut\"];\n    readonly knownLength: number;\n}): NumericMaterial {\n    if (input.collectionAtCut === \"unavailable\") {\n        return Object.freeze({ state: \"unavailable\" as const, reason: \"source-unavailable\" });\n    }\n    if (input.collectionAtCut === \"complete\") {\n        return Object.freeze({ state: \"exact\" as const, value: input.knownLength });\n    }\n    return Object.freeze({ state: \"lower-bound\" as const, value: input.knownLength });\n}\nfunction cardinalityCoverage(material: NumericMaterial): {\n    readonly coverage: AssertionCoverage;\n    readonly limitations: readonly AssertionLimitation[];\n} {\n    if (material.state === \"unavailable\") {\n        return Object.freeze({\n            coverage: Object.freeze({ state: \"unavailable\" as const, reason: \"source-unavailable\" as const }),\n            limitations: Object.freeze([]),\n        });\n    }\n    if (material.state === \"lower-bound\") {\n        return Object.freeze({\n            coverage: Object.freeze({ state: \"partial\" as const, reason: \"provider-limited\" as const }),\n            limitations: Object.freeze([{ kind: \"provider-limited\" as const }]),\n        });\n    }\n    return Object.freeze({\n        coverage: Object.freeze({ state: \"complete\" as const }),\n        limitations: Object.freeze([]),\n    });\n}\nexport function freezeManagedToolCalls(input: {\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n    readonly sourceSnapshot: MatcherSourceSnapshot;\n    readonly rows: readonly MatcherSourceRow<ProjectedMatcherCandidate<LogicalToolOccurrence>>[];\n    readonly incompleteReason?: string;\n    readonly actionsCoverage: unknown;\n    readonly orphanFinishCount: number;\n    readonly snapshot: unknown;\n}): ManagedToolCalls {\n    const views = Object.freeze(input.rows.map(occurrenceView));\n    const collection = Object.freeze(views) as ManagedToolCalls;\n    const sourceSnapshot = foldedSourceSnapshot(input.sourceSnapshot, input.incompleteReason);\n    const cardinality = cardinalityMaterial({\n        collectionAtCut: sourceSnapshot.collectionAtCut,\n        knownLength: input.rows.length,\n    });\n    const coverage = cardinalityCoverage(cardinality);\n    managedToolCallsSidecars.set(collection, Object.freeze({\n        scope: input.scope,\n        cardinality,\n        sourceSnapshot,\n        rows: input.rows,\n        coverage: coverage.coverage,\n        limitations: coverage.limitations,\n        actionsCoverage: input.actionsCoverage,\n        orphanFinishCount: input.orphanFinishCount,\n        snapshot: input.snapshot,\n    }));\n    return collection;\n}\nexport function managedToolCallsSidecarOf(value: unknown): ManagedToolCallsSidecar | undefined {\n    return typeof value === \"object\" && value !== null\n        ? managedToolCallsSidecars.get(value)\n        : undefined;\n}\nfunction eventOccurrenceView(event: EventOccurrenceView): EventOccurrenceView {\n    if (event.type === \"message\") {\n        return Object.freeze({ type: event.type, role: event.role, text: event.text });\n    }\n    return Object.freeze({\n        type: event.type,\n        tool: Object.freeze({ name: event.tool.name }),\n        ...(event.type === \"operation.finished\" ? { status: event.status } : {}),\n    }) as EventOccurrenceView;\n}\nexport function freezeManagedEventOccurrences(input: ManagedEventOccurrencesSidecar): ManagedEventOccurrences {\n    const views = Object.freeze(input.rows.map((row) => eventOccurrenceView(row.candidate.value)));\n    const collection = Object.freeze(views) as ManagedEventOccurrences;\n    managedEventOccurrencesSidecars.set(collection, Object.freeze({ ...input }));\n    return collection;\n}\nexport function managedEventOccurrencesSidecarOf(value: unknown): ManagedEventOccurrencesSidecar | undefined {\n    return typeof value === \"object\" && value !== null\n        ? managedEventOccurrencesSidecars.get(value)\n        : undefined;\n}\nfunction unavailableMatcherCandidate(reason: string): BooleanMatchEvaluation<never> {\n    return Object.freeze({\n        state: \"unavailable\" as const,\n        reason,\n        diagnostic: Object.freeze({\n            code: \"source-candidate-unavailable\",\n            message: \"the matcher candidate could not be resolved from the immutable source ledger\",\n            path: Object.freeze([]),\n            reason,\n        }),\n    });\n}\nfunction toolMatchEvaluation(occurrence: LogicalToolOccurrence, result: BooleanMatchEvaluation<unknown>): BooleanMatchEvaluation<unknown> {\n    if (occurrence.lifecycle.state === \"opaque\" && result.state === \"matched\") {\n        return Object.freeze({\n            state: \"unavailable\" as const,\n            reason: `tool-lifecycle-unavailable:${occurrence.lifecycle.reason}`,\n            diagnostic: Object.freeze({\n                code: \"tool-lifecycle-unavailable\",\n                message: \"the matching tool lifecycle is incomplete\",\n                path: Object.freeze([]),\n                reason: occurrence.lifecycle.reason,\n            }),\n        });\n    }\n    return result;\n}\nexport function toolMatcherQuery(match: ToolMatch, summary: import(\"./api.ts\").AssertionSnapshotValue = Object.freeze({\n    matcher: match.name,\n})): MatcherQuery<ProjectedMatcherCandidate<LogicalToolOccurrence>> {\n    return Object.freeze({\n        summary,\n        evaluate: async (candidate: ProjectedMatcherCandidate<LogicalToolOccurrence>) => candidate.state === \"unavailable\"\n            ? unavailableMatcherCandidate(candidate.reason)\n            : toolMatchEvaluation(candidate.value, await evaluateBooleanMatch(match, candidate.value)),\n    });\n}\nexport function eventMatcherQuery(match: EventMatch, summary: import(\"./api.ts\").AssertionSnapshotValue = Object.freeze({ matcher: match.name })): MatcherQuery<ProjectedMatcherCandidate<EventOccurrenceView>> {\n    return Object.freeze({\n        summary,\n        evaluate: async (candidate: ProjectedMatcherCandidate<EventOccurrenceView>) => {\n            if (candidate.state === \"unavailable\")\n                return unavailableMatcherCandidate(candidate.reason);\n            const result = await evaluateBooleanMatch(match, candidate.value);\n            const occurrence = assertionEventOccurrence(candidate.value);\n            return occurrence === undefined ? result : toolMatchEvaluation(occurrence, result);\n        },\n    });\n}\nfunction occurrenceAssertion(quantifier: ToolMatchQuantifier): \"present\" | \"absent\" | \"count\" {\n    if (quantifier.kind === \"absent\")\n        return \"absent\";\n    if (quantifier.kind === \"exact\")\n        return \"count\";\n    return quantifier.kind === \"at-least\" && quantifier.count === 1 ? \"present\" : \"count\";\n}\nfunction occurrenceCriterion(scope: \"turn\" | \"session\" | \"attempt\", matcher: string | undefined, quantifier: ToolMatchQuantifier): AssertionCriterion {\n    return Object.freeze({\n        kind: \"occurrence\" as const,\n        scope,\n        occurrence: \"tool\" as const,\n        assertion: occurrenceAssertion(quantifier),\n        ...(matcher === undefined ? {} : { matcher }),\n        quantifier: Object.freeze(quantifier.kind === \"absent\"\n            ? { kind: \"absent\" as const }\n            : { kind: quantifier.kind, count: quantifier.count }),\n    });\n}\nfunction orderCriterion(scope: \"turn\" | \"session\", matches: readonly ToolMatch[]): AssertionCriterion {\n    return Object.freeze({\n        kind: \"occurrence\" as const,\n        scope,\n        occurrence: \"tool\" as const,\n        assertion: \"order\" as const,\n        matcher: matches.map((match) => match.name).join(\", \"),\n    });\n}\nfunction matchedSubject<Subject>(evaluation: BooleanAssertionEvaluation<void>, subject: Subject): BooleanAssertionEvaluation<Subject> {\n    if (evaluation.state === \"matched\") {\n        return Object.freeze({ ...evaluation, value: subject });\n    }\n    return evaluation as BooleanAssertionEvaluation<Subject>;\n}\nexport function collectionMatchRegistration<Subject>(subject: Subject, match: unknown): BooleanAssertionRegistration<Subject> {\n    const sidecar = managedToolCallsSidecarOf(subject);\n    const eventSidecar = managedEventOccurrencesSidecarOf(subject);\n    if (isNumericComparisonMatch(match)) {\n        if (eventSidecar !== undefined) {\n            throw new TypeError(\"numeric Match cannot be used with managed eventOccurrences\");\n        }\n        if (sidecar !== undefined) {\n            const captured = captureAssertionSnapshot(Object.freeze({\n                ...sidecar.cardinality,\n                cut: sidecar.snapshot,\n                coverage: sidecar.coverage,\n                collection: \"tool-calls\",\n                scope: sidecar.scope,\n            }));\n            return numericBooleanRegistration({\n                match,\n                criterionSubject: Object.freeze({\n                    kind: \"collection-cardinality\" as const,\n                    collection: \"tool-calls\" as const,\n                    scope: sidecar.scope,\n                }),\n                material: sidecar.cardinality,\n                captured: Object.freeze({\n                    ...captured,\n                    coverage: sidecar.coverage,\n                    limitations: sidecar.limitations,\n                }),\n                matchedValue: () => subject,\n            });\n        }\n        if (!Array.isArray(subject)) {\n            throw new TypeError(\"a numeric collection Match requires an array subject\");\n        }\n        const material = Object.freeze({ state: \"exact\" as const, value: subject.length });\n        const captured = captureAssertionSnapshot(Object.freeze({\n            ...material,\n            cut: Object.freeze({ kind: \"author-array\" as const }),\n            coverage: Object.freeze({ state: \"complete\" as const }),\n            derivation: Object.freeze({ kind: \"explicit-value\" as const }),\n        }));\n        return numericBooleanRegistration({\n            match,\n            criterionSubject: Object.freeze({ kind: \"explicit-value\" as const }),\n            material,\n            captured,\n            matchedValue: () => subject,\n        });\n    }\n    const spec = isManagedToolMatch(match) || isManagedEventMatch(match)\n        ? Object.freeze({\n            kind: \"occurrence\" as const,\n            domain: isManagedEventMatch(match) ? \"event\" as const : \"tool\" as const,\n            item: match,\n            quantifier: Object.freeze({ kind: \"at-least\" as const, count: 1 }),\n        })\n        : (() => {\n            if (!isManagedCollectionMatch(match)) {\n                if (looksLikeCollectionMatch(match)) {\n                    throw new TypeError(\"t.check() match must be a collection Match created by niceeval/expect\");\n                }\n                throw new TypeError(\"t.check() match must be a ToolMatch or collection Match created by niceeval/expect\");\n            }\n            return collectionMatchSpecOf(match);\n        })();\n    const domainSidecar = spec.domain === \"event\" ? eventSidecar : sidecar;\n    if (domainSidecar === undefined) {\n        throw new TypeError(spec.kind === \"in-order\"\n            ? `inOrder() requires managed ${spec.domain === \"event\" ? \"eventOccurrences\" : \"toolCalls\"}`\n            : `${spec.domain === \"event\" ? \"EventMatch\" : \"ToolMatch\"} occurrence checks require managed ${spec.domain === \"event\" ? \"eventOccurrences\" : \"toolCalls\"}`);\n    }\n    if (spec.domain === \"event\") {\n        const managed = eventSidecar!;\n        if (spec.kind === \"occurrence\") {\n            const item = spec.item as EventMatch;\n            const query = eventMatcherQuery(item, Object.freeze({ matcher: item.name, quantifier: spec.quantifier }));\n            const captured = captureAssertionSnapshot({\n                scope: managed.scope,\n                occurrence: \"event\",\n                matcher: item.name,\n                quantifier: spec.quantifier,\n                candidateCount: managed.rows.length,\n                unassociatedOperation: managed.unassociatedOperation,\n                coverage: managed.coverage,\n                snapshot: managed.snapshot,\n            });\n            return Object.freeze({\n                criterion: Object.freeze({\n                    ...occurrenceCriterion(managed.scope, item.name, spec.quantifier),\n                    occurrence: \"event\" as const,\n                }),\n                subject: captured.material,\n                coverage: captured.coverage,\n                limitations: captured.limitations,\n                interruptedMatcherArtifact: interruptedMatcherArtifact({\n                    sourceSnapshot: managed.sourceSnapshot,\n                    sourceRows: managed.rows.length,\n                    queries: Object.freeze([query.summary]),\n                    kind: \"collection-filter\",\n                }),\n                evaluate: () => Effect.tryPromise({\n                    try: async () => matchedSubject(await evaluateMatcherCollection({\n                        sourceSnapshot: managed.sourceSnapshot,\n                        rows: managed.rows,\n                        query,\n                        quantifier: spec.quantifier,\n                    }), subject),\n                    catch: (error) => error,\n                }),\n            });\n        }\n        if (managed.scope === \"attempt\" || managed.sourceSnapshot.scope === \"attempt\") {\n            throw new TypeError(\"inOrder() is unavailable at Attempt scope\");\n        }\n        const orderedSourceSnapshot = managed.sourceSnapshot as Exclude<MatcherSourceSnapshot, {\n            readonly scope: \"attempt\";\n        }>;\n        const matches = spec.matches as readonly EventMatch[];\n        const queries = Object.freeze(matches.map(eventMatcherQuery));\n        const captured = captureAssertionSnapshot({\n            scope: managed.scope,\n            occurrence: \"event\",\n            assertion: \"event-order\",\n            matches: matches.map((item) => item.name),\n            candidateCount: managed.rows.length,\n            coverage: managed.coverage,\n            snapshot: managed.snapshot,\n        });\n        return Object.freeze({\n            criterion: Object.freeze({\n                kind: \"occurrence\" as const,\n                scope: managed.scope,\n                occurrence: \"event\" as const,\n                assertion: \"order\" as const,\n                matcher: matches.map((item) => item.name).join(\", \"),\n            }),\n            subject: captured.material,\n            coverage: captured.coverage,\n            limitations: captured.limitations,\n            interruptedMatcherArtifact: interruptedMatcherArtifact({\n                sourceSnapshot: orderedSourceSnapshot,\n                sourceRows: managed.rows.length,\n                queries: Object.freeze(queries.map((query) => query.summary)),\n                kind: \"ordered-sequence\",\n            }),\n            evaluate: () => Effect.tryPromise({\n                try: async () => matchedSubject(await evaluateMatcherOrder({\n                    sourceSnapshot: orderedSourceSnapshot,\n                    rows: managed.rows,\n                    queries,\n                }), subject),\n                catch: (error) => error,\n            }),\n        });\n    }\n    if (sidecar === undefined)\n        throw new TypeError(\"ToolMatch occurrence checks require a managed toolCalls collection\");\n    if (spec.kind === \"occurrence\") {\n        const item = spec.item as ToolMatch;\n        const query = toolMatcherQuery(item, Object.freeze({\n            matcher: item.name,\n            quantifier: spec.quantifier,\n        }));\n        const captured = captureAssertionSnapshot({\n            scope: sidecar.scope,\n            occurrence: \"tool\",\n            matcher: item.name,\n            quantifier: spec.quantifier,\n            candidateCount: sidecar.rows.length,\n            orphanFinishCount: sidecar.orphanFinishCount,\n            coverage: sidecar.actionsCoverage,\n            snapshot: sidecar.snapshot,\n        });\n        return Object.freeze({\n            criterion: occurrenceCriterion(sidecar.scope, item.name, spec.quantifier),\n            subject: captured.material,\n            coverage: captured.coverage,\n            limitations: captured.limitations,\n            interruptedMatcherArtifact: interruptedMatcherArtifact({\n                sourceSnapshot: sidecar.sourceSnapshot,\n                sourceRows: sidecar.rows.length,\n                queries: Object.freeze([query.summary]),\n                kind: \"collection-filter\",\n            }),\n            evaluate: () => Effect.tryPromise({\n                try: async () => matchedSubject(await evaluateMatcherCollection({\n                    sourceSnapshot: sidecar.sourceSnapshot,\n                    rows: sidecar.rows,\n                    query,\n                    quantifier: spec.quantifier,\n                }), subject),\n                catch: (error) => error,\n            }),\n        });\n    }\n    if (sidecar.sourceSnapshot.scope === \"attempt\" || sidecar.scope === \"attempt\") {\n        throw new TypeError(\"inOrder() is unavailable at Attempt scope\");\n    }\n    const orderedSourceSnapshot = sidecar.sourceSnapshot;\n    const toolMatches = spec.matches as readonly ToolMatch[];\n    const queries = Object.freeze(toolMatches.map(toolMatcherQuery));\n    const captured = captureAssertionSnapshot({\n        scope: sidecar.scope,\n        assertion: \"tool-order\",\n        matches: toolMatches.map((item) => item.name),\n        candidateCount: sidecar.rows.length,\n        coverage: sidecar.coverage,\n        snapshot: sidecar.snapshot,\n    });\n    return Object.freeze({\n        criterion: orderCriterion(sidecar.scope, toolMatches),\n        subject: captured.material,\n        coverage: captured.coverage,\n        limitations: captured.limitations,\n        interruptedMatcherArtifact: interruptedMatcherArtifact({\n            sourceSnapshot: orderedSourceSnapshot,\n            sourceRows: sidecar.rows.length,\n            queries: Object.freeze(queries.map((query) => query.summary)),\n            kind: \"ordered-sequence\",\n        }),\n        evaluate: () => Effect.tryPromise({\n            try: async () => matchedSubject(await evaluateMatcherOrder({\n                sourceSnapshot: orderedSourceSnapshot,\n                rows: sidecar.rows,\n                queries,\n            }), subject),\n            catch: (error) => error,\n        }),\n    });\n}\nexport type { CollectionMatch };\n"]}
+{"version":3,"file":"collection.js","sourceRoot":"","sources":["collection.ts"],"names":[],"mappings":";;AAoGA,wDA6BC;AACD,8DAIC;AAWD,sEAKC;AACD,4EAIC;AA4BD,4CASC;AACD,8CAWC;AAmCD,kEAqOC;AApdD,gBAAgB;AAChB,2EAA2E;AAC3E,uEAAuE;AACvE,+DAA+D;AAC/D,mCAAgC;AAEhC,+DAA+J;AAE/J,yCAAuc;AACvc,6CAA0D;AAC1D,6CAAwD;AAmBxD,MAAM,wBAAwB,GAAG,IAAI,OAAO,EAAmC,CAAC;AAYhF,MAAM,+BAA+B,GAAG,IAAI,OAAO,EAA0C,CAAC;AAC9F,SAAS,cAAc,CAAC,GAAuE;IAC3F,IAAI,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QACtC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,UAAU,GAAG,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC;IACvC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS;QAC3F,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ;QAC1B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;IAChC,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI;QACJ,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACtF,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACzF,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjG,CAAC,CAAC;AACP,CAAC;AACD,SAAS,oBAAoB,CAAC,QAA+B,EAAE,gBAAoC;IAC/F,IAAI,QAAQ,CAAC,eAAe,KAAK,aAAa;QAC1C,OAAO,QAAQ,CAAC;IACpB,IAAI,QAAQ,CAAC,eAAe,KAAK,SAAS,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC3E,OAAO,QAAQ,CAAC,eAAe,KAAK,SAAS;YACzC,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,EAAE,eAAe,EAAE,SAAkB,EAAE,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AACD,SAAS,mBAAmB,CAAC,KAG5B;IACG,IAAI,KAAK,CAAC,eAAe,KAAK,aAAa,EAAE,CAAC;QAC1C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,KAAK,UAAU,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAgB,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;AACtF,CAAC;AACD,SAAS,mBAAmB,CAAC,QAAyB;IAIlD,IAAI,QAAQ,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,oBAA6B,EAAE,CAAC;YACjG,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;SACjC,CAAC,CAAC;IACP,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,MAAM,EAAE,kBAA2B,EAAE,CAAC;YAC3F,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,kBAA2B,EAAE,CAAC,CAAC;SACtE,CAAC,CAAC;IACP,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAmB,EAAE,CAAC;QACvD,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;KACjC,CAAC,CAAC;AACP,CAAC;AACD,SAAgB,sBAAsB,CAAC,KAQtC;IACG,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;IAC5D,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAqB,CAAC;IAC5D,MAAM,cAAc,GAAG,oBAAoB,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC1F,MAAM,WAAW,GAAG,mBAAmB,CAAC;QACpC,eAAe,EAAE,cAAc,CAAC,eAAe;QAC/C,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM;KACjC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAClD,wBAAwB,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;QACnD,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,WAAW;QACX,cAAc;QACd,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,QAAQ,EAAE,KAAK,CAAC,QAAQ;KAC3B,CAAC,CAAC,CAAC;IACJ,OAAO,UAAU,CAAC;AACtB,CAAC;AACD,SAAgB,yBAAyB,CAAC,KAAc;IACpD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAC9C,CAAC,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC;QACrC,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AACD,SAAS,mBAAmB,CAAC,KAA0B;IACnD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9C,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3E,CAAwB,CAAC;AAC9B,CAAC;AACD,SAAgB,6BAA6B,CAAC,KAAqC;IAC/E,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/F,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAA4B,CAAC;IACnE,+BAA+B,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;IAC7E,OAAO,UAAU,CAAC;AACtB,CAAC;AACD,SAAgB,gCAAgC,CAAC,KAAc;IAC3D,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAC9C,CAAC,CAAC,+BAA+B,CAAC,GAAG,CAAC,KAAK,CAAC;QAC5C,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AACD,SAAS,2BAA2B,CAAC,MAAc;IAC/C,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,KAAK,EAAE,aAAsB;QAC7B,MAAM;QACN,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;YACtB,IAAI,EAAE,8BAA8B;YACpC,OAAO,EAAE,8EAA8E;YACvF,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACvB,MAAM;SACT,CAAC;KACL,CAAC,CAAC;AACP,CAAC;AACD,SAAS,mBAAmB,CAAC,UAAiC,EAAE,MAAuC;IACnG,IAAI,UAAU,CAAC,SAAS,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACxE,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,KAAK,EAAE,aAAsB;YAC7B,MAAM,EAAE,8BAA8B,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE;YACnE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,4BAA4B;gBAClC,OAAO,EAAE,2CAA2C;gBACpD,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBACvB,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,MAAM;aACtC,CAAC;SACL,CAAC,CAAC;IACP,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AACD,SAAgB,gBAAgB,CAAC,KAAgB,EAAE,UAAqD,MAAM,CAAC,MAAM,CAAC;IAClH,OAAO,EAAE,KAAK,CAAC,IAAI;CACtB,CAAC;IACE,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO;QACP,QAAQ,EAAE,KAAK,EAAE,SAA2D,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,KAAK,aAAa;YAC9G,CAAC,CAAC,2BAA2B,CAAC,SAAS,CAAC,MAAM,CAAC;YAC/C,CAAC,CAAC,mBAAmB,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,IAAA,+BAAoB,EAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;KACjG,CAAC,CAAC;AACP,CAAC;AACD,SAAgB,iBAAiB,CAAC,KAAiB,EAAE,UAAqD,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IAC5I,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO;QACP,QAAQ,EAAE,KAAK,EAAE,SAAyD,EAAE,EAAE;YAC1E,IAAI,SAAS,CAAC,KAAK,KAAK,aAAa;gBACjC,OAAO,2BAA2B,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YACzD,MAAM,MAAM,GAAG,MAAM,IAAA,+BAAoB,EAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;YAClE,MAAM,UAAU,GAAG,IAAA,mCAAwB,EAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC7D,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QACvF,CAAC;KACJ,CAAC,CAAC;AACP,CAAC;AACD,SAAS,mBAAmB,CAAC,UAA+B;IACxD,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ;QAC5B,OAAO,QAAQ,CAAC;IACpB,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO;QAC3B,OAAO,OAAO,CAAC;IACnB,OAAO,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;AAC1F,CAAC;AACD,SAAS,mBAAmB,CAAC,KAAqC,EAAE,OAA2B,EAAE,UAA+B;IAC5H,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI,EAAE,YAAqB;QAC3B,KAAK;QACL,UAAU,EAAE,MAAe;QAC3B,SAAS,EAAE,mBAAmB,CAAC,UAAU,CAAC;QAC1C,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;QAC7C,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;YAClD,CAAC,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE;YAC7B,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC;KAC5D,CAAC,CAAC;AACP,CAAC;AACD,SAAS,cAAc,CAAC,KAAyB,EAAE,OAA6B;IAC5E,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI,EAAE,YAAqB;QAC3B,KAAK;QACL,UAAU,EAAE,MAAe;QAC3B,SAAS,EAAE,OAAgB;QAC3B,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;KACzD,CAAC,CAAC;AACP,CAAC;AACD,SAAS,cAAc,CAAU,UAA4C,EAAE,OAAgB;IAC3F,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,UAAiD,CAAC;AAC7D,CAAC;AACD,SAAgB,2BAA2B,CAAU,OAAgB,EAAE,KAAc;IACjF,MAAM,OAAO,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,gCAAgC,CAAC,OAAO,CAAC,CAAC;IAC/D,IAAI,IAAA,mCAAwB,EAAC,KAAK,CAAC,EAAE,CAAC;QAClC,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,SAAS,CAAC,4DAA4D,CAAC,CAAC;QACtF,CAAC;QACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,IAAA,qCAAwB,EAAC,MAAM,CAAC,MAAM,CAAC;gBACpD,GAAG,OAAO,CAAC,WAAW;gBACtB,GAAG,EAAE,OAAO,CAAC,QAAQ;gBACrB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,UAAU,EAAE,YAAY;gBACxB,KAAK,EAAE,OAAO,CAAC,KAAK;aACvB,CAAC,CAAC,CAAC;YACJ,OAAO,IAAA,uCAA0B,EAAC;gBAC9B,KAAK;gBACL,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC;oBAC5B,IAAI,EAAE,wBAAiC;oBACvC,UAAU,EAAE,YAAqB;oBACjC,KAAK,EAAE,OAAO,CAAC,KAAK;iBACvB,CAAC;gBACF,QAAQ,EAAE,OAAO,CAAC,WAAW;gBAC7B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;oBACpB,GAAG,QAAQ;oBACX,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;iBACnC,CAAC;gBACF,YAAY,EAAE,GAAG,EAAE,CAAC,OAAO;aAC9B,CAAC,CAAC;QACP,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,SAAS,CAAC,sDAAsD,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAgB,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACnF,MAAM,QAAQ,GAAG,IAAA,qCAAwB,EAAC,MAAM,CAAC,MAAM,CAAC;YACpD,GAAG,QAAQ;YACX,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,cAAuB,EAAE,CAAC;YACrD,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAmB,EAAE,CAAC;YACvD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,gBAAyB,EAAE,CAAC;SACjE,CAAC,CAAC,CAAC;QACJ,OAAO,IAAA,uCAA0B,EAAC;YAC9B,KAAK;YACL,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,gBAAyB,EAAE,CAAC;YACpE,QAAQ;YACR,QAAQ;YACR,YAAY,EAAE,GAAG,EAAE,CAAC,OAAO;SAC9B,CAAC,CAAC;IACP,CAAC;IACD,MAAM,IAAI,GAAG,IAAA,6BAAkB,EAAC,KAAK,CAAC,IAAI,IAAA,8BAAmB,EAAC,KAAK,CAAC;QAChE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACZ,IAAI,EAAE,YAAqB;YAC3B,MAAM,EAAE,IAAA,8BAAmB,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAgB,CAAC,CAAC,CAAC,MAAe;YACvE,IAAI,EAAE,KAAK;YACX,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACrE,CAAC;QACF,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,IAAI,CAAC,IAAA,mCAAwB,EAAC,KAAK,CAAC,EAAE,CAAC;gBACnC,IAAI,IAAA,mCAAwB,EAAC,KAAK,CAAC,EAAE,CAAC;oBAClC,MAAM,IAAI,SAAS,CAAC,uEAAuE,CAAC,CAAC;gBACjG,CAAC;gBACD,MAAM,IAAI,SAAS,CAAC,oFAAoF,CAAC,CAAC;YAC9G,CAAC;YACD,OAAO,IAAA,gCAAqB,EAAC,KAAK,CAAC,CAAC;QACxC,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC;IACvE,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;YACxC,CAAC,CAAC,8BAA8B,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW,EAAE;YAC5F,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,sCAAsC,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IACrK,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,YAAa,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAkB,CAAC;YACrC,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAC1G,MAAM,QAAQ,GAAG,IAAA,qCAAwB,EAAC;gBACtC,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,UAAU,EAAE,OAAO;gBACnB,OAAO,EAAE,IAAI,CAAC,IAAI;gBAClB,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBACnC,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;gBACpD,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ;aAC7B,CAAC,CAAC;YACH,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;oBACrB,GAAG,mBAAmB,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC;oBACjE,UAAU,EAAE,OAAgB;iBAC/B,CAAC;gBACF,OAAO,EAAE,QAAQ,CAAC,QAAQ;gBAC1B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;gBACjC,0BAA0B,EAAE,IAAA,gDAA0B,EAAC;oBACnD,cAAc,EAAE,OAAO,CAAC,cAAc;oBACtC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC/B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;oBACvC,IAAI,EAAE,mBAAmB;iBAC5B,CAAC;gBACF,QAAQ,EAAE,GAAG,EAAE,CAAC,eAAM,CAAC,UAAU,CAAC;oBAC9B,GAAG,EAAE,KAAK,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,IAAA,+CAAyB,EAAC;wBAC5D,cAAc,EAAE,OAAO,CAAC,cAAc;wBACtC,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,KAAK;wBACL,UAAU,EAAE,IAAI,CAAC,UAAU;qBAC9B,CAAC,EAAE,OAAO,CAAC;oBACZ,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;iBAC1B,CAAC;aACL,CAAC,CAAC;QACP,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,cAAc,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC5E,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,qBAAqB,GAAG,OAAO,CAAC,cAEpC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,CAAC,OAAgC,CAAC;QACtD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,IAAA,qCAAwB,EAAC;YACtC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,UAAU,EAAE,OAAO;YACnB,SAAS,EAAE,aAAa;YACxB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACzC,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;YACnC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC7B,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;gBACrB,IAAI,EAAE,YAAqB;gBAC3B,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,UAAU,EAAE,OAAgB;gBAC5B,SAAS,EAAE,OAAgB;gBAC3B,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;aACvD,CAAC;YACF,OAAO,EAAE,QAAQ,CAAC,QAAQ;YAC1B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,0BAA0B,EAAE,IAAA,gDAA0B,EAAC;gBACnD,cAAc,EAAE,qBAAqB;gBACrC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC/B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAC7D,IAAI,EAAE,kBAAkB;aAC3B,CAAC;YACF,QAAQ,EAAE,GAAG,EAAE,CAAC,eAAM,CAAC,UAAU,CAAC;gBAC9B,GAAG,EAAE,KAAK,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,IAAA,0CAAoB,EAAC;oBACvD,cAAc,EAAE,qBAAqB;oBACrC,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,OAAO;iBACV,CAAC,EAAE,OAAO,CAAC;gBACZ,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;aAC1B,CAAC;SACL,CAAC,CAAC;IACP,CAAC;IACD,IAAI,OAAO,KAAK,SAAS;QACrB,MAAM,IAAI,SAAS,CAAC,oEAAoE,CAAC,CAAC;IAC9F,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAiB,CAAC;QACpC,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC;YAC/C,OAAO,EAAE,IAAI,CAAC,IAAI;YAClB,UAAU,EAAE,IAAI,CAAC,UAAU;SAC9B,CAAC,CAAC,CAAC;QACJ,MAAM,QAAQ,GAAG,IAAA,qCAAwB,EAAC;YACtC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,UAAU,EAAE,MAAM;YAClB,OAAO,EAAE,IAAI,CAAC,IAAI;YAClB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;YACnC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;YAC5C,QAAQ,EAAE,OAAO,CAAC,eAAe;YACjC,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC7B,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,SAAS,EAAE,mBAAmB,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC;YACzE,OAAO,EAAE,QAAQ,CAAC,QAAQ;YAC1B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,0BAA0B,EAAE,IAAA,gDAA0B,EAAC;gBACnD,cAAc,EAAE,OAAO,CAAC,cAAc;gBACtC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC/B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACvC,IAAI,EAAE,mBAAmB;aAC5B,CAAC;YACF,QAAQ,EAAE,GAAG,EAAE,CAAC,eAAM,CAAC,UAAU,CAAC;gBAC9B,GAAG,EAAE,KAAK,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,IAAA,+CAAyB,EAAC;oBAC5D,cAAc,EAAE,OAAO,CAAC,cAAc;oBACtC,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,KAAK;oBACL,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC9B,CAAC,EAAE,OAAO,CAAC;gBACZ,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;aAC1B,CAAC;SACL,CAAC,CAAC;IACP,CAAC;IACD,IAAI,OAAO,CAAC,cAAc,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5E,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,qBAAqB,GAAG,OAAO,CAAC,cAAc,CAAC;IACrD,MAAM,WAAW,GAAG,IAAI,CAAC,OAA+B,CAAC;IACzD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,IAAA,qCAAwB,EAAC;QACtC,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,SAAS,EAAE,YAAY;QACvB,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7C,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;QACnC,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC7B,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC;QACrD,OAAO,EAAE,QAAQ,CAAC,QAAQ;QAC1B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,0BAA0B,EAAE,IAAA,gDAA0B,EAAC;YACnD,cAAc,EAAE,qBAAqB;YACrC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;YAC/B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7D,IAAI,EAAE,kBAAkB;SAC3B,CAAC;QACF,QAAQ,EAAE,GAAG,EAAE,CAAC,eAAM,CAAC,UAAU,CAAC;YAC9B,GAAG,EAAE,KAAK,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,IAAA,0CAAoB,EAAC;gBACvD,cAAc,EAAE,qBAAqB;gBACrC,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,OAAO;aACV,CAAC,EAAE,OAAO,CAAC;YACZ,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;SAC1B,CAAC;KACL,CAAC,CAAC;AACP,CAAC","sourcesContent":["// @concord-file\n// @concord-implements docs/feature/assertions/library/scoped-assertions.md\n// @concord-implements docs/feature/assertions/architecture/evidence.md\n// @concord-implements docs/feature/eval/use-case/calledtool.md\nimport { Effect } from \"effect\";\nimport type { AssertionCoverage, AssertionCriterion, AssertionLimitation, BooleanAssertionEvaluation, BooleanAssertionRegistration, MatcherSourceSnapshot, } from \"./api.ts\";\nimport { evaluateMatcherCollection, evaluateMatcherOrder, interruptedMatcherArtifact, type MatcherQuery, type MatcherSourceRow, } from \"./matcher-artifact.ts\";\nimport type { LogicalToolOccurrence } from \"../o11y/types.ts\";\nimport { collectionMatchSpecOf, assertionEventOccurrence, evaluateBooleanMatch, isManagedEventMatch, isManagedCollectionMatch, isManagedToolMatch, isNumericComparisonMatch, looksLikeCollectionMatch, type BooleanMatchEvaluation, type CollectionMatch, type EventMatch, type EventOccurrenceView, type ManagedEventOccurrences, type ManagedToolCalls, type NumericMaterial, type ToolMatch, type ToolMatchQuantifier, type ToolOccurrenceView, } from \"./match.ts\";\nimport { numericBooleanRegistration } from \"./numeric.ts\";\nimport { captureAssertionSnapshot } from \"./runtime.ts\";\ntype ProjectedMatcherCandidate<Candidate> = {\n    readonly state: \"available\";\n    readonly value: Candidate;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: string;\n};\nexport interface ManagedToolCallsSidecar {\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n    readonly cardinality: NumericMaterial;\n    readonly sourceSnapshot: MatcherSourceSnapshot;\n    readonly rows: readonly MatcherSourceRow<ProjectedMatcherCandidate<LogicalToolOccurrence>>[];\n    readonly coverage: AssertionCoverage;\n    readonly limitations: readonly AssertionLimitation[];\n    readonly actionsCoverage: unknown;\n    readonly orphanFinishCount: number;\n    readonly snapshot: unknown;\n}\nconst managedToolCallsSidecars = new WeakMap<object, ManagedToolCallsSidecar>();\nexport interface ManagedEventOccurrencesSidecar {\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n    readonly sourceSnapshot: MatcherSourceSnapshot;\n    readonly rows: readonly MatcherSourceRow<{\n        readonly state: \"available\";\n        readonly value: EventOccurrenceView;\n    }>[];\n    readonly coverage: unknown;\n    readonly snapshot: unknown;\n    readonly unassociatedOperation: boolean;\n}\nconst managedEventOccurrencesSidecars = new WeakMap<object, ManagedEventOccurrencesSidecar>();\nfunction occurrenceView(row: MatcherSourceRow<ProjectedMatcherCandidate<LogicalToolOccurrence>>): ToolOccurrenceView {\n    if (row.candidate.state !== \"available\") {\n        return Object.freeze({ name: \"unknown\" });\n    }\n    const occurrence = row.candidate.value;\n    const name = occurrence.name.canonical === undefined || occurrence.name.canonical === \"unknown\"\n        ? occurrence.name.original\n        : occurrence.name.canonical;\n    return Object.freeze({\n        name,\n        ...(occurrence.input.state === \"unavailable\" ? {} : { input: occurrence.input.value }),\n        ...(occurrence.output.state === \"unavailable\" ? {} : { output: occurrence.output.value }),\n        ...(occurrence.lifecycle.state === \"available\" ? { status: occurrence.lifecycle.status } : {}),\n    });\n}\nfunction foldedSourceSnapshot(snapshot: MatcherSourceSnapshot, incompleteReason: string | undefined): MatcherSourceSnapshot {\n    if (snapshot.collectionAtCut === \"unavailable\")\n        return snapshot;\n    if (snapshot.collectionAtCut === \"partial\" || incompleteReason !== undefined) {\n        return snapshot.collectionAtCut === \"partial\"\n            ? snapshot\n            : Object.freeze({ ...snapshot, collectionAtCut: \"partial\" as const });\n    }\n    return snapshot;\n}\nfunction cardinalityMaterial(input: {\n    readonly collectionAtCut: MatcherSourceSnapshot[\"collectionAtCut\"];\n    readonly knownLength: number;\n}): NumericMaterial {\n    if (input.collectionAtCut === \"unavailable\") {\n        return Object.freeze({ state: \"unavailable\" as const, reason: \"source-unavailable\" });\n    }\n    if (input.collectionAtCut === \"complete\") {\n        return Object.freeze({ state: \"exact\" as const, value: input.knownLength });\n    }\n    return Object.freeze({ state: \"lower-bound\" as const, value: input.knownLength });\n}\nfunction cardinalityCoverage(material: NumericMaterial): {\n    readonly coverage: AssertionCoverage;\n    readonly limitations: readonly AssertionLimitation[];\n} {\n    if (material.state === \"unavailable\") {\n        return Object.freeze({\n            coverage: Object.freeze({ state: \"unavailable\" as const, reason: \"source-unavailable\" as const }),\n            limitations: Object.freeze([]),\n        });\n    }\n    if (material.state === \"lower-bound\") {\n        return Object.freeze({\n            coverage: Object.freeze({ state: \"partial\" as const, reason: \"provider-limited\" as const }),\n            limitations: Object.freeze([{ kind: \"provider-limited\" as const }]),\n        });\n    }\n    return Object.freeze({\n        coverage: Object.freeze({ state: \"complete\" as const }),\n        limitations: Object.freeze([]),\n    });\n}\nexport function freezeManagedToolCalls(input: {\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n    readonly sourceSnapshot: MatcherSourceSnapshot;\n    readonly rows: readonly MatcherSourceRow<ProjectedMatcherCandidate<LogicalToolOccurrence>>[];\n    readonly incompleteReason?: string;\n    readonly actionsCoverage: unknown;\n    readonly orphanFinishCount: number;\n    readonly snapshot: unknown;\n}): ManagedToolCalls {\n    const views = Object.freeze(input.rows.map(occurrenceView));\n    const collection = Object.freeze(views) as ManagedToolCalls;\n    const sourceSnapshot = foldedSourceSnapshot(input.sourceSnapshot, input.incompleteReason);\n    const cardinality = cardinalityMaterial({\n        collectionAtCut: sourceSnapshot.collectionAtCut,\n        knownLength: input.rows.length,\n    });\n    const coverage = cardinalityCoverage(cardinality);\n    managedToolCallsSidecars.set(collection, Object.freeze({\n        scope: input.scope,\n        cardinality,\n        sourceSnapshot,\n        rows: input.rows,\n        coverage: coverage.coverage,\n        limitations: coverage.limitations,\n        actionsCoverage: input.actionsCoverage,\n        orphanFinishCount: input.orphanFinishCount,\n        snapshot: input.snapshot,\n    }));\n    return collection;\n}\nexport function managedToolCallsSidecarOf(value: unknown): ManagedToolCallsSidecar | undefined {\n    return typeof value === \"object\" && value !== null\n        ? managedToolCallsSidecars.get(value)\n        : undefined;\n}\nfunction eventOccurrenceView(event: EventOccurrenceView): EventOccurrenceView {\n    if (event.type === \"message\") {\n        return Object.freeze({ type: event.type, role: event.role, text: event.text });\n    }\n    return Object.freeze({\n        type: event.type,\n        tool: Object.freeze({ name: event.tool.name }),\n        ...(event.type === \"operation.finished\" ? { status: event.status } : {}),\n    }) as EventOccurrenceView;\n}\nexport function freezeManagedEventOccurrences(input: ManagedEventOccurrencesSidecar): ManagedEventOccurrences {\n    const views = Object.freeze(input.rows.map((row) => eventOccurrenceView(row.candidate.value)));\n    const collection = Object.freeze(views) as ManagedEventOccurrences;\n    managedEventOccurrencesSidecars.set(collection, Object.freeze({ ...input }));\n    return collection;\n}\nexport function managedEventOccurrencesSidecarOf(value: unknown): ManagedEventOccurrencesSidecar | undefined {\n    return typeof value === \"object\" && value !== null\n        ? managedEventOccurrencesSidecars.get(value)\n        : undefined;\n}\nfunction unavailableMatcherCandidate(reason: string): BooleanMatchEvaluation<never> {\n    return Object.freeze({\n        state: \"unavailable\" as const,\n        reason,\n        diagnostic: Object.freeze({\n            code: \"source-candidate-unavailable\",\n            message: \"the matcher candidate could not be resolved from the immutable source ledger\",\n            path: Object.freeze([]),\n            reason,\n        }),\n    });\n}\nfunction toolMatchEvaluation(occurrence: LogicalToolOccurrence, result: BooleanMatchEvaluation<unknown>): BooleanMatchEvaluation<unknown> {\n    if (occurrence.lifecycle.state === \"opaque\" && result.state === \"matched\") {\n        return Object.freeze({\n            state: \"unavailable\" as const,\n            reason: `tool-lifecycle-unavailable:${occurrence.lifecycle.reason}`,\n            diagnostic: Object.freeze({\n                code: \"tool-lifecycle-unavailable\",\n                message: \"the matching tool lifecycle is incomplete\",\n                path: Object.freeze([]),\n                reason: occurrence.lifecycle.reason,\n            }),\n        });\n    }\n    return result;\n}\nexport function toolMatcherQuery(match: ToolMatch, summary: import(\"./api.ts\").AssertionSnapshotValue = Object.freeze({\n    matcher: match.name,\n})): MatcherQuery<ProjectedMatcherCandidate<LogicalToolOccurrence>> {\n    return Object.freeze({\n        summary,\n        evaluate: async (candidate: ProjectedMatcherCandidate<LogicalToolOccurrence>) => candidate.state === \"unavailable\"\n            ? unavailableMatcherCandidate(candidate.reason)\n            : toolMatchEvaluation(candidate.value, await evaluateBooleanMatch(match, candidate.value)),\n    });\n}\nexport function eventMatcherQuery(match: EventMatch, summary: import(\"./api.ts\").AssertionSnapshotValue = Object.freeze({ matcher: match.name })): MatcherQuery<ProjectedMatcherCandidate<EventOccurrenceView>> {\n    return Object.freeze({\n        summary,\n        evaluate: async (candidate: ProjectedMatcherCandidate<EventOccurrenceView>) => {\n            if (candidate.state === \"unavailable\")\n                return unavailableMatcherCandidate(candidate.reason);\n            const result = await evaluateBooleanMatch(match, candidate.value);\n            const occurrence = assertionEventOccurrence(candidate.value);\n            return occurrence === undefined ? result : toolMatchEvaluation(occurrence, result);\n        },\n    });\n}\nfunction occurrenceAssertion(quantifier: ToolMatchQuantifier): \"present\" | \"absent\" | \"count\" {\n    if (quantifier.kind === \"absent\")\n        return \"absent\";\n    if (quantifier.kind === \"exact\")\n        return \"count\";\n    return quantifier.kind === \"at-least\" && quantifier.count === 1 ? \"present\" : \"count\";\n}\nfunction occurrenceCriterion(scope: \"turn\" | \"session\" | \"attempt\", matcher: string | undefined, quantifier: ToolMatchQuantifier): AssertionCriterion {\n    return Object.freeze({\n        kind: \"occurrence\" as const,\n        scope,\n        occurrence: \"tool\" as const,\n        assertion: occurrenceAssertion(quantifier),\n        ...(matcher === undefined ? {} : { matcher }),\n        quantifier: Object.freeze(quantifier.kind === \"absent\"\n            ? { kind: \"absent\" as const }\n            : { kind: quantifier.kind, count: quantifier.count }),\n    });\n}\nfunction orderCriterion(scope: \"turn\" | \"session\", matches: readonly ToolMatch[]): AssertionCriterion {\n    return Object.freeze({\n        kind: \"occurrence\" as const,\n        scope,\n        occurrence: \"tool\" as const,\n        assertion: \"order\" as const,\n        matcher: matches.map((match) => match.name).join(\", \"),\n    });\n}\nfunction matchedSubject<Subject>(evaluation: BooleanAssertionEvaluation<void>, subject: Subject): BooleanAssertionEvaluation<Subject> {\n    if (evaluation.state === \"matched\") {\n        return Object.freeze({ ...evaluation, value: subject });\n    }\n    return evaluation as BooleanAssertionEvaluation<Subject>;\n}\nexport function collectionMatchRegistration<Subject>(subject: Subject, match: unknown): BooleanAssertionRegistration<Subject> {\n    const sidecar = managedToolCallsSidecarOf(subject);\n    const eventSidecar = managedEventOccurrencesSidecarOf(subject);\n    if (isNumericComparisonMatch(match)) {\n        if (eventSidecar !== undefined) {\n            throw new TypeError(\"numeric Match cannot be used with managed eventOccurrences\");\n        }\n        if (sidecar !== undefined) {\n            const captured = captureAssertionSnapshot(Object.freeze({\n                ...sidecar.cardinality,\n                cut: sidecar.snapshot,\n                coverage: sidecar.coverage,\n                collection: \"tool-calls\",\n                scope: sidecar.scope,\n            }));\n            return numericBooleanRegistration({\n                match,\n                criterionSubject: Object.freeze({\n                    kind: \"collection-cardinality\" as const,\n                    collection: \"tool-calls\" as const,\n                    scope: sidecar.scope,\n                }),\n                material: sidecar.cardinality,\n                captured: Object.freeze({\n                    ...captured,\n                    coverage: sidecar.coverage,\n                    limitations: sidecar.limitations,\n                }),\n                matchedValue: () => subject,\n            });\n        }\n        if (!Array.isArray(subject)) {\n            throw new TypeError(\"a numeric collection Match requires an array subject\");\n        }\n        const material = Object.freeze({ state: \"exact\" as const, value: subject.length });\n        const captured = captureAssertionSnapshot(Object.freeze({\n            ...material,\n            cut: Object.freeze({ kind: \"author-array\" as const }),\n            coverage: Object.freeze({ state: \"complete\" as const }),\n            derivation: Object.freeze({ kind: \"explicit-value\" as const }),\n        }));\n        return numericBooleanRegistration({\n            match,\n            criterionSubject: Object.freeze({ kind: \"explicit-value\" as const }),\n            material,\n            captured,\n            matchedValue: () => subject,\n        });\n    }\n    const spec = isManagedToolMatch(match) || isManagedEventMatch(match)\n        ? Object.freeze({\n            kind: \"occurrence\" as const,\n            domain: isManagedEventMatch(match) ? \"event\" as const : \"tool\" as const,\n            item: match,\n            quantifier: Object.freeze({ kind: \"at-least\" as const, count: 1 }),\n        })\n        : (() => {\n            if (!isManagedCollectionMatch(match)) {\n                if (looksLikeCollectionMatch(match)) {\n                    throw new TypeError(\"t.check() match must be a collection Match created by niceeval/expect\");\n                }\n                throw new TypeError(\"t.check() match must be a ToolMatch or collection Match created by niceeval/expect\");\n            }\n            return collectionMatchSpecOf(match);\n        })();\n    const domainSidecar = spec.domain === \"event\" ? eventSidecar : sidecar;\n    if (domainSidecar === undefined) {\n        throw new TypeError(spec.kind === \"in-order\"\n            ? `inOrder() requires managed ${spec.domain === \"event\" ? \"eventOccurrences\" : \"toolCalls\"}`\n            : `${spec.domain === \"event\" ? \"EventMatch\" : \"ToolMatch\"} occurrence checks require managed ${spec.domain === \"event\" ? \"eventOccurrences\" : \"toolCalls\"}`);\n    }\n    if (spec.domain === \"event\") {\n        const managed = eventSidecar!;\n        if (spec.kind === \"occurrence\") {\n            const item = spec.item as EventMatch;\n            const query = eventMatcherQuery(item, Object.freeze({ matcher: item.name, quantifier: spec.quantifier }));\n            const captured = captureAssertionSnapshot({\n                scope: managed.scope,\n                occurrence: \"event\",\n                matcher: item.name,\n                quantifier: spec.quantifier,\n                candidateCount: managed.rows.length,\n                unassociatedOperation: managed.unassociatedOperation,\n                coverage: managed.coverage,\n                snapshot: managed.snapshot,\n            });\n            return Object.freeze({\n                criterion: Object.freeze({\n                    ...occurrenceCriterion(managed.scope, item.name, spec.quantifier),\n                    occurrence: \"event\" as const,\n                }),\n                subject: captured.material,\n                coverage: captured.coverage,\n                limitations: captured.limitations,\n                interruptedMatcherArtifact: interruptedMatcherArtifact({\n                    sourceSnapshot: managed.sourceSnapshot,\n                    sourceRows: managed.rows.length,\n                    queries: Object.freeze([query.summary]),\n                    kind: \"collection-filter\",\n                }),\n                evaluate: () => Effect.tryPromise({\n                    try: async () => matchedSubject(await evaluateMatcherCollection({\n                        sourceSnapshot: managed.sourceSnapshot,\n                        rows: managed.rows,\n                        query,\n                        quantifier: spec.quantifier,\n                    }), subject),\n                    catch: (error) => error,\n                }),\n            });\n        }\n        if (managed.scope === \"attempt\" || managed.sourceSnapshot.scope === \"attempt\") {\n            throw new TypeError(\"inOrder() is unavailable at Attempt scope\");\n        }\n        const orderedSourceSnapshot = managed.sourceSnapshot as Exclude<MatcherSourceSnapshot, {\n            readonly scope: \"attempt\";\n        }>;\n        const matches = spec.matches as readonly EventMatch[];\n        const queries = Object.freeze(matches.map(eventMatcherQuery));\n        const captured = captureAssertionSnapshot({\n            scope: managed.scope,\n            occurrence: \"event\",\n            assertion: \"event-order\",\n            matches: matches.map((item) => item.name),\n            candidateCount: managed.rows.length,\n            coverage: managed.coverage,\n            snapshot: managed.snapshot,\n        });\n        return Object.freeze({\n            criterion: Object.freeze({\n                kind: \"occurrence\" as const,\n                scope: managed.scope,\n                occurrence: \"event\" as const,\n                assertion: \"order\" as const,\n                matcher: matches.map((item) => item.name).join(\", \"),\n            }),\n            subject: captured.material,\n            coverage: captured.coverage,\n            limitations: captured.limitations,\n            interruptedMatcherArtifact: interruptedMatcherArtifact({\n                sourceSnapshot: orderedSourceSnapshot,\n                sourceRows: managed.rows.length,\n                queries: Object.freeze(queries.map((query) => query.summary)),\n                kind: \"ordered-sequence\",\n            }),\n            evaluate: () => Effect.tryPromise({\n                try: async () => matchedSubject(await evaluateMatcherOrder({\n                    sourceSnapshot: orderedSourceSnapshot,\n                    rows: managed.rows,\n                    queries,\n                }), subject),\n                catch: (error) => error,\n            }),\n        });\n    }\n    if (sidecar === undefined)\n        throw new TypeError(\"ToolMatch occurrence checks require a managed toolCalls collection\");\n    if (spec.kind === \"occurrence\") {\n        const item = spec.item as ToolMatch;\n        const query = toolMatcherQuery(item, Object.freeze({\n            matcher: item.name,\n            quantifier: spec.quantifier,\n        }));\n        const captured = captureAssertionSnapshot({\n            scope: sidecar.scope,\n            occurrence: \"tool\",\n            matcher: item.name,\n            quantifier: spec.quantifier,\n            candidateCount: sidecar.rows.length,\n            orphanFinishCount: sidecar.orphanFinishCount,\n            coverage: sidecar.actionsCoverage,\n            snapshot: sidecar.snapshot,\n        });\n        return Object.freeze({\n            criterion: occurrenceCriterion(sidecar.scope, item.name, spec.quantifier),\n            subject: captured.material,\n            coverage: captured.coverage,\n            limitations: captured.limitations,\n            interruptedMatcherArtifact: interruptedMatcherArtifact({\n                sourceSnapshot: sidecar.sourceSnapshot,\n                sourceRows: sidecar.rows.length,\n                queries: Object.freeze([query.summary]),\n                kind: \"collection-filter\",\n            }),\n            evaluate: () => Effect.tryPromise({\n                try: async () => matchedSubject(await evaluateMatcherCollection({\n                    sourceSnapshot: sidecar.sourceSnapshot,\n                    rows: sidecar.rows,\n                    query,\n                    quantifier: spec.quantifier,\n                }), subject),\n                catch: (error) => error,\n            }),\n        });\n    }\n    if (sidecar.sourceSnapshot.scope === \"attempt\" || sidecar.scope === \"attempt\") {\n        throw new TypeError(\"inOrder() is unavailable at Attempt scope\");\n    }\n    const orderedSourceSnapshot = sidecar.sourceSnapshot;\n    const toolMatches = spec.matches as readonly ToolMatch[];\n    const queries = Object.freeze(toolMatches.map(toolMatcherQuery));\n    const captured = captureAssertionSnapshot({\n        scope: sidecar.scope,\n        assertion: \"tool-order\",\n        matches: toolMatches.map((item) => item.name),\n        candidateCount: sidecar.rows.length,\n        coverage: sidecar.coverage,\n        snapshot: sidecar.snapshot,\n    });\n    return Object.freeze({\n        criterion: orderCriterion(sidecar.scope, toolMatches),\n        subject: captured.material,\n        coverage: captured.coverage,\n        limitations: captured.limitations,\n        interruptedMatcherArtifact: interruptedMatcherArtifact({\n            sourceSnapshot: orderedSourceSnapshot,\n            sourceRows: sidecar.rows.length,\n            queries: Object.freeze(queries.map((query) => query.summary)),\n            kind: \"ordered-sequence\",\n        }),\n        evaluate: () => Effect.tryPromise({\n            try: async () => matchedSubject(await evaluateMatcherOrder({\n                sourceSnapshot: orderedSourceSnapshot,\n                rows: sidecar.rows,\n                queries,\n            }), subject),\n            catch: (error) => error,\n        }),\n    });\n}\nexport type { CollectionMatch };\n"]}

package/dist/assertions/judge.cjs

@@ -13,7 +13,7 @@ exports.interruptibleByCaller = interruptibleByCaller;
 exports.responseByteCap = responseByteCap;
 exports.readJudgeResponseCapped = readJudgeResponseCapped;
 exports.requestScoreMatchProvider = requestScoreMatchProvider;
-// @concord-file ne-eval-assertions-judge
+// @concord-file
 // @concord-implements docs/feature/judge/README.md
 // @concord-implements docs/feature/judge/library.md
 // @concord-implements docs/feature/judge/use-case/verify-judge.md