@tangle-network/agent-eval 0.200.1 → 0.201.0

package/dist/experiment/index.d.ts

@@ -9,7 +9,7 @@ import { A as classifyReissue, B as evaluateProvenanceGate, C as ReissuePolicy,
 import { z } from "zod";
 //#region src/experiment/budget.d.ts
 /** Arms whose realized budgets diverge past the registered tolerance. */
-declare class MatchedBudgetError extends CaptureIntegrityError {}
+export declare class MatchedBudgetError extends CaptureIntegrityError {}
 interface ArmRealizedBudget {
   armId: string;
   /** Realized prompt + completion tokens the arm actually consumed. */
@@ -34,13 +34,13 @@ interface MatchedBudgetVerdict {
  * least two arms — a single arm has nothing to match against. Negative or
  * non-finite token counts are refused as evidence corruption, not compared.
  */
-declare function verifyMatchedBudgets(rule: MatchedBudgetRule, arms: readonly ArmRealizedBudget[]): MatchedBudgetVerdict;
+export declare function verifyMatchedBudgets(rule: MatchedBudgetRule, arms: readonly ArmRealizedBudget[]): MatchedBudgetVerdict;
 /** Throw the refusal for callers that gate the contrast on it. */
-declare function assertMatchedBudgets(rule: MatchedBudgetRule, arms: readonly ArmRealizedBudget[]): MatchedBudgetVerdict;
+export declare function assertMatchedBudgets(rule: MatchedBudgetRule, arms: readonly ArmRealizedBudget[]): MatchedBudgetVerdict;
 //#endregion
 //#region src/experiment/funnel.d.ts
 /** A funnel stage gained rows, double-counted them, or failed to reconcile. */
-declare class FunnelIntegrityError extends CaptureIntegrityError {}
+export declare class FunnelIntegrityError extends CaptureIntegrityError {}
 interface FunnelStageCount {
   id: string;
   entering: number;
@@ -82,7 +82,7 @@ interface FunnelStageInput {
  * not sum to the stage total, and a partition drawing from an unknown stage
  * or exceeding what that stage excluded.
  */
-declare function buildFunnel(input: {
+export declare function buildFunnel(input: {
   population: string;
   input: number;
   stages: FunnelStageInput[];
@@ -93,7 +93,7 @@ declare function buildFunnel(input: {
   }[];
 }): ExperimentFunnel;
 /** A chain that does not add up is a broken denominator, so this throws. */
-declare function assertFunnelReconciles(funnel: ExperimentFunnel): void;
+export declare function assertFunnelReconciles(funnel: ExperimentFunnel): void;
 interface AdmissionExecution {
   funnel: ExperimentFunnel;
   survivors: EvidenceRecord[];
@@ -106,23 +106,23 @@ interface AdmissionExecution {
  * dropped. The result embeds the funnel, so the denominator chain and the
  * surviving rows can never disagree.
  */
-declare function executeAdmissionRule(rule: AdmissionRule, records: readonly EvidenceRecord[]): AdmissionExecution;
+export declare function executeAdmissionRule(rule: AdmissionRule, records: readonly EvidenceRecord[]): AdmissionExecution;
 /**
  * Chain two funnels whose boundary agrees: the second funnel's input must be
  * exactly the first funnel's survivors. Anything else is a gap or an
  * injection, and both are refused.
  */
-declare function composeFunnels(first: ExperimentFunnel, second: ExperimentFunnel): ExperimentFunnel;
+export declare function composeFunnels(first: ExperimentFunnel, second: ExperimentFunnel): ExperimentFunnel;
 /**
  * Text render of the chain. One row per stage; the reconciliation line at the
  * bottom restates `input = surviving + excluded` so a reader can check the
  * arithmetic without a tool.
  */
-declare function renderFunnelTable(funnel: ExperimentFunnel): string;
+export declare function renderFunnelTable(funnel: ExperimentFunnel): string;
 //#endregion
 //#region src/experiment/define.d.ts
 /** A sealed experiment whose digest no longer matches its spec. */
-declare class SealIntegrityError extends ValidationError {}
+export declare class SealIntegrityError extends ValidationError {}
 interface ArmSpec {
   id: string;
   role: 'treatment' | 'control';
@@ -192,7 +192,7 @@ interface ExperimentSpec {
  * registered gates; a filter-of base must resolve to a registered selection
  * or sealed subset. Anything else is refused here, before sealing.
  */
-declare function defineExperiment(spec: ExperimentSpec): ExperimentSpec;
+export declare function defineExperiment(spec: ExperimentSpec): ExperimentSpec;
 interface SealAmendment {
   /** ISO8601 timestamp of the re-seal. */
   at: string;
@@ -216,7 +216,7 @@ interface SealedExperiment {
   amendments: SealAmendment[];
 }
 /** Validate, canonicalize, and hash a spec into its registration. */
-declare function sealExperiment(spec: ExperimentSpec, options?: {
+export declare function sealExperiment(spec: ExperimentSpec, options?: {
   sealedAt?: string;
 }): Promise<SealedExperiment>;
 /**
@@ -224,14 +224,14 @@ declare function sealExperiment(spec: ExperimentSpec, options?: {
  * is validated and re-hashed, and the amendment appends to the digest chain.
  * There is no way to change what is decided without producing a new digest.
  */
-declare function amendExperiment(sealed: SealedExperiment, amendment: {
+export declare function amendExperiment(sealed: SealedExperiment, amendment: {
   spec: ExperimentSpec;
   reason: string;
   blind: string[];
   at?: string;
 }): Promise<SealedExperiment>;
 /** True when the supported seal matches its canonical spec. */
-declare function verifySealedExperiment(sealed: SealedExperiment): Promise<boolean>;
+export declare function verifySealedExperiment(sealed: SealedExperiment): Promise<boolean>;
 /** Evidence a gate executor consumes, discriminated to match the gate kind. */
 type GateEvidence = {
   kind: 'oracle-determinism';
@@ -303,7 +303,7 @@ interface RegisteredExperiment {
  * execution surface: a rule that is not in the sealed spec cannot run, and a
  * rule that is cannot run differently.
  */
-declare function openSealedExperiment(sealed: SealedExperiment): Promise<RegisteredExperiment>;
+export declare function openSealedExperiment(sealed: SealedExperiment): Promise<RegisteredExperiment>;
 //#endregion
 //#region src/experiment/evidence-record.d.ts
 /**
@@ -318,7 +318,7 @@ declare function openSealedExperiment(sealed: SealedExperiment): Promise<Registe
  *   run. Admitting this state is what keeps folklore out of the other four.
  * - `KILLED` — refuted, invalidated, or superseded by a stronger record.
  */
-declare const EVIDENCE_STATES: readonly ['CERTIFIED', 'MEASURED-ONCE', 'RESOLVED-NULL', 'UNVERIFIED', 'KILLED'];
+export declare const EVIDENCE_STATES: readonly ['CERTIFIED', 'MEASURED-ONCE', 'RESOLVED-NULL', 'UNVERIFIED', 'KILLED'];
 type EvidenceState = (typeof EVIDENCE_STATES)[number];
 /** Denominator of the measurement. A claim without an `n` is prose, not evidence. */
 declare const evidenceDenominatorSchema: z.ZodObject<{
@@ -327,7 +327,7 @@ declare const evidenceDenominatorSchema: z.ZodObject<{
   detail: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
 type EvidenceDenominator = z.infer<typeof evidenceDenominatorSchema>;
-declare const evidenceRegistryRecordSchema: z.ZodObject<{
+export declare const evidenceRegistryRecordSchema: z.ZodObject<{
   id: z.ZodString;
   date: z.ZodString;
   claim: z.ZodString;
@@ -358,23 +358,23 @@ declare const evidenceRegistryRecordSchema: z.ZodObject<{
 }, z.core.$strict>;
 type EvidenceRegistryRecord = z.infer<typeof evidenceRegistryRecordSchema>;
 /** Parse one record; throws with the zod issue list on any violation. */
-declare function parseEvidenceRegistryRecord(raw: unknown): EvidenceRegistryRecord;
+export declare function parseEvidenceRegistryRecord(raw: unknown): EvidenceRegistryRecord;
 /**
  * Validate a set of records as one registry: every record parses, ids are
  * unique, and every `supersedes` target exists. Returns records sorted in
  * the registry's canonical order (trust ladder, then date desc, then id).
  */
-declare function validateEvidenceRegistry(raws: readonly unknown[]): EvidenceRegistryRecord[];
+export declare function validateEvidenceRegistry(raws: readonly unknown[]): EvidenceRegistryRecord[];
 /**
  * Render the registry's human index from records. Deterministic: identical
  * records always produce identical output, so a byte diff against the
  * committed index is the freshness check. No clocks, no environment.
  */
-declare function renderEvidenceIndex(raws: readonly unknown[]): string;
+export declare function renderEvidenceIndex(raws: readonly unknown[]): string;
 //#endregion
 //#region src/experiment/power.d.ts
 /** A design refused at configuration time, before any spend. */
-declare class DesignRefusalError extends ValidationError {}
+export declare class DesignRefusalError extends ValidationError {}
 interface ClusteredPowerOptions {
   /** Rows per independent cluster, e.g. [6, 3, 3, 2]. */
   clusterSizes: number[];
@@ -452,9 +452,9 @@ interface ClusteredPowerResult {
  * Simulate the power of a whole-cluster percentile-bootstrap design and refuse
  * a structure that cannot reach target power at the declared minimum effect.
  */
-declare function clusteredPower(options: ClusteredPowerOptions): ClusteredPowerResult;
+export declare function clusteredPower(options: ClusteredPowerOptions): ClusteredPowerResult;
 /** Throw the refusal for callers that want configuration-time failure. */
-declare function assertDesignAdequate(result: ClusteredPowerResult): void;
+export declare function assertDesignAdequate(result: ClusteredPowerResult): void;
 //#endregion
 //#region src/experiment/randomized-canary.d.ts
 /** Fixed-horizon, assignment-level decision for an unpaired served canary. */
@@ -602,13 +602,13 @@ interface RandomizedCanaryDecision {
   successCriterionMet: boolean;
 }
 /** Digest only assignment facts, so outcome and cost cannot change the roster. */
-declare function randomizedCanaryRosterDigest(rows: readonly CanaryAssignmentReceipt[]): string;
+export declare function randomizedCanaryRosterDigest(rows: readonly CanaryAssignmentReceipt[]): string;
 /** Commit to the one complete checked-outcome, trace, turn, and billing snapshot. */
-declare function randomizedCanaryObservationDigest(rows: readonly CanaryObservation[]): string;
+export declare function randomizedCanaryObservationDigest(rows: readonly CanaryObservation[]): string;
 /** Seal the fixed decision controls; retaining this digest alone cannot prove preregistration time. */
-declare function sealRandomizedCanaryRule(rule: RandomizedCanaryRule): SealedRandomizedCanaryRule;
+export declare function sealRandomizedCanaryRule(rule: RandomizedCanaryRule): SealedRandomizedCanaryRule;
 /** Apply one registered analysis to the entire frozen assignment roster. */
-declare function decideRandomizedCanary(sealed: SealedRandomizedCanaryRule, cohort: CanaryCohortReceipt, rows: readonly CanaryObservation[], verifyCohort: CanaryCohortVerifier): RandomizedCanaryDecision;
+export declare function decideRandomizedCanary(sealed: SealedRandomizedCanaryRule, cohort: CanaryCohortReceipt, rows: readonly CanaryObservation[], verifyCohort: CanaryCohortVerifier): RandomizedCanaryDecision;
 //#endregion
 //#region src/experiment/prospective-canary-join.d.ts
 /** Host-ledger assignment written when an eligible request is routed. */
@@ -662,7 +662,7 @@ interface ProspectiveCanaryJoinInput {
  * The host still verifies ledger completeness, source authority, isolation,
  * randomization and the pre-traffic witness in `decideRandomizedCanary`.
  */
-declare function joinProspectiveCanaryReceipts(input: ProspectiveCanaryJoinInput): CanaryObservation[];
+export declare function joinProspectiveCanaryReceipts(input: ProspectiveCanaryJoinInput): CanaryObservation[];
 //#endregion
-export { type AdmissionExecution, type AdmissionPartition, type AdmissionRule, type AdmissionStage, type ArmRealizedBudget, type ArmSpec, BOOTSTRAP_GATE_MIN_N, type BudgetRule, type CampaignEvidenceContext, type CanaryArm, type CanaryAssignmentReceipt, type CanaryCohortReceipt, type CanaryCohortVerifier, type CanaryObservation, type CanaryRefusal, type ClusteredPowerOptions, type ClusteredPowerPoint, type ClusteredPowerRefusal, type ClusteredPowerResult, type ComputedInterval, type Condition, type CreateEvidenceReceiptInput, type DecisionBranch, type DecisionOutcome, type DecisionRule, type DerivedQuantities, DesignRefusalError, type EProcess, type EProcessOptions, type EProcessState, type EProcessStep, EVIDENCE_AUTHORITY_KINDS, EVIDENCE_RECEIPT_VERSION, EVIDENCE_STATES, type Estimand, type EstimandResult, type EvaluationClaim, type EvaluationUnitSummary, type EvidenceAuthority, type EvidenceAuthorityKind, type EvidenceBinding, type EvidenceDenominator, type EvidenceReceipt, type EvidenceReceiptVerification, type EvidenceRecord, type EvidenceRegistryRecord, type EvidenceState, type EvidenceVector, type ExperimentFunnel, type ExperimentSpec, FinalEvidenceConflictError, FinalEvidenceError, type FinalEvidenceLedger, type FinalEvidenceMeasurement, type FinalEvidenceOutcome, type FinalEvidenceRecord, type FinalEvidenceReservation, FunnelIntegrityError, type FunnelPartitionCount, type FunnelStageCount, type FunnelStageInput, type GateEvidence, type GateResult, type HaltOutcome, type HaltRule, type HeldoutSignificance, type HeldoutSignificanceOptions, type HypothesisManifest, type HypothesisResult, INDEPENDENT_EVIDENCE_AUTHORITY_KINDS, type IntervalSpec, type JsonValue, MatchedBudgetError, type MatchedBudgetRule, type MatchedBudgetVerdict, type MatchedPair, type NLadderProjection, type Obligation, type OutcomeSpec, type PairArmsOptions, type PairArmsResult, type PairedArmRow, type PairedBootstrapOptions, type PairedBootstrapResult, type PairedEvalueOptions, type PairedEvalueSequence, type PairedEvalueStep, type PairedHoldout, type PowerPreflight, type PowerPreflightOptions, type Predicate, type PromotionPolicy, type ProportionInterval, type ProspectiveCanaryAssignment, type ProspectiveCanaryBilling, type ProspectiveCanaryExecution, type ProspectiveCanaryJoinInput, type ProspectiveCanaryOutcome, type RandomizedCanaryDecision, type RandomizedCanaryRule, type RegisteredExperiment, type ReissuePolicy, type ReissueVerdict, type SealAmendment, SealIntegrityError, type SealedExperiment, type SealedRandomizedCanaryRule, type SeedDerivation, type SelectionRule, type SequentialCrossingHorizon, type SequentialCrossingHorizonOptions, type SequentialDecision, type SequentialObservation, type SequentialPairedGate, type SequentialPairedGateOptions, type SetExpr, type SignFlipFloor, type SignedManifest, type SignedManifestAlgo, type UniformPassDecision, type UniformPassSchedule, type ValidityGate, amendExperiment, assertDesignAdequate, assertFunnelReconciles, assertMatchedBudgets, benjaminiHochberg, bonferroni, buildEvidenceVector, buildFunnel, classifyReissue, clusteredPower, comparePairedArms, composeFunnels, computeEstimand, computeInterval, createCampaignEvidenceReceipt, createEvidenceReceipt, decideRandomizedCanary, defineEvaluationClaim, defineExperiment, eProcess, evaluateCondition, evaluateHaltRule, evaluateHypothesis, evaluateIdentityGate, evaluateOracleDeterminismGate, evaluatePopulationReproducibilityGate, evaluatePowerFloorGate, evaluatePredicate, evaluateProvenanceGate, evidenceRegistryRecordSchema, executeAdmissionRule, executeDecisionRule, hashJson, heldoutSignificance, holm, isIndependentEvidence, joinProspectiveCanaryReceipts, manifestContentDigest, mcnemar, mcnemarPower, mcnemarRequiredN, mulberry32, openFinalEvidenceLedger, openSealedExperiment, pairArms, pairHoldout, pairRunRecords, pairedBootstrap, pairedEvalueSequence, pairedMde, pairedRiskDifference, pairedRiskDifferenceExact, pairedRiskDifferenceScore, paretoPolicy, paretoSignificanceGate, parseEvidenceRegistryRecord, powerPreflight, projectNLadderBudget, randomizedCanaryObservationDigest, randomizedCanaryRosterDigest, readField, renderEvidenceIndex, renderFunnelTable, requiredPairedSampleSize, requiredSampleSize, runSelectionRule, runUniformPassBudget, sealExperiment, sealRandomizedCanaryRule, sequentialCrossingHorizon, sequentialDecide, sequentialPairedGate, signManifest, summarizeEvaluationUnits, validateEvidenceRegistry, verifyEvidenceReceipt, verifyManifest, verifyMatchedBudgets, verifySealedExperiment, wilson };
+export { type AdmissionExecution, type AdmissionPartition, type AdmissionRule, type AdmissionStage, type ArmRealizedBudget, type ArmSpec, BOOTSTRAP_GATE_MIN_N, type BudgetRule, type CampaignEvidenceContext, type CanaryArm, type CanaryAssignmentReceipt, type CanaryCohortReceipt, type CanaryCohortVerifier, type CanaryObservation, type CanaryRefusal, type ClusteredPowerOptions, type ClusteredPowerPoint, type ClusteredPowerRefusal, type ClusteredPowerResult, type ComputedInterval, type Condition, type CreateEvidenceReceiptInput, type DecisionBranch, type DecisionOutcome, type DecisionRule, type DerivedQuantities, type EProcess, type EProcessOptions, type EProcessState, type EProcessStep, EVIDENCE_AUTHORITY_KINDS, EVIDENCE_RECEIPT_VERSION, type Estimand, type EstimandResult, type EvaluationClaim, type EvaluationUnitSummary, type EvidenceAuthority, type EvidenceAuthorityKind, type EvidenceBinding, type EvidenceDenominator, type EvidenceReceipt, type EvidenceReceiptVerification, type EvidenceRecord, type EvidenceRegistryRecord, type EvidenceState, type EvidenceVector, type ExperimentFunnel, type ExperimentSpec, FinalEvidenceConflictError, FinalEvidenceError, type FinalEvidenceLedger, type FinalEvidenceMeasurement, type FinalEvidenceOutcome, type FinalEvidenceRecord, type FinalEvidenceReservation, type FunnelPartitionCount, type FunnelStageCount, type FunnelStageInput, type GateEvidence, type GateResult, type HaltOutcome, type HaltRule, type HeldoutSignificance, type HeldoutSignificanceOptions, type HypothesisManifest, type HypothesisResult, INDEPENDENT_EVIDENCE_AUTHORITY_KINDS, type IntervalSpec, type JsonValue, type MatchedBudgetRule, type MatchedBudgetVerdict, type MatchedPair, type NLadderProjection, type Obligation, type OutcomeSpec, type PairArmsOptions, type PairArmsResult, type PairedArmRow, type PairedBootstrapOptions, type PairedBootstrapResult, type PairedEvalueOptions, type PairedEvalueSequence, type PairedEvalueStep, type PairedHoldout, type PowerPreflight, type PowerPreflightOptions, type Predicate, type PromotionPolicy, type ProportionInterval, type ProspectiveCanaryAssignment, type ProspectiveCanaryBilling, type ProspectiveCanaryExecution, type ProspectiveCanaryJoinInput, type ProspectiveCanaryOutcome, type RandomizedCanaryDecision, type RandomizedCanaryRule, type RegisteredExperiment, type ReissuePolicy, type ReissueVerdict, type SealAmendment, type SealedExperiment, type SealedRandomizedCanaryRule, type SeedDerivation, type SelectionRule, type SequentialCrossingHorizon, type SequentialCrossingHorizonOptions, type SequentialDecision, type SequentialObservation, type SequentialPairedGate, type SequentialPairedGateOptions, type SetExpr, type SignFlipFloor, type SignedManifest, type SignedManifestAlgo, type UniformPassDecision, type UniformPassSchedule, type ValidityGate, benjaminiHochberg, bonferroni, buildEvidenceVector, classifyReissue, comparePairedArms, computeEstimand, computeInterval, createCampaignEvidenceReceipt, createEvidenceReceipt, defineEvaluationClaim, eProcess, evaluateCondition, evaluateHaltRule, evaluateHypothesis, evaluateIdentityGate, evaluateOracleDeterminismGate, evaluatePopulationReproducibilityGate, evaluatePowerFloorGate, evaluatePredicate, evaluateProvenanceGate, executeDecisionRule, hashJson, heldoutSignificance, holm, isIndependentEvidence, manifestContentDigest, mcnemar, mcnemarPower, mcnemarRequiredN, mulberry32, openFinalEvidenceLedger, pairArms, pairHoldout, pairRunRecords, pairedBootstrap, pairedEvalueSequence, pairedMde, pairedRiskDifference, pairedRiskDifferenceExact, pairedRiskDifferenceScore, paretoPolicy, paretoSignificanceGate, powerPreflight, projectNLadderBudget, readField, requiredPairedSampleSize, requiredSampleSize, runSelectionRule, runUniformPassBudget, sequentialCrossingHorizon, sequentialDecide, sequentialPairedGate, signManifest, summarizeEvaluationUnits, verifyEvidenceReceipt, verifyManifest, wilson };
 //# sourceMappingURL=index.d.ts.map

package/dist/experiment/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","names":[],"sources":["../../src/experiment/budget.ts","../../src/experiment/funnel.ts","../../src/experiment/define.ts","../../src/experiment/evidence-record.ts","../../src/experiment/power.ts","../../src/experiment/randomized-canary.ts","../../src/experiment/prospective-canary-join.ts"],"mappings":";;;;;;;;;;;cAaa,2BAA2B;UAEvB;EACf;;EAEA;;UAGe;EACf,MAAM;EACN,MAAM;;EAEN;;EAEA;EACA;;EAEA;IAAkB;IAA2B;;;;;;;;iBAQ/B,qBACd,MAAM,mBACN,eAAe,sBACd;;iBAsCa,qBACd,MAAM,mBACN,eAAe,sBACd;;;;cC/DU,6BAA6B;UAEzB;EACf;EACA;EACA;EACA;;EAEA,aAAa;;EAEb;;UAGe;EACf;;EAEA;EACA;;EAEA;;UAGe;EACf;EACA;EACA,QAAQ;EACR;EACA,YAAY;;UAGG;EACf;;EAEA;EACA,aAAa;EACb;;;;;;;;;;;iBAYc,YAAY;EAC1B;EACA;EACA,QAAQ;EACR;IAAe;IAAY;IAAc;;IACvC;;iBAsEY,uBAAuB,QAAQ;UAwB9B;EACf,QAAQ;EACR,WAAW;;EAEX,eAAe,eAAe;;;;;;;;iBAShB,qBACd,MAAM,eACN,kBAAkB,mBACjB;;;;;;iBA8Ca,eACd,OAAO,kBACP,QAAQ,mBACP;;;;;;iBA4Ba,kBAAkB,QAAQ;;;;cC/L7B,2BAA2B;UAIvB;EACf;EACA;;EAEA;;EAEA;;EAEA,OAAO,eAAe;;KAGZ;EAEN;;EAEA;EACA;;EAEA;;EAEA;;EAGA;EACA;EACA;EACA;;;;;;UAOW;EACf;;UAGe;EACf;;EAEA,QAAQ;;EAER;EACA,MAAM;EACN,SAAS;EACT,YAAY;;EAEZ,aAAa,eAAe;;;;;EAK5B,gBAAgB;EAChB,YAAY,eAAe;EAC3B,YAAY,eAAe;EAC3B,UAAU;EACV,cAAc;;EAEd,QAAQ,eAAe;EACvB,OAAO;EACP,SAAS;EACT,gBAAgB;EAChB,UAAU;EACV,iBAAiB;EACjB;;;;;;;;;;iBAwCc,iBAAiB,MAAM,iBAAiB;UA0IvC;;EAEf;EACA;;EAEA;;EAEA;;;KAIU;UAEK;EACf,MAAM;;EAEN;;EAEA,MAAM;EACN;;EAEA;EACA,YAAY;;;iBAIQ,eACpB,MAAM,gBACN;EAAW;IACV,QAAQ;;;;;;iBAkBW,gBACpB,QAAQ,kBACR;EAAa,MAAM;EAAgB;EAAgB;EAAiB;IACnE,QAAQ;;iBAyBW,uBAAuB,QAAQ,mBAAmB;;KAwB5D;EACN;EAA4B,aAAa;;EAEzC;EACA,eAAe;EACf,gBAAgB;;EAEhB;EAA8B,YAAY;;EAC1C;EAAkB;EAAgB;;EAClC;EAAqB;IAAkB;IAAgB;;;;;;;UAM5C;WACN,QAAQ;;EAEjB,MAAM,kBAAkB,mBAAmB;;EAE3C,OAAO,UAAU,oBAAoB;;EAErC,MAAM,kBAAkB,mBAAmB;;EAE3C,OAAO,cAAc,kBAAkB,kBAAkB;IAAW;;;EAEpE,KAAK,cAAc,UAAU,eAAe;;EAE5C,KAAK,gBAAgB,eAAe;;EAEpC,qBAAqB,uCAAuC;;EAE5D,qBAAqB;IAAY;IAAqB;MAAiB;;EAEvE,eAAe,eAAe,sBAAsB;;EAEpD,SAAS,cAAc,eAAe,mBAAmB;;EAEzD,SACE,cACA;IACM;IAAc,eAAe;;IAC7B;IAAkB;IAAmB;IAAgB;MAC1D;IAAqB,QAAQ;;;;;;;;iBAQZ,qBACpB,QAAQ,mBACP,QAAQ;;;;;;;;;;;;;;;cC5aE;KAQD,wBAAwB;;cAO9B,2BAAyB,EAAA;;;;GAM7B,EAAA,KAAA;KAEU,sBAAsB,EAAE,aAAa;cAEpC,8BAA4B,EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCvC,EAAA,KAAA;KAEU,yBAAyB,EAAE,aAAa;;iBAGpC,4BAA4B,eAAe;;;;;;iBAW3C,yBAAyB,2BAA2B;;;;;;iBA4CpD,oBAAoB;;;;cCpIvB,2BAA2B;UAEvB;;EAEf;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;;;;;;EAMA;IAAkB;IAAe;;;UAGlB;EACf;EACA;EACA;;UAGe;;EAEf;;EAEA;EACA;;EAEA;;EAEA;;UAGe;EACf;EACA;EACA;;UAGe;EACf;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA,OAAO;;EAEP;EACA,eAAe;;EAEf;;EAEA,SAAS;;;;;;iBAOK,eAAe,SAAS,wBAAwB;;iBAgKhD,qBAAqB,QAAQ;;;;KCvQjC;;UAGK;EACf;EACA;EACA;EACA,KAAK;;UAGU,0BAA0B;;EAEzC;EACA;;EAEA;EACA;;EAEA;;EAEA;;EAEA;EACA;EACA;EACA;;;UAIe;EACf;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;;EAEA;EACA;EACA;EACA;EACA;;EAEA;EACA;;EAEA;;EAEA;;EAEA;;EAEA;;;UAIe;EACf;EACA;EACA;EACA;EACA;EACA;EACA;EACA;;EAEA;EACA;EACA;EACA;EACA;;;KAIU,wBACV,SAAS,qBACT,UAAU;EAGN;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;;EAEA;EAAiB;;UAEN;EACf,MAAM;EACN;EACA;;KAGU;UASK;EACf;EACA;EACA;EACA;EACA;;EAEA;;EAEA;EACA;EACA;EACA;EACA;EACA;EACA;EACA,UAAU,OACR;IAEE;IACA;IACA;IACA;;EAGJ;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;IAAqB;IAAa;;EAClC;EACA;IAA0B;IAAa;;EACvC;;EAEA;EACA;EACA;EACA;EACA;EACA,SAAS;;EAET;;;iBAwBc,6BAA6B,eAAe;;iBA6B5C,kCAAkC,eAAe;;iBAiFjD,yBAAyB,MAAM,uBAAuB;;iBAOtD,uBACd,QAAQ,4BACR,QAAQ,qBACR,eAAe,qBACf,cAAc,uBACb;;;;UC3Sc,oCAAoC;EACnD;EACA;;;UAIe;EACf;EACA;EACA;EACA;EACA;;;UAIe;EACf;EACA;EACA;EACA;EACA;EACA;EACA;EACA;;;UAIe;EACf;EACA;EACA;EACA;EACA;EACA;;UAGe;;EAEf;EACA,QAAQ;;EAER;;EAEA;EACA,sBAAsB;EACtB,mBAAmB;EACnB,qBAAqB;EACrB,kBAAkB;;;;;;;iBA4DJ,8BACd,OAAO,6BACN"}
+{"version":3,"file":"index.d.ts","names":[],"sources":["../../src/experiment/budget.ts","../../src/experiment/funnel.ts","../../src/experiment/define.ts","../../src/experiment/evidence-record.ts","../../src/experiment/power.ts","../../src/experiment/randomized-canary.ts","../../src/experiment/prospective-canary-join.ts"],"mappings":";;;;;;;;;;;qBAaa,2BAA2B;UAEvB;EACf;;EAEA;;UAGe;EACf,MAAM;EACN,MAAM;;EAEN;;EAEA;EACA;;EAEA;IAAkB;IAA2B;;;;;;;;wBAQ/B,qBACd,MAAM,mBACN,eAAe,sBACd;;wBAsCa,qBACd,MAAM,mBACN,eAAe,sBACd;;;;qBC/DU,6BAA6B;UAEzB;EACf;EACA;EACA;EACA;;EAEA,aAAa;;EAEb;;UAGe;EACf;;EAEA;EACA;;EAEA;;UAGe;EACf;EACA;EACA,QAAQ;EACR;EACA,YAAY;;UAGG;EACf;;EAEA;EACA,aAAa;EACb;;;;;;;;;;;wBAYc,YAAY;EAC1B;EACA;EACA,QAAQ;EACR;IAAe;IAAY;IAAc;;IACvC;;wBAsEY,uBAAuB,QAAQ;UAwB9B;EACf,QAAQ;EACR,WAAW;;EAEX,eAAe,eAAe;;;;;;;;wBAShB,qBACd,MAAM,eACN,kBAAkB,mBACjB;;;;;;wBA8Ca,eACd,OAAO,kBACP,QAAQ,mBACP;;;;;;wBA4Ba,kBAAkB,QAAQ;;;;qBC/L7B,2BAA2B;UAIvB;EACf;EACA;;EAEA;;EAEA;;EAEA,OAAO,eAAe;;KAGZ;EAEN;;EAEA;EACA;;EAEA;;EAEA;;EAGA;EACA;EACA;EACA;;;;;;UAOW;EACf;;UAGe;EACf;;EAEA,QAAQ;;EAER;EACA,MAAM;EACN,SAAS;EACT,YAAY;;EAEZ,aAAa,eAAe;;;;;EAK5B,gBAAgB;EAChB,YAAY,eAAe;EAC3B,YAAY,eAAe;EAC3B,UAAU;EACV,cAAc;;EAEd,QAAQ,eAAe;EACvB,OAAO;EACP,SAAS;EACT,gBAAgB;EAChB,UAAU;EACV,iBAAiB;EACjB;;;;;;;;;;wBAwCc,iBAAiB,MAAM,iBAAiB;UA0IvC;;EAEf;EACA;;EAEA;;EAEA;;;KAIU;UAEK;EACf,MAAM;;EAEN;;EAEA,MAAM;EACN;;EAEA;EACA,YAAY;;;wBAIQ,eACpB,MAAM,gBACN;EAAW;IACV,QAAQ;;;;;;wBAkBW,gBACpB,QAAQ,kBACR;EAAa,MAAM;EAAgB;EAAgB;EAAiB;IACnE,QAAQ;;wBAyBW,uBAAuB,QAAQ,mBAAmB;;KAwB5D;EACN;EAA4B,aAAa;;EAEzC;EACA,eAAe;EACf,gBAAgB;;EAEhB;EAA8B,YAAY;;EAC1C;EAAkB;EAAgB;;EAClC;EAAqB;IAAkB;IAAgB;;;;;;;UAM5C;WACN,QAAQ;;EAEjB,MAAM,kBAAkB,mBAAmB;;EAE3C,OAAO,UAAU,oBAAoB;;EAErC,MAAM,kBAAkB,mBAAmB;;EAE3C,OAAO,cAAc,kBAAkB,kBAAkB;IAAW;;;EAEpE,KAAK,cAAc,UAAU,eAAe;;EAE5C,KAAK,gBAAgB,eAAe;;EAEpC,qBAAqB,uCAAuC;;EAE5D,qBAAqB;IAAY;IAAqB;MAAiB;;EAEvE,eAAe,eAAe,sBAAsB;;EAEpD,SAAS,cAAc,eAAe,mBAAmB;;EAEzD,SACE,cACA;IACM;IAAc,eAAe;;IAC7B;IAAkB;IAAmB;IAAgB;MAC1D;IAAqB,QAAQ;;;;;;;;wBAQZ,qBACpB,QAAQ,mBACP,QAAQ;;;;;;;;;;;;;;;qBC5aE;KAQD,wBAAwB;;cAO9B,2BAAyB,EAAA;;;;GAM7B,EAAA,KAAA;KAEU,sBAAsB,EAAE,aAAa;qBAEpC,8BAA4B,EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCvC,EAAA,KAAA;KAEU,yBAAyB,EAAE,aAAa;;wBAGpC,4BAA4B,eAAe;;;;;;wBAW3C,yBAAyB,2BAA2B;;;;;;wBA4CpD,oBAAoB;;;;qBCpIvB,2BAA2B;UAEvB;;EAEf;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;;;;;;EAMA;IAAkB;IAAe;;;UAGlB;EACf;EACA;EACA;;UAGe;;EAEf;;EAEA;EACA;;EAEA;;EAEA;;UAGe;EACf;EACA;EACA;;UAGe;EACf;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA,OAAO;;EAEP;EACA,eAAe;;EAEf;;EAEA,SAAS;;;;;;wBAOK,eAAe,SAAS,wBAAwB;;wBAgKhD,qBAAqB,QAAQ;;;;KCvQjC;;UAGK;EACf;EACA;EACA;EACA,KAAK;;UAGU,0BAA0B;;EAEzC;EACA;;EAEA;EACA;;EAEA;;EAEA;;EAEA;EACA;EACA;EACA;;;UAIe;EACf;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;;EAEA;EACA;EACA;EACA;EACA;;EAEA;EACA;;EAEA;;EAEA;;EAEA;;EAEA;;;UAIe;EACf;EACA;EACA;EACA;EACA;EACA;EACA;EACA;;EAEA;EACA;EACA;EACA;EACA;;;KAIU,wBACV,SAAS,qBACT,UAAU;EAGN;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;;EAEA;EAAiB;;UAEN;EACf,MAAM;EACN;EACA;;KAGU;UASK;EACf;EACA;EACA;EACA;EACA;;EAEA;;EAEA;EACA;EACA;EACA;EACA;EACA;EACA;EACA,UAAU,OACR;IAEE;IACA;IACA;IACA;;EAGJ;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;IAAqB;IAAa;;EAClC;EACA;IAA0B;IAAa;;EACvC;;EAEA;EACA;EACA;EACA;EACA;EACA,SAAS;;EAET;;;wBAwBc,6BAA6B,eAAe;;wBA6B5C,kCAAkC,eAAe;;wBAiFjD,yBAAyB,MAAM,uBAAuB;;wBAOtD,uBACd,QAAQ,4BACR,QAAQ,qBACR,eAAe,qBACf,cAAc,uBACb;;;;UC3Sc,oCAAoC;EACnD;EACA;;;UAIe;EACf;EACA;EACA;EACA;EACA;;;UAIe;EACf;EACA;EACA;EACA;EACA;EACA;EACA;EACA;;;UAIe;EACf;EACA;EACA;EACA;EACA;EACA;;UAGe;;EAEf;EACA,QAAQ;;EAER;;EAEA;EACA,sBAAsB;EACtB,mBAAmB;EACnB,qBAAqB;EACrB,kBAAkB;;;;;;;wBA4DJ,8BACd,OAAO,6BACN"}

package/dist/experiment/index.js

@@ -1,21 +1,21 @@
 import { n as CaptureIntegrityError, s as ValidationError } from "../errors-Dngq5h35.js";
 import { a as hashCanonical, t as LEDGER_HASH_PATTERN } from "../canonical-BsZVgBhW.js";
 import { _ as verifyManifest, g as signManifest, h as manifestContentDigest, m as hashJson, p as evaluateHypothesis } from "../agent-profile-cell-DcFW4vOc.js";
-import { n as studentTQuantile, t as studentTCdf } from "../student-t-BA-Uy51p.js";
+import { n as studentTQuantile, t as studentTCdf } from "../student-t-BBZYka0E.js";
 import { t as mulberry32 } from "../random-Dn5fPWkt.js";
 import { n as bonferroni, r as holm, t as benjaminiHochberg } from "../multiplicity-D9cjmStq.js";
-import { a as pairedRiskDifferenceExact, c as wilson, i as pairedRiskDifference, n as mcnemar, o as pairedRiskDifferenceScore } from "../paired-binary-fzkwENI4.js";
-import { r as pairedBootstrap, t as BOOTSTRAP_GATE_MIN_N } from "../paired-tests-C8iCsioC.js";
-import { n as pairArms, r as pairRunRecords, t as comparePairedArms } from "../paired-arms-DKZFVPt8.js";
-import { a as requiredSampleSize, i as requiredPairedSampleSize, n as mcnemarRequiredN, r as pairedMde, t as mcnemarPower } from "../power-and-mde-K_CmO3dc.js";
+import { a as pairedRiskDifferenceExact, c as wilson, i as pairedRiskDifference, n as mcnemar, o as pairedRiskDifferenceScore } from "../paired-binary-OMBVRtc-.js";
+import { r as pairedBootstrap, t as BOOTSTRAP_GATE_MIN_N } from "../paired-tests-Ccr16gcW.js";
+import { n as pairArms, r as pairRunRecords, t as comparePairedArms } from "../paired-arms-DpS_h8ON.js";
+import { a as requiredSampleSize, i as requiredPairedSampleSize, n as mcnemarRequiredN, r as pairedMde, t as mcnemarPower } from "../power-and-mde-bie6i965.js";
 import { t as eProcess } from "../sequential-eprocess-D1jKoihe.js";
-import { a as heldoutSignificance, o as pairHoldout } from "../statistical-heldout-BAFDCo07.js";
-import { A as openFinalEvidenceLedger, D as powerPreflight, O as FinalEvidenceConflictError, a as createEvidenceReceipt, i as INDEPENDENT_EVIDENCE_AUTHORITY_KINDS, k as FinalEvidenceError, n as EVIDENCE_AUTHORITY_KINDS, o as isIndependentEvidence, r as EVIDENCE_RECEIPT_VERSION, s as verifyEvidenceReceipt, t as createCampaignEvidenceReceipt } from "../campaign-evidence-jL_U7Ikv.js";
-import { _ as runSelectionRule, a as evaluateHaltRule, c as evaluatePopulationReproducibilityGate, d as evaluateProvenanceGate, f as executeDecisionRule, g as readField, h as projectNLadderBudget, i as evaluateCondition, l as evaluatePowerFloorGate, m as powerFloorProblems, n as computeEstimand, o as evaluateIdentityGate, p as intervalSpecProblems, r as computeInterval, s as evaluateOracleDeterminismGate, t as classifyReissue, u as evaluatePredicate, v as runUniformPassBudget } from "../ast-CP9ae9B0.js";
-import { r as summarizeEvaluationUnits, t as defineEvaluationClaim } from "../claim-V9Zqbq0J.js";
+import { a as heldoutSignificance, o as pairHoldout } from "../statistical-heldout-CNLOvRq_.js";
+import { A as openFinalEvidenceLedger, D as powerPreflight, O as FinalEvidenceConflictError, a as createEvidenceReceipt, i as INDEPENDENT_EVIDENCE_AUTHORITY_KINDS, k as FinalEvidenceError, n as EVIDENCE_AUTHORITY_KINDS, o as isIndependentEvidence, r as EVIDENCE_RECEIPT_VERSION, s as verifyEvidenceReceipt, t as createCampaignEvidenceReceipt } from "../campaign-evidence-Dt_rWPk2.js";
+import { _ as runSelectionRule, a as evaluateHaltRule, c as evaluatePopulationReproducibilityGate, d as evaluateProvenanceGate, f as executeDecisionRule, g as readField, h as projectNLadderBudget, i as evaluateCondition, l as evaluatePowerFloorGate, m as powerFloorProblems, n as computeEstimand, o as evaluateIdentityGate, p as intervalSpecProblems, r as computeInterval, s as evaluateOracleDeterminismGate, t as classifyReissue, u as evaluatePredicate, v as runUniformPassBudget } from "../ast-DJ6Bc7ab.js";
+import { r as summarizeEvaluationUnits, t as defineEvaluationClaim } from "../claim-BXcZw-jo.js";
 import { n as pairedEvalueSequence, r as sequentialCrossingHorizon } from "../sequential-CzK5DarL.js";
-import { n as paretoPolicy, r as paretoSignificanceGate, t as buildEvidenceVector } from "../promotion-policy-C6FAJvmZ.js";
-import { n as sequentialPairedGate, t as sequentialDecide } from "../sequential-Yz3OSskl.js";
+import { n as paretoPolicy, r as paretoSignificanceGate, t as buildEvidenceVector } from "../promotion-policy-BI1RxzwD.js";
+import { n as sequentialPairedGate, t as sequentialDecide } from "../sequential-DWn_np6P.js";
 import { z } from "zod";
 //#region src/experiment/budget.ts
 /**
@@ -450,7 +450,8 @@ async function openSealedExperiment(sealed) {
 		decide: (evidence) => executeDecisionRule(spec.decision, evidence),
 		admit: (records) => executeAdmissionRule(need(spec.admission, "admission rule"), records),
 		select: (name, records, options) => {
-			return runSelectionRule(need(spec.selections?.[name], `selection '${name}'`), records, {
+			const rule = need(spec.selections?.[name], `selection '${name}'`);
+			return runSelectionRule(rule, records, {
 				idField: options.idField,
 				bases: spec.sealedSubsets
 			});