aiki-cli 0.3.0 → 0.3.2

package/dist/tui/app.js

@@ -23,7 +23,7 @@ import { computeDiff, computeWorkingTreeDiff, detectRepoStatus } from '../orches
 import { loadCouncilView } from '../council/view.js';
 import { openCouncilHtml } from '../council/open.js';
 import { readJsonArtifact } from '../storage/runs-read.js';
-import { defaultBudgetFor } from '../orchestration/modes.js';
+import { defaultBudgetFor, defaultDeadlineFor, inferIdeaMode } from '../orchestration/modes.js';
 import { GLYPH, displayNames, elapsedLabel, initTimeline, markEnd, markStart, progressBar, runningPhrase, totalElapsed } from './timeline.js';
 import { formatCompletion, formatError } from './format.js';
 import { COMMANDS, PRODUCT_LINE, filterCommands, parseCommand, routeInput, scopeRedirect, suggestCommand } from './smart-entry.js';
@@ -260,7 +260,20 @@ export function App(props) {
                 setPhase('clarify');
             }),
         };
-        const ctx = new RunCtx({ runId, workflow: wf, mode, handles, roles: rs, writer, cwd: cwd ?? writer.dir, budget: budgetOverride, signal: controller.signal, events, replay });
+        const ctx = new RunCtx({
+            runId,
+            workflow: wf,
+            mode,
+            handles,
+            roles: rs,
+            writer,
+            cwd: cwd ?? writer.dir,
+            budget: budgetOverride,
+            deadlineMs: defaultDeadlineFor(wf, mode),
+            signal: controller.signal,
+            events,
+            replay,
+        });
         ctxRef.current = ctx;
         setWorkflow(wf);
         setRows(initTimeline(stages, rs, available));
@@ -286,7 +299,9 @@ export function App(props) {
             setPhase('finished');
         });
     };
-    const startIdea = (text) => startRun('idea-refinement', text, null, runIdeaRefinement, IDEA_STAGES);
+    const startIdea = (text) => {
+        startRun('idea-refinement', text, null, runIdeaRefinement, IDEA_STAGES, undefined, inferIdeaMode(text));
+    };
     const startCodeReview = async (action) => {
         if (!repo || !repo.defaultBranch) {
             setRouterMessage('code review needs a git repo with a detectable default branch');
@@ -447,7 +462,7 @@ export function App(props) {
                                     : _jsx(Text, { color: "yellow", children: _jsx(Spinner, { type: "dots" }) }), ' ', line ? line.label : `${DISPLAY_NAME[id]} — checking…`, line?.fix ? _jsxs(Text, { dimColor: true, children: ["  \u2192  ", line.fix] }) : null] }, id));
                     }), preflightFail && (_jsxs(Box, { flexDirection: "column", marginTop: 1, children: [_jsxs(Text, { color: "red", bold: true, children: ["preflight failed \u2014 ", preflightFail.ready, "/3 providers ready (aiki needs 2)"] }), _jsx(Text, { dimColor: true, children: "apply the fix shown next to each \u2716, then run `aiki` again \u00B7 `aiki doctor --fresh` re-checks live \u00B7 q quits" })] }))] })), (phase === 'input' || phase === 'running' || phase === 'grill' || phase === 'clarify' || phase === 'finished') && handles.length > 0 && (_jsxs(Box, { flexDirection: "column", marginTop: 1, children: [repo && (_jsxs(Text, { children: ["repo: ", repo.name, " \u2014 ", repo.changedFiles, " changed files vs ", repo.defaultBranch ?? 'unknown default branch'] })), _jsxs(Text, { children: [handles.map((h, i) => (_jsxs(Text, { children: [i > 0 ? _jsx(Text, { dimColor: true, children: " \u00B7 " }) : null, _jsx(Text, { color: "green", children: "\u2714" }), " ", DISPLAY_NAME[h.id], h.version ? _jsxs(Text, { dimColor: true, children: [" ", h.version] }) : null] }, h.id))), _jsx(Text, { dimColor: true, children: " \u2014 council ready" })] }), degraded.length > 0 && (_jsxs(Text, { color: "yellow", children: ["\u26A0 ", degraded.map((line) => `${line.label}${line.fix ? ` (${line.fix})` : ''}`).join(' · '), " \u2014 continuing with ", Math.max(handles.length - degraded.length, 0), "/3 providers"] }))] })), phase === 'input' && (_jsxs(Box, { flexDirection: "column", marginTop: 1, children: [_jsxs(Box, { flexDirection: "column", marginBottom: 1, children: [_jsxs(Text, { children: [_jsx(Text, { color: "cyan", children: "/idea " }), _jsx(Text, { dimColor: true, children: '<text>' }), '   stress-test an idea'] }), _jsxs(Text, { children: [_jsx(Text, { color: "cyan", children: "/review " }), _jsx(Text, { dimColor: true, children: "[--branch]" }), '  review your changes', repo ? '' : _jsx(Text, { dimColor: true, children: "  (needs a git repo)" })] }), _jsxs(Text, { children: [_jsx(Text, { color: "cyan", children: "/resume " }), _jsx(Text, { dimColor: true, children: '<id>' }), '   continue a stopped run  ·  ', _jsx(Text, { color: "cyan", children: "/sessions" }), '  ', _jsx(Text, { color: "cyan", children: "/models" }), '  ', _jsx(Text, { color: "cyan", children: "/config" }), '  ', _jsx(Text, { color: "cyan", children: "/help" })] })] }), pendingIdea !== null ? (
                     /* V10 confirm gate — nothing spends model calls until Enter. */
-                    _jsxs(Box, { flexDirection: "column", borderStyle: "round", paddingX: 1, children: [_jsx(Text, { children: "Run the idea council on:" }), _jsxs(Text, { color: "cyan", children: ["  \u201C", pendingIdea.length > 100 ? `${pendingIdea.slice(0, 97)}…` : pendingIdea, "\u201D"] }), _jsxs(Text, { dimColor: true, children: ["  10-stage pipeline \u00B7 up to ", budgetOverride ?? defaultBudgetFor('idea-refinement', 'council'), " model calls \u00B7 Ctrl+C aborts mid-run"] }), _jsxs(Text, { children: [_jsx(Text, { color: "green", children: "enter" }), " run  \u00B7  ", _jsx(Text, { color: "yellow", children: "esc" }), " cancel"] })] })) : (_jsxs(_Fragment, { children: [_jsx(Text, { dimColor: true, children: "Type a command, or just describe your idea and press Enter:" }), _jsxs(Box, { borderStyle: "round", paddingX: 1, children: [_jsx(Text, { children: "\u25B8 " }), _jsx(TextInput, { value: idea, onChange: (v) => setIdea(v.replace(/\s*[\r\n]+\s*/g, ' ').replace(/\t/g, '')), onSubmit: submitInput }, inputEpoch)] })] })), paletteMatches.length > 0 && (
+                    _jsxs(Box, { flexDirection: "column", borderStyle: "round", paddingX: 1, children: [_jsx(Text, { children: "Run the idea council on:" }), _jsxs(Text, { color: "cyan", children: ["  \u201C", pendingIdea.length > 100 ? `${pendingIdea.slice(0, 97)}…` : pendingIdea, "\u201D"] }), _jsxs(Text, { dimColor: true, children: ["  10-stage pipeline \u00B7 ", inferIdeaMode(pendingIdea), " mode \u00B7 up to ", budgetOverride ?? defaultBudgetFor('idea-refinement', inferIdeaMode(pendingIdea)), " model calls \u00B7 Ctrl+C aborts mid-run"] }), _jsxs(Text, { children: [_jsx(Text, { color: "green", children: "enter" }), " run  \u00B7  ", _jsx(Text, { color: "yellow", children: "esc" }), " cancel"] })] })) : (_jsxs(_Fragment, { children: [_jsx(Text, { dimColor: true, children: "Type a command, or just describe your idea and press Enter:" }), _jsxs(Box, { borderStyle: "round", paddingX: 1, children: [_jsx(Text, { children: "\u25B8 " }), _jsx(TextInput, { value: idea, onChange: (v) => setIdea(v.replace(/\s*[\r\n]+\s*/g, ' ').replace(/\t/g, '')), onSubmit: submitInput }, inputEpoch)] })] })), paletteMatches.length > 0 && (
                     /* V10 live command palette — filtered as you type; ↑↓ move, Tab completes, Enter runs. */
                     _jsxs(Box, { flexDirection: "column", borderStyle: "round", paddingX: 1, children: [paletteMatches.map((m, i) => (_jsxs(Text, { children: [_jsxs(Text, { color: i === selIdx ? 'cyan' : undefined, bold: i === selIdx, children: [i === selIdx ? '▸ ' : '  ', "/", m.name] }), _jsx(Text, { dimColor: true, children: `  ${m.usage.replace(`/${m.name}`, '').trim().padEnd(10)}  ${m.help}` })] }, m.name))), _jsx(Text, { dimColor: true, children: "\u2191\u2193 select \u00B7 tab complete \u00B7 enter run" })] })), routerMessage ? _jsx(Text, { color: "yellow", children: routerMessage }) : null, panel ? (_jsx(Box, { flexDirection: "column", marginTop: 1, borderStyle: "round", paddingX: 1, children: panel.split('\n').map((l, i) => (_jsx(Text, { children: l }, i))) })) : (_jsx(Text, { dimColor: true, children: "new here? /help explains how aiki works \u00B7 long idea? `aiki run idea-refinement ./idea.md`" }))] })), (phase === 'running' || phase === 'grill' || phase === 'clarify' || phase === 'finished') && rows.length > 0 && (_jsxs(Box, { flexDirection: "column", marginTop: 1, children: [rows.map((r) => {
                         const color = r.status === 'done' ? 'green' : r.status === 'failed' ? 'red' : r.status === 'running' ? 'yellow' : 'gray';

package/dist/workflows/idea-refinement.js

@@ -15,6 +15,7 @@ import { loadSkill } from '../orchestration/skills.js';
 import { buildLanePrompts } from '../orchestration/idea-lanes.js';
 import { preflight, renderDecisionInput } from '../orchestration/preflight.js';
 import { buildQuickPrompt, quickActionPlan, quickJudgeReport, s4QuickAnalyze } from '../orchestration/quick-analysis.js';
+import { snapshotUrlSources } from '../orchestration/url-sources.js';
 /** Idea-vetting core rubric: 13 mandatory coverage items. S0 adds 3-5 domain dimensions per run.
  *  Inlined here (like the S4 template) while the skill/`rubric.json` loader (§11)
  *  is deferred; it moves to skills/idea-refinement/rubric.json when that loader lands. */
@@ -41,7 +42,7 @@ export function buildIdeaRubric(domainDimensions = []) {
 }
 /** Idea S4 analyst template. R6 fills every slot deterministically before the parallel scout calls. */
 export const IDEA_S4_ANALYST_TEMPLATE = `ROLE: Independent analyst on a decision panel. You work ALONE; you will not see
-other analysts' output. Be adversarial toward the idea, not polite.
+other analysts' output. Improve the strongest version and pressure-test it honestly within your assigned lane.
 
 TASK CONTRACT: {{INTENT_CONTRACT_JSON}}
 INPUT DOCUMENT: read the file at {{INPUT_PATH}}{{SKILL}}
@@ -53,7 +54,10 @@ Produce ONLY JSON matching {{S4_SCHEMA_REF}} with:
 - task_echo: restate the task in ≤2 sentences (drift check).
 - strongest_version: the best honest version of this idea in ≤150 words.
 - positions: explicit claim positions with local_id, proposition, rubric dimension_id, stance
-  SUPPORT|OPPOSE|MIXED|UNKNOWN, basis EVIDENCE|INFERENCE|ASSUMPTION, load_bearing, if_false
+  SUPPORT|OPPOSE|MIXED|UNKNOWN, basis EVIDENCE|INFERENCE|ASSUMPTION, nature FACTUAL when the position
+  asserts something independently checkable about the world (rules, deadlines, prices, observed CLI
+  behavior, published numbers) or JUDGMENT for a design choice, recommendation, prioritization, or
+  prediction (when unsure use JUDGMENT), load_bearing, if_false
   STOP|PIVOT|CONDITION|MINOR, concise reasoning, evidence_ids, and depends_on position ids.
 - evidence: evidence cards {id, claim_supported, source_kind USER|PRIMARY|SECONDARY|MODEL_KNOWLEDGE,
   support SUPPORTS|CONTRADICTS|CONTEXT_ONLY (exact token, no extra words), freshness CURRENT|DATED|UNKNOWN,
@@ -65,8 +69,11 @@ Produce ONLY JSON matching {{S4_SCHEMA_REF}} with:
 - coverage: one entry per rubric dimension {dimension_id, status COVERED|NOT_APPLICABLE,
   position_ids ([] when none), rationale (required for NOT_APPLICABLE)}.
 - decision_questions: questions {question, claim_ids} whose answers could change the verdict.
-Caps: at most 12 positions, 20 evidence cards, 8 calculations, 8 decision_questions.
-Rules: no motivation, no summaries of your own output, no markdown, JSON only.`;
+- deliverable_proposals: when requested_outputs includes FEATURE_BACKLOG or IMPLEMENTATION_PLAN, propose
+  concrete user-facing work as {output,title,detail,user_value,why_distinctive,evidence_ids}; otherwise [].
+  Proposals are recommendations, not factual claims. Use evidence_ids only when evidence directly supports them.
+Caps: at most 12 positions, 20 evidence cards, 8 calculations, 8 decision_questions, 8 deliverable_proposals.
+Rules: no unsupported hype, no summaries of your own output, no markdown, JSON only.`;
 /**
  * Resolve the {{SKILL}} slot before deterministic structural fill. An empty skill collapses the slot
  * to the pre-skill baseline.
@@ -76,11 +83,11 @@ export function buildAnalystTemplate(skill) {
 }
 /** R6 deterministic S4 prompt fill. No model-authored prompt generation remains. */
 export function buildAnalystPrompt(contract, inputPath, evidencePack, mode, skill) {
-    const modeRules = mode === 'research'
-        ? `\n\nMODE: research. Use provider-native read-only source investigation when available. Every current
+    const modeRules = mode !== 'quick'
+        ? `\n\nMODE: full council. Use provider-native read-only source investigation when available. Every current
 fact must have an independently checkable locator and access date. If investigation is unavailable,
 leave the claim unverified; never invent a source.`
-        : `\n\nMODE: council. Analyze independently; do not assume another seat will cover your lane.`;
+        : `\n\nMODE: quick. Analyze independently and keep unsupported claims visibly unverified.`;
     const prompt = buildAnalystTemplate(skill)
         .replace('{{INTENT_CONTRACT_JSON}}', JSON.stringify(contract))
         .replace('{{INPUT_PATH}}', inputPath)
@@ -106,14 +113,45 @@ export const IDEA_STAGES = [
     { id: 'S9b', label: 'Validation plan', role: 'judge' },
     { id: 'S10', label: 'Report', role: null },
 ];
+/** Record guarantees observed at the surviving typed S4 boundary; never infer them from prompts. */
+export function recordIdeaOutcomeFlags(ctx, contract, seats) {
+    if (ctx.mode === 'quick')
+        return;
+    const requested = (contract.requested_outputs ?? [])
+        .filter((output) => output === 'FEATURE_BACKLOG' || output === 'IMPLEMENTATION_PLAN');
+    if (requested.some((output) => seats.some((seat) => !seat.output.deliverable_proposals.some((proposal) => proposal.output === output)))) {
+        ctx.addFlag('deliverable_gap');
+    }
+    const grounded = seats.some((seat) => {
+        const cited = new Set(seat.output.positions.flatMap((position) => position.evidence_ids));
+        return seat.output.evidence.some((card) => cited.has(card.id)
+            && (card.source_kind === 'PRIMARY' || card.source_kind === 'SECONDARY')
+            && card.freshness === 'CURRENT'
+            && Boolean(card.accessed_at && (card.url || card.locator))
+            && card.support !== 'CONTEXT_ONLY');
+    });
+    if (!grounded)
+        ctx.addFlag('research_ungrounded');
+}
 /** Runs the full idea-refinement pipeline S0–S10. Throws on any fatal condition; the engine's
  *  `executeRun` wrapper turns that into a graceful failure + meta. Each stage is wrapped in
  *  `runStage` so the TUI timeline (T8) gets start/end events; headless, that's a no-op. */
 export async function runIdeaRefinement(ctx, input) {
     if (ctx.evidencePack)
         await ctx.writer.writeInput('evidence-pack.json', JSON.stringify(ctx.evidencePack, null, 2));
-    const { contract, brief } = await runStage(ctx, 'S0', () => preflight(ctx, input, IDEA_RUBRIC.map((item) => item.label)));
-    const grilledInput = renderDecisionInput(input, brief);
+    const urlSources = await snapshotUrlSources(input);
+    await ctx.writer.writeJson('url-sources', urlSources);
+    const unreadableSources = urlSources.sources.filter((source) => source.status !== 'FETCHED');
+    const needsSourceFallback = ctx.mode !== 'quick' && unreadableSources.length > 0;
+    const hasReadableResearch = Boolean(ctx.evidencePack?.files.length)
+        || urlSources.sources.some((source) => source.status === 'FETCHED');
+    const canSearch = ctx.roles.s4.includes('codex');
+    if (needsSourceFallback && !canSearch && !hasReadableResearch) {
+        const details = unreadableSources.map((source) => `${source.url} (${source.status}: ${source.error})`).join('; ');
+        throw new StageError('S0', 'SOURCE_UNREADABLE', `source investigation stopped before model calls because no source was readable and Codex search is unavailable${details ? `: ${details}` : ''}. Paste the relevant text, provide a public export, or enable Codex, then rerun.`);
+    }
+    const { contract, brief } = await runStage(ctx, 'S0', () => preflight(ctx, input, IDEA_RUBRIC.map((item) => item.label), urlSources));
+    const grilledInput = renderDecisionInput(input, brief, urlSources);
     // Persist the input as a file so S4's "read the file at {{INPUT_PATH}}" resolves (not a stage).
     await ctx.writer.writeInput('idea.md', input);
     await ctx.writer.writeInput('idea-brief.md', grilledInput);
@@ -144,26 +182,24 @@ export async function runIdeaRefinement(ctx, input) {
             return report;
         });
         const actionPlan = await runStage(ctx, 'S9b', async () => {
-            const plan = quickActionPlan(ctx, quick.seat.provider, quick.decision, graph);
+            const plan = quickActionPlan(ctx, quick.seat.provider, quick.decision, graph, contract);
             await ctx.writer.writeJson('action-plan', plan);
             return plan;
         });
         await runStage(ctx, 'S10', () => s10Render(ctx, { contract, seats: kept, graph, verifications, rebuttals, judgeReport, actionPlan, rubric, original: input }));
         return;
     }
-    if (ctx.mode === 'research' && !ctx.evidencePack && !ctx.available().includes('codex')) {
-        ctx.addFlag('research_ungrounded');
-    }
     const analystPrompt = buildAnalystPrompt(contract, inputPath, ctx.evidencePack, ctx.mode, analystSkill);
     await ctx.writer.writePrompt('analyst.md', analystPrompt);
     const lanePrompts = buildLanePrompts(analystPrompt, rubric);
-    const seats = await runStage(ctx, 'S4', () => s4Analyze(ctx, lanePrompts));
+    const seats = await runStage(ctx, 'S4', () => s4Analyze(ctx, lanePrompts, needsSourceFallback));
     const { kept } = await runStage(ctx, 'S5', () => s5Drift(ctx, contract, seats));
+    recordIdeaOutcomeFlags(ctx, contract, kept);
     const positions = await runStage(ctx, 'S6', () => s6Positions(ctx, kept));
     const graph = await runStage(ctx, 'S7', () => s7DecisionGraph(ctx, positions, rubric, contract.task));
     const verifications = await runStage(ctx, 'S8', () => s8Verify(ctx, graph));
     const rebuttals = await runStage(ctx, 'S8b', () => s8bRebuttal(ctx, graph, verifications, ctx.mode));
     const judgeReport = await runStage(ctx, 'S9', () => s9Judge(ctx, contract, graph, verifications, rubric, rebuttals));
-    const actionPlan = await runStage(ctx, 'S9b', () => s9bPlan(ctx, contract, kept, graph, judgeReport));
+    const actionPlan = await runStage(ctx, 'S9b', () => s9bPlan(ctx, contract, kept, graph, judgeReport, input));
     await runStage(ctx, 'S10', () => s10Render(ctx, { contract, seats: kept, graph, verifications, rebuttals, judgeReport, actionPlan, rubric, original: input }));
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "aiki-cli",
-  "version": "0.3.0",
+  "version": "0.3.2",
   "description": "Local-first AI model council for code review and idea stress-testing using Claude Code, Codex, and Gemini/Antigravity CLIs. No API keys.",
   "type": "module",
   "license": "MIT",