@khorsheed/dsh-context-lens 0.0.0-stage → 0.1.0

package/lib/types/client/ChangeList.js

@@ -0,0 +1,109 @@
+import { jsxs as _jsxs, jsx as _jsx, Fragment as _Fragment } from "react/jsx-runtime";
+/**
+ * The cache section's break line and change list. Each card names the host
+ * fact behind it (replacement, compaction, prune, or a bare id-level
+ * remove/add), shows its producer verbatim, and expands into the exact
+ * difference; the card where the prefix first differs carries the break mark
+ * and opens by default. Jumps go to the module that owns the detail (the
+ * composition filter, the compaction request, the pre-prune request).
+ */
+import { useState } from 'react';
+import { fmt, fmtSpan, requestNumberText } from "./aggregate.js";
+import { categoryLabelKey } from "./SegmentBlocks.js";
+import css from './ChangeList.module.css';
+const pad = (index) => String(index).padStart(3, '0');
+function range(rows) {
+    if (rows.length === 0)
+        return '';
+    const indexes = rows.map(row => row.index);
+    const lo = Math.min(...indexes), hi = Math.max(...indexes);
+    return lo === hi ? pad(lo) : `${pad(lo)}–${pad(hi)}`;
+}
+const sum = (rows) => rows.reduce((n, row) => n + row.chars, 0);
+/** One-line character diff: shared context, then what left and what arrived. */
+export function InlineDiff({ text, t }) {
+    const leading = `${text.leadingOmitted ? '…' : ''}${text.leading}`;
+    const trailing = `${text.trailing}${text.trailingOmitted ? '…' : ''}`;
+    return _jsxs(_Fragment, { children: [_jsxs("pre", { className: css.diff, children: [leading, text.removedChars > 0 && _jsxs("del", { children: [text.removed, text.removedChars > 160 ? '…' : ''] }), text.addedChars > 0 && _jsxs("ins", { children: [text.added, text.addedChars > 160 ? '…' : ''] }), trailing, !leading && !trailing && text.removedChars === 0 && text.addedChars === 0 && t('lens.diffEmpty')] }), (text.removedChars > 160 || text.addedChars > 160) && _jsx("span", { className: css.meta, children: t('lens.diffTruncated') })] });
+}
+function Size({ minus, plus }) {
+    return _jsxs("span", { className: css.size, children: [minus > 0 && _jsxs("span", { className: css.minus, children: ["\u2212", fmt(minus)] }), minus > 0 && plus > 0 && ' ', plus > 0 && _jsxs("span", { className: css.plus, children: ["+", fmt(plus)] })] });
+}
+function Rows({ label, rows, gone, t }) {
+    if (rows.length === 0)
+        return null;
+    return _jsxs("div", { className: css.rowsBlock, children: [_jsx("span", { className: css.rowsLabel, children: label }), _jsx("div", { className: css.rows, children: rows.map(row => _jsxs("div", { className: gone ? css.rowGone : css.row, children: [_jsxs("span", { className: css.rowIdx, children: [pad(row.index), " ", t(categoryLabelKey(row.category))] }), _jsx("span", { className: css.rowText, title: row.preview, children: row.preview || t('lens.diffEmpty') }), _jsx("span", { className: css.rowChars, children: fmt(row.chars) })] }, `${row.index}-${row.messageId ?? ''}`)) })] });
+}
+function titleOf(change, t) {
+    if (change.system)
+        return change.section === undefined ? t('chg.system') : `${t('chg.system')} · ${t('chg.section', { section: change.section })}`;
+    const from = change.removed.length, to = change.added.length;
+    switch (change.kind) {
+        case 'compaction': return t('chg.compacted', { from: String(from) });
+        case 'prune': return t('chg.pruned', { source: change.added[0]?.source ?? change.removed[0]?.source ?? '' });
+        case 'remove': return t('chg.n', { count: String(from) });
+        case 'add': return t('chg.n', { count: String(to) });
+        default: return to === 0 ? t('chg.toEmpty', { from: String(from) }) : t('chg.nToM', { from: String(from), to: String(to) });
+    }
+}
+function whereOf(change, t) {
+    const rows = change.added.length > 0 ? change.added : change.removed;
+    const parts = [t('chg.messages', { range: range(rows) })];
+    if (change.eventSeq !== undefined && change.replacedSeqs !== undefined)
+        parts.push(t('chg.seq', { seq: String(change.eventSeq), replaced: change.replacedSeqs.join('、') }));
+    return parts.join(' · ');
+}
+function sourceOf(change) {
+    if (change.source !== undefined)
+        return change.source.op === undefined ? change.source.kind : `${change.source.kind} · ${change.source.op}`;
+    const sources = [...new Set([...change.removed, ...change.added].map(row => row.source))];
+    return sources.length === 0 ? undefined : sources.join(' · ');
+}
+function Card({ chip, kind, title, where, source, size, isBreak, children, t }) {
+    const [open, setOpen] = useState(isBreak);
+    return _jsxs("div", { className: isBreak ? css.cardBreak : css.card, children: [_jsxs("button", { type: "button", className: css.head, "aria-expanded": open, onClick: () => setOpen(v => !v), children: [_jsx("span", { className: css.kind, "data-kind": kind, children: chip }), _jsxs("span", { className: css.where, children: [_jsxs("b", { children: [title, isBreak && _jsx("span", { className: css.flag, children: t('chg.break') })] }), _jsxs("span", { children: [where, source !== undefined && _jsxs(_Fragment, { children: [" \u00B7 ", _jsx("code", { className: css.src, children: source })] })] })] }), size, _jsx("span", { className: css.chev, "aria-hidden": "true", children: "\u203A" })] }), open && _jsx("div", { className: css.body, children: children })] });
+}
+function MessageCard({ change, prefix, onOpenRequest, onShowCategory, t }) {
+    const minus = change.text ? change.text.removedChars : sum(change.removed);
+    const plus = change.text ? change.text.addedChars : sum(change.added);
+    const previous = requestNumberText({ requestNumber: prefix.previousRequestNumber });
+    return _jsxs(Card, { chip: t(`chg.kind.${change.kind}`), kind: change.kind, title: titleOf(change, t), where: whereOf(change, t), source: sourceOf(change), size: _jsx(Size, { minus: minus, plus: plus }), isBreak: change.isBreak === true, t: t, children: [change.text && _jsx(InlineDiff, { text: change.text, t: t }), change.system && change.parts && _jsx("div", { className: css.parts, children: change.parts.map((part, i) => _jsxs("div", { children: [_jsx("span", { className: css.rowIdx, children: part.eventSeq === undefined ? t(`chg.kind.${part.kind}`) : `seq ${part.eventSeq}` }), _jsx("span", { children: part.replacedSeqs === undefined
+                                ? t(part.added.length > 0 ? 'chg.partAdd' : 'chg.partRemove', { range: range(part.added.length > 0 ? part.added : part.removed) })
+                                : part.added.length === 0
+                                    ? t('chg.partEmptied', { replaced: part.replacedSeqs.join('、'), range: range(part.removed) })
+                                    : t('chg.partReplaced', { replaced: part.replacedSeqs.join('、'), range: range(part.added) }) })] }, i)) }), !change.system && !change.text && _jsxs(_Fragment, { children: [_jsx(Rows, { label: t('chg.out'), rows: change.removed, gone: true, t: t }), _jsx(Rows, { label: t('chg.in'), rows: change.added, t: t })] }), change.sameAs && _jsx("div", { className: css.fact, children: t('chg.sameAs', { seq: previous, index: pad(change.sameAs.index) }) }), _jsxs("div", { className: css.links, children: [change.system && onShowCategory && _jsx("button", { type: "button", onClick: () => onShowCategory('system'), children: t('chg.viewSystem') }), change.compactionRequest && onOpenRequest && _jsxs("button", { type: "button", onClick: () => onOpenRequest(change.compactionRequest), children: [t('chg.openCompaction'), " \u2197"] }), change.pruneBefore && onOpenRequest && _jsxs("button", { type: "button", onClick: () => onOpenRequest(change.pruneBefore), children: [t('chg.openPruned', { seq: requestNumberText(change.pruneBefore) }), " \u2197"] })] })] });
+}
+function ToolCard({ change, onShowCategory, t }) {
+    const what = change.change !== 'modified' ? t(`chg.tool.${change.change}`)
+        : t('chg.tool.changed', { parts: [change.description && t('chg.tool.desc'), change.parameters && t('chg.tool.params')].filter(Boolean).join(t('chg.tool.and')) });
+    const plus = (change.description?.addedChars ?? 0) + (change.parameters?.addedChars ?? 0);
+    const minus = (change.description?.removedChars ?? 0) + (change.parameters?.removedChars ?? 0);
+    return _jsxs(Card, { chip: t('chg.kind.tool'), kind: "tool", title: `${change.name} · ${what}`, where: t('chg.toolWhere'), source: change.owner, size: _jsx(Size, { minus: minus, plus: plus }), isBreak: change.isBreak === true, t: t, children: [change.description && _jsxs(_Fragment, { children: [_jsx("span", { className: css.meta, children: t('chg.tool.desc') }), _jsx(InlineDiff, { text: change.description, t: t })] }), change.parameters && _jsxs(_Fragment, { children: [_jsx("span", { className: css.meta, children: t('chg.tool.params') }), _jsx(InlineDiff, { text: change.parameters, t: t })] }), onShowCategory && _jsx("div", { className: css.links, children: _jsx("button", { type: "button", onClick: () => onShowCategory('tool-definition'), children: t('chg.viewTools') }) })] });
+}
+/** The one-line break marker: where the prefix first differs, or that it does not. */
+function BreakLine({ request, prefix, t }) {
+    const broken = prefix.changes?.find(change => change.isBreak);
+    const tool = prefix.toolChanges?.find(change => change.isBreak);
+    const previous = requestNumberText({ requestNumber: prefix.previousRequestNumber });
+    if (prefix.configChanged !== undefined) {
+        return _jsxs("div", { className: css.breakLine, children: [_jsx("i", {}), _jsx("b", { children: t('chg.breakConfig') }), _jsxs("span", { className: css.mono, children: [prefix.configChanged.from, " \u2192 ", prefix.configChanged.to] }), _jsx("span", { children: t('chg.configNote') })] });
+    }
+    if (broken === undefined && tool === undefined && prefix.changed === undefined) {
+        return _jsxs("div", { className: css.breakOk, children: [_jsx("i", {}), _jsx("b", { children: t('chg.noBreak') }), _jsx("span", { children: t('lens.prefixSame', { seq: previous, gap: fmtSpan(prefix.gapMs) }) })] });
+    }
+    if (broken === undefined && tool !== undefined) {
+        return _jsxs("div", { className: css.breakLine, children: [_jsx("i", {}), _jsx("b", { children: t('chg.breakTool', { name: tool.name }) }), _jsx("span", { children: t('chg.toolOrder') })] });
+    }
+    const index = prefix.changed?.index ?? broken?.added[0]?.index ?? broken?.removed[0]?.index ?? 0;
+    const category = prefix.changed?.afterCategory ?? prefix.changed?.beforeCategory ?? broken?.added[0]?.category ?? broken?.removed[0]?.category;
+    const offset = broken?.system ? broken.text?.offset : prefix.changed?.text?.offset;
+    const rows = [...request.segments.system, ...request.segments.history, ...request.segments.added];
+    const sameBefore = rows.filter(row => row.index >= 0 && row.index < index).reduce((n, row) => n + row.chars, 0) + (offset ?? 0);
+    return _jsxs("div", { className: css.breakLine, children: [_jsx("i", {}), _jsx("b", { children: t('chg.breakAt', { index: pad(index), category: category === undefined ? '' : t(categoryLabelKey(category)) }) }), offset !== undefined && _jsx("span", { className: css.mono, children: t('chg.breakChar', { offset: fmt(offset + 1) }) }), _jsx("span", { children: t('chg.breakReuse', { seq: previous, count: fmt(sameBefore) }) })] });
+}
+export function ChangeList({ request, prefix, onOpenRequest, onShowCategory, t }) {
+    const changes = prefix.changes ?? [];
+    const tools = prefix.toolChanges ?? [];
+    const count = changes.length + tools.length;
+    return _jsxs(_Fragment, { children: [_jsx(BreakLine, { request: request, prefix: prefix, t: t }), count > 0 && _jsxs("div", { className: css.listHead, children: [_jsx("h4", { children: t('chg.title') }), _jsx("span", { children: t('chg.count', { count: String(count) }) })] }), _jsxs("div", { className: css.list, children: [changes.map((change, i) => _jsx(MessageCard, { change: change, prefix: prefix, onOpenRequest: onOpenRequest, onShowCategory: onShowCategory, t: t }, `m${i}`)), tools.map(change => _jsx(ToolCard, { change: change, onShowCategory: onShowCategory, t: t }, `t${change.name}`))] }), prefix.tail && _jsx("div", { className: css.tail, children: t('chg.tail', { count: String(prefix.tail.count), sources: prefix.tail.sources.join('、') }) })] });
+}

package/lib/types/client/ConfigFacts.d.ts

@@ -0,0 +1,21 @@
+import type { AgentScopeOverview, RequestConfig, RequestListItem } from '../types.ts';
+import type { InspectorTabProps } from './contract.ts';
+type T = InspectorTabProps['t'];
+/** Only dispatch facts, not inferred provider defaults. */
+export declare function ConfigFacts({ config, t }: {
+    config?: RequestConfig | undefined;
+    t: T;
+}): import("react").JSX.Element;
+/** Consecutive runs preserve A→B→A switches instead of collapsing to one scope snapshot. */
+export declare function configRuns(requests: readonly RequestListItem[]): {
+    key: string;
+    config?: RequestConfig | undefined;
+    requests: RequestListItem[];
+}[];
+export declare function ScopeConfigs({ scope, onOpenRequest, t }: {
+    scope: AgentScopeOverview;
+    onOpenRequest: (seq: number, scopeId: string) => void;
+    t: T;
+}): import("react").JSX.Element | null;
+export {};
+//# sourceMappingURL=ConfigFacts.d.ts.map

package/lib/types/client/ConfigFacts.js

@@ -0,0 +1,30 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { requestNumberText, fmt } from "./aggregate.js";
+import css from './ConfigFacts.module.css';
+/** Only dispatch facts, not inferred provider defaults. */
+export function ConfigFacts({ config = {}, t }) {
+    return _jsxs("div", { className: css.facts, role: "group", "aria-label": t('config.title'), title: t('config.hint'), children: [_jsxs("div", { className: css.route, children: [_jsx("b", { children: config.model || t('config.unknown') }), _jsx("span", { children: config.provider || '—' })] }), _jsxs("dl", { children: [_jsxs("div", { children: [_jsx("dt", { children: t('config.effort') }), _jsx("dd", { children: config.reasoningEffort ?? t('config.unknown') })] }), _jsxs("div", { children: [_jsx("dt", { children: t('config.maxTokens') }), _jsx("dd", { children: config.maxTokens === undefined ? t('config.unknown') : `${fmt(config.maxTokens)} tok` })] }), config.temperature !== undefined && _jsxs("div", { children: [_jsx("dt", { children: t('config.temperature') }), _jsx("dd", { children: config.temperature })] })] })] });
+}
+/** Consecutive runs preserve A→B→A switches instead of collapsing to one scope snapshot. */
+export function configRuns(requests) {
+    const runs = [];
+    for (const r of [...requests].sort((a, b) => a.startedAt - b.startedAt || a.seq - b.seq)) {
+        const c = r.config;
+        const key = JSON.stringify([c?.provider, c?.model, c?.reasoningEffort, c?.maxTokens, c?.temperature]);
+        const last = runs[runs.length - 1];
+        if (last?.key === key)
+            last.requests.push(r);
+        else
+            runs.push({ key, config: c, requests: [r] });
+    }
+    return runs;
+}
+export function ScopeConfigs({ scope, onOpenRequest, t }) {
+    const runs = configRuns(scope.requests);
+    if (!runs.length)
+        return null;
+    return _jsxs("section", { className: css.scope, "aria-label": t('config.title'), children: [_jsx("h3", { children: t('config.runs', { count: String(runs.length) }) }), _jsx("div", { className: css.runs, children: runs.map(run => {
+                    const first = run.requests[0], last = run.requests[run.requests.length - 1];
+                    return _jsxs("div", { className: css.run, children: [_jsxs("button", { type: "button", "aria-label": t('config.open', { seq: requestNumberText(first) }), onClick: () => onOpenRequest(first.seq, scope.scopeId), children: ["#", requestNumberText(first), last.seq !== first.seq ? ` – #${requestNumberText(last)}` : ''] }), _jsx(ConfigFacts, { config: run.config, t: t })] }, first.seq);
+                }) })] });
+}

package/lib/types/client/HeaderUtility.d.ts

@@ -0,0 +1,12 @@
+/**
+ * 「请求明细」: the session-header utility (`conversation.session.header.
+ * utilities`, the worktrees badge's seat). One click opens the inspector tab
+ * at the session's latest turn.
+ *
+ * @module @khorsheed/dsh-context-lens/client
+ */
+import type { ReactNode } from 'react';
+import type { InspectorUtilityProps } from './contract.ts';
+/** The session-header utility icon. */
+export declare function HeaderInspectUtility({ sessionId, openLatest, t }: InspectorUtilityProps): ReactNode;
+//# sourceMappingURL=HeaderUtility.d.ts.map

package/lib/types/client/HeaderUtility.js

@@ -0,0 +1,8 @@
+import { jsx as _jsx } from "react/jsx-runtime";
+import { Tooltip } from '@deepseek-ai/dsh-client-ui-primitives';
+import { IconRequestInspectorOutlineMedium } from "./icons-local.js";
+import css from './EntryIcon.module.css';
+/** The session-header utility icon. */
+export function HeaderInspectUtility({ sessionId, openLatest, t }) {
+    return (_jsx(Tooltip, { label: t('action.inspect'), side: "bottom", children: _jsx("button", { type: "button", className: css.action, "aria-label": t('action.inspect'), onClick: () => { openLatest(sessionId); }, children: _jsx(IconRequestInspectorOutlineMedium, {}) }) }));
+}

package/lib/types/client/InspectorPanel.d.ts

@@ -0,0 +1,5 @@
+/** Session/turn/scope navigation; request detail owns its JSON toggle. */
+import { type ReactNode } from 'react';
+import type { InspectorTabProps } from './contract.ts';
+export declare function InspectorPanel({ sessionId: ownSessionId, useTabInfo, t, listTurns, loadTurns, loadThrough, getTurn, getRequest, getTurnTiming, getSessionTrend, }: InspectorTabProps): ReactNode;
+//# sourceMappingURL=InspectorPanel.d.ts.map