loopforge 1.15.1 → 2.0.1

package/dist/policy-metrics.js

@@ -0,0 +1,146 @@
+/** In-process policy effectiveness metrics with no runtime dependency. */
+function empty(loopId) {
+    return {
+        loopId,
+        roundAttempts: 0,
+        committedRounds: 0,
+        rejectedAttempts: 0,
+        terminatedRounds: 0,
+        stoppedRounds: 0,
+        replayedTransactions: 0,
+        successfulRounds: 0,
+        contradictedRounds: 0,
+        verificationFlags: {},
+        enforcementReasons: {},
+        evidenceOutcomesByProvider: {},
+        evidenceCaptures: 0,
+        evidenceAvailable: 0,
+        evidenceUnavailable: 0,
+        evidenceFailures: 0,
+        evidenceTimeouts: 0,
+        evidenceLatencyMs: 0,
+        levels: {},
+        strategyEffectiveness: {},
+    };
+}
+function increment(target, key) {
+    target[key] = (target[key] ?? 0) + 1;
+}
+export class PolicyMetricsCollector {
+    loops = new Map();
+    aggregate = empty();
+    targets(loopId) {
+        if (!loopId)
+            return [this.aggregate];
+        let metric = this.loops.get(loopId);
+        if (!metric) {
+            metric = empty(loopId);
+            this.loops.set(loopId, metric);
+        }
+        return [this.aggregate, metric];
+    }
+    recordRound(loopId, result, replayed = false) {
+        for (const metric of this.targets(loopId)) {
+            if (replayed) {
+                metric.replayedTransactions++;
+                continue;
+            }
+            metric.roundAttempts++;
+            if (result.action === "reject")
+                metric.rejectedAttempts++;
+            else
+                metric.committedRounds++;
+            if (result.action === "terminate")
+                metric.terminatedRounds++;
+            if (result.action === "stop")
+                metric.stoppedRounds++;
+            if (result.roundSuccess)
+                metric.successfulRounds++;
+            if (result.gateContradicted)
+                metric.contradictedRounds++;
+            for (const flag of result.verificationFlags) {
+                increment(metric.verificationFlags, flag.check);
+            }
+            if (result.enforcementReason) {
+                increment(metric.enforcementReasons, result.enforcementReason);
+            }
+        }
+    }
+    recordEvidence(provider, outcome, latencyMs, loopId) {
+        for (const metric of this.targets(loopId)) {
+            metric.evidenceCaptures++;
+            metric.evidenceLatencyMs += Math.max(0, latencyMs);
+            if (outcome === "available")
+                metric.evidenceAvailable++;
+            if (outcome === "unavailable")
+                metric.evidenceUnavailable++;
+            if (outcome === "failure")
+                metric.evidenceFailures++;
+            if (outcome === "timeout")
+                metric.evidenceTimeouts++;
+            increment(metric.evidenceOutcomesByProvider, `${provider}:${outcome}`);
+        }
+    }
+    recordStrategy(loopId, level) {
+        for (const metric of this.targets(loopId)) {
+            if (level)
+                increment(metric.levels, level);
+        }
+    }
+    recordStrategyOutcome(loopId, level, result, replayed = false) {
+        if (replayed)
+            return;
+        const key = level ?? "unknown";
+        for (const metric of this.targets(loopId)) {
+            const current = metric.strategyEffectiveness[key] ?? {
+                attempts: 0,
+                successes: 0,
+                rejections: 0,
+            };
+            current.attempts++;
+            if (result.roundSuccess && result.action !== "reject")
+                current.successes++;
+            if (result.action === "reject")
+                current.rejections++;
+            metric.strategyEffectiveness[key] = current;
+        }
+    }
+    snapshot(loopId) {
+        const source = loopId ? this.loops.get(loopId) ?? empty(loopId) : this.aggregate;
+        const attempts = source.roundAttempts;
+        const evidence = source.evidenceCaptures;
+        const strategyEffectiveness = {};
+        for (const [key, value] of Object.entries(source.strategyEffectiveness)) {
+            strategyEffectiveness[key] = {
+                ...value,
+                successRate: value.attempts === 0 ? 0 : value.successes / value.attempts,
+            };
+        }
+        return {
+            ...source,
+            verificationFlags: { ...source.verificationFlags },
+            enforcementReasons: { ...source.enforcementReasons },
+            evidenceOutcomesByProvider: { ...source.evidenceOutcomesByProvider },
+            levels: { ...source.levels },
+            strategyEffectiveness,
+            acceptanceRate: attempts === 0 ? 0 : source.committedRounds / attempts,
+            evidenceAvailabilityRate: evidence === 0 ? 0 : source.evidenceAvailable / evidence,
+        };
+    }
+    reset(loopId) {
+        if (loopId) {
+            this.loops.delete(loopId);
+            return;
+        }
+        this.loops.clear();
+        this.aggregate = empty();
+    }
+}
+export const policyMetrics = new PolicyMetricsCollector();
+export function getPolicyMetrics(loopId) {
+    return policyMetrics.snapshot(loopId);
+}
+export function resetPolicyMetrics(loopId) {
+    policyMetrics.reset(loopId);
+}
+//# sourceMappingURL=policy-metrics.js.map

package/dist/policy-metrics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy-metrics.js","sourceRoot":"","sources":["../src/policy-metrics.ts"],"names":[],"mappings":"AAAA,0EAA0E;AA6C1E,SAAS,KAAK,CAAC,MAAe;IAC5B,OAAO;QACL,MAAM;QACN,aAAa,EAAE,CAAC;QAChB,eAAe,EAAE,CAAC;QAClB,gBAAgB,EAAE,CAAC;QACnB,gBAAgB,EAAE,CAAC;QACnB,aAAa,EAAE,CAAC;QAChB,oBAAoB,EAAE,CAAC;QACvB,gBAAgB,EAAE,CAAC;QACnB,kBAAkB,EAAE,CAAC;QACrB,iBAAiB,EAAE,EAAE;QACrB,kBAAkB,EAAE,EAAE;QACtB,0BAA0B,EAAE,EAAE;QAC9B,gBAAgB,EAAE,CAAC;QACnB,iBAAiB,EAAE,CAAC;QACpB,mBAAmB,EAAE,CAAC;QACtB,gBAAgB,EAAE,CAAC;QACnB,gBAAgB,EAAE,CAAC;QACnB,iBAAiB,EAAE,CAAC;QACpB,MAAM,EAAE,EAAE;QACV,qBAAqB,EAAE,EAAE;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,MAA8B,EAAE,GAAW;IAC5D,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;AACvC,CAAC;AAED,MAAM,OAAO,sBAAsB;IAChB,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC;IACnD,SAAS,GAAG,KAAK,EAAE,CAAC;IAEpB,OAAO,CAAC,MAAe;QAC7B,IAAI,CAAC,MAAM;YAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrC,IAAI,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;YACvB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACjC,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAClC,CAAC;IAED,WAAW,CAAC,MAAc,EAAE,MAA0B,EAAE,QAAQ,GAAG,KAAK;QACtE,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,CAAC,oBAAoB,EAAE,CAAC;gBAC9B,SAAS;YACX,CAAC;YACD,MAAM,CAAC,aAAa,EAAE,CAAC;YACvB,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;gBAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;;gBACrD,MAAM,CAAC,eAAe,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;gBAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;YAC7D,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM;gBAAE,MAAM,CAAC,aAAa,EAAE,CAAC;YACrD,IAAI,MAAM,CAAC,YAAY;gBAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;YACnD,IAAI,MAAM,CAAC,gBAAgB;gBAAE,MAAM,CAAC,kBAAkB,EAAE,CAAC;YACzD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;gBAC5C,SAAS,CAAC,MAAM,CAAC,iBAAiB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,CAAC;YACD,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;gBAC7B,SAAS,CAAC,MAAM,CAAC,kBAAkB,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;IACH,CAAC;IAED,cAAc,CACZ,QAAgB,EAChB,OAA4D,EAC5D,SAAiB,EACjB,MAAe;QAEf,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,gBAAgB,EAAE,CAAC;YAC1B,MAAM,CAAC,iBAAiB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;YACnD,IAAI,OAAO,KAAK,WAAW;gBAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC;YACxD,IAAI,OAAO,KAAK,aAAa;gBAAE,MAAM,CAAC,mBAAmB,EAAE,CAAC;YAC5D,IAAI,OAAO,KAAK,SAAS;gBAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;YACrD,IAAI,OAAO,KAAK,SAAS;gBAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;YACrD,SAAS,CAAC,MAAM,CAAC,0BAA0B,EAAE,GAAG,QAAQ,IAAI,OAAO,EAAE,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IAED,cAAc,CAAC,MAAc,EAAE,KAAc;QAC3C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,IAAI,KAAK;gBAAE,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,qBAAqB,CACnB,MAAc,EACd,KAAyB,EACzB,MAA0B,EAC1B,QAAQ,GAAG,KAAK;QAEhB,IAAI,QAAQ;YAAE,OAAO;QACrB,MAAM,GAAG,GAAG,KAAK,IAAI,SAAS,CAAC;QAC/B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI;gBACnD,QAAQ,EAAE,CAAC;gBACX,SAAS,EAAE,CAAC;gBACZ,UAAU,EAAE,CAAC;aACd,CAAC;YACF,OAAO,CAAC,QAAQ,EAAE,CAAC;YACnB,IAAI,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;gBAAE,OAAO,CAAC,SAAS,EAAE,CAAC;YAC3E,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;gBAAE,OAAO,CAAC,UAAU,EAAE,CAAC;YACrD,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,MAAe;QACtB,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;QACjF,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAC;QACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;QACzC,MAAM,qBAAqB,GAAmD,EAAE,CAAC;QACjF,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,qBAAqB,CAAC,EAAE,CAAC;YACxE,qBAAqB,CAAC,GAAG,CAAC,GAAG;gBAC3B,GAAG,KAAK;gBACR,WAAW,EAAE,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,QAAQ;aACzE,CAAC;QACJ,CAAC;QACD,OAAO;YACL,GAAG,MAAM;YACT,iBAAiB,EAAE,EAAE,GAAG,MAAM,CAAC,iBAAiB,EAAE;YAClD,kBAAkB,EAAE,EAAE,GAAG,MAAM,CAAC,kBAAkB,EAAE;YACpD,0BAA0B,EAAE,EAAE,GAAG,MAAM,CAAC,0BAA0B,EAAE;YACpE,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE;YAC5B,qBAAqB;YACrB,cAAc,EAAE,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,GAAG,QAAQ;YACtE,wBAAwB,EAAE,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,GAAG,QAAQ;SACnF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,MAAe;QACnB,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC1B,OAAO;QACT,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,SAAS,GAAG,KAAK,EAAE,CAAC;IAC3B,CAAC;CACF;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,sBAAsB,EAAE,CAAC;AAE1D,MAAM,UAAU,gBAAgB,CAAC,MAAe;IAC9C,OAAO,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAe;IAChD,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAC9B,CAAC"}

package/dist/policy.d.ts

@@ -1,7 +1,4 @@
-/** Policy — externalised loop behaviour configuration.
- *
- * All tunable parameters live here instead of as module-level constants.
- */
+/** Externalized LoopForge runtime policy. */
 export interface ConstraintsPolicy {
     retire_window: number;
 }
@@ -9,186 +6,94 @@ export interface SummaryPolicy {
     window: number;
     health_check_interval: number;
 }
-export interface TechniquePolicy {
-    /** @deprecated v1.15 — Escalation (N failures → Tier 2) removed.
-     *  The Agent freely chooses techniques at L2; keyword routing stays
-     *  in Tier 1 at L1. This field is retained for config compatibility
-     *  but no longer consumed by the routing logic. */
-    tier2_escalation_failures: number;
-}
 export interface EnginePolicy {
     feedback_flush_interval: number;
     max_circuit_breaker: number;
-}
-export interface RuntimePolicy {
     max_rounds: number;
-    round_timeout_ms: number;
-    heartbeat_interval_ms: number;
-    stall_grace_ms: number;
-    max_consecutive_errors: number;
+}
+/** Levels control state density only; reasoning strategy belongs to the Agent. */
+export interface PromptPolicy {
+    injection_mode: "adaptive" | "full" | "pointer";
+    full_refresh_interval: number;
+    l0_max_chars: number;
+    l1_max_chars: number;
+    l2_max_chars: number;
+    base_prompt_version: string;
 }
 export interface BackendPolicy {
-    vault_path: string;
-    global_vault_path: string;
+    /** Root for typed per-loop documents. */
+    root_dir: string;
 }
 export interface EvolutionPolicy {
-    /** P0: Max new constraints the agent can discover per round. */
     max_discovered_constraints_per_round: number;
-    /** P0: Hard upper bound on total active constraints. */
     max_active_constraints: number;
-    /** P1: Max versions of the loop objective to retain in history. */
     max_objective_versions: number;
-    /** P4: Minimum progress delta to not be considered stalled. */
     progress_stall_threshold: number;
-    /** P4: Consecutive rounds below stall threshold before warning. */
     progress_stall_rounds: number;
-    /** P4: Max allowed difference between objective and subjective progress. */
     progress_mismatch_threshold: number;
 }
-/** A tier in the round-based injection strategy.
- *  Each tier defines how many and which injection phases are allowed
- *  based on the loop's maxRounds. */
-export interface MemoryInjectionTier {
-    /** Upper bound of maxRounds for this tier (inclusive). */
-    max_rounds: number;
-    /** Which phases are allowed in this tier: [1], [1,3], or [1,2,3]. */
-    allowed_phases: number[];
-}
-export interface MemoryInjectionPolicy {
-    /** Master toggle for memory injection. */
-    enabled: boolean;
-    /** Minimum rounds between two consecutive injections. */
-    min_rounds_between_injections: number;
-    /** Phase trigger configuration. */
-    phase_thresholds: {
-        phase1: {
-            trigger: "round_1";
-        };
-        phase2: {
-            trigger: "progress";
-            threshold: number;
-        };
-        phase3: {
-            trigger: "progress";
-            threshold: number;
-        };
-    };
-    /** Round-based tiered injection strategy. Each tier defines which phases
-     *  are allowed based on maxRounds. The first matching tier wins.
-     *  Tiers should be ordered by max_rounds ascending. */
-    round_tiers: MemoryInjectionTier[];
-    /** Jaccard similarity threshold above which a new context is considered
-     *  duplicate and skipped. */
-    dedup_threshold: number;
-    /** Maximum characters of memory context to inject (truncated if longer). */
-    max_context_length: number;
-    /** Section header for the injected context block in the L2 prompt. */
-    section_title: string;
-}
-/** Resolve which injection phases are allowed for a given maxRounds.
- *  Uses the tiered strategy: finds the first tier where maxRounds ≤ tier.max_rounds,
- *  and returns its allowed_phases. If maxRounds exceeds all tiers, returns the
- *  last tier's phases. */
-export declare function resolveAllowedPhases(maxRounds: number, tiers: MemoryInjectionTier[]): number[];
-/** Resolve which memory injection phase (1/2/3) should fire this round.
- *  Shared between LoopRuntime (runtime.ts) and SessionManager (mcp/session.ts).
- *  Returns the phase number, or 0 if no injection should occur this round.
- *
- *  @param currentRound       Current round number (1-based).
- *  @param injectionCount     How many injections have already occurred.
- *  @param allowedPhases      Phases allowed by the round-tier policy.
- *  @param progress           Current progress estimate (-1 if unavailable).
- *  @param phase2Triggered    Whether phase 2 has already fired in this loop.
- *  @param phase3Triggered    Whether phase 3 has already fired in this loop.
- *  @param thresholds         Policy threshold config for phase2/phase3. */
-export declare function resolveInjectionPhase(currentRound: number, injectionCount: number, allowedPhases: Set<number>, progress: number, phase2Triggered: boolean, phase3Triggered: boolean, thresholds: {
-    phase2: number;
-    phase3: number;
-}): 0 | 1 | 2 | 3;
-/** Build accumulated context for a targeted memory query from a SelfEvaluation.
- *  Extracts recurring issues, key lessons, and remaining criteria.
- *  Shared between LoopRuntime (runtime.ts) and SessionManager (mcp/session.ts). */
-export declare function buildAccumulatedMemoryContext(selfEval: {
-    constraint_violations: string[];
-    execution_evidence?: {
-        success_criteria_remaining?: string[];
-    } | null;
-    emerged_subtasks?: string[];
-    wrong_assumptions?: string[];
-}): {
-    recurringIssues: string[];
-    failedPatterns: string[];
-    keyLessons: string[];
-    remainingCriteria: string[];
-};
-/** Build a base LoopMemoryWriteback payload from loop terminal state.
- *  Shared between LoopRuntime (runtime.ts) and SessionManager (mcp/session.ts).
- *  Callers may layer additional feedback entries on top of the returned payload. */
-export declare function buildBaseMemoryWriteback(params: {
-    loopId: string;
-    task: string;
-    stopReason: string;
-    roundsCompleted: number;
-    discoveries: string[];
-}): {
-    loopId: string;
-    task: string;
-    outcome: "completed" | "circuit_breaker" | "stalled" | "max_rounds" | "stopped";
-    roundsCompleted: number;
-    projectEntry: {
-        title: string;
-        objective: string;
-        keyOutcome: string;
-        keyDiscoveries: string[];
-        date: string;
-    };
-    referenceEntry: {
-        description: string;
-        vaultLocation: string;
-    };
-};
-export interface MemoryWritebackPolicy {
-    /** Master toggle for memory writeback on loop end. */
-    enabled: boolean;
-    /** Maximum number of feedback entries to write back. */
-    max_feedback_entries: number;
-    /** Maximum number of discoveries in the project entry. */
-    max_discoveries_in_project: number;
-    /** Only write back for these stop reasons. */
-    write_on_outcomes: string[];
-}
 export interface CheckpointPolicy {
-    /** Maximum number of constraints carried forward in a checkpoint. */
     max_carried_constraints: number;
-    /** Maximum character length of the outcome field in a checkpoint. */
     outcome_max_chars: number;
 }
+/** Human-readable derived state view. JSON LoopStore documents remain truth. */
 export interface StateFilePolicy {
-    /** Master toggle. false = fully disabled, state stays inlined in prompt. */
     enabled: boolean;
-    /** Directory relative to project root where state files are written. */
     directory: string;
-    /** Max checkpoints to carry in state file. */
     max_checkpoints: number;
-    /** Max rounds in cross-round summary section. */
     max_summary_rounds: number;
 }
+export interface EvidencePolicy {
+    providers: string[];
+    timeout_ms: number;
+    commands: CommandEvidencePolicy[];
+}
+export interface CommandEvidencePolicy {
+    name: string;
+    enabled: boolean;
+    executable: string;
+    args: string[];
+    cwd?: string;
+    phase: "after" | "both";
+    required: boolean;
+    timeout_ms: number;
+    max_output_chars: number;
+    success_exit_codes: number[];
+}
+export interface McpPolicy {
+    session_lease_ms: number;
+    session_lease_renew_interval_ms: number;
+}
 export interface LoopPolicy {
     version: string;
     constraints: ConstraintsPolicy;
     summary: SummaryPolicy;
-    technique: TechniquePolicy;
     engine: EnginePolicy;
-    runtime: RuntimePolicy;
+    prompt: PromptPolicy;
     backend: BackendPolicy;
     evolution: EvolutionPolicy;
-    memory_injection: MemoryInjectionPolicy;
-    memory_writeback: MemoryWritebackPolicy;
     checkpoint: CheckpointPolicy;
     state_file: StateFilePolicy;
+    evidence: EvidencePolicy;
+    mcp: McpPolicy;
 }
 export declare const DEFAULT_POLICY: LoopPolicy;
+/** Write a full default `loop_policy.json` to the target directory.
+ *
+ *  The written file contains every configurable key and its default value
+ *  so users can discover and tune the system without reading source code.
+ *  Skip creation when the file already exists unless `force` is true.
+ *
+ * @returns The resolved file path and whether it was freshly created.
+ */
+export declare function writeDefaultPolicy(targetDir: string, force?: boolean): {
+    path: string;
+    created: boolean;
+};
 export declare function loadPolicy(path?: string): LoopPolicy;
 export declare function getPolicy(path?: string): LoopPolicy;
 export declare function resetPolicy(): void;
+export declare function validateLoopId(loopId: string): void;
+export declare function resolveStateDirectory(workspaceRoot: string, configuredDirectory: string): string;
+export declare function writeStateFile(loopId: string, content: string | undefined): void;
 //# sourceMappingURL=policy.d.ts.map

package/dist/policy.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../src/policy.ts"],"names":[],"mappings":"AAAA;;;GAGG;AASH,MAAM,WAAW,iBAAiB;IAChC,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,eAAe;IAC9B;;;uDAGmD;IACnD,yBAAyB,EAAE,MAAM,CAAC;CACnC;AAED,MAAM,WAAW,YAAY;IAC3B,uBAAuB,EAAE,MAAM,CAAC;IAChC,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,cAAc,EAAE,MAAM,CAAC;IACvB,sBAAsB,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,MAAM,CAAC;IAEnB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,gEAAgE;IAChE,oCAAoC,EAAE,MAAM,CAAC;IAC7C,wDAAwD;IACxD,sBAAsB,EAAE,MAAM,CAAC;IAC/B,mEAAmE;IACnE,sBAAsB,EAAE,MAAM,CAAC;IAC/B,+DAA+D;IAC/D,wBAAwB,EAAE,MAAM,CAAC;IACjC,mEAAmE;IACnE,qBAAqB,EAAE,MAAM,CAAC;IAC9B,4EAA4E;IAC5E,2BAA2B,EAAE,MAAM,CAAC;CACrC;AAED;;qCAEqC;AACrC,MAAM,WAAW,mBAAmB;IAClC,0DAA0D;IAC1D,UAAU,EAAE,MAAM,CAAC;IACnB,qEAAqE;IACrE,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,qBAAqB;IACpC,0CAA0C;IAC1C,OAAO,EAAE,OAAO,CAAC;IACjB,yDAAyD;IACzD,6BAA6B,EAAE,MAAM,CAAC;IACtC,mCAAmC;IACnC,gBAAgB,EAAE;QAChB,MAAM,EAAE;YAAE,OAAO,EAAE,SAAS,CAAA;SAAE,CAAC;QAC/B,MAAM,EAAE;YAAE,OAAO,EAAE,UAAU,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;QACnD,MAAM,EAAE;YAAE,OAAO,EAAE,UAAU,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;KACpD,CAAC;IACF;;2DAEuD;IACvD,WAAW,EAAE,mBAAmB,EAAE,CAAC;IACnC;iCAC6B;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,4EAA4E;IAC5E,kBAAkB,EAAE,MAAM,CAAC;IAC3B,sEAAsE;IACtE,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;;0BAG0B;AAC1B,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,mBAAmB,EAAE,GAC3B,MAAM,EAAE,CAMV;AAED;;;;;;;;;;2EAU2E;AAC3E,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,MAAM,EACpB,cAAc,EAAE,MAAM,EACtB,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,EAC1B,QAAQ,EAAE,MAAM,EAChB,eAAe,EAAE,OAAO,EACxB,eAAe,EAAE,OAAO,EACxB,UAAU,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC7C,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAgCf;AAED;;mFAEmF;AACnF,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE;IAAE,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAAC,kBAAkB,CAAC,EAAE;QAAE,0BAA0B,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI,CAAC;IAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,GAC9K;IAAE,eAAe,EAAE,MAAM,EAAE,CAAC;IAAC,cAAc,EAAE,MAAM,EAAE,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAC;IAAC,iBAAiB,EAAE,MAAM,EAAE,CAAA;CAAE,CAoB5G;AAED;;oFAEoF;AACpF,wBAAgB,wBAAwB,CAAC,MAAM,EAAE;IAC/C,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,GAAG;IACF,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,WAAW,GAAG,iBAAiB,GAAG,SAAS,GAAG,YAAY,GAAG,SAAS,CAAC;IAChF,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE;QACZ,KAAK,EAAE,MAAM,CAAC;QACd,SAAS,EAAE,MAAM,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC;QACnB,cAAc,EAAE,MAAM,EAAE,CAAC;QACzB,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;IACF,cAAc,EAAE;QACd,WAAW,EAAE,MAAM,CAAC;QACpB,aAAa,EAAE,MAAM,CAAC;KACvB,CAAC;CACH,CA2BA;AAED,MAAM,WAAW,qBAAqB;IACpC,sDAAsD;IACtD,OAAO,EAAE,OAAO,CAAC;IACjB,wDAAwD;IACxD,oBAAoB,EAAE,MAAM,CAAC;IAC7B,0DAA0D;IAC1D,0BAA0B,EAAE,MAAM,CAAC;IACnC,8CAA8C;IAC9C,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,gBAAgB;IAC/B,qEAAqE;IACrE,uBAAuB,EAAE,MAAM,CAAC;IAChC,qEAAqE;IACrE,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,4EAA4E;IAC5E,OAAO,EAAE,OAAO,CAAC;IACjB,wEAAwE;IACxE,SAAS,EAAE,MAAM,CAAC;IAClB,8CAA8C;IAC9C,eAAe,EAAE,MAAM,CAAC;IACxB,iDAAiD;IACjD,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,iBAAiB,CAAC;IAC/B,OAAO,EAAE,aAAa,CAAC;IACvB,SAAS,EAAE,eAAe,CAAC;IAC3B,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,aAAa,CAAC;IACvB,OAAO,EAAE,aAAa,CAAC;IACvB,SAAS,EAAE,eAAe,CAAC;IAC3B,gBAAgB,EAAE,qBAAqB,CAAC;IACxC,gBAAgB,EAAE,qBAAqB,CAAC;IACxC,UAAU,EAAE,gBAAgB,CAAC;IAC7B,UAAU,EAAE,eAAe,CAAC;CAC7B;AAMD,eAAO,MAAM,cAAc,EAAE,UAqE5B,CAAC;AAmCF,wBAAgB,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAmBpD;AAQD,wBAAgB,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAKnD;AAED,wBAAgB,WAAW,IAAI,IAAI,CAElC"}
+{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../src/policy.ts"],"names":[],"mappings":"AAAA,6CAA6C;AAe7C,MAAM,WAAW,iBAAiB;IAChC,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,YAAY;IAC3B,uBAAuB,EAAE,MAAM,CAAC;IAChC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,kFAAkF;AAClF,MAAM,WAAW,YAAY;IAC3B,cAAc,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAAC;IAChD,qBAAqB,EAAE,MAAM,CAAC;IAC9B,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,aAAa;IAC5B,yCAAyC;IACzC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,oCAAoC,EAAE,MAAM,CAAC;IAC7C,sBAAsB,EAAE,MAAM,CAAC;IAC/B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,wBAAwB,EAAE,MAAM,CAAC;IACjC,qBAAqB,EAAE,MAAM,CAAC;IAC9B,2BAA2B,EAAE,MAAM,CAAC;CACrC;AAED,MAAM,WAAW,gBAAgB;IAC/B,uBAAuB,EAAE,MAAM,CAAC;IAChC,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,gFAAgF;AAChF,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,qBAAqB,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC;IACxB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,SAAS;IACxB,gBAAgB,EAAE,MAAM,CAAC;IACzB,+BAA+B,EAAE,MAAM,CAAC;CACzC;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,iBAAiB,CAAC;IAC/B,OAAO,EAAE,aAAa,CAAC;IACvB,MAAM,EAAE,YAAY,CAAC;IACrB,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,aAAa,CAAC;IACvB,SAAS,EAAE,eAAe,CAAC;IAC3B,UAAU,EAAE,gBAAgB,CAAC;IAC7B,UAAU,EAAE,eAAe,CAAC;IAC5B,QAAQ,EAAE,cAAc,CAAC;IACzB,GAAG,EAAE,SAAS,CAAC;CAChB;AAED,eAAO,MAAM,cAAc,EAAE,UAkC5B,CAAC;AAEF;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,MAAM,EACjB,KAAK,UAAQ,GACZ;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAOpC;AAwBD,wBAAgB,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAapD;AAID,wBAAgB,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAGnD;AAED,wBAAgB,WAAW,IAAI,IAAI,CAElC;AAID,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAanD;AAED,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,MAAM,EACrB,mBAAmB,EAAE,MAAM,GAC1B,MAAM,CA2BR;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAsBhF"}