aiden-runtime 4.6.1 → 4.8.0

package/dist/cli/v4/onboarding/disclaimer.js

@@ -60,9 +60,24 @@ const readline = __importStar(require("node:readline"));
 const banner_1 = require("../../../core/v4/ui/banner");
 const theme_1 = require("../../../core/v4/ui/theme");
 const version_1 = require("../../../core/version");
-const DISCLAIMER_PARA = 'Aiden is a semi-autonomous AI agent that can touch your files, ' +
-    'browser, and shell. Open source — read the code if you want. ' +
-    'Started as a hobby project, built solo, still rough in spots.';
+// v4.8.0 Slice 10c — replaced the single-paragraph prose with two
+// scannable bullet lists (capability + acknowledgments). Legal terms
+// surfaced as a checklist instead of buried inside prose.
+const DISCLAIMER_HEAD = 'Aiden is an autonomous AI engine that runs on your machine. Aiden can:';
+const CAPABILITY_BULLETS = [
+    'Read, write, and modify files on your computer',
+    'Execute shell commands and run code',
+    'Browse the web and interact with online services',
+    'Connect to AI providers using YOUR API keys (BYOK)',
+    'Generate and execute new skills based on your prompts',
+];
+const ACK_HEAD = 'By continuing, you acknowledge:';
+const ACK_BULLETS = [
+    'Aiden operates on your behalf with full local-system access',
+    'You are responsible for outcomes of commands you approve',
+    'Open source under AGPL-3.0 — read the code at github.com/taracodlabs/aiden',
+    'This is beta software, built solo, still rough in spots',
+];
 /**
  * Word-wrap `text` to `width` columns. Preserves single spaces; does
  * not handle ANSI codes (callers pass plain text here).
@@ -97,18 +112,35 @@ function clearScreen(out) {
     out.write('\x1b[2J\x1b[H');
 }
 /**
- * Render the disclaimer body — banner + separator + wrapped paragraph.
- * Pure renderer; caller owns the write.
+ * Render the disclaimer body — v4.8.0 Slice 10c: banner + framed-panel
+ * capability list + acknowledgments. Orange `▎` bar on every line of
+ * the panel matches the rest of v4.8.0 chrome. `▸` bullets keep
+ * capability/ack items scannable rather than buried in prose.
  */
 function renderDisclaimerBody(version) {
     const w = (0, theme_1.termWidth)();
+    const innerW = Math.min(w - 4, 70);
     const body = [];
     body.push((0, banner_1.renderBanner)({ version }));
-    body.push('  ' + (0, theme_1.separator)(Math.min(w - 4, 64)) + '\n');
-    body.push('\n');
-    const indent = '  ';
-    for (const line of wrap(DISCLAIMER_PARA, Math.min(w - 4, 70))) {
-        body.push(indent + theme_1.c.text(line) + '\n');
+    // Slice 10c framed-panel chrome. Orange bar at col 2; content + 2
+    // inner spaces; muted `─` divider between sections.
+    // v4.8.0 Slice 11c — `▎` swapped for `│` (U+2502); same swap as
+    // glyphs.panel.bar in the design tokens.
+    const bar = theme_1.c.primary('│');
+    const divider = theme_1.c.muted('─'.repeat(innerW - 2));
+    const line = (s) => `  ${bar}  ${s}\n`;
+    body.push(line(theme_1.c.text(DISCLAIMER_HEAD)));
+    body.push(line(''));
+    for (const item of CAPABILITY_BULLETS) {
+        body.push(line(theme_1.c.muted('▸ ') + theme_1.c.text(item)));
+    }
+    body.push(line(''));
+    body.push(line(divider));
+    body.push(line(''));
+    body.push(line(theme_1.c.text(ACK_HEAD)));
+    body.push(line(''));
+    for (const item of ACK_BULLETS) {
+        body.push(line(theme_1.c.muted('▸ ') + theme_1.c.text(item)));
     }
     body.push('\n');
     return body.join('');

package/dist/cli/v4/onboarding/loading.js

@@ -86,13 +86,29 @@ async function runLoadingSequence(steps, opts = {}) {
         return { ok: results.every((r) => r.ok), steps: results };
     }
     out.write('\n  ' + theme_1.c.text(heading) + '\n\n');
+    // v4.8.0 Slice 10c — progress bar above the step rows. 10 cells
+    // (●/○) split proportionally across the steps; each completed step
+    // fills floor(10 * (i+1) / N) cells. Uses the same hex-dot glyphs
+    // as the status footer's context bar for visual consistency.
+    const BAR_CELLS = 10;
+    const buildBar = (completed) => {
+        const filled = Math.min(BAR_CELLS, Math.floor((BAR_CELLS * completed) / steps.length));
+        const pct = Math.round((completed / steps.length) * 100);
+        const fillSeg = theme_1.c.primary('●'.repeat(filled));
+        const emptySeg = theme_1.c.muted('○'.repeat(BAR_CELLS - filled));
+        const label = completed < steps.length
+            ? theme_1.c.muted(steps[completed].label + '...')
+            : theme_1.c.muted('done');
+        return `  ${fillSeg}${emptySeg}  ${theme_1.c.text(String(pct).padStart(3) + '%')}   ${label}`;
+    };
+    out.write(buildBar(0) + '\n\n');
     // Pre-paint placeholder rows so the spinner overwrites in place.
     for (const step of steps) {
         const line = '  ' + theme_1.c.muted('·') + ' ' + rpad(step.label, labelCol) +
             ' ' + theme_1.c.muted(lpad('—', statusCol));
         out.write(line + '\n');
     }
-    // Walk back up to the top of the block.
+    // Walk back up to the top of the step block.
     out.write(`\x1b[${steps.length}A`);
     for (let i = 0; i < steps.length; i++) {
         const step = steps[i];
@@ -127,6 +143,13 @@ async function runLoadingSequence(steps, opts = {}) {
             ' ' + lpad(statusText, statusCol) + '  ' + timing;
         out.write('\x1b[2K\r' + row + '\n');
         results.push({ label: step.label, ok, status, ms });
+        // v4.8.0 Slice 10c — repaint the progress bar above the step
+        // block after each step completes. Cursor is currently on the
+        // line below the just-completed step; walk up to the bar line
+        // (steps.length - i - 1 rows of remaining steps + 1 blank line
+        // separator + the bar itself), rewrite, then walk back down.
+        const upCount = (steps.length - i - 1) + 2;
+        out.write(`\x1b[${upCount}A\x1b[2K\r${buildBar(i + 1)}\x1b[${upCount}B\r`);
     }
     out.write('\n  ' + (0, theme_1.separator)(Math.min(w - 4, 64)) + '\n');
     return { ok: results.every((r) => r.ok), steps: results };

package/dist/cli/v4/onboarding/successScreen.js

@@ -47,22 +47,31 @@ function renderSuccessScreen(opts = {}) {
         out.write('setup-complete\n');
         return;
     }
+    // v4.8.0 Slice 10b — Aiden-native framed panel chrome. Each row
+    // carries the orange bar; content (title + examples + closing
+    // hint) preserved verbatim so content-level test assertions hold.
+    // v4.8.0 Slice 11c — `▎` swapped for `│` (U+2502); same swap as
+    // glyphs.panel.bar in the design tokens.
     const w = (0, theme_1.termWidth)();
     const sepW = Math.min(w - 4, 64);
     const narrow = w < 60;
-    out.write('\n  ' + (0, theme_1.separator)(sepW) + '\n');
-    out.write('\n  ' + (0, theme_1.bold)(theme_1.c.primary('All set!')) + '\n');
-    out.write('\n  ' + theme_1.c.text('Aiden is ready. Try these to start:') + '\n');
+    const bar = theme_1.c.primary('│');
+    const divider = theme_1.c.muted('─'.repeat(sepW - 2));
+    const line = (s) => `  ${bar}  ${s}`;
     out.write('\n');
+    out.write(line((0, theme_1.bold)(theme_1.c.primary('All set!'))) + '\n');
+    out.write(line(divider) + '\n');
+    out.write(line(theme_1.c.text('Aiden is ready. Try these to start:')) + '\n');
+    out.write(line('') + '\n');
     if (narrow) {
-        // Compact: a single suggestion line + the muted hello fallback.
-        out.write('  ' + theme_1.c.muted('▸ ') + theme_1.c.accent(examples[0]) + '\n');
+        out.write(line(theme_1.c.muted('▸ ') + theme_1.c.accent(examples[0])) + '\n');
     }
     else {
         for (const ex of examples) {
-            out.write('  ' + theme_1.c.muted('▸ ') + theme_1.c.accent(ex) + '\n');
+            out.write(line(theme_1.c.muted('▸ ') + theme_1.c.accent(ex)) + '\n');
         }
     }
-    out.write('\n  ' + theme_1.c.muted('Or just say hi.') + '\n');
-    out.write('\n  ' + (0, theme_1.separator)(sepW) + '\n\n');
+    out.write(line('') + '\n');
+    out.write(line(theme_1.c.muted('Or just say hi.')) + '\n');
+    out.write('\n');
 }

package/dist/cli/v4/replyRenderer.js

@@ -32,6 +32,8 @@ exports._resetForTests = _resetForTests;
 const marked_1 = require("marked");
 const skinEngine_1 = require("./skinEngine");
 const syntaxHighlight_1 = require("./syntaxHighlight");
+// v4.8.0 Slice 8 — token-sourced bullet glyphs + task-list markers.
+const tokens_1 = require("./design/tokens");
 // v4.1.4 reply-quality polish: single source of truth for frame math.
 // Replaces 3 inline `Math.min(process.stdout.columns ?? 80, 100) - 4`
 // callsites in this file with `getBodyWidth()` and adds soft-wrap for
@@ -131,61 +133,45 @@ function paintBold(kind) {
 const CODE_BG_ON = '\x1b[48;2;50;50;60m';
 const CODE_BG_OFF = '\x1b[49m';
 function renderCodeBlock(code, lang) {
+    // v4.8.0 Slice 9 hotfix — top-divider asymmetric chrome.
+    //
+    //   ── python ─────────────────────────────────────────
+    //     print("Hello, world!")
+    //     greet("Aiden")
+    //
+    // The earlier Slice 9 version used `▎` left-rail on every line and
+    // visually competed with the dark-bg syntax highlighting. This
+    // revision drops the rail, keeps a single muted `──` top divider
+    // with the language label in brand orange, indents body content,
+    // and omits the bottom border (Slice 4 asymmetric signature).
+    // CODE_BG_ON/OFF envelope preserved.
     const sk = (0, skinEngine_1.getSkinEngine)();
-    // v4.1.4 reply-quality polish: width sourced from frame.ts. Same
-    // visual budget as the v4.1.3 formula (cols capped at 100, minus
-    // gutter+2) — but expressed via the shared helper so it tracks any
-    // future width-policy change in one place.
     const width = (0, frame_1.getBodyWidth)();
     const langLabel = (lang ?? '').trim();
-    // v4.1.3-essentials reply-polish: language tag on the top rule
-    // already shipped; keep it. Bottom rule unlabeled (closing fence).
-    const top = langLabel
-        ? `── ${langLabel} ${'─'.repeat(Math.max(0, width - langLabel.length - 4))}`
-        : '─'.repeat(width);
-    const bot = '─'.repeat(width);
     const body = (0, syntaxHighlight_1.isSupportedLang)(langLabel)
         ? (0, syntaxHighlight_1.highlightCode)(code, langLabel)
         : code;
-    // v4.1.4 reply-quality polish: per-line soft wrap. The rail + bg
-    // chrome adds 4 visible columns (` │ `, padding spaces around the
-    // line). Subtract those so wrap math targets the actual content
-    // budget. `hard: true` ensures even pathological long tokens
-    // (minified JS, hashes) break instead of escaping the frame.
-    //
-    // Width inside the body of a code line:
-    //   gutter (3) + `│ ` (2) + leading-space (1) + CONTENT + trailing-space (1)
-    // → content budget = width - gutter - 4. We further cap at width to
-    //   keep the fence rule aligned with the body's right margin.
-    const contentBudget = Math.max(8, width - frame_1.GUTTER - 4);
-    // v4.1.3-essentials reply-polish (preserved): each body line gets:
-    //   - frame gutter (was 2-space outer indent; now uses shared GUTTER)
-    //   - left rail `│ ` painted muted (mirrors blockquote's `┃ ` rail
-    //     with a different glyph so they're visually distinct)
-    //   - 24-bit dark background wrapping the rail + content (subtle
-    //     "this is code" affordance without going full TUI box-frame)
-    const rail = sk.applyColors('│', 'muted');
-    const gutter = (0, frame_1.getIndent)(0);
-    // Wrap each source line independently — code-block semantics demand
-    // that a "logical line" remains visible as one continued unit even
-    // when soft-wrapped. The CODE_BG painting closes per VISUAL line so
-    // a wrap break doesn't bleed bg across the rail of the next row.
+    const indent = '  ';
+    const hLine = tokens_1.glyphs.chrome.hLine;
+    // Top divider: `── <lang> ─────` (lang in brand) OR full-width
+    // `────────────` when no language declared.
+    const top = langLabel
+        ? `${indent}${sk.applyColors(`${hLine.repeat(2)} `, 'muted')}` +
+            `${sk.applyColors(langLabel, 'brand')}` +
+            ` ${sk.applyColors(hLine.repeat(Math.max(1, width - langLabel.length - 4)), 'muted')}`
+        : `${indent}${sk.applyColors(hLine.repeat(width), 'muted')}`;
+    // Body content lands at col 4 (4-space indent inside the divider).
+    // Width budget: leave room for body indent + CODE_BG envelope spaces.
+    const bodyIndent = '    ';
+    const contentBudget = Math.max(8, width - 6);
     const wrappedLines = [];
     for (const srcLine of body.split('\n')) {
         const wrapped = (0, frame_1.wrap)(srcLine, contentBudget, { trim: false, hard: true });
         for (const visualLine of wrapped.split('\n')) {
-            wrappedLines.push(`${gutter}${rail} ${CODE_BG_ON} ${visualLine} ${CODE_BG_OFF}`);
+            wrappedLines.push(`${bodyIndent}${CODE_BG_ON} ${visualLine} ${CODE_BG_OFF}`);
         }
     }
-    const indented = wrappedLines.join('\n');
-    // Top + bottom fence rules sit at the gutter too — visually anchors
-    // the block as a unit inside the assistant frame.
-    return [
-        `${gutter}${sk.applyColors(top, 'muted')}`,
-        indented,
-        `${gutter}${sk.applyColors(bot, 'muted')}`,
-        '',
-    ].join('\n') + '\n';
+    return [top, ...wrappedLines].join('\n') + '\n';
 }
 /**
  * Render a block quote with a `┃` left rail in muted colour.
@@ -337,7 +323,16 @@ function renderListItemTokens(it, parser) {
         // block parser handles these via the normal dispatch (which calls
         // back into our own `renderer.list` override for nested lists —
         // depth counter is already incremented before we got here).
+        //
+        // v4.8.0 Slice 8 hotfix — ensure inline text and following block
+        // tokens are separated by a newline. Without this, a tight-list
+        // item like `- Python` followed by a nested `- Django` collapses
+        // to `● Python    ○ Django` on a single line because head/tail
+        // split in renderer.list takes only the first line as `head`.
         if (parser.parse) {
+            if (out.length > 0 && !out[out.length - 1].endsWith('\n')) {
+                out.push('\n');
+            }
             out.push(parser.parse([tk]));
             continue;
         }
@@ -535,6 +530,10 @@ function getReplyRenderer() {
         let isOrdered = false;
         let startNum = 1;
         let items;
+        // v4.8.0 Slice 8 — task/checked flags collected alongside items so
+        // the marker dispatch below can pick ✔ (checked) or ○ (unchecked).
+        // Default false (not a task) so the bullet path stays unchanged.
+        let itemTasks = [];
         // CRITICAL: increment depth BEFORE walking items. Item walking via
         // `parser.parse(it.tokens)` recurses into our own override for any
         // nested list tokens — those nested calls need to see the parent's
@@ -570,10 +569,14 @@ function getReplyRenderer() {
             // Confirmed against marked v15 token shapes from `marked.lexer`
             // (see scripts/smoke-issue-c-tokens.ts).
             const parser = this.parser;
-            items = (tok.items ?? []).map((it) => {
-                if (!parser)
-                    return it.text ?? '';
-                return renderListItemTokens(it, parser);
+            // v4.8.0 Slice 8 — capture GFM task/checked flags alongside the
+            // rendered text so the marker dispatch below can pick the right
+            // glyph (✔ checked / ○ unchecked) for task-list items.
+            const rawItems = tok.items ?? [];
+            items = rawItems.map((it) => parser ? renderListItemTokens(it, parser) : (it.text ?? ''));
+            itemTasks = rawItems.map((it) => {
+                const itx = it;
+                return { task: itx.task === true, checked: itx.checked === true };
             });
         }
         else {
@@ -587,20 +590,33 @@ function getReplyRenderer() {
             items = raw.split('\n').filter((ln) => ln.trim().length > 0);
         }
         const indent = '  '.repeat(depth);
-        // Top-level bullet `•` (filled); nested `▸` (arrow-like) for
-        // visual depth differentiation. Numbered lists override with
-        // `N.` regardless of depth.
-        const bulletGlyph = depth === 1 ? '•' : '▸';
+        // v4.8.0 Slice 8 — token-sourced bullet glyphs. Top-level (depth 1)
+        // uses filled `●`, nested (depth ≥ 2) uses hollow `○`. Both painted
+        // brand orange to give lists visual identity (was `muted` grey).
+        const bulletGlyph = depth === 1 ? tokens_1.glyphs.util.bullet : tokens_1.glyphs.util.bulletOpen;
         const lines = [];
         for (let i = 0; i < items.length; i += 1) {
             const item = items[i];
-            // Each item may itself contain newlines (nested list output,
-            // multi-line paragraph). Indent every line of the rendered
-            // item AFTER the first — the first line takes the bullet, the
-            // continuation lines align under the bullet's content column.
-            const marker = isOrdered
-                ? paint('muted')(`${startNum + i}.`)
-                : paint('muted')(bulletGlyph);
+            const task = itemTasks[i] ?? { task: false, checked: false };
+            // v4.8.0 Slice 8 — marker dispatch:
+            //   • GFM checked task → ✔ in semantic success (green)
+            //   • GFM unchecked task → ○ in tertiary dim (looks incomplete)
+            //   • Ordered list → `N.` right-padded to 3 cols, brand orange
+            //   • Bullet → ●/○ by depth, brand orange
+            let marker;
+            if (task.task && task.checked) {
+                marker = paint('success')(tokens_1.glyphs.util.check);
+            }
+            else if (task.task) {
+                marker = paint('tertiary')(tokens_1.glyphs.util.bulletOpen);
+            }
+            else if (isOrdered) {
+                const numStr = `${startNum + i}.`.padStart(3);
+                marker = paint('brand')(numStr);
+            }
+            else {
+                marker = paint('brand')(bulletGlyph);
+            }
             const itemLines = item.split('\n');
             const head = itemLines[0] ?? '';
             const tail = itemLines.slice(1);

package/dist/cli/v4/setupWizard.js

@@ -47,6 +47,8 @@ const box_1 = require("./box");
 // the cost of broken unit tests under the test runtime.
 const successScreen_1 = require("./onboarding/successScreen");
 const providerPicker_1 = require("./onboarding/providerPicker");
+// v4.8.0 Slice 10b — bar + chrome tokens for step headers.
+const tokens_1 = require("./design/tokens");
 const modelFetch_1 = require("../../core/v4/providers/modelFetch");
 const probe_1 = require("../../core/v4/providers/probe");
 // Phase 30.2.1 — provider order optimised for new-user time-to-first-chat.
@@ -537,8 +539,19 @@ async function runSetupWizard(opts = {}) {
     if (opts.prompts) {
         display.printBanner();
     }
-    display.write('\nWelcome — let\'s pick a provider.\n');
-    display.write(`${kleur_1.default.dim('(Press Enter to accept Groq — free + fastest setup.)')}\n\n`);
+    // v4.8.0 Slice 10b — step-header helper. Each major wizard step
+    // starts with `  ▎ Set up Aiden  step N` painted with the orange
+    // panel bar so the flow visually consistent with /help and the
+    // approval panel. Inquirer widgets render below unchanged.
+    const stepHeader = (n) => {
+        const bar = display.applyColors(tokens_1.glyphs.panel.bar, 'brand');
+        const title = display.applyColors('Set up Aiden', 'heading');
+        const sub = display.applyColors(`step ${n}`, 'muted');
+        return `\n  ${bar}  ${title}  ${sub}\n`;
+    };
+    display.write(stepHeader(1));
+    display.write('  Welcome — let\'s pick a provider.\n');
+    display.write(`  ${kleur_1.default.dim('(Press Enter to accept Groq — free + fastest setup.)')}\n\n`);
     // Phase 30.2.1 — Groq is the new recommended default for first-time
     // users: free tier, fastest signup, and avoids the surprise charge
     // path of paid providers. Together AI moved to position [8] paid.
@@ -695,6 +708,9 @@ async function runSetupWizard(opts = {}) {
         // anyway, so the reorder bought nothing there. Existing test
         // fixtures provide inputs in legacy order; preserving custom's
         // order keeps them green.
+        if (provider.kind === 'key' || provider.kind === 'subscription' || provider.kind === 'local') {
+            display.write(stepHeader(2));
+        }
         let apiKey;
         let baseUrl;
         if (provider.kind === 'local') {
@@ -713,6 +729,7 @@ async function runSetupWizard(opts = {}) {
         }
         // provider.kind === 'custom' — defer credential prompts until AFTER
         // the model picker below.
+        display.write(stepHeader(3));
         // Step 3: live model fetch + pick.
         //
         // Test-harness gate: when the caller injected `opts.prompts` (only

package/dist/cli/v4/skinEngine.js

@@ -66,6 +66,13 @@ const DEFAULT_SKIN = {
         // (which shares the colour) so callers can differentiate in code
         // even though they render identically.
         degraded: [0xff, 0xc1, 0x07],
+        // v4.8.0 Slice 7 hotfix #2 — purple accent for the turn-counter
+        // segment (⌘) in the status footer. #a48be0 reads as a soft
+        // lavender that doesn't compete with brand orange.
+        metric_turn: [0xa4, 0x8b, 0xe0],
+        // v4.8.0 Slice 8 — tertiary dim grey, dimmer than `muted` (warm
+        // tint) for lowest-priority text like unchecked task markers.
+        tertiary: [0x6a, 0x6a, 0x6a],
     },
     glyphs: {
         bullet: '•',
@@ -99,6 +106,10 @@ const LIGHT_SKIN = {
         heading: [0xc4, 0x42, 0x10],
         session: [0x00, 0x55, 0x88],
         degraded: [0x80, 0x60, 0x00],
+        // Slice 7 hotfix #2 — deeper purple on light bg keeps contrast budget.
+        metric_turn: [0x6e, 0x50, 0xaa],
+        // Slice 8 — lighter grey on light bg keeps the dim-but-readable feel.
+        tertiary: [0x9a, 0x9a, 0x9a],
     },
     glyphs: { ...DEFAULT_SKIN.glyphs },
 };
@@ -118,6 +129,8 @@ const MONOCHROME_SKIN = {
         heading: null,
         session: null,
         degraded: null,
+        metric_turn: null,
+        tertiary: null,
     },
     glyphs: {
         bullet: '*',

package/dist/cli/v4/table.js

@@ -23,6 +23,7 @@ exports.renderTable = renderTable;
 const stringWidth = require('string-width');
 const skinEngine_1 = require("./skinEngine");
 const box_1 = require("./box");
+const tokens_1 = require("./design/tokens");
 /**
  * Visible (post-ANSI-strip) column width. Falls back to
  * `visibleLength` from box.ts when string-width is unavailable
@@ -167,13 +168,32 @@ function renderTable(rows, cols, opts = {}) {
             }
         }
     }
-    // Border characters (sharp ASCII).
-    const TL = '┌', TR = '┐', BL = '└', BR = '┘';
-    const T = '┬', B = '┴', L = '├', R = '┤';
-    const X = '┼', H = '─', V = '│';
+    // Border characters — token-sourced from design/tokens.ts (v4.8.0 Slice 3).
+    const { topLeft: TL, topRight: TR, botLeft: BL, botRight: BR } = tokens_1.glyphs.chrome;
+    const { teeDown: T, teeUp: B, teeRight: L, teeLeft: R } = tokens_1.glyphs.chrome;
+    const { cross: X, hLine: H, vLine: V } = tokens_1.glyphs.chrome;
     const ind = ' '.repeat(indent);
-    // Top border.
-    const top = TL + widths.map((w) => H.repeat(w + 2)).join(T) + TR;
+    // Total inner content width across all cells + inner separators.
+    // Used by title-embedded top border + page footer.
+    const innerWidth = widths.reduce((s, w) => s + w + 2, 0) + (numCols - 1);
+    // v4.8.0 Slice 3 — top border with optional embedded title + count.
+    // Format: `┌─ title ──────────── totalCount ──┐`
+    // Pads the centre with `─` so the right edge stays aligned regardless
+    // of title / count length. Falls back to the legacy plain top border
+    // when neither field is supplied.
+    let top;
+    if (opts.title || opts.totalCount) {
+        const titleText = opts.title ? ` ${opts.title} ` : '';
+        const countText = opts.totalCount ? ` ${opts.totalCount} ` : '';
+        const fixed = vWidth(titleText) + vWidth(countText);
+        const filler = Math.max(0, innerWidth - fixed);
+        const titlePainted = opts.title ? skin.applyColors(titleText, 'heading') : '';
+        const countPainted = opts.totalCount ? skin.applyColors(countText, 'muted') : '';
+        top = TL + H + titlePainted + H.repeat(filler) + countPainted + H + TR;
+    }
+    else {
+        top = TL + widths.map((w) => H.repeat(w + 2)).join(T) + TR;
+    }
     // Header row — heading colour, padded. Truncate first if the
     // header itself is wider than the allocated width (rare, but
     // keeps borders aligned under aggressive narrow-width pressure).
@@ -203,13 +223,50 @@ function renderTable(rows, cols, opts = {}) {
         });
         bodyLines.push(V + cells.join(V) + V);
     });
-    // Bottom border.
-    const bot = BL + widths.map((w) => H.repeat(w + 2)).join(B) + BR;
+    // v4.8.0 Slice 3 — pagination footer above the bottom border. Renders
+    // `← prev · page X/Y · next →` centred inside the inner width. Side
+    // arrows are dim when the page is at the edge so users can read
+    // "at-end" cleanly. Caller wires hotkeys; we just paint the chrome.
+    let pageFooter = null;
+    if (opts.page) {
+        const { current, total } = opts.page;
+        const atStart = current <= 1;
+        const atEnd = current >= total;
+        const leftKind = atStart ? 'muted' : 'session';
+        const rightKind = atEnd ? 'muted' : 'session';
+        const left = skin.applyColors('← prev', leftKind);
+        const mid = skin.applyColors(`page ${current}/${total}`, 'muted');
+        const right = skin.applyColors('next →', rightKind);
+        const sep = skin.applyColors(' · ', 'muted');
+        const body = `${left}${sep}${mid}${sep}${right}`;
+        const bodyW = vWidth('← prev') + vWidth(` · page ${current}/${total} · `) + vWidth('next →');
+        const padW = Math.max(0, innerWidth - bodyW);
+        const lpad = Math.floor(padW / 2);
+        const rpad = padW - lpad;
+        pageFooter = V + ' '.repeat(lpad) + body + ' '.repeat(rpad) + V;
+    }
+    // Bottom border. Skip the inner tees when the title-style top was
+    // used (legacy plain bottom keeps column alignment for un-titled
+    // tables; a title-only border on top reads cleanest with a plain
+    // bottom mirror).
+    const bot = (opts.title || opts.totalCount)
+        ? BL + H.repeat(innerWidth) + BR
+        : BL + widths.map((w) => H.repeat(w + 2)).join(B) + BR;
+    // v4.8.0 Slice 3 — empty-state path. Borders stay so the layout
+    // weight matches a populated table; the body is one centered line.
+    if (rows.length === 0 && opts.emptyMessage) {
+        const msg = skin.applyColors(opts.emptyMessage, 'muted');
+        const pad = Math.max(0, innerWidth - vWidth(opts.emptyMessage));
+        const lpad = Math.floor(pad / 2);
+        const emptyRow = V + ' '.repeat(lpad) + msg + ' '.repeat(pad - lpad) + V;
+        return [top, emptyRow, bot].map((l) => ind + l).join('\n') + '\n';
+    }
     const allLines = [
         top,
         headerRow,
         ...(showRule ? [rule] : []),
         ...bodyLines,
+        ...(pageFooter ? [pageFooter] : []),
         bot,
     ].map((l) => ind + l);
     return allLines.join('\n') + '\n';

package/dist/core/v4/aidenAgent.js

@@ -166,6 +166,7 @@ class AidenAgent {
         this.resolveVerifiedFlag = opts.resolveVerifiedFlag;
         this.resolveToolset = opts.resolveToolset;
         this.resolveMutates = opts.resolveMutates;
+        this.resolveUiOnly = opts.resolveUiOnly;
         this.promptBuilder = opts.promptBuilder;
         this.promptBuilderOptions = opts.promptBuilderOptions;
         this.contextCompressor = opts.contextCompressor;
@@ -372,25 +373,21 @@ class AidenAgent {
         // 8. Run the tool-calling loop.
         const loopResult = await this.runTurnLoop(messages, narrowedTools, trackers, options);
         // 9. Honesty post-loop scan (only if loop ended with a normal stop).
+        //
+        // v4.7.0 Phase 2.3 — the verifier now records deterministic
+        // outcome events from `toolCallTrace` (not regex over the
+        // assistant's text). When `findings.length > 0` AND mode is
+        // `enforce`, it returns an append-only `footer` we concatenate
+        // to `finalContent`. The model's text is NEVER rewritten —
+        // that was the v4.6.x failure mode this verifier replaces.
         let honestyFindings;
         let finalContent = loopResult.finalContent;
         if (this.honestyEnforcement && loopResult.finishReason === 'stop') {
             try {
                 const scan = await this.honestyEnforcement.check(finalContent, loopResult.messages, loopResult.toolCallTrace);
-                if (!scan.passed) {
-                    honestyFindings = scan.findings;
-                    if (scan.correctedResponse) {
-                        finalContent = scan.correctedResponse;
-                        // Reflect the corrected text in the message history too so
-                        // /debug-prompt and /usage agree on the final string.
-                        for (let i = loopResult.messages.length - 1; i >= 0; i--) {
-                            const m = loopResult.messages[i];
-                            if (m.role === 'assistant' && (!m.toolCalls || m.toolCalls.length === 0)) {
-                                loopResult.messages[i].content = finalContent;
-                                break;
-                            }
-                        }
-                    }
+                honestyFindings = scan.findings;
+                if (scan.footer) {
+                    finalContent = `${finalContent}\n\n${scan.footer}`;
                 }
             }
             catch {
@@ -843,6 +840,28 @@ class AidenAgent {
                     finalContent = '';
                     break;
                 }
+                // v4.8.0 — uiOnly tools are signal channels, not executable
+                // tools. The model calls them to communicate render-time
+                // state. Dispatch loop skips execute / iteration / mutation
+                // marking / verifier / trace / observability hooks and fires
+                // onUiEvent on the caller. A '(no output)' tool_result is
+                // pushed to satisfy the provider protocol (every tool_call_id
+                // needs a matching tool_result). Listener exceptions are
+                // swallowed so a bad UI handler cannot break the turn.
+                if (this.resolveUiOnly?.(call.name) === true) {
+                    turnToolMessages.push({
+                        role: 'tool',
+                        toolCallId: call.id,
+                        content: '(no output)',
+                    });
+                    try {
+                        runOptions.onUiEvent?.(call.name, call.arguments);
+                    }
+                    catch {
+                        // defensive — UI listener faults must never break dispatch
+                    }
+                    continue;
+                }
                 this.onToolCall?.(call, 'before');
                 // v4.2 Phase 4 — mark any active checkpoints as containing a
                 // mutating call BEFORE dispatch. Done pre-dispatch (not post)
@@ -970,6 +989,15 @@ class AidenAgent {
                     result: result.result,
                     error: result.error,
                     verified: this.resolveVerifiedFlag?.(result),
+                    // v4.7.0 Phase 2.3 — stamp the handler's `mutates` flag
+                    // at dispatch time so the post-loop honesty verifier can
+                    // distinguish mutating vs read-only failures without
+                    // needing a registry handle. Defaults to `false` for
+                    // unknown tools (the resolver returns undefined) — read-
+                    // only tools that error are surfaced via the tool-trail
+                    // row already; the verifier deliberately stays quiet
+                    // about them.
+                    handlerMutates: this.resolveMutates?.(call.name) ?? false,
                     // v4.2 Phase 1 — verification surfaces alongside the trace
                     // entry for downstream callers (chatSession, loopTrace,
                     // future RecoveryReport). Undefined when TCE is off.