loopforge 1.15.1 → 2.0.0

package/dist/prompt-assembler.js

@@ -0,0 +1,257 @@
+/** 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 footer = [
+        pointer,
+        "Execute the current task now. Do not generate another prompt.",
+        "When this attempt is finished, submit the structured LoopForge evaluation.",
+        "",
+        evaluation,
+    ].join("\n");
+    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,MAAM,GAAG;QACb,OAAO;QACP,+DAA+D;QAC/D,4EAA4E;QAC5E,EAAE;QACF,UAAU;KACX,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,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"}

package/dist/protocol.d.ts

@@ -14,32 +14,6 @@ export declare enum AgentStatus {
     ERROR = "error",
     STALLED = "stalled"
 }
-export declare enum Technique {
-    ZERO_SHOT = "zero-shot",
-    FEW_SHOT = "few-shot",
-    ZERO_SHOT_COT = "zero-shot-cot",
-    FEW_SHOT_COT = "few-shot-cot",
-    STEP_BACK = "step-back",
-    LEAST_TO_MOST = "least-to-most",
-    TREE_OF_THOUGHT = "tree-of-thought"
-}
-export interface Analysis {
-    technique: string;
-    rationale: string;
-    independence: string;
-    cognitive_load: string;
-    reference_file: string;
-    /** @deprecated Since v4.0 — no technique rotation. Always false. */
-    was_rotated: boolean;
-}
-export declare function makeAnalysis(overrides?: Partial<Analysis>): Analysis;
-export interface VaultConfig {
-    project_vault: string;
-    global_vault: string;
-    skills_dir: string;
-    no_global: boolean;
-}
-export declare function makeVaultConfig(overrides?: Partial<VaultConfig>): VaultConfig;
 export interface ExecutionFeedback {
     output: string;
     success: boolean;
@@ -135,6 +109,11 @@ export interface SelfEvaluation {
      *  The engine automatically writes these to the delegation journal.
      *  Omit or leave empty if no delegations occurred. */
     worker_results?: WorkerResult[];
+    /** v1.16: Agent's declared next action — what it plans to do in the
+     *  following round. Stored as loop state and rendered in the next prompt
+     *  so the agent's self-planning persists across rounds. Optional —
+     *  no next_action means the compiler generates the next task as before. */
+    next_action?: string;
 }
 /** v1.10: Checkpoint summary — a compressed snapshot of loop state at a
  *  subtask boundary. Declared by the Agent via self-evaluation, built by
@@ -164,7 +143,6 @@ export declare const SELF_EVAL_REGEX: RegExp;
 export interface LoopForgeRequest {
     task: string;
     mode: Mode;
-    vault_config: VaultConfig;
     feedback: ExecutionFeedback | null;
     skill_name: string | null;
     task_id: string | null;
@@ -240,6 +218,8 @@ export interface LoopRoundResult {
     compression_checkpoint?: boolean;
     /** v1.10: Human-readable label for the checkpoint. */
     checkpoint_label?: string;
+    /** v1.16: Agent's declared next action for the following round. */
+    next_action?: string;
 }
 export declare function makeLoopRoundResult(overrides?: Partial<LoopRoundResult>): LoopRoundResult;
 export interface LoopCompileRequest {
@@ -257,17 +237,42 @@ export interface LoopCompileRequest {
     last_round_result: LoopRoundResult | null;
     force_level: string;
     health_check_interval: number;
-    vault_config: VaultConfig;
-    /** Optional external context from a long-term memory system (e.g. claude-mem).
-     *  Injected into L2 prompts only. Ignored by L0/L1 compilers.
-     *  Populated by the caller (runtime / MCP session) via a memoryProvider callback. */
+    /** Optional context supplied explicitly by the embedding Agent. */
     external_context?: string;
     /** Maximum rounds for this loop. Used by the state file header to show
      *  accurate progress (Round X / Y). Falls back to max_summary_rounds * 2
      *  when not provided (callers that don't track maxRounds). */
     max_rounds?: number;
+    /** Verification findings from the previous attempt. Prompt compilation uses
+     *  these to select a rehydrate view and render the gate findings exactly
+     *  once as part of the final prompt. */
+    verification_flags?: VerificationFlag[];
+    /** One-based attempt within the same logical round. Enforcement rejection
+     * increments this without advancing `round`. */
+    attempt: number;
+    /** Consecutive zero-commit enforcement rejections for this round. */
+    consecutive_rejections: number;
+    /** Structured enforcement feedback rendered into retry prompts. */
+    rejection_notice: string;
 }
 export declare function makeLoopCompileRequest(overrides?: Partial<LoopCompileRequest>): LoopCompileRequest;
+/** Immutable record of the exact prompt delivered for one round attempt. */
+export interface PromptArtifact {
+    schemaVersion: 1;
+    roundId: string;
+    attempt: number;
+    level: "l0" | "l1" | "l2";
+    levelReasons: string[];
+    renderedPrompt: string;
+    promptHash: string;
+    stateHash: string;
+    basePromptVersion: string;
+    includedSections: string[];
+    budgetChars: number;
+    charCount: number;
+    budgetExceeded: boolean;
+    generatedAt: number;
+}
 export interface LoopCompileResponse {
     status: AgentStatus;
     prompt: string;
@@ -276,8 +281,6 @@ export interface LoopCompileResponse {
     lineage: string[];
     constraints_active: string[];
     constraints_retired: string[];
-    technique_used: string;
-    reference_file: string;
     loop_id: string;
     round: number;
     goal_id: string;
@@ -295,22 +298,39 @@ export interface LoopCompileResponse {
      *  (SessionManager or Runtime) to .loopforge/state/{loopId}-state.md.
      *  Undefined for L0/L1 compilations — only L2 produces state file content. */
     state_file_content?: string;
+    /** Exact, hashed prompt record used by transaction replay and audit. */
+    prompt_artifact?: PromptArtifact;
 }
 export declare function makeLoopCompileResponse(overrides?: Partial<LoopCompileResponse>): LoopCompileResponse;
+/** Aggregated evidence snapshot for the state file Evidence section.
+ *  Four categories give the agent a clear picture of what's been confirmed,
+ *  what remains, what was wrong, and what's newly discovered — all derived
+ *  from accumulated SelfEvaluation data across rounds. */
+export interface EvidenceSnapshot {
+    /** Criteria met + successful outcomes confirmed across rounds. */
+    verified: string[];
+    /** Criteria still unmet — work remaining. */
+    pending: string[];
+    /** Wrong assumptions + retracted constraints — things we were wrong about. */
+    invalidated: string[];
+    /** New constraints + emerged subtasks discovered this round. */
+    discovered: string[];
+}
+export declare function makeEvidenceSnapshot(overrides?: Partial<EvidenceSnapshot>): EvidenceSnapshot;
 export interface LoopForgeResponse {
     status: AgentStatus;
     prompt: string | null;
-    analysis: Analysis | null;
     error: string | null;
     /** v1.14: State file content from the compiler. Written to disk by the caller. */
     state_file_content?: string;
+    /** Exact prompt artifact produced by the compiler. */
+    prompt_artifact?: PromptArtifact;
 }
 export interface SessionState {
     task_id: string;
     call_count: number;
     success_trend: boolean[];
     current_version: string;
-    last_technique: string | null;
     circuit_breaker_count: number;
     feedback_buffer: Record<string, unknown>[];
 }
@@ -323,20 +343,28 @@ export declare enum RuntimeStatus {
     IDLE = "idle",
     RUNNING = "running",
     STOPPED = "stopped",
-    STALLED = "stalled"
+    STALLED = "stalled",
+    /** v1.18: Loop is suspended — can be resumed from currentRound. */
+    PAUSED = "paused"
 }
 export interface RoundContext {
     round: number;
+    /** Stable identity for the logical round; unchanged across reject retries. */
+    roundId?: string;
     signal: {
         aborted: boolean;
     };
     reportProgress: (message: string) => void;
 }
 export type AgentExecutor = (prompt: string, ctx: RoundContext) => Promise<string>;
-export type StopReason = "task_complete" | "circuit_breaker" | "max_rounds" | "stalled" | "stopped" | "executor_failure" | "enforcement_terminated";
-/** Map StopReason (internal) → MemoryWriteback outcome (wire format).
- *  Shared between runtime.ts and mcp/session.ts — single source of truth. */
-export declare const STOP_REASON_OUTCOME_MAP: Record<StopReason, LoopMemoryWriteback["outcome"]>;
+/** Why a loop stopped. Used by Runtime, MCP session, and vault persistence.
+ *  `completed` requires both success=true and should_continue=false.
+ *  `failed` is success=false + should_continue=false (agent gave up).
+ *  `cancelled` is manual stop via loopforge_stop.
+ *  Legacy aliases (backward-compat): `task_complete` → `completed`, `stopped` → `cancelled`. */
+export type StopReason = "completed" | "failed" | "blocked" | "cancelled" | "max_rounds" | "circuit_breaker" | "stalled" | "executor_failure" | "enforcement_terminated"
+/** v1.18: Loop was paused by user or signal. */
+ | "paused" | "task_complete" | "stopped";
 /** Result of round-boundary enforcement. Decides whether to accept the round,
  *  reject it (force the agent to redo the SAME round), or terminate the loop.
  *
@@ -353,16 +381,21 @@ export interface EnforcementResult {
     /** For reject: concrete instructions the agent must follow.
      *  Empty for accept and terminate. */
     fix_instructions: string;
+    /** Which enforcement rule fired. Empty for accept.
+     *  Used by callers to track consecutive rejections per-rule
+     *  so unrelated rejections don't accumulate toward the max. */
+    check?: string;
 }
 export declare function makeEnforcementResult(overrides?: Partial<EnforcementResult>): EnforcementResult;
 export interface RoundStartInfo {
     round: number;
+    roundId?: string;
     level: string;
-    technique: string;
     prompt: string;
 }
 export interface RoundCompleteInfo {
     round: number;
+    roundId?: string;
     roundSuccess: boolean;
     selfEval: SelfEvaluation | null;
     durationMs: number;
@@ -400,72 +433,34 @@ export interface RuntimeConfig {
     onHeartbeat?: (info: HeartbeatInfo) => void;
     onTimeout?: (info: TimeoutInfo) => void;
     onHealthWarning?: (warning: HealthWarning) => void;
-    /** Optional provider for long-term memory context retrieval.
-     *  Called at L2 compile rounds during designated injection phases.
-     *  Receives loop state for constructing a targeted query.
-     *  Return empty string to skip injection. */
-    memoryProvider?: (ctx: MemoryProviderContext) => Promise<string>;
-    /** Optional writer for persisting loop knowledge back to long-term memory.
-     *  Called once when the loop terminates (any stop reason).
-     *  Receives a structured writeback payload with project/feedback/reference entries. */
-    memoryWriter?: (payload: LoopMemoryWriteback) => Promise<void>;
-}
-/** Context passed to the memoryProvider callback at each injection phase.
- *  Contains enough loop state to construct a targeted semantic query. */
-export interface MemoryProviderContext {
+    /** Explicit provider for context owned by the embedding Agent. */
+    contextProvider?: ExternalContextProvider;
+    /** Explicit terminal observers; failures are isolated from the runtime. */
+    terminalSinks?: LoopTerminalSink[];
+}
+/** Context supplied to an embedding-owned provider before compilation. */
+export interface ExternalContextRequest {
     loopId: string;
     round: number;
     task: string;
     domain: string;
-    /** Injection phase: 1 (start), 2 (mid), 3 (late). */
-    phase: 1 | 2 | 3;
-    /** Current progress estimate (0.0–1.0), or -1 if unavailable. */
-    progressEstimate: number;
-    /** Accumulated loop knowledge for constructing a differential query. */
-    accumulatedContext: {
-        recurringIssues: string[];
-        failedPatterns: string[];
-        keyLessons: string[];
-        remainingCriteria: string[];
-    };
+    /** The previously accepted evaluation, when one exists. */
+    lastEvaluation?: SelfEvaluation;
 }
+export type ExternalContextProvider = (request: ExternalContextRequest) => Promise<string>;
 export interface RunResult {
     success: boolean;
     stopReason: StopReason;
     roundsCompleted: number;
     successTrajectory: boolean[];
 }
-/** Structured payload written back to the long-term memory system
- *  when a loop terminates. Contains distilled knowledge suitable
- *  for cross-task reuse. */
-export interface LoopMemoryWriteback {
+/** Stable, provider-neutral terminal hook payload. */
+export interface LoopTerminalEvent extends RunResult {
     loopId: string;
     task: string;
-    outcome: "completed" | "circuit_breaker" | "stalled" | "max_rounds" | "stopped";
-    roundsCompleted: number;
-    /** Project-type memory entry — task outcome and key discoveries. */
-    projectEntry: LoopMemoryWritebackProjectEntry;
-    /** Feedback-type memory entries — tactical lessons learned. */
-    feedbackEntries: LoopMemoryWritebackFeedbackEntry[];
-    /** Reference-type memory entry — pointer to the vault for deep dives. */
-    referenceEntry: LoopMemoryWritebackReferenceEntry;
-}
-export interface LoopMemoryWritebackProjectEntry {
-    title: string;
-    objective: string;
-    keyOutcome: string;
-    keyDiscoveries: string[];
-    date: string;
-}
-export interface LoopMemoryWritebackFeedbackEntry {
-    rule: string;
-    why: string;
-    howToApply: string;
-}
-export interface LoopMemoryWritebackReferenceEntry {
-    description: string;
-    vaultLocation: string;
+    lastEvaluation?: SelfEvaluation;
 }
+export type LoopTerminalSink = (event: LoopTerminalEvent) => Promise<void> | void;
 /** A single flag raised during self-evaluation verification.
  *  Each flag identifies a specific inconsistency between the agent's
  *  self-reported data and the loop's cross-round lineage. */