niceeval 0.12.2-canary.31 → 0.13.0

package/dist/analysis/bindings.js

@@ -0,0 +1,22 @@
+import { createRequire as __niceevalCreateRequire } from "node:module";
+const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
+const __niceevalCanonical = __niceevalRequire("./bindings.cjs");
+const __niceevalExport0 = __niceevalCanonical["attemptEvidenceDomainBinding"];
+export { __niceevalExport0 as attemptEvidenceDomainBinding };
+const __niceevalExport1 = __niceevalCanonical["attemptObservabilityDomainBinding"];
+export { __niceevalExport1 as attemptObservabilityDomainBinding };
+const __niceevalExport2 = __niceevalCanonical["attemptObservabilityFamily"];
+export { __niceevalExport2 as attemptObservabilityFamily };
+const __niceevalExport3 = __niceevalCanonical["builtinDomainViewBindings"];
+export { __niceevalExport3 as builtinDomainViewBindings };
+const __niceevalExport4 = __niceevalCanonical["fileChangesDomainBinding"];
+export { __niceevalExport4 as fileChangesDomainBinding };
+const __niceevalExport5 = __niceevalCanonical["publishedAnalysisInputBindings"];
+export { __niceevalExport5 as publishedAnalysisInputBindings };
+const __niceevalExport6 = __niceevalCanonical["sandboxHistoryDomainBinding"];
+export { __niceevalExport6 as sandboxHistoryDomainBinding };
+const __niceevalExport7 = __niceevalCanonical["sourceNavigationDomainBinding"];
+export { __niceevalExport7 as sourceNavigationDomainBinding };
+const __niceevalExport8 = __niceevalCanonical["sourcesDomainBinding"];
+export { __niceevalExport8 as sourcesDomainBinding };
+//# sourceMappingURL=bindings.js.map

package/dist/analysis/bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindings.js","sources":[],"names":[],"mappings":""}

package/dist/analysis/contracts.cjs

@@ -0,0 +1,39 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.sampleCapabilityTypeId = void 0;
+exports.makeClosedRows = makeClosedRows;
+exports.isClosedRows = isClosedRows;
+exports.closedRowsMetadata = closedRowsMetadata;
+exports.sampleCapabilityTypeId = Symbol("niceeval.analysis.Sample");
+const closedRowsTypeId = Symbol("niceeval.analysis.ClosedRows");
+const closedRowsBrands = new WeakSet();
+const closedRowsMetadataByValue = new WeakMap();
+/** @internal Keeps the brand unforgeable to normal public callers. */
+function makeClosedRows(input) {
+    const rows = [...input.rows];
+    const metadata = Object.freeze({
+        identity: Object.freeze({ kind: input.identity.kind, id: input.identity.id }),
+        issues: Object.freeze([...input.issues]),
+        refs: Object.freeze([...input.refs]),
+    });
+    Object.defineProperties(rows, {
+        [closedRowsTypeId]: { value: true, enumerable: false },
+        identity: { value: metadata.identity, enumerable: true },
+        issues: { value: metadata.issues, enumerable: true },
+        refs: { value: metadata.refs, enumerable: true },
+    });
+    closedRowsBrands.add(rows);
+    closedRowsMetadataByValue.set(rows, metadata);
+    return Object.freeze(rows);
+}
+/** @internal Checks actual Analysis issuance, rather than structural shape. */
+function isClosedRows(value) {
+    return Array.isArray(value)
+        && closedRowsBrands.has(value)
+        && Reflect.get(value, closedRowsTypeId) === true;
+}
+/** @internal Returns immutable metadata registered at Analysis close time. */
+function closedRowsMetadata(value) {
+    return isClosedRows(value) ? closedRowsMetadataByValue.get(value) : undefined;
+}
+//# sourceMappingURL=contracts.cjs.map

package/dist/analysis/contracts.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["contracts.ts"],"names":[],"mappings":";;;AA+QA,wCAqBC;AAED,oCAIC;AAED,gDAEC;AAjIY,QAAA,sBAAsB,GAAkB,MAAM,CAAC,0BAA0B,CAAC,CAAC;AAiFxF,MAAM,gBAAgB,GAAkB,MAAM,CAAC,8BAA8B,CAAC,CAAC;AAO/E,MAAM,gBAAgB,GAAG,IAAI,OAAO,EAAU,CAAC;AAC/C,MAAM,yBAAyB,GAAG,IAAI,OAAO,EAA8B,CAAC;AAQ5E,sEAAsE;AACtE,SAAgB,cAAc,CAAM,KAKnC;IACG,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAA+B,CAAC;IAC3D,MAAM,QAAQ,GAAuB,MAAM,CAAC,MAAM,CAAC;QAC/C,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QAC7E,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;KACvC,CAAC,CAAC;IACH,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE;QAC1B,CAAC,gBAAgB,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE;QACtD,QAAQ,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE;QACxD,MAAM,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE;QACpD,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE;KACnD,CAAC,CAAC;IACH,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3B,yBAAyB,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9C,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AACD,+EAA+E;AAC/E,SAAgB,YAAY,CAAC,KAAc;IACvC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;WACpB,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC;WAC3B,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,gBAAgB,CAAC,KAAK,IAAI,CAAC;AACzD,CAAC;AACD,8EAA8E;AAC9E,SAAgB,kBAAkB,CAAC,KAAc;IAC7C,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAClF,CAAC","sourcesContent":["import type { MembershipAction } from \"../record/model/core.ts\";\nimport type { AttemptId, EvalId, ExecutionIdentityDigest, ExperimentId, RunId, SlotId, UtcMillis, } from \"../record/model/identifiers.ts\";\nimport type { AttemptLocator } from \"../attempt-locator.ts\";\nexport type { AttemptId, EvalId, ExecutionIdentityDigest, ExperimentId, RunId, SlotId, UtcMillis, };\n/** JSON is the only wire shape accepted by the Sample snapshot codec. */\nexport type JsonValue = null | boolean | number | string | readonly JsonValue[] | {\n    readonly [key: string]: JsonValue;\n};\n/** Stable identity for one Sample capability and its portable snapshot. */\nexport interface SampleIdentity {\n    readonly kind: \"analysis-sample\";\n    readonly id: string;\n}\n/**\n * A public identity for evidence from one immutable Attempt.  It deliberately\n * carries a locator rather than Record's nominal selected-reference capability\n * or an AttemptId that could be used as an ad-hoc storage lookup.\n */\nexport interface AttemptEvidenceIdentity {\n    readonly kind: \"attempt\";\n    readonly locator: AttemptLocator;\n    readonly originRunId: RunId;\n}\nexport type AnalysisSelectionProblem = {\n    readonly code: \"incomplete-run\";\n    readonly runId: RunId;\n} | {\n    readonly code: \"record-core-invalid\";\n    readonly runId: RunId;\n} | {\n    readonly code: \"selection-run-missing\";\n    readonly runId: RunId;\n} | {\n    readonly code: \"selection-run-unreadable\";\n    readonly runId: RunId;\n};\n/**\n * One current target Slot identity. `project-current` keeps only Sample\n * members whose experiment/eval/attempt ordinal aligns, then whose digest\n * still narrows that aligned identity.\n */\nexport interface AnalysisCurrentSlotIdentity {\n    readonly experimentId: ExperimentId;\n    readonly evalId: EvalId;\n    /** Logical attempt identity; never inferred from expectedSlots array order. */\n    readonly attemptOrdinal: number;\n    /** Narrows an already aligned logical identity; it is not the alignment key. */\n    readonly executionIdentityDigest: ExecutionIdentityDigest;\n}\n/** Exact occurrence retained after project-current logical alignment. */\nexport interface AnalysisSlotOccurrenceIdentity {\n    readonly runId: RunId;\n    readonly slotId: SlotId;\n}\n/** Host-issued selection used by Application, CLI, and Report from-record. */\nexport type AnalysisSelectionRequest = {\n    readonly policy: \"explicit-runs\";\n    readonly runIds: readonly RunId[];\n} | {\n    readonly policy: \"project-current\";\n    readonly experimentIds?: readonly ExperimentId[];\n    readonly currentSlots: readonly AnalysisCurrentSlotIdentity[];\n};\n/**\n * The exact selection audit retained by a closed SampleSnapshot. `runIds` are\n * the explicit request; `selectedRunIds` are recomputed from the current,\n * non-excluded Sample frame after every monotonic narrowing.\n */\nexport type AnalysisSelectionSummary = {\n    readonly policy: \"explicit-runs\";\n    readonly runIds: readonly RunId[];\n    readonly selectedRunIds: readonly RunId[];\n    readonly problems: readonly AnalysisSelectionProblem[];\n} | {\n    readonly policy: \"project-current\";\n    readonly experimentIds: readonly ExperimentId[] | \"all\";\n    readonly selectedRunIds: readonly RunId[];\n    readonly problems: readonly AnalysisSelectionProblem[];\n};\nexport interface AnalysisRun {\n    readonly runId: RunId;\n    readonly experimentId: ExperimentId;\n    /**\n     * The safe, immutable portion of the selected Run's Core context. A later\n     * Core read can be unavailable after selection, in which case no context is\n     * invented for that Run.\n     */\n    readonly context: AnalysisRunContext | null;\n    readonly startedAt: UtcMillis;\n    readonly completedAt: UtcMillis;\n    readonly expectedSlots: readonly SlotId[];\n}\n/**\n * Display- and grouping-safe Run configuration retained by a Sample. It has\n * no Record capability and is recursively JSON-only.\n */\nexport interface AnalysisRunContext {\n    readonly execution: AnalysisRunExecution;\n    readonly labels: Readonly<Record<string, string>>;\n}\nexport interface AnalysisRunExecution {\n    readonly agentId: string;\n    readonly model: string | null;\n    readonly reasoningEffort: string | null;\n    readonly flags: Readonly<Record<string, JsonValue>>;\n}\nexport interface AnalysisSlotRef {\n    /** Occurrence identity is always the exact selected Run/Slot pair. */\n    readonly runId: RunId;\n    readonly slotId: SlotId;\n    /** Derived from the associated selected AnalysisRun, never a Record Slot field. */\n    readonly experimentId: ExperimentId;\n    /** Logical alignment is experiment + eval + durable attempt ordinal. */\n    readonly evalId: EvalId;\n    readonly attemptOrdinal: number;\n    /** This remains an identity-narrowing value, never a logical alignment key. */\n    readonly executionIdentityDigest: ExecutionIdentityDigest;\n}\n/** A Member with an exact origin Attempt. */\nexport interface IncludedAnalysisSlot extends AnalysisSlotRef {\n    readonly state: \"included\";\n    /** Core provenance is not inferred from whether the Attempt is local. */\n    readonly action: \"executed\" | \"carried\" | \"accepted\";\n    readonly relation: \"origin\" | \"reference\";\n    readonly attempt: AttemptEvidenceIdentity;\n}\n/**\n * An expected Slot without an Attempt. `null` means no Member document was\n * recorded; the two actions retain a recorded null Member without suggesting\n * that it is pending work.\n */\nexport interface NotRecordedAnalysisSlot extends AnalysisSlotRef {\n    readonly state: \"not-recorded\";\n    readonly action: \"not-dispatched\" | \"interrupted\" | null;\n    readonly attempt: null;\n}\n/** Core could be read far enough to identify the frame but not its member. */\nexport interface CoreInvalidAnalysisSlot extends AnalysisSlotRef {\n    readonly state: \"core-invalid\";\n    readonly action: MembershipAction | null;\n    readonly attempt: null;\n    readonly issues: readonly AnalysisIssue[];\n}\nexport type ActiveAnalysisSlot = IncludedAnalysisSlot | NotRecordedAnalysisSlot | CoreInvalidAnalysisSlot;\n/** A monotonic Sample narrowing preserves the previous, non-nested state. */\nexport interface ExcludedAnalysisSlot extends AnalysisSlotRef {\n    readonly state: \"excluded\";\n    readonly base: ActiveAnalysisSlot;\n    /** Present when `project-current` dropped this Slot for identity mismatch. */\n    readonly reason?: \"identity-mismatch\";\n}\nexport type AnalysisSlot = ActiveAnalysisSlot | ExcludedAnalysisSlot;\nexport interface SampleCoverage {\n    readonly frameTotal: number;\n    readonly selected: number;\n    readonly included: number;\n    readonly notRecorded: number;\n    readonly coreInvalid: number;\n    readonly excluded: number;\n}\n/**\n * The closed, portable representation of a Record selection. It contains\n * only selection identity, Core-derived Run/Slot denominator facts, and\n * selection problems. Decoding it can never reopen a Record.\n */\nexport interface SampleSnapshot {\n    readonly version: 1;\n    readonly identity: SampleIdentity;\n    readonly selection: AnalysisSelectionSummary;\n    readonly runs: readonly AnalysisRun[];\n    readonly slots: readonly AnalysisSlot[];\n    readonly coverage: SampleCoverage;\n}\nexport const sampleCapabilityTypeId: unique symbol = Symbol(\"niceeval.analysis.Sample\");\n/** A Host-issued, Scope-bound lazy Record-reading capability. */\nexport interface Sample {\n    readonly kind: \"analysis-sample\";\n    readonly snapshot: SampleSnapshot;\n    readonly [sampleCapabilityTypeId]: true;\n}\nexport interface SampleSelector {\n    readonly runIds?: readonly RunId[];\n    readonly slotIds?: readonly SlotId[];\n}\nexport interface SampleClosedError {\n    readonly code: \"analysis-sample-closed\";\n    readonly sample: SampleIdentity;\n}\nexport interface SampleSnapshotCodecError {\n    readonly code: \"sample-snapshot-invalid\";\n    readonly path: readonly string[];\n    readonly reason: string;\n}\nexport interface AnalysisRequestError {\n    readonly code: \"analysis-request-invalid\";\n    readonly reason: string;\n}\nexport type AnalysisInputIssueCode = \"missing\" | \"unsupported\" | \"producer-incompatible\" | \"input-invalid\" | \"reduction-failed\" | \"relation-unmatched\";\nexport interface EvidenceIdentity {\n    readonly kind: \"attempt\";\n    readonly locator: AttemptLocator;\n}\nexport interface EvidenceRef {\n    readonly identity: EvidenceIdentity;\n}\nexport interface AnalysisIssue {\n    readonly code: AnalysisInputIssueCode;\n    readonly message: string;\n    readonly refs: readonly EvidenceRef[];\n}\nexport interface ProducerIdentity {\n    readonly id: string;\n}\n/** Internal result of a published AnalysisInput read. It never reaches Report. */\nexport type SampleInputObservation<Value> = {\n    readonly state: \"value\";\n    readonly value: Value;\n    readonly refs: readonly EvidenceRef[];\n    readonly producer?: ProducerIdentity;\n} | {\n    readonly state: \"missing\" | \"unsupported\" | \"failed\";\n    readonly issues: readonly AnalysisIssue[];\n    readonly refs: readonly EvidenceRef[];\n    readonly producer?: ProducerIdentity;\n};\nexport type MetricState = \"available\" | \"partial\"\n/** A specialized closed metric may have no reportable value at all. */\n | \"unavailable\" | \"empty\" | \"unsupported\" | \"failed\";\nexport type MetricBasis = \"attempt\" | \"eval\" | \"run\" | \"pair\" | \"slot\";\nexport type MeasureFormat = string | {\n    readonly kind: string;\n    readonly options?: JsonValue;\n};\n/** A closed Measure cell: never a selected Record handle or reader callback. */\nexport interface MetricValue<Value = number> {\n    readonly value: Value | null;\n    readonly state: MetricState;\n    readonly samples: number;\n    readonly total: number;\n    readonly basis: MetricBasis;\n    readonly issues: readonly AnalysisIssue[];\n    readonly refs: readonly EvidenceRef[];\n    readonly unit?: string;\n    readonly format?: MeasureFormat;\n    readonly better?: \"higher\" | \"lower\" | \"neutral\";\n    readonly bounds?: {\n        readonly min?: number;\n        readonly max?: number;\n    };\n}\nexport interface ClosedRowsIdentity {\n    readonly kind: \"closed-rows\";\n    readonly id: string;\n}\nconst closedRowsTypeId: unique symbol = Symbol(\"niceeval.analysis.ClosedRows\");\n/** @internal Metadata is retained out-of-band so an ordinary array cannot forge it. */\nexport interface ClosedRowsMetadata {\n    readonly identity: ClosedRowsIdentity;\n    readonly issues: readonly AnalysisIssue[];\n    readonly refs: readonly EvidenceRef[];\n}\nconst closedRowsBrands = new WeakSet<object>();\nconst closedRowsMetadataByValue = new WeakMap<object, ClosedRowsMetadata>();\n/** A branded, frozen array produced only by Analysis query execution. */\nexport interface ClosedRows<Row> extends ReadonlyArray<Readonly<Row>> {\n    readonly [closedRowsTypeId]: true;\n    readonly identity: ClosedRowsIdentity;\n    readonly issues: readonly AnalysisIssue[];\n    readonly refs: readonly EvidenceRef[];\n}\n/** @internal Keeps the brand unforgeable to normal public callers. */\nexport function makeClosedRows<Row>(input: {\n    readonly rows: readonly Readonly<Row>[];\n    readonly identity: ClosedRowsIdentity;\n    readonly issues: readonly AnalysisIssue[];\n    readonly refs: readonly EvidenceRef[];\n}): ClosedRows<Row> {\n    const rows = [...input.rows] as unknown as ClosedRows<Row>;\n    const metadata: ClosedRowsMetadata = Object.freeze({\n        identity: Object.freeze({ kind: input.identity.kind, id: input.identity.id }),\n        issues: Object.freeze([...input.issues]),\n        refs: Object.freeze([...input.refs]),\n    });\n    Object.defineProperties(rows, {\n        [closedRowsTypeId]: { value: true, enumerable: false },\n        identity: { value: metadata.identity, enumerable: true },\n        issues: { value: metadata.issues, enumerable: true },\n        refs: { value: metadata.refs, enumerable: true },\n    });\n    closedRowsBrands.add(rows);\n    closedRowsMetadataByValue.set(rows, metadata);\n    return Object.freeze(rows);\n}\n/** @internal Checks actual Analysis issuance, rather than structural shape. */\nexport function isClosedRows(value: unknown): value is ClosedRows<unknown> {\n    return Array.isArray(value)\n        && closedRowsBrands.has(value)\n        && Reflect.get(value, closedRowsTypeId) === true;\n}\n/** @internal Returns immutable metadata registered at Analysis close time. */\nexport function closedRowsMetadata(value: unknown): ClosedRowsMetadata | undefined {\n    return isClosedRows(value) ? closedRowsMetadataByValue.get(value) : undefined;\n}\nexport interface PopulationIdentity {\n    readonly kind: \"population\";\n    readonly id: string;\n}\n/** The common, entirely closed base of every published DomainView. */\nexport interface DomainView {\n    readonly kind: \"domain-view\";\n    readonly identity: {\n        readonly kind: \"domain-view\";\n        readonly id: string;\n    };\n    readonly issues: readonly AnalysisIssue[];\n    readonly refs: readonly EvidenceRef[];\n}\n"]}

package/dist/analysis/contracts.d.cts

@@ -0,0 +1,293 @@
+import type { MembershipAction } from "../record/model/core.cjs";
+import type { AttemptId, EvalId, ExecutionIdentityDigest, ExperimentId, RunId, SlotId, UtcMillis } from "../record/model/identifiers.cjs";
+import type { AttemptLocator } from "../attempt-locator.cjs";
+export type { AttemptId, EvalId, ExecutionIdentityDigest, ExperimentId, RunId, SlotId, UtcMillis, };
+/** JSON is the only wire shape accepted by the Sample snapshot codec. */
+export type JsonValue = null | boolean | number | string | readonly JsonValue[] | {
+    readonly [key: string]: JsonValue;
+};
+/** Stable identity for one Sample capability and its portable snapshot. */
+export interface SampleIdentity {
+    readonly kind: "analysis-sample";
+    readonly id: string;
+}
+/**
+ * A public identity for evidence from one immutable Attempt.  It deliberately
+ * carries a locator rather than Record's nominal selected-reference capability
+ * or an AttemptId that could be used as an ad-hoc storage lookup.
+ */
+export interface AttemptEvidenceIdentity {
+    readonly kind: "attempt";
+    readonly locator: AttemptLocator;
+    readonly originRunId: RunId;
+}
+export type AnalysisSelectionProblem = {
+    readonly code: "incomplete-run";
+    readonly runId: RunId;
+} | {
+    readonly code: "record-core-invalid";
+    readonly runId: RunId;
+} | {
+    readonly code: "selection-run-missing";
+    readonly runId: RunId;
+} | {
+    readonly code: "selection-run-unreadable";
+    readonly runId: RunId;
+};
+/**
+ * One current target Slot identity. `project-current` keeps only Sample
+ * members whose experiment/eval/attempt ordinal aligns, then whose digest
+ * still narrows that aligned identity.
+ */
+export interface AnalysisCurrentSlotIdentity {
+    readonly experimentId: ExperimentId;
+    readonly evalId: EvalId;
+    /** Logical attempt identity; never inferred from expectedSlots array order. */
+    readonly attemptOrdinal: number;
+    /** Narrows an already aligned logical identity; it is not the alignment key. */
+    readonly executionIdentityDigest: ExecutionIdentityDigest;
+}
+/** Exact occurrence retained after project-current logical alignment. */
+export interface AnalysisSlotOccurrenceIdentity {
+    readonly runId: RunId;
+    readonly slotId: SlotId;
+}
+/** Host-issued selection used by Application, CLI, and Report from-record. */
+export type AnalysisSelectionRequest = {
+    readonly policy: "explicit-runs";
+    readonly runIds: readonly RunId[];
+} | {
+    readonly policy: "project-current";
+    readonly experimentIds?: readonly ExperimentId[];
+    readonly currentSlots: readonly AnalysisCurrentSlotIdentity[];
+};
+/**
+ * The exact selection audit retained by a closed SampleSnapshot. `runIds` are
+ * the explicit request; `selectedRunIds` are recomputed from the current,
+ * non-excluded Sample frame after every monotonic narrowing.
+ */
+export type AnalysisSelectionSummary = {
+    readonly policy: "explicit-runs";
+    readonly runIds: readonly RunId[];
+    readonly selectedRunIds: readonly RunId[];
+    readonly problems: readonly AnalysisSelectionProblem[];
+} | {
+    readonly policy: "project-current";
+    readonly experimentIds: readonly ExperimentId[] | "all";
+    readonly selectedRunIds: readonly RunId[];
+    readonly problems: readonly AnalysisSelectionProblem[];
+};
+export interface AnalysisRun {
+    readonly runId: RunId;
+    readonly experimentId: ExperimentId;
+    /**
+     * The safe, immutable portion of the selected Run's Core context. A later
+     * Core read can be unavailable after selection, in which case no context is
+     * invented for that Run.
+     */
+    readonly context: AnalysisRunContext | null;
+    readonly startedAt: UtcMillis;
+    readonly completedAt: UtcMillis;
+    readonly expectedSlots: readonly SlotId[];
+}
+/**
+ * Display- and grouping-safe Run configuration retained by a Sample. It has
+ * no Record capability and is recursively JSON-only.
+ */
+export interface AnalysisRunContext {
+    readonly execution: AnalysisRunExecution;
+    readonly labels: Readonly<Record<string, string>>;
+}
+export interface AnalysisRunExecution {
+    readonly agentId: string;
+    readonly model: string | null;
+    readonly reasoningEffort: string | null;
+    readonly flags: Readonly<Record<string, JsonValue>>;
+}
+export interface AnalysisSlotRef {
+    /** Occurrence identity is always the exact selected Run/Slot pair. */
+    readonly runId: RunId;
+    readonly slotId: SlotId;
+    /** Derived from the associated selected AnalysisRun, never a Record Slot field. */
+    readonly experimentId: ExperimentId;
+    /** Logical alignment is experiment + eval + durable attempt ordinal. */
+    readonly evalId: EvalId;
+    readonly attemptOrdinal: number;
+    /** This remains an identity-narrowing value, never a logical alignment key. */
+    readonly executionIdentityDigest: ExecutionIdentityDigest;
+}
+/** A Member with an exact origin Attempt. */
+export interface IncludedAnalysisSlot extends AnalysisSlotRef {
+    readonly state: "included";
+    /** Core provenance is not inferred from whether the Attempt is local. */
+    readonly action: "executed" | "carried" | "accepted";
+    readonly relation: "origin" | "reference";
+    readonly attempt: AttemptEvidenceIdentity;
+}
+/**
+ * An expected Slot without an Attempt. `null` means no Member document was
+ * recorded; the two actions retain a recorded null Member without suggesting
+ * that it is pending work.
+ */
+export interface NotRecordedAnalysisSlot extends AnalysisSlotRef {
+    readonly state: "not-recorded";
+    readonly action: "not-dispatched" | "interrupted" | null;
+    readonly attempt: null;
+}
+/** Core could be read far enough to identify the frame but not its member. */
+export interface CoreInvalidAnalysisSlot extends AnalysisSlotRef {
+    readonly state: "core-invalid";
+    readonly action: MembershipAction | null;
+    readonly attempt: null;
+    readonly issues: readonly AnalysisIssue[];
+}
+export type ActiveAnalysisSlot = IncludedAnalysisSlot | NotRecordedAnalysisSlot | CoreInvalidAnalysisSlot;
+/** A monotonic Sample narrowing preserves the previous, non-nested state. */
+export interface ExcludedAnalysisSlot extends AnalysisSlotRef {
+    readonly state: "excluded";
+    readonly base: ActiveAnalysisSlot;
+    /** Present when `project-current` dropped this Slot for identity mismatch. */
+    readonly reason?: "identity-mismatch";
+}
+export type AnalysisSlot = ActiveAnalysisSlot | ExcludedAnalysisSlot;
+export interface SampleCoverage {
+    readonly frameTotal: number;
+    readonly selected: number;
+    readonly included: number;
+    readonly notRecorded: number;
+    readonly coreInvalid: number;
+    readonly excluded: number;
+}
+/**
+ * The closed, portable representation of a Record selection. It contains
+ * only selection identity, Core-derived Run/Slot denominator facts, and
+ * selection problems. Decoding it can never reopen a Record.
+ */
+export interface SampleSnapshot {
+    readonly version: 1;
+    readonly identity: SampleIdentity;
+    readonly selection: AnalysisSelectionSummary;
+    readonly runs: readonly AnalysisRun[];
+    readonly slots: readonly AnalysisSlot[];
+    readonly coverage: SampleCoverage;
+}
+export declare const sampleCapabilityTypeId: unique symbol;
+/** A Host-issued, Scope-bound lazy Record-reading capability. */
+export interface Sample {
+    readonly kind: "analysis-sample";
+    readonly snapshot: SampleSnapshot;
+    readonly [sampleCapabilityTypeId]: true;
+}
+export interface SampleSelector {
+    readonly runIds?: readonly RunId[];
+    readonly slotIds?: readonly SlotId[];
+}
+export interface SampleClosedError {
+    readonly code: "analysis-sample-closed";
+    readonly sample: SampleIdentity;
+}
+export interface SampleSnapshotCodecError {
+    readonly code: "sample-snapshot-invalid";
+    readonly path: readonly string[];
+    readonly reason: string;
+}
+export interface AnalysisRequestError {
+    readonly code: "analysis-request-invalid";
+    readonly reason: string;
+}
+export type AnalysisInputIssueCode = "missing" | "unsupported" | "producer-incompatible" | "input-invalid" | "reduction-failed" | "relation-unmatched";
+export interface EvidenceIdentity {
+    readonly kind: "attempt";
+    readonly locator: AttemptLocator;
+}
+export interface EvidenceRef {
+    readonly identity: EvidenceIdentity;
+}
+export interface AnalysisIssue {
+    readonly code: AnalysisInputIssueCode;
+    readonly message: string;
+    readonly refs: readonly EvidenceRef[];
+}
+export interface ProducerIdentity {
+    readonly id: string;
+}
+/** Internal result of a published AnalysisInput read. It never reaches Report. */
+export type SampleInputObservation<Value> = {
+    readonly state: "value";
+    readonly value: Value;
+    readonly refs: readonly EvidenceRef[];
+    readonly producer?: ProducerIdentity;
+} | {
+    readonly state: "missing" | "unsupported" | "failed";
+    readonly issues: readonly AnalysisIssue[];
+    readonly refs: readonly EvidenceRef[];
+    readonly producer?: ProducerIdentity;
+};
+export type MetricState = "available" | "partial"
+/** A specialized closed metric may have no reportable value at all. */
+ | "unavailable" | "empty" | "unsupported" | "failed";
+export type MetricBasis = "attempt" | "eval" | "run" | "pair" | "slot";
+export type MeasureFormat = string | {
+    readonly kind: string;
+    readonly options?: JsonValue;
+};
+/** A closed Measure cell: never a selected Record handle or reader callback. */
+export interface MetricValue<Value = number> {
+    readonly value: Value | null;
+    readonly state: MetricState;
+    readonly samples: number;
+    readonly total: number;
+    readonly basis: MetricBasis;
+    readonly issues: readonly AnalysisIssue[];
+    readonly refs: readonly EvidenceRef[];
+    readonly unit?: string;
+    readonly format?: MeasureFormat;
+    readonly better?: "higher" | "lower" | "neutral";
+    readonly bounds?: {
+        readonly min?: number;
+        readonly max?: number;
+    };
+}
+export interface ClosedRowsIdentity {
+    readonly kind: "closed-rows";
+    readonly id: string;
+}
+declare const closedRowsTypeId: unique symbol;
+/** @internal Metadata is retained out-of-band so an ordinary array cannot forge it. */
+export interface ClosedRowsMetadata {
+    readonly identity: ClosedRowsIdentity;
+    readonly issues: readonly AnalysisIssue[];
+    readonly refs: readonly EvidenceRef[];
+}
+/** A branded, frozen array produced only by Analysis query execution. */
+export interface ClosedRows<Row> extends ReadonlyArray<Readonly<Row>> {
+    readonly [closedRowsTypeId]: true;
+    readonly identity: ClosedRowsIdentity;
+    readonly issues: readonly AnalysisIssue[];
+    readonly refs: readonly EvidenceRef[];
+}
+/** @internal Keeps the brand unforgeable to normal public callers. */
+export declare function makeClosedRows<Row>(input: {
+    readonly rows: readonly Readonly<Row>[];
+    readonly identity: ClosedRowsIdentity;
+    readonly issues: readonly AnalysisIssue[];
+    readonly refs: readonly EvidenceRef[];
+}): ClosedRows<Row>;
+/** @internal Checks actual Analysis issuance, rather than structural shape. */
+export declare function isClosedRows(value: unknown): value is ClosedRows<unknown>;
+/** @internal Returns immutable metadata registered at Analysis close time. */
+export declare function closedRowsMetadata(value: unknown): ClosedRowsMetadata | undefined;
+export interface PopulationIdentity {
+    readonly kind: "population";
+    readonly id: string;
+}
+/** The common, entirely closed base of every published DomainView. */
+export interface DomainView {
+    readonly kind: "domain-view";
+    readonly identity: {
+        readonly kind: "domain-view";
+        readonly id: string;
+    };
+    readonly issues: readonly AnalysisIssue[];
+    readonly refs: readonly EvidenceRef[];
+}