niceeval 0.12.2-canary.31 → 0.13.0

package/dist/analysis/definitions.cjs

@@ -0,0 +1,346 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.attemptToolFailure = exports.attemptTokens = exports.attemptLatencyMs = exports.attemptPassed = exports.logicalSlots = exports.logicalSlotMembers = void 0;
+exports.createPopulationMembers = createPopulationMembers;
+exports.definePopulation = definePopulation;
+exports.defineDimension = defineDimension;
+exports.defineRelation = defineRelation;
+exports.defineMeasure = defineMeasure;
+exports.oneValue = oneValue;
+exports.sum = sum;
+exports.latestCompletedAttempt = latestCompletedAttempt;
+exports.mean = mean;
+exports.sumAcrossSlots = sumAcrossSlots;
+exports.ratio = ratio;
+exports.allLogicalSlots = allLogicalSlots;
+exports.partial = partial;
+exports.retainContributingEvidence = retainContributingEvidence;
+exports.requireSameProducer = requireSameProducer;
+exports.createOpaqueMeasure = createOpaqueMeasure;
+exports.populationMembersState = populationMembersState;
+exports.populationIdentity = populationIdentity;
+exports.analysisInputState = analysisInputState;
+exports.dimensionState = dimensionState;
+exports.relationState = relationState;
+exports.registeredRelations = registeredRelations;
+exports.reductionState = reductionState;
+exports.denominatorState = denominatorState;
+exports.measureState = measureState;
+exports.producerPolicyIsRequired = producerPolicyIsRequired;
+exports.producerIdentity = producerIdentity;
+const capability_ts_1 = require("../sample/capability.cjs");
+const bindings_ts_1 = require("./bindings.cjs");
+// These brands are module-local runtime symbols. The interfaces use them for
+// nominal typing while the constructors use them as actual computed keys; a
+// `declare` symbol would erase the value and fail when this module is loaded.
+const populationMembersTypeId = Symbol("niceeval.analysis.PopulationMembers");
+const analysisInputTypeId = Symbol("niceeval.analysis.AnalysisInput");
+const populationTypeId = Symbol("niceeval.analysis.Population");
+const dimensionTypeId = Symbol("niceeval.analysis.Dimension");
+const relationTypeId = Symbol("niceeval.analysis.Relation");
+const measureTypeId = Symbol("niceeval.analysis.Measure");
+const withinAttemptReductionTypeId = Symbol("niceeval.analysis.WithinAttemptReduction");
+const withinSlotReductionTypeId = Symbol("niceeval.analysis.WithinSlotReduction");
+const acrossSlotsReductionTypeId = Symbol("niceeval.analysis.AcrossSlotsReduction");
+const denominatorTypeId = Symbol("niceeval.analysis.Denominator");
+const missingPolicyTypeId = Symbol("niceeval.analysis.MissingPolicy");
+const evidencePolicyTypeId = Symbol("niceeval.analysis.EvidencePolicy");
+const producerPolicyTypeId = Symbol("niceeval.analysis.ProducerPolicy");
+const populationMembersStates = new WeakMap();
+const populationStates = new WeakMap();
+const inputStates = new WeakMap();
+const dimensionStates = new WeakMap();
+const relationStates = new WeakMap();
+const reductionStates = new WeakMap();
+const denominatorStates = new WeakMap();
+const missingPolicies = new WeakSet();
+const evidencePolicies = new WeakSet();
+const producerPolicies = new WeakSet();
+const measureStates = new WeakMap();
+const relations = [];
+/** @internal Host/catalog-only constructor; intentionally not re-exported by index. */
+function createPopulationMembers(input) {
+    requireIdentifier(input.id, "PopulationMembers id");
+    if (typeof input.enumerate !== "function" || typeof input.key !== "function") {
+        throw definitionError("PopulationMembers must provide enumerate and key functions");
+    }
+    const members = Object.freeze({
+        kind: "population-members",
+        id: input.id,
+        [populationMembersTypeId]: (member) => member,
+    });
+    populationMembersStates.set(members, Object.freeze({ enumerate: input.enumerate, key: input.key }));
+    return members;
+}
+function definePopulation(options) {
+    requireIdentifier(options.id, "Population id");
+    populationMembersState(options.members);
+    const population = Object.freeze({
+        kind: "population",
+        id: options.id,
+        members: options.members,
+        [populationTypeId]: (member) => member,
+    });
+    populationStates.set(population, Object.freeze({ kind: "population", id: options.id }));
+    return population;
+}
+function defineDimension(options) {
+    requireIdentifier(options.id, "Dimension id");
+    populationIdentity(options.population);
+    if (typeof options.value !== "function") {
+        throw definitionError("Dimension value must be a function");
+    }
+    const dimension = Object.freeze({
+        kind: "dimension",
+        id: options.id,
+        population: options.population,
+        [dimensionTypeId]: (value) => value,
+    });
+    dimensionStates.set(dimension, Object.freeze({ value: options.value }));
+    return dimension;
+}
+function defineRelation(options) {
+    requireIdentifier(options.id, "Relation id");
+    populationIdentity(options.from);
+    populationIdentity(options.to);
+    if (options.from === options.to) {
+        throw definitionError("Relation must connect two distinct Populations");
+    }
+    if (options.cardinality !== "one-to-one" && options.cardinality !== "many-to-one") {
+        throw definitionError("Relation cardinality is not recognized");
+    }
+    if (typeof options.match !== "function") {
+        throw definitionError("Relation match must be a function");
+    }
+    const relation = Object.freeze({
+        kind: "relation",
+        id: options.id,
+        from: options.from,
+        to: options.to,
+        cardinality: options.cardinality,
+        [relationTypeId]: (target) => target,
+    });
+    relationStates.set(relation, Object.freeze({ match: options.match }));
+    relations.push(relation);
+    return relation;
+}
+function defineMeasure(options) {
+    requireIdentifier(options.id, "Measure id");
+    populationIdentity(options.population);
+    if (options.input.population.members !== options.population.members) {
+        throw definitionError("Measure input must use the Population's published member rule");
+    }
+    analysisInputState(options.input);
+    reductionState(options.withinAttempt);
+    reductionState(options.withinSlot);
+    reductionState(options.acrossSlots);
+    denominatorState(options.denominator);
+    if (!missingPolicies.has(options.missing))
+        throw definitionError("Unknown MissingPolicy");
+    if (!evidencePolicies.has(options.evidence))
+        throw definitionError("Unknown EvidencePolicy");
+    if (options.producers !== undefined && !producerPolicies.has(options.producers)) {
+        throw definitionError("Unknown ProducerPolicy");
+    }
+    if (options.better !== undefined && !["higher", "lower", "neutral"].includes(options.better)) {
+        throw definitionError("Measure better must be higher, lower, or neutral");
+    }
+    const measure = Object.freeze({
+        kind: "measure",
+        id: options.id,
+        population: options.population,
+        ...(options.unit === undefined ? {} : { unit: options.unit }),
+        ...(options.format === undefined ? {} : { format: options.format }),
+        ...(options.better === undefined ? {} : { better: options.better }),
+        [measureTypeId]: (value) => value,
+    });
+    measureStates.set(measure, Object.freeze({
+        input: options.input,
+        withinAttempt: options.withinAttempt,
+        withinSlot: options.withinSlot,
+        acrossSlots: options.acrossSlots,
+        denominator: options.denominator,
+        missing: options.missing,
+        evidence: options.evidence,
+        ...(options.producers === undefined ? {} : { producers: options.producers }),
+    }));
+    return measure;
+}
+function oneValue() {
+    return reduction("within-attempt-reduction", "one-value");
+}
+function sum() {
+    return reduction("within-attempt-reduction", "sum");
+}
+function latestCompletedAttempt() {
+    return reduction("within-slot-reduction", "latest-completed-attempt");
+}
+function mean() {
+    return reduction("across-slots-reduction", "mean");
+}
+/** Sums numeric values across the fixed logical-Slot denominator. */
+function sumAcrossSlots() {
+    return reduction("across-slots-reduction", "sum");
+}
+function ratio() {
+    return reduction("across-slots-reduction", "ratio");
+}
+function allLogicalSlots() {
+    const denominator = Object.freeze({
+        kind: "denominator",
+        [denominatorTypeId]: (member) => member,
+    });
+    denominatorStates.set(denominator, Object.freeze({ members: (values) => values, basis: "slot" }));
+    return denominator;
+}
+const partialPolicy = Object.freeze({
+    kind: "missing-policy",
+    [missingPolicyTypeId]: true,
+});
+missingPolicies.add(partialPolicy);
+function partial() {
+    return partialPolicy;
+}
+const retainingEvidencePolicy = Object.freeze({
+    kind: "evidence-policy",
+    [evidencePolicyTypeId]: true,
+});
+evidencePolicies.add(retainingEvidencePolicy);
+function retainContributingEvidence() {
+    return retainingEvidencePolicy;
+}
+const sameProducerPolicy = Object.freeze({
+    kind: "producer-policy",
+    [producerPolicyTypeId]: true,
+});
+producerPolicies.add(sameProducerPolicy);
+function requireSameProducer() {
+    return sameProducerPolicy;
+}
+/** NiceEval v1 catalog membership. It is exhaustive over currently selected slots. */
+exports.logicalSlotMembers = createPopulationMembers({
+    id: "niceeval.logical-slot-members",
+    enumerate: capability_ts_1.logicalSlotMembersForSample,
+    key: (slot) => `${slot.runId}\u0000${slot.slotId}`,
+});
+const logicalSlotsCatalog = definePopulation({
+    id: "niceeval.logical-slots",
+    members: exports.logicalSlotMembers,
+});
+/** The catalog population is useful to built-in inputs; applications may define their own id. */
+exports.logicalSlots = logicalSlotsCatalog;
+function createPublishedInput(input) {
+    const descriptor = Object.freeze({
+        kind: "analysis-input",
+        id: input.id,
+        population: logicalSlotsCatalog,
+        [analysisInputTypeId]: (value) => value,
+    });
+    inputStates.set(descriptor, Object.freeze({
+        read: (sample, member) => (0, capability_ts_1.readPublishedInput)(sample, input, member),
+    }));
+    return descriptor;
+}
+exports.attemptPassed = createPublishedInput(bindings_ts_1.publishedAnalysisInputBindings.attemptPassed);
+exports.attemptLatencyMs = createPublishedInput(bindings_ts_1.publishedAnalysisInputBindings.attemptLatencyMs);
+/** Recorded input plus output tokens for one selected logical Slot. */
+exports.attemptTokens = createPublishedInput(bindings_ts_1.publishedAnalysisInputBindings.attemptTokens);
+exports.attemptToolFailure = createPublishedInput(bindings_ts_1.publishedAnalysisInputBindings.attemptToolFailure);
+/**
+ * @internal A published specialized Measure whose execution is owned by a
+ * dedicated Analysis evaluator rather than the generic input/reduction path.
+ */
+function createOpaqueMeasure(input) {
+    requireIdentifier(input.id, "Measure id");
+    populationIdentity(input.population);
+    if (input.better !== undefined && !["higher", "lower", "neutral"].includes(input.better)) {
+        throw definitionError("Measure better must be higher, lower, or neutral");
+    }
+    return Object.freeze({
+        kind: "measure",
+        id: input.id,
+        population: input.population,
+        ...(input.unit === undefined ? {} : { unit: input.unit }),
+        ...(input.format === undefined ? {} : { format: input.format }),
+        ...(input.better === undefined ? {} : { better: input.better }),
+        [measureTypeId]: (value) => value,
+    });
+}
+/** @internal Query executor accessors. None is re-exported by niceeval/analysis. */
+function populationMembersState(value) {
+    const state = populationMembersStates.get(value);
+    if (state === undefined)
+        throw definitionError("Unknown PopulationMembers");
+    return state;
+}
+function populationIdentity(value) {
+    const identity = populationStates.get(value);
+    if (identity === undefined)
+        throw definitionError("Unknown Population");
+    return identity;
+}
+function analysisInputState(value) {
+    const state = inputStates.get(value);
+    if (state === undefined)
+        throw definitionError("Unknown AnalysisInput");
+    return state;
+}
+function dimensionState(value) {
+    const state = dimensionStates.get(value);
+    if (state === undefined)
+        throw definitionError("Unknown Dimension");
+    return state;
+}
+function relationState(value) {
+    const state = relationStates.get(value);
+    if (state === undefined)
+        throw definitionError("Unknown Relation");
+    return state;
+}
+function registeredRelations() {
+    return Object.freeze([...relations]);
+}
+function reductionState(value) {
+    const state = reductionStates.get(value);
+    if (state === undefined)
+        throw definitionError("Unknown reduction");
+    return state;
+}
+function denominatorState(value) {
+    const state = denominatorStates.get(value);
+    if (state === undefined)
+        throw definitionError("Unknown Denominator");
+    return state;
+}
+function measureState(value) {
+    const state = measureStates.get(value);
+    if (state === undefined)
+        throw definitionError("Unknown Measure");
+    return state;
+}
+function producerPolicyIsRequired(value) {
+    return value !== undefined && producerPolicies.has(value);
+}
+function reduction(kind, reductionKind) {
+    const descriptor = Object.freeze({ kind });
+    reductionStates.set(descriptor, Object.freeze({ kind: reductionKind }));
+    return descriptor;
+}
+function requireIdentifier(value, name) {
+    if (typeof value !== "string" || value.length === 0 || value.trim() !== value) {
+        throw definitionError(`${name} must be a non-empty trimmed string`);
+    }
+}
+function definitionError(message) {
+    const error = new Error(message);
+    Object.defineProperty(error, "code", {
+        value: "analysis-definition-invalid",
+        enumerable: true,
+    });
+    return error;
+}
+function producerIdentity(id) {
+    requireIdentifier(id, "Producer id");
+    return Object.freeze({ id });
+}
+//# sourceMappingURL=definitions.cjs.map

package/dist/analysis/definitions.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"definitions.js","sourceRoot":"","sources":["definitions.ts"],"names":[],"mappings":";;;AAqLA,0DAgBC;AACD,4CAcC;AACD,0CAkBC;AACD,wCA8BC;AACD,sCAyCC;AACD,4BAEC;AACD,kBAEC;AACD,wDAEC;AACD,oBAEC;AAED,wCAEC;AACD,sBAEC;AACD,0CAOC;AAMD,0BAEC;AAMD,gEAEC;AAMD,kDAEC;AAkCD,kDAqBC;AAED,wDAKC;AACD,gDAKC;AACD,gDAKC;AACD,wCAKC;AACD,sCAKC;AACD,kDAEC;AACD,wCAKC;AACD,4CAKC;AACD,oCAKC;AACD,4DAEC;AAqBD,4CAGC;AAxeD,2DAA2F;AAC3F,+CAAoG;AA2BpG,6EAA6E;AAC7E,4EAA4E;AAC5E,8EAA8E;AAC9E,MAAM,uBAAuB,GAAkB,MAAM,CAAC,qCAAqC,CAAC,CAAC;AAC7F,MAAM,mBAAmB,GAAkB,MAAM,CAAC,iCAAiC,CAAC,CAAC;AACrF,MAAM,gBAAgB,GAAkB,MAAM,CAAC,8BAA8B,CAAC,CAAC;AAC/E,MAAM,eAAe,GAAkB,MAAM,CAAC,6BAA6B,CAAC,CAAC;AAC7E,MAAM,cAAc,GAAkB,MAAM,CAAC,4BAA4B,CAAC,CAAC;AAC3E,MAAM,aAAa,GAAkB,MAAM,CAAC,2BAA2B,CAAC,CAAC;AACzE,MAAM,4BAA4B,GAAkB,MAAM,CAAC,0CAA0C,CAAC,CAAC;AACvG,MAAM,yBAAyB,GAAkB,MAAM,CAAC,uCAAuC,CAAC,CAAC;AACjG,MAAM,0BAA0B,GAAkB,MAAM,CAAC,wCAAwC,CAAC,CAAC;AACnG,MAAM,iBAAiB,GAAkB,MAAM,CAAC,+BAA+B,CAAC,CAAC;AACjF,MAAM,mBAAmB,GAAkB,MAAM,CAAC,iCAAiC,CAAC,CAAC;AACrF,MAAM,oBAAoB,GAAkB,MAAM,CAAC,kCAAkC,CAAC,CAAC;AACvF,MAAM,oBAAoB,GAAkB,MAAM,CAAC,kCAAkC,CAAC,CAAC;AA4HvF,MAAM,uBAAuB,GAAG,IAAI,OAAO,EAA2C,CAAC;AACvF,MAAM,gBAAgB,GAAG,IAAI,OAAO,EAA8B,CAAC;AACnE,MAAM,WAAW,GAAG,IAAI,OAAO,EAAgD,CAAC;AAChF,MAAM,eAAe,GAAG,IAAI,OAAO,EAAmD,CAAC;AACvF,MAAM,cAAc,GAAG,IAAI,OAAO,EAA2C,CAAC;AAC9E,MAAM,eAAe,GAAG,IAAI,OAAO,EAA0B,CAAC;AAC9D,MAAM,iBAAiB,GAAG,IAAI,OAAO,EAAqC,CAAC;AAC3E,MAAM,eAAe,GAAG,IAAI,OAAO,EAAU,CAAC;AAC9C,MAAM,gBAAgB,GAAG,IAAI,OAAO,EAAU,CAAC;AAC/C,MAAM,gBAAgB,GAAG,IAAI,OAAO,EAAU,CAAC;AAC/C,MAAM,aAAa,GAAG,IAAI,OAAO,EAAqE,CAAC;AACvG,MAAM,SAAS,GAAiC,EAAE,CAAC;AACnD,uFAAuF;AACvF,SAAgB,uBAAuB,CAAS,KAI/C;IACG,iBAAiB,CAAC,KAAK,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;IACpD,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,UAAU,IAAI,OAAO,KAAK,CAAC,GAAG,KAAK,UAAU,EAAE,CAAC;QAC3E,MAAM,eAAe,CAAC,4DAA4D,CAAC,CAAC;IACxF,CAAC;IACD,MAAM,OAAO,GAA8B,MAAM,CAAC,MAAM,CAAC;QACrD,IAAI,EAAE,oBAAoB;QAC1B,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,CAAC,uBAAuB,CAAC,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,MAAM;KACxD,CAAC,CAAC;IACH,uBAAuB,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAoC,CAAC,CAAC;IACvI,OAAO,OAAO,CAAC;AACnB,CAAC;AACD,SAAgB,gBAAgB,CAAS,OAGxC;IACG,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;IAC/C,sBAAsB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,UAAU,GAAuB,MAAM,CAAC,MAAM,CAAC;QACjD,IAAI,EAAE,YAAY;QAClB,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,CAAC,gBAAgB,CAAC,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,MAAM;KACjD,CAAC,CAAC;IACH,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACxF,OAAO,UAAU,CAAC;AACtB,CAAC;AACD,SAAgB,eAAe,CAAuC,OAIrE;IACG,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;IAC9C,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,OAAO,OAAO,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QACtC,MAAM,eAAe,CAAC,oCAAoC,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,SAAS,GAA6B,MAAM,CAAC,MAAM,CAAC;QACtD,IAAI,EAAE,WAAW;QACjB,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,CAAC,eAAe,CAAC,EAAE,CAAC,KAAY,EAAE,EAAE,CAAC,KAAK;KAC7C,CAAC,CAAC;IACH,eAAe,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAA4C,CAAC,CAAC;IACnH,OAAO,SAAS,CAAC;AACrB,CAAC;AACD,SAAgB,cAAc,CAAW,OAMxC;IACG,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAC7C,kBAAkB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjC,kBAAkB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/B,IAAK,OAAO,CAAC,IAAe,KAAM,OAAO,CAAC,EAAa,EAAE,CAAC;QACtD,MAAM,eAAe,CAAC,gDAAgD,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,YAAY,IAAI,OAAO,CAAC,WAAW,KAAK,aAAa,EAAE,CAAC;QAChF,MAAM,eAAe,CAAC,wCAAwC,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,OAAO,OAAO,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QACtC,MAAM,eAAe,CAAC,mCAAmC,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,QAAQ,GAAuB,MAAM,CAAC,MAAM,CAAC;QAC/C,IAAI,EAAE,UAAU;QAChB,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,CAAC,cAAc,CAAC,EAAE,CAAC,MAAU,EAAE,EAAE,CAAC,MAAM;KAC3C,CAAC,CAAC;IACH,cAAc,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAoC,CAAC,CAAC;IACzG,SAAS,CAAC,IAAI,CAAC,QAAsC,CAAC,CAAC;IACvD,OAAO,QAAQ,CAAC;AACpB,CAAC;AACD,SAAgB,aAAa,CAAgD,OAAsE;IAC/I,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;IAC5C,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,KAAK,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;QAClE,MAAM,eAAe,CAAC,+DAA+D,CAAC,CAAC;IAC3F,CAAC;IACD,kBAAkB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAClC,cAAc,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACtC,cAAc,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACnC,cAAc,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACpC,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACtC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC;QACrC,MAAM,eAAe,CAAC,uBAAuB,CAAC,CAAC;IACnD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC;QACvC,MAAM,eAAe,CAAC,wBAAwB,CAAC,CAAC;IACpD,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9E,MAAM,eAAe,CAAC,wBAAwB,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3F,MAAM,eAAe,CAAC,kDAAkD,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,OAAO,GAA2B,MAAM,CAAC,MAAM,CAAC;QAClD,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;QAC7D,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QACnE,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QACnE,CAAC,aAAa,CAAC,EAAE,CAAC,KAAY,EAAE,EAAE,CAAC,KAAK;KAC3C,CAAC,CAAC;IACH,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;QACrC,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;KAC/E,CAA8D,CAAC,CAAC;IACjE,OAAO,OAAO,CAAC;AACnB,CAAC;AACD,SAAgB,QAAQ;IACpB,OAAO,SAAS,CAAuC,0BAA0B,EAAE,WAAW,CAAC,CAAC;AACpG,CAAC;AACD,SAAgB,GAAG;IACf,OAAO,SAAS,CAAyC,0BAA0B,EAAE,KAAK,CAAC,CAAC;AAChG,CAAC;AACD,SAAgB,sBAAsB;IAClC,OAAO,SAAS,CAAoC,uBAAuB,EAAE,0BAA0B,CAAC,CAAC;AAC7G,CAAC;AACD,SAAgB,IAAI;IAChB,OAAO,SAAS,CAAuC,wBAAwB,EAAE,MAAM,CAAC,CAAC;AAC7F,CAAC;AACD,qEAAqE;AACrE,SAAgB,cAAc;IAC1B,OAAO,SAAS,CAAuC,wBAAwB,EAAE,KAAK,CAAC,CAAC;AAC5F,CAAC;AACD,SAAgB,KAAK;IACjB,OAAO,SAAS,CAAwC,wBAAwB,EAAE,OAAO,CAAC,CAAC;AAC/F,CAAC;AACD,SAAgB,eAAe;IAC3B,MAAM,WAAW,GAAwB,MAAM,CAAC,MAAM,CAAC;QACnD,IAAI,EAAE,aAAa;QACnB,CAAC,iBAAiB,CAAC,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,MAAM;KAClD,CAAC,CAAC;IACH,iBAAiB,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,MAA0B,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACtH,OAAO,WAAW,CAAC;AACvB,CAAC;AACD,MAAM,aAAa,GAAkB,MAAM,CAAC,MAAM,CAAC;IAC/C,IAAI,EAAE,gBAAgB;IACtB,CAAC,mBAAmB,CAAC,EAAE,IAAa;CACvC,CAAC,CAAC;AACH,eAAe,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;AACnC,SAAgB,OAAO;IACnB,OAAO,aAAa,CAAC;AACzB,CAAC;AACD,MAAM,uBAAuB,GAAmB,MAAM,CAAC,MAAM,CAAC;IAC1D,IAAI,EAAE,iBAAiB;IACvB,CAAC,oBAAoB,CAAC,EAAE,IAAa;CACxC,CAAC,CAAC;AACH,gBAAgB,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;AAC9C,SAAgB,0BAA0B;IACtC,OAAO,uBAAuB,CAAC;AACnC,CAAC;AACD,MAAM,kBAAkB,GAAmB,MAAM,CAAC,MAAM,CAAC;IACrD,IAAI,EAAE,iBAAiB;IACvB,CAAC,oBAAoB,CAAC,EAAE,IAAa;CACxC,CAAC,CAAC;AACH,gBAAgB,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;AACzC,SAAgB,mBAAmB;IAC/B,OAAO,kBAAkB,CAAC;AAC9B,CAAC;AACD,sFAAsF;AACzE,QAAA,kBAAkB,GAAG,uBAAuB,CAAc;IACnE,EAAE,EAAE,+BAA+B;IACnC,SAAS,EAAE,2CAA2B;IACtC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,MAAM,EAAE;CACrD,CAAC,CAAC;AACH,MAAM,mBAAmB,GAAG,gBAAgB,CAAC;IACzC,EAAE,EAAE,wBAAwB;IAC5B,OAAO,EAAE,0BAAkB;CAC9B,CAAC,CAAC;AACH,iGAAiG;AACpF,QAAA,YAAY,GAA4B,mBAAmB,CAAC;AACzE,SAAS,oBAAoB,CAA+I,KAA4D;IACpO,MAAM,UAAU,GAAsC,MAAM,CAAC,MAAM,CAAC;QAChE,IAAI,EAAE,gBAAgB;QACtB,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,UAAU,EAAE,mBAAmB;QAC/B,CAAC,mBAAmB,CAAC,EAAE,CAAC,KAAY,EAAE,EAAE,CAAC,KAAK;KACjD,CAAC,CAAC;IACH,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;QACtC,IAAI,EAAE,CAAC,MAAc,EAAE,MAAe,EAAE,EAAE,CAAC,IAAA,kCAAkB,EAAC,MAAM,EAAE,KAAK,EAAE,MAAqB,CAAoE;KACzK,CAAC,CAAC,CAAC;IACJ,OAAO,UAAU,CAAC;AACtB,CAAC;AACY,QAAA,aAAa,GAAG,oBAAoB,CAAC,4CAA8B,CAAC,aAAa,CAAC,CAAC;AACnF,QAAA,gBAAgB,GAAG,oBAAoB,CAAC,4CAA8B,CAAC,gBAAgB,CAAC,CAAC;AACtG,uEAAuE;AAC1D,QAAA,aAAa,GAAG,oBAAoB,CAAC,4CAA8B,CAAC,aAAa,CAAC,CAAC;AACnF,QAAA,kBAAkB,GAAG,oBAAoB,CAAC,4CAA8B,CAAC,kBAAkB,CAAC,CAAC;AAC1G;;;GAGG;AACH,SAAgB,mBAAmB,CAAgB,KAMlD;IACG,iBAAiB,CAAC,KAAK,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;IAC1C,kBAAkB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACvF,MAAM,eAAe,CAAC,kDAAkD,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI,EAAE,SAAkB;QACxB,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;QACzD,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QAC/D,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QAC/D,CAAC,aAAa,CAAC,EAAE,CAAC,KAAY,EAAE,EAAE,CAAC,KAAK;KAC3C,CAAC,CAAC;AACP,CAAC;AACD,oFAAoF;AACpF,SAAgB,sBAAsB,CAAS,KAAgC;IAC3E,MAAM,KAAK,GAAG,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,KAAK,KAAK,SAAS;QACnB,MAAM,eAAe,CAAC,2BAA2B,CAAC,CAAC;IACvD,OAAO,KAAuC,CAAC;AACnD,CAAC;AACD,SAAgB,kBAAkB,CAAS,KAAyB;IAChE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,SAAS;QACtB,MAAM,eAAe,CAAC,oBAAoB,CAAC,CAAC;IAChD,OAAO,QAAQ,CAAC;AACpB,CAAC;AACD,SAAgB,kBAAkB,CAAgB,KAAmC;IACjF,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,KAAK,KAAK,SAAS;QACnB,MAAM,eAAe,CAAC,uBAAuB,CAAC,CAAC;IACnD,OAAO,KAA0C,CAAC;AACtD,CAAC;AACD,SAAgB,cAAc,CAAuC,KAA+B;IAChG,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,KAAK,KAAK,SAAS;QACnB,MAAM,eAAe,CAAC,mBAAmB,CAAC,CAAC;IAC/C,OAAO,KAAsC,CAAC;AAClD,CAAC;AACD,SAAgB,aAAa,CAAW,KAAyB;IAC7D,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,KAAK,KAAK,SAAS;QACnB,MAAM,eAAe,CAAC,kBAAkB,CAAC,CAAC;IAC9C,OAAO,KAAgC,CAAC;AAC5C,CAAC;AACD,SAAgB,mBAAmB;IAC/B,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC;AACzC,CAAC;AACD,SAAgB,cAAc,CAAC,KAAa;IACxC,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,KAAK,KAAK,SAAS;QACnB,MAAM,eAAe,CAAC,mBAAmB,CAAC,CAAC;IAC/C,OAAO,KAAK,CAAC;AACjB,CAAC;AACD,SAAgB,gBAAgB,CAAS,KAA0B;IAC/D,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,KAAK,KAAK,SAAS;QACnB,MAAM,eAAe,CAAC,qBAAqB,CAAC,CAAC;IACjD,OAAO,KAAiC,CAAC;AAC7C,CAAC;AACD,SAAgB,YAAY,CAAgD,KAA6B;IACrG,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,SAAS;QACnB,MAAM,eAAe,CAAC,iBAAiB,CAAC,CAAC;IAC7C,OAAO,KAAoE,CAAC;AAChF,CAAC;AACD,SAAgB,wBAAwB,CAAC,KAAiC;IACtE,OAAO,KAAK,KAAK,SAAS,IAAI,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AACD,SAAS,SAAS,CAEf,IAAwB,EAAE,aAA4B;IACrD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAe,CAAC;IACzD,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;IACxE,OAAO,UAAU,CAAC;AACtB,CAAC;AACD,SAAS,iBAAiB,CAAC,KAAa,EAAE,IAAY;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QAC5E,MAAM,eAAe,CAAC,GAAG,IAAI,qCAAqC,CAAC,CAAC;IACxE,CAAC;AACL,CAAC;AACD,SAAS,eAAe,CAAC,OAAe;IACpC,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,OAAO,CAA4B,CAAC;IAC5D,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE;QACjC,KAAK,EAAE,6BAAsC;QAC7C,UAAU,EAAE,IAAI;KACnB,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACjB,CAAC;AACD,SAAgB,gBAAgB,CAAC,EAAU;IACvC,iBAAiB,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IACrC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AACjC,CAAC","sourcesContent":["import { Effect } from \"effect\";\nimport { logicalSlotMembersForSample, readPublishedInput, } from \"../sample/capability.ts\";\nimport { publishedAnalysisInputBindings, type PublishedAnalysisInputBinding, } from \"./bindings.ts\";\nimport type { AnalysisRun, SampleClosedError, AttemptEvidenceIdentity, EvalId, ExecutionIdentityDigest, ExperimentId, MeasureFormat, MetricBasis, PopulationIdentity, ProducerIdentity, RunId, Sample, SampleInputObservation, SlotId, } from \"./contracts.ts\";\nimport type { MembershipAction } from \"../record/model/core.ts\";\nexport type DimensionValue = string | number | boolean | null;\nexport interface LogicalSlot {\n    /** Exact occurrence identity in one selected Run. */\n    readonly runId: RunId;\n    /**\n     * The selected Run's closed Core projection. It carries configuration\n     * dimensions without exposing a Record reader or reopening selection.\n     */\n    readonly run: AnalysisRun;\n    readonly slotId: SlotId;\n    /** Derived Sample identity from the Run that owns this occurrence. */\n    readonly experimentId: ExperimentId;\n    /** Logical alignment identity, retained from the durable planned Slot. */\n    readonly evalId: EvalId;\n    readonly attemptOrdinal: number;\n    /** Used only to narrow an already aligned logical Slot. */\n    readonly executionIdentityDigest: ExecutionIdentityDigest;\n    readonly state: \"included\" | \"not-recorded\" | \"core-invalid\";\n    /** Exact Core Member action, or null when no Member document was recorded. */\n    readonly action: MembershipAction | null;\n    readonly relation?: \"origin\" | \"reference\";\n    /** Closed evidence identity; selected Record refs never leave the Sample binding. */\n    readonly attempt?: AttemptEvidenceIdentity;\n}\n// These brands are module-local runtime symbols. The interfaces use them for\n// nominal typing while the constructors use them as actual computed keys; a\n// `declare` symbol would erase the value and fail when this module is loaded.\nconst populationMembersTypeId: unique symbol = Symbol(\"niceeval.analysis.PopulationMembers\");\nconst analysisInputTypeId: unique symbol = Symbol(\"niceeval.analysis.AnalysisInput\");\nconst populationTypeId: unique symbol = Symbol(\"niceeval.analysis.Population\");\nconst dimensionTypeId: unique symbol = Symbol(\"niceeval.analysis.Dimension\");\nconst relationTypeId: unique symbol = Symbol(\"niceeval.analysis.Relation\");\nconst measureTypeId: unique symbol = Symbol(\"niceeval.analysis.Measure\");\nconst withinAttemptReductionTypeId: unique symbol = Symbol(\"niceeval.analysis.WithinAttemptReduction\");\nconst withinSlotReductionTypeId: unique symbol = Symbol(\"niceeval.analysis.WithinSlotReduction\");\nconst acrossSlotsReductionTypeId: unique symbol = Symbol(\"niceeval.analysis.AcrossSlotsReduction\");\nconst denominatorTypeId: unique symbol = Symbol(\"niceeval.analysis.Denominator\");\nconst missingPolicyTypeId: unique symbol = Symbol(\"niceeval.analysis.MissingPolicy\");\nconst evidencePolicyTypeId: unique symbol = Symbol(\"niceeval.analysis.EvidencePolicy\");\nconst producerPolicyTypeId: unique symbol = Symbol(\"niceeval.analysis.ProducerPolicy\");\n/** A NiceEval-published, exhaustive membership rule. There is no public maker. */\nexport interface PopulationMembers<Member> {\n    readonly kind: \"population-members\";\n    readonly id: string;\n    readonly [populationMembersTypeId]: (_: Member) => Member;\n}\n/** A NiceEval-published read-only Record projection. There is no public maker. */\nexport interface AnalysisInput<Member, Input> {\n    readonly kind: \"analysis-input\";\n    readonly id: string;\n    readonly population: Population<Member>;\n    readonly [analysisInputTypeId]: (_: Input) => Input;\n}\nexport interface Population<Member> {\n    readonly kind: \"population\";\n    readonly id: string;\n    readonly members: PopulationMembers<Member>;\n    readonly [populationTypeId]: (_: Member) => Member;\n}\nexport interface Dimension<Member, Value extends DimensionValue> {\n    readonly kind: \"dimension\";\n    readonly id: string;\n    readonly population: Population<Member>;\n    readonly [dimensionTypeId]: (_: Value) => Value;\n}\nexport type RelationTarget<To> = To;\nexport interface Relation<From, To> {\n    readonly kind: \"relation\";\n    readonly id: string;\n    readonly from: Population<From>;\n    readonly to: Population<To>;\n    readonly cardinality: \"one-to-one\" | \"many-to-one\";\n    readonly [relationTypeId]: (_: To) => To;\n}\nexport interface WithinAttemptReduction<Input, Value> {\n    readonly kind: \"within-attempt-reduction\";\n    readonly [withinAttemptReductionTypeId]: (_: Value) => Value;\n    readonly __input?: Input;\n}\nexport interface WithinSlotReduction<Input, Value> {\n    readonly kind: \"within-slot-reduction\";\n    readonly [withinSlotReductionTypeId]: (_: Value) => Value;\n    readonly __input?: Input;\n}\nexport interface AcrossSlotsReduction<Input, Value> {\n    readonly kind: \"across-slots-reduction\";\n    readonly [acrossSlotsReductionTypeId]: (_: Value) => Value;\n    readonly __input?: Input;\n}\nexport interface Denominator<Member> {\n    readonly kind: \"denominator\";\n    readonly [denominatorTypeId]: (_: Member) => Member;\n}\nexport interface MissingPolicy {\n    readonly kind: \"missing-policy\";\n    readonly [missingPolicyTypeId]: true;\n}\nexport interface EvidencePolicy {\n    readonly kind: \"evidence-policy\";\n    readonly [evidencePolicyTypeId]: true;\n}\nexport interface ProducerPolicy {\n    readonly kind: \"producer-policy\";\n    readonly [producerPolicyTypeId]: true;\n}\nexport interface Measure<Member, Value> {\n    readonly kind: \"measure\";\n    readonly id: string;\n    readonly population: Population<Member>;\n    readonly unit?: string;\n    readonly format?: MeasureFormat;\n    readonly better?: \"higher\" | \"lower\" | \"neutral\";\n    readonly [measureTypeId]: (_: Value) => Value;\n}\nexport interface MeasureOptions<Member, Input, AttemptValue, SlotValue, Value> {\n    readonly id: string;\n    readonly population: Population<Member>;\n    readonly input: AnalysisInput<Member, Input>;\n    readonly withinAttempt: WithinAttemptReduction<Input, AttemptValue>;\n    readonly withinSlot: WithinSlotReduction<AttemptValue, SlotValue>;\n    readonly acrossSlots: AcrossSlotsReduction<SlotValue, Value>;\n    readonly denominator: Denominator<Member>;\n    readonly missing: MissingPolicy;\n    readonly evidence: EvidencePolicy;\n    readonly producers?: ProducerPolicy;\n    readonly unit?: string;\n    readonly format?: MeasureFormat;\n    readonly better?: \"higher\" | \"lower\" | \"neutral\";\n}\nexport interface AnalysisDefinitionError extends Error {\n    readonly code: \"analysis-definition-invalid\";\n}\ntype PopulationMembersState<Member> = {\n    readonly enumerate: (sample: Sample) => Effect.Effect<readonly Member[], SampleClosedError>;\n    readonly key: (member: Member) => string;\n};\ntype AnalysisInputState<Member, Input> = {\n    readonly read: (sample: Sample, member: Member) => Effect.Effect<SampleInputObservation<Input>, SampleClosedError>;\n};\ntype DimensionState<Member, Value extends DimensionValue> = {\n    readonly value: (member: Member) => Value;\n};\ntype RelationState<From, To> = {\n    readonly match: (member: From) => RelationTarget<To> | null;\n};\nexport type ReductionKind = \"one-value\" | \"sum\" | \"latest-completed-attempt\" | \"mean\" | \"ratio\";\ntype ReductionState = {\n    readonly kind: ReductionKind;\n};\ntype DenominatorState<Member> = {\n    readonly members: (values: readonly Member[]) => readonly Member[];\n    readonly basis: MetricBasis;\n};\ntype MeasureState<Member, Input, AttemptValue, SlotValue, Value> = {\n    readonly input: AnalysisInput<Member, Input>;\n    readonly withinAttempt: WithinAttemptReduction<Input, AttemptValue>;\n    readonly withinSlot: WithinSlotReduction<AttemptValue, SlotValue>;\n    readonly acrossSlots: AcrossSlotsReduction<SlotValue, Value>;\n    readonly denominator: Denominator<Member>;\n    readonly missing: MissingPolicy;\n    readonly evidence: EvidencePolicy;\n    readonly producers?: ProducerPolicy;\n};\nconst populationMembersStates = new WeakMap<object, PopulationMembersState<unknown>>();\nconst populationStates = new WeakMap<object, PopulationIdentity>();\nconst inputStates = new WeakMap<object, AnalysisInputState<unknown, unknown>>();\nconst dimensionStates = new WeakMap<object, DimensionState<unknown, DimensionValue>>();\nconst relationStates = new WeakMap<object, RelationState<unknown, unknown>>();\nconst reductionStates = new WeakMap<object, ReductionState>();\nconst denominatorStates = new WeakMap<object, DenominatorState<unknown>>();\nconst missingPolicies = new WeakSet<object>();\nconst evidencePolicies = new WeakSet<object>();\nconst producerPolicies = new WeakSet<object>();\nconst measureStates = new WeakMap<object, MeasureState<unknown, unknown, unknown, unknown, unknown>>();\nconst relations: Relation<unknown, unknown>[] = [];\n/** @internal Host/catalog-only constructor; intentionally not re-exported by index. */\nexport function createPopulationMembers<Member>(input: {\n    readonly id: string;\n    readonly enumerate: (sample: Sample) => Effect.Effect<readonly Member[], SampleClosedError>;\n    readonly key: (member: Member) => string;\n}): PopulationMembers<Member> {\n    requireIdentifier(input.id, \"PopulationMembers id\");\n    if (typeof input.enumerate !== \"function\" || typeof input.key !== \"function\") {\n        throw definitionError(\"PopulationMembers must provide enumerate and key functions\");\n    }\n    const members: PopulationMembers<Member> = Object.freeze({\n        kind: \"population-members\",\n        id: input.id,\n        [populationMembersTypeId]: (member: Member) => member,\n    });\n    populationMembersStates.set(members, Object.freeze({ enumerate: input.enumerate, key: input.key }) as PopulationMembersState<unknown>);\n    return members;\n}\nexport function definePopulation<Member>(options: {\n    readonly id: string;\n    readonly members: PopulationMembers<Member>;\n}): Population<Member> {\n    requireIdentifier(options.id, \"Population id\");\n    populationMembersState(options.members);\n    const population: Population<Member> = Object.freeze({\n        kind: \"population\",\n        id: options.id,\n        members: options.members,\n        [populationTypeId]: (member: Member) => member,\n    });\n    populationStates.set(population, Object.freeze({ kind: \"population\", id: options.id }));\n    return population;\n}\nexport function defineDimension<Member, Value extends DimensionValue>(options: {\n    readonly id: string;\n    readonly population: Population<Member>;\n    readonly value: (member: Member) => Value;\n}): Dimension<Member, Value> {\n    requireIdentifier(options.id, \"Dimension id\");\n    populationIdentity(options.population);\n    if (typeof options.value !== \"function\") {\n        throw definitionError(\"Dimension value must be a function\");\n    }\n    const dimension: Dimension<Member, Value> = Object.freeze({\n        kind: \"dimension\",\n        id: options.id,\n        population: options.population,\n        [dimensionTypeId]: (value: Value) => value,\n    });\n    dimensionStates.set(dimension, Object.freeze({ value: options.value }) as DimensionState<unknown, DimensionValue>);\n    return dimension;\n}\nexport function defineRelation<From, To>(options: {\n    readonly id: string;\n    readonly from: Population<From>;\n    readonly to: Population<To>;\n    readonly cardinality: \"one-to-one\" | \"many-to-one\";\n    readonly match: (member: From) => RelationTarget<To> | null;\n}): Relation<From, To> {\n    requireIdentifier(options.id, \"Relation id\");\n    populationIdentity(options.from);\n    populationIdentity(options.to);\n    if ((options.from as object) === (options.to as object)) {\n        throw definitionError(\"Relation must connect two distinct Populations\");\n    }\n    if (options.cardinality !== \"one-to-one\" && options.cardinality !== \"many-to-one\") {\n        throw definitionError(\"Relation cardinality is not recognized\");\n    }\n    if (typeof options.match !== \"function\") {\n        throw definitionError(\"Relation match must be a function\");\n    }\n    const relation: Relation<From, To> = Object.freeze({\n        kind: \"relation\",\n        id: options.id,\n        from: options.from,\n        to: options.to,\n        cardinality: options.cardinality,\n        [relationTypeId]: (target: To) => target,\n    });\n    relationStates.set(relation, Object.freeze({ match: options.match }) as RelationState<unknown, unknown>);\n    relations.push(relation as Relation<unknown, unknown>);\n    return relation;\n}\nexport function defineMeasure<Member, Input, AttemptValue, SlotValue, Value>(options: MeasureOptions<Member, Input, AttemptValue, SlotValue, Value>): Measure<Member, Value> {\n    requireIdentifier(options.id, \"Measure id\");\n    populationIdentity(options.population);\n    if (options.input.population.members !== options.population.members) {\n        throw definitionError(\"Measure input must use the Population's published member rule\");\n    }\n    analysisInputState(options.input);\n    reductionState(options.withinAttempt);\n    reductionState(options.withinSlot);\n    reductionState(options.acrossSlots);\n    denominatorState(options.denominator);\n    if (!missingPolicies.has(options.missing))\n        throw definitionError(\"Unknown MissingPolicy\");\n    if (!evidencePolicies.has(options.evidence))\n        throw definitionError(\"Unknown EvidencePolicy\");\n    if (options.producers !== undefined && !producerPolicies.has(options.producers)) {\n        throw definitionError(\"Unknown ProducerPolicy\");\n    }\n    if (options.better !== undefined && ![\"higher\", \"lower\", \"neutral\"].includes(options.better)) {\n        throw definitionError(\"Measure better must be higher, lower, or neutral\");\n    }\n    const measure: Measure<Member, Value> = Object.freeze({\n        kind: \"measure\",\n        id: options.id,\n        population: options.population,\n        ...(options.unit === undefined ? {} : { unit: options.unit }),\n        ...(options.format === undefined ? {} : { format: options.format }),\n        ...(options.better === undefined ? {} : { better: options.better }),\n        [measureTypeId]: (value: Value) => value,\n    });\n    measureStates.set(measure, Object.freeze({\n        input: options.input,\n        withinAttempt: options.withinAttempt,\n        withinSlot: options.withinSlot,\n        acrossSlots: options.acrossSlots,\n        denominator: options.denominator,\n        missing: options.missing,\n        evidence: options.evidence,\n        ...(options.producers === undefined ? {} : { producers: options.producers }),\n    }) as MeasureState<unknown, unknown, unknown, unknown, unknown>);\n    return measure;\n}\nexport function oneValue<Value>(): WithinAttemptReduction<Value, Value> {\n    return reduction<WithinAttemptReduction<Value, Value>>(\"within-attempt-reduction\", \"one-value\");\n}\nexport function sum(): WithinAttemptReduction<number, number> {\n    return reduction<WithinAttemptReduction<number, number>>(\"within-attempt-reduction\", \"sum\");\n}\nexport function latestCompletedAttempt<Value>(): WithinSlotReduction<Value, Value> {\n    return reduction<WithinSlotReduction<Value, Value>>(\"within-slot-reduction\", \"latest-completed-attempt\");\n}\nexport function mean(): AcrossSlotsReduction<number, number> {\n    return reduction<AcrossSlotsReduction<number, number>>(\"across-slots-reduction\", \"mean\");\n}\n/** Sums numeric values across the fixed logical-Slot denominator. */\nexport function sumAcrossSlots(): AcrossSlotsReduction<number, number> {\n    return reduction<AcrossSlotsReduction<number, number>>(\"across-slots-reduction\", \"sum\");\n}\nexport function ratio(): AcrossSlotsReduction<boolean, number> {\n    return reduction<AcrossSlotsReduction<boolean, number>>(\"across-slots-reduction\", \"ratio\");\n}\nexport function allLogicalSlots<Member = LogicalSlot>(): Denominator<Member> {\n    const denominator: Denominator<Member> = Object.freeze({\n        kind: \"denominator\",\n        [denominatorTypeId]: (member: Member) => member,\n    });\n    denominatorStates.set(denominator, Object.freeze({ members: (values: readonly unknown[]) => values, basis: \"slot\" }));\n    return denominator;\n}\nconst partialPolicy: MissingPolicy = Object.freeze({\n    kind: \"missing-policy\",\n    [missingPolicyTypeId]: true as const,\n});\nmissingPolicies.add(partialPolicy);\nexport function partial(): MissingPolicy {\n    return partialPolicy;\n}\nconst retainingEvidencePolicy: EvidencePolicy = Object.freeze({\n    kind: \"evidence-policy\",\n    [evidencePolicyTypeId]: true as const,\n});\nevidencePolicies.add(retainingEvidencePolicy);\nexport function retainContributingEvidence(): EvidencePolicy {\n    return retainingEvidencePolicy;\n}\nconst sameProducerPolicy: ProducerPolicy = Object.freeze({\n    kind: \"producer-policy\",\n    [producerPolicyTypeId]: true as const,\n});\nproducerPolicies.add(sameProducerPolicy);\nexport function requireSameProducer(): ProducerPolicy {\n    return sameProducerPolicy;\n}\n/** NiceEval v1 catalog membership. It is exhaustive over currently selected slots. */\nexport const logicalSlotMembers = createPopulationMembers<LogicalSlot>({\n    id: \"niceeval.logical-slot-members\",\n    enumerate: logicalSlotMembersForSample,\n    key: (slot) => `${slot.runId}\\u0000${slot.slotId}`,\n});\nconst logicalSlotsCatalog = definePopulation({\n    id: \"niceeval.logical-slots\",\n    members: logicalSlotMembers,\n});\n/** The catalog population is useful to built-in inputs; applications may define their own id. */\nexport const logicalSlots: Population<LogicalSlot> = logicalSlotsCatalog;\nfunction createPublishedInput<Input, Payload, Family extends import(\"./bindings.ts\").FixedFamilyBinding<import(\"./bindings.ts\").FixedFamilyOwnerRequirement, Payload, any>>(input: PublishedAnalysisInputBinding<Input, Payload, Family>): AnalysisInput<LogicalSlot, Input> {\n    const descriptor: AnalysisInput<LogicalSlot, Input> = Object.freeze({\n        kind: \"analysis-input\",\n        id: input.id,\n        population: logicalSlotsCatalog,\n        [analysisInputTypeId]: (value: Input) => value,\n    });\n    inputStates.set(descriptor, Object.freeze({\n        read: (sample: Sample, member: unknown) => readPublishedInput(sample, input, member as LogicalSlot) as Effect.Effect<SampleInputObservation<Input>, SampleClosedError>,\n    }));\n    return descriptor;\n}\nexport const attemptPassed = createPublishedInput(publishedAnalysisInputBindings.attemptPassed);\nexport const attemptLatencyMs = createPublishedInput(publishedAnalysisInputBindings.attemptLatencyMs);\n/** Recorded input plus output tokens for one selected logical Slot. */\nexport const attemptTokens = createPublishedInput(publishedAnalysisInputBindings.attemptTokens);\nexport const attemptToolFailure = createPublishedInput(publishedAnalysisInputBindings.attemptToolFailure);\n/**\n * @internal A published specialized Measure whose execution is owned by a\n * dedicated Analysis evaluator rather than the generic input/reduction path.\n */\nexport function createOpaqueMeasure<Member, Value>(input: {\n    readonly id: string;\n    readonly population: Population<Member>;\n    readonly unit?: string;\n    readonly format?: MeasureFormat;\n    readonly better?: \"higher\" | \"lower\" | \"neutral\";\n}): Measure<Member, Value> {\n    requireIdentifier(input.id, \"Measure id\");\n    populationIdentity(input.population);\n    if (input.better !== undefined && ![\"higher\", \"lower\", \"neutral\"].includes(input.better)) {\n        throw definitionError(\"Measure better must be higher, lower, or neutral\");\n    }\n    return Object.freeze({\n        kind: \"measure\" as const,\n        id: input.id,\n        population: input.population,\n        ...(input.unit === undefined ? {} : { unit: input.unit }),\n        ...(input.format === undefined ? {} : { format: input.format }),\n        ...(input.better === undefined ? {} : { better: input.better }),\n        [measureTypeId]: (value: Value) => value,\n    });\n}\n/** @internal Query executor accessors. None is re-exported by niceeval/analysis. */\nexport function populationMembersState<Member>(value: PopulationMembers<Member>): PopulationMembersState<Member> {\n    const state = populationMembersStates.get(value);\n    if (state === undefined)\n        throw definitionError(\"Unknown PopulationMembers\");\n    return state as PopulationMembersState<Member>;\n}\nexport function populationIdentity<Member>(value: Population<Member>): PopulationIdentity {\n    const identity = populationStates.get(value);\n    if (identity === undefined)\n        throw definitionError(\"Unknown Population\");\n    return identity;\n}\nexport function analysisInputState<Member, Input>(value: AnalysisInput<Member, Input>): AnalysisInputState<Member, Input> {\n    const state = inputStates.get(value);\n    if (state === undefined)\n        throw definitionError(\"Unknown AnalysisInput\");\n    return state as AnalysisInputState<Member, Input>;\n}\nexport function dimensionState<Member, Value extends DimensionValue>(value: Dimension<Member, Value>): DimensionState<Member, Value> {\n    const state = dimensionStates.get(value);\n    if (state === undefined)\n        throw definitionError(\"Unknown Dimension\");\n    return state as DimensionState<Member, Value>;\n}\nexport function relationState<From, To>(value: Relation<From, To>): RelationState<From, To> {\n    const state = relationStates.get(value);\n    if (state === undefined)\n        throw definitionError(\"Unknown Relation\");\n    return state as RelationState<From, To>;\n}\nexport function registeredRelations(): readonly Relation<unknown, unknown>[] {\n    return Object.freeze([...relations]);\n}\nexport function reductionState(value: object): ReductionState {\n    const state = reductionStates.get(value);\n    if (state === undefined)\n        throw definitionError(\"Unknown reduction\");\n    return state;\n}\nexport function denominatorState<Member>(value: Denominator<Member>): DenominatorState<Member> {\n    const state = denominatorStates.get(value);\n    if (state === undefined)\n        throw definitionError(\"Unknown Denominator\");\n    return state as DenominatorState<Member>;\n}\nexport function measureState<Member, Input, AttemptValue, SlotValue, Value>(value: Measure<Member, Value>): MeasureState<Member, Input, AttemptValue, SlotValue, Value> {\n    const state = measureStates.get(value);\n    if (state === undefined)\n        throw definitionError(\"Unknown Measure\");\n    return state as MeasureState<Member, Input, AttemptValue, SlotValue, Value>;\n}\nexport function producerPolicyIsRequired(value: ProducerPolicy | undefined): boolean {\n    return value !== undefined && producerPolicies.has(value);\n}\nfunction reduction<Descriptor extends {\n    readonly kind: string;\n}>(kind: Descriptor[\"kind\"], reductionKind: ReductionKind): Descriptor {\n    const descriptor = Object.freeze({ kind }) as Descriptor;\n    reductionStates.set(descriptor, Object.freeze({ kind: reductionKind }));\n    return descriptor;\n}\nfunction requireIdentifier(value: string, name: string): void {\n    if (typeof value !== \"string\" || value.length === 0 || value.trim() !== value) {\n        throw definitionError(`${name} must be a non-empty trimmed string`);\n    }\n}\nfunction definitionError(message: string): AnalysisDefinitionError {\n    const error = new Error(message) as AnalysisDefinitionError;\n    Object.defineProperty(error, \"code\", {\n        value: \"analysis-definition-invalid\" as const,\n        enumerable: true,\n    });\n    return error;\n}\nexport function producerIdentity(id: string): ProducerIdentity {\n    requireIdentifier(id, \"Producer id\");\n    return Object.freeze({ id });\n}\n"]}

package/dist/analysis/definitions.d.cts

@@ -0,0 +1,230 @@
+import { Effect } from "effect";
+import type { AnalysisRun, SampleClosedError, AttemptEvidenceIdentity, EvalId, ExecutionIdentityDigest, ExperimentId, MeasureFormat, MetricBasis, PopulationIdentity, ProducerIdentity, RunId, Sample, SampleInputObservation, SlotId } from "./contracts.cjs";
+import type { MembershipAction } from "../record/model/core.cjs";
+export type DimensionValue = string | number | boolean | null;
+export interface LogicalSlot {
+    /** Exact occurrence identity in one selected Run. */
+    readonly runId: RunId;
+    /**
+     * The selected Run's closed Core projection. It carries configuration
+     * dimensions without exposing a Record reader or reopening selection.
+     */
+    readonly run: AnalysisRun;
+    readonly slotId: SlotId;
+    /** Derived Sample identity from the Run that owns this occurrence. */
+    readonly experimentId: ExperimentId;
+    /** Logical alignment identity, retained from the durable planned Slot. */
+    readonly evalId: EvalId;
+    readonly attemptOrdinal: number;
+    /** Used only to narrow an already aligned logical Slot. */
+    readonly executionIdentityDigest: ExecutionIdentityDigest;
+    readonly state: "included" | "not-recorded" | "core-invalid";
+    /** Exact Core Member action, or null when no Member document was recorded. */
+    readonly action: MembershipAction | null;
+    readonly relation?: "origin" | "reference";
+    /** Closed evidence identity; selected Record refs never leave the Sample binding. */
+    readonly attempt?: AttemptEvidenceIdentity;
+}
+declare const populationMembersTypeId: unique symbol;
+declare const analysisInputTypeId: unique symbol;
+declare const populationTypeId: unique symbol;
+declare const dimensionTypeId: unique symbol;
+declare const relationTypeId: unique symbol;
+declare const measureTypeId: unique symbol;
+declare const withinAttemptReductionTypeId: unique symbol;
+declare const withinSlotReductionTypeId: unique symbol;
+declare const acrossSlotsReductionTypeId: unique symbol;
+declare const denominatorTypeId: unique symbol;
+declare const missingPolicyTypeId: unique symbol;
+declare const evidencePolicyTypeId: unique symbol;
+declare const producerPolicyTypeId: unique symbol;
+/** A NiceEval-published, exhaustive membership rule. There is no public maker. */
+export interface PopulationMembers<Member> {
+    readonly kind: "population-members";
+    readonly id: string;
+    readonly [populationMembersTypeId]: (_: Member) => Member;
+}
+/** A NiceEval-published read-only Record projection. There is no public maker. */
+export interface AnalysisInput<Member, Input> {
+    readonly kind: "analysis-input";
+    readonly id: string;
+    readonly population: Population<Member>;
+    readonly [analysisInputTypeId]: (_: Input) => Input;
+}
+export interface Population<Member> {
+    readonly kind: "population";
+    readonly id: string;
+    readonly members: PopulationMembers<Member>;
+    readonly [populationTypeId]: (_: Member) => Member;
+}
+export interface Dimension<Member, Value extends DimensionValue> {
+    readonly kind: "dimension";
+    readonly id: string;
+    readonly population: Population<Member>;
+    readonly [dimensionTypeId]: (_: Value) => Value;
+}
+export type RelationTarget<To> = To;
+export interface Relation<From, To> {
+    readonly kind: "relation";
+    readonly id: string;
+    readonly from: Population<From>;
+    readonly to: Population<To>;
+    readonly cardinality: "one-to-one" | "many-to-one";
+    readonly [relationTypeId]: (_: To) => To;
+}
+export interface WithinAttemptReduction<Input, Value> {
+    readonly kind: "within-attempt-reduction";
+    readonly [withinAttemptReductionTypeId]: (_: Value) => Value;
+    readonly __input?: Input;
+}
+export interface WithinSlotReduction<Input, Value> {
+    readonly kind: "within-slot-reduction";
+    readonly [withinSlotReductionTypeId]: (_: Value) => Value;
+    readonly __input?: Input;
+}
+export interface AcrossSlotsReduction<Input, Value> {
+    readonly kind: "across-slots-reduction";
+    readonly [acrossSlotsReductionTypeId]: (_: Value) => Value;
+    readonly __input?: Input;
+}
+export interface Denominator<Member> {
+    readonly kind: "denominator";
+    readonly [denominatorTypeId]: (_: Member) => Member;
+}
+export interface MissingPolicy {
+    readonly kind: "missing-policy";
+    readonly [missingPolicyTypeId]: true;
+}
+export interface EvidencePolicy {
+    readonly kind: "evidence-policy";
+    readonly [evidencePolicyTypeId]: true;
+}
+export interface ProducerPolicy {
+    readonly kind: "producer-policy";
+    readonly [producerPolicyTypeId]: true;
+}
+export interface Measure<Member, Value> {
+    readonly kind: "measure";
+    readonly id: string;
+    readonly population: Population<Member>;
+    readonly unit?: string;
+    readonly format?: MeasureFormat;
+    readonly better?: "higher" | "lower" | "neutral";
+    readonly [measureTypeId]: (_: Value) => Value;
+}
+export interface MeasureOptions<Member, Input, AttemptValue, SlotValue, Value> {
+    readonly id: string;
+    readonly population: Population<Member>;
+    readonly input: AnalysisInput<Member, Input>;
+    readonly withinAttempt: WithinAttemptReduction<Input, AttemptValue>;
+    readonly withinSlot: WithinSlotReduction<AttemptValue, SlotValue>;
+    readonly acrossSlots: AcrossSlotsReduction<SlotValue, Value>;
+    readonly denominator: Denominator<Member>;
+    readonly missing: MissingPolicy;
+    readonly evidence: EvidencePolicy;
+    readonly producers?: ProducerPolicy;
+    readonly unit?: string;
+    readonly format?: MeasureFormat;
+    readonly better?: "higher" | "lower" | "neutral";
+}
+export interface AnalysisDefinitionError extends Error {
+    readonly code: "analysis-definition-invalid";
+}
+type PopulationMembersState<Member> = {
+    readonly enumerate: (sample: Sample) => Effect.Effect<readonly Member[], SampleClosedError>;
+    readonly key: (member: Member) => string;
+};
+type AnalysisInputState<Member, Input> = {
+    readonly read: (sample: Sample, member: Member) => Effect.Effect<SampleInputObservation<Input>, SampleClosedError>;
+};
+type DimensionState<Member, Value extends DimensionValue> = {
+    readonly value: (member: Member) => Value;
+};
+type RelationState<From, To> = {
+    readonly match: (member: From) => RelationTarget<To> | null;
+};
+export type ReductionKind = "one-value" | "sum" | "latest-completed-attempt" | "mean" | "ratio";
+type ReductionState = {
+    readonly kind: ReductionKind;
+};
+type DenominatorState<Member> = {
+    readonly members: (values: readonly Member[]) => readonly Member[];
+    readonly basis: MetricBasis;
+};
+type MeasureState<Member, Input, AttemptValue, SlotValue, Value> = {
+    readonly input: AnalysisInput<Member, Input>;
+    readonly withinAttempt: WithinAttemptReduction<Input, AttemptValue>;
+    readonly withinSlot: WithinSlotReduction<AttemptValue, SlotValue>;
+    readonly acrossSlots: AcrossSlotsReduction<SlotValue, Value>;
+    readonly denominator: Denominator<Member>;
+    readonly missing: MissingPolicy;
+    readonly evidence: EvidencePolicy;
+    readonly producers?: ProducerPolicy;
+};
+/** @internal Host/catalog-only constructor; intentionally not re-exported by index. */
+export declare function createPopulationMembers<Member>(input: {
+    readonly id: string;
+    readonly enumerate: (sample: Sample) => Effect.Effect<readonly Member[], SampleClosedError>;
+    readonly key: (member: Member) => string;
+}): PopulationMembers<Member>;
+export declare function definePopulation<Member>(options: {
+    readonly id: string;
+    readonly members: PopulationMembers<Member>;
+}): Population<Member>;
+export declare function defineDimension<Member, Value extends DimensionValue>(options: {
+    readonly id: string;
+    readonly population: Population<Member>;
+    readonly value: (member: Member) => Value;
+}): Dimension<Member, Value>;
+export declare function defineRelation<From, To>(options: {
+    readonly id: string;
+    readonly from: Population<From>;
+    readonly to: Population<To>;
+    readonly cardinality: "one-to-one" | "many-to-one";
+    readonly match: (member: From) => RelationTarget<To> | null;
+}): Relation<From, To>;
+export declare function defineMeasure<Member, Input, AttemptValue, SlotValue, Value>(options: MeasureOptions<Member, Input, AttemptValue, SlotValue, Value>): Measure<Member, Value>;
+export declare function oneValue<Value>(): WithinAttemptReduction<Value, Value>;
+export declare function sum(): WithinAttemptReduction<number, number>;
+export declare function latestCompletedAttempt<Value>(): WithinSlotReduction<Value, Value>;
+export declare function mean(): AcrossSlotsReduction<number, number>;
+/** Sums numeric values across the fixed logical-Slot denominator. */
+export declare function sumAcrossSlots(): AcrossSlotsReduction<number, number>;
+export declare function ratio(): AcrossSlotsReduction<boolean, number>;
+export declare function allLogicalSlots<Member = LogicalSlot>(): Denominator<Member>;
+export declare function partial(): MissingPolicy;
+export declare function retainContributingEvidence(): EvidencePolicy;
+export declare function requireSameProducer(): ProducerPolicy;
+/** NiceEval v1 catalog membership. It is exhaustive over currently selected slots. */
+export declare const logicalSlotMembers: PopulationMembers<LogicalSlot>;
+/** The catalog population is useful to built-in inputs; applications may define their own id. */
+export declare const logicalSlots: Population<LogicalSlot>;
+export declare const attemptPassed: AnalysisInput<LogicalSlot, boolean>;
+export declare const attemptLatencyMs: AnalysisInput<LogicalSlot, number>;
+/** Recorded input plus output tokens for one selected logical Slot. */
+export declare const attemptTokens: AnalysisInput<LogicalSlot, number>;
+export declare const attemptToolFailure: AnalysisInput<LogicalSlot, boolean>;
+/**
+ * @internal A published specialized Measure whose execution is owned by a
+ * dedicated Analysis evaluator rather than the generic input/reduction path.
+ */
+export declare function createOpaqueMeasure<Member, Value>(input: {
+    readonly id: string;
+    readonly population: Population<Member>;
+    readonly unit?: string;
+    readonly format?: MeasureFormat;
+    readonly better?: "higher" | "lower" | "neutral";
+}): Measure<Member, Value>;
+/** @internal Query executor accessors. None is re-exported by niceeval/analysis. */
+export declare function populationMembersState<Member>(value: PopulationMembers<Member>): PopulationMembersState<Member>;
+export declare function populationIdentity<Member>(value: Population<Member>): PopulationIdentity;
+export declare function analysisInputState<Member, Input>(value: AnalysisInput<Member, Input>): AnalysisInputState<Member, Input>;
+export declare function dimensionState<Member, Value extends DimensionValue>(value: Dimension<Member, Value>): DimensionState<Member, Value>;
+export declare function relationState<From, To>(value: Relation<From, To>): RelationState<From, To>;
+export declare function registeredRelations(): readonly Relation<unknown, unknown>[];
+export declare function reductionState(value: object): ReductionState;
+export declare function denominatorState<Member>(value: Denominator<Member>): DenominatorState<Member>;
+export declare function measureState<Member, Input, AttemptValue, SlotValue, Value>(value: Measure<Member, Value>): MeasureState<Member, Input, AttemptValue, SlotValue, Value>;
+export declare function producerPolicyIsRequired(value: ProducerPolicy | undefined): boolean;
+export declare function producerIdentity(id: string): ProducerIdentity;
+export {};