@tangle-network/agent-eval 0.216.0 → 0.217.1

package/dist/search/index.d.ts

@@ -1,8 +1,8 @@
 import { A as SearchLedgerHash, C as SearchEdgeOperator, G as SearchSplit, H as SearchProposerKind, I as SearchNodeStatus, L as SearchOpenedEvent, T as SearchEstimateMethod, W as SearchSourceRef, i as SearchArtifactRef, j as SearchModelIdentity, l as SearchCandidateSurface, m as SearchClaim, t as NodeEstimate, y as SearchCloseReason } from "../search-ledger-types-p2xKfiDJ.js";
-import { $ as SearchNode, it as SearchStateView } from "../types-B4C5nFw6.js";
-import { B as SearchPolicyView, N as SearchUnitExtension, R as SearchPolicy, at as OperatorYieldData, ct as OperatorYieldSignal, dt as LensSignal, ft as SampleSummary, it as OperatorOutcomeCounts, lt as operatorYield, mt as summarizeSamples, nt as ExpansionOperator, ot as OperatorYieldOptions, p as SearchRunResult, pt as rankingSplit, r as SearchArtifactCodec, rt as MIN_OUTCOMES_FOR_WEIGHT, s as SearchLane, st as OperatorYieldRow, t as RunSearchOptions, tt as EXPANSION_OPERATORS, ut as LensResult } from "../search-kernel-CpcKH5Ih.js";
+import { X as SearchStateView, tt as SearchNode } from "../types-D8GhJoHk.js";
+import { $ as ExpansionOperator, I as SearchPolicy, R as SearchPolicyView, a as SearchArtifactCodec, at as OperatorYieldSignal, ct as LensSampleSummary, et as MIN_OUTCOMES_FOR_WEIGHT, h as SearchRunResult, i as RunSearchOptions, it as OperatorYieldRow, j as SearchUnitExtension, l as SearchLane, lt as LensSignal, nt as OperatorYieldData, ot as operatorYield, rt as OperatorYieldOptions, st as LensResult, tt as OperatorOutcomeCounts, ut as summarizeSamples } from "../search-kernel-DxqjBxA-.js";
 import { AgentProfileResourceRef } from "@tangle-network/agent-interface";
-//#region src/search/lenses/edit-credit.d.ts
+//#region src/search/lenses/edit-credit-contract.d.ts
 interface EditCreditOptions {
   /**
    * The parsed content a node's artifact reference names, or undefined when
@@ -203,17 +203,21 @@ interface EditCreditSignal extends LensSignal<number | null> {
 type EditCreditResult = LensResult<EditCreditData, number | null> & {
   signal: EditCreditSignal;
 };
-/**
- * The edit-credit lens. Pure: the result depends only on `state` and what
- * `readArtifact` returns for its references.
- */
-export declare function editCredit(state: SearchStateView, options: EditCreditOptions): EditCreditResult;
+//#endregion
+//#region src/search/lenses/edit-credit-text.d.ts
 /** The lens as compact text: what `agent-eval search show --edit-credit`
  * prints and a proposer can read. */
 export declare function editCreditText(result: EditCreditResult, options?: {
   limit?: number;
 }): string;
 //#endregion
+//#region src/search/lenses/edit-credit.d.ts
+/**
+ * The edit-credit lens. Pure: the result depends only on `state` and what
+ * `readArtifact` returns for its references.
+ */
+export declare function editCredit(state: SearchStateView, options: EditCreditOptions): EditCreditResult;
+//#endregion
 //#region src/search/lenses/front.d.ts
 interface FrontExtraAxis {
   name: string;
@@ -295,16 +299,6 @@ interface GeometryLensResult<TData> extends LensResult<TData, number | null> {
   sequence: number;
   signal: GeometrySignal;
 }
-/**
- * Nodes whose screen finished, in registration order, root first: the
- * ledger's reading of the kernel's `screened` list. A node counts once it is
- * not decided invalid, has an edge, and every cell it was allocated outside a
- * rung or the claim can no longer run (scored, final, cancelled, or errored
- * with no attempt left). Cells a rung opened later do not un-screen it.
- */
-export declare function screenedNodes(state: SearchStateView, options?: {
-  maxAttempts?: number;
-}): string[];
 //#endregion
 //#region src/search/lenses/plateau.d.ts
 /** What the plateau reads: a policy view, or the lens's own reading of one. */
@@ -342,12 +336,6 @@ interface SearchPlateau {
   method: string;
   insufficient: string | null;
 }
-/**
- * The plateau score of a search. Nodes are taken in the view's screened
- * order, which is registration order. Insufficient with fewer than `window`
- * accepted nodes, or without a pooled variance above zero.
- */
-export declare function searchPlateau(view: SearchPlateauView, options?: SearchPlateauOptions): SearchPlateau;
 interface DraftOnPlateauOptions {
   /** Accepted nodes the plateau's rise is measured across, and expansions
    * between two drafts. Default 6. */
@@ -378,7 +366,7 @@ interface DraftOnPlateauOptions {
  */
 export declare function draftOnPlateau(base: SearchPolicy, options?: DraftOnPlateauOptions): SearchPolicy;
 //#endregion
-//#region src/search/lenses/landscape.d.ts
+//#region src/search/lenses/landscape-contract.d.ts
 /**
  * How the lens measures the distance between two nodes' profiles.
  *
@@ -405,22 +393,6 @@ type LandscapeEmbedding = {
   method: string;
   vector(node: SearchNode): readonly number[] | null;
 };
-/** The default: edits recorded between two profiles along the lineage. */
-export declare function lineageEdits(): LandscapeEmbedding;
-/**
- * Line edits between the surfaces' texts: for each declared surface, the
- * fewest line insertions and deletions that turn one text into the other
- * (Myers, 1986), summed over surfaces. `read` returns a surface's content:
- * a string, parsed JSON (flattened with `profileTextLines`), or null when it
- * cannot be read, which leaves every distance of that node unknown. The lens
- * stays pure; the caller owns the I/O and its verification.
- */
-export declare function surfaceTextEdits(read: (surface: SearchCandidateSurface) => unknown): LandscapeEmbedding;
-/** A caller's vector per node, for example a model embedding of its profile. */
-export declare function vectorEmbedding(name: string, vector: (node: SearchNode) => readonly number[] | null): LandscapeEmbedding;
-/** Fewest line insertions plus deletions turning `a` into `b` (Myers' O(ND)
- * greedy algorithm, which is fast when the texts are close). */
-export declare function lineEditDistance(a: readonly string[], b: readonly string[]): number;
 interface LandscapeOptions {
   /** The split scores come from. Default: the ranked split. */
   split?: 'selection' | 'train';
@@ -561,15 +533,29 @@ interface LandscapeData {
   };
   plateau: SearchPlateau;
 }
+//#endregion
+//#region src/search/lenses/landscape-embeddings.d.ts
+/** The default: edits recorded between two profiles along the lineage. */
+export declare function lineageEdits(): LandscapeEmbedding;
+/**
+ * Line edits between the surfaces' texts: for each declared surface, the
+ * fewest line insertions and deletions that turn one text into the other
+ * (Myers, 1986), summed over surfaces. `read` returns a surface's content:
+ * a string, parsed JSON (flattened with `profileTextLines`), or null when it
+ * cannot be read, which leaves every distance of that node unknown. The lens
+ * stays pure; the caller owns the I/O and its verification.
+ */
+export declare function surfaceTextEdits(read: (surface: SearchCandidateSurface) => unknown): LandscapeEmbedding;
+/** A caller's vector per node, for example a model embedding of its profile. */
+export declare function vectorEmbedding(name: string, vector: (node: SearchNode) => readonly number[] | null): LandscapeEmbedding;
+//#endregion
+//#region src/search/lenses/landscape.d.ts
 /**
  * The landscape of a search: every node placed by `embed`, the interpolated
  * score over the placement, the basins of that surface, and the plateau
  * signal. Pure: it reads the state and calls `embed`.
  */
 export declare function landscape(state: SearchStateView, embed?: LandscapeEmbedding, options?: LandscapeOptions): GeometryLensResult<LandscapeData>;
-/** The landscape as text for a terminal or a proposer's context: the same
- * numbers the view draws, with a coarse shaded map. */
-export declare function formatLandscape(lens: GeometryLensResult<LandscapeData>): string;
 //#endregion
 //#region src/search/lenses/meta-search.d.ts
 /** The configuration that ran a search, as its ledger records it. */
@@ -796,15 +782,15 @@ interface MetaSearchOptions {
    * null until one is named. */
   objective?: string;
 }
-/** The per-search score `metaSearchScore` computes. An outer search names it
- * as its objective's judge. */
-export declare const META_SEARCH_SCORE_SOURCE: SearchSourceRef;
 /**
  * The genome of a search: the configuration its ledger records. Declared
  * parts come from the header; the proposer comes from what the edges and
  * candidate-generation operations name, because the header declares none.
  */
 export declare function searchPolicyGenome(state: SearchStateView): SearchPolicyGenome;
+/** The per-search score `metaSearchScore` computes. An outer search names it
+ * as its objective's judge. */
+export declare const META_SEARCH_SCORE_SOURCE: SearchSourceRef;
 /**
  * A search's held-out lift per known dollar, from its claim and its test
  * cells. Pure; it reads the test split, so a policy view (which holds no test
@@ -813,8 +799,8 @@ export declare function searchPolicyGenome(state: SearchStateView): SearchPolicy
 export declare function metaSearchScore(state: SearchStateView): MetaSearchScore;
 /** The lens: every search as a node of a search of searches. */
 export declare function metaSearch(searches: readonly SearchStateView[], options?: MetaSearchOptions): LensResult<MetaSearchData, BestPolicyConfiguration>;
-/** `subject · metric (direction)`: the key searches are compared within. */
-export declare function objectiveKey(header: NonNullable<SearchStateView['header']>): string;
+//#endregion
+//#region src/search/lenses/meta-search-text.d.ts
 interface MetaSearchTextOptions {
   /** Searches listed under each outer node or parent before the rest are
    * counted. Default 5. */
@@ -828,7 +814,7 @@ interface MetaSearchTextOptions {
  */
 export declare function renderMetaSearchText(result: LensResult<MetaSearchData, BestPolicyConfiguration>, options?: MetaSearchTextOptions): string;
 //#endregion
-//#region src/search/lenses/skill-manifold.d.ts
+//#region src/search/lenses/skill-manifold-contract.d.ts
 interface SkillManifoldOptions {
   /** The split scores come from. Default: the ranked split. */
   split?: 'selection' | 'train';
@@ -996,6 +982,8 @@ interface SkillManifoldData {
   batch: string[] | null;
   insufficient: string | null;
 }
+//#endregion
+//#region src/search/lenses/skill-manifold.d.ts
 /**
  * The skill manifold of a search at rank `k` (`auto`: the cross-validated
  * intrinsic dimension, at least 1, and 1 when too few nodes cross-validate).
@@ -1019,8 +1007,6 @@ export declare function skillCalibration(lens: GeometryLensResult<SkillManifoldD
 export declare function nextUnitExtension(calibration: SkillCalibration, options?: {
   leaders?: number;
 }): SearchUnitExtension;
-/** The manifold as text for a terminal or a proposer's context. */
-export declare function formatSkillManifold(lens: GeometryLensResult<SkillManifoldData>): string;
 //#endregion
 //#region src/search/lenses/task-matrix.d.ts
 interface TaskMatrixCell {
@@ -1167,5 +1153,5 @@ export declare function searchConfigCodec<TConfig>(): SearchArtifactCodec<TConfi
  */
 export declare function runNestedSearch<TConfig>(options: RunNestedSearchOptions<TConfig>): Promise<SearchRunResult>;
 //#endregion
-export { type BestPolicyConfiguration, type DraftOnPlateauOptions, EXPANSION_OPERATORS, type EditCreditData, type EditCreditOptions, type EditCreditResult, type EditCreditSignal, type EditGene, type EditGeneVerdict, type EditInteraction, type EditIntroduction, type EditLineageRow, type EditSkillCandidate, type ExpansionOperator, type FrontData, type FrontExtraAxis, type FrontOptions, type FrontRow, type FrontSignal, type GeometryLensResult, type GeometrySignal, type LandscapeBasin, type LandscapeData, type LandscapeEmbedding, type LandscapeGrid, type LandscapeNode, type LandscapeOptions, type LensResult, type LensSignal, MIN_OUTCOMES_FOR_WEIGHT, type MetaSearchConfiguration, type MetaSearchConfigurationEstimate, type MetaSearchData, type MetaSearchEntry, type MetaSearchLiftPerUsd, type MetaSearchOptions, type MetaSearchParent, type MetaSearchScore, type MetaSearchSpend, type MetaSearchTextOptions, type MetaSearchUnscoredReason, type NestedSearchContainment, type NestedSearchRunInput, type OperatorOutcomeCounts, type OperatorYieldData, type OperatorYieldOptions, type OperatorYieldRow, type OperatorYieldSignal, type RunNestedSearchOptions, type SampleSummary, type SearchPlateau, type SearchPlateauOptions, type SearchPlateauView, type SearchPolicyGenome, type SkillCalibration, type SkillManifoldData, type SkillManifoldNextUnit, type SkillManifoldNode, type SkillManifoldOptions, type SkillManifoldUnit, type TaskMatrixCell, type TaskMatrixCluster, type TaskMatrixData, type TaskMatrixOptions, type TaskMatrixSignal, type TaskMatrixSpecialistRow, type TreeData, type TreeNode, operatorYield, rankingSplit, summarizeSamples };
+export { type BestPolicyConfiguration, type DraftOnPlateauOptions, type EditCreditData, type EditCreditOptions, type EditCreditResult, type EditCreditSignal, type EditGene, type EditGeneVerdict, type EditInteraction, type EditIntroduction, type EditLineageRow, type EditSkillCandidate, type ExpansionOperator, type FrontData, type FrontExtraAxis, type FrontOptions, type FrontRow, type FrontSignal, type GeometryLensResult, type GeometrySignal, type LandscapeBasin, type LandscapeData, type LandscapeEmbedding, type LandscapeGrid, type LandscapeNode, type LandscapeOptions, type LensResult, type LensSampleSummary, type LensSignal, MIN_OUTCOMES_FOR_WEIGHT, type MetaSearchConfiguration, type MetaSearchConfigurationEstimate, type MetaSearchData, type MetaSearchEntry, type MetaSearchLiftPerUsd, type MetaSearchOptions, type MetaSearchParent, type MetaSearchScore, type MetaSearchSpend, type MetaSearchTextOptions, type MetaSearchUnscoredReason, type NestedSearchContainment, type NestedSearchRunInput, type OperatorOutcomeCounts, type OperatorYieldData, type OperatorYieldOptions, type OperatorYieldRow, type OperatorYieldSignal, type RunNestedSearchOptions, type SearchPlateau, type SearchPlateauOptions, type SearchPlateauView, type SearchPolicyGenome, type SkillCalibration, type SkillManifoldData, type SkillManifoldNextUnit, type SkillManifoldNode, type SkillManifoldOptions, type SkillManifoldUnit, type TaskMatrixCell, type TaskMatrixCluster, type TaskMatrixData, type TaskMatrixOptions, type TaskMatrixSignal, type TaskMatrixSpecialistRow, type TreeData, type TreeNode, operatorYield, summarizeSamples };
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","names":[],"sources":["../../src/search/lenses/edit-credit.ts","../../src/search/lenses/front.ts","../../src/search/lenses/geometry.ts","../../src/search/lenses/plateau.ts","../../src/search/lenses/landscape.ts","../../src/search/lenses/meta-search.ts","../../src/search/lenses/skill-manifold.ts","../../src/search/lenses/task-matrix.ts","../../src/search/lenses/tree.ts","../../src/search/nested-search.ts"],"mappings":";;;;;UA+FiB;;;;;;EAMf,aAAa,KAAK;;;EAGlB,QAAQ;;;EAGR;;KAGU;UAEK;EACf;EACA;EACA,UAAU;EACV;;EAEA;;UAGe;EACf;EACA;;;EAGA;;EAEA;;EAEA;;;;EAIA,YAAY;;EAEZ;;;EAGA;;EAEA;;;EAGA;EACA;;IAEE;;IAEA;;IAEA;;IAEA;;;;EAIF,QAAQ;EACR,SAAS;;;;EAIT;;UAGe;EACf;;EAEA;IACE;IACA;IACA;IACA;;;EAGF;EACA,QAAQ;;;;EAIR;;;EAGA;EACA;;EAEA;;EAEA;EACA;;;EAGA;;UAGe;;;;EAIf,UAAU,QAAQ;IAA2B;;EAC7C;IAAkB;IAAmB;MAAU;;;;EAE/C;EACA;EACA,QAAQ;;UAGO;EACf;EACA;EACA;EACA;EACA;EACA,UAAU;EACV,QAAQ;;EAER;EACA;;UAGe;EACf,OAAO;EACP;EACA;;IAEE;;IAEA;;IAEA,SAAS;;;;EAIX;IAAS;IAAe;;EACxB;IAAS;IAAe;IAAwB;;;EAEhD,OAAO;EACP,QAAQ,OAAO;;;EAGf,YAAY,OAAO;EACnB;IACE;;IAEA;;IAEA;IACA;IACA;;IAEA,OAAO;;EAET,iBAAiB;;;EAGjB;;IAEE;;;IAGA;IACA;;;;EAIF,SAAS;EACT;IACE,WAAW;IACX;IACA;IACA;IACA;;IAEA;;;;;UAMa,yBAAyB;;EAExC;;;EAGA;;KAGU,mBAAmB,WAAW;EACxC,QAAQ;;;;;;wBA0CM,WAAW,OAAO,iBAAiB,SAAS,oBAAoB;;;wBAs8BhE,eAAe,QAAQ,kBAAkB;EAAW;;;;UCtvCnD;EACf;EACA;;;;EAIA,MAAM,OAAO,iBAAiB;;UAGf;EACf;;;EAGA;;EAEA;EACA,QAAQ;;;EAGR;;;EAGA;;;EAGA;;;EAGA;;EAEA,UAAU;;KAGA;UAEK;EACf;EACA;EACA,MAAM;EACN;;EAEA;;EAEA,YAAY,OAAO;;UAGJ;EACf;EACA,OAAO;;;;;KAMG,cAAc;wBAEV,MACd,OAAO,iBACP,UAAS;EACN,MAAM;EAAW;IAAU;IAAc,OAAO;;;;;;;UClEpC,uBAAuB;;;EAGtC;;EAEA;;EAEA;;EAEA;;UAGe,mBAAmB,eAAe,WAAW;;EAE5D;EACA;;EAEA;EACA,QAAQ;;;;;;;;;wBAaM,cACd,OAAO,iBACP;EAAW;;;;;KCtCD,oBAAoB,KAC9B;UAIe;;EAEf;;UAGe;;;EAGf;EACA;;;;EAIA;;EAEA;;;EAGA;;;EAGA;EACA;IAAQ;IAAgB;IAAc;;;;EAGtC;EACA;EACA;EACA;;;;;;;wBAUc,cACd,MAAM,mBACN,UAAS,uBACR;UA6Ec;;;EAGf;;;EAGA;;;;;;;;;;;;;;;;;;;;;;wBAuBc,eACd,MAAM,cACN,UAAS,wBACR;;;;;;;;;;;;;;KCzGS;EACN;EAAiB;EAAc;;EAE/B;EACA;EACA;EACA,SAAS,GAAG,YAAY,GAAG;;EAG3B;EACA;EACA;EACA,OAAO,MAAM;;;wBAIH,gBAAgB;;;;;;;;;wBAiBhB,iBACd,OAAO,SAAS,qCACf;;wBAoDa,gBACd,cACA,SAAS,MAAM,0CACd;;;wBAsCa,iBAAiB,sBAAsB;UA2BtC;;EAEf;;EAEA;;EAEA;;;EAGA;;EAEA;;EAEA;;UAGe;EACf;EACA;EACA;EACA,QAAQ;;EAER;;EAEA;EACA;EACA;;;EAGA;;;EAGA;EACA;EACA,QAAQ;;;EAGR;;UAGe;EACf;EACA;EACA;EACA;;;;EAIA;;EAEA;EACA;;;;EAIA;IACE;IACA;IACA;;IAEA;;;;IAIA;;IAEA;;EAEF;;UAGe;;EAEf;IAAQ;IAAgB;IAAW;IAAW;IAAe;;;;;EAI7D;;;EAGA;EACA;EACA;;UAGe;EACf;EACA;EACA;IACE;IACA;IACA;;;IAGA;MAAoB;MAAgB;;;IAEpC;;IAEA;;;IAGA;IACA;IACA;;EAEF,OAAO;;EAEP,SAAS;IAAQ;IAAgB;IAAe;;EAChD,MAAM;EACN;EACA;IACE;;IAEA;;IAEA;;;IAGA;;IAEA;;;IAGA;IACA;IACA;IACA;IACA,OAAO;;EAET,SAAS;;;;;;;wBAmBK,UACd,OAAO,iBACP,QAAO,oBACP,UAAS,mBACR,mBAAmB;;;wBAi5BN,gBAAgB,MAAM,mBAAmB;;;;UCrsCxC;;;;EAIf;;EAEA;EACA;IACE;IACA;IACA;IACA;IACA;;;;EAIF,WACI;IAAQ,MAAM;IAAoB;IAAc,QAAQ;;IAEtD;;;;EAIN,mBACI;IACM;IAAe,OAAO;;IACtB;IAAuB,QAAQ;;IAEnC;;;;KAII;UAQK;EACf;;EAEA;;EAEA;;;;KAKU;EAEN;EACA;;EAEA;;EAGA;;;;EAIA;EACA;EACA;;EAEA;EAAmB;;KAEb;EAEN;EACA;;EAEA;;EAEA,UAAU;;EAEV;;EAEA;EACA,OAAO;EACP,YAAY;;EAGZ;EACA,UAAU;EACV,QAAQ;EACR;EACA,OAAO;;;KAID;EAEN;EACA;;EAEA;;EAEA;;EAGA;EACA;EACA;EACA;;;EAGA;EACA;;UAGW;EACf;EACA;EACA;IAAa;IAAgB;;;EAE7B;EACA;EACA,aAAa;EACb,QAAQ;EACR,cAAc;EACd;EACA;EACA;EACA;IAAS;IAAiB;;EAC1B;IACE,UAAU;IACV;IACA;IACA;;EAEF,OAAO;EACP,QAAQ;EACR;;EAEA;;;EAGA;IAAS,OAAO;IAA+C;;;;UAIhD;;;EAGf;EACA;EACA;EACA,QAAQ;EACR;;EAEA;;UAGe;EACf,cAAc;EACd;EACA,QAAQ;EACR;EACA;IAAa;IAAc;IAAc;IAA+B;;;EAExE;;EAEA;EACA,UAAU,QAAQ,OAAO;EACzB,UAAU;;;;EAIV,YAAY;IACV;IACA;IACA;IACA,oBAAoB;IACpB,eAAe;;;UAIF;EACf,UAAU;EACV;;EAEA,gBAAgB;EAChB;;EAEA;;;;UAKe;;EAEf;EACA;EACA,cAAc;EACd,QAAQ;EACR;EACA,QAAQ;EACR,gBAAgB;EAChB,OAAO;EACP;;;EAGA;EACA;;;;EAIA;IAAa;IAAkB;;;EAE/B;;UAGe;;EAEf;;;;EAIA;;;;qBA+BW,0BAA0B;;;;;;wBAUvB,mBAAmB,OAAO,kBAAkB;;;;;;wBAkD5C,gBAAgB,OAAO,kBAAkB;;wBAgFzC,WACd,mBAAmB,mBACnB,UAAS,oBACR,WAAW,gBAAgB;;wBA8Fd,aAAa,QAAQ,YAAY;UA+QhC;;;EAGf;;;;;;;;wBASc,qBACd,QAAQ,WAAW,gBAAgB,0BACnC,UAAS;;;UC9wBM;;EAEf;;EAEA;;EAEA;;EAEA;;EAEA;;;EAGA;;;;;;EAMA;;;;EAIA;;;EAGA,cAAc;;;;EAId;;;;EAIA;IAAU;IAAe;;;;UAIV;;EAEf;;;EAGA,MAAM;;;EAGN;EACA;EACA;EACA;;;EAGA;;EAEA,OAAO;IAAQ;IAAgB;IAAc;;;KAGnC;UAEK;EACf;EACA;EACA,QAAQ;;EAER;;;EAGA;;EAEA;EACA;;UAGe;EACf;;EAEA;;;EAGA;;;EAGA;;;EAGA;;EAEA;;UAGe;EACf;;;EAGA;;EAEA;;UAGe;EACf;EACA;;EAEA;EACA;EACA;IACE;IACA;;IAEA;IACA;;IAEA;;IAEA;IACA;;EAEF;IACE;IACA,MAAM;IACN;IACA;IACA;IACA;IACA;IACA;;;EAGF;IACE,QAAQ;MAAQ;MAAc;;;IAE9B;IACA;;EAEF;IACE;IACA;;IAEA;IACA;IACA,OAAO;MAAQ;MAAc;MAAe;;IAC5C;;;EAGF;EACA;EACA,OAAO;EACP,OAAO;EACP,SAAS;IAAQ;IAAgB;IAAuB;;EACxD,WAAW;;;EAGX;EACA;;;;;;;wBA8Cc,cACd,OAAO,iBACP,qBACA,UAAS,uBACR,mBAAmB;;;;;;wBA0SN,iBACd,MAAM,mBAAmB,qBACxB;;;;;;;;;wBAg3Ba,kBACd,aAAa,kBACb;EAAW;IACV;;wBAsEa,oBAAoB,MAAM,mBAAmB;;;UCn8C5C;EACf;EACA;;;EAGA;;UAGe;;EAEf;EACA;;UAGe;EACf;EACA;;;;;EAKA;;EAEA;;EAEA;;EAEA;;UAGe;EACf;EACA;;EAEA;;EAEA;IACE;IACA;IACA;;EAEF;EACA;EACA,cAAc;EACd,cAAc;EACd,OAAO;EACP,gBAAgB;;UAGD;EACf;;;;KAKU,mBAAmB;wBAEf,WACd,OAAO,iBACP,UAAS;EACN,MAAM;EAAgB;IAAU;IAAc,OAAO;;;;;UClFzC;EACf;EACA,QAAQ;EACR;;;EAGA;EACA;;;EAGA;EACA;EACA;;;EAGA,UAAU;EACV,UAAU;;UAGK;;;;;EAKf,OAAO;EACP;EACA;;wBAGc,KAAK,OAAO;EAC1B,MAAM;EACN;IAAU;IAAc;;;;;;KCId,0BAA0B,YAAY;;UAGjC,qBAAqB;EACpC,QAAQ;;EAER,aAAa;;;;EAIb;EACA;IAAQ;IAAgB;IAAgB,OAAO;IAAa;;EAC5D,QAAQ;;UAGO,uBAAuB,iBAC9B,KAAK,iBAAiB;;;EAG9B,QAAQ,oBAAoB;;;EAG5B,MAAM;;;EAGN,SAAS,OAAO,qBAAqB,WAAW,QAAQ;;;EAGxD,YAAY,OAAO,qBAAqB,WAAW,QAAQ;;;wBAI7C,eAAe,aAAa;;;;;wBAS5B,kBAAkB,YAAY,oBAAoB;;;;;;;wBA6B5C,gBAAgB,SACpC,SAAS,uBAAuB,WAC/B,QAAQ"}
+{"version":3,"file":"index.d.ts","names":[],"sources":["../../src/search/lenses/edit-credit-contract.ts","../../src/search/lenses/edit-credit-text.ts","../../src/search/lenses/edit-credit.ts","../../src/search/lenses/front.ts","../../src/search/lenses/geometry.ts","../../src/search/lenses/plateau.ts","../../src/search/lenses/landscape-contract.ts","../../src/search/lenses/landscape-embeddings.ts","../../src/search/lenses/landscape.ts","../../src/search/lenses/meta-search.ts","../../src/search/lenses/meta-search-text.ts","../../src/search/lenses/skill-manifold-contract.ts","../../src/search/lenses/skill-manifold.ts","../../src/search/lenses/task-matrix.ts","../../src/search/lenses/tree.ts","../../src/search/nested-search.ts"],"mappings":";;;;;UAyDiB;;;;;;EAMf,aAAa,KAAK;;;EAGlB,QAAQ;;;EAGR;;KAGU;UAEK;EACf;EACA;EACA,UAAU;EACV;;EAEA;;UAGe;EACf;EACA;;;EAGA;;EAEA;;EAEA;;;;EAIA,YAAY;;EAEZ;;;EAGA;;EAEA;;;EAGA;EACA;;IAEE;;IAEA;;IAEA;;IAEA;;;;EAIF,QAAQ;EACR,SAAS;;;;EAIT;;UAGe;EACf;;EAEA;IACE;IACA;IACA;IACA;;;EAGF;EACA,QAAQ;;;;EAIR;;;EAGA;EACA;;EAEA;;EAEA;EACA;;;EAGA;;UAGe;;;;EAIf,UAAU,QAAQ;IAA2B;;EAC7C;IAAkB;IAAmB;MAAU;;;;EAE/C;EACA;EACA,QAAQ;;UAGO;EACf;EACA;EACA;EACA;EACA;EACA,UAAU;EACV,QAAQ;;EAER;EACA;;UAGe;EACf,OAAO;EACP;EACA;;IAEE;;IAEA;;IAEA,SAAS;;;;EAIX;IAAS;IAAe;;EACxB;IAAS;IAAe;IAAwB;;;EAEhD,OAAO;EACP,QAAQ,OAAO;;;EAGf,YAAY,OAAO;EACnB;IACE;;IAEA;;IAEA;IACA;IACA;;IAEA,OAAO;;EAET,iBAAiB;;;EAGjB;;IAEE;;;IAGA;IACA;;;;EAIF,SAAS;EACT;IACE,WAAW;IACX;IACA;IACA;IACA;;IAEA;;;;;UAMa,yBAAyB;;EAExC;;;EAGA;;KAGU,mBAAmB,WAAW;EACxC,QAAQ;;;;;;wBCnPM,eAAe,QAAQ,kBAAkB;EAAW;;;;;;;;wBCkFpD,WAAW,OAAO,iBAAiB,SAAS,oBAAoB;;;UC/D/D;EACf;EACA;;;;EAIA,MAAM,OAAO,iBAAiB;;UAGf;EACf;;;EAGA;;EAEA;EACA,QAAQ;;;EAGR;;;EAGA;;;EAGA;;;EAGA;;EAEA,UAAU;;KAGA;UAEK;EACf;EACA;EACA,MAAM;EACN;;EAEA;;EAEA,YAAY,OAAO;;UAGJ;EACf;EACA,OAAO;;;;;KAMG,cAAc;wBAEV,MACd,OAAO,iBACP,UAAS;EACN,MAAM;EAAW;IAAU;IAAc,OAAO;;;;;;;UCjEpC,uBAAuB;;;EAGtC;;EAEA;;EAEA;;EAEA;;UAGe,mBAAmB,eAAe,WAAW;;EAE5D;EACA;;EAEA;EACA,QAAQ;;;;;KCxBE,oBAAoB,KAC9B;UAIe;;EAEf;;UAGe;;;EAGf;EACA;;;;EAIA;;EAEA;;;EAGA;;;EAGA;EACA;IAAQ;IAAgB;IAAc;;;;EAGtC;EACA;EACA;EACA;;UA0Fe;;;EAGf;;;EAGA;;;;;;;;;;;;;;;;;;;;;;wBAuBc,eACd,MAAM,cACN,UAAS,wBACR;;;;;;;;;;;;;;KCxJS;EACN;EAAiB;EAAc;;EAE/B;EACA;EACA;EACA,SAAS,GAAG,YAAY,GAAG;;EAG3B;EACA;EACA;EACA,OAAO,MAAM;;UAGF;;EAEf;;EAEA;;EAEA;;;EAGA;;EAEA;;EAEA;;UAGe;EACf;EACA;EACA;EACA,QAAQ;;EAER;;EAEA;EACA;EACA;;;EAGA;;;EAGA;EACA;EACA,QAAQ;;;EAGR;;UAGe;EACf;EACA;EACA;EACA;;;;EAIA;;EAEA;EACA;;;;EAIA;IACE;IACA;IACA;;IAEA;;;;IAIA;;IAEA;;EAEF;;UAGe;;EAEf;IAAQ;IAAgB;IAAW;IAAW;IAAe;;;;;EAI7D;;;EAGA;EACA;EACA;;UAGe;EACf;EACA;EACA;IACE;IACA;IACA;;;IAGA;MAAoB;MAAgB;;;IAEpC;;IAEA;;;IAGA;IACA;IACA;;EAEF,OAAO;;EAEP,SAAS;IAAQ;IAAgB;IAAe;;EAChD,MAAM;EACN;EACA;IACE;;IAEA;;IAEA;;;IAGA;;IAEA;;;IAGA;IACA;IACA;IACA;IACA,OAAO;;EAET,SAAS;;;;;wBC1JK,gBAAgB;;;;;;;;;wBAiBhB,iBACd,OAAO,SAAS,qCACf;;wBAoDa,gBACd,cACA,SAAS,MAAM,0CACd;;;;;;;;wBCVa,UACd,OAAO,iBACP,QAAO,oBACP,UAAS,mBACR,mBAAmB;;;;UCjBL;;;;EAIf;;EAEA;EACA;IACE;IACA;IACA;IACA;IACA;;;;EAIF,WACI;IAAQ,MAAM;IAAoB;IAAc,QAAQ;;IAEtD;;;;EAIN,mBACI;IACM;IAAe,OAAO;;IACtB;IAAuB,QAAQ;;IAEnC;;;;KAII;UAQK;EACf;;EAEA;;EAEA;;;;KAKU;EAEN;EACA;;EAEA;;EAGA;;;;EAIA;EACA;EACA;;EAEA;EAAmB;;KAEb;EAEN;EACA;;EAEA;;EAEA,UAAU;;EAEV;;EAEA;EACA,OAAO;EACP,YAAY;;EAGZ;EACA,UAAU;EACV,QAAQ;EACR;EACA,OAAO;;;KAID;EAEN;EACA;;EAEA;;EAEA;;EAGA;EACA;EACA;EACA;;;EAGA;EACA;;UAGW;EACf;EACA;EACA;IAAa;IAAgB;;;EAE7B;EACA;EACA,aAAa;EACb,QAAQ;EACR,cAAc;EACd;EACA;EACA;EACA;IAAS;IAAiB;;EAC1B;IACE,UAAU;IACV;IACA;IACA;;EAEF,OAAO;EACP,QAAQ;EACR;;EAEA;;;EAGA;IAAS,OAAO;IAA+C;;;;UAIhD;;;EAGf;EACA;EACA;EACA,QAAQ;EACR;;EAEA;;UAGe;EACf,cAAc;EACd;EACA,QAAQ;EACR;EACA;IAAa;IAAc;IAAc;IAA+B;;;EAExE;;EAEA;EACA,UAAU,QAAQ,OAAO;EACzB,UAAU;;;;EAIV,YAAY;IACV;IACA;IACA;IACA,oBAAoB;IACpB,eAAe;;;UAIF;EACf,UAAU;EACV;;EAEA,gBAAgB;EAChB;;EAEA;;;;UAKe;;EAEf;EACA;EACA,cAAc;EACd,QAAQ;EACR;EACA,QAAQ;EACR,gBAAgB;EAChB,OAAO;EACP;;;EAGA;EACA;;;;EAIA;IAAa;IAAkB;;;EAE/B;;UAGe;;EAEf;;;;EAIA;;;;;;;wBAQc,mBAAmB,OAAO,kBAAkB;;;qBAmF/C,0BAA0B;;;;;;wBAUvB,gBAAgB,OAAO,kBAAkB;;wBAsVzC,WACd,mBAAmB,mBACnB,UAAS,oBACR,WAAW,gBAAgB;;;UCnsBb;;;EAGf;;;;;;;;wBASc,qBACd,QAAQ,WAAW,gBAAgB,0BACnC,UAAS;;;UCzBM;;EAEf;;EAEA;;EAEA;;EAEA;;EAEA;;;EAGA;;;;;;EAMA;;;;EAIA;;;EAGA,cAAc;;;;EAId;;;;EAIA;IAAU;IAAe;;;;UAIV;;EAEf;;;EAGA,MAAM;;;EAGN;EACA;EACA;EACA;;;EAGA;;EAEA,OAAO;IAAQ;IAAgB;IAAc;;;KAGnC;UAEK;EACf;EACA;EACA,QAAQ;;EAER;;;EAGA;;EAEA;EACA;;UAGe;EACf;;EAEA;;;EAGA;;;EAGA;;;EAGA;;EAEA;;UAGe;EACf;;;EAGA;;EAEA;;UAGe;EACf;EACA;;EAEA;EACA;EACA;IACE;IACA;;IAEA;IACA;;IAEA;;IAEA;IACA;;EAEF;IACE;IACA,MAAM;IACN;IACA;IACA;IACA;IACA;IACA;;;EAGF;IACE,QAAQ;MAAQ;MAAc;;;IAE9B;IACA;;EAEF;IACE;IACA;;IAEA;IACA;IACA,OAAO;MAAQ;MAAc;MAAe;;IAC5C;;;EAGF;EACA;EACA,OAAO;EACP,OAAO;EACP,SAAS;IAAQ;IAAgB;IAAuB;;EACxD,WAAW;;;EAGX;EACA;;;;;;;;;wBC5Ec,cACd,OAAO,iBACP,qBACA,UAAS,uBACR,mBAAmB;;;;;;wBA0SN,iBACd,MAAM,mBAAmB,qBACxB;;;;;;;;;wBAoEa,kBACd,aAAa,kBACb;EAAW;IACV;;;UCvac;EACf;EACA;;;EAGA;;UAGe;;EAEf;EACA;;UAGe;EACf;EACA;;;;;EAKA;;EAEA;;EAEA;;EAEA;;UAGe;EACf;EACA;;EAEA;;EAEA;IACE;IACA;IACA;;EAEF;EACA;EACA,cAAc;EACd,cAAc;EACd,OAAO;EACP,gBAAgB;;UAGD;EACf;;;;KAKU,mBAAmB;wBAEf,WACd,OAAO,iBACP,UAAS;EACN,MAAM;EAAgB;IAAU;IAAc,OAAO;;;;;UClFzC;EACf;EACA,QAAQ;EACR;;;EAGA;EACA;;;EAGA;EACA;EACA;;;EAGA,UAAU;EACV,UAAU;;UAGK;;;;;EAKf,OAAO;EACP;EACA;;wBAGc,KAAK,OAAO;EAC1B,MAAM;EACN;IAAU;IAAc;;;;;;KCId,0BAA0B,YAAY;;UAGjC,qBAAqB;EACpC,QAAQ;;EAER,aAAa;;;;EAIb;EACA;IAAQ;IAAgB;IAAgB,OAAO;IAAa;;EAC5D,QAAQ;;UAGO,uBAAuB,iBAC9B,KAAK,iBAAiB;;;EAG9B,QAAQ,oBAAoB;;;EAG5B,MAAM;;;EAGN,SAAS,OAAO,qBAAqB,WAAW,QAAQ;;;EAGxD,YAAY,OAAO,qBAAqB,WAAW,QAAQ;;;wBAI7C,eAAe,aAAa;;;;;wBAS5B,kBAAkB,YAAY,oBAAoB;;;;;;;wBA6B5C,gBAAgB,SACpC,SAAS,uBAAuB,WAC/B,QAAQ"}

package/dist/search/index.js

@@ -1,6 +1,6 @@
-import { a as hashCanonical } from "../canonical-BsZVgBhW.js";
-import { g as operatorYield, h as MIN_OUTCOMES_FOR_WEIGHT, m as EXPANSION_OPERATORS, n as runSearch, v as rankingSplit, y as summarizeSamples } from "../search-kernel-BztlERLv.js";
-import { C as editCredit, S as front, _ as surfaceTextEdits, a as skillCalibration, b as searchPlateau, c as metaSearch, d as renderMetaSearchText, f as searchPolicyGenome, g as lineageEdits, h as lineEditDistance, i as nextUnitExtension, l as metaSearchScore, m as landscape, n as taskMatrix, o as skillManifold, p as formatLandscape, r as formatSkillManifold, s as META_SEARCH_SCORE_SOURCE, t as tree, u as objectiveKey, v as vectorEmbedding, w as editCreditText, x as screenedNodes, y as draftOnPlateau } from "../tree-rXLW3M_4.js";
+import { a as hashCanonical } from "../canonical-Dq2hOQ8L.js";
+import { c as MIN_OUTCOMES_FOR_WEIGHT, f as summarizeSamples, i as runSearch, l as operatorYield } from "../pareto-BzsxidFD.js";
+import { _ as vectorEmbedding, a as skillCalibration, b as editCreditText, c as META_SEARCH_SCORE_SOURCE, d as searchPolicyGenome, f as landscape, g as surfaceTextEdits, h as lineageEdits, i as nextUnitExtension, l as metaSearch, n as taskMatrix, o as skillManifold, p as draftOnPlateau, s as renderMetaSearchText, t as tree, u as metaSearchScore, v as front, y as editCredit } from "../tree-BGRglkKd.js";
 //#region src/search/nested-search.ts
 /** The deterministic id of the inner search one outer cell attempt runs. */
 function nestedSearchId(containment) {
@@ -182,6 +182,6 @@ function asRecord(value) {
 	return value !== null && typeof value === "object" && !Array.isArray(value) ? value : { value };
 }
 //#endregion
-export { EXPANSION_OPERATORS, META_SEARCH_SCORE_SOURCE, MIN_OUTCOMES_FOR_WEIGHT, draftOnPlateau, editCredit, editCreditText, formatLandscape, formatSkillManifold, front, landscape, lineEditDistance, lineageEdits, metaSearch, metaSearchScore, nestedSearchId, nextUnitExtension, objectiveKey, operatorYield, rankingSplit, renderMetaSearchText, runNestedSearch, screenedNodes, searchConfigCodec, searchPlateau, searchPolicyGenome, skillCalibration, skillManifold, summarizeSamples, surfaceTextEdits, taskMatrix, tree, vectorEmbedding };
+export { META_SEARCH_SCORE_SOURCE, MIN_OUTCOMES_FOR_WEIGHT, draftOnPlateau, editCredit, editCreditText, front, landscape, lineageEdits, metaSearch, metaSearchScore, nestedSearchId, nextUnitExtension, operatorYield, renderMetaSearchText, runNestedSearch, searchConfigCodec, searchPolicyGenome, skillCalibration, skillManifold, summarizeSamples, surfaceTextEdits, taskMatrix, tree, vectorEmbedding };
 
 //# sourceMappingURL=index.js.map

package/dist/{search-kernel-CpcKH5Ih.d.ts → search-kernel-DxqjBxA-.d.ts}

@@ -1,9 +1,9 @@
-import { o as CostLedger } from "./cost-ledger-CO7UyEcQ.js";
-import { a as RunRecord } from "./run-record-D1Hw-Jml.js";
-import { a as PairedPromotionDecision } from "./paired-promotion-decision-DPKz8ZnF.js";
+import { t as CostLedger } from "./cost-ledger-Jk62OBfF.js";
+import { a as RunRecord } from "./run-record-CaxbLq6Y.js";
+import { a as PairedPromotionDecision } from "./paired-promotion-decision-CQMJ5xGN.js";
 import { A as SearchLedgerHash, C as SearchEdgeOperator, E as SearchExecutionIdentity, G as SearchSplit, H as SearchProposerKind, I as SearchNodeStatus, L as SearchOpenedEvent, N as SearchNodeDecision, O as SearchLedgerEntry, P as SearchNodeRef, Q as SearchTaskOutcome, R as SearchOperationKind, S as SearchEdgeAttribution, T as SearchEstimateMethod, U as SearchReservation, V as SearchProposer, W as SearchSourceRef, Y as SearchSurfaceEvidence, Z as SearchTask, _ as SearchClaimPower, a as SearchAttemptAccounting, et as SearchTraceRef, i as SearchArtifactRef, j as SearchModelIdentity, k as SearchLedgerEvent, l as SearchCandidateSurface, m as SearchClaim, nt as EvaluationClaim, o as SearchAudit, p as SearchCellStage, t as NodeEstimate, tt as SearchUnknown, y as SearchCloseReason, z as SearchOperationRecordedEvent } from "./search-ledger-types-p2xKfiDJ.js";
-import { A as LedgerTrustedHead, C as LedgerLineContext, E as LedgerTextStore, j as LedgerTrustedHeadRemoval } from "./index-DHKEAv3s.js";
-import { $ as SearchNode, at as SearchUnitScore, it as SearchStateView, j as MutableSurface, tt as SearchScoredCell } from "./types-B4C5nFw6.js";
+import { C as LedgerTrustedHead, v as LedgerLineContext, w as LedgerTrustedHeadRemoval, x as LedgerTextStore } from "./index-9jJ2fKSX.js";
+import { X as SearchStateView, at as SearchUnitScore, j as MutableSurface, rt as SearchScoredCell, tt as SearchNode } from "./types-D8GhJoHk.js";
 //#region src/campaign/storage.d.ts
 /**
  * `CampaignStorage` — the filesystem seam `runCampaign` writes through
@@ -223,19 +223,10 @@ interface SearchHistoryCoverage {
   readonly allComplete: boolean;
   readonly producers: readonly SearchHistoryCoverageRow[];
 }
-declare class SearchHistoryRequiredError extends Error {
-  readonly producerId: string;
-  readonly reasons: readonly string[];
-  constructor(producerId: string, reasons: readonly string[]);
-}
 /** Verify a receipt's own consistency and digest. */
 declare function verifySearchHistoryReceipt(receipt: SearchHistoryReceipt): SearchHistoryReceipt;
 /** Prove that a receipt describes exactly the supplied replayed state. */
 declare function assertSearchHistoryMatchesState(receipt: SearchHistoryReceipt, state: SearchStateView): void;
-/** Require a receipt owned by this producer over a closed search. */
-declare function assertCompleteSearchHistory(producerId: string, receipt: SearchHistoryReceipt | undefined): asserts receipt is SearchHistoryReceipt;
-/** Classify one producer's history without treating malformed evidence as absence. */
-declare function searchHistoryCoverageRow(producerId: string, receipt: SearchHistoryReceipt | undefined): SearchHistoryCoverageRow;
 //#endregion
 //#region src/campaign/search-ledger-recording.d.ts
 /** Identities the ledger needs and a loop cannot infer. */
@@ -416,10 +407,6 @@ declare function surfaceNode(recorder: SearchRecorder, surface: MutableSurface):
 declare function surfaceDiff(recorder: SearchRecorder, parent: MutableSurface, child: MutableSurface): SearchArtifactRef;
 //#endregion
 //#region src/search/lenses/shared.d.ts
-/** The search's own ranking split: selection when the search declares one,
- * else train. Matches `searchPolicyView` and `agent-eval search show`, so a
- * lens ranks nodes on exactly the split the search itself ranks them on. */
-declare function rankingSplit(state: SearchStateView): 'train' | 'selection';
 /** One named signal a `SearchPolicy` can read: a small, quantitative payload
  * under one label, so a policy reads `signal.value` without knowing a lens's
  * full `data` shape. */
@@ -439,7 +426,7 @@ interface LensResult<TData, TSignal> {
  * (decision-grade interval) from there. Unlike `estimateNode`, these samples
  * are not paired on a shared unit, so this is never a claim — only a
  * lens's own honest description of what it measured. */
-interface SampleSummary {
+interface LensSampleSummary {
   n: number;
   mean: number | null;
   method: 'none' | 'insufficient' | 'descriptive' | 'bootstrap';
@@ -450,7 +437,7 @@ interface SampleSummary {
    * so a fixed sample always gives the same interval. */
   intervalMethod: 'percentile-bootstrap-of-mean' | null;
 }
-declare function summarizeSamples(samples: readonly number[], seed?: number): SampleSummary;
+declare function summarizeSamples(samples: readonly number[], seed?: number): LensSampleSummary;
 //#endregion
 //#region src/search/lenses/operator-yield.d.ts
 /** The operators an expansion may choose (`SearchExpansion.operator` in
@@ -484,7 +471,7 @@ interface OperatorYieldRow {
    * units shared with the root, or a proposal or screen cost that is
    * unknown, unrecorded or zero. Never imputed into `yield`. */
   excluded: number;
-  yield: SampleSummary;
+  yield: LensSampleSummary;
 }
 interface OperatorYieldData {
   split: 'train' | 'selection';
@@ -739,7 +726,7 @@ interface AideOptions {
   stallAfter?: number;
 }
 /**
- * AIDE's search policy (`aide/agent.py`, `search_policy`) with three changes
+ * AIDE's search_policy with three changes
  * for noisy scores.
  *
  * 1. **Draft** while fewer than `drafts` nodes were drafted: the root is the
@@ -1015,9 +1002,7 @@ declare function verifySearchClaim(state: SearchStateView): SearchClaimVerificat
  */
 declare function searchClaimDecision(state: SearchStateView, nodeId: string): PairedPromotionDecision | null;
 //#endregion
-//#region src/campaign/search-kernel.d.ts
-/** The kernel every `runSearch` ledger names as its search implementation. */
-declare const SEARCH_KERNEL_SOURCE: SearchSourceRef;
+//#region src/campaign/search-kernel-contract.d.ts
 /** An execution lane: a pool of slots whose cells share a cost rule. */
 interface SearchLane {
   name: string;
@@ -1156,10 +1141,6 @@ interface SearchRunResult {
    * revision made; null without a claim. */
   claimVerification: SearchClaimVerification | null;
 }
-/** Run a search to its close, or continue one from its ledger. */
-declare function runSearch<TArtifact>(options: RunSearchOptions<TArtifact>): Promise<SearchRunResult>;
-/** The expansion index a kernel operation id encodes, or null. */
-declare function searchExpansionIndex(operationId: string): number | null;
 /** The stored output of one proposal: enough to register its children again. */
 interface SearchProposalBlob {
   kind: 'search-proposal';
@@ -1178,6 +1159,8 @@ interface SearchProposalBlob {
     invalid: string | null;
   }>;
 }
+//#endregion
+//#region src/campaign/search-kernel-policy-view.d.ts
 /**
  * A policy's read of a search: `screened` lists the admitted nodes whose screen
  * finished, in registration order; `screening` counts the admitted nodes still
@@ -1204,5 +1187,9 @@ declare function searchDivergence(state: SearchStateView, nodeId: string): {
   reason: string;
 } | null;
 //#endregion
-export { searchEstimateMethod as $, fsCampaignStorage as $t, SearchAllocator as A, SearchHistoryAuditSummary as At, SearchPolicyView as B, verifySearchHistoryArtifact as Bt, decideSearchClaim as C, SettleSearchCellInput as Ct, verifySearchClaim as D, surfaceNode as Dt, searchClaimReserveUsd as E, surfaceDiff as Et, uniform as F, SearchHistoryRequiredError as Ft, incumbentWithOperatorBandit as G, SearchLedgerAppendResult as Gt, beam as H, FileSearchLedger as Ht, AideOptions as I, assertCompleteSearchHistory as It, SEARCH_ESTIMATOR as J, parseSearchLedgerLine as Jt, EstimateNodeCellsInput as K, SearchLedgerTrustedHeadMode as Kt, SearchExpansion as L, assertSearchHistoryMatchesState as Lt, SearchRungDecision as M, SearchHistoryCoverageRow as Mt, SearchUnitExtension as N, SearchHistoryPolicy as Nt, AshaOptions as O, CreateSearchHistoryReceiptInput as Ot, asha as P, SearchHistoryReceipt as Pt, searchCellSetDigest as Q, createRunCostLedger as Qt, SearchPolicy as R, createSearchHistoryReceipt as Rt, SearchClaimVerification as S, SearchRunIdentity as St, searchClaimDecision as T, searchEdgeId as Tt, crowdedFrontierParent as U, OpenSearchLedgerOptions as Ut, aide as V, verifySearchHistoryReceipt as Vt, incumbent as W, SearchLedger as Wt, estimateNode as X, validateSearchLedgerEvent as Xt, SearchPosterior as Y, replaySearchLedgerText as Yt, estimateNodeFromCells as Z, CampaignStorage as Zt, searchPolicyView as _, RegisterSearchNodeInput as _t, SearchCellWork as a, OperatorYieldData as at, SearchClaimDecision as b, SearchRecorder as bt, SearchProposalBlob as c, OperatorYieldSignal as ct, SearchProposedChild as d, LensSignal as dt, inMemoryCampaignStorage as en, searchPosterior as et, SearchProposerPort as f, SampleSummary as ft, searchExpansionIndex as g, RecordSearchEdgeInput as gt, searchDivergence as h, AllocateSearchCellInput as ht, SearchCellResult as i, OperatorOutcomeCounts as it, SearchCellPlan as j, SearchHistoryCoverage as jt, SearchAllocationView as k, SearchHistoryAdmissionOptions as kt, SearchProposalRequest as l, operatorYield as lt, runSearch as m, summarizeSamples as mt, SEARCH_KERNEL_SOURCE as n, ExpansionOperator as nt, SearchExecutor as o, OperatorYieldOptions as ot, SearchRunResult as p, rankingSplit as pt, NodePosterior as q, openSearchLedger as qt, SearchArtifactCodec as r, MIN_OUTCOMES_FOR_WEIGHT as rt, SearchLane as s, OperatorYieldRow as st, RunSearchOptions as t, EXPANSION_OPERATORS as tt, SearchProposalResult as u, LensResult as ut, PlanSearchClaimInput as v, SearchLedgerBinding as vt, planSearchClaim as w, developmentClaim as wt, SearchClaimPlan as x, SearchRecorderOptions as xt, SEARCH_CLAIM_RULE as y, SearchOpening as yt, SearchPolicyNode as z, searchHistoryCoverageRow as zt };
-//# sourceMappingURL=search-kernel-CpcKH5Ih.d.ts.map
+//#region src/campaign/search-kernel.d.ts
+/** Run a search to its close, or continue one from its ledger. */
+declare function runSearch<TArtifact>(options: RunSearchOptions<TArtifact>): Promise<SearchRunResult>;
+//#endregion
+export { ExpansionOperator as $, SearchRungDecision as A, SearchHistoryReceipt as At, beam as B, openSearchLedger as Bt, searchClaimDecision as C, surfaceNode as Ct, SearchAllocationView as D, SearchHistoryCoverage as Dt, AshaOptions as E, SearchHistoryAuditSummary as Et, SearchExpansion as F, FileSearchLedger as Ft, NodePosterior as G, createRunCostLedger as Gt, incumbent as H, replaySearchLedgerText as Ht, SearchPolicy as I, OpenSearchLedgerOptions as It, estimateNode as J, SEARCH_ESTIMATOR as K, fsCampaignStorage as Kt, SearchPolicyNode as L, SearchLedger as Lt, asha as M, createSearchHistoryReceipt as Mt, uniform as N, verifySearchHistoryArtifact as Nt, SearchAllocator as O, SearchHistoryCoverageRow as Ot, AideOptions as P, verifySearchHistoryReceipt as Pt, searchPosterior as Q, SearchPolicyView as R, SearchLedgerAppendResult as Rt, planSearchClaim as S, surfaceDiff as St, verifySearchClaim as T, SearchHistoryAdmissionOptions as Tt, incumbentWithOperatorBandit as U, validateSearchLedgerEvent as Ut, crowdedFrontierParent as V, parseSearchLedgerLine as Vt, EstimateNodeCellsInput as W, CampaignStorage as Wt, searchCellSetDigest as X, estimateNodeFromCells as Y, searchEstimateMethod as Z, SEARCH_CLAIM_RULE as _, SearchRecorderOptions as _t, SearchArtifactCodec as a, OperatorYieldSignal as at, SearchClaimVerification as b, developmentClaim as bt, SearchExecutor as c, LensSampleSummary as ct, SearchProposalRequest as d, AllocateSearchCellInput as dt, MIN_OUTCOMES_FOR_WEIGHT as et, SearchProposalResult as f, RecordSearchEdgeInput as ft, PlanSearchClaimInput as g, SearchRecorder as gt, SearchRunResult as h, SearchOpening as ht, RunSearchOptions as i, OperatorYieldRow as it, SearchUnitExtension as j, assertSearchHistoryMatchesState as jt, SearchCellPlan as k, SearchHistoryPolicy as kt, SearchLane as l, LensSignal as lt, SearchProposerPort as m, SearchLedgerBinding as mt, searchDivergence as n, OperatorYieldData as nt, SearchCellResult as o, operatorYield as ot, SearchProposedChild as p, RegisterSearchNodeInput as pt, SearchPosterior as q, inMemoryCampaignStorage as qt, searchPolicyView as r, OperatorYieldOptions as rt, SearchCellWork as s, LensResult as st, runSearch as t, OperatorOutcomeCounts as tt, SearchProposalBlob as u, summarizeSamples as ut, SearchClaimDecision as v, SearchRunIdentity as vt, searchClaimReserveUsd as w, CreateSearchHistoryReceiptInput as wt, decideSearchClaim as x, searchEdgeId as xt, SearchClaimPlan as y, SettleSearchCellInput as yt, aide as z, SearchLedgerTrustedHeadMode as zt };
+//# sourceMappingURL=search-kernel-DxqjBxA-.d.ts.map

package/dist/search-kernel-DxqjBxA-.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"search-kernel-DxqjBxA-.d.ts","names":[],"sources":["../src/campaign/storage.ts","../src/campaign/search-ledger.ts","../src/campaign/search-history-receipt.ts","../src/campaign/search-ledger-recording.ts","../src/search/lenses/shared.ts","../src/search/lenses/operator-yield.ts","../src/campaign/estimate-node.ts","../src/campaign/search-policy.ts","../src/campaign/allocation.ts","../src/campaign/search-claim.ts","../src/campaign/search-kernel-contract.ts","../src/campaign/search-kernel-policy-view.ts","../src/campaign/search-kernel.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;UAoBiB;;;;WAIN;;EAET,UAAU;;EAEV,OAAO;;EAEP,KAAK;;EAEL,MAAM,cAAc,kBAAkB;;;EAGtC,OAAO,cAAc,iBAAiB;;;;;;;;;iBAUxB,qBAAqB;;;;iBA2CrB,2BAA2B;;iBAoC3B,oBAAoB;EAClC,SAAS;EACT;EACA;;EAEA;IACE;;;;;iBC0ZY,0BAA0B,iBAAiB;;;;;;;;;;;;;;KAqB/C;UAEK;EACf;EACA;EACA,cAAc;;;;;;;EAOd,QAAQ;;UAGO;EACf,OAAO;;EAEP;EACA,OAAO;;UAGQ;WACN;WACA;;WAEA;EACT,OAAO,OAAO,oBAAoB,QAAQ;;EAE1C,SAAS,QAAQ;;EAEjB,eAAe,QAAQ;;EAEvB,kBAAkB,QAAQ;;;EAG1B,oBAAoB,QAAQ;;;;iBAKd,iBAAiB,SAAS,0BAA0B;;;iBAOpD,uBACd,cACA,kBACA,iBACC;;;;;;;;iBAWa,sBACd,cACA,kBACA,SAAS,oBACR;;cAwDU,4BAA4B;WAC9B;WACA;WACA;mBACQ;mBACA;EAMjB,YAAY,cAAc,kBAAkB,cAAa;EAcnD,SAAS,QAAQ;EAIjB,OAAO,OAAO,oBAAoB,QAAQ;EAU1C,eAAe,QAAQ;EAIvB,kBAAkB,QAAQ;EAI1B,oBAAoB,QAAQ;;;;cCntB9B;cACA;;UAGW;WACN;WACA,UAAU;WACV,QAAQ;WACR,aAAa;WACb;WACA;WACA;WACA;WACA;WACA;WACA;WACA;WACA;WACA;;;;;;;;;;;;UAaM;WACN,sBAAsB;WACtB;WACA,wBAAwB;WACxB,eAAe;;WAEf;;WAEA;;WAEA,QAAQ;;WAER,aAAa;WACb,SAAS;WACT;WACA;;UAGM;WACN;WACA;WACA;aAAmB;aAAuB;;WAC1C,UAAU,KAAK;;KAGd;UAEK;;;EAGf,sBAAsB;;EAEtB;;;;iBAsBc,2BACd,OAAO,kCACN;;;iBAWa,4BACd,SAAS,sBACT,SAAS,KAAK;UAuBC;WACN;WACA;WACA;WACA,kBAAkB;WAClB,UAAU;;WAEV;;UAGM;WACN,QAAQ;WACR;WACA,oBAAoB;;;iBAiBf,2BAA2B,SAAS,uBAAuB;;iBA+B3D,gCACd,SAAS,sBACT,OAAO;;;;UC9HQ;;EAEf,OAAO;;EAEP,UAAU;;EAEV,QAAQ;;EAER,OAAO;;EAEP;;EAEA,QAAQ;;;EAGR,QAAQ;;;UAIO;EACf,QAAQ;EACR,UAAU;;;iBAII,iBAAiB,uBAAuB;;KAW5C,gBAAgB,KAC1B;EAGA;IACE,OAAO;IACP,WAAW;IACX,MAAM;IACN;;;UAIa;EACf,QAAQ;;EAER;EACA,UAAU;;EAEV;;UAGe;EACf;EACA,UAAU;EACV,UAAU;;UAGK;EACf;;EAEA,SAAS,eAAe;EACxB,UAAU;EACV,aAAa;EACb,UAAU;;;EAGV;EACA;IAAc;IAAc,UAAU;;;EAEtC,oBAAoB;;EAEpB,OAAO,MAAM,oBAAoB;EACjC;;UAGe;EACf;EACA;EACA,OAAO;EACP;EACA,OAAO;EACP;EACA,cAAc;;UAGC;EACf;;EAEA;EACA,SAAS;EACT,YAAY;EACZ,UAAU;EACV;EACA;EACA;EACA;IAAc;IAAc;;EAC5B,kBAAkB;EAClB,WAAW;;EAEX,YAAY;EACZ,YAAY;;;iBAIE,aAAa,kBAAkB,qBAAqB;;cAQvD;WACF,QAAQ;mBACA;mBACA;mBACA;mBACA;UACT;UAED;;;;;SAuBM,KACX,SAAS,uBACT,SAAS,eACT,YAAW,sBACV,QAAQ;MAuCP;;EAKJ,SAAS,QAAQ;;EAKjB,KAAK,cAAc,gBAAgB;;;;;;EAsBnC,SAAS,KAAK;;EAkBR,aACJ,OAAO,0BACN;IAAU;IAAgB;;;EAmBvB,WAAW,OAAO,wBAAwB;EAmC1C,eAAe;IACnB;IACA,eAAe;IACf,cAAc;;;IAGd,YAAY;MACV;EAcE,gBACJ,OAAO,KAAK;IACV,YAAY;MAEb;;EAaG,aAAa,OAAO,0BAA0B;;EAyB9C,WAAW,OAAO,wBAAwB;EA2C1C,WAAW;IACf;IACA;MACE;;EAgBE,WAAW;IACf;IACA,UAAU;IACV,QAAQ;IACR;IACA;MACE;;;EAqBE,MAAM;IAAS,QAAQ;IAAmB,OAAO;MAAuB;;EAc9E,QAAQ;IAAS;IAAoB;MAAkB;UAIzC;;UAKN;;;iBAQM,YACd,UAAU,gBACV,SAAS,iBACR;;iBAUa,YACd,UAAU,gBACV,QAAQ,gBACR,OAAO,iBACN;;;;;;UCxhBc,WAAW;EAC1B;EACA,OAAO;;UAGQ,WAAW,OAAO;EACjC,MAAM;EACN,QAAQ,WAAW;;;;;;;;;;UAWJ;EACf;EACA;EACA;EACA;;;;;EAKA;;iBAGc,iBAAiB,4BAA4B,gBAAgB;;;;;;cCVhE;KACD,4BAA4B;;;;;cAM3B;UAKI;EACf;EACA;EACA;EACA;EACA;EACA;EACA;;UAGe;EACf,UAAU;;EAEV;;EAEA;;EAEA,UAAU;;;;EAIV;EACA,OAAO;;UAGQ;EACf;;EAEA;EACA,MAAM;;UAGS;EACf;;;;;KAMU,sBAAsB,OAAO;iBAEzB,cACd,OAAO,iBACP,UAAS;EACN,MAAM;EAAmB;IAAU;IAAc,OAAO;;;;;;cCvChD,kBAAkB;;;iBAOf,qBAAqB,gBAAgB;UAOpC;EACf;EACA;EACA,OAAO;EACP;;EAEA,oBAAoB;;EAEpB,uBAAuB;;;;;;;iBAQT,oBACd,OAAO,KAAK,uCACX;;;;;;;;;;;;;;;;;;;iBA+Ba,sBAAsB,OAAO,yBAAyB;;;;;;iBAiDtD,aACd,OAAO,iBACP,gBACA;EAAW;EAAiB,OAAO;IAClC;;UAmBc;EACf;;EAEA;;;EAGA;;EAEA;;UAGe;EACf,OAAO;EACP;;;;;;EAMA;;EAEA;;EAEA,OAAO;;;;;;;;;iBAUO,gBACd,OAAO,iBACP;EAAW,QAAQ;IAClB;;;;UClNc;WACN;WACA;WACA;;;WAGA;WACA;;WAEA;;WAEA;;WAEA;;;;EAIT,SAAS;;EAET,WAAW,0BAA0B;;EAErC,SAAS,gBAAgB,kBAAkB;;;EAG3C,kBAAkB;;;WAGT,WAAW;;;;;WAKX,iBAAiB;;;UAIX;WACN;WACA;;WAEA;;WAEA,UAAU;;;WAGV;;WAEA;;WAEA,QAAQ;;WAER;;;;WAIA;;;UAIM;EACf;EACA,UAAU,QAAQ;;EAElB;IAAa;IAAc,UAAU;;;UAGtB;;WAEN;;WAEA;;EAET,OAAO,MAAM,mBAAmB;;EAEhC,OAAO,MAAM;;;;;;;;;;;;;;iBAeC,UACd;EAAW;EAAmB;IAC7B;;;;;;;;;;;;;;;;;;;;;;;iBA+Ca,4BACd;EACE;EACA;EACA,eAAe,QAAQ,OAAO;IAE/B;;;;;;;;;;iBAyEa,sBAAsB;EAAW;IAAiB;UA4BjD;;;EAGf;;EAEA;;EAEA;;;EAGA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAoCc,KAAK,UAAS,cAAmB;;;;;;;;;;;iBAmIjC,KAAK;EAAW;IAAkB;;;;UCxajC;EACf;EACA,OAAO;EACP;EACA,OAAO;;;UAIQ;WACN,OAAO;;;EAGhB,KAAK;;;UAIU;EACf;EACA;IAAY;IAAoB;;IAAmB;;;EAEnD,OAAO;EACP;EACA;;UAGe;;WAEN;;WAEA;;;EAGT,KAAK,OAAO,iBAAiB,gBAAgB,eAAe;;;EAG5D,WAAW,OAAO;;;EAGlB,QAAQ,MAAM,uBAAuB;;;EAGrC,MAAM,MAAM,sBAAsB,eAAe;;;;;;;;;iBAUnC,QAAQ;EAAW;IAAuB;UA8BzC;;;;EAIf;;;EAGA;;;EAGA;;EAEA;;;EAGA,SAAS;;;;;;;;;;UAWM;;WAEN;;;;;;EAMT,OAAO;IACL,OAAO;IACP;IACA;IACA;;IAEA;IACA;IACA;;;;;;;;;;;;;;;;;;;;;iBAsBY,KAAK,UAAS,cAAmB;;;;cCtFpC,mBAAmB;;;;;;;iBAchB,sBAAsB;EACpC;EACA;EACA;;;;;;UASe;EACf;EACA,MAAM;;EAEN,YAAY;;EAEZ,WAAW;IAAQ;IAAgB;;EACnC,OAAO;;;EAGP;EACA;;UAGe;EACf,YAAY;;EAEZ;;EAEA,WAAW;;;iBAIG,gBACd,OAAO,iBACP,OAAO,uBACN;;UAqGc;EACf;EACA,UAAU;EACV,OAAO;EACP;EACA;;;;;;;iBAQc,kBACd,OAAO,iBACP,MAAM;EACH,OAAO;EAAa,WAAW;;;KA4HxB;EACN;;;;EAEA;EAAoB;;;;;EAGpB;EAAmB;;;;;;;;;;;;;;;;;;;iBAmBT,kBAAkB,OAAO,kBAAkB;;;;;;;;;;;;;;iBAiF3C,oBACd,OAAO,iBACP,iBACC;;;;UCtZc;EACf;;EAEA;;;EAGA;;;EAGA;;;UAIe,eAAe;EAC9B;EACA;EACA;EACA;EACA;EACA,OAAO;EACP;EACA,OAAO;EACP;EACA;;EAEA;EACA,UAAU;EACV,QAAQ;;;;;KAME,mBAAmB,KAAK;;;UAInB,eAAe;EAC9B,kBAAkB;;EAElB,MAAM,MAAM;IAAmB;;EAC/B,IAAI,MAAM,eAAe,aAAa,QAAQ;;;;EAI9C,MAAM,MAAM,eAAe,aAAa,QAAQ;;;UAIjC,oBAAoB;;EAEnC,KAAK,UAAU,gBAAgB,UAAU,YAAY;;EAErD,KACE,UAAU,gBACV,QAAQ,WACR,OAAO,YACN,oBAAoB;;EAEvB,KAAK,UAAU,gBAAgB,MAAM,aAAa;;UAGnC,sBAAsB;EACrC;EACA;EACA,UAAU,QAAQ;;EAElB,SAAS;IAAgB;IAAgB,UAAU;;;EAEnD;EACA,QAAQ;;;UAIO,oBAAoB;EACnC,UAAU;EACV;;EAEA;;;EAGA,cAAc,SAAS;;UAGR,qBAAqB;EACpC,UAAU,cAAc,oBAAoB;;EAE5C;;EAEA,YAAY;EACZ,YAAY;;;UAIG,mBAAmB;WACzB;WACA,MAAM;WACN,QAAQ;WACR,WAAW;;WAEX;;;WAGA;EACT,QAAQ,SAAS,sBAAsB,aAAa,QAAQ,qBAAqB;;UAGlE,iBAAiB;;EAEhC,UAAU;;EAEV,MAAM;EACN,OAAO,oBAAoB;EAC3B,QAAQ;EACR,YAAY;EACZ,UAAU,mBAAmB;EAC7B,UAAU,eAAe;;;EAGzB,SAAS,UAAU;;EAEnB;;EAEA;;;;EAIA,SAAS;;EAET;;UAGe;;EAEf,OAAO;;;EAGP;EACA,QAAQ;;EAER,OAAO;;;;EAIP,mBAAmB;;;UAIJ;EACf;EACA,UAAU;EACV;EACA;IAAa;IAAc,UAAU;;EACrC,UAAU;IACR,MAAM;IACN,OAAO,MAAM,oBAAoB;IACjC;IACA;IACA,aAAa,SAAS;IACtB;;;;;;;;;;;;;iBChOY,iBACd,OAAO,iBACP;EACE;EACA;EACA;EACA;IAED;;;;;;;;iBA4Fa,iBACd,OAAO,iBACP;EACG,OAAO;EAAc;;;;;iBCnEJ,UAAU,WAC9B,SAAS,iBAAiB,aACzB,QAAQ"}