@tangle-network/agent-eval 0.122.5 → 0.122.6

package/CHANGELOG.md

@@ -4,6 +4,14 @@ All notable changes to `@tangle-network/agent-eval` and its sibling `agent-eval-
 
 ---
 
+## [Unreleased]
+
+### Changed
+
+- Keep one live tip per lineage track when another track branches or merges from it, and compare those track tips when building the frontier.
+- Pass track identity, operation, vision, ancestry, and proposer choice to candidate generation so independent tracks can pursue distinct strategies.
+- Route named tracks to caller-supplied proposers, with the default proposer as fallback, and make heuristic branches inherit their parent track's proposer.
+
 ## [0.122.2] — 2026-07-17 — premeasured optimization continuation
 
 ### Added

package/dist/benchmarks/index.js

@@ -17,8 +17,8 @@ import {
   runBenchmarkAdapter,
   summarizeBenchmarkCampaign
 } from "../chunk-WULRYLNC.js";
-import "../chunk-GLUBGL77.js";
-import "../chunk-FLCXOTWF.js";
+import "../chunk-67H37Q6I.js";
+import "../chunk-YA6MJYZN.js";
 import "../chunk-FZ26ORA6.js";
 import "../chunk-EAWKAVID.js";
 import "../chunk-ARU2PZFM.js";

package/dist/campaign/index.d.ts

@@ -370,11 +370,12 @@ declare class Lineage {
     /** Distinct track ids, in first-seen (`seq`) order. */
     tracks(): string[];
     trackNodes(track: string): LineageNode[];
-    /** The highest-`score` tip of a track (ties broken by lowest `seq`). */
+    /** Highest-scoring node without a child in the same track.
+     *  A branch or merge into another track does not retire this track. */
     trackTip(track: string): LineageNode | undefined;
     /** The highest-`score` node overall (ties broken by lowest `seq`). */
     best(): LineageNode | undefined;
-    /** The Pareto-non-dominated set among TIPS. Uses `scoreVector` when every
+    /** The Pareto-non-dominated set among current per-track tips. Uses `scoreVector` when every
      *  compared tip carries one, else the scalar `score`. A dominates B iff A is
      *  >= B on every component and > B on at least one. */
     frontier(): LineageNode[];
@@ -474,11 +475,17 @@ interface RunLineageOptions {
         track: string;
         proposer: string;
         tip: LineageNode;
+        operation: 'extend' | 'branch';
+        generation: number;
+        vision?: string;
     }) => Promise<RunLineageStepResult>;
     /** Collapse 2+ parent surfaces into one (GEPA crossover / LLM merge in real use). */
     merge: (args: {
         parents: LineageNode[];
         track: string;
+        proposer: string;
+        generation: number;
+        vision?: string;
     }) => Promise<Omit<RunLineageStepResult, 'gate'>>;
     governor: Governor;
     budget: {
@@ -1707,6 +1714,14 @@ interface ParetoParent {
     label?: string;
     rationale?: string;
 }
+/** The lineage track that requested a proposal. */
+interface ProposalTrackContext {
+    id: string;
+    operation: 'extend' | 'branch' | 'merge';
+    proposer: string;
+    vision?: string;
+    parentTrackIds: readonly string[];
+}
 /** Exact measured state for the surface an optimizer is learning from.
  *  Unlike a model-authored expected gain, every value here comes from a
  *  completed campaign over the designed denominator. */
@@ -1761,6 +1776,8 @@ interface ProposeContext<TFindings = unknown> {
     populationSize: number;
     generation: number;
     signal: AbortSignal;
+    /** Present when a multi-track lineage requests this proposal. */
+    track?: ProposalTrackContext;
     /** Measured baseline for this optimization run. `runOptimization` always
      *  supplies it; optional for standalone proposer callers. */
     baselineOutcome?: ScoredSurfaceOutcome;
@@ -5108,6 +5125,8 @@ interface RunLineageLoopOptions<TScenario extends Scenario, TArtifact> {
     /** Override the per-step proposer. Default {@link gepaProposer}. Inject a
      *  pure stub to unit-test without an LLM. */
     proposer?: SurfaceProposer;
+    /** Optional proposer implementations keyed by the labels carried by tracks. */
+    proposers?: Readonly<Record<string, SurfaceProposer>>;
     /** Override how a surface is scored into a DAG-node fitness. Default is a
      *  {@link runCampaign} pass over `holdoutScenarios ?? scenarios`. Inject a
      *  deterministic function to unit-test without a campaign. */
@@ -7506,4 +7525,4 @@ declare function verifyCodeSurface(surface: CodeSurface, worktreeDir?: string):
  *  identity against the checkout at `worktreeRef`. */
 declare function resolveWorktreePath(surface: CodeSurface, worktreeDir?: string): string;
 
-export { type AcceptedEdit, type AceProposerOptions, type AnalystArtifact, type AnalystScenario, type AnalyzeCrossSurfaceInteractionsInput, type ApplySkillPatchResult, type AxisEvidence, type AxisVerdict, type BuildAnalystSurfaceDispatchOptions, type BuildEvidenceVectorOptions, type BuildLoopProvenanceArgs, type CampaignAggregates, type CampaignArtifactWriter, type CampaignBreakdown, type CampaignCellResult, type CampaignCostMeter, type CampaignResult, type CampaignRunPlan, type CampaignRunPlanCell, type CampaignScenarioIdentity, type CampaignStorage, type CampaignTokenUsage, type CampaignTraceWriter, type CodeSurface, type CodeSurfaceVerification, type CompareProposersOptions, type CompositeProposerOptions, type CostLedgerHandle, type CrossSurfaceAdditionDecision, type CrossSurfaceAdditionRejectionReason, type CrossSurfaceAttemptCompleteness, type CrossSurfaceBestSingleSelection, type CrossSurfaceBootstrapPolicy, type CrossSurfaceCandidate, type CrossSurfaceCandidateComparison, type CrossSurfaceCandidateEvidence, type CrossSurfaceCandidateOutcome, type CrossSurfaceCandidateSummary, type CrossSurfaceComponent, type CrossSurfaceComponentEvidence, type CrossSurfaceCompositionStep, type CrossSurfaceDistribution, type CrossSurfaceEligibility, type CrossSurfaceEvidenceBreakdown, type CrossSurfaceIneligibilityReason, type CrossSurfaceInteractionAwareSelection, type CrossSurfaceInteractionEffect, type CrossSurfaceInteractionPath, type CrossSurfaceInteractionReport, type CrossSurfaceInteractionTask, type CrossSurfaceNaiveStackSelection, type CrossSurfacePairCompatibility, type CrossSurfacePairEvidence, type CrossSurfacePairIncompatibilityReason, type CrossSurfacePairwiseEntry, type CrossSurfaceRankedSingle, type CrossSurfaceRelativeCost, type CrossSurfaceSelectionPolicy, type CrossSurfaceSelections, type CrossSurfaceTaskRow, DEFAULT_POLICY_EDIT_HISTORY_LIMITS, type DefaultProductionGateOptions, type DimensionRegression, type DiscriminationScore, type DispatchContext, type DispatchFn, type EmitLoopProvenanceArgs, type EmitLoopProvenanceResult, type EvalFixture, type EvalFixtureFile, type EvalFixtureLoadOptions, type EvalFixtureRunPlan, type EvalFixtureScenario, type EvalFixtureValidationMode, type EvidenceVector, type EvolutionaryProposerOptions, type FailureModeRecallJudgeOptions, type FapoAttributionSignals, type FapoEntryConfig, type FapoFailureCluster, type FapoOptimizationLevel, type FapoProposerOptions, type FapoReviewInput, type FapoReviewIssue, type FapoReviewResult, type FapoScopeContract, FileSearchLedger, FsLabeledScenarioStore, type FsLabeledScenarioStoreOptions, type Gate, type GateContext, type GateDecision, type GateResult, type GenerationCandidate, type GenerationRecord, type GepaProposerConstraints, type GepaProposerOptions, type GitWorktreeAdapterOptions, type Governor, type GovernorContext, type GovernorOp, type HaloProposerOptions, type HeldOutGateOptions, type HeldoutSignificance, type HeldoutSignificanceOptions, type HeuristicGovernorOptions, type JsonPolicyEditTargetSurface, type JsonPrimitive, type JsonValue, type JudgeAggregate, type JudgeConfig, type JudgeDimension, type JudgeScore, type LabelTrust, type LabeledScenarioRecord, type LabeledScenarioSampleArgs, type LabeledScenarioSource, type LabeledScenarioStore, LabeledScenarioStoreError, type LabeledScenarioWrite, Lineage, type LineageEdge, type LineageGraph, type LineageNode, type LineageNodeInput, type LineageStore, LineageStoreConflictError, type LlmJudgeDimension, type LlmJudgeOptions, type LlmPolicyEditProposerOptions, type LoadEvalFixtureScenariosOptions, type LoopProvenanceArgsFromResult, type LoopProvenanceBackend, type LoopProvenanceCandidate, type LoopProvenanceEvidence, type LoopProvenanceRecord, type MemoryCurationProposerOptions, type MutableSurface, type Mutator, type NeutralizationGateOptions, type ObjectiveSource, type OpenAutoPrOptions, type OpenAutoPrResult, type OpenSearchLedgerOptions, type OptimizationProposer, type OptimizerConfig, type OptimizerEntryConfig, POLICY_EDIT_CANDIDATE_RECORD_SCHEMA, type PairedHoldout, type ParameterCandidate, type ParameterChange, type ParameterSweepProposerOptions, type ParetoParent, type ParetoSignificanceGateOptions, type PlanCampaignRunOptions, type PlanEvalFixtureRunOptions, type PlaybackContext, type PlaybackDriver, type PlaybackStep, type PolicyEditAuthorScenarioRow, type PolicyEditCandidateRecord, type PolicyEditCandidateSummary, type PolicyEditFindingInput, type PolicyEditFindingSource, type PolicyEditHistoryCandidateContext, type PolicyEditHistoryGenerationContext, type PolicyEditHistoryProjectionOptions, type PolicyEditObjective, type PolicyEditOutcomeContext, type PolicyEditProposerOptions, type PowerPreflight, type PowerPreflightOptions, type PremeasuredOptimizationBaseline, type ProfileDispatchFn, ProfileMatrixError, type ProfileSummary, type PromotionObjective, type PromotionPolicy, type ProposeContext, type ProposePatchesArgs, type ProposedCandidate, type ProposerComparison, type ProposerEntry, type ProposerPairwise, type ProposerScore, type RedactionStatus, type ReferenceEquivalenceJudgeOptions, type ReferenceEquivalenceScenario, type RejectedEdit, type RolloutArgumentDiff, type RolloutArgumentDiffOptions, type RolloutCall, type RunCampaignOptions, type RunEvalOptions, type RunImprovementLoopOptions, type RunImprovementLoopResult, type RunLineageLoopOptions, type RunLineageLoopResult, type RunLineageLoopSeed, type RunLineageOptions, type RunLineageResult, type RunLineageSeed, type RunLineageStepResult, type RunOptimizationOptions, type RunOptimizationResult, type RunProfileMatrixOptions, type RunProfileMatrixResult, type RunSkillOptOptions, type RunSkillOptResult, SEARCH_LEDGER_SCHEMA, type Scenario, type ScenarioAggregate, type ScenarioRollup, type ScenarioSignal, type ScoreboardRenderOptions, type ScoreboardRow, type ScoreboardSummary, type ScoredRollout, type ScoredSurfaceOutcome, type SearchAccountingAudit, type SearchArtifactRef, type SearchAttemptAccounting, type SearchCandidateDecidedEvent, type SearchCandidateLineage, type SearchCandidateRegisteredEvent, type SearchCandidateSlot, type SearchCandidateSlotClosedEvent, type SearchCandidateSurface, type SearchCompletedEvent, type SearchCostAccounting, type SearchFailureReason, type SearchLedger, type SearchLedgerAppendResult, SearchLedgerConflictError, type SearchLedgerEntry, SearchLedgerError, type SearchLedgerEvent, type SearchLedgerHash, SearchLedgerIntegrityError, type SearchLedgerReplay, type SearchModelIdentity, type SearchOperationKind, type SearchOperationRecordedEvent, type SearchPlan, type SearchPlannedEvent, type SearchPlannedOperation, type SearchPlannedTask, type SearchSourceRef, type SearchSurfaceEffect, type SearchSurfaceEvidence, type SearchSurfaceKind, type SearchTaskAttemptedEvent, type SearchTaskOutcome, type SearchTokenAccounting, type SelectPolicyEditAuthorRowsOptions, type SequentialDecideFn, type SequentialDecideOptions, type SequentialDecision, type SequentialObservation, type SequentialPairedGate, type SequentialPairedGateOptions, type SerializedJsonBudget, type SessionScript, type SingleRunLock, type SingleRunLockOptions, type SkillOptEpochRecord, type SkillOptEvidence, type SkillOptProposer, type SkillOptProposerOptions, type SkillPatch, type SkillPatchOp, SkillPatchParseError, type SkillPatchRejection, type SurfaceProposer, type SurfaceScore, type TraceAnalystProposerOptions, type TraceSpan, type TransientFailureOptions, type UngroundedLiteralReport, type UserStory, type UserStoryVerdict, type Worktree, type WorktreeAdapter, WorktreeAdapterError, aceProposer, acquireSingleRunLock, analyzeCrossSurfaceInteractions, applySkillPatch, assertCampaignDesign, assertCampaignSplitIdentity, assertCodeSurfaceIdentity, assertPolicyEditAuthorContextBudget, buildAnalystSurfaceDispatch, buildEvidenceVector, buildLoopProvenanceRecord, callbackGovernor, campaignBreakdown, campaignLineageStore, campaignMeanComposite, campaignMeasurementDigest, campaignScenarioIdentity, campaignSplitDigest, campaignSplitDigestFromIdentities, canonicalDigest, classifyUngroundedLiterals, codeSurfaceIdentityMaterial, compareProposers, composeGate, compositeProposer, countSentenceEdits, createReferenceEquivalenceJudge, createRunCostLedger, defaultProductionGate, detectScale, dimensionRegressions, discoverEvalFixtures, emitLoopProvenance, evolutionaryProposer, extractFapoAttributionSignals, extractH2Sections, failureModeRecallJudge, fapoEscalationEntry, fapoProposer, fsCampaignStorage, fsLineageStore, gepaParetoEntry, gepaProposer, gepaReflectionEntry, gitWorktreeAdapter, haloProposer, heldOutGate, heldoutSignificance, heuristicGovernor, inMemoryCampaignStorage, isProposedCandidate, isTransientTransportFailure, labelTrustRank, lineageNodeId, llmJudge, llmPolicyEditProposer, loadEvalFixture, loadEvalFixtureScenarios, loopProvenanceArgsFromResult, loopProvenanceSpans, makePlaybackDispatch, memLineageStore, memoryCurationProposer, neutralizationGate, neutralizeText, openAutoPr, openSearchLedger, pairHoldout, parameterSweepProposer, paretoPolicy, paretoSignificanceGate, parseSkillPatchResponse, patchEditCount, planCampaignRun, planEvalFixtureRun, policyEditProposer, powerPreflight, projectPolicyEditHistory, provenanceRecordPath, provenanceSpansPath, renderScoreboardMarkdown, renderSurfaceDiff, resolveRunDir, resolveWorktreePath, rolloutArgumentDiff, runCampaign, runEval, runImprovementLoop, runLineage, runLineageLoop, runOptimization, runProfileMatrix, runSkillOpt, scoreDiscrimination, scoreUserStory, scoreboardSummary, selectDiscriminative, selectPolicyEditAuthorRows, sequentialDecide, sequentialPairedGate, skillOptEntry, skillOptProposer, surfaceContentHash, surfaceHash, tangleTracesRoot, traceAnalystProposer, userStoryScoreboard, validatePolicyEditCandidateRecord, validateSearchLedgerEvent, verifyCodeSurface, verifyLoopProvenanceRecord };
+export { type AcceptedEdit, type AceProposerOptions, type AnalystArtifact, type AnalystScenario, type AnalyzeCrossSurfaceInteractionsInput, type ApplySkillPatchResult, type AxisEvidence, type AxisVerdict, type BuildAnalystSurfaceDispatchOptions, type BuildEvidenceVectorOptions, type BuildLoopProvenanceArgs, type CampaignAggregates, type CampaignArtifactWriter, type CampaignBreakdown, type CampaignCellResult, type CampaignCostMeter, type CampaignResult, type CampaignRunPlan, type CampaignRunPlanCell, type CampaignScenarioIdentity, type CampaignStorage, type CampaignTokenUsage, type CampaignTraceWriter, type CodeSurface, type CodeSurfaceVerification, type CompareProposersOptions, type CompositeProposerOptions, type CostLedgerHandle, type CrossSurfaceAdditionDecision, type CrossSurfaceAdditionRejectionReason, type CrossSurfaceAttemptCompleteness, type CrossSurfaceBestSingleSelection, type CrossSurfaceBootstrapPolicy, type CrossSurfaceCandidate, type CrossSurfaceCandidateComparison, type CrossSurfaceCandidateEvidence, type CrossSurfaceCandidateOutcome, type CrossSurfaceCandidateSummary, type CrossSurfaceComponent, type CrossSurfaceComponentEvidence, type CrossSurfaceCompositionStep, type CrossSurfaceDistribution, type CrossSurfaceEligibility, type CrossSurfaceEvidenceBreakdown, type CrossSurfaceIneligibilityReason, type CrossSurfaceInteractionAwareSelection, type CrossSurfaceInteractionEffect, type CrossSurfaceInteractionPath, type CrossSurfaceInteractionReport, type CrossSurfaceInteractionTask, type CrossSurfaceNaiveStackSelection, type CrossSurfacePairCompatibility, type CrossSurfacePairEvidence, type CrossSurfacePairIncompatibilityReason, type CrossSurfacePairwiseEntry, type CrossSurfaceRankedSingle, type CrossSurfaceRelativeCost, type CrossSurfaceSelectionPolicy, type CrossSurfaceSelections, type CrossSurfaceTaskRow, DEFAULT_POLICY_EDIT_HISTORY_LIMITS, type DefaultProductionGateOptions, type DimensionRegression, type DiscriminationScore, type DispatchContext, type DispatchFn, type EmitLoopProvenanceArgs, type EmitLoopProvenanceResult, type EvalFixture, type EvalFixtureFile, type EvalFixtureLoadOptions, type EvalFixtureRunPlan, type EvalFixtureScenario, type EvalFixtureValidationMode, type EvidenceVector, type EvolutionaryProposerOptions, type FailureModeRecallJudgeOptions, type FapoAttributionSignals, type FapoEntryConfig, type FapoFailureCluster, type FapoOptimizationLevel, type FapoProposerOptions, type FapoReviewInput, type FapoReviewIssue, type FapoReviewResult, type FapoScopeContract, FileSearchLedger, FsLabeledScenarioStore, type FsLabeledScenarioStoreOptions, type Gate, type GateContext, type GateDecision, type GateResult, type GenerationCandidate, type GenerationRecord, type GepaProposerConstraints, type GepaProposerOptions, type GitWorktreeAdapterOptions, type Governor, type GovernorContext, type GovernorOp, type HaloProposerOptions, type HeldOutGateOptions, type HeldoutSignificance, type HeldoutSignificanceOptions, type HeuristicGovernorOptions, type JsonPolicyEditTargetSurface, type JsonPrimitive, type JsonValue, type JudgeAggregate, type JudgeConfig, type JudgeDimension, type JudgeScore, type LabelTrust, type LabeledScenarioRecord, type LabeledScenarioSampleArgs, type LabeledScenarioSource, type LabeledScenarioStore, LabeledScenarioStoreError, type LabeledScenarioWrite, Lineage, type LineageEdge, type LineageGraph, type LineageNode, type LineageNodeInput, type LineageStore, LineageStoreConflictError, type LlmJudgeDimension, type LlmJudgeOptions, type LlmPolicyEditProposerOptions, type LoadEvalFixtureScenariosOptions, type LoopProvenanceArgsFromResult, type LoopProvenanceBackend, type LoopProvenanceCandidate, type LoopProvenanceEvidence, type LoopProvenanceRecord, type MemoryCurationProposerOptions, type MutableSurface, type Mutator, type NeutralizationGateOptions, type ObjectiveSource, type OpenAutoPrOptions, type OpenAutoPrResult, type OpenSearchLedgerOptions, type OptimizationProposer, type OptimizerConfig, type OptimizerEntryConfig, POLICY_EDIT_CANDIDATE_RECORD_SCHEMA, type PairedHoldout, type ParameterCandidate, type ParameterChange, type ParameterSweepProposerOptions, type ParetoParent, type ParetoSignificanceGateOptions, type PlanCampaignRunOptions, type PlanEvalFixtureRunOptions, type PlaybackContext, type PlaybackDriver, type PlaybackStep, type PolicyEditAuthorScenarioRow, type PolicyEditCandidateRecord, type PolicyEditCandidateSummary, type PolicyEditFindingInput, type PolicyEditFindingSource, type PolicyEditHistoryCandidateContext, type PolicyEditHistoryGenerationContext, type PolicyEditHistoryProjectionOptions, type PolicyEditObjective, type PolicyEditOutcomeContext, type PolicyEditProposerOptions, type PowerPreflight, type PowerPreflightOptions, type PremeasuredOptimizationBaseline, type ProfileDispatchFn, ProfileMatrixError, type ProfileSummary, type PromotionObjective, type PromotionPolicy, type ProposalTrackContext, type ProposeContext, type ProposePatchesArgs, type ProposedCandidate, type ProposerComparison, type ProposerEntry, type ProposerPairwise, type ProposerScore, type RedactionStatus, type ReferenceEquivalenceJudgeOptions, type ReferenceEquivalenceScenario, type RejectedEdit, type RolloutArgumentDiff, type RolloutArgumentDiffOptions, type RolloutCall, type RunCampaignOptions, type RunEvalOptions, type RunImprovementLoopOptions, type RunImprovementLoopResult, type RunLineageLoopOptions, type RunLineageLoopResult, type RunLineageLoopSeed, type RunLineageOptions, type RunLineageResult, type RunLineageSeed, type RunLineageStepResult, type RunOptimizationOptions, type RunOptimizationResult, type RunProfileMatrixOptions, type RunProfileMatrixResult, type RunSkillOptOptions, type RunSkillOptResult, SEARCH_LEDGER_SCHEMA, type Scenario, type ScenarioAggregate, type ScenarioRollup, type ScenarioSignal, type ScoreboardRenderOptions, type ScoreboardRow, type ScoreboardSummary, type ScoredRollout, type ScoredSurfaceOutcome, type SearchAccountingAudit, type SearchArtifactRef, type SearchAttemptAccounting, type SearchCandidateDecidedEvent, type SearchCandidateLineage, type SearchCandidateRegisteredEvent, type SearchCandidateSlot, type SearchCandidateSlotClosedEvent, type SearchCandidateSurface, type SearchCompletedEvent, type SearchCostAccounting, type SearchFailureReason, type SearchLedger, type SearchLedgerAppendResult, SearchLedgerConflictError, type SearchLedgerEntry, SearchLedgerError, type SearchLedgerEvent, type SearchLedgerHash, SearchLedgerIntegrityError, type SearchLedgerReplay, type SearchModelIdentity, type SearchOperationKind, type SearchOperationRecordedEvent, type SearchPlan, type SearchPlannedEvent, type SearchPlannedOperation, type SearchPlannedTask, type SearchSourceRef, type SearchSurfaceEffect, type SearchSurfaceEvidence, type SearchSurfaceKind, type SearchTaskAttemptedEvent, type SearchTaskOutcome, type SearchTokenAccounting, type SelectPolicyEditAuthorRowsOptions, type SequentialDecideFn, type SequentialDecideOptions, type SequentialDecision, type SequentialObservation, type SequentialPairedGate, type SequentialPairedGateOptions, type SerializedJsonBudget, type SessionScript, type SingleRunLock, type SingleRunLockOptions, type SkillOptEpochRecord, type SkillOptEvidence, type SkillOptProposer, type SkillOptProposerOptions, type SkillPatch, type SkillPatchOp, SkillPatchParseError, type SkillPatchRejection, type SurfaceProposer, type SurfaceScore, type TraceAnalystProposerOptions, type TraceSpan, type TransientFailureOptions, type UngroundedLiteralReport, type UserStory, type UserStoryVerdict, type Worktree, type WorktreeAdapter, WorktreeAdapterError, aceProposer, acquireSingleRunLock, analyzeCrossSurfaceInteractions, applySkillPatch, assertCampaignDesign, assertCampaignSplitIdentity, assertCodeSurfaceIdentity, assertPolicyEditAuthorContextBudget, buildAnalystSurfaceDispatch, buildEvidenceVector, buildLoopProvenanceRecord, callbackGovernor, campaignBreakdown, campaignLineageStore, campaignMeanComposite, campaignMeasurementDigest, campaignScenarioIdentity, campaignSplitDigest, campaignSplitDigestFromIdentities, canonicalDigest, classifyUngroundedLiterals, codeSurfaceIdentityMaterial, compareProposers, composeGate, compositeProposer, countSentenceEdits, createReferenceEquivalenceJudge, createRunCostLedger, defaultProductionGate, detectScale, dimensionRegressions, discoverEvalFixtures, emitLoopProvenance, evolutionaryProposer, extractFapoAttributionSignals, extractH2Sections, failureModeRecallJudge, fapoEscalationEntry, fapoProposer, fsCampaignStorage, fsLineageStore, gepaParetoEntry, gepaProposer, gepaReflectionEntry, gitWorktreeAdapter, haloProposer, heldOutGate, heldoutSignificance, heuristicGovernor, inMemoryCampaignStorage, isProposedCandidate, isTransientTransportFailure, labelTrustRank, lineageNodeId, llmJudge, llmPolicyEditProposer, loadEvalFixture, loadEvalFixtureScenarios, loopProvenanceArgsFromResult, loopProvenanceSpans, makePlaybackDispatch, memLineageStore, memoryCurationProposer, neutralizationGate, neutralizeText, openAutoPr, openSearchLedger, pairHoldout, parameterSweepProposer, paretoPolicy, paretoSignificanceGate, parseSkillPatchResponse, patchEditCount, planCampaignRun, planEvalFixtureRun, policyEditProposer, powerPreflight, projectPolicyEditHistory, provenanceRecordPath, provenanceSpansPath, renderScoreboardMarkdown, renderSurfaceDiff, resolveRunDir, resolveWorktreePath, rolloutArgumentDiff, runCampaign, runEval, runImprovementLoop, runLineage, runLineageLoop, runOptimization, runProfileMatrix, runSkillOpt, scoreDiscrimination, scoreUserStory, scoreboardSummary, selectDiscriminative, selectPolicyEditAuthorRows, sequentialDecide, sequentialPairedGate, skillOptEntry, skillOptProposer, surfaceContentHash, surfaceHash, tangleTracesRoot, traceAnalystProposer, userStoryScoreboard, validatePolicyEditCandidateRecord, validateSearchLedgerEvent, verifyCodeSurface, verifyLoopProvenanceRecord };

package/dist/campaign/index.js

@@ -68,7 +68,7 @@ import {
   userStoryScoreboard,
   validateSearchLedgerEvent,
   verifyCodeSurface
-} from "../chunk-GLUBGL77.js";
+} from "../chunk-67H37Q6I.js";
 import {
   assertCodeSurfaceIdentity,
   buildEvidenceVector,
@@ -109,7 +109,7 @@ import {
   surfaceContentHash,
   surfaceHash,
   verifyLoopProvenanceRecord
-} from "../chunk-FLCXOTWF.js";
+} from "../chunk-YA6MJYZN.js";
 import {
   SearchLedgerConflictError,
   SearchLedgerError,

package/dist/{chunk-GLUBGL77.js → chunk-67H37Q6I.js}

@@ -15,7 +15,7 @@ import {
   runImprovementLoop,
   surfaceContentHash,
   surfaceHash
-} from "./chunk-FLCXOTWF.js";
+} from "./chunk-YA6MJYZN.js";
 import {
   SearchLedgerConflictError,
   SearchLedgerError,
@@ -227,19 +227,26 @@ var Lineage = class _Lineage {
   trackNodes(track) {
     return this.all().filter((n) => n.track === track);
   }
-  /** The highest-`score` tip of a track (ties broken by lowest `seq`). */
+  /** Highest-scoring node without a child in the same track.
+   *  A branch or merge into another track does not retire this track. */
   trackTip(track) {
-    return pickBest(this.tips().filter((n) => n.track === track));
+    return pickBest(
+      this.trackNodes(track).filter(
+        (node) => (this.childIds.get(node.id) ?? []).every(
+          (childId) => this.byId.get(childId)?.track !== track
+        )
+      )
+    );
   }
   /** The highest-`score` node overall (ties broken by lowest `seq`). */
   best() {
     return pickBest(this.all());
   }
-  /** The Pareto-non-dominated set among TIPS. Uses `scoreVector` when every
+  /** The Pareto-non-dominated set among current per-track tips. Uses `scoreVector` when every
    *  compared tip carries one, else the scalar `score`. A dominates B iff A is
    *  >= B on every component and > B on at least one. */
   frontier() {
-    const tips = this.tips();
+    const tips = this.tracks().map((track) => this.trackTip(track)).filter((node) => node !== void 0);
     const useVector = tips.length > 0 && tips.every((n) => n.scoreVector !== void 0);
     const vecOf = (n) => useVector ? n.scoreVector : [n.score];
     return tips.filter((a) => !tips.some((b) => b.id !== a.id && dominates(vecOf(b), vecOf(a)))).sort(bySeq);
@@ -421,7 +428,7 @@ function heuristicGovernor(opts = {}) {
           op: "branch",
           fromNodeId: leader.id,
           track: `${leader.track}+${lineage.tracks().length}`,
-          proposer: "gepa"
+          proposer: leader.proposer
         };
       }
       if (leader) return { op: "extend", track: leader.track };
@@ -521,13 +528,23 @@ async function runLineage(opts) {
         steps += 1;
         continue;
       }
-      const result2 = await opts.merge({ parents, track: op.track });
+      const target = parents.find((parent) => parent.track === op.track) ?? pickBest(parents);
+      const proposer2 = trackProposer.get(op.track) ?? target.proposer;
+      const vision = target.vision;
+      const result2 = await opts.merge({
+        parents,
+        track: op.track,
+        proposer: proposer2,
+        generation: Math.max(...parents.map((parent) => parent.generation)) + 1,
+        ...vision !== void 0 ? { vision } : {}
+      });
       const node2 = lineage.merge({
         parentIds: parents.map((p) => p.id),
         track: op.track,
         surface: result2.surface,
         score: result2.score,
-        ...parents[0].vision !== void 0 ? { vision: parents[0].vision } : {},
+        proposer: proposer2,
+        ...vision !== void 0 ? { vision } : {},
         ...result2.scoreVector !== void 0 ? { scoreVector: result2.scoreVector } : {},
         ...result2.rationale !== void 0 ? { rationale: result2.rationale } : {}
       });
@@ -548,14 +565,22 @@ async function runLineage(opts) {
         continue;
       }
       trackProposer.set(op.track, op.proposer);
-      const result2 = await opts.step({ track: op.track, proposer: op.proposer, tip: from });
+      const vision = op.vision ?? from.vision;
+      const result2 = await opts.step({
+        track: op.track,
+        proposer: op.proposer,
+        tip: from,
+        operation: "branch",
+        generation: from.generation + 1,
+        ...vision !== void 0 ? { vision } : {}
+      });
       const node2 = lineage.addNode({
         parentIds: [from.id],
         track: op.track,
         surface: result2.surface,
         score: result2.score,
         proposer: op.proposer,
-        ...op.vision !== void 0 ? { vision: op.vision } : {},
+        ...vision !== void 0 ? { vision } : {},
         ...result2.scoreVector !== void 0 ? { scoreVector: result2.scoreVector } : {},
         ...result2.rationale !== void 0 ? { rationale: result2.rationale } : {},
         ...result2.gate !== void 0 ? { gate: result2.gate } : {}
@@ -576,7 +601,14 @@ async function runLineage(opts) {
       continue;
     }
     const proposer = trackProposer.get(op.track) ?? tip.proposer;
-    const result = await opts.step({ track: op.track, proposer, tip });
+    const result = await opts.step({
+      track: op.track,
+      proposer,
+      tip,
+      operation: "extend",
+      generation: tip.generation + 1,
+      ...tip.vision !== void 0 ? { vision: tip.vision } : {}
+    });
     const node = lineage.addNode({
       parentIds: [tip.id],
       track: op.track,
@@ -4305,21 +4337,25 @@ async function runLineageLoop(opts) {
   if (!Number.isInteger(candidateConcurrency) || candidateConcurrency < 1) {
     throw new Error("runLineageLoop: candidateConcurrency must be a positive integer");
   }
-  let proposer = opts.proposer;
-  if (!proposer) {
-    if (!opts.llm || !opts.model) {
-      throw new Error(
-        "runLineageLoop: a proposer is required \u2014 either inject `proposer`, or provide `llm` + `model` for the default gepaProposer."
-      );
-    }
-    proposer = gepaProposer({
+  let defaultProposer = opts.proposer;
+  if (!defaultProposer && opts.llm && opts.model) {
+    defaultProposer = gepaProposer({
       llm: opts.llm,
       model: opts.model,
       target: opts.target ?? "agent surface",
-      // GEPA combine-complementary-lessons is what the `merge` seam relies on.
       combineParents: true
     });
   }
+  if (!defaultProposer && !opts.proposers) {
+    throw new Error(
+      "runLineageLoop: a proposer is required \u2014 inject `proposer` or `proposers`, or provide `llm` + `model` for the default gepaProposer."
+    );
+  }
+  const proposerFor = (name) => {
+    const resolved = opts.proposers?.[name] ?? defaultProposer;
+    if (!resolved) throw new Error(`runLineageLoop: no proposer is registered for '${name}'`);
+    return resolved;
+  };
   const scoringScenarios = opts.holdoutScenarios ?? opts.scenarios;
   let scoreSurface = opts.scoreSurface;
   if (!scoreSurface) {
@@ -4382,14 +4418,21 @@ async function runLineageLoop(opts) {
     };
   });
   const step = async (args) => {
-    const proposed = await proposer.propose({
+    const proposed = await proposerFor(args.proposer).propose({
       currentSurface: args.tip.surface,
       history: [],
       findings: [],
       populationSize,
-      generation: 0,
+      generation: args.generation,
       signal: new AbortController().signal,
-      paretoParents: []
+      paretoParents: [],
+      track: {
+        id: args.track,
+        operation: args.operation,
+        proposer: args.proposer,
+        parentTrackIds: [args.tip.track],
+        ...args.vision !== void 0 ? { vision: args.vision } : {}
+      }
     });
     const pool = [
       {
@@ -4434,7 +4477,7 @@ async function runLineageLoop(opts) {
       composite: node.score,
       generation: node.generation
     }));
-    const proposed = await proposer.propose({
+    const proposed = await proposerFor(args.proposer).propose({
       currentSurface: ordered[0].surface,
       history: [],
       findings: [],
@@ -4442,9 +4485,16 @@ async function runLineageLoop(opts) {
       // paretoParents has > 1 string member.
       populationSize: 1,
       // generation >= 1 keeps the combine slot semantically a "merge" step.
-      generation: 1,
+      generation: args.generation,
       signal: new AbortController().signal,
-      paretoParents
+      paretoParents,
+      track: {
+        id: args.track,
+        operation: "merge",
+        proposer: args.proposer,
+        parentTrackIds: [...new Set(ordered.map((parent) => parent.track))],
+        ...args.vision !== void 0 ? { vision: args.vision } : {}
+      }
     });
     const first = proposed[0];
     const merged = first ? toCandidate(first) : { surface: ordered[0].surface };
@@ -8210,4 +8260,4 @@ export {
   verifyCodeSurface,
   resolveWorktreePath
 };
-//# sourceMappingURL=chunk-GLUBGL77.js.map
+//# sourceMappingURL=chunk-67H37Q6I.js.map