@takk/bayesoutputgate 1.0.0

package/dist/gate/index.d.cts

@@ -0,0 +1,77 @@
+import { AuditMeta, AuditEntry } from '../audit/index.cjs';
+import { AssessOptions } from '../calibration/index.cjs';
+import { HypothesisManager } from '../hypothesis/index.cjs';
+import { e as DimensionModel, P as PolicyConfig, h as GateGuards, S as ScoreVector, g as GateDecision, L as LabeledObservation, A as AssumptionReport } from '../types-bMjn1j4e.cjs';
+
+/** Evaluate one output's scores against the dimension models under a policy, in a single call. */
+declare function evaluate(scores: ScoreVector, models: readonly DimensionModel[], policy: PolicyConfig, guards?: GateGuards): GateDecision;
+/** Options for an {@link OutputGate}. */
+interface OutputGateOptions {
+    readonly models: readonly DimensionModel[];
+    readonly policy: PolicyConfig;
+    /** Optional assumption guards applied to every decision. */
+    readonly guards?: GateGuards;
+}
+/** A stateless gate over fixed calibrated models and a fixed policy. */
+declare class OutputGate {
+    private readonly models;
+    private readonly policy;
+    private readonly guards;
+    constructor(options: OutputGateOptions);
+    /** Evaluate one output's scores. */
+    evaluate(scores: ScoreVector): GateDecision;
+    /** A copy of the gate's dimension models. */
+    dimensionModels(): DimensionModel[];
+}
+/** Assumption guards for an {@link OutputGateMonitor}, computed from the fitted history. */
+interface MonitorGuards extends AssessOptions {
+    /** When true, escalate if goodness-of-fit is inadequate for the fitted history. */
+    readonly requireGoodnessOfFit?: boolean;
+    /** When true, escalate if the dimensions are not conditionally independent. */
+    readonly requireIndependence?: boolean;
+}
+/** Options for an {@link OutputGateMonitor}. */
+interface OutputGateMonitorOptions {
+    readonly policy: PolicyConfig;
+    /** An existing hypothesis manager to continue calibrating, or a fresh one is created. */
+    readonly manager?: HypothesisManager;
+    /** Optional guards; when set, assumptions are assessed from the history on every {@link OutputGateMonitor.fit}. */
+    readonly guards?: MonitorGuards;
+}
+/**
+ * A gate that records every decision into an append-only audit chain and can recalibrate its models
+ * online as labeled outcomes are observed. The audit chain is the compliance evidence (EU AI Act):
+ * what was decided, on what evidence, sealed so it cannot be altered after the fact. When guards are
+ * configured, a batch {@link OutputGateMonitor.fit} also assesses the modeling assumptions, and the
+ * gate escalates rather than trusting a Bayes Factor from a misspecified model.
+ */
+declare class OutputGateMonitor {
+    private readonly manager;
+    private readonly policy;
+    private readonly chain;
+    private readonly guards;
+    private assumptions;
+    constructor(options: OutputGateMonitorOptions);
+    /** Fold one labeled observation into the calibration. Does not recompute the assumption report. */
+    observe(observation: LabeledObservation): this;
+    /** Fold a batch of labeled observations, and reassess the modeling assumptions when guarded. */
+    fit(observations: Iterable<LabeledObservation>): this;
+    /** Evaluate without recording. */
+    evaluate(scores: ScoreVector): GateDecision;
+    private guardsForEvaluate;
+    /** Evaluate and seal the decision into the audit chain. */
+    record(scores: ScoreVector, meta?: AuditMeta): Promise<{
+        decision: GateDecision;
+        entry: AuditEntry;
+    }>;
+    /** A copy of the audit chain. */
+    auditTrail(): AuditEntry[];
+    /** Number of sealed decisions. */
+    get auditLength(): number;
+    /** The most recent assumption report, present after a guarded {@link OutputGateMonitor.fit}. */
+    get assumptionReport(): AssumptionReport | undefined;
+    /** The current calibrated dimension models. */
+    models(): DimensionModel[];
+}
+
+export { type MonitorGuards, OutputGate, OutputGateMonitor, type OutputGateMonitorOptions, type OutputGateOptions, evaluate };

package/dist/gate/index.d.ts

@@ -0,0 +1,77 @@
+import { AuditMeta, AuditEntry } from '../audit/index.js';
+import { AssessOptions } from '../calibration/index.js';
+import { HypothesisManager } from '../hypothesis/index.js';
+import { e as DimensionModel, P as PolicyConfig, h as GateGuards, S as ScoreVector, g as GateDecision, L as LabeledObservation, A as AssumptionReport } from '../types-bMjn1j4e.js';
+
+/** Evaluate one output's scores against the dimension models under a policy, in a single call. */
+declare function evaluate(scores: ScoreVector, models: readonly DimensionModel[], policy: PolicyConfig, guards?: GateGuards): GateDecision;
+/** Options for an {@link OutputGate}. */
+interface OutputGateOptions {
+    readonly models: readonly DimensionModel[];
+    readonly policy: PolicyConfig;
+    /** Optional assumption guards applied to every decision. */
+    readonly guards?: GateGuards;
+}
+/** A stateless gate over fixed calibrated models and a fixed policy. */
+declare class OutputGate {
+    private readonly models;
+    private readonly policy;
+    private readonly guards;
+    constructor(options: OutputGateOptions);
+    /** Evaluate one output's scores. */
+    evaluate(scores: ScoreVector): GateDecision;
+    /** A copy of the gate's dimension models. */
+    dimensionModels(): DimensionModel[];
+}
+/** Assumption guards for an {@link OutputGateMonitor}, computed from the fitted history. */
+interface MonitorGuards extends AssessOptions {
+    /** When true, escalate if goodness-of-fit is inadequate for the fitted history. */
+    readonly requireGoodnessOfFit?: boolean;
+    /** When true, escalate if the dimensions are not conditionally independent. */
+    readonly requireIndependence?: boolean;
+}
+/** Options for an {@link OutputGateMonitor}. */
+interface OutputGateMonitorOptions {
+    readonly policy: PolicyConfig;
+    /** An existing hypothesis manager to continue calibrating, or a fresh one is created. */
+    readonly manager?: HypothesisManager;
+    /** Optional guards; when set, assumptions are assessed from the history on every {@link OutputGateMonitor.fit}. */
+    readonly guards?: MonitorGuards;
+}
+/**
+ * A gate that records every decision into an append-only audit chain and can recalibrate its models
+ * online as labeled outcomes are observed. The audit chain is the compliance evidence (EU AI Act):
+ * what was decided, on what evidence, sealed so it cannot be altered after the fact. When guards are
+ * configured, a batch {@link OutputGateMonitor.fit} also assesses the modeling assumptions, and the
+ * gate escalates rather than trusting a Bayes Factor from a misspecified model.
+ */
+declare class OutputGateMonitor {
+    private readonly manager;
+    private readonly policy;
+    private readonly chain;
+    private readonly guards;
+    private assumptions;
+    constructor(options: OutputGateMonitorOptions);
+    /** Fold one labeled observation into the calibration. Does not recompute the assumption report. */
+    observe(observation: LabeledObservation): this;
+    /** Fold a batch of labeled observations, and reassess the modeling assumptions when guarded. */
+    fit(observations: Iterable<LabeledObservation>): this;
+    /** Evaluate without recording. */
+    evaluate(scores: ScoreVector): GateDecision;
+    private guardsForEvaluate;
+    /** Evaluate and seal the decision into the audit chain. */
+    record(scores: ScoreVector, meta?: AuditMeta): Promise<{
+        decision: GateDecision;
+        entry: AuditEntry;
+    }>;
+    /** A copy of the audit chain. */
+    auditTrail(): AuditEntry[];
+    /** Number of sealed decisions. */
+    get auditLength(): number;
+    /** The most recent assumption report, present after a guarded {@link OutputGateMonitor.fit}. */
+    get assumptionReport(): AssumptionReport | undefined;
+    /** The current calibrated dimension models. */
+    models(): DimensionModel[];
+}
+
+export { type MonitorGuards, OutputGate, OutputGateMonitor, type OutputGateMonitorOptions, type OutputGateOptions, evaluate };