pi-pier 0.3.1 → 0.4.2

package/README.md

@@ -43,8 +43,7 @@ The installer also verifies node / pi / herdr versions.
 | Tool | Purpose |
 |---|---|
 | `todo_write` | Full-replacement todo list. Session JSONL is the single source of truth; correct rollback on branch switches. Projected live onto the pane title (`▶i ○p ■b ✓c (N/M) · current task`). `/todos` command to view/edit/unblock |
-| `subagent` | Delegate self-contained subtasks to an isolated pi session in its own herdr pane. Actions: `spawn` (default; foreground / parallel / background), `list`, `send`, `interrupt`, `resume`, `output` (incremental preview of a running subagent's pane output), `role` (switch that worker's role profile mid-session — pi 0.86 records the toolset change as a transcript delta, so it applies on the worker's next request and survives resume) |
-| `ask_user_question` | Human gate: 2-5 authored options plus a trailing free-text row (`allowOther: false` for pure choice); multiple related questions per call. TUI renders single- and multi-select through one picker dialog (multi adds checkboxes: space toggles, `a` all, live count; `recommended` seeds the cursor and pre-checks in multi); pane shows blocked in herdr while waiting |
+| `subagent` | Delegate self-contained subtasks to an isolated pi session in its own herdr pane. Actions: `spawn` (default; foreground / parallel / background), `list`, `send`, `interrupt`, `resume`, `output` (incremental preview of a running subagent's pane output), `role` (switch that worker's role profile mid-session — pi records the toolset change as a transcript delta, so it applies on the worker's next request and survives resume), `help` (the full manual — placement, isolate, roles, ledger — kept out of the per-request description). Every spawned task gets a stable slug: outputs print `slug@paneId`, and `agentId` accepts the slug, the pane id, or the combined form |
 | `terminal` | Persistent interactive shells in dedicated herdr panes. Actions: `open`, `send`, `read`, `signal`, `close`, `list` |
 
 ### Commands
@@ -52,13 +51,16 @@ The installer also verifies node / pi / herdr versions.
 | Command | Purpose |
 |---|---|
 | `/todos` | Show the todo list, or edit it: `/todos done|drop|rm|unblock <fuzzy match>` |
+| `/dashboard [overlay]` | Ops dashboard. Default opens the shared Pier **popup** on its `Dashboard` tab (90% × 80%, singleton); `overlay` opens the same view as an independent full-window pane. Non-Herdr falls back to an in-pane text view. |
+| `/pier-tree [overlay]` | Master only: the full delegation tree — your complete todo list plus every running subagent's full list (live-pushed over the pipe) and settled nodes with ages. Default opens the same shared popup on its `Tree` tab (the snapshot refreshes on every todo/worker push; `1`/`2`/`Tab` switch views inside the popup); `overlay` opens an independent full-window pane; bare pi / a missing plugin falls back to the in-pane notify view. The resident widget stays one line per agent and hides entirely once the self list is fully completed (D113/D114) |
 | `/locks` | Show write locks held by this pane and by live panes — the **human/operator view** of the write-lock beacons (herdr only). Agents see the holders inside their own write warnings; the raw tokens are readable via `herdr agent list` |
-| `/pier-role` | Show the current role + available role names, or switch mid-session: `/pier-role <name>` (pi ≥ 0.86; widening beyond the current toolset asks for confirmation; the switch lands as a transcript tool delta) |
+| `/pier-role` | Show the current role + available role names, or switch mid-session: `/pier-role <name>` (widening beyond the current toolset asks for confirmation; the switch lands as a transcript tool delta) |
 | `/pier-config` | Read-only configuration guide over four planes: bare call = index + hands a guided change to the agent; `show [plane\|all]` = effective value + source (`env > workspace > user > default`); `check` = validate all planes; `doc [path]` = write a report |
 
 ### Behaviors
 
 - **Human-in-the-loop**: every subagent is a visible, interactive TUI pane — step into it anytime to talk directly (fix bugs, take over, answer its `ask_user_question`). Blocked gates raise sidebar markers + notifications
+- **Delegation identity**: the worker knows who delegated it — spawn env (`PI_HERDR_DELEGATION`) replays through the worker marker and the session's own first-frame entry; its system prompt carries a `pier-delegation` section (identity + delivery contract), the transcript opens with an "⟵ delegated by master …" card, the pane title gets an `↳` prefix, and `pi-parent`/`pi-task` tokens feed the workbench dashboard tree and blocked-alert attribution
 - **Blocking dialogs block the pane**: pi's `ui_prompt_start` / `ui_prompt_end` events cover the inherently blocking `ctx.ui` dialogs (`select` / `confirm` / `input` / `editor`), so a dialog from any extension (not only pier's own ask tool) reports the pane as blocked and emits the `herdr:blocked` edge; nested gates are coalesced. `custom` is excluded because pi also routes resident overlays through it (pier's slim-frame overlay never calls `done()`, and a resident overlay keeps pi's prompt span open anyway)
 - **Role gate stops early**: a tool call denied by the role manifest returns `terminate`, so a batch whose results are all terminating ends without another model round trip
 - **Readable transcript**: pier's own session entries (todo edits, subagent/terminal registries, role manifests, soft approvals) and its reminder messages render as compact cards instead of raw JSON
@@ -105,8 +107,8 @@ pi overwrites tools/commands by name; event listeners stack.
 ## Requirements
 
 - Node ≥ 22
-- pi ≥ 0.86.0 (`@earendil-works/pi-coding-agent`) — dynamic toolset (transcript-backed `setActiveTools` deltas) and role switching require it
-- **herdr ≥ 0.9.0** — required for subagents / pane integration / notifications (see the IMPORTANT note above); without it only the todo loop and `ask_user_question` load
+- pi ≥ 1.3.0 (`@earendil-works/pi-coding-agent`) — `before_agent_start.messageType` and resumed-session active tools
+- **herdr ≥ 0.9.5** — required for subagents / pane integration / notifications (see the IMPORTANT note above); native `pane.focused`, self-reported resume, and shutdown-safe session saves restore subagent panes after a server restart
 
 ## Development
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pi-pier",
-  "version": "0.3.1",
+  "version": "0.4.2",
   "description": "pier: pi extension that fuses pi agent sessions with the herdr pane/tab orchestrator — todo_write loop closure + interactive subagents in isolated panes",
   "license": "MIT",
   "type": "module",
@@ -49,11 +49,11 @@
     "@deepseek-ai/cordis-plugin-loader": "^1.0.2"
   },
   "peerDependencies": {
-    "@earendil-works/pi-coding-agent": "*",
+    "@earendil-works/pi-coding-agent": ">=1.3.0",
     "typebox": "*"
   },
   "devDependencies": {
-    "@earendil-works/pi-coding-agent": "0.86.0",
+    "@earendil-works/pi-coding-agent": "1.3.0",
     "typebox": "~1.3.7",
     "typescript": "~5.9.3"
   }

package/schemas/efficiency-config.schema.json

@@ -20,6 +20,12 @@
         },
         "firstCompactionRequestScale": { "type": "number", "default": 2.0, "minimum": 1.0 },
         "subsequentCompactionMargin": { "type": "number", "default": 1.5, "minimum": 1.0 },
+        "summaryThinkingLevel": {
+          "type": "string",
+          "enum": ["inherit", "off", "minimal", "low", "medium", "high", "xhigh", "max"],
+          "default": "low",
+          "description": "压缩摘要请求的 thinking 等级上限（只降不升，结束后恢复会话等级）。inherit 表示沿用会话等级"
+        },
         "keepRecentTokens": {
           "type": "integer",
           "default": 20000,

package/src/ask-dialog.ts

@@ -25,6 +25,8 @@ export interface DialogConfig {
   recommended?: number;
   /** true = toggle list (space toggles, enter confirms the set); false = pick-one (enter/space takes the cursor row). */
   multi: boolean;
+  /** Multi mode only: toggles to restore when the dialog reopens (an empty Other answer does not lose them). */
+  initialSelected?: readonly boolean[];
 }
 
 export interface DialogState {
@@ -38,7 +40,8 @@ type DialogKey = 'up' | 'down' | 'toggle' | 'confirm' | 'cancel' | 'all' | 'igno
 
 export type DialogOutcome =
   | { kind: 'selected'; labels: string[] }
-  | { kind: 'other' }
+  /** `labels` are the toggled rows at the moment Other was taken, so a custom answer keeps them. */
+  | { kind: 'other'; labels: string[] }
   | { kind: 'cancel' };
 
 export interface DialogStep {
@@ -94,7 +97,7 @@ export function stepDialog(state: DialogState, key: DialogKey, config: DialogCon
     }
     case 'toggle':
     case 'confirm': {
-      if (isOtherRow(state, config)) return { state, outcome: { kind: 'other' } };
+      if (isOtherRow(state, config)) return { state, outcome: { kind: 'other', labels: selectedLabels(state, config) } };
       if (!config.multi) {
         // Pick-one: enter and space both take the cursor row.
         return { state, outcome: { kind: 'selected', labels: [config.options[state.cursor]!.label] } };
@@ -234,7 +237,11 @@ export function dialogFooter(
 }
 
 export function createDialogComponent(opts: DialogUiOptions): DialogComponent {
+  const initial = opts.config.initialSelected;
   let state = createDialogState(opts.config);
+  if (initial && initial.length === opts.config.options.length) {
+    state = { ...state, selected: opts.config.options.map((_, i) => initial[i] === true) };
+  }
   let finished = false;
   const onAbort = (): void => finish({ kind: 'cancel' });
   function finish(outcome: DialogOutcome): void {

package/src/ask-user.ts

@@ -37,49 +37,38 @@ const RESERVED_LOWER: Record<string, true> = {
 };
 
 const OptionSchema = Type.Object({
-  label: Type.String({ description: 'Short display label (1-5 words)' }),
-  description: Type.Optional(Type.String({ description: 'Tradeoff / meaning of this choice' })),
+  label: Type.String({ description: 'Short label (1-5 words)' }),
+  description: Type.Optional(Type.String({ description: 'Tradeoff of this choice' })),
 });
 
 export const ASK_PARAMETERS = Type.Object({
-  question: Type.Optional(Type.String({ description: 'The question to ask the human. Required unless questions is set.' })),
-  options: Type.Optional(Type.Array(OptionSchema, {
-    description: '2-5 authored choices. Do NOT include Other; the UI appends it.',
-  })),
-  multi: Type.Optional(Type.Boolean({ description: 'Allow multiple selections (default false). In the TUI this opens an interactive toggle list (space toggles, enter confirms, esc declines).' })),
-  allowOther: Type.Optional(Type.Boolean({ description: 'Set false to offer the authored choices only, with no free-text row (default true).' })),
-  recommended: Type.Optional(Type.Number({ description: '0-based index of the recommended option; UI adds (Recommended)' })),
+  question: Type.Optional(Type.String({ description: 'Flat form: the question. Required unless questions is set.' })),
+  options: Type.Optional(Type.Array(OptionSchema, { description: 'Flat form: 2-5 choices' })),
+  multi: Type.Optional(Type.Boolean({ description: 'Allow several selections (default false)' })),
+  allowOther: Type.Optional(Type.Boolean({ description: 'false = authored choices only, no free-text row (default true)' })),
+  recommended: Type.Optional(Type.Number({ description: '0-based default option; the UI adds "(Recommended)", never write it in the label' })),
   questions: Type.Optional(Type.Array(
     Type.Object({
       id: Type.Optional(Type.String({ description: 'Stable id for mapping answers' })),
-      question: Type.String({ description: 'Question text' }),
-      options: Type.Array(OptionSchema, {
-        description: '2-5 authored choices. Do NOT include Other; the UI appends it unless allowOther is false.',
-      }),
-      multi: Type.Optional(Type.Boolean({ description: 'Allow multiple selections (default false). In the TUI this opens an interactive toggle list (space toggles, enter confirms).' })),
-      allowOther: Type.Optional(Type.Boolean({ description: 'Set false to offer the authored choices only, with no free-text row (default true).' })),
-      recommended: Type.Optional(Type.Number({ description: '0-based recommended option index' })),
+      question: Type.String(),
+      options: Type.Array(OptionSchema, { description: '2-5 choices' }),
+      multi: Type.Optional(Type.Boolean()),
+      allowOther: Type.Optional(Type.Boolean()),
+      recommended: Type.Optional(Type.Number()),
     }),
-    { description: '1-4 related questions in one call. Wins over top-level question/options when set.' },
+    { description: 'Batched form: 1-4 questions; wins over top-level question/options' },
   )),
 });
 
 export const ASK_TOOL_DESCRIPTION = [
-  'Ask the human a question and wait for their answer.',
-  'Use this when you genuinely need a human decision (approval, direction, trade-off) — not for information you can find yourself.',
-  'While waiting, the pane shows as blocked in herdr (the human sees it and can step in).',
-  'Prefer 2-5 options with short labels; put tradeoffs in description.',
-  'Do NOT include an "Other" option — the UI appends "Other (type your own)" automatically.',
-  'Use recommended (0-based) to mark the default; "(Recommended)" is added automatically — do NOT write it in the label.',
-  'Use multi: true when several options can apply — the TUI opens an interactive toggle list (space toggles a row, a toggles all, enter confirms, esc declines) instead of making the human type numbers.',
-  'Set allowOther: false when the authored choices are exhaustive and a free-text answer would be misleading.',
+  'Ask the human and wait for the answer — only for a real decision (approval, direction, trade-off), not for information you can find yourself. While waiting, the pane shows as blocked in herdr.',
+  'Two shapes. Flat form (no questions key; do not close with ]): {"question":"Store?","options":[{"label":"Redis","description":"In-memory"},{"label":"Postgres"}]}. Batched form: {"questions":[{"question":"Store?","options":[{"label":"Redis"},{"label":"Postgres"}]},{"question":"Region?","options":[{"label":"EU"},{"label":"US"}],"multi":true}]}.',
 ].join(' ');
 
 export const ASK_PROMPT_GUIDELINES = [
-  'Default to action. Ask only when options have materially different tradeoffs the user must decide.',
-  'Do NOT include "Other" in options; the UI appends it unless allowOther is false. Group related questions in questions (max 4) rather than calling this tool repeatedly.',
-  'For multi questions the human toggles rows in a list and confirms with enter — never instruct them to type indices.',
-  'Short option labels; explanatory tradeoffs in description.',
+  'Default to action. Ask only when options have materially different tradeoffs the user must decide; group related questions in one call (max 4).',
+  'Do NOT include "Other" in options: the UI appends it unless allowOther is false. Set allowOther: false when the choices are exhaustive.',
+  'Use multi: true when several options can apply; the human toggles rows and confirms — never ask them to type indices.',
 ];
 
 export type AskOption = { label: string; description?: string };
@@ -114,6 +103,8 @@ export type AskDetails = {
 export type AskToolResult = {
   content: Array<{ type: 'text'; text: string }>;
   details: AskDetails;
+  /** Set on failures so pi/UI do not count a rejected ask as a successful tool call. */
+  isError?: boolean;
 };
 
 export type AskUi = {
@@ -144,6 +135,7 @@ function errorResult(text: string, code: string): AskToolResult {
   return {
     content: [{ type: 'text', text }],
     details: { answers: [], cancelled: true, error: code },
+    isError: true,
   };
 }
 
@@ -233,6 +225,42 @@ function parseQuestion(raw: unknown): { ok: true; question: AskQuestion } | { ok
   };
 }
 
+type AskParams = Type.Static<typeof ASK_PARAMETERS>;
+
+/** Repair the argument spellings models have sent historically, before pi validates them: `options` or
+ *  `questions` as a JSON string instead of an array. Only strings that parse to arrays are replaced, so
+ *  anything genuinely malformed still reaches prepareAsk and gets its normal error text. */
+export function prepareAskArguments(args: unknown): AskParams {
+  const rec = asRecord(args);
+  if (!rec) return {};
+  const parseArray = (value: unknown): unknown[] | undefined => {
+    if (typeof value !== 'string') return undefined;
+    try {
+      const parsed: unknown = JSON.parse(value);
+      return Array.isArray(parsed) ? parsed : undefined;
+    } catch {
+      return undefined;
+    }
+  };
+  let changed = false;
+  const next: Record<string, unknown> = { ...rec };
+  const options = parseArray(rec.options);
+  if (options) {
+    next.options = options;
+    changed = true;
+  }
+  const questions = parseArray(rec.questions);
+  if (questions) {
+    next.questions = questions.map((item) => {
+      const question = asRecord(item);
+      const questionOptions = question ? parseArray(question.options) : undefined;
+      return question && questionOptions ? { ...question, options: questionOptions } : item;
+    });
+    changed = true;
+  }
+  return (changed ? next : rec) as AskParams;
+}
+
 export function prepareAsk(params: unknown): PrepareAskResult {
   const rec = asRecord(params);
   if (!rec) return fail('Error: `question` must be a non-empty string', 'empty_question');
@@ -312,15 +340,33 @@ function withId(question: AskQuestion, answer: AskAnswer): AskAnswer {
   return question.id ? { ...answer, id: question.id } : answer;
 }
 
-/** Free-text answer behind the Other row; shared by the dialog and the typed-prompt fallback. */
-async function askOtherText(ui: AskUi, question: AskQuestion, signal?: AbortSignal): Promise<AskAnswer | undefined> {
+/** Free-text answer behind the Other row; shared by the dialog and the typed-prompt fallback. `labels`
+ *  are the rows toggled when the dialog opened Other — a multi-select custom answer keeps them.
+ *  Returns 'empty' for a blank answer so the caller can go back to the choices. */
+async function askOtherText(
+  ui: AskUi,
+  question: AskQuestion,
+  labels: readonly string[],
+  signal?: AbortSignal,
+): Promise<AskAnswer | 'empty' | undefined> {
   const typed = await ui.input(`${question.question}\n\n${CUSTOM_ANSWER_TITLE}`, '', signal ? { signal } : undefined);
-  if (typed == null || !typed.trim()) return undefined;
+  if (typed == null) return undefined;
+  const customInput = typed.trim();
+  if (!customInput) return 'empty';
+  if (question.multi && labels.length > 0) {
+    return withId(question, {
+      question: question.question,
+      kind: 'multi',
+      answer: null,
+      selected: [...labels],
+      customInput,
+    });
+  }
   return withId(question, {
     question: question.question,
     kind: 'custom',
     answer: OTHER_ANSWER,
-    customInput: typed.trim(),
+    customInput,
   });
 }
 
@@ -376,53 +422,71 @@ function parseTypedPicks(
 }
 
 /** Ask one question, both modes: the pier dialog, then the host's select dialog (single only), then
- *  the typed prompt. `ui.custom` is absent (or resolves undefined) in RPC mode, hence every rung. */
+ *  the typed prompt. `ui.custom` is absent (or resolves undefined) in RPC mode, hence every rung.
+ *  A blank Other answer goes back to the choices instead of declining the question. */
 async function askQuestion(ui: AskUi, question: AskQuestion, signal?: AbortSignal): Promise<AskAnswer | undefined> {
   const { multi } = question;
-  if (typeof ui.custom === 'function') {
-    const toggleToolsExpanded = ui.getToolsExpanded && ui.setToolsExpanded
-      ? (): void => ui.setToolsExpanded!(!ui.getToolsExpanded!())
-      : undefined;
-    const outcome = await runSelectDialog(
-      ui.custom,
-      question.question,
-      {
-        options: question.options,
-        allowOther: question.allowOther,
-        multi,
-        ...(question.recommended !== undefined ? { recommended: question.recommended } : {}),
-      },
-      { ...(signal ? { signal } : {}), ...(toggleToolsExpanded ? { toggleToolsExpanded } : {}) },
-    );
-    if (outcome?.kind === 'cancel') return undefined;
-    if (outcome?.kind === 'other') return askOtherText(ui, question, signal);
-    if (outcome?.kind === 'selected') {
-      return withId(
-        question,
-        multi
-          ? { question: question.question, kind: 'multi', answer: null, selected: outcome.labels }
-          : { question: question.question, kind: 'option', answer: outcome.labels[0]! },
+  const toggleToolsExpanded = ui.getToolsExpanded && ui.setToolsExpanded
+    ? (): void => ui.setToolsExpanded!(!ui.getToolsExpanded!())
+    : undefined;
+  let custom = typeof ui.custom === 'function' ? ui.custom : undefined;
+  let toggled: string[] = [];
+  for (;;) {
+    const dialog = custom;
+    if (dialog) {
+      const outcome = await runSelectDialog(
+        dialog,
+        question.question,
+        {
+          options: question.options,
+          allowOther: question.allowOther,
+          multi,
+          ...(question.recommended !== undefined ? { recommended: question.recommended } : {}),
+          ...(toggled.length > 0 ? { initialSelected: question.options.map((option) => toggled.includes(option.label)) } : {}),
+        },
+        { ...(signal ? { signal } : {}), ...(toggleToolsExpanded ? { toggleToolsExpanded } : {}) },
       );
+      if (outcome?.kind === 'cancel') return undefined;
+      if (outcome?.kind === 'other') {
+        const answer = await askOtherText(ui, question, outcome.labels, signal);
+        if (answer !== 'empty') return answer;
+        toggled = outcome.labels;
+        continue;
+      }
+      if (outcome?.kind === 'selected') {
+        return withId(
+          question,
+          multi
+            ? { question: question.question, kind: 'multi', answer: null, selected: outcome.labels }
+            : { question: question.question, kind: 'option', answer: outcome.labels[0]! },
+        );
+      }
+      // The host cannot render custom components (RPC mode): fall through to the typed prompt.
+      custom = undefined;
     }
+    const lines = optionLines(question);
+    const opts = signal ? { signal } : undefined;
+    // A multi question has no single-pick host dialog; its typed prompt is always the fallback.
+    const select = multi ? undefined : ui.select;
+    const hint = multi
+      ? (question.allowOther ? MULTI_INSTRUCTIONS : MULTI_NO_OTHER_INSTRUCTIONS)
+      : NUMBERED_HINT;
+    const raw = select
+      ? await select(question.question, lines, opts)
+      : await ui.input(`${question.question}\n\n${lines.join('\n')}\n\n${hint}`, multi ? '1,3' : '1', opts);
+    if (raw == null) return undefined;
+    const picks = parseTypedPicks(question, lines, raw, select === undefined);
+    if (picks === 'other') {
+      const answer = await askOtherText(ui, question, [], signal);
+      if (answer !== 'empty') return answer;
+      continue;
+    }
+    return picks?.[0];
   }
-  const lines = optionLines(question);
-  const opts = signal ? { signal } : undefined;
-  // A multi question has no single-pick host dialog; its typed prompt is always the fallback.
-  const select = multi ? undefined : ui.select;
-  const hint = multi
-    ? (question.allowOther ? MULTI_INSTRUCTIONS : MULTI_NO_OTHER_INSTRUCTIONS)
-    : NUMBERED_HINT;
-  const raw = select
-    ? await select(question.question, lines, opts)
-    : await ui.input(`${question.question}\n\n${lines.join('\n')}\n\n${hint}`, multi ? '1,3' : '1', opts);
-  if (raw == null) return undefined;
-  const picks = parseTypedPicks(question, lines, raw, select === undefined);
-  if (picks === 'other') return askOtherText(ui, question, signal);
-  return picks?.[0];
 }
 
 export function formatAskContent(details: AskDetails): string {
-  if (details.cancelled || details.answers.length === 0) return DECLINE_TEXT;
+  if (details.answers.length === 0) return DECLINE_TEXT;
   const entries = details.answers.map((answer) => {
     if (answer.kind === 'custom' && answer.answer === OTHER_ANSWER) {
       const notes = answer.customInput ? ` user notes: ${answer.customInput}` : '';
@@ -430,11 +494,15 @@ export function formatAskContent(details: AskDetails): string {
     }
     if (answer.kind === 'multi') {
       const labels = answer.selected?.length ? answer.selected.join(', ') : '(none)';
-      return `"${answer.question}"="${labels}"`;
+      const notes = answer.customInput ? ` user notes: ${answer.customInput}` : '';
+      return `"${answer.question}"="${labels}"${notes}`;
     }
     return `"${answer.question}"="${answer.answer ?? ''}"`;
   });
-  return `User has answered your questions: ${entries.join(', ')}. You can now continue with the user's answers in mind.`;
+  const answered = `User has answered your questions: ${entries.join(', ')}.`;
+  return details.cancelled
+    ? `${answered} The user declined the remaining questions — continue with these answers and your best judgment.`
+    : `${answered} You can now continue with the user's answers in mind.`;
 }
 
 export async function runAsk(spec: AskSpec, ui: AskUi, signal?: AbortSignal): Promise<AskToolResult> {

package/src/bootstrap.ts

@@ -12,6 +12,7 @@ import Group from '@deepseek-ai/cordis-plugin-group';
 import { pathToFileURL, fileURLToPath } from 'node:url';
 import * as path from 'node:path';
 import { DisposeLedger } from './ledger.ts';
+import { cordisProvide } from './cordis-services.ts';
 import { pierOption } from './pier-options.ts';
 
 export interface BootstrapHooks {
@@ -37,7 +38,7 @@ export async function createCordisApp(hooks: BootstrapHooks = {}): Promise<Cordi
   const root = new Context();
   const ledger = new DisposeLedger();
   // Inject the ledger through Cordis DI because loader transforms entry config and cannot carry live instances.
-  root.provide('pi-herdr.ledger', ledger);
+  cordisProvide(root, 'pi-herdr.ledger', ledger);
   if (hooks.onDispose) {
     root.effect(() => () => { hooks.onDispose?.(); }, 'session-root');
   }