loopforge 3.7.0 → 3.8.1

package/dist/prompt-assembler.js

@@ -2,13 +2,18 @@
  *
  * 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.
+ * are never truncated and always render. Budgets are soft CEILINGS applied
+ * to optional sections: optional sections are appended in priority order
+ * while the rendered length stays under the level's budget, and the rest are
+ * dropped from the prompt (the dropped content stays derivable from the
+ * vault). Prompt length can exceed the ceiling when the mandatory sections
+ * alone are over it — truncation of mandatory content never happens.
  */
 import { createHash } from "node:crypto";
-import { buildRoadmap, hashCanonicalState, milestoneHeading, trustBarLine } from "./canonical-state.js";
-import { deriveItemId, STABLE_ID_RE, jaccardSimilarity } from "./token-utils.js";
+import { activeSubGoalView, buildPhaseLine, hashCanonicalState, milestoneHeading, } from "./canonical-state.js";
+import { PROMPT_ARTIFACT_SCHEMA_VERSION } from "./protocol.js";
+import { deriveItemId, STABLE_ID_RE, normalizeText } from "./token-utils.js";
 import { getPolicy } from "./policy.js";
-export const PROMPT_ARTIFACT_SCHEMA_VERSION = 1;
 export const DEFAULT_PROMPT_BUDGETS = {
     l0: 3000,
     l1: 7000,
@@ -24,11 +29,9 @@ function bullets(values, prefix = "- ") {
  *  Same hash strategy as computeGoalTextHash in loop-compiler.ts. */
 /** v2.11: Render a bullet list with ID prefixes for constraints/criteria.
  *  Each item gets a [prefix-XXXXXXXX] tag. Items that already look like IDs
- *  are rendered as-is. When constraint_id_enabled is false, renders plain bullets. */
+ *  are rendered as-is. v3.8.1: IDs are always rendered — the
+ *  `constraint_id_enabled` escape hatch is gone. */
 function bulletsWithIds(values, prefix) {
-    const idEnabled = getPolicy().evolution.constraint_id_enabled;
-    if (!idEnabled)
-        return bullets(values);
     return values.map((v) => {
         const trimmed = v.trim();
         if (STABLE_ID_RE.test(trimmed)) {
@@ -47,9 +50,6 @@ function bulletsWithIds(values, prefix) {
  *  one prompt. Falls back to a c- derivation only when metadata is missing
  *  (defensive: metadata covers every active text by construction). */
 function bulletsWithIdentities(values, metadata) {
-    const idEnabled = getPolicy().evolution.constraint_id_enabled;
-    if (!idEnabled)
-        return bullets(values);
     const idByText = new Map(metadata.map((meta) => [meta.text, meta.id]));
     return values.map((v) => {
         const trimmed = v.trim();
@@ -70,7 +70,7 @@ function bulletsWithIdentities(values, metadata) {
  *  list — a new constant can never silently lack an action entry). */
 const VERIFICATION_ACTIONS = {
     success_with_remaining_criteria: "Complete the remaining criteria before claiming success, or set success=false and report what remains.",
-    success_without_verified_evidence: "Back the success claim with machine-verifiable evidence: run tests or a required verification command and report the actual output. If you genuinely performed no work, provide execution_evidence and declare no_change_reason.",
+    success_without_verified_evidence: "Back the success claim with machine-verifiable evidence: run tests or a required verification command and report the actual output. If you genuinely performed no work, provide execution_report and declare no_change_reason.",
     outcome_success_contradiction: "Reconcile the declared outcome with the success flag and resubmit an honest evaluation.",
     blocked_without_blocker: "State the concrete blocker, or drop the blocked outcome.",
     retroactive_claim_bad_round: "Correct the referenced round number, or withdraw the retroactive claim.",
@@ -81,21 +81,18 @@ const VERIFICATION_ACTIONS = {
     evidence_integrity: "Correct the mismatch between your claims and the recorded evidence.",
     required_command_failed: "Re-run the required verification command and report its actual output before claiming success.",
     command_evidence_mismatch: "Report the true command output and reconcile the mismatch.",
-    intent_drift: "Explain the pivot in drift_clarification with concrete references, or redo the round as promised.",
-    subgoal_drift: "Reconcile the sub-goal list with your reported work before resubmitting.",
     backtrack_workspace_not_restored: "Restore the skipped-round files and the expected git HEAD, then resubmit.",
     criteria_claims_unverified: "Provide evidence for each claimed success criterion.",
     // v3.3 — Round Contract checks (and the three v3.3 checks that predated
     // this table entry and fell back to the generic action).
     verification_entrypoint_modified: "Re-run the verification command on the changed entrypoint, or revert the entrypoint change and re-run.",
     test_files_modified: "Re-run the verification command after the test-file changes and report the fresh output.",
-    round_underspecified: "Declare this round's contract with a non-empty done_when list — what must be true when the round is done?",
-    round_unverifiable: "Name only configured, enabled evidence.commands in verification_plan, or drop done_when items that cannot be machine-verified.",
-    round_scope_drift: "Revert the out-of-scope file changes, or extend the contract scope to cover them and explain why in drift_clarification.",
-    premature_boundary: "Run the contract's verification_plan commands and report real output before claiming done_when met; or set success=false and list the items in success_criteria_remaining (no_change_reason does not apply to contract claims).",
-    // v3.5 — contract completion machine-backing + premature-replacement warn
-    contract_completion_unverified: "Completion under the ACTIVE Round Contract requires its verification_plan commands to pass this round — fix the underlying failure so they pass and resubmit. Completion claims are not accepted without machine verification (no_change_reason does not apply).",
-    contract_premature: "The ACTIVE contract is still open — restate it unchanged to continue it; a different contract is ignored until the active one is completed or blocked.",
+    round_scope_drift: "Revert the out-of-scope file changes, or close the active contract and declare the extended scope in a new proposal. Scope drift is a machine fact and is not waivable by explanation.",
+    // v3.8 — item model: claimed-but-unverified debt
+    contract_items_unverified: "Run the bound command(s) for each claimed item so they are observed passing, or report the item as remaining (or declare outcome=\"blocked\").",
+    contract_premature: "The ACTIVE contract is still open — restate it unchanged to continue it; a different contract is ignored until every item is verified or the round reports blocked.",
+    // v3.7.1 — opt-in gate layer: cited gates need an approved human decision
+    user_gate_unresolved: "The round cites a high-risk action without an approved human decision. Run loopforge_gate_check, present the approval question, call loopforge_gate_resolve after the human decides, and resubmit with the approved gate id in evaluation.gate_ids.",
 };
 /** Fallback for unmapped check names (forward-compat with future checks). */
 const VERIFICATION_ACTION_FALLBACK = "Re-examine the flagged claim and correct your evaluation before resubmitting.";
@@ -130,79 +127,13 @@ function activeNonHardConstraints(state) {
 // ═══════════════════════════════════════════════════════════════════════════
 // v3.2: L1 diff-collapse helpers
 // ═══════════════════════════════════════════════════════════════════════════
-/** v3.2: Collapse only when at least this many items are unchanged — a tiny
- *  unchanged set renders in full (nothing worth saving). */
-export const COLLAPSE_MIN_UNCHANGED = 3;
-/** v3.2: Recent-rounds items kept in full when older ones collapse. */
-export const KEEP_RECENT_ROUNDS = 3;
 /** v3.2: Stable ID of a constraint text as rendered by bulletsWithIds —
  *  metadata's own id when present, else the derived hash. */
 function constraintIdOf(text, metadata) {
     const meta = metadata.find((m) => m.text === text);
     return meta?.id ?? `c-${deriveItemId(text)}`;
 }
-export function diffConstraints(baseline, activeTexts, metadata, round, emphasized) {
-    if (!baseline)
-        return { changed: activeTexts, unchangedCount: 0, removedCount: 0 };
-    const baselineIds = new Set(baseline.constraintIds);
-    const currentIds = new Set(activeTexts.map((text) => constraintIdOf(text, metadata)));
-    const changed = [];
-    let unchangedCount = 0;
-    for (const text of activeTexts) {
-        const id = constraintIdOf(text, metadata);
-        const violatedThisRound = metadata.find((m) => m.text === text)
-            ?.last_violated_at_round === round;
-        if (!baselineIds.has(id) || violatedThisRound)
-            changed.push(text);
-        else
-            unchangedCount++;
-    }
-    let removedCount = 0;
-    if (emphasized.size > 0) {
-        const emphasizedIds = new Set([...emphasized].map((text) => constraintIdOf(text, metadata)));
-        for (const id of baselineIds) {
-            if (!currentIds.has(id) && !emphasizedIds.has(id))
-                removedCount++;
-        }
-    }
-    else {
-        for (const id of baselineIds) {
-            if (!currentIds.has(id))
-                removedCount++;
-        }
-    }
-    return { changed, unchangedCount, removedCount };
-}
-export function diffSubGoals(baseline, activeSubs) {
-    if (!baseline)
-        return { changed: activeSubs, unchangedCount: 0, removedCount: 0 };
-    const baselineById = new Map(baseline.subGoals);
-    const currentIds = new Set(activeSubs.map((sg) => sg.id));
-    const changed = [];
-    let unchangedCount = 0;
-    for (const sg of activeSubs) {
-        const prevStatus = baselineById.get(sg.id);
-        if (prevStatus === undefined || prevStatus !== sg.status)
-            changed.push(sg);
-        else
-            unchangedCount++;
-    }
-    let removedCount = 0;
-    for (const [id] of baseline.subGoals) {
-        if (!currentIds.has(id))
-            removedCount++;
-    }
-    return { changed, unchangedCount, removedCount };
-}
-/** v3.2: True when a milestone boundary was crossed since the baseline —
- *  the Recent Rounds section then renders in full (a phase ended). */
-export function milestoneBoundaryChanged(baseline, milestones) {
-    if (!baseline)
-        return false;
-    const baselineRanges = new Set(baseline.milestoneRanges.map(([s, e]) => `${s}:${e}`));
-    return milestones.some((m) => !baselineRanges.has(`${m.round_range.start}:${m.round_range.end}`));
-}
-function commonMandatorySections(state, 
+function commonMandatorySections(state,
 /** v2.11: L0 skips ID rendering to stay within tight budget. */
 level) {
     const sections = [
@@ -259,10 +190,38 @@ function l0Sections(state) {
     }
     return sections;
 }
-function l1Sections(state, baseline, emphasized) {
+/** v3.8.1: the committed-round window Active Warnings reports on. */
+const ACTIVE_WARNINGS_WINDOW = 3;
+/** v3.8.1: hard cap on Active Warnings lines. */
+const ACTIVE_WARNINGS_CAP = 5;
+/** v3.8.1: the prompt's slice of the recurring-fact list — the facts still
+ *  firing inside the last ACTIVE_WARNINGS_WINDOW committed rounds.
+ *
+ *  One list, two windows: this shows what is going wrong NOW (any count), the
+ *  state file shows what keeps recurring (>= 2 rounds). Before this release
+ *  the prompt carried a raw, unthresholded violation list AND a whole-history
+ *  count >= 2 list, under two different headings.
+ *
+ *  Returns "" when nothing is firing, so the caller renders no section. */
+function activeWarnings(flags, currentRound) {
+    const cutoff = currentRound - ACTIVE_WARNINGS_WINDOW;
+    const shown = flags
+        .filter((flag) => flag.rounds.some((round) => round >= cutoff))
+        .sort((a, b) => Math.max(...b.rounds) - Math.max(...a.rounds) || b.count - a.count)
+        .slice(0, ACTIVE_WARNINGS_CAP);
+    if (shown.length === 0)
+        return "";
+    return shown.map((flag) => {
+        const icon = flag.kind === "constraint_violation"
+            ? "🚫"
+            : flag.kind === "verification_error" ? "⚠️" : "ℹ️";
+        const subject = flag.ref ? `${flag.subject} [${flag.ref}]` : flag.subject;
+        return `- ${icon} ${subject} — ${flag.count}×, latest R${Math.max(...flag.rounds)}`;
+    }).join("\n");
+}
+function l1Sections(state) {
     const sections = commonMandatorySections(state, "l1");
     const active = activeNonHardConstraints(state);
-    const collapseEnabled = getPolicy().prompt.l1_collapse_enabled;
     if (state.changesSinceLastRound.length > 0) {
         sections.push({
             id: "changes",
@@ -270,36 +229,27 @@ function l1Sections(state, baseline, emphasized) {
             mandatory: false,
         });
     }
-    // v3.2: Active Constraints — collapse unchanged items against the previous
-    // round's presentation; new and violated-this-round constraints render in
-    // full. The collapse line points at the state file (regenerated every
-    // round), so no information is lost — only presentation is compacted.
+    // v3.8.1: Active Constraints render IN FULL. v3.2 folded unchanged items
+    // into "… N unchanged constraints (see state file)" pointer lines, which
+    // made the prompt's content depend on what the PREVIOUS prompt happened to
+    // show rather than on committed facts — and those pointer lines fed the
+    // prompt hash. The fold needed the previous round's persisted presentation
+    // snapshot, which is deleted.
     if (active.length > 0) {
-        const diff = diffConstraints(baseline, active, state.constraintMetadata, state.round, emphasized);
-        const renderFull = !collapseEnabled || !baseline
-            || diff.unchangedCount < COLLAPSE_MIN_UNCHANGED;
-        if (renderFull) {
-            sections.push({
-                id: "active_constraints",
-                text: section("Active Constraints / Success Criteria", bulletsWithIdentities(active, state.constraintMetadata)),
-                mandatory: false,
-            });
-        }
-        else {
-            const lines = diff.changed.map((text) => {
-                const id = constraintIdOf(text, state.constraintMetadata);
-                const violated = state.constraintMetadata.find((m) => m.text === text)
-                    ?.last_violated_at_round === state.round;
-                const suffix = violated ? " (violated this round)" : " (new this round)";
-                return `- [\`${id}\`] ${text}${suffix}`;
-            });
-            lines.push(`- … ${diff.unchangedCount} unchanged constraints, ${diff.removedCount} demoted since R${baseline.round} (see state file)`);
-            sections.push({
-                id: "active_constraints",
-                text: section("Active Constraints / Success Criteria", lines.join("\n")),
-                mandatory: false,
-            });
-        }
+        // The one thing the folded branch carried that a plain bullet list does
+        // not: the machine fact that this round broke the constraint. Kept so the
+        // annotation is not lost along with the fold.
+        const lines = active.map((text) => {
+            const violated = state.constraintMetadata.find((m) => m.text === text)
+                ?.last_violated_at_round === state.round;
+            return `- [\`${constraintIdOf(text, state.constraintMetadata)}\`] ${text}` +
+                (violated ? " (violated this round)" : "");
+        });
+        sections.push({
+            id: "active_constraints",
+            text: section("Active Constraints / Success Criteria", lines.join("\n")),
+            mandatory: false,
+        });
     }
     if (state.remainingCriteria.length > 0) {
         sections.push({
@@ -315,44 +265,23 @@ function l1Sections(state, baseline, emphasized) {
             mandatory: false,
         });
     }
-    // v2.2: Sub-Goal Dashboard (compact — L1). v3.2: unchanged sub-goals
-    // collapse to a count line; new/transitioned ones render in full.
-    const activeSubs = state.subGoals.filter((sg) => sg.status === "in_progress" || sg.status === "pending");
+    // v2.2: Sub-Goal Dashboard (compact — L1). v3.7.1: only ACTIVE items
+    // (pending/in_progress/blocked) enter the view; done/canceled never render
+    // as rows. v3.8.1: rendered in full — the unchanged-count fold is gone.
+    const view = activeSubGoalView(state.subGoals, Number.POSITIVE_INFINITY);
+    const activeSubs = view.active;
     if (activeSubs.length > 0) {
-        const diff = diffSubGoals(baseline, activeSubs);
-        const renderFull = !collapseEnabled || !baseline
-            || diff.unchangedCount < COLLAPSE_MIN_UNCHANGED;
-        if (renderFull) {
-            const maxShow = 5;
-            const items = activeSubs.slice(0, maxShow).map((sg) => {
-                const icon = sg.status === "in_progress" ? "🔄" : "⏳";
-                return `${icon} [\`${sg.id}\`] ${sg.description}`;
-            });
-            if (activeSubs.length > maxShow) {
-                items.push(`... and ${activeSubs.length - maxShow} more`);
-            }
-            sections.push({
-                id: "sub_goals",
-                text: section("Active Sub-Goals", items.join("\n")),
-                mandatory: false,
-            });
-        }
-        else {
-            const transitionCount = diff.changed.filter((sg) => {
-                const prev = baseline.subGoals.find(([id]) => id === sg.id);
-                return prev !== undefined && prev[1] !== sg.status;
-            }).length;
-            const items = diff.changed.slice(0, 5).map((sg) => {
-                const icon = sg.status === "in_progress" ? "🔄" : "⏳";
-                return `${icon} [\`${sg.id}\`] ${sg.description}`;
-            });
-            items.push(`- … ${diff.unchangedCount} unchanged sub-goals, ${transitionCount + diff.removedCount} changed since R${baseline.round} (see state file)`);
-            sections.push({
-                id: "sub_goals",
-                text: section("Active Sub-Goals", items.join("\n")),
-                mandatory: false,
-            });
+        const iconOf = (sg) => sg.status === "in_progress" ? "🔄" : sg.status === "blocked" ? "🚫" : "⏳";
+        const maxShow = 5;
+        const items = activeSubs.slice(0, maxShow).map((sg) => `${iconOf(sg)} [\`${sg.id}\`] ${sg.description}`);
+        if (activeSubs.length > maxShow) {
+            items.push(`... and ${activeSubs.length - maxShow} more`);
         }
+        sections.push({
+            id: "sub_goals",
+            text: section("Active Sub-Goals", items.join("\n")),
+            mandatory: false,
+        });
     }
     if (state.discoveries.length > 0) {
         sections.push({
@@ -361,32 +290,14 @@ function l1Sections(state, baseline, emphasized) {
             mandatory: false,
         });
     }
-    // v3.2: Recent Rounds — keep the newest KEEP_RECENT_ROUNDS in full, fold
-    // older ones into one pointer line (unless a milestone boundary crossed).
+    // v3.2: Recent Rounds. v3.8.1: rendered in full — the keep-newest-N fold and
+    // its milestone-boundary exception are gone.
     if (state.rollingOutcomes.length > 0) {
-        const boundaryChanged = milestoneBoundaryChanged(baseline, state.milestones);
-        const collapseable = collapseEnabled && baseline !== null
-            && state.rollingOutcomes.length > KEEP_RECENT_ROUNDS && !boundaryChanged;
-        if (collapseable) {
-            const kept = state.rollingOutcomes.slice(-KEEP_RECENT_ROUNDS);
-            const earlier = state.rollingOutcomes.length - kept.length;
-            const lines = [
-                ...kept,
-                `- … ${earlier} earlier round${earlier === 1 ? "" : "s"} (see state file)`,
-            ];
-            sections.push({
-                id: "rolling_outcomes",
-                text: section("Recent Rounds", lines.join("\n")),
-                mandatory: false,
-            });
-        }
-        else {
-            sections.push({
-                id: "rolling_outcomes",
-                text: section("Recent Rounds", bullets(state.rollingOutcomes)),
-                mandatory: false,
-            });
-        }
+        sections.push({
+            id: "rolling_outcomes",
+            text: section("Recent Rounds", bullets(state.rollingOutcomes)),
+            mandatory: false,
+        });
     }
     // v3.2: L1 also renders the explicit external context (previously L2-only).
     // Placed after the changes delta, within the soft budget.
@@ -397,36 +308,26 @@ function l1Sections(state, baseline, emphasized) {
             mandatory: false,
         });
     }
-    // v3.3: Forward-looking roadmap (same buildRoadmap as state.md and L2).
-    const roadmapLines = buildRoadmap(state);
-    if (roadmapLines.length > 0) {
-        sections.push({
-            id: "roadmap",
-            text: section("Roadmap", roadmapLines.join("\n")),
-            mandatory: false,
-        });
-    }
-    // v3.2: Recurring Issues carries the deterministic violation lessons (with
-    // counts and rounds) when available; falls back to the rolling window text.
-    if (state.recurringIssues.length > 0 || state.lessons.length > 0) {
-        const violationLessons = state.lessons
-            .filter((lesson) => lesson.kind === "constraint_violation")
-            .slice(0, 3);
-        const body = violationLessons.length > 0
-            ? violationLessons
-                .map((lesson) => `- ${lesson.text} (violated ${lesson.count}×: R${lesson.rounds.join(", R")})`)
-                .join("\n")
-            : bullets(state.recurringIssues);
+    // v3.8.1: one compact phase line, not the Roadmap prose.
+    const l1Phase = buildPhaseLine(state);
+    if (l1Phase) {
         sections.push({
-            id: "recurring_issues",
-            text: section("Recurring Issues", body),
+            id: "phase",
+            text: section("Phase", l1Phase),
             mandatory: false,
         });
     }
-    if (state.nextAction) {
+    // v3.8.1: Active Warnings — the recent tail of the ONE recurring-fact
+    // derivation. It replaces two prompt sections ("Recurring Issues", fed by
+    // the last 5 rounds' raw violations with no threshold, and "Lessons
+    // Learned", fed by the whole-history count >= 2 view) that were two windows
+    // over one fact set. What the agent needs in the prompt is the recent tail;
+    // the full recurring set lives in the state file.
+    const warnings = activeWarnings(state.recurringFlags, state.round);
+    if (warnings) {
         sections.push({
-            id: "next_action",
-            text: section("Next Action", state.nextAction),
+            id: "active_warnings",
+            text: section("Active Warnings", warnings),
             mandatory: false,
         });
     }
@@ -452,7 +353,6 @@ function l2Sections(state, fullStateMarkdown) {
         ["blockers", "Blockers", state.blockers, null],
         ["discoveries", "Discoveries", state.discoveries, null],
         ["rolling_outcomes", "Cross-Round Outcomes", state.rollingOutcomes, null],
-        ["recurring_issues", "Recurring Issues", state.recurringIssues, null],
         ["failed_patterns", "Failed Patterns", state.failedPatterns, null],
     ];
     for (const [id, title, values, idPrefix] of groups) {
@@ -470,32 +370,26 @@ function l2Sections(state, fullStateMarkdown) {
                 : bullets(values);
         sections.push({ id, text: section(title, body), mandatory: false });
     }
-    // v3.2: Lessons learned — repeated violations / verification failures
-    // across the whole loop (not just the rolling window).
-    if (state.lessons.length > 0) {
-        const lessonLines = state.lessons.slice(0, 8).map((lesson) => {
-            const icon = lesson.kind === "constraint_violation"
-                ? "🚫"
-                : lesson.kind === "verification_error" ? "⚠️" : "ℹ️";
-            return `- ${icon} ${lesson.text} — ${lesson.count}× (R${lesson.rounds.join(", R")})`;
-        });
-        if (state.lessons.length > 8) {
-            lessonLines.push(`- ... and ${state.lessons.length - 8} more`);
-        }
+    // v3.8.1: Active Warnings — the recent tail of the ONE recurring-fact
+    // derivation (see l1Sections). The whole-history recurring set is the state
+    // file's job; L2 shows the same recent slice as L1 so the two levels cannot
+    // tell different stories about what is going wrong right now.
+    const warnings = activeWarnings(state.recurringFlags, state.round);
+    if (warnings) {
         sections.push({
-            id: "lessons",
-            text: section("Lessons Learned", lessonLines.join("\n")),
+            id: "active_warnings",
+            text: section("Active Warnings", warnings),
             mandatory: false,
         });
     }
-    // v3.3: Forward-looking roadmap — rendered right before the (backward-
-    // looking) Phase History so the agent sees where it is before where it's
-    // been. Same buildRoadmap as state.md and L1.
-    const roadmapLines = buildRoadmap(state);
-    if (roadmapLines.length > 0) {
+    // v3.8.1: one compact phase line, not the Roadmap prose — rendered right
+    // before the (backward-looking) Phase History so the agent sees where it is
+    // before where it has been.
+    const l2Phase = buildPhaseLine(state);
+    if (l2Phase) {
         sections.push({
-            id: "roadmap",
-            text: section("Roadmap", roadmapLines.join("\n")),
+            id: "phase",
+            text: section("Phase", l2Phase),
             mandatory: false,
         });
     }
@@ -519,56 +413,33 @@ function l2Sections(state, fullStateMarkdown) {
         });
     }
     if (state.subGoals.length > 0) {
+        // v3.7.1: active-only rows ordered blocked → in_progress → pending
+        // (priority asc, recently changed first), capped by policy; done and
+        // canceled appear only in the stats line.
+        const cap = getPolicy().evolution.max_active_subgoals;
+        const view = activeSubGoalView(state.subGoals, cap);
         const lines = [];
-        // In progress
-        const inProgress = state.subGoals.filter((sg) => sg.status === "in_progress");
-        for (const sg of inProgress) {
-            lines.push(`🔄 [\`${sg.id}\`] ${sg.description} (since R${sg.status_changed_at_round})`);
-        }
-        // Pending (by age)
-        const pending = state.subGoals.filter((sg) => sg.status === "pending");
-        const shownPending = pending.slice(0, 10);
-        for (const sg of shownPending) {
-            const age = state.round - sg.declared_at_round;
-            const stale = age >= 10 ? " ⚠️ stale" : "";
-            lines.push(`⏳ [\`${sg.id}\`] ${sg.description} (pending ${age} rounds)${stale}`);
-        }
-        if (pending.length > 10) {
-            lines.push(`... and ${pending.length - 10} more pending`);
-        }
-        // Blocked
-        const blocked = state.subGoals.filter((sg) => sg.status === "blocked");
-        for (const sg of blocked) {
-            lines.push(`🚫 [\`${sg.id}\`] ${sg.description} (blocked since R${sg.status_changed_at_round})`);
-        }
-        // Recently done
-        const done = state.subGoals.filter((sg) => sg.status === "done");
-        const recentDone = done.slice(0, 5);
-        for (const sg of recentDone) {
-            lines.push(`✅ [\`${sg.id}\`] ${sg.description} (done R${sg.completed_at_round ?? sg.status_changed_at_round})`);
-        }
-        if (done.length > 5) {
-            lines.push(`... and ${done.length - 5} more completed`);
+        for (const sg of view.active) {
+            if (sg.status === "in_progress") {
+                lines.push(`🔄 [\`${sg.id}\`] ${sg.description} (since R${sg.status_changed_at_round})`);
+            }
+            else if (sg.status === "blocked") {
+                lines.push(`🚫 [\`${sg.id}\`] ${sg.description} (blocked since R${sg.status_changed_at_round})`);
+            }
+            else {
+                const age = state.round - sg.declared_at_round;
+                const stale = age >= 10 ? " ⚠️ stale" : "";
+                lines.push(`⏳ [\`${sg.id}\`] ${sg.description} (pending ${age} rounds)${stale}`);
+            }
         }
-        // Stats line
-        const total = state.subGoals.length;
-        const doneCount = done.length;
-        const canceledCount = state.subGoals.filter((sg) => sg.status === "canceled").length;
-        const activeCount = inProgress.length + pending.length + blocked.length;
-        lines.push(`─── ${total} total: ${activeCount} active, ${doneCount} done, ${canceledCount} canceled`);
+        // Stats line (full counts — rows may be capped)
+        lines.push(`─── ${view.total} total: ${view.activeTotal} active, ${view.done} done, ${view.canceled} canceled`);
         sections.push({
             id: "sub_goals_full",
             text: section("Sub-Goal Dashboard", lines.join("\n")),
             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",
@@ -577,97 +448,13 @@ function l2Sections(state, fullStateMarkdown) {
         });
     }
     // ── v2.8: Path B gap fills (previously only in full state markdown) ──
-    // Progress Dashboard
-    if (state.progress.estimate !== null ||
-        state.progress.criteriaMet.length > 0 ||
-        state.progress.criteriaRemaining.length > 0 ||
-        state.progress.filesChanged.length > 0 ||
-        state.progress.tests !== null ||
-        state.machineStatus !== undefined) {
-        const lines = [];
-        const total = state.progress.criteriaMet.length + state.progress.criteriaRemaining.length;
-        if (total > 0) {
-            lines.push(`**Criteria**: ${state.progress.criteriaMet.length}/${total} met`);
-        }
-        if (state.progress.estimate !== null) {
-            lines.push(`**Estimated Completion**: ${(state.progress.estimate * 100).toFixed(0)}%`);
-            // v3.3: honest labeling — the estimate is the agent's own number.
-            lines.push("**Signal source**: self-reported estimate (unverified until machine-backed)");
-        }
-        // v3.3: machine side of the comparison — git motion over committed
-        // rounds (v3.6: the object always carries definite values — no
-        // "unavailable" arm).
-        if (state.machineStatus) {
-            const ms = state.machineStatus;
-            const motion = ms.gitMotion
-                ? `changes in ${ms.motionRounds}/${ms.windowRounds} recent committed rounds`
-                : `no git changes in the last ${ms.windowRounds} committed rounds`;
-            lines.push(`**Machine (git)**: ${motion}`);
-        }
-        if (state.criterionStatuses.length > 0) {
-            const metCount = state.criterionStatuses.filter((cs) => cs.status === "met").length;
-            lines.push(`**Machine (criteria)**: ${metCount}/${state.criterionStatuses.length} met across committed rounds`);
-        }
-        if (state.progress.tests) {
-            lines.push(`**Tests**: ${state.progress.tests.passed} passed, ` +
-                `${state.progress.tests.failed} failed, ${state.progress.tests.skipped} skipped`);
-        }
-        if (state.progress.filesChanged.length > 0) {
-            lines.push("**Files Changed**:");
-            for (const f of state.progress.filesChanged.slice(0, 10))
-                lines.push(`- ${f}`);
-            if (state.progress.filesChanged.length > 10) {
-                lines.push(`- ... and ${state.progress.filesChanged.length - 10} more`);
-            }
-        }
-        // v3.2: Goal → criteria → evidence vertical view — per-criterion status
-        // with the round it was met and linked sub-goals. IDs follow
-        // constraint_id_enabled like every other ID-rendering path.
-        if (state.criterionStatuses.length > 0) {
-            const idEnabled = getPolicy().evolution.constraint_id_enabled;
-            lines.push("", "**Goal → Criteria**:");
-            for (const cs of state.criterionStatuses) {
-                const icon = cs.status === "met" ? "✅" : cs.status === "remaining" ? "⬜" : "❔";
-                const idTag = idEnabled ? ` [\`${cs.id}\`]` : "";
-                const met = cs.met_at_round !== undefined ? `(met R${cs.met_at_round})` : "";
-                const related = cs.related_subgoal_ids.length > 0
-                    ? ` [↔ ${cs.related_subgoal_ids.join(", ")}]`
-                    : "";
-                lines.push(`- ${icon}${idTag} ${cs.text} ${met}${related}`);
-            }
-        }
-        sections.push({
-            id: "progress",
-            text: section("Progress Dashboard", lines.join("\n")),
-            mandatory: false,
-        });
-    }
-    // v3.3: Per-round statistics — lets the agent calibrate round granularity
-    // (files per round, rejected attempts, self-reported progress deltas).
-    // v3.6: source-labeled — files/Δ are agent-reported; only rejected
-    // attempts (and the Machine (git) row above) are machine-recorded.
-    if (state.roundStats && state.roundStats.length > 0) {
-        const statLines = state.roundStats.map((stat) => {
-            const parts = [];
-            if (stat.filesChangedCount !== null) {
-                parts.push(`${stat.filesChangedCount} file${stat.filesChangedCount === 1 ? "" : "s"}`);
-            }
-            if (stat.rejectedAttempts !== null && stat.rejectedAttempts > 0) {
-                parts.push(`${stat.rejectedAttempts} rejected attempt${stat.rejectedAttempts === 1 ? "" : "s"}`);
-            }
-            if (stat.progressDelta !== null) {
-                parts.push(`Δ${stat.progressDelta >= 0 ? "+" : ""}${stat.progressDelta.toFixed(2)}`);
-            }
-            return `- R${stat.round}: ${parts.length > 0 ? parts.join(", ") : "no data"}`;
-        });
-        statLines.push("> files & Δ are agent-reported; rejected attempts are machine-recorded " +
-            "(the Machine (git) row above is machine-observed)");
-        sections.push({
-            id: "round_stats",
-            text: section("Round Stats", statLines.join("\n")),
-            mandatory: false,
-        });
-    }
+    // v3.8.1: the L2 Progress Dashboard and Round Stats sections are gone.
+    // The dashboard was `criterionStatuses` re-composed into a table and mixed
+    // with the agent’s OWN completion estimate and test counts; Round Stats
+    // re-listed per-round files and progress deltas, both self-reported. The
+    // criterion list and the machine git/criteria rows still render in the
+    // state file, where a human or external tool reads them — the prompt keeps
+    // only the current round’s own facts.
     // Retired Constraints
     if (state.retiredConstraints.length > 0) {
         const lines = state.retiredConstraints.map((c) => `- ~${c}~ (retired)`);
@@ -677,86 +464,166 @@ function l2Sections(state, fullStateMarkdown) {
             mandatory: false,
         });
     }
-    // Agent Trust Score + Trend
-    if (state.agentTrustScore !== undefined) {
-        const lines = [
-            trustBarLine(state.agentTrustScore),
-        ];
-        if (state.agentTrustTrend.length > 0) {
-            const avg = (state.agentTrustTrend.reduce((a, b) => a + b, 0)
-                / state.agentTrustTrend.length).toFixed(2);
-            lines.push(`Trend (last ${state.agentTrustTrend.length}): ${state.agentTrustTrend.join(" → ")}`);
-            lines.push(`Average: ${avg}`);
-        }
-        sections.push({
-            id: "agent_trust",
-            text: section("Agent Trust", lines.join("\n")),
-            mandatory: false,
-        });
-    }
     return sections;
 }
-function selectSections(input, emphasized) {
+function selectSections(input) {
     if (input.level === "l0")
         return l0Sections(input.state);
-    if (input.level === "l1") {
-        return l1Sections(input.state, input.presentedBaseline ?? null, emphasized);
-    }
+    if (input.level === "l1")
+        return l1Sections(input.state);
     return l2Sections(input.state, input.fullStateMarkdown);
 }
+/** v3.8.1: render order, in ONE place.
+ *
+ *  - A section absent from this table falls to DEFAULT_SECTION_PRIORITY.
+ *  - A Section's `mandatory` flag means PROTECTED: never dropped, never
+ *    truncated, rendered first regardless of budget.
+ *  - Everything else is optional and is cut lowest-priority-first.
+ *
+ *  Priority belongs to the SECTION, not to policy: a budget knob must not be
+ *  able to change which facts count as more important. (v3.2–v3.8 had no
+ *  order at all — optional sections were appended in declaration order, so a
+ *  single large early section silently pushed out every later one.)
+ */
+const SECTION_PRIORITY = {
+    // ── protected ───────────────────────────────────────────────────────────
+    objective: 0,
+    current_task: 1,
+    hard_constraints: 2,
+    verification: 3,
+    retry_requirements: 4,
+    // Zero-token pure reorder, but it is the ONLY place emphasized items render
+    // (they are MOVED out of their source sections), so dropping it would delete
+    // them rather than just deprioritize them.
+    critical_context: 5,
+    // ── optional, most to least important ───────────────────────────────────
+    success_criteria: 10,
+    active_constraints: 11,
+    remaining: 12,
+    sub_goals: 13,
+    blockers: 14,
+    changes: 15,
+    discoveries: 16,
+    rolling_outcomes: 17,
+    phase: 18,
+    active_warnings: 19,
+    external_context: 20,
+    failed_patterns: 21,
+    retired_constraints: 22,
+    milestones: 23,
+    sub_goals_full: 24,
+    full_state: 25,
+};
+const DEFAULT_SECTION_PRIORITY = 50;
+/** v3.8.1: the smallest remaining room worth spending on a truncated
+ *  section. Below this a partial render is noise, so the section is dropped
+ *  whole instead. */
+const TRUNCATION_MIN_CHARS = 256;
+/** Cut at a line boundary so a truncated section cannot end mid-sentence. */
+function truncateAtLine(text, room) {
+    const clipped = text.slice(0, room);
+    const lastBreak = clipped.lastIndexOf("\n");
+    return `${lastBreak > 0 ? clipped.slice(0, lastBreak) : clipped}\n`;
+}
 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)
+    // Total order: priority, then declaration order. Deterministic by
+    // construction — no dependence on map iteration or insertion accidents.
+    const ranked = sections
+        .map((item, index) => ({ item, index }))
+        .sort((a, b) => (SECTION_PRIORITY[a.item.id] ?? DEFAULT_SECTION_PRIORITY) -
+        (SECTION_PRIORITY[b.item.id] ?? DEFAULT_SECTION_PRIORITY) ||
+        a.index - b.index);
+    let rendered = fixedText;
+    const included = [];
+    const dropped = [];
+    for (const { item } of ranked) {
+        if (!item.text || !item.mandatory)
             continue;
-        if (rendered.length + item.text.length <= budget) {
-            rendered += item.text;
-            included.push(item.id);
+        rendered += item.text;
+        included.push(item.id);
+    }
+    // Protected content alone can exceed the ceiling. That is RECORDED, never
+    // "fixed" by truncating a protected section.
+    const protectedOverflow = rendered.length > budget;
+    // Optional sections, STRICT priority: find the longest optional PREFIX that
+    // fits, and cut only from the tail of that ordering.
+    //
+    // Greedy first-fit is a different rule, and not the documented one: it can
+    // render a small low-priority section into room a larger high-priority
+    // section could not use, so "Blockers" could be missing while "Phase" is
+    // present. "Cut lowest-priority-first" has to mean what it says.
+    const optional = ranked.filter(({ item }) => item.text && !item.mandatory);
+    let prefix = optional.length;
+    while (prefix > 0) {
+        const total = optional
+            .slice(0, prefix)
+            .reduce((sum, { item }) => sum + item.text.length, 0);
+        if (rendered.length + total <= budget)
+            break;
+        prefix--;
+    }
+    for (const { item } of optional.slice(0, prefix)) {
+        rendered += item.text;
+        included.push(item.id);
+    }
+    for (const { item } of optional.slice(prefix)) {
+        dropped.push(item.id);
+    }
+    // Whatever room is left goes to the FIRST section that did not fit, rendered
+    // partially and cut at a line boundary. Exactly one section can be partial,
+    // so the cut is explainable ("this one did not fit whole") rather than a
+    // scatter of half-rendered sections.
+    const next = optional[prefix];
+    if (next) {
+        const room = budget - rendered.length;
+        if (room >= TRUNCATION_MIN_CHARS) {
+            rendered += truncateAtLine(next.item.text, room);
+            included.push(next.item.id);
+            dropped.shift();
         }
     }
-    return { rendered, included };
+    return { rendered, included, dropped, protectedOverflow };
 }
 // ═══════════════════════════════════════════════════════════════════════════
 // v2.9: Prompt Requests — model-expressed information needs
 // ═══════════════════════════════════════════════════════════════════════════
-/** Match a free-text emphasis target against state items.
- *  v2.11: ID-first matching. When a target is an ID (c-/cr-/sg-XXXXXXXX),
- *  candidates that derive to the same ID get score 1.0. Falls back to
- *  Jaccard similarity otherwise. */
+/** Match an emphasis target against state items.
+ *  v2.11: ID-first — a target written as a stable id (`c-`/`cr-`/`sg-` + 8 hex)
+ *  matches the candidate deriving to the same id.
+ *  v3.8.1: the other arm is NORMALIZED-EXACT text. The Jaccard fallback is
+ *  gone, so an emphasis can no longer pull in a near-miss because the two
+ *  strings happened to share tokens. An unmatched target still renders
+ *  nothing, keeping this a pure reorder with zero token overhead. */
 function matchEmphasize(targets, candidates, cap) {
     if (targets.length === 0 || candidates.length === 0)
         return [];
-    const scored = candidates.map((c) => {
-        let best = 0;
-        for (const t of targets) {
-            let s = 0;
-            // Phase 1: exact ID match (v2.11)
-            const idMatch = t.match(STABLE_ID_RE);
+    const matched = [];
+    for (const candidate of candidates) {
+        const candidateText = normalizeText(candidate);
+        const hit = targets.some((target) => {
+            const idMatch = target.match(STABLE_ID_RE);
             if (idMatch) {
-                const candidateId = idMatch[1] + "-" + deriveItemId(c);
-                if (candidateId === t)
-                    s = 1.0;
+                return `${idMatch[1]}-${deriveItemId(candidate)}` === target;
             }
-            // Phase 2: Jaccard fallback
-            if (s === 0)
-                s = jaccardSimilarity(t, c);
-            if (s > best)
-                best = s;
-        }
-        return { text: c, score: best };
-    });
-    return scored
-        .filter((e) => e.score >= getPolicy().evolution.constraint_match_threshold)
-        .sort((a, b) => b.score - a.score)
-        .slice(0, cap)
-        .map((e) => e.text);
+            return normalizeText(target) === candidateText;
+        });
+        if (hit)
+            matched.push(candidate);
+    }
+    // Candidate order, capped — deterministic, and no score to sort by.
+    return matched.slice(0, cap);
 }
 /** Render the "Confusion Alerts" section that appears at the prompt top.
- *  Compiler auto-matches each confusion point against state sections. */
-function renderConfusionAlerts(points, state, fullDensity) {
+ *
+ *  v3.8.1: the points are echoed back, truncated and capped — nothing more.
+ *  The compiler used to score each point against eight section keywords with
+ *  Jaccard similarity and point at the argmax. That pointer was both a
+ *  similarity verdict and, in practice, nearly always wrong: "I don't
+ *  understand milestone tracking" scores 1/8 = 0.125 against the keyword
+ *  `milestone`, below the 0.15 default, so it fell through to the generic
+ *  line anyway. The agent names the state file itself; the prompt does not
+ *  guess where to look. */
+function renderConfusionAlerts(points, fullDensity) {
     if (points.length === 0)
         return "";
     const lines = [
@@ -766,16 +633,6 @@ function renderConfusionAlerts(points, state, fullDensity) {
         "Address each before proceeding — the state file has full context.",
         "",
     ];
-    const sections = [
-        { keyword: "milestone", label: "Phase History", ref: "## Phase History" },
-        { keyword: "sub-goal", label: "Sub-Goal Dashboard", ref: "## Sub-Goal Dashboard" },
-        { keyword: "constraint", label: "Active Constraints / Constraint Lifecycle", ref: "## Active Constraints" },
-        { keyword: "trust", label: "Agent Trust", ref: "## Agent Trust" },
-        { keyword: "progress", label: "Progress Dashboard", ref: "## Progress Dashboard" },
-        { keyword: "criteria", label: "Success Criteria", ref: "## Success Criteria" },
-        { keyword: "phase", label: "Phase History", ref: "## Phase History" },
-        { keyword: "objective", label: "Loop Objective", ref: "## Loop Objective" },
-    ];
     // v2.14: L2 renders up to the policy cap (was: every confusion point,
     // unbounded by max_confusion_points); L1 keeps a single alert.
     const shown = fullDensity
@@ -783,21 +640,8 @@ function renderConfusionAlerts(points, state, fullDensity) {
         : points.slice(0, 1);
     for (const point of shown) {
         const truncated = point.length > 200 ? point.slice(0, 197) + "…" : point;
-        // Find best-matching state section
-        let bestSection = null;
-        let bestScore = 0;
-        for (const sec of sections) {
-            const score = jaccardSimilarity(truncated.toLowerCase(), sec.keyword);
-            if (score > bestScore) {
-                bestScore = score;
-                bestSection = sec;
-            }
-        }
-        const pointer = bestSection && bestScore >= getPolicy().prompt.confusion_section_threshold
-            ? `→ Check **${bestSection.label}** (\`${bestSection.ref}\`) in the state file.`
-            : "→ Read the full state file for relevant context.";
         lines.push(`- **"${truncated}"**`);
-        lines.push(`  ${pointer}`);
+        lines.push("  → Read the full state file for relevant context.");
         lines.push("");
     }
     if (!fullDensity && points.length > 1) {
@@ -808,7 +652,7 @@ function renderConfusionAlerts(points, state, fullDensity) {
 }
 /** Render the "Critical Context" section — items the model emphasized.
  *  Pulled from active constraints, discoveries, and blocking issues. */
-function renderCriticalContext(emphasized, state) {
+function renderCriticalContext(emphasized) {
     if (emphasized.length === 0)
         return "";
     const lines = [
@@ -829,14 +673,13 @@ export function assemblePromptArtifact(input) {
     const stateHash = hashCanonicalState(input.state);
     const attempt = Math.max(1, input.attempt ?? 1);
     // ── State file reference + conditional read instruction ────────────
-    // L2 rounds (full rehydration), recovery, rejection, and drift all
-    // benefit from the model reading the durable state file rather than
-    // relying on potentially-compacted conversation history.
+    // L2 rounds (full rehydration), recovery and rejection all benefit from the
+    // model reading the durable state file rather than relying on
+    // potentially-compacted conversation history.
     const fullContextReasons = new Set([
         "first_round", "plan_boundary", "checkpoint_boundary", "goal_changed",
         "missing_previous_state", "verification_contradicted",
-        "rejection_rehydrate", "recovery_boundary", "state_drift",
-        "periodic_refresh",
+        "rejection_rehydrate", "recovery_boundary",
     ]);
     const needsFullContext = input.level === "l2"
         || input.reasons.some((r) => fullContextReasons.has(r));
@@ -888,8 +731,8 @@ export function assemblePromptArtifact(input) {
         "- `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.",
+        "- `execution_report.files_changed`: List files you modified — used for verification.",
+        "- `execution_report.tests_reported`: Report actual test runner output.",
         "- `progress_estimate`: A number 0.0–1.0 reflecting overall task completion.",
         "",
         "### If the Prompt Says \"REJECTED\"",
@@ -904,11 +747,10 @@ export function assemblePromptArtifact(input) {
     // ── v2.9: Prompt Requests — model-expressed information needs ──────────
     const pr = input.promptRequests;
     const levelIsL0 = input.level === "l0";
-    const levelIsL1 = input.level === "l1";
     const levelIsL2 = input.level === "l2";
     // Confusion alerts: L1/L2 only, rendered at the top (before mandatory sections)
     const confusionText = (!levelIsL0 && pr?.confusion_points?.length)
-        ? renderConfusionAlerts(pr.confusion_points, input.state, levelIsL2)
+        ? renderConfusionAlerts(pr.confusion_points, levelIsL2)
         : "";
     // Emphasize: L1/L2 only, matched against active state items
     const policy = getPolicy().prompt;
@@ -942,24 +784,13 @@ export function assemblePromptArtifact(input) {
             changesSinceLastRound: input.state.changesSinceLastRound.filter((item) => !emphasizedSet.has(item)),
         }
         : input.state;
-    const sections = selectSections({ ...input, state: stateForSections }, emphasizedSet);
-    const criticalContextText = renderCriticalContext(emphasized, input.state);
-    // v3.2: L1 only — snapshot what this prompt actually presented, so the
-    // NEXT L1 compile can diff against it (persisted via PromptArtifact →
-    // lineage). L0/L2 leave it undefined: their presentation semantics differ
-    // (L2's dashboard includes done/canceled sub-goals, which would
-    // contaminate the L1 active-set diff).
-    let presentedState;
-    if (levelIsL1) {
-        const activeSubsForSnapshot = stateForSections.subGoals.filter((sg) => sg.status === "in_progress" || sg.status === "pending");
-        presentedState = {
-            round: input.state.round,
-            constraintIds: activeNonHardConstraints(stateForSections)
-                .map((text) => constraintIdOf(text, stateForSections.constraintMetadata)),
-            subGoals: activeSubsForSnapshot.map((sg) => [sg.id, sg.status]),
-            milestoneRanges: input.state.milestones.map((m) => [m.round_range.start, m.round_range.end]),
-        };
-    }
+    const sections = selectSections({ ...input, state: stateForSections });
+    const criticalContextText = renderCriticalContext(emphasized);
+    // v3.8.1: no presentation snapshot. The artifact records what THIS prompt
+    // rendered (level, hashes, round identity, the sections it emitted) and
+    // nothing about what a LATER prompt should do differently — a prompt's
+    // content must follow from committed facts, not from what the previous
+    // prompt happened to show.
     // Inject confusion alerts into the header area (before mandatory sections)
     const fixedText = header + confusionText;
     // Inject critical context as a mandatory section
@@ -974,18 +805,27 @@ export function assemblePromptArtifact(input) {
             ...sections,
         ];
     }
-    const selected = renderWithinBudget(augmentedSections, fixedText, budget - footer.length);
+    const sectionBudget = budget - footer.length;
+    const selected = renderWithinBudget(augmentedSections, fixedText, sectionBudget);
     const renderedPrompt = selected.rendered + footer;
     const promptHash = createHash("sha256").update(renderedPrompt).digest("hex");
     return {
         schemaVersion: PROMPT_ARTIFACT_SCHEMA_VERSION,
         roundId: `loop:${input.state.loopId}:round:${input.state.round}`,
+        round: input.state.round,
         attempt,
         level: input.level,
         renderedPrompt,
         promptHash,
         stateHash,
-        ...(presentedState ? { presentedState } : {}),
+        // v3.8.1: the artifact records what THIS prompt did — which sections it
+        // emitted, which the budget rule dropped, and whether the protected set
+        // overflowed. It records nothing about what a later prompt should do.
+        sections: selected.included,
+        droppedSections: selected.dropped,
+        protectedOverflow: selected.protectedOverflow,
+        budget: sectionBudget,
+        renderedChars: selected.rendered.length,
     };
 }
 //# sourceMappingURL=prompt-assembler.js.map