doctrina-cli 0.18.0 → 0.20.0

package/README.md

@@ -3,7 +3,7 @@
 > CLI for the Doctrina framework. The package is published as
 > `doctrina-cli`; the executable it installs is `doctrina`.
 
-**Status:** v0.18.0 — current release. Zero runtime dependencies
+**Status:** v0.20.0 — current release. Zero runtime dependencies
 (Node.js standard library only).
 
 ## Install
@@ -25,10 +25,11 @@ surface, by the moment you reach for it:
 ```
 Bootstrap   init · intake · adapter list|add|remove
 Orient      prime · next · status · context · show · search · why · handoff
-Change      triage · work · spec new|list|set · change new|apply|archive|check|tick|abandon|delta
+Change      triage · work · spec new|list|set · change new|apply|archive|check|tick|abandon|delta|card
             contract new|list|check · decision new|accept|land|supersede|list|scope
             skill new|list|suggest · intent add|list
 Gate        clarify · validate · coverage · trace · review · verify · close · doctor
+Orchestrate workspace init|add|attach|detach|list|tool|guard · delivery new|route|list|status|check|close
 Maintain    upgrade · index rebuild · hooks install · watch · metrics · completion · ci · templates list
 ```
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "doctrina-cli",
-  "version": "0.18.0",
+  "version": "0.20.0",
   "description": "Doctrina CLI — spec-driven, AGENTS.md-native framework for multi-agent AI development.",
   "license": "MIT",
   "keywords": [

package/src/commands/adapter.js

@@ -4,6 +4,7 @@ import process from "node:process";
 import { exists, isFile, mkdirp, pruneEmptyDirs, read, relPath, remove, write } from "../lib/fs-ops.js";
 import {
   ADAPTER_STATES, adapterFiles, describeAdapter, listAdapterNames, renderAdapterFile,
+  isMergedConfig, mergeJson, unmergeJson, containsJson, holdsAnyOf,
 } from "../lib/adapters.js";
 import { flagBool } from "../lib/args.js";
 import { today } from "../lib/dates.js";
@@ -11,6 +12,7 @@ import { c } from "../lib/colors.js";
 import { suggest } from "../lib/suggest.js";
 import { notADoctrinaProject } from "../lib/exit-codes.js";
 import { projectName } from "../lib/project.js";
+import { applySkillExport } from "../lib/skill-export.js";
 
 // `doctrina adapter` — add, remove, and inventory agent adapters (audit
 // item C1).
@@ -109,6 +111,21 @@ function adapterAdd(projectRoot, name, cmdFlags) {
   let skipped = 0;
   for (const file of spec.files) {
     const dest = path.join(projectRoot, file.relativePath);
+    // A shared settings file is merged, never overwritten nor skipped
+    // (change 0211): the user's own keys stay, ours are added once.
+    if (isMergedConfig(file) && exists(dest)) {
+      const merged = mergeInto(dest, renderAdapterFile(file, tokens));
+      if (merged === null) {
+        console.log(c.yellow("skip   ") + ` ${file.relativePath} (not valid JSON — add the entries by hand)`);
+        skipped += 1;
+      } else if (merged) {
+        console.log(c.green("merged ") + ` ${file.relativePath}`);
+        written += 1;
+      } else {
+        console.log(c.gray("ok     ") + ` ${file.relativePath} (already holds the doctrina entries)`);
+      }
+      continue;
+    }
     if (exists(dest) && !force) {
       console.log(c.yellow("skip   ") + ` ${file.relativePath} (already present; --force overwrites)`);
       skipped += 1;
@@ -124,6 +141,12 @@ function adapterAdd(projectRoot, name, cmdFlags) {
   console.log(`${c.bold("Adapter " + name)} — ${written} file${written === 1 ? "" : "s"} written` +
     (skipped > 0 ? `, ${skipped} left alone` : "") +
     (spec.source === "project" ? c.gray(" (from .doctrina/templates/adapters/)") : ""));
+  // The project's skills follow the agent in (change 0212): with the claude
+  // adapter, `.claude/skills/` becomes an export root.
+  const exported = applySkillExport(projectRoot);
+  if (exported.writes.length > 0) {
+    console.log(c.green("export ") + ` ${exported.writes.length} skill file${exported.writes.length === 1 ? "" : "s"} where the agent discovers skills`);
+  }
   console.log(c.gray("Additive only: AGENTS.md and .doctrina/product.md were not touched."));
   return 0;
 }
@@ -156,6 +179,29 @@ function adapterRemove(projectRoot, name, cmdFlags) {
   for (const file of spec.files) {
     const dest = path.join(projectRoot, file.relativePath);
     if (!isFile(dest)) continue;
+    // A shared settings file loses only the entries this adapter added;
+    // the file goes only when nothing of the user's is left in it.
+    if (isMergedConfig(file)) {
+      const left = unmergeFrom(dest, renderAdapterFile(file, tokens));
+      if (left === undefined) {
+        console.log(c.yellow("kept   ") + ` ${file.relativePath} (not valid JSON — remove the doctrina entries by hand)`);
+        kept += 1;
+        continue;
+      }
+      if (left === UNTOUCHED) {
+        console.log(c.gray("kept   ") + ` ${file.relativePath} (holds no doctrina entries — yours)`);
+        continue;
+      }
+      if (left !== null) {
+        console.log(c.green("updated") + ` ${file.relativePath} (doctrina entries removed; yours kept)`);
+        continue;
+      }
+      remove(dest);
+      console.log(c.green("removed") + ` ${file.relativePath}`);
+      removed += 1;
+      vacated.add(path.dirname(dest));
+      continue;
+    }
     const pristine = normalise(read(dest)) === normalise(renderAdapterFile(file, tokens));
     if (!pristine && !force) {
       console.log(c.yellow("kept   ") + ` ${file.relativePath} (edited since install; --force removes it)`);
@@ -191,6 +237,34 @@ function adapterRemove(projectRoot, name, cmdFlags) {
   return 0;
 }
 
+// Merge the rendered template into an existing JSON file. Returns true when
+// the file changed, false when it already held every entry, null when the
+// file is not JSON this command can safely rewrite.
+function mergeInto(dest, rendered) {
+  let theirs;
+  try { theirs = JSON.parse(read(dest)); } catch { return null; }
+  const ours = JSON.parse(rendered);
+  if (containsJson(theirs, ours)) return false;
+  write(dest, JSON.stringify(mergeJson(theirs, ours), null, 2) + "\n", { force: true });
+  return true;
+}
+
+const UNTOUCHED = Symbol("untouched");
+
+// Take the rendered template's entries back out of a JSON file. Returns what
+// is left (written back), null when nothing is (the caller removes the
+// file), undefined when the file is not JSON.
+function unmergeFrom(dest, rendered) {
+  let theirs;
+  try { theirs = JSON.parse(read(dest)); } catch { return undefined; }
+  // A file holding none of our entries was never ours, or was rewritten by
+  // the user since: it is theirs, and stays as it is.
+  if (!holdsAnyOf(theirs, JSON.parse(rendered))) return UNTOUCHED;
+  const left = unmergeJson(theirs, JSON.parse(rendered));
+  if (left !== null) write(dest, JSON.stringify(left, null, 2) + "\n", { force: true });
+  return left;
+}
+
 function normalise(text) {
   return text.replace(/\r\n/g, "\n").trim();
 }

package/src/commands/analyze.js

@@ -1,7 +1,9 @@
 // @ts-check
 import path from "node:path";
 import process from "node:process";
-import { isDir, relPath } from "../lib/fs-ops.js";
+import { isDir, isFile, read, relPath } from "../lib/fs-ops.js";
+import { listHeader } from "../lib/scan.js";
+import { stripAnsi } from "../lib/json-out.js";
 import { c } from "../lib/colors.js";
 import { collectAnalysis } from "../lib/analysis.js";
 import { EXIT } from "../lib/exit-codes.js";
@@ -40,13 +42,22 @@ export async function run(positional, _flags) {
   console.log(`analyzing ${relPath(projectRoot, changeDir)}/`);
   console.log("");
 
-  const results = collectAnalysis(projectRoot, changeDir);
+  // An APPLIED change is asked only what still means something (change
+  // 0221): its pre-apply checks read the spec the apply wrote as a conflict,
+  // and a close stopped after its apply could never be rerun. The integrity
+  // checks — the set `archive` asks — still count.
+  const proposal = path.join(changeDir, "proposal.md");
+  const applied = isFile(proposal) && (listHeader(read(proposal), "Status") ?? "").toLowerCase() === "applied";
+  const results = collectAnalysis(projectRoot, changeDir)
+    .map((r) => applied && r.kind === "fail" && r.scope === "pre-apply"
+      ? { ...r, kind: "info", line: c.gray("- " + stripAnsi(r.line).replace(/^✗\s*/, "") + " (already applied — a pre-apply check, not asked again)") }
+      : r);
   for (const r of results) console.log(r.line);
   console.log("");
 
   const failed = results.filter((r) => r.kind === "fail").length;
   if (failed === 0) {
-    console.log(c.green("ok") + ` ready to apply`);
+    console.log(c.green("ok") + (applied ? " already applied — resuming: the integrity checks pass" : ` ready to apply`));
   } else {
     console.log(c.red("fail") + ` ${failed} issue${failed === 1 ? "" : "s"}`);
   }

package/src/commands/change.js

@@ -16,12 +16,13 @@ import { c } from "../lib/colors.js";
 import { appendLedgerLine, archivedLine, abandonedLine } from "../lib/ledger.js";
 import { suggest } from "../lib/suggest.js";
 import { confirm, isInteractive } from "../lib/prompt.js";
+import { taskCard } from "../lib/task-card.js";
 import { EXIT } from "../lib/exit-codes.js";
 import { ensureDoctrinaProject, refuseChangeRef } from "../lib/project.js";
 import { parseOperation, parseCapabilityFromDelta, isUntouchedScaffold } from "../lib/doc-model.js";
 import { changeNew, addDeltaOps } from "../lib/change-ops.js";
 
-const SUBCOMMANDS = ["new", "apply", "archive", "check", "tick", "abandon", "delta"];
+const SUBCOMMANDS = ["new", "apply", "archive", "check", "tick", "abandon", "delta", "card"];
 
 // Flags this command accepts. Declared HERE, with the command, so
 // adding a command never requires editing the entrypoint — the gap that
@@ -46,6 +47,8 @@ export async function run(positional, flags) {
       return await changeAbandon(positional.slice(1), flags);
     case "delta":
       return changeDelta(positional.slice(1), flags);
+    case "card":
+      return changeCard(positional.slice(1));
     default:
       console.error(c.red("error:") + ` unknown change subcommand "${sub ?? ""}"`);
       const guess = suggest(sub, SUBCOMMANDS);
@@ -56,6 +59,64 @@ export async function run(positional, flags) {
   }
 }
 
+// `change card <id> [<n>]` (change 0222, ADR 0030): one task as an executor
+// receives it — the task and the lines under it, the change's why, the spec
+// cut to the task, and what to do when done. The executor does not see the
+// planner's conversation; the card is its whole context.
+function changeCard(args) {
+  const id = args[0];
+  if (!id) {
+    console.error(c.red("error:") + " change card requires <id> [task number]");
+    return EXIT.USAGE;
+  }
+  const refused = refuseChangeRef(id);
+  if (refused !== null) return refused;
+  const projectRoot = process.cwd();
+  ensureDoctrinaProject(projectRoot);
+  if (!isDir(path.join(projectRoot, ".doctrina", "changes", id))) {
+    console.error(c.red("error:") + ` change "${id}" not found at .doctrina/changes/${id}`);
+    return EXIT.USAGE;
+  }
+  let ordinal = null;
+  if (args[1] !== undefined) {
+    ordinal = Number(args[1]);
+    if (!Number.isInteger(ordinal) || ordinal < 1) {
+      console.error(c.red("error:") + ` task number must be a positive integer (got "${args[1]}")`);
+      return EXIT.USAGE;
+    }
+  }
+  const { card, reason } = taskCard(projectRoot, id, ordinal);
+  if (!card) {
+    console.log(c.gray(reason));
+    return reason.startsWith("every task") ? EXIT.OK : EXIT.PRECONDITION;
+  }
+  const L = [];
+  L.push(`# Task card — ${card.change}, task ${card.ordinal} of ${card.total}` + (card.checked ? " (already ticked)" : ""));
+  L.push("");
+  L.push(`Change: ${card.title}` + (card.delivery ? ` · delivery ${card.delivery}` : ""));
+  L.push(`Repository: ${projectRoot}`);
+  L.push("");
+  L.push("## Task");
+  L.push("");
+  L.push(card.text);
+  for (const d of card.details) L.push(`- ${d}`);
+  if (card.why) {
+    L.push("", "## Why the change exists", "", card.why);
+  }
+  for (const s of card.slices) {
+    L.push("", `## Spec — ${s.capability} (cut to this task)`, "", s.text.trim());
+  }
+  L.push("", "## When done", "");
+  L.push(card.fields.verify
+    ? `1. Run the card's check: \`${card.fields.verify}\` — it must pass.`
+    : "1. Run the project's check: `doctrina verify` — it must pass.");
+  L.push(`2. Tick the box: \`doctrina change tick ${card.change} ${card.ordinal}\`.`);
+  L.push("3. Report back: the files you changed, the commands you ran and what they printed.");
+  L.push("Stay inside this card: do not open, close or archive a change, and do not edit `.doctrina/` — the planner does.");
+  for (const line of L) console.log(line);
+  return EXIT.OK;
+}
+
 // Enforce a lifecycle transition's preconditions from the shared gate map.
 // One implementation, so every driver of a transition refuses — and
 // explains, and forces — identically (C6).
@@ -153,9 +214,6 @@ function changeApply(args, flags) {
   // and exit 0 — through the very analyze → apply path the docs prescribe.
   // The preconditions now come from the shared map, so what guards a
   // transition does not depend on which command drove it.
-  const applyGate = enforceTransition(projectRoot, id, changeDir, "apply", flags);
-  if (!applyGate.ok) return 1;
-
   // Applying twice is silent corruption. The ops verbs are ADDITIVE —
   // `append-requirement` appends, `bump-version` bumps — so a second pass
   // duplicates every requirement and criterion the delta carries and bumps
@@ -173,6 +231,12 @@ function changeApply(args, flags) {
     return 0;
   }
 
+  // The skip above comes FIRST (change 0221): the apply gate is a pre-apply
+  // question, and on an applied change its ADDED check reads the content the
+  // apply wrote as a conflict — which refused the resume of a killed close.
+  const applyGate = enforceTransition(projectRoot, id, changeDir, "apply", flags);
+  if (!applyGate.ok) return 1;
+
   const deltaFiles = walk(path.join(changeDir, "specs")).filter((p) => p.endsWith("delta.md"));
   const date = today();
   let errors = 0;
@@ -820,6 +884,11 @@ Subcommands:
                          parsed by the grammar apply reads and dry-run against
                          the spec first: nothing is written unless the whole
                          block applies. A second --bump replaces the first.
+  card <id> [<n>]        Print task <n> (default: the next open one) as a
+                         self-contained card for an executor: the task and the
+                         lines indented under it (Files:, Requirement:, Verify:),
+                         the change's Why, the spec cut to the task, and the
+                         tick command. Exit 0 with a note when every task is done.
 
 apply / archive / check accept multiple ids (batch close of a backlog); the
 exit code is the worst per-id result.

package/src/commands/close.js

@@ -1,7 +1,7 @@
 // @ts-check
 import path from "node:path";
 import process from "node:process";
-import { appendFileSync } from "node:fs";
+import { appendFileSync, readdirSync } from "node:fs";
 import { exists, isDir, isFile, read } from "../lib/fs-ops.js";
 import { flagBool } from "../lib/args.js";
 import { c } from "../lib/colors.js";
@@ -166,6 +166,8 @@ async function closeOne(projectRoot, id, flags) {
   // archive), which is rendering, not sequencing.
   const verifyConfigured = isFile(path.join(projectRoot, ".doctrina", "verify.json"));
   const runners = {
+    // An applied change resumes here: analyze asks it only the integrity
+    // checks (change 0221).
     analyze: { run: () => analyze.run([id], new Map()) },
 
     // ADR checkpoint (operator review §4.6): the playbook's "record an ADR"
@@ -468,6 +470,13 @@ async function closeOne(projectRoot, id, flags) {
 
   console.log("");
   console.log(c.green(`✓ change ${id} closed`) + c.gray(closingClaim(ran, skippedSteps)));
+  // Where it went, and the sentence for the human (change 0214): the close
+  // moves the change out of every default read, and a field review found
+  // the person asking for "the doctrina work" of work already archived.
+  const archived = archivedPathOf(projectRoot, id);
+  if (archived) {
+    console.log(c.bold("Tell the human: ") + `change ${id} is closed — archived at ${archived}`);
+  }
   console.log(c.gray("Next: ") + c.cyan("doctrina next"));
   return 0;
 }
@@ -500,6 +509,14 @@ function closingClaim(ran, skippedSteps) {
   return `${claimed || " —"} ${skipped.length === 1 ? "Skipped" : "Skipped"}: ${skipped.join(", ")}.`;
 }
 
+// The archive folder a just-closed change landed in, newest first.
+function archivedPathOf(projectRoot, id) {
+  const dir = path.join(projectRoot, ".doctrina", "changes", "archive");
+  if (!isDir(dir)) return null;
+  const name = readdirSync(dir).sort().reverse().find((n) => n.endsWith(`-${id}`) && /^\d{4}-\d{2}-\d{2}-/.test(n));
+  return name ? `.doctrina/changes/archive/${name}/` : null;
+}
+
 function missingRunner(step) {
   console.error(c.red("error:") +
     ` "${step.label}" is declared in the close sequence but has no runner here`);

package/src/commands/context.js

@@ -14,6 +14,7 @@ import { GIT_STATE, historyState, changedFiles } from "../lib/git.js";
 import { terms as queryTerms, relevance } from "../lib/lexicon.js";
 import { notADoctrinaProject, EXIT } from "../lib/exit-codes.js";
 import * as idx from "../lib/index-json.js";
+import { adrDigest, sliceSpec } from "../lib/context-slice.js";
 
 // Materialise the AGENTS.md read order as a command: print the exact
 // context pack for a task, in the order an agent should read it. This is
@@ -72,11 +73,14 @@ export const TIER = { CORE: 0, SPEC: 1, CHANGE: 2, DEPENDENCY: 3, DECISION: 4 };
 // Flags this command accepts. Declared HERE, with the command, so
 // adding a command never requires editing the entrypoint — the gap that
 // let six flags ship undeclared and silently swallow a positional (C3).
-export const flags = { boolean: ["json", "concat"], string: ["budget", "diff", "for"] };
+export const flags = { boolean: ["json", "concat", "full"], string: ["budget", "diff", "for"] };
 
 export async function run(positional, cmdFlags) {
   const capability = positional[0] ?? null;
   const concat = flagBool(cmdFlags, "concat", false);
+  // --full: the whole text of everything, as before change 0216 — AGENTS.md
+  // repeated, every spec and ADR whole. The lean pack is the default.
+  const full = flagBool(cmdFlags, "full", false);
   const budgetRaw = flagString(cmdFlags, "budget");
   const diffRef = flagString(cmdFlags, "diff");
   const query = flagString(cmdFlags, "for");
@@ -162,6 +166,8 @@ export async function run(positional, cmdFlags) {
       tier: TIER.CORE,
       rank: [],
       degraded: false,
+      /** @type {string | null} */ slice: null,
+      /** @type {string | null} */ digest: null,
       ...extra,
     };
     pack.push(item);
@@ -170,7 +176,10 @@ export async function run(positional, cmdFlags) {
 
   // 1-2. Root rules and product truth — always first. Displayed paths are
   // POSIX strings (path.join would emit backslashes on Windows).
-  if (wanted("AGENTS.md")) pushFile("AGENTS.md", "root rules");
+  // AGENTS.md is not repeated by default (change 0216): every agent this
+  // pack is for loads it already — natively, or through its adapter — and
+  // it cost ~2.5k tokens per pack to say it twice.
+  if (wanted("AGENTS.md") && full) pushFile("AGENTS.md", "root rules");
   if (wanted(".doctrina/product.md")) pushFile(".doctrina/product.md", "product truth");
 
   // 3. The capability spec(s) — the current truth. With a named capability,
@@ -241,6 +250,21 @@ export async function run(positional, cmdFlags) {
     }
   }
 
+  // A spec read for a task — the task's own, and the ones it depends on — is
+  // cut to what the task is about (change
+  // 0216): headers, Purpose, and the requirements and criteria the query
+  // matches, the rest named by count. No query, or nothing matched: whole.
+  if (!full && terms.length > 0) {
+    for (const item of pack) {
+      if ((item.tier !== TIER.CORE && item.tier !== TIER.DEPENDENCY) || !item.rel.startsWith(".doctrina/specs/")) continue;
+      const sliced = sliceSpec(read(path.join(projectRoot, item.rel)), terms, item.rel);
+      if (!sliced) continue;
+      item.slice = sliced.text;
+      item.tokens = estimateTokens(sliced.text);
+      item.note = `${item.note} — sliced: ${sliced.kept} of ${sliced.total} items match`;
+    }
+  }
+
   // 4. Open changes (their proposal, tasks, and deltas) — never
   //    diff-filtered: work in flight is the one thing a resuming agent
   //    cannot reconstruct from anywhere else, so it is always present.
@@ -347,7 +371,7 @@ export async function run(positional, cmdFlags) {
 
     const id = path.basename(f).match(/^(\d{4})-/)?.[1] ?? "0000";
     const title = getTitle(text) ?? path.basename(f, ".md");
-    pushFile(rel, global ? "accepted ADR" : `accepted ADR (${scope.join(", ")})`, {
+    const adrItem = pushFile(rel, global ? "accepted ADR" : `accepted ADR (${scope.join(", ")})`, {
       tier: TIER.DECISION,
       // Best-first, deterministic: an ADR that NAMES this capability outranks
       // an unscoped one — which is DECLARED to belong in every pack — which in
@@ -360,6 +384,13 @@ export async function run(positional, cmdFlags) {
       title,
       summary: adrSummary(text),
     });
+    // A decision as a digest by default (change 0216): its title and the
+    // opening of its Decision — what tells a reader whether it binds the
+    // task. Sixteen whole ADRs were ~22k tokens of the `gates` pack.
+    if (adrItem && !full) {
+      adrItem.digest = adrDigest(text, title, id);
+      adrItem.tokens = estimateTokens(adrItem.digest);
+    }
   }
 
   // 6. Skills are on-demand: list name + description + trigger, never the
@@ -406,7 +437,8 @@ export async function run(positional, cmdFlags) {
     for (const item of kept) {
       console.log(`===== ${item.rel} (${item.note}) =====`);
       console.log("");
-      console.log(item.degraded ? degradedBody(item) : read(path.join(projectRoot, item.rel)).trimEnd());
+      console.log(item.degraded ? degradedBody(item)
+        : item.slice ?? item.digest ?? read(path.join(projectRoot, item.rel)).trimEnd());
       console.log("");
     }
     // Keep the pack pipeable: the budget verdict goes to stderr.
@@ -417,7 +449,7 @@ export async function run(positional, cmdFlags) {
     console.log(c.bold("Context pack") + (capability ? c.gray(` (capability: ${capability})`) : "") + forNote + scope + c.gray(" — read in this order:"));
     console.log("");
     kept.forEach((item, i) => {
-      const mark = item.degraded ? c.yellow(" summary") : "        ";
+      const mark = item.degraded ? c.yellow(" summary") : item.slice ? c.yellow("  sliced") : item.digest ? c.yellow("  digest") : "        ";
       console.log(`${String(i + 1).padStart(2)}. ${c.cyan(item.rel.padEnd(56))} ${String(item.lines).padStart(4)} lines ${c.gray(`~${String(item.tokens).padStart(5)} tok`)}${mark}  ${c.gray(item.note)}`);
     });
     console.log("");
@@ -709,14 +741,21 @@ function changedPaths(projectRoot, ref) {
 
 export const help = `
 Usage: doctrina context [<capability>] [--for "<task>"] [--concat]
-                        [--budget <tokens>] [--diff <ref>]
+                        [--budget <tokens>] [--diff <ref>] [--full]
 
 Print the exact context pack for a task, in the documented read
-order: AGENTS.md, product.md, the capability spec (when given —
-otherwise every active spec), open changes, accepted ADRs. Skills are
+order: product.md, the capability spec (when given — otherwise every
+active spec), open changes, accepted ADRs. Skills are
 listed name + description + when-trigger only — they are on-demand by
 design. The change archive is excluded.
 
+The pack is LEAN by default: AGENTS.md is not repeated (your agent
+loads it every turn), an accepted ADR is a digest — its title and the
+opening of its Decision; \`doctrina show NNNN\` reads the rest — and
+with --for the task's spec is sliced to its headers, Purpose and the
+requirements and criteria the task matches, the others named by count.
+--full restores every text whole.
+
 Assembly is retrieval, not a dump. A token budget ALWAYS applies
 (default ${DEFAULT_BUDGET}; set "context_budget": <n> in
 .doctrina/config.json, or pass --budget). Over budget, accepted ADRs
@@ -731,6 +770,8 @@ Flags:
                     the list — ready to pipe into an agent. The budget
                     verdict goes to stderr, keeping stdout pure.
   --budget <n>      Token ceiling for this call, overriding the project's.
+  --full            Every artifact whole: AGENTS.md included, specs not
+                    sliced, ADRs not digested (the pre-0.19 pack).
   --diff <ref>      Scope the stable artifacts (AGENTS.md, product.md,
                     specs, ADRs) to those changed since the git ref; open
                     changes are always included. The resume-session read.