synergyspec-selfevolving 1.4.0 → 2.1.0

package/dist/commands/self-evolution.d.ts

@@ -1,5 +1,5 @@
 import { Command } from 'commander';
-import { type AggregationOptions, type CanonicalCandidate, type CanonicalCandidateSource, type CanonicalCandidateStatus, type PromotionReportArtifact, type StaticGateResult, type RankedCandidate, type RunChangeFn, type CandidateReplayScore, type PromotionApplyResult, type RollbackResult } from '../core/self-evolution/index.js';
+import { type AggregationOptions, type CanonicalCandidate, type CanonicalCandidateSource, type CanonicalCandidateStatus, type PromotionReportArtifact, type StaticGateResult, type PromotionApplyResult, type RollbackResult } from '../core/self-evolution/index.js';
 import { type LearnReport } from '../core/learn.js';
 export declare function registerSelfEvolutionCommand(program: Command): void;
 /**
@@ -41,34 +41,19 @@ export interface RunProposeCanonicalArgs {
     /** If true, emit JSON output. */
     json?: boolean;
     /**
-     * HEADLESS FALLBACK. When true (and `editsInput` is absent), spawn the
-     * canonical proposer agent to draft a real diff for each group's target
-     * (proposal-only) — for cron/CI runs with no host agent. Ignored when
-     * `editsInput` is present. When both are false/omitted, the candidate carries
-     * the placeholder diff and a human supplies the change before the gate.
-     */
-    agent?: boolean;
-    /**
-     * Population-based generation: draft N competing variant candidates (clamped
-     * 1-5; default 1) for the single surviving group, each on a distinct
-     * improvement angle, so the GA outer loop (`evolve`) can select the best.
-     * Requires `agent` (divergence is prompt-side; the host `--from-edits` path
-     * carries one payload). Ignored/treated as 1 otherwise.
-     */
-    variants?: number;
-    /**
-     * HOST-AGENT path (preferred). Candidate edits the host code agent already
-     * authored. When present, the CLI validates + packages these (frozen + target
-     * scope) instead of spawning the proposer agent, and `agent` is ignored.
+     * HOST-AGENT path. Candidate edits the host code agent already authored. When
+     * present, the CLI validates + packages these (frozen + target scope).
      * Requires exactly one surviving hint group (narrow via --target /
-     * --threshold-key) so the single payload is not misattributed.
+     * --threshold-key) so the single payload is not misattributed. When absent the
+     * candidate carries the placeholder diff and a human supplies the change
+     * before the gate.
      */
     editsInput?: HostEditsInput;
     /**
      * Aggregation thresholds. Self-evolution is gradient descent: ONE forward
      * pass (a change's trajectory + pass-rate) is a complete loss signal, so
-     * auto-evolve passes single-change thresholds (all min-occurrences = 1, no
-     * diversity requirement) to act on one change. Omitted → conservative
+     * the host evolve-from-edits path passes single-change thresholds (all
+     * min-occurrences = 1, no diversity requirement) to act on one change. Omitted → conservative
      * cross-change defaults (recurrence required).
      */
     aggregationOptions?: AggregationOptions;
@@ -76,10 +61,6 @@ export interface RunProposeCanonicalArgs {
 export interface RunProposeCanonicalOptions {
     /** Project root used to resolve the candidate base dir. */
     repoRoot: string;
-    /** Test seam: spawn used by the proposer agent (defaults to node's spawn). */
-    proposerSpawn?: typeof import('node:child_process').spawn;
-    /** Test seam: proposer agent binary override. */
-    proposerBinary?: string;
     /** Override for stdout (defaults to console.log). */
     stdout?: (line: string) => void;
     /** Override for stderr (defaults to console.error). */
@@ -124,9 +105,8 @@ export declare function parseHostEditsInput(raw: string): HostEditsInput;
  *
  * SAFETY:
  *   - Never writes outside `<repoRoot>/.synergyspec-selfevolving/self-evolution/candidates/`.
- *   - Generation is EITHER the host-agent `--from-edits` path (validate + package)
- *     OR the headless `--agent` proposer fallback; without either, diff.patch is
- *     the placeholder for a human to complete.
+ *   - Generation is the host-agent `--from-edits` path (validate + package); when
+ *     absent, diff.patch is the placeholder for a human to complete.
  */
 export declare function runProposeCanonical(args: RunProposeCanonicalArgs, opts: RunProposeCanonicalOptions): Promise<RunProposeCanonicalResult>;
 export interface RunPromoteArgs {
@@ -146,7 +126,7 @@ export interface RunPromoteResult {
 }
 /**
  * Programmatic entrypoint for `self-evolution promote <id>` — the close-the-loop
- * apply/rollback. Exported so tests + auto-evolve can drive it directly.
+ * apply/rollback. Exported so tests + the host evolve-from-edits path can drive it directly.
  */
 export declare function runPromoteCommand(args: RunPromoteArgs, opts: {
     repoRoot: string;
@@ -175,95 +155,6 @@ export declare function runRejectCommand(args: RunRejectArgs, opts: {
     stderr?: (l: string) => void;
     now?: () => Date;
 }): Promise<RunRejectResult>;
-export interface RunTrajectoryArgs {
-    targetId: string;
-    /** Cap the number of prior candidates shown (default in buildOptimizationTrajectory: 6). */
-    maxEntries?: number;
-    json?: boolean;
-}
-export interface RunTrajectoryResult {
-    exitCode: number;
-    error?: string;
-}
-/**
- * Programmatic entrypoint for `self-evolution trajectory <targetId>` — a
- * READ-ONLY view of the scored optimization-trajectory block the headless
- * proposer receives, so a HOST code agent (which authors edits via
- * `--from-edits` and never sees that prompt) can read the same prior-candidate
- * loss/verdict history before authoring. Reuses the exact builder/renderer the
- * proposer uses. Never mutates anything.
- */
-export declare function runTrajectoryCommand(args: RunTrajectoryArgs, opts: {
-    repoRoot: string;
-    stdout?: (l: string) => void;
-    stderr?: (l: string) => void;
-}): Promise<RunTrajectoryResult>;
-export interface RunAutoEvolveArgs {
-    /**
-     * One or more completed changes to learn from and evolve. A SINGLE change is
-     * enough; pass several to let a signal recurring across them be the trigger.
-     */
-    changeNames: string[];
-    /** Default true; false (via --no-auto) runs the pipeline but stops before applying. */
-    auto?: boolean;
-    requireProven?: boolean;
-    /**
-     * Minimum occurrences a signal must reach to be proposed. Default 1 — so a
-     * single change CAN evolve. Raise it (and pass several `changeNames`) to
-     * require a signal to RECUR across changes before it evolves. Neither
-     * single-change nor multi-change is mandatory.
-     */
-    minOccurrences?: number;
-    /** Force-propose only the aggregated signal with this exact thresholdKey. */
-    thresholdKey?: string;
-    evolveTarget?: string;
-    freezeTarget?: string;
-    json?: boolean;
-}
-export interface RunAutoEvolveOptions {
-    repoRoot: string;
-    stdout?: (l: string) => void;
-    stderr?: (l: string) => void;
-    now?: () => Date;
-    /** Injected for tests; forwarded to the proposer agent. */
-    proposerSpawn?: typeof import('node:child_process').spawn;
-    proposerBinary?: string;
-}
-export interface AutoEvolveReport {
-    exitCode: number;
-    changeNames: string[];
-    /** Mean per-change loss (functional ⊕ health) from learn; null when unmeasurable. */
-    loss: number | null;
-    /** Mean RAW code-health penalty across the change(s); null when no health signal. */
-    healthPenalty?: number | null;
-    hintCount: number;
-    hintsPaths: string[];
-    proposed: string[];
-    gated: {
-        candidateId: string;
-        passed: boolean;
-    }[];
-    promoted: {
-        candidateId: string;
-        targetIds: string[];
-        files: string[];
-    }[];
-    skipped: {
-        candidateId: string;
-        reason: string;
-    }[];
-    error?: string;
-}
-/**
- * ONE-BUTTON auto-evolve: learn → hints → propose(--agent) → gate → promote, in
- * one motion. Auto-applies the gate-passing winner per target onto the canonical
- * template (no per-change human approval), honoring the per-target switch + the
- * oracle/gate freeze, and snapshotting every write for rollback.
- *
- * Exported + fully injectable (proposer spawn, clock, io) so it is unit-testable
- * without a real `claude` binary.
- */
-export declare function runAutoEvolve(args: RunAutoEvolveArgs, opts: RunAutoEvolveOptions): Promise<AutoEvolveReport>;
 export interface RunEvolveFromEditsArgs {
     /** The change's learn hints.json to aggregate into a single signal/target. */
     fromLearn: string;
@@ -285,7 +176,7 @@ export interface RunEvolveFromEditsArgs {
     requireProven?: boolean;
     /** Mutually exclusive with this host path; presence is a hard error. */
     agent?: boolean;
-    /** Non-interactive confirmation; required to run (like auto-evolve). */
+    /** Non-interactive confirmation; required to run (one-button host-authored apply). */
     yes?: boolean;
     json?: boolean;
 }
@@ -402,73 +293,4 @@ export interface RunPromotionReportResult {
  * - Exit code 0 on success, non-zero when the candidate cannot be loaded.
  */
 export declare function runPromotionReportCommand(args: RunPromotionReportArgs, opts: RunPromotionReportOptions): Promise<RunPromotionReportResult>;
-export interface RunEvolveOuterLoopArgs {
-    /** Restrict the loop to a single canonical target id. */
-    target?: string;
-    /** Replay a corpus to score candidates (requires `changeIds`). */
-    replay?: boolean;
-    /** The replay corpus (change ids). Only used when `replay` is true. */
-    changeIds?: string[];
-    /** Write a human-gated promotion-report.md for each selected best. */
-    write?: boolean;
-    /**
-     * Mark proven sibling variants that lost the ranking to `best` (same
-     * variantGroup, higher meanLoss) with verdict `outcompeted`, so the
-     * optimization-trajectory block shows them as negative examples. Never
-     * transitions status (rejected is human-owned); advisory metadata only.
-     */
-    markOutcompeted?: boolean;
-    /** Per-target evolution policy overrides (supports all/none). */
-    evolveTarget?: string;
-    freezeTarget?: string;
-    json?: boolean;
-    /**
-     * ISO-8601 timestamp stamped onto appended fitness records. Defaults to the
-     * current time; supplied explicitly by tests for determinism.
-     */
-    at?: string;
-    /**
-     * Injected replay re-runner (see {@link makeReplayRunChange}). Defaults to a
-     * live agent shell-out; tests pass a fake to drive the loop without an agent.
-     */
-    runChange?: RunChangeFn;
-}
-export interface RunEvolveOuterLoopOptions {
-    repoRoot: string;
-    stdout?: (line: string) => void;
-    stderr?: (line: string) => void;
-}
-export interface TargetEvolveSummary {
-    targetId: string;
-    candidateIds: string[];
-    /** Skipped because the per-target policy froze this target. */
-    frozen: boolean;
-    /** Replay scoring outcomes (only present in --replay mode). */
-    scored?: CandidateReplayScore[];
-    /** Candidates ranked best-first by accumulated fitness. */
-    ranked: RankedCandidate[];
-    /** The selected best candidate id, or null when there are no candidates. */
-    best: string | null;
-    /** Path to the promotion report written for `best` (only with --write). */
-    promotionReportPath?: string;
-    /** Sibling variants marked `outcompeted` this run (only with --mark-outcompeted). */
-    outcompeted?: string[];
-}
-export interface RunEvolveOuterLoopResult {
-    exitCode: number;
-    targets: TargetEvolveSummary[];
-    error?: string;
-}
-/**
- * Programmatic entrypoint for `self-evolution evolve` — the GA outer loop.
- *
- * Chains the previously-inert pieces into one live pass:
- *   groupCandidatesByTarget → (optional replay scoring that APPENDS fitness)
- *   → rankCandidatesForTarget → select best → human-gated promotion report.
- *
- * Invariants: frozen targets (per the resolved policy) are skipped; promotion
- * is NEVER applied here (the report keeps its human-review gate); the oracle is
- * never touched (replay only runs tests).
- */
-export declare function runEvolveOuterLoopCommand(args: RunEvolveOuterLoopArgs, opts: RunEvolveOuterLoopOptions): Promise<RunEvolveOuterLoopResult>;
 //# sourceMappingURL=self-evolution.d.ts.map