@pi-unipi/unipi 3.0.0-alpha.14 → 3.0.0-alpha.16

package/CHANGELOG.md

@@ -6,6 +6,36 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).
 
 ## [Unreleased]
 
+## [3.0.0-alpha.16] — 2026-09-30
+
+### Added
+- `core`: **turn arbiter** — one `agent_before_settle` decision point for the whole suite: nudge providers propose at most one continuation per settle (long-horizon owner 100 > kanboard claims 50 > autowork-next 40), wait sources (running bg wake, busy sidekick, background subagent) veto, outcome/pending/already-continuing short-circuit, providers are time-boxed and failure-proof, and everything lives behind a `Symbol.for` holder that is a no-op in child processes. Ships with `decideSettle`/`registerNudgeProvider`/`registerWaitSource`/`onSettleDecision` exports and tests.
+- `core`: **evidence contributors** — `registerEvidenceContributor(name, fn)` + `gatherEvidence()` (each contributor time-boxed, a throw contributes nothing); `core` also gains `long-horizon-owner-status` and `kanboard-status` shared holders (same `Symbol.for` pattern as fusion status) for the footer and cross-module reads.
+- `kanboard`: **monitor nudges** — a priority-50/40 provider that continues this session's own In Progress claims (`↻ UNI-30 still In Progress — continue, or finish/block it (n/5)`) and, in autowork, offers the next ready task; question heuristic (the agent asked something → notice only), stall guard after 2 idle nudged runs, hard caps (5 nudges/task, 3 offers/task), deference to an active long-horizon owner, notices when a goal stops paused/budget with claims open, and disarm on Esc. Notices are user-only custom entries plus a toast — never model context.
+- `kanboard`: **transcript badges + footer `▣`** — successful lead `start`/`finish`/`move … blocked` append user-only entries (`▣ UNI-30 started`, `✓ UNI-30 → In Review`, `⊘ UNI-30 blocked: <comment≤80>`), and the glance title shows `▣ UNI-30`, `▣ UNI-30 +1`, `▣ autowork` or `▣ UNI-30 · autowork` from the shared status holder.
+- `kanboard`: **session identity + resume notice + shutdown release** — the session id is now `pi-<pi session id>` (stable across `-c`/`-r`, children keep the inherited value); startup reaps claims whose pid died and notifies once (`UNI-30 was released when the last run ended — ask me to re-start it`); `session_shutdown` releases this session's open claims to Todo with `released: session ended mid-task (<session>)` (system actor — agents cannot release).
+- `long-horizon`: **goal evidence contributors** — a goal completion claim is gathered against cross-module evidence first; any blocking item (e.g. an open kanboard claim) forces `not_met` with `missing` set, without paying for an evaluator call; non-blocking notes ride the evidence brief.
+
+### Changed
+- `kanboard`: **the session works board tasks itself — the runner is gone.** `/unipi:kanboard-do` now grants a budget: `doTasks` task slots (each `start` uses one) and `doWrites` board writes (add, edit, link, order, move backlog↔todo, note on tasks you don't hold); reads, `finish`, `move <ID> blocked --comment` and `note` on tasks this session started are always free; budgets persist across turns, `-do` tops up without stacking, and the doText states the pre-flight rule (need more tasks than slots → start nothing and ask). Settings `doTasks` (5) / `doWrites` (10) replace `doCredits` (a stored value migrates); `queueMax` is gone.
+- `kanboard`: **autowork is a session mode** — `/unipi:kanboard-autowork start` lifts the budgets and the monitor keeps offering the next ready task in this session (any mode the agent chooses); `stop` turns the offers off without aborting the current turn; the same stall rule and a 3-offers-per-task cap end it with an `autowork done · N in review · M blocked` notice.
+- `kanboard`: **children are read-only** — fusion sidekicks and subagents may read the board but every write is refused with "board writes are the lead's job — report this to the lead"; reminders are silent there too. R2 (turn-end follow-up) is removed — continuation is the monitor's job; R1 (start-before-edit steer) stays.
+- `long-horizon`: **no owners inside children** — the gate resolves mode `none` (source `child`) without consulting the judge, and owner activation is refused with "do the work and report back to the lead"; escape hatch `UNIPI_LH_ALLOW_CHILD=1`. Continuation and ralph messages ride a one-slot nudge stash delivered by the arbiter (kickoff append-only; timer wakes stay direct sends); owner transitions publish to the shared status holder kanboard reads.
+- `background-tasks` / `fusion` / `subagents`: register arbiter wait sources, so a pending wake, a non-blocking sidekick handoff or a running background subagent defers nudges until the event lands.
+
+### Removed
+- `kanboard`: the task **runner** and everything that served it — `queue`/`unqueue`/`claim-next`/`set-run` subcommands, per-task `--strategy`/`--plan` labels (jev routing included), the session queue and its drain, the runner compaction brief, and the `queueMax` setting. The refused subcommands answer "removed: the session works tasks itself (no runner/queue/strategy)"; the Rust binary still accepts them until the phase-2 binary release.
+
+### Fixed
+- `utility` (simple render style): the reply panel has exactly one blank pad row between the `─ summary ─` rule and the reply text (and before the closing rule) — the edge-blank trim had left the `●` text flush under the rule.
+
+## [3.0.0-alpha.15] — 2026-09-30
+
+### Fixed
+- `utility` (simple render style): a hidden-thinking run inside a thinking+text step no longer leaves blank rows — pi wraps the (empty) label in escapes that survive its own blank check, so a step showed up to three stray blank rows above its text; whitespace-only children and the spacer after each are now dropped before painting.
+- `utility` (simple render style): resumed and re-rendered sessions (resume, boundary-compaction re-render) rebuild tool groups from the rendered transcript order — replayed calls never fired group-break events, so every row landed in one flat group and only the last component painted.
+- `utility` (simple render style): compact spacing — pi's leading spacer row on every content-bearing assistant message is trimmed: no stray blank below custom badges (`▌ Memory recall …`), above mid-turn text, and no painted pad row under the `─ summary ─` rule inside the reply panel. Dropped edge rows keep their OSC-133 prompt-zone markers.
+
 ## [3.0.0-alpha.14] — 2026-09-30
 
 ### Added

package/docs/prefix-cache-architecture.md

@@ -86,3 +86,17 @@ UniPi's `/unipi:prefix-cache` diagnostic observes this provider-native boundary
 ## Compaction
 
 UniPi currently performs deterministic, zero-LLM compaction. Therefore it does not issue a second summarizer request whose prefix needs warming. UniPi's additional percentage trigger is disabled by default; Pi core's reserve-token safety trigger remains active unless the user changes Pi settings. With Pi 0.84.1 defaults, core compaction triggers above `contextWindow - 16,384` estimated tokens and retains approximately 20,000 recent tokens. Enabling UniPi's optional 80% trigger intentionally trades earlier epoch resets for more headroom, with cooldown and minimum-growth guards against repeat compaction. If LLM summarization is introduced, the summarization call must replay the current conversation's exact system prompt, ordered tools, and leading messages, then append the compaction instruction as the final user message. Replacing the system prompt with a special summarizer prompt would throw away the warm prefix at the most expensive point in the session.
+
+## Continuation nudges (turn arbiter)
+
+Long-horizon and kanboard continuations ride **tail `custom_message` entries**
+delivered by core's turn arbiter at `agent_before_settle`
+(`packages/core/src/turn/arbiter.ts`): the previous request's prefix — system
+prompt, tool definitions, prior messages — is untouched, and the nudge is
+appended as one new tail entry before the continuation request. The nudge text
+is **deterministic** for a given state (claim id, nudge counters, mode), so a
+re-offer of the same nudge reproduces the same tail. Nudges never change the
+system prompt and never reorder tools; providers that were mid-flight when the
+nudge was proposed keep their exact surface. The long-horizon kickoff/continuation
+messages live in a one-slot stash (overwritten, kickoff append-only) so at most
+one deterministic tail message is added per settle.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pi-unipi/unipi",
-  "version": "3.0.0-alpha.14",
+  "version": "3.0.0-alpha.16",
   "description": "All-in-one extension suite for Pi coding agent",
   "type": "module",
   "license": "MIT",
@@ -82,26 +82,26 @@
     "typebox": "^1.1.38"
   },
   "dependencies": {
-    "@pi-unipi/ask-user": "3.0.0-alpha.14",
-    "@pi-unipi/background-tasks": "3.0.0-alpha.14",
-    "@pi-unipi/btw": "3.0.0-alpha.14",
-    "@pi-unipi/command-enchantment": "3.0.0-alpha.14",
-    "@pi-unipi/compactor": "3.0.0-alpha.14",
-    "@pi-unipi/core": "3.0.0-alpha.14",
-    "@pi-unipi/footer": "3.0.0-alpha.14",
-    "@pi-unipi/fusion": "3.0.0-alpha.14",
-    "@pi-unipi/info-screen": "3.0.0-alpha.14",
-    "@pi-unipi/input-shortcuts": "3.0.0-alpha.14",
-    "@pi-unipi/kanboard": "3.0.0-alpha.14",
-    "@pi-unipi/mcp": "3.0.0-alpha.14",
-    "@pi-unipi/memory": "3.0.0-alpha.14",
-    "@pi-unipi/notify": "3.0.0-alpha.14",
-    "@pi-unipi/skill-registry": "3.0.0-alpha.14",
-    "@pi-unipi/subagents": "3.0.0-alpha.14",
-    "@pi-unipi/updater": "3.0.0-alpha.14",
-    "@pi-unipi/utility": "3.0.0-alpha.14",
-    "@pi-unipi/web-api": "3.0.0-alpha.14",
-    "@pi-unipi/workflow": "3.0.0-alpha.14"
+    "@pi-unipi/ask-user": "3.0.0-alpha.16",
+    "@pi-unipi/background-tasks": "3.0.0-alpha.16",
+    "@pi-unipi/btw": "3.0.0-alpha.16",
+    "@pi-unipi/command-enchantment": "3.0.0-alpha.16",
+    "@pi-unipi/compactor": "3.0.0-alpha.16",
+    "@pi-unipi/core": "3.0.0-alpha.16",
+    "@pi-unipi/footer": "3.0.0-alpha.16",
+    "@pi-unipi/fusion": "3.0.0-alpha.16",
+    "@pi-unipi/info-screen": "3.0.0-alpha.16",
+    "@pi-unipi/input-shortcuts": "3.0.0-alpha.16",
+    "@pi-unipi/kanboard": "3.0.0-alpha.16",
+    "@pi-unipi/mcp": "3.0.0-alpha.16",
+    "@pi-unipi/memory": "3.0.0-alpha.16",
+    "@pi-unipi/notify": "3.0.0-alpha.16",
+    "@pi-unipi/skill-registry": "3.0.0-alpha.16",
+    "@pi-unipi/subagents": "3.0.0-alpha.16",
+    "@pi-unipi/updater": "3.0.0-alpha.16",
+    "@pi-unipi/utility": "3.0.0-alpha.16",
+    "@pi-unipi/web-api": "3.0.0-alpha.16",
+    "@pi-unipi/workflow": "3.0.0-alpha.16"
   },
   "devDependencies": {
     "@earendil-works/pi-agent-core": "^0.87.1",

package/packages/ask-user/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pi-unipi/ask-user",
-  "version": "3.0.0-alpha.14",
+  "version": "3.0.0-alpha.16",
   "description": "Structured user input tool for Pi coding agent — single-select, multi-select, freeform",
   "type": "module",
   "main": "index.ts",
@@ -40,7 +40,7 @@
     "access": "public"
   },
   "dependencies": {
-    "@pi-unipi/core": "3.0.0-alpha.14"
+    "@pi-unipi/core": "3.0.0-alpha.16"
   },
   "peerDependencies": {
     "@earendil-works/pi-coding-agent": "^0.87.1",

package/packages/autocomplete/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pi-unipi/command-enchantment",
-  "version": "3.0.0-alpha.14",
+  "version": "3.0.0-alpha.16",
   "description": "Enhanced TUI autocomplete for /unipi:* commands — colored, sorted, and grouped by package",
   "type": "module",
   "main": "src/index.ts",

package/packages/background-tasks/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pi-unipi/background-tasks",
-  "version": "3.0.0-alpha.14",
+  "version": "3.0.0-alpha.16",
   "description": "Background tasks for UniPi — durable shell jobs and delegated background agents with a footer dock",
   "type": "module",
   "main": "src/index.ts",
@@ -10,7 +10,7 @@
   },
   "dependencies": {
     "@earendil-works/pi-ai": "^0.87.1",
-    "@pi-unipi/core": "3.0.0-alpha.14",
+    "@pi-unipi/core": "3.0.0-alpha.16",
     "turndown": "^7.2.4"
   },
   "devDependencies": {

package/packages/background-tasks/src/index.ts

@@ -10,7 +10,7 @@
  */
 
 import type { ExtensionAPI, ExtensionContext } from "@earendil-works/pi-coding-agent";
-import { createSpinnerLine, setHerdrWorking } from "@pi-unipi/core";
+import { createSpinnerLine, isChildProcess, registerWaitSource, setHerdrWorking } from "@pi-unipi/core";
 import { loadBackgroundTasksConfig } from "./config.js";
 import { BackgroundTaskRegistry } from "./registry.js";
 import {
@@ -43,6 +43,15 @@ function pendingWakeText(registry: BackgroundTaskRegistry, isIdle: () => boolean
   return `waiting on ${count}${detail} — agent resumes automatically when done`;
 }
 
+/** Arbiter wait-source reason (lead only): what a running wake-task is, or null. */
+export function pendingWakeReason(tasks: readonly { status: string; triggerOnCompletion: boolean; command?: string; name?: string; description?: string; id?: string }[]): string | null {
+  const pendingWake = tasks.filter((task) => task.status === "running" && task.triggerOnCompletion);
+  if (pendingWake.length === 0) return null;
+  const first = pendingWake[0];
+  const more = pendingWake.length > 1 ? ` +${String(pendingWake.length - 1)} more` : "";
+  return `bg: ${first === undefined ? "task" : taskDisplayName(first)}${more}`;
+}
+
 export default function backgroundTasksExtension(pi: ExtensionAPI): void {
   const { config, warnings } = loadBackgroundTasksConfig(process.cwd());
 
@@ -76,6 +85,16 @@ export default function backgroundTasksExtension(pi: ExtensionAPI): void {
   });
   setSharedTaskRegistry(registry);
 
+  // Turn-arbiter wait source (lead only): while a task that will wake the
+  // agent is still running, a nudge would race the wake — defer to it.
+  if (!isChildProcess()) {
+    try {
+      registerWaitSource("background-tasks", () => pendingWakeReason(registry.allTasks()));
+    } catch {
+      // Registration must never block module load.
+    }
+  }
+
   const eventService: BackgroundTaskExtensionService = installBackgroundTaskExtensionApi({
     events: pi.events,
     registry,

package/packages/btw/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pi-unipi/btw",
-  "version": "3.0.0-alpha.14",
+  "version": "3.0.0-alpha.16",
   "description": "A pi extension for parallel side conversations with /unipi:btw — part of the Unipi suite",
   "type": "module",
   "main": "extensions/btw.ts",
@@ -37,7 +37,7 @@
     "@earendil-works/pi-tui": "^0.87.1"
   },
   "dependencies": {
-    "@pi-unipi/core": "3.0.0-alpha.14"
+    "@pi-unipi/core": "3.0.0-alpha.16"
   },
   "pi": {
     "extensions": [

package/packages/compactor/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pi-unipi/compactor",
-  "version": "3.0.0-alpha.14",
+  "version": "3.0.0-alpha.16",
   "description": "Compaction for Pi — lossless zero-LLM or model summaries, rebuilt from full history, with session recall",
   "type": "module",
   "main": "src/index.ts",
@@ -33,8 +33,8 @@
     "access": "public"
   },
   "dependencies": {
-    "@pi-unipi/core": "3.0.0-alpha.14",
-    "@pi-unipi/info-screen": "3.0.0-alpha.14",
+    "@pi-unipi/core": "3.0.0-alpha.16",
+    "@pi-unipi/info-screen": "3.0.0-alpha.16",
     "@earendil-works/pi-agent-core": "^0.87.1"
   },
   "peerDependencies": {

package/packages/core/index.ts

@@ -14,8 +14,12 @@ export * from "./bounded-output.js";
 export * from "./spinner-line.js";
 export * from "./fusion-status.js";
 export * from "./long-horizon-status.js";
+export * from "./long-horizon-owner-status.js";
+export * from "./kanboard-status.js";
 export * from "./plan-permission-status.js";
 export * from "./command-echo.js";
+export * from "./src/turn/arbiter.js";
+export * from "./src/evidence.js";
 
 // v3 workspace identity + state layout (marker-file id, per-workspace roots)
 export * from "./src/workspace/identity.js";

package/packages/core/kanboard-status.ts

@@ -0,0 +1,49 @@
+/**
+ * @pi-unipi/core — shared kanboard status
+ *
+ * The kanboard package owns the session's board claims and autowork flag;
+ * the footer package owns the glance title segment that should display them
+ * (`▣ UNI-30`, `▣ UNI-30 +1`, `▣ autowork`). Same Symbol.for global pattern
+ * as fusion-status: published by kanboard after board changes and at each
+ * settle, pulled by the footer every render.
+ */
+
+export interface SharedKanboardStatus {
+	/** Ids this session holds In Progress (board order). */
+	claims: string[];
+	/** Autowork is on: the arbiter keeps offering the next ready task. */
+	autowork: boolean;
+}
+
+const KEY = Symbol.for("unipi.kanboard.status");
+
+type Holder = { status?: SharedKanboardStatus | undefined };
+
+function holder(): Holder {
+	const g = globalThis as { [KEY]?: Holder };
+	g[KEY] ??= {};
+	return g[KEY] as Holder;
+}
+
+/** Publish the current claims/autowork snapshot (undefined clears it). */
+export function setSharedKanboardStatus(status: SharedKanboardStatus | undefined): void {
+	holder().status = status;
+}
+
+/** Read the current snapshot, or undefined when kanboard never published. */
+export function getSharedKanboardStatus(): SharedKanboardStatus | undefined {
+	return holder().status;
+}
+
+/** Glance label for a snapshot: `▣ UNI-30`, `▣ UNI-30 +1`, `▣ autowork`,
+ *  `▣ UNI-30 · autowork`. Null when there is nothing to show. */
+export function kanboardGlanceLabel(status: SharedKanboardStatus | null | undefined): string | null {
+	if (!status) return null;
+	const { claims, autowork } = status;
+	if (claims.length === 0 && !autowork) return null;
+	const claimPart =
+		claims.length === 0 ? null : claims.length === 1 ? claims[0]! : `${claims[0]} +${String(claims.length - 1)}`;
+	const autoworkPart = autowork ? "autowork" : null;
+	const body = [claimPart, autoworkPart].filter(Boolean).join(" · ");
+	return `▣ ${body}`;
+}

package/packages/core/long-horizon-owner-status.ts

@@ -0,0 +1,46 @@
+/**
+ * @pi-unipi/core — shared long-horizon owner status
+ *
+ * The long-horizon package owns the automation owner lifecycle; kanboard's
+ * monitor (step 4) needs to defer to an active owner and to notice one that
+ * STOPPED this run ("goal paused — UNI-30 left In Progress"). Same
+ * Symbol.for global pattern as long-horizon-status: published on every owner
+ * transition, pulled by readers whenever they settle.
+ */
+
+export interface SharedOwnerStatus {
+	/** Current owner, when one exists (active, or parked in the single slot). */
+	owner?: { kind: string; status: "active" | "parked" };
+	/** Last owner stop. Kanboard compares `at` against its turn-start marker. */
+	lastStop?: { kind: "complete" | "paused" | "budget" | "other"; at: number };
+}
+
+const KEY = Symbol.for("unipi.longHorizon.ownerStatus");
+
+type Holder = { status?: SharedOwnerStatus | undefined };
+
+function holder(): Holder {
+	const g = globalThis as { [KEY]?: Holder };
+	g[KEY] ??= {};
+	return g[KEY] as Holder;
+}
+
+/** Publish the current owner (undefined clears it — no owner active or parked). */
+export function setSharedOwner(owner: SharedOwnerStatus["owner"]): void {
+	const h = holder();
+	h.status ??= {};
+	if (owner === undefined) delete h.status.owner;
+	else h.status.owner = owner;
+}
+
+/** Record that an owner stopped, with the mapped terminal kind. */
+export function markSharedOwnerStopped(kind: "complete" | "paused" | "budget" | "other"): void {
+	const h = holder();
+	h.status ??= {};
+	h.status.lastStop = { kind, at: Date.now() };
+}
+
+/** Read the published status, or undefined before the first transition. */
+export function getSharedOwnerStatus(): SharedOwnerStatus | undefined {
+	return holder().status;
+}

package/packages/core/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pi-unipi/core",
-  "version": "3.0.0-alpha.14",
+  "version": "3.0.0-alpha.16",
   "description": "Shared utilities, event types, and constants for Unipi extension suite",
   "type": "module",
   "license": "MIT",

package/packages/core/src/evidence.ts

@@ -0,0 +1,78 @@
+/**
+ * Evidence contributors — how other modules hand the long-horizon verifier
+ * hard signals about work outside the transcript.
+ *
+ * Kanboard (step 4) registers one so a goal cannot complete while this
+ * session still holds an In Progress claim. Contributors are time-boxed and
+ * a throw counts as no contribution — evidence must never break settlement.
+ */
+
+export interface EvidenceContribution {
+	blocking: string[];
+	notes: string[];
+}
+
+export type EvidenceContributor = () => Promise<EvidenceContribution>;
+
+const KEY = Symbol.for("unipi.evidence.contributors");
+
+interface Holder {
+	contributors: Map<string, EvidenceContributor>;
+}
+
+function holder(): Holder {
+	const g = globalThis as { [KEY]?: Holder };
+	g[KEY] ??= { contributors: new Map() };
+	return g[KEY] as Holder;
+}
+
+/** Register a named contributor; re-registering a name replaces it. */
+export function registerEvidenceContributor(
+	name: string,
+	contributor: () => Promise<EvidenceContribution>,
+): () => void {
+	const h = holder();
+	h.contributors.set(name, contributor);
+	return () => {
+		const current = h.contributors.get(name);
+		if (current === contributor) h.contributors.delete(name);
+	};
+}
+
+/** Test/holder introspection hook. */
+export function resetEvidenceForTests(): void {
+	holder().contributors.clear();
+}
+
+/**
+ * Gather every contribution, each time-boxed; a throw or timeout contributes
+ * nothing. `blocking` items force a `not_met` verdict downstream; `notes`
+ * ride the evidence brief as context.
+ */
+export async function gatherEvidence(timeoutMs = 2_000): Promise<EvidenceContribution> {
+	const contributors = [...holder().contributors.values()];
+	if (contributors.length === 0) return { blocking: [], notes: [] };
+	const blocking: string[] = [];
+	const notes: string[] = [];
+	await Promise.all(
+		contributors.map(async (contributor) => {
+			let timer: ReturnType<typeof setTimeout> | undefined;
+			try {
+				const contribution = await Promise.race([
+					Promise.resolve(contributor()),
+					new Promise<null>((resolve) => {
+						timer = setTimeout(() => resolve(null), timeoutMs);
+					}),
+				]);
+				if (contribution === null) return;
+				blocking.push(...contribution.blocking);
+				notes.push(...contribution.notes);
+			} catch {
+				// A failed contributor is no contribution.
+			} finally {
+				if (timer !== undefined) clearTimeout(timer);
+			}
+		}),
+	);
+	return { blocking, notes };
+}