loopforge 1.15.1 → 2.0.1

package/dist/policy.js

@@ -1,141 +1,21 @@
-/** Policy — externalised loop behaviour configuration.
- *
- * All tunable parameters live here instead of as module-level constants.
- */
-import { readFileSync } from "node:fs";
-import { resolve } from "node:path";
-/** 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 function resolveAllowedPhases(maxRounds, tiers) {
-    if (tiers.length === 0)
-        return [1]; // safety fallback
-    for (const tier of tiers) {
-        if (maxRounds <= tier.max_rounds)
-            return tier.allowed_phases;
-    }
-    return tiers[tiers.length - 1].allowed_phases;
-}
-/** 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 function resolveInjectionPhase(currentRound, injectionCount, allowedPhases, progress, phase2Triggered, phase3Triggered, thresholds) {
-    const maxInjections = allowedPhases.size;
-    if (injectionCount >= maxInjections)
-        return 0;
-    // Phase 1: round 1 only
-    if (currentRound === 1 && injectionCount === 0 && allowedPhases.has(1)) {
-        return 1;
-    }
-    const hasProgress = progress >= 0;
-    // Phase 2: progress threshold (only if allowed by tier and not yet triggered)
-    if (allowedPhases.has(2) &&
-        !phase2Triggered &&
-        hasProgress &&
-        progress >= thresholds.phase2) {
-        return 2;
-    }
-    // Phase 3: progress threshold (only if allowed by tier and not yet triggered)
-    if (allowedPhases.has(3) &&
-        !phase3Triggered &&
-        hasProgress &&
-        progress >= thresholds.phase3) {
-        return 3;
-    }
-    return 0;
-}
-/** 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 function buildAccumulatedMemoryContext(selfEval) {
-    const recurringIssues = [];
-    const failedPatterns = [];
-    const keyLessons = [];
-    const remainingCriteria = [];
-    if (selfEval.constraint_violations.length) {
-        recurringIssues.push(...selfEval.constraint_violations);
-    }
-    if (selfEval.execution_evidence?.success_criteria_remaining?.length) {
-        remainingCriteria.push(...selfEval.execution_evidence.success_criteria_remaining);
-    }
-    if (selfEval.emerged_subtasks?.length) {
-        keyLessons.push(...selfEval.emerged_subtasks);
-    }
-    if (selfEval.wrong_assumptions?.length) {
-        keyLessons.push(...selfEval.wrong_assumptions.map((a) => `Wrong: ${a}`));
-    }
-    return { recurringIssues, failedPatterns, keyLessons, remainingCriteria };
-}
-/** 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 function buildBaseMemoryWriteback(params) {
-    const wp = getPolicy().memory_writeback;
-    const outcome = (params.stopReason === "task_complete" ? "completed" :
-        params.stopReason === "circuit_breaker" ? "circuit_breaker" :
-            params.stopReason === "stalled" ? "stalled" :
-                params.stopReason === "max_rounds" ? "max_rounds" :
-                    "stopped");
-    return {
-        loopId: params.loopId,
-        task: params.task,
-        outcome,
-        roundsCompleted: params.roundsCompleted,
-        projectEntry: {
-            title: `${params.task.slice(0, 80)} — ${outcome}`,
-            objective: params.task.slice(0, 200),
-            keyOutcome: params.stopReason === "task_complete"
-                ? `Completed successfully in ${params.roundsCompleted} rounds.`
-                : `Terminated with reason '${params.stopReason}' after ${params.roundsCompleted} rounds.`,
-            keyDiscoveries: params.discoveries.slice(0, wp.max_discoveries_in_project),
-            date: new Date().toISOString().split("T")[0],
-        },
-        referenceEntry: {
-            description: `LoopForge vault data for "${params.task.slice(0, 80)}"`,
-            vaultLocation: `.promptcraft/prompt_vault.json → loop:${params.loopId}:*`,
-        },
-    };
-}
-// ═══════════════════════════════════════════════════════════════════════════
-// Default policy
-// ═══════════════════════════════════════════════════════════════════════════
+/** Externalized LoopForge runtime policy. */
+import { randomUUID } from "node:crypto";
+import { existsSync, lstatSync, mkdirSync, readFileSync, realpathSync, renameSync, rmSync, writeFileSync, } from "node:fs";
+import { isAbsolute, relative, resolve, sep } from "node:path";
 export const DEFAULT_POLICY = {
-    version: "1",
-    constraints: {
-        retire_window: 3,
-    },
-    summary: {
-        window: 5,
-        health_check_interval: 1,
-    },
-    technique: {
-        /** @deprecated v1.15 — no longer consumed. Retained for config compatibility. */
-        tier2_escalation_failures: 3,
-    },
-    engine: {
-        feedback_flush_interval: 5,
-        max_circuit_breaker: 3,
-    },
-    runtime: {
-        max_rounds: 20,
-        round_timeout_ms: 600_000,
-        heartbeat_interval_ms: 30_000,
-        stall_grace_ms: 300_000,
-        max_consecutive_errors: 3,
-    },
-    backend: {
-        vault_path: ".promptcraft/prompt_vault.json",
-        global_vault_path: "~/.promptcraft/global_vault.json",
+    version: "2",
+    constraints: { retire_window: 3 },
+    summary: { window: 5, health_check_interval: 1 },
+    engine: { feedback_flush_interval: 5, max_circuit_breaker: 3, max_rounds: 20 },
+    prompt: {
+        injection_mode: "adaptive",
+        full_refresh_interval: 5,
+        l0_max_chars: 3000,
+        l1_max_chars: 7000,
+        l2_max_chars: 18000,
+        base_prompt_version: "2.0.0",
     },
+    backend: { root_dir: ".loopforge" },
     evolution: {
         max_discovered_constraints_per_round: 5,
         max_active_constraints: 15,
@@ -144,90 +24,137 @@ export const DEFAULT_POLICY = {
         progress_stall_rounds: 2,
         progress_mismatch_threshold: 0.3,
     },
-    memory_injection: {
-        enabled: true,
-        min_rounds_between_injections: 1,
-        phase_thresholds: {
-            phase1: { trigger: "round_1" },
-            phase2: { trigger: "progress", threshold: 0.40 },
-            phase3: { trigger: "progress", threshold: 0.70 },
-        },
-        round_tiers: [
-            { max_rounds: 10, allowed_phases: [1] },
-            { max_rounds: 20, allowed_phases: [1, 3] },
-            { max_rounds: 30, allowed_phases: [1, 2, 3] },
-        ],
-        dedup_threshold: 0.6,
-        max_context_length: 2000,
-        section_title: "### Background Context (Long-Term Memory)",
-    },
-    memory_writeback: {
-        enabled: true,
-        max_feedback_entries: 5,
-        max_discoveries_in_project: 3,
-        write_on_outcomes: ["task_complete", "circuit_breaker", "max_rounds"],
-    },
-    checkpoint: {
-        max_carried_constraints: 10,
-        outcome_max_chars: 200,
-    },
+    checkpoint: { max_carried_constraints: 10, outcome_max_chars: 200 },
     state_file: {
         enabled: true,
         directory: ".loopforge/state",
         max_checkpoints: 5,
         max_summary_rounds: 5,
     },
+    evidence: { providers: ["git"], timeout_ms: 120_000, commands: [] },
+    mcp: {
+        session_lease_ms: 30_000,
+        session_lease_renew_interval_ms: 10_000,
+    },
 };
-// ═══════════════════════════════════════════════════════════════════════════
-// Deep merge — custom values override defaults, unset fields retain defaults
-// ═══════════════════════════════════════════════════════════════════════════
+/** 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 function writeDefaultPolicy(targetDir, force = false) {
+    const target = resolve(targetDir, "loop_policy.json");
+    if (existsSync(target) && !force) {
+        return { path: target, created: false };
+    }
+    writeFileSync(target, JSON.stringify(DEFAULT_POLICY, null, 2) + "\n", "utf8");
+    return { path: target, created: true };
+}
 function deepMerge(defaults, overrides) {
     const result = { ...defaults };
     for (const key of Object.keys(overrides)) {
-        if (key in result &&
-            typeof result[key] === "object" &&
-            !Array.isArray(result[key]) &&
-            typeof overrides[key] === "object" &&
-            !Array.isArray(overrides[key]) &&
-            overrides[key] !== null) {
-            result[key] = deepMerge(result[key], overrides[key]);
+        const current = result[key];
+        const incoming = overrides[key];
+        if (key in result && current !== null && incoming !== null &&
+            typeof current === "object" && !Array.isArray(current) &&
+            typeof incoming === "object" && !Array.isArray(incoming)) {
+            result[key] = deepMerge(current, incoming);
         }
-        else {
-            result[key] = overrides[key];
+        else if (key in result) {
+            // Unknown legacy keys are deliberately ignored at the 2.0 boundary.
+            result[key] = incoming;
         }
     }
     return result;
 }
-// ═══════════════════════════════════════════════════════════════════════════
-// Loader
-// ═══════════════════════════════════════════════════════════════════════════
 export function loadPolicy(path) {
     const candidates = [path, "loop_policy.json"].filter(Boolean);
     for (const candidate of candidates) {
         try {
-            const resolved = resolve(candidate);
-            const raw = JSON.parse(readFileSync(resolved, "utf-8"));
+            const raw = JSON.parse(readFileSync(resolve(candidate), "utf8"));
             if (raw && typeof raw === "object" && !Array.isArray(raw)) {
                 return deepMerge(DEFAULT_POLICY, raw);
             }
         }
         catch {
-            // File not found or invalid — try next candidate
+            // Try the next candidate.
         }
     }
-    return { ...DEFAULT_POLICY };
+    return structuredClone(DEFAULT_POLICY);
 }
-// ═══════════════════════════════════════════════════════════════════════════
-// Module-level singleton — loaded once per session
-// ═══════════════════════════════════════════════════════════════════════════
-let _policy = null;
+let policy = null;
 export function getPolicy(path) {
-    if (_policy === null) {
-        _policy = loadPolicy(path);
-    }
-    return _policy;
+    policy ??= loadPolicy(path);
+    return policy;
 }
 export function resetPolicy() {
-    _policy = null;
+    policy = null;
+}
+const LOOP_ID_RE = /^[a-zA-Z0-9][-a-zA-Z0-9_:.]{0,127}$/;
+export function validateLoopId(loopId) {
+    if (typeof loopId !== "string" || !loopId) {
+        throw new Error("Invalid loopId: must be a non-empty string");
+    }
+    if (loopId.includes(".."))
+        throw new Error('Invalid loopId: ".." is not allowed');
+    if (loopId.includes("/") || loopId.includes("\\")) {
+        throw new Error("Invalid loopId: path separators are not allowed");
+    }
+    if (!LOOP_ID_RE.test(loopId)) {
+        throw new Error("Invalid loopId: use at most 128 alphanumeric, hyphen, underscore, colon, or dot characters");
+    }
+}
+export function resolveStateDirectory(workspaceRoot, configuredDirectory) {
+    const lexicalRoot = resolve(workspaceRoot);
+    const lexicalTarget = resolve(lexicalRoot, configuredDirectory);
+    const lexicalRelative = relative(lexicalRoot, lexicalTarget);
+    if (lexicalRelative === ".." || lexicalRelative.startsWith(`..${sep}`) ||
+        isAbsolute(lexicalRelative)) {
+        throw new Error("State file directory must stay within the workspace");
+    }
+    const realRoot = realpathSync(lexicalRoot);
+    let ancestor = lexicalTarget;
+    while (!existsSync(ancestor)) {
+        const parent = resolve(ancestor, "..");
+        if (parent === ancestor)
+            break;
+        ancestor = parent;
+    }
+    const projected = resolve(realpathSync(ancestor), relative(ancestor, lexicalTarget));
+    const realRelative = relative(realRoot, projected);
+    if (realRelative === ".." || realRelative.startsWith(`..${sep}`) ||
+        isAbsolute(realRelative)) {
+        throw new Error("State file directory resolves outside the workspace");
+    }
+    return lexicalTarget;
+}
+export function writeStateFile(loopId, content) {
+    if (!content)
+        return;
+    validateLoopId(loopId);
+    const config = getPolicy().state_file;
+    if (!config.enabled)
+        return;
+    const directory = resolveStateDirectory(process.cwd(), config.directory);
+    mkdirSync(directory, { recursive: true });
+    const verifiedDirectory = resolveStateDirectory(process.cwd(), config.directory);
+    const target = resolve(verifiedDirectory, `${loopId}-state.md`);
+    if (existsSync(target) && lstatSync(target).isSymbolicLink()) {
+        throw new Error("State file target must not be a symbolic link");
+    }
+    const temporary = resolve(verifiedDirectory, `.${loopId}-state.${process.pid}.${randomUUID()}.tmp`);
+    try {
+        writeFileSync(temporary, content, "utf8");
+        renameSync(temporary, target);
+    }
+    finally {
+        try {
+            rmSync(temporary, { force: true });
+        }
+        catch { /* best effort */ }
+    }
 }
 //# sourceMappingURL=policy.js.map

package/dist/policy.js.map

@@ -1 +1 @@
-{"version":3,"file":"policy.js","sourceRoot":"","sources":["../src/policy.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AA2FpC;;;0BAG0B;AAC1B,MAAM,UAAU,oBAAoB,CAClC,SAAiB,EACjB,KAA4B;IAE5B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB;IACtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,SAAS,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC,cAAc,CAAC;IAC/D,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC;AAChD,CAAC;AAED;;;;;;;;;;2EAU2E;AAC3E,MAAM,UAAU,qBAAqB,CACnC,YAAoB,EACpB,cAAsB,EACtB,aAA0B,EAC1B,QAAgB,EAChB,eAAwB,EACxB,eAAwB,EACxB,UAA8C;IAE9C,MAAM,aAAa,GAAG,aAAa,CAAC,IAAI,CAAC;IACzC,IAAI,cAAc,IAAI,aAAa;QAAE,OAAO,CAAC,CAAC;IAE9C,wBAAwB;IACxB,IAAI,YAAY,KAAK,CAAC,IAAI,cAAc,KAAK,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,WAAW,GAAG,QAAQ,IAAI,CAAC,CAAC;IAElC,8EAA8E;IAC9E,IACE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;QACpB,CAAC,eAAe;QAChB,WAAW;QACX,QAAQ,IAAI,UAAU,CAAC,MAAM,EAC7B,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,8EAA8E;IAC9E,IACE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;QACpB,CAAC,eAAe;QAChB,WAAW;QACX,QAAQ,IAAI,UAAU,CAAC,MAAM,EAC7B,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;mFAEmF;AACnF,MAAM,UAAU,6BAA6B,CAC3C,QAA+K;IAE/K,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,iBAAiB,GAAa,EAAE,CAAC;IAEvC,IAAI,QAAQ,CAAC,qBAAqB,CAAC,MAAM,EAAE,CAAC;QAC1C,eAAe,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,qBAAqB,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,QAAQ,CAAC,kBAAkB,EAAE,0BAA0B,EAAE,MAAM,EAAE,CAAC;QACpE,iBAAiB,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,kBAAkB,CAAC,0BAA0B,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,EAAE,MAAM,EAAE,CAAC;QACtC,UAAU,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,QAAQ,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAC;QACvC,UAAU,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,CAAC;IAED,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC;AAC5E,CAAC;AAED;;oFAEoF;AACpF,MAAM,UAAU,wBAAwB,CAAC,MAMxC;IAiBC,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC,gBAAgB,CAAC;IACxC,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACpE,MAAM,CAAC,UAAU,KAAK,iBAAiB,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC7D,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBAC7C,MAAM,CAAC,UAAU,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;oBACnD,SAAS,CAA2E,CAAC;IAEvF,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO;QACP,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,YAAY,EAAE;YACZ,KAAK,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,OAAO,EAAE;YACjD,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;YACpC,UAAU,EAAE,MAAM,CAAC,UAAU,KAAK,eAAe;gBAC/C,CAAC,CAAC,6BAA6B,MAAM,CAAC,eAAe,UAAU;gBAC/D,CAAC,CAAC,2BAA2B,MAAM,CAAC,UAAU,WAAW,MAAM,CAAC,eAAe,UAAU;YAC3F,cAAc,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC;YAC1E,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAC7C;QACD,cAAc,EAAE;YACd,WAAW,EAAE,6BAA6B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;YACrE,aAAa,EAAE,yCAAyC,MAAM,CAAC,MAAM,IAAI;SAC1E;KACF,CAAC;AACJ,CAAC;AA8CD,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,cAAc,GAAe;IACxC,OAAO,EAAE,GAAG;IACZ,WAAW,EAAE;QACX,aAAa,EAAE,CAAC;KACjB;IACD,OAAO,EAAE;QACP,MAAM,EAAE,CAAC;QACT,qBAAqB,EAAE,CAAC;KACzB;IACD,SAAS,EAAE;QACT,iFAAiF;QACjF,yBAAyB,EAAE,CAAC;KAC7B;IACD,MAAM,EAAE;QACN,uBAAuB,EAAE,CAAC;QAC1B,mBAAmB,EAAE,CAAC;KACvB;IACD,OAAO,EAAE;QACP,UAAU,EAAE,EAAE;QACd,gBAAgB,EAAE,OAAO;QACzB,qBAAqB,EAAE,MAAM;QAC7B,cAAc,EAAE,OAAO;QACvB,sBAAsB,EAAE,CAAC;KAC1B;IACD,OAAO,EAAE;QACP,UAAU,EAAE,gCAAgC;QAC5C,iBAAiB,EAAE,kCAAkC;KACtD;IACD,SAAS,EAAE;QACT,oCAAoC,EAAE,CAAC;QACvC,sBAAsB,EAAE,EAAE;QAC1B,sBAAsB,EAAE,EAAE;QAC1B,wBAAwB,EAAE,IAAI;QAC9B,qBAAqB,EAAE,CAAC;QACxB,2BAA2B,EAAE,GAAG;KACjC;IACD,gBAAgB,EAAE;QAChB,OAAO,EAAE,IAAI;QACb,6BAA6B,EAAE,CAAC;QAChC,gBAAgB,EAAE;YAChB,MAAM,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE;YAC9B,MAAM,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE;YAChD,MAAM,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE;SACjD;QACD,WAAW,EAAE;YACX,EAAE,UAAU,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE;YACvC,EAAE,UAAU,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YAC1C,EAAE,UAAU,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;SAC9C;QACD,eAAe,EAAE,GAAG;QACpB,kBAAkB,EAAE,IAAI;QACxB,aAAa,EAAE,2CAA2C;KAC3D;IACD,gBAAgB,EAAE;QAChB,OAAO,EAAE,IAAI;QACb,oBAAoB,EAAE,CAAC;QACvB,0BAA0B,EAAE,CAAC;QAC7B,iBAAiB,EAAE,CAAC,eAAe,EAAE,iBAAiB,EAAE,YAAY,CAAC;KACtE;IACD,UAAU,EAAE;QACV,uBAAuB,EAAE,EAAE;QAC3B,iBAAiB,EAAE,GAAG;KACvB;IACD,UAAU,EAAE;QACV,OAAO,EAAE,IAAI;QACb,SAAS,EAAE,kBAAkB;QAC7B,eAAe,EAAE,CAAC;QAClB,kBAAkB,EAAE,CAAC;KACtB;CACF,CAAC;AAEF,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAE9E,SAAS,SAAS,CAChB,QAAW,EACX,SAAkC;IAElC,MAAM,MAAM,GAAG,EAAE,GAAG,QAAQ,EAA6B,CAAC;IAC1D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,IACE,GAAG,IAAI,MAAM;YACb,OAAQ,MAAkC,CAAC,GAAG,CAAC,KAAK,QAAQ;YAC5D,CAAC,KAAK,CAAC,OAAO,CAAE,MAAkC,CAAC,GAAG,CAAC,CAAC;YACxD,OAAO,SAAS,CAAC,GAAG,CAAC,KAAK,QAAQ;YAClC,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YAC9B,SAAS,CAAC,GAAG,CAAC,KAAK,IAAI,EACvB,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CACpB,MAAkC,CAAC,GAAG,CAA4B,EACnE,SAAS,CAAC,GAAG,CAA4B,CAC1C,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,MAAsB,CAAC;AAChC,CAAC;AAED,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,MAAM,UAAU,UAAU,CAAC,IAAa;IACtC,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAa,CAAC;IAE1E,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;YACpC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;YACxD,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1D,OAAO,SAAS,CACd,cAAoD,EACpD,GAA8B,CACN,CAAC;YAC7B,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,iDAAiD;QACnD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,GAAG,cAAc,EAAE,CAAC;AAC/B,CAAC;AAED,8EAA8E;AAC9E,mDAAmD;AACnD,8EAA8E;AAE9E,IAAI,OAAO,GAAsB,IAAI,CAAC;AAEtC,MAAM,UAAU,SAAS,CAAC,IAAa;IACrC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,WAAW;IACzB,OAAO,GAAG,IAAI,CAAC;AACjB,CAAC"}
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../src/policy.ts"],"names":[],"mappings":"AAAA,6CAA6C;AAE7C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,UAAU,EACV,SAAS,EACT,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,MAAM,EACN,aAAa,GACd,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AA4F/D,MAAM,CAAC,MAAM,cAAc,GAAe;IACxC,OAAO,EAAE,GAAG;IACZ,WAAW,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE;IACjC,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,qBAAqB,EAAE,CAAC,EAAE;IAChD,MAAM,EAAE,EAAE,uBAAuB,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE;IAC9E,MAAM,EAAE;QACN,cAAc,EAAE,UAAU;QAC1B,qBAAqB,EAAE,CAAC;QACxB,YAAY,EAAE,IAAI;QAClB,YAAY,EAAE,IAAI;QAClB,YAAY,EAAE,KAAK;QACnB,mBAAmB,EAAE,OAAO;KAC7B;IACD,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;IACnC,SAAS,EAAE;QACT,oCAAoC,EAAE,CAAC;QACvC,sBAAsB,EAAE,EAAE;QAC1B,sBAAsB,EAAE,EAAE;QAC1B,wBAAwB,EAAE,IAAI;QAC9B,qBAAqB,EAAE,CAAC;QACxB,2BAA2B,EAAE,GAAG;KACjC;IACD,UAAU,EAAE,EAAE,uBAAuB,EAAE,EAAE,EAAE,iBAAiB,EAAE,GAAG,EAAE;IACnE,UAAU,EAAE;QACV,OAAO,EAAE,IAAI;QACb,SAAS,EAAE,kBAAkB;QAC7B,eAAe,EAAE,CAAC;QAClB,kBAAkB,EAAE,CAAC;KACtB;IACD,QAAQ,EAAE,EAAE,SAAS,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE;IACnE,GAAG,EAAE;QACH,gBAAgB,EAAE,MAAM;QACxB,+BAA+B,EAAE,MAAM;KACxC;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,SAAiB,EACjB,KAAK,GAAG,KAAK;IAEb,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;IACtD,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACjC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC1C,CAAC;IACD,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,SAAS,CAAI,QAAW,EAAE,SAAkC;IACnE,MAAM,MAAM,GAAG,EAAE,GAAG,QAAQ,EAA6B,CAAC;IAC1D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAChC,IACE,GAAG,IAAI,MAAM,IAAI,OAAO,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI;YACtD,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YACtD,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EACxD,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CACrB,OAAkC,EAClC,QAAmC,CACpC,CAAC;QACJ,CAAC;aAAM,IAAI,GAAG,IAAI,MAAM,EAAE,CAAC;YACzB,oEAAoE;YACpE,MAAM,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,MAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAa;IACtC,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAa,CAAC;IAC1E,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YACjE,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1D,OAAO,SAAS,CAAC,cAAc,EAAE,GAA8B,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,0BAA0B;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,eAAe,CAAC,cAAc,CAAC,CAAC;AACzC,CAAC;AAED,IAAI,MAAM,GAAsB,IAAI,CAAC;AAErC,MAAM,UAAU,SAAS,CAAC,IAAa;IACrC,MAAM,KAAK,UAAU,CAAC,IAAI,CAAC,CAAC;IAC5B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,WAAW;IACzB,MAAM,GAAG,IAAI,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,GAAG,qCAAqC,CAAC;AAEzD,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAClF,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,4FAA4F,CAC7F,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,aAAqB,EACrB,mBAA2B;IAE3B,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,OAAO,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;IAChE,MAAM,eAAe,GAAG,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAC7D,IACE,eAAe,KAAK,IAAI,IAAI,eAAe,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC;QAClE,UAAU,CAAC,eAAe,CAAC,EAC3B,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,QAAQ,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IAC3C,IAAI,QAAQ,GAAG,aAAa,CAAC;IAC7B,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,QAAQ;YAAE,MAAM;QAC/B,QAAQ,GAAG,MAAM,CAAC;IACpB,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;IACrF,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACnD,IACE,YAAY,KAAK,IAAI,IAAI,YAAY,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC;QAC5D,UAAU,CAAC,YAAY,CAAC,EACxB,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,OAA2B;IACxE,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,cAAc,CAAC,MAAM,CAAC,CAAC;IACvB,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC,UAAU,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO;IAC5B,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACzE,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1C,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,EAAE,GAAG,MAAM,WAAW,CAAC,CAAC;IAChE,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CACvB,iBAAiB,EACjB,IAAI,MAAM,UAAU,OAAO,CAAC,GAAG,IAAI,UAAU,EAAE,MAAM,CACtD,CAAC;IACF,IAAI,CAAC;QACH,aAAa,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC1C,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAChC,CAAC;YAAS,CAAC;QACT,IAAI,CAAC;YAAC,MAAM,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,iBAAiB,CAAC,CAAC;IACzE,CAAC;AACH,CAAC"}

package/dist/prompt-assembler.d.ts

@@ -0,0 +1,30 @@
+/** Single-pass prompt renderer for canonical LoopForge state.
+ *
+ * L0/L1/L2 control state density only. Reasoning strategy belongs to the
+ * external Agent. Mandatory task, hard-constraint, and verification sections
+ * are never truncated; budgets are soft and overflow is recorded.
+ */
+import type { CanonicalLoopState } from "./canonical-state.js";
+import type { PromptArtifact } from "./protocol.js";
+import type { PromptLevel, PromptLevelReason } from "./prompt-policy.js";
+export declare const PROMPT_ARTIFACT_SCHEMA_VERSION: 1;
+export declare const BASE_PROMPT_VERSION = "2.0.0";
+export type InjectionMode = "adaptive" | "full" | "pointer";
+export interface PromptBudgets {
+    l0: number;
+    l1: number;
+    l2: number;
+}
+export declare const DEFAULT_PROMPT_BUDGETS: PromptBudgets;
+export interface PromptAssemblyInput {
+    state: CanonicalLoopState;
+    level: PromptLevel;
+    reasons: PromptLevelReason[];
+    mode?: InjectionMode;
+    budgets?: Partial<PromptBudgets>;
+    attempt?: number;
+    selfEvaluationBlock: string;
+    fullStateMarkdown?: string;
+}
+export declare function assemblePromptArtifact(input: PromptAssemblyInput): PromptArtifact;
+//# sourceMappingURL=prompt-assembler.d.ts.map

package/dist/prompt-assembler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-assembler.d.ts","sourceRoot":"","sources":["../src/prompt-assembler.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,EACV,WAAW,EACX,iBAAiB,EAClB,MAAM,oBAAoB,CAAC;AAE5B,eAAO,MAAM,8BAA8B,EAAG,CAAU,CAAC;AACzD,eAAO,MAAM,mBAAmB,UAAU,CAAC;AAE3C,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,MAAM,GAAG,SAAS,CAAC;AAE5D,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,eAAO,MAAM,sBAAsB,EAAE,aAIpC,CAAC;AAEF,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,kBAAkB,CAAC;IAC1B,KAAK,EAAE,WAAW,CAAC;IACnB,OAAO,EAAE,iBAAiB,EAAE,CAAC;IAC7B,IAAI,CAAC,EAAE,aAAa,CAAC;IACrB,OAAO,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACjC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B;AAuND,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,mBAAmB,GAAG,cAAc,CAiFjF"}