loopforge 1.15.1 → 2.0.1

package/dist/prompt-assembler.js

@@ -0,0 +1,278 @@
+/** 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 { createHash } from "node:crypto";
+import { hashCanonicalState } from "./canonical-state.js";
+export const PROMPT_ARTIFACT_SCHEMA_VERSION = 1;
+export const BASE_PROMPT_VERSION = "2.0.0";
+export const DEFAULT_PROMPT_BUDGETS = {
+    l0: 3000,
+    l1: 7000,
+    l2: 18000,
+};
+function section(title, body) {
+    return body.trim() ? `### ${title}\n${body.trim()}\n\n` : "";
+}
+function bullets(values, prefix = "- ") {
+    return values.map((value) => `${prefix}${value}`).join("\n");
+}
+function verificationText(state) {
+    const lines = state.verificationFlags.map((flag) => {
+        const icon = flag.severity === "error"
+            ? "🚫"
+            : flag.severity === "warn" ? "⚠️" : "ℹ️";
+        return `- ${icon} [${flag.check}] ${flag.detail}`;
+    });
+    if (state.verificationFlags.some((flag) => flag.severity === "error")) {
+        lines.push("- Gate Verdict: CONTRADICTED — resolve every error before claiming success.");
+    }
+    return lines.join("\n");
+}
+function activeNonHardConstraints(state) {
+    const hard = new Set(state.hardConstraints);
+    return state.activeConstraints.filter((value) => !hard.has(value));
+}
+function commonMandatorySections(state) {
+    const sections = [
+        {
+            id: "objective",
+            text: section("Objective", state.objective),
+            mandatory: true,
+        },
+        {
+            id: "current_task",
+            text: section("Current Task", state.currentTask),
+            mandatory: true,
+        },
+    ];
+    if (state.hardConstraints.length > 0) {
+        sections.push({
+            id: "hard_constraints",
+            text: section("Active Hard Constraints", bullets(state.hardConstraints)),
+            mandatory: true,
+        });
+    }
+    if (state.verificationFlags.length > 0) {
+        sections.push({
+            id: "verification",
+            text: section("Verification Gate", verificationText(state)),
+            mandatory: true,
+        });
+    }
+    return sections;
+}
+function l0Sections(state) {
+    const retryRequirements = [
+        ...state.blockers,
+        ...state.verificationFlags.map((flag) => flag.detail),
+    ];
+    const sections = commonMandatorySections(state);
+    if (retryRequirements.length > 0) {
+        sections.push({
+            id: "retry_requirements",
+            text: section("Retry Requirements", bullets(retryRequirements)),
+            mandatory: true,
+        });
+    }
+    if (state.changesSinceLastRound.length > 0) {
+        sections.push({
+            id: "changes",
+            text: section("New Evidence / Changes", bullets(state.changesSinceLastRound)),
+            mandatory: false,
+        });
+    }
+    return sections;
+}
+function l1Sections(state) {
+    const sections = commonMandatorySections(state);
+    const active = activeNonHardConstraints(state);
+    if (state.changesSinceLastRound.length > 0) {
+        sections.push({
+            id: "changes",
+            text: section("Changes Since Last Round", bullets(state.changesSinceLastRound)),
+            mandatory: false,
+        });
+    }
+    if (active.length > 0) {
+        sections.push({
+            id: "active_constraints",
+            text: section("Active Constraints / Success Criteria", bullets(active)),
+            mandatory: false,
+        });
+    }
+    if (state.remainingCriteria.length > 0) {
+        sections.push({
+            id: "remaining",
+            text: section("Remaining", bullets(state.remainingCriteria)),
+            mandatory: false,
+        });
+    }
+    if (state.blockers.length > 0) {
+        sections.push({
+            id: "blockers",
+            text: section("Blockers", bullets(state.blockers)),
+            mandatory: false,
+        });
+    }
+    if (state.discoveries.length > 0) {
+        sections.push({
+            id: "discoveries",
+            text: section("New Discoveries", bullets(state.discoveries)),
+            mandatory: false,
+        });
+    }
+    if (state.nextAction) {
+        sections.push({
+            id: "next_action",
+            text: section("Next Action", state.nextAction),
+            mandatory: false,
+        });
+    }
+    return sections;
+}
+function l2Sections(state, fullStateMarkdown) {
+    const sections = commonMandatorySections(state);
+    const fullState = fullStateMarkdown?.trim();
+    if (fullState) {
+        sections.push({
+            id: "full_state",
+            text: section("Full Rehydrated State", fullState),
+            mandatory: false,
+        });
+        return sections;
+    }
+    const groups = [
+        ["success_criteria", "Success Criteria", state.successCriteria],
+        ["active_constraints", "Active Constraints", activeNonHardConstraints(state)],
+        ["changes", "Changes Since Last Round", state.changesSinceLastRound],
+        ["remaining", "Remaining", state.remainingCriteria],
+        ["blockers", "Blockers", state.blockers],
+        ["discoveries", "Discoveries", state.discoveries],
+        ["rolling_outcomes", "Cross-Round Outcomes", state.rollingOutcomes],
+        ["recurring_issues", "Recurring Issues", state.recurringIssues],
+        ["failed_patterns", "Failed Patterns", state.failedPatterns],
+    ];
+    for (const [id, title, values] of groups) {
+        if (values.length > 0) {
+            sections.push({ id, text: section(title, bullets(values)), mandatory: false });
+        }
+    }
+    if (state.nextAction) {
+        sections.push({
+            id: "next_action",
+            text: section("Next Action", state.nextAction),
+            mandatory: false,
+        });
+    }
+    if (state.externalContext) {
+        sections.push({
+            id: "external_context",
+            text: section("External Context", state.externalContext),
+            mandatory: false,
+        });
+    }
+    return sections;
+}
+function selectSections(input) {
+    if (input.mode === "full") {
+        return l2Sections(input.state, input.fullStateMarkdown);
+    }
+    if (input.level === "l0")
+        return l0Sections(input.state);
+    if (input.level === "l1")
+        return l1Sections(input.state);
+    return l2Sections(input.state, input.fullStateMarkdown);
+}
+function renderWithinBudget(sections, fixedText, budget) {
+    const mandatory = sections.filter((item) => item.mandatory);
+    const optional = sections.filter((item) => !item.mandatory);
+    let rendered = fixedText + mandatory.map((item) => item.text).join("");
+    const included = mandatory.filter((item) => item.text).map((item) => item.id);
+    for (const item of optional) {
+        if (!item.text)
+            continue;
+        if (rendered.length + item.text.length <= budget) {
+            rendered += item.text;
+            included.push(item.id);
+        }
+    }
+    return { rendered, included };
+}
+export function assemblePromptArtifact(input) {
+    const mode = input.mode ?? "adaptive";
+    const budgets = { ...DEFAULT_PROMPT_BUDGETS, ...input.budgets };
+    const budget = budgets[input.level];
+    const stateHash = hashCanonicalState(input.state);
+    const attempt = Math.max(1, input.attempt ?? 1);
+    const header = [
+        `## LoopForge Round ${input.state.round}`,
+        `State: ${stateHash.slice(0, 12)} | Level: ${input.level.toUpperCase()} | Attempt: ${attempt}`,
+        "",
+    ].join("\n");
+    const sections = selectSections(input);
+    const pointer = input.state.stateFilePath
+        ? section("Full State", input.state.stateFilePath)
+        : "";
+    const evaluation = input.selfEvaluationBlock.trim()
+        ? `${input.selfEvaluationBlock.trim()}\n`
+        : "";
+    const howToRespond = [
+        "## How to Complete This Round",
+        "",
+        "1. Execute the task described above. Do NOT generate another prompt or plan — act.",
+        "2. When finished, call the MCP tool **`loopforge_next`** with these parameters:",
+        "   - `sessionId`: the session ID from `loopforge_start`.",
+        "   - `evaluation`: a structured self-assessment object (see schema below).",
+        "",
+        "### Evaluation Rules",
+        "",
+        "- `success`: Set to **`true` ONLY** when ALL hard constraints are met AND",
+        "  the task goal is fully achieved. If anything remains incomplete, set `false`.",
+        "- `should_continue`: Set to **`false` ONLY** when the ENTIRE loop task is done.",
+        "  Partial progress or completed subtasks → `true`.",
+        "- `constraint_violations`: Be honest. List every constraint you actually violated.",
+        "- `execution_evidence.files_changed`: List files you modified — used for verification.",
+        "- `execution_evidence.test_results`: Report actual test runner output.",
+        "- `progress_estimate`: A number 0.0–1.0 reflecting overall task completion.",
+        "",
+        "### If the Prompt Says \"REJECTED\"",
+        "",
+        "- Re-execute the **same round**. Do NOT advance the round counter.",
+        "- Read the Required Fix section, address every issue, then submit again.",
+        "- Use `loopforge_next` with a corrected evaluation.",
+        "",
+        evaluation,
+    ].join("\n");
+    const footer = [pointer, howToRespond].join("");
+    const fixedText = header;
+    const selected = mode === "pointer"
+        ? renderWithinBudget(sections.filter((item) => item.mandatory), fixedText, budget)
+        : renderWithinBudget(sections, fixedText, budget - footer.length);
+    const renderedPrompt = selected.rendered + footer;
+    const includedSections = [
+        ...selected.included,
+        ...(pointer ? ["state_pointer"] : []),
+        ...(evaluation ? ["self_evaluation"] : []),
+    ];
+    const promptHash = createHash("sha256").update(renderedPrompt).digest("hex");
+    return {
+        schemaVersion: PROMPT_ARTIFACT_SCHEMA_VERSION,
+        roundId: `loop:${input.state.loopId}:round:${input.state.round}`,
+        attempt,
+        level: input.level,
+        levelReasons: [...input.reasons],
+        renderedPrompt,
+        promptHash,
+        stateHash,
+        basePromptVersion: BASE_PROMPT_VERSION,
+        includedSections,
+        budgetChars: budget,
+        charCount: renderedPrompt.length,
+        budgetExceeded: renderedPrompt.length > budget,
+        generatedAt: Date.now(),
+    };
+}
+//# sourceMappingURL=prompt-assembler.js.map

package/dist/prompt-assembler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-assembler.js","sourceRoot":"","sources":["../src/prompt-assembler.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAO1D,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAU,CAAC;AACzD,MAAM,CAAC,MAAM,mBAAmB,GAAG,OAAO,CAAC;AAU3C,MAAM,CAAC,MAAM,sBAAsB,GAAkB;IACnD,EAAE,EAAE,IAAI;IACR,EAAE,EAAE,IAAI;IACR,EAAE,EAAE,KAAK;CACV,CAAC;AAmBF,SAAS,OAAO,CAAC,KAAa,EAAE,IAAY;IAC1C,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED,SAAS,OAAO,CAAC,MAAgB,EAAE,MAAM,GAAG,IAAI;IAC9C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,MAAM,GAAG,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAyB;IACjD,MAAM,KAAK,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,KAAK,OAAO;YACpC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3C,OAAO,KAAK,IAAI,KAAK,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QACtE,KAAK,CAAC,IAAI,CACR,6EAA6E,CAC9E,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAyB;IACzD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC5C,OAAO,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAyB;IACxD,MAAM,QAAQ,GAAc;QAC1B;YACE,EAAE,EAAE,WAAW;YACf,IAAI,EAAE,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,SAAS,CAAC;YAC3C,SAAS,EAAE,IAAI;SAChB;QACD;YACE,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE,OAAO,CAAC,cAAc,EAAE,KAAK,CAAC,WAAW,CAAC;YAChD,SAAS,EAAE,IAAI;SAChB;KACF,CAAC;IAEF,IAAI,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,OAAO,CAAC,yBAAyB,EAAE,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YACxE,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE,OAAO,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC;YAC3D,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,UAAU,CAAC,KAAyB;IAC3C,MAAM,iBAAiB,GAAG;QACxB,GAAG,KAAK,CAAC,QAAQ;QACjB,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;KACtD,CAAC;IACF,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;YAC/D,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,SAAS;YACb,IAAI,EAAE,OAAO,CAAC,wBAAwB,EAAE,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YAC7E,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,UAAU,CAAC,KAAyB;IAC3C,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,KAAK,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,SAAS;YACb,IAAI,EAAE,OAAO,CAAC,0BAA0B,EAAE,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YAC/E,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,OAAO,CAAC,uCAAuC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YACvE,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,WAAW;YACf,IAAI,EAAE,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;YAC5D,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,UAAU;YACd,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAClD,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC5D,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,OAAO,CAAC,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC;YAC9C,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,UAAU,CACjB,KAAyB,EACzB,iBAA0B;IAE1B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,iBAAiB,EAAE,IAAI,EAAE,CAAC;IAC5C,IAAI,SAAS,EAAE,CAAC;QACd,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE,OAAO,CAAC,uBAAuB,EAAE,SAAS,CAAC;YACjD,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,MAAM,GAAsC;QAChD,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,KAAK,CAAC,eAAe,CAAC;QAC/D,CAAC,oBAAoB,EAAE,oBAAoB,EAAE,wBAAwB,CAAC,KAAK,CAAC,CAAC;QAC7E,CAAC,SAAS,EAAE,0BAA0B,EAAE,KAAK,CAAC,qBAAqB,CAAC;QACpE,CAAC,WAAW,EAAE,WAAW,EAAE,KAAK,CAAC,iBAAiB,CAAC;QACnD,CAAC,UAAU,EAAE,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC;QACxC,CAAC,aAAa,EAAE,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC;QACjD,CAAC,kBAAkB,EAAE,sBAAsB,EAAE,KAAK,CAAC,eAAe,CAAC;QACnE,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,KAAK,CAAC,eAAe,CAAC;QAC/D,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,KAAK,CAAC,cAAc,CAAC;KAC7D,CAAC;IACF,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACzC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,OAAO,CAAC,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC;YAC9C,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,OAAO,CAAC,kBAAkB,EAAE,KAAK,CAAC,eAAe,CAAC;YACxD,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,cAAc,CAAC,KAA0B;IAChD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,OAAO,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzD,OAAO,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,kBAAkB,CACzB,QAAmB,EACnB,SAAiB,EACjB,MAAc;IAEd,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5D,IAAI,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAE9E,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,SAAS;QACzB,IAAI,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,MAAM,EAAE,CAAC;YACjD,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC;YACtB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAA0B;IAC/D,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,UAAU,CAAC;IACtC,MAAM,OAAO,GAAG,EAAE,GAAG,sBAAsB,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;IAChE,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG;QACb,sBAAsB,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE;QACzC,UAAU,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,eAAe,OAAO,EAAE;QAC9F,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,aAAa;QACvC,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC;QAClD,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,UAAU,GAAG,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE;QACjD,CAAC,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI;QACzC,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,YAAY,GAAG;QACnB,+BAA+B;QAC/B,EAAE;QACF,oFAAoF;QACpF,iFAAiF;QACjF,0DAA0D;QAC1D,4EAA4E;QAC5E,EAAE;QACF,sBAAsB;QACtB,EAAE;QACF,2EAA2E;QAC3E,iFAAiF;QACjF,iFAAiF;QACjF,oDAAoD;QACpD,oFAAoF;QACpF,wFAAwF;QACxF,wEAAwE;QACxE,6EAA6E;QAC7E,EAAE;QACF,qCAAqC;QACrC,EAAE;QACF,oEAAoE;QACpE,0EAA0E;QAC1E,qDAAqD;QACrD,EAAE;QACF,UAAU;KACX,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEhD,MAAM,SAAS,GAAG,MAAM,CAAC;IACzB,MAAM,QAAQ,GAAG,IAAI,KAAK,SAAS;QACjC,CAAC,CAAC,kBAAkB,CAChB,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EACzC,SAAS,EACT,MAAM,CACP;QACH,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACpE,MAAM,cAAc,GAAG,QAAQ,CAAC,QAAQ,GAAG,MAAM,CAAC;IAClD,MAAM,gBAAgB,GAAG;QACvB,GAAG,QAAQ,CAAC,QAAQ;QACpB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3C,CAAC;IACF,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAE7E,OAAO;QACL,aAAa,EAAE,8BAA8B;QAC7C,OAAO,EAAE,QAAQ,KAAK,CAAC,KAAK,CAAC,MAAM,UAAU,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE;QAChE,OAAO;QACP,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;QAChC,cAAc;QACd,UAAU;QACV,SAAS;QACT,iBAAiB,EAAE,mBAAmB;QACtC,gBAAgB;QAChB,WAAW,EAAE,MAAM;QACnB,SAAS,EAAE,cAAc,CAAC,MAAM;QAChC,cAAc,EAAE,cAAc,CAAC,MAAM,GAAG,MAAM;QAC9C,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;KACxB,CAAC;AACJ,CAAC"}

package/dist/prompt-policy.d.ts

@@ -0,0 +1,29 @@
+/** Pure L0/L1/L2 prompt-view policy.
+ *
+ * Levels describe how much canonical state is rendered. They do not select a
+ * reasoning technique; the external Agent owns its reasoning strategy.
+ */
+export type PromptLevel = "l0" | "l1" | "l2";
+export type PromptLevelReason = "explicit_override" | "first_round" | "plan_boundary" | "checkpoint_boundary" | "goal_changed" | "missing_previous_state" | "verification_contradicted" | "retry_delta" | "rejection_rehydrate" | "recovery_boundary" | "state_drift" | "periodic_refresh" | "state_capsule";
+export interface PromptLevelInput {
+    round: number;
+    attempt?: number;
+    forceLevel?: string;
+    hasPlanSource: boolean;
+    checkpointBoundary: boolean;
+    goalChanged: boolean;
+    previousStateMissing: boolean;
+    previousFailedWithoutNewInformation: boolean;
+    verificationContradicted: boolean;
+    consecutiveRejections?: number;
+    recoveryBoundary?: boolean;
+    stateDrift?: boolean;
+    fullRefreshInterval: number;
+    lastFullRound?: number;
+}
+export interface PromptLevelDecision {
+    level: PromptLevel;
+    reasons: PromptLevelReason[];
+}
+export declare function decidePromptLevel(input: PromptLevelInput): PromptLevelDecision;
+//# sourceMappingURL=prompt-policy.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-policy.d.ts","sourceRoot":"","sources":["../src/prompt-policy.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,MAAM,MAAM,WAAW,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;AAE7C,MAAM,MAAM,iBAAiB,GACzB,mBAAmB,GACnB,aAAa,GACb,eAAe,GACf,qBAAqB,GACrB,cAAc,GACd,wBAAwB,GACxB,2BAA2B,GAC3B,aAAa,GACb,qBAAqB,GACrB,mBAAmB,GACnB,aAAa,GACb,kBAAkB,GAClB,eAAe,CAAC;AAEpB,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,OAAO,CAAC;IACvB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,WAAW,EAAE,OAAO,CAAC;IACrB,oBAAoB,EAAE,OAAO,CAAC;IAC9B,mCAAmC,EAAE,OAAO,CAAC;IAC7C,wBAAwB,EAAE,OAAO,CAAC;IAClC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,WAAW,CAAC;IACnB,OAAO,EAAE,iBAAiB,EAAE,CAAC;CAC9B;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,mBAAmB,CA8C9E"}

package/dist/prompt-policy.js

@@ -0,0 +1,51 @@
+/** Pure L0/L1/L2 prompt-view policy.
+ *
+ * Levels describe how much canonical state is rendered. They do not select a
+ * reasoning technique; the external Agent owns its reasoning strategy.
+ */
+export function decidePromptLevel(input) {
+    if ((input.consecutiveRejections ?? 0) >= 2) {
+        return { level: "l2", reasons: ["rejection_rehydrate"] };
+    }
+    if (input.recoveryBoundary) {
+        return { level: "l2", reasons: ["recovery_boundary"] };
+    }
+    if (input.stateDrift)
+        return { level: "l2", reasons: ["state_drift"] };
+    if ((input.attempt ?? 1) > 1) {
+        return { level: "l0", reasons: ["retry_delta"] };
+    }
+    if (input.verificationContradicted) {
+        return { level: "l2", reasons: ["verification_contradicted"] };
+    }
+    if (input.round === 1)
+        return { level: "l2", reasons: ["first_round"] };
+    if (input.hasPlanSource)
+        return { level: "l2", reasons: ["plan_boundary"] };
+    if (input.forceLevel &&
+        input.forceLevel !== "auto" &&
+        ["l0", "l1", "l2"].includes(input.forceLevel)) {
+        return {
+            level: input.forceLevel,
+            reasons: ["explicit_override"],
+        };
+    }
+    if (input.checkpointBoundary) {
+        return { level: "l2", reasons: ["checkpoint_boundary"] };
+    }
+    if (input.goalChanged)
+        return { level: "l2", reasons: ["goal_changed"] };
+    if (input.previousStateMissing) {
+        return { level: "l2", reasons: ["missing_previous_state"] };
+    }
+    if (input.previousFailedWithoutNewInformation) {
+        return { level: "l0", reasons: ["retry_delta"] };
+    }
+    const lastFullRound = input.lastFullRound ?? 1;
+    if (input.fullRefreshInterval > 0 &&
+        input.round - lastFullRound >= input.fullRefreshInterval) {
+        return { level: "l2", reasons: ["periodic_refresh"] };
+    }
+    return { level: "l1", reasons: ["state_capsule"] };
+}
+//# sourceMappingURL=prompt-policy.js.map

package/dist/prompt-policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-policy.js","sourceRoot":"","sources":["../src/prompt-policy.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAyCH,MAAM,UAAU,iBAAiB,CAAC,KAAuB;IACvD,IAAI,CAAC,KAAK,CAAC,qBAAqB,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;QAC3B,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;IACzD,CAAC;IACD,IAAI,KAAK,CAAC,UAAU;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC;IACvE,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,KAAK,CAAC,wBAAwB,EAAE,CAAC;QACnC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,2BAA2B,CAAC,EAAE,CAAC;IACjE,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC;IACxE,IAAI,KAAK,CAAC,aAAa;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;IAC5E,IACE,KAAK,CAAC,UAAU;QAChB,KAAK,CAAC,UAAU,KAAK,MAAM;QAC3B,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,EAC7C,CAAC;QACD,OAAO;YACL,KAAK,EAAE,KAAK,CAAC,UAAyB;YACtC,OAAO,EAAE,CAAC,mBAAmB,CAAC;SAC/B,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,kBAAkB,EAAE,CAAC;QAC7B,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,KAAK,CAAC,WAAW;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC;IACzE,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAC/B,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC;IAC9D,CAAC;IACD,IAAI,KAAK,CAAC,mCAAmC,EAAE,CAAC;QAC9C,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC;IACnD,CAAC;IAED,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,IAAI,CAAC,CAAC;IAC/C,IACE,KAAK,CAAC,mBAAmB,GAAG,CAAC;QAC7B,KAAK,CAAC,KAAK,GAAG,aAAa,IAAI,KAAK,CAAC,mBAAmB,EACxD,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC;IACxD,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;AACrD,CAAC"}