tickmarkr 2.5.7 → 2.5.9

package/dist/tui/cockpit/evidence-view.js

@@ -1,11 +1,12 @@
 import { jsxs as _jsxs, jsx as _jsx, Fragment as _Fragment } from "react/jsx-runtime";
-import { existsSync, renameSync, statSync, unlinkSync } from "node:fs";
-import { basename, dirname, join } from "node:path";
+import { existsSync, realpathSync, renameSync, statSync, unlinkSync } from "node:fs";
+import { basename, dirname, isAbsolute, join } from "node:path";
 import { Box, useInput } from "ink";
 import { useEffect, useRef, useState } from "react";
 import { buildOperatorRecord, formatOperatorRecordRow } from "../../report/operator-record.js";
 import { EMPTY_OPERATOR_PAGE_SUMMARY, foldOperatorPages, operatorPageRow } from "../../run/operator-page-summary.js";
 import { formatJournalNarration } from "../../run/journal.js";
+import { formatReceiptResolution, resolveReceipt } from "../../run/receipt-resolver.js";
 import { BodyText, JournalRowPanel, Panel } from "./components.js";
 import { cellWidth, sliceCells } from "./width.js";
 // review.ts:485 emits `; raw saved: <path>) — failing closed`, the path immediately followed by
@@ -30,7 +31,7 @@ function stateFor(e) {
 }
 /** Pure C2-journal-to-Evidence-rows mapping: the original journal position IS the evidence identity
  *  — assigned once here, from the full unfiltered event list, never recomputed from a display slice. */
-export function deriveEvidenceJournal(eventsOrRows, source = "journal.jsonl") {
+export function deriveEvidenceJournal(eventsOrRows, source = "journal.jsonl", runRoot) {
     const result = [];
     for (let i = 0; i < eventsOrRows.length; i++) {
         const item = eventsOrRows[i];
@@ -61,6 +62,7 @@ export function deriveEvidenceJournal(eventsOrRows, source = "journal.jsonl") {
                 artifacts.push(p);
         }
         const gate = typeof e.data?.gate === "string" ? e.data.gate : (e.event === "review-leg2" ? "review" : undefined);
+        const receipts = resolveRowReceipt(e.data, runRoot ?? runRootOf(rowSource));
         result.push({
             evidence: { source: rowSource, line, id },
             time: e.ts,
@@ -68,12 +70,42 @@ export function deriveEvidenceJournal(eventsOrRows, source = "journal.jsonl") {
             text: formatJournalNarration(e),
             fullText: details || JSON.stringify(e.data, null, 2),
             artifacts,
+            receipts,
             ...(e.taskId ? { taskId: e.taskId } : {}),
             ...(gate ? { gate } : {}),
         });
     }
     return result;
 }
+/** The live cockpit names its journal by absolute path (`<state>/runs/<runId>/journal.jsonl`); that
+ *  directory IS the run root. A relative or foreign source names no root — nothing is guessed. */
+export function runRootOf(source) {
+    return source && isAbsolute(source) && basename(source) === "journal.jsonl" ? dirname(source) : undefined;
+}
+// A reused verdict's receipt stays bound to the run root that minted it; the current run's root
+// answers only for evidence this run produced. No root known → nothing can be verified. A receipt
+// the schema rejects is still a receipt the row carries: each reference it names goes through the
+// resolver and is shown with its reason, never dropped. D-279: the boundary is the run root — the
+// host's ancestors are canonicalised (macOS `/var` → `/private/var`) but the root's own name is
+// passed as recorded, so a root that IS a symlink stays visible and the resolver refuses it.
+function resolveRowReceipt(data, runRoot) {
+    const receipt = data?.evidenceReceipt;
+    if (!receipt || typeof receipt !== "object")
+        return [];
+    const refs = [receipt.stdout, receipt.stderr];
+    const recorded = typeof data?.originRunRoot === "string" && data.originRunRoot ? data.originRunRoot : runRoot;
+    let root;
+    try {
+        root = recorded ? join(realpathSync(dirname(recorded)), basename(recorded)) : undefined;
+    }
+    catch {
+        root = undefined;
+    }
+    return refs.map(ref => {
+        const path = typeof ref?.path === "string" ? ref.path : "";
+        return formatReceiptResolution(root ? resolveReceipt(ref, root) : { ok: false, path, reason: "missing" });
+    });
+}
 /** The most recent review verdict recorded for a task — by original journal position, so a merged
  *  task's review opens the row it actually happened on rather than any on-screen index. */
 export function selectTaskReview(journal, taskId) {
@@ -100,7 +132,7 @@ export function deriveEvidenceView(input) {
             const row = operatorPageRow(event, tracked ? item.line : index + 1, tracked ? item.source ?? source : source);
             return row ? [row] : [];
         })).groups,
-        journal: deriveEvidenceJournal(items, source),
+        journal: deriveEvidenceJournal(items, source, input.runRoot),
         channels: buildOperatorRecord(events, input.costs ?? []),
         reportLines: input.reportLines ?? [],
         statsLines: input.statsLines ?? [],
@@ -229,7 +261,7 @@ export function EvidenceView({ model, width, focused = true, focusEvidence, onSe
         return { id: row.evidence.id, time, state: row.state, text: clipped };
     });
     return (_jsxs(Box, { flexDirection: "column", width: width, children: [_jsxs(BodyText, { emphasis: "strong", children: ["EVIDENCE ", TABS.map((t) => (t === tab ? `[${TAB_TITLE[t]}]` : TAB_TITLE[t])).join("  "), tab === "journal" ? `  | Follow ${follow ? "on" : "off"}` : "", selectedRow ? `  | selected ${selectedRow.evidence.id}` : ""] }), tab === "journal" && (_jsxs(_Fragment, { children: [_jsx(JournalRowPanel, { title: "RAW JOURNAL", rows: journalRows, selection: selectedIndex >= 0 ? selectedIndex : undefined }), _jsx(Panel, { title: "OPERATOR PAGE GROUPS", children: model.operatorPages.length ? model.operatorPages.map((group, index) => (_jsxs(Box, { flexDirection: "column", children: [_jsxs(BodyText, { emphasis: "strong", children: [group.taskId, " \u00B7 ", group.park, " \u00B7 ", group.status] }), _jsxs(BodyText, { children: ["first ", group.firstEvidenceAt] }), _jsxs(BodyText, { children: ["last ", group.lastEvidenceAt] }), _jsxs(BodyText, { children: ["visible ", group.observedCount, " \u00B7 suppressed ", group.suppressedCount, group.rawOnly ? " · raw-only (suppression unrecorded)" : ""] }), _jsx(BodyText, { children: "Raw source lines (\u2191\u2193 select, Enter open):" }), group.lines.map(line => _jsxs(BodyText, { children: ["#L", line] }, line))] }, `${group.key}:${index}`))) : _jsx(BodyText, { emphasis: "dim", children: "no operator pages" }) }), _jsx(Panel, { title: "SELECTED EVIDENCE", children: selectedRow
-                            ? (_jsxs(_Fragment, { children: [_jsxs(BodyText, { emphasis: "dim", children: ["Original journal ", selectedRow.evidence.id] }), selectedRow.fullText.split("\n").map((line, i) => _jsx(BodyText, { children: line }, i)), _jsxs(BodyText, { emphasis: "dim", children: ["Artifacts: ", selectedRow.artifacts.length ? selectedRow.artifacts.join(", ") : "missing"] })] }))
+                            ? (_jsxs(_Fragment, { children: [_jsxs(BodyText, { emphasis: "dim", children: ["Original journal ", selectedRow.evidence.id] }), selectedRow.fullText.split("\n").map((line, i) => _jsx(BodyText, { children: line }, i)), _jsxs(BodyText, { emphasis: "dim", children: ["Artifacts: ", selectedRow.artifacts.length ? selectedRow.artifacts.join(", ") : "missing"] }), selectedRow.receipts.map((line, i) => _jsxs(BodyText, { emphasis: "dim", children: ["Receipt: ", line] }, `r${i}`))] }))
                             : _jsx(BodyText, { emphasis: "dim", children: "no history" }) })] })), tab === "report" && (_jsx(Panel, { title: "REPORT", children: model.reportLines.length
                     ? model.reportLines.map((line, i) => _jsx(BodyText, { children: line }, i))
                     : _jsx(BodyText, { emphasis: "dim", children: "no history" }) })), tab === "stats" && (_jsx(Panel, { title: "STATS", children: model.statsLines.length

package/dist/tui/cockpit/home-view.js

@@ -1,6 +1,6 @@
 import { jsx as _jsx, jsxs as _jsxs, Fragment as _Fragment } from "react/jsx-runtime";
 import { Box, useInput } from "ink";
-import { useLayoutEffect, useState } from "react";
+import { useLayoutEffect, useRef, useState } from "react";
 import { GLYPHS } from "../../brand.js";
 import { BodyText, CockpitGrid, Panel, ProgressMeter, Sparkline, StateGlyph, } from "./components.js";
 import { ABSENT_FIELD, fieldReading } from "./derive.js";
@@ -146,75 +146,90 @@ export function HomeView({ model, width, focused = true, onOpenPark, onOpenDiagn
     const maxOffset = Math.max(0, model.activity.length - 1);
     const maxSelection = Math.max(0, model.activity.length - 1);
     const safeOffset = Math.min(offset, maxOffset);
+    // Keep input ahead of the next render/effect subscription, as in EvidenceView.
+    // Render reconciles the refs with model updates; each move writes before setting state.
+    const sectionRef = useRef(effectiveSection);
+    const needsYouIndexRef = useRef(effectiveNeedsYouIndex);
+    const activityIndexRef = useRef(effectiveActivityIndex);
+    sectionRef.current = effectiveSection;
+    needsYouIndexRef.current = effectiveNeedsYouIndex;
+    activityIndexRef.current = effectiveActivityIndex;
+    const moveSection = (next) => {
+        sectionRef.current = next;
+        setSection(next);
+    };
+    const moveNeedsYou = (index) => {
+        needsYouIndexRef.current = index;
+        setNeedsYouIndex(index);
+        setSelectedNeedsYouId(model.needsYou[index]?.id);
+    };
+    const moveActivity = (index) => {
+        activityIndexRef.current = index;
+        setActivityIndex(index);
+        setSelectedEvidenceId(model.activity[index]?.evidence.id);
+    };
     useInput((_input, key) => {
         if (key.leftArrow && model.needsYou.length > 0) {
-            if (effectiveSection === "needsYou") {
-                const nextIndex = (effectiveNeedsYouIndex + 1) % model.needsYou.length;
-                setNeedsYouIndex(nextIndex);
-                setSelectedNeedsYouId(model.needsYou[nextIndex]?.id);
+            if (sectionRef.current === "needsYou") {
+                const nextIndex = (needsYouIndexRef.current + 1) % model.needsYou.length;
+                moveNeedsYou(nextIndex);
             }
             else {
-                setSection("needsYou");
+                moveSection("needsYou");
             }
         }
         if (key.rightArrow)
-            setSection("activity");
+            moveSection("activity");
         if (key.upArrow) {
-            if (effectiveSection === "needsYou") {
+            if (sectionRef.current === "needsYou") {
                 if (model.needsYou.length > 0) {
-                    const nextIndex = (effectiveNeedsYouIndex - 1 + model.needsYou.length) % model.needsYou.length;
-                    setNeedsYouIndex(nextIndex);
-                    setSelectedNeedsYouId(model.needsYou[nextIndex]?.id);
+                    const nextIndex = (needsYouIndexRef.current - 1 + model.needsYou.length) % model.needsYou.length;
+                    moveNeedsYou(nextIndex);
                 }
             }
             else {
                 if (model.activity.length > 0) {
-                    const nextIndex = Math.max(0, effectiveActivityIndex - 1);
-                    setActivityIndex(nextIndex);
-                    setSelectedEvidenceId(model.activity[nextIndex]?.evidence.id);
+                    const nextIndex = Math.max(0, activityIndexRef.current - 1);
+                    moveActivity(nextIndex);
                 }
             }
         }
         if (key.downArrow) {
-            if (effectiveSection === "needsYou") {
+            if (sectionRef.current === "needsYou") {
                 if (model.needsYou.length > 0) {
-                    const nextIndex = (effectiveNeedsYouIndex + 1) % model.needsYou.length;
-                    setNeedsYouIndex(nextIndex);
-                    setSelectedNeedsYouId(model.needsYou[nextIndex]?.id);
+                    const nextIndex = (needsYouIndexRef.current + 1) % model.needsYou.length;
+                    moveNeedsYou(nextIndex);
                 }
             }
             else {
                 if (model.activity.length > 0) {
-                    const nextIndex = Math.min(maxSelection, effectiveActivityIndex + 1);
-                    setActivityIndex(nextIndex);
-                    setSelectedEvidenceId(model.activity[nextIndex]?.evidence.id);
+                    const nextIndex = Math.min(maxSelection, activityIndexRef.current + 1);
+                    moveActivity(nextIndex);
                 }
             }
         }
         if (key.pageDown) {
             setOffset((o) => Math.max(0, o - HOME_ACTIVITY_VISIBLE_ROWS));
             if (model.activity.length > 0) {
-                const nextIndex = Math.max(0, effectiveActivityIndex - HOME_ACTIVITY_VISIBLE_ROWS);
-                setActivityIndex(nextIndex);
-                setSelectedEvidenceId(model.activity[nextIndex]?.evidence.id);
+                const nextIndex = Math.max(0, activityIndexRef.current - HOME_ACTIVITY_VISIBLE_ROWS);
+                moveActivity(nextIndex);
             }
         }
         if (key.pageUp) {
             setOffset((o) => Math.min(maxOffset, o + HOME_ACTIVITY_VISIBLE_ROWS));
             if (model.activity.length > 0) {
-                const nextIndex = Math.min(maxSelection, effectiveActivityIndex + HOME_ACTIVITY_VISIBLE_ROWS);
-                setActivityIndex(nextIndex);
-                setSelectedEvidenceId(model.activity[nextIndex]?.evidence.id);
+                const nextIndex = Math.min(maxSelection, activityIndexRef.current + HOME_ACTIVITY_VISIBLE_ROWS);
+                moveActivity(nextIndex);
             }
         }
         if (key.return) {
-            if (effectiveSection === "needsYou") {
-                const target = selectedNeedsYou;
+            if (sectionRef.current === "needsYou") {
+                const target = selectNeedsYouTarget(model, needsYouIndexRef.current);
                 if (target)
                     (target.kind === "park" ? onOpenPark : onOpenDiagnostic)(target.id);
             }
             else {
-                const row = model.activity[effectiveActivityIndex];
+                const row = model.activity[activityIndexRef.current];
                 if (row)
                     onOpenEvidence(row.evidence);
             }

package/dist/tui/cockpit/live-store.d.ts

@@ -121,6 +121,7 @@ export declare function createLiveStore(options: LiveStoreOptions): {
                     oracle: "test";
                     test: string;
                     text?: string | undefined;
+                    landing?: string | undefined;
                 } | {
                     oracle: "judge";
                     text: string;
@@ -138,6 +139,14 @@ export declare function createLiveStore(options: LiveStoreOptions): {
                     confidence?: number | undefined;
                     reason?: string | undefined;
                 }[] | undefined;
+                pins?: ({
+                    kind: "literal";
+                    text: string;
+                    glob: string;
+                } | {
+                    kind: "fixture";
+                    paths: string[];
+                })[] | undefined;
                 routingHints?: {
                     pin?: {
                         via: string;
@@ -213,6 +222,7 @@ export declare function createLiveStore(options: LiveStoreOptions): {
                     oracle: "test";
                     test: string;
                     text?: string | undefined;
+                    landing?: string | undefined;
                 } | {
                     oracle: "judge";
                     text: string;
@@ -230,6 +240,14 @@ export declare function createLiveStore(options: LiveStoreOptions): {
                     confidence?: number | undefined;
                     reason?: string | undefined;
                 }[] | undefined;
+                pins?: ({
+                    kind: "literal";
+                    text: string;
+                    glob: string;
+                } | {
+                    kind: "fixture";
+                    paths: string[];
+                })[] | undefined;
                 routingHints?: {
                     pin?: {
                         via: string;

package/dist/tui/ink/fleet-app.d.ts

@@ -1,14 +1,10 @@
 import { type AuthHealth, type WorkerAdapter } from "../../adapters/types.js";
-import type { MapEntry, RoutingMode, Tier, TickmarkrConfig } from "../../config/config.js";
+import { type DenyScopeKey, type InitialDenyProps, type MapEntry, type RoutingMode, type StagedDenyKey, type Tier, type TickmarkrConfig } from "../../config/config.js";
 import { type Shape } from "../../graph/schema.js";
 export type FleetSteeringKey = "review" | "consult";
-export type FleetEditorState = {
-    denyAdapters: string[];
-    denyModels: string[];
+export type FleetEditorState = Record<DenyScopeKey, string[]> & {
     /** OBS-1046: the staged routing.allow complement, distinct from the authored deny lists above */
     allowOut?: string[];
-    denyWorkersAdapters: string[];
-    denyWorkersModels: string[];
     classifications: FleetClassification[];
     selectedMode: RoutingMode;
     map: Record<string, MapEntry>;
@@ -63,15 +59,15 @@ export type FleetModelEvidence = {
     /** OBS-972/FL-1: a floating alias's resolved concrete model id (e.g. "opus" → "claude-opus-5") */
     identity?: string;
 };
-/** The four staged deny sets every preview and the staged routing policy are computed from. */
-export type FleetStagedDeny = {
-    adapters: string[];
-    models: string[];
-    workersAdapters: string[];
-    workersModels: string[];
+/** OBS-1099 add.1: the staged deny list of every schema-enumerated scope — keyed by the scope
+ * key minus its `deny` prefix (denyWorkersAdapters → workersAdapters) — every preview and the
+ * staged routing policy are computed from; a scope the schema gains is a key here, not a hand field. */
+export type FleetStagedDeny = Record<StagedDenyKey, string[]> & {
     /** OBS-1046: the staged routing.allow complement; absent ⇒ the session's initial one */
     allowOut?: string[];
 };
+/** every scope's staged list, empty — the "every policy scope open" probe the picker lifts against */
+export declare const openStagedDeny: () => FleetStagedDeny;
 export type FleetModelGroup = {
     adapter: string;
     vendor?: string;
@@ -112,6 +108,8 @@ export type FleetCandidateOption = {
         via: string;
         model: string;
     };
+    /** ranked only after the shape's advisory floor was dropped (candidates.ts) — never lift-eligible */
+    belowFloor?: boolean;
 };
 export declare function formatDoctorAge(ageMs: number | null): string;
 export type FleetReach = "in" | "out-workers" | "out-all" | "out-allow" | "unknown";
@@ -123,15 +121,11 @@ export type FleetStagedRouting = {
     ok: false;
     error: string;
 };
-export declare function FleetApp({ ageMs, agents, initialDenyAdapters, initialDenyModels, initialAllowOut, initialDenyWorkersAdapters, initialDenyWorkersModels, modelGroups, initialMode, modeOptions, initialMap, modePreview, shapeRows, candidatesForShape, preferOptionsForShape, initialSteering, steeringOptionsFor, reviewOverlay, reloadGuard, stagedRouting, entry, initialJudge, judgeSeats, viewRows, frameColumns, frameRows, }: {
+export declare function FleetApp({ ageMs, agents, initialAllowOut, modelGroups, initialMode, modeOptions, initialMap, modePreview, shapeRows, candidatesForShape, preferOptionsForShape, initialSteering, steeringOptionsFor, reviewOverlay, reloadGuard, stagedRouting, entry, initialJudge, judgeSeats, viewRows, frameColumns, frameRows, ...initialDenyProps }: InitialDenyProps & {
     ageMs: number | null;
     agents: AgentCli[];
-    initialDenyAdapters: string[];
-    initialDenyModels: string[];
     /** OBS-1046: adapter ids and adapter:model keys routing.allow leaves out of the fleet */
     initialAllowOut?: string[];
-    initialDenyWorkersAdapters?: string[];
-    initialDenyWorkersModels?: string[];
     modelGroups: FleetModelGroup[];
     initialMode: RoutingMode;
     modeOptions: FleetModeOption[];
@@ -163,16 +157,12 @@ export declare function FleetApp({ ageMs, agents, initialDenyAdapters, initialDe
     /** terminal height — set only on a real TTY so the footer sticks to the bottom */
     frameRows?: number;
 }): import("react").JSX.Element;
-export declare function runFleetInkEditor({ ageMs, adapters, health, initialDenyAdapters, initialDenyModels, initialAllowOut, initialDenyWorkersAdapters, initialDenyWorkersModels, modelGroups, initialMode, modeOptions, initialMap, modePreview, shapeRows, candidatesForShape, preferOptionsForShape, initialSteering, steeringOptionsFor, reviewOverlay, reloadGuard, stagedRouting, entry, initialJudge, judgeSeats, initialInput, input, output, debug, }: {
+export declare function runFleetInkEditor({ ageMs, adapters, health, initialAllowOut, modelGroups, initialMode, modeOptions, initialMap, modePreview, shapeRows, candidatesForShape, preferOptionsForShape, initialSteering, steeringOptionsFor, reviewOverlay, reloadGuard, stagedRouting, entry, initialJudge, judgeSeats, initialInput, input, output, debug, ...initialDenyProps }: InitialDenyProps & {
     ageMs: number | null;
     adapters: WorkerAdapter[];
     health: Record<string, AuthHealth>;
-    initialDenyAdapters: string[];
-    initialDenyModels: string[];
     /** OBS-1046: adapter ids and adapter:model keys routing.allow leaves out of the fleet */
     initialAllowOut?: string[];
-    initialDenyWorkersAdapters?: string[];
-    initialDenyWorkersModels?: string[];
     modelGroups: FleetModelGroup[];
     initialMode: RoutingMode;
     modeOptions: FleetModeOption[];