Workspace - Pivot from "set of open panes" to a Finder-style miller column stack: TopBar / LeftSidebar / [section → entity → entity ...] / pinned text editor. openPanesStore is now an ordered Column[] with pushFrom / closeFrom / setStack; only one top-level section is rooted at a time. - New entity column panes: Term, Block, Association, Constraint, Requirement, Finding. Click-through navigation truncates deeper columns automatically. - LeftSidebar surfaces a pending-count chip per section (single-glance navigation cue) and spins its analyze ↻ via SVG Spinner whenever the LLM is working — including server-initiated runs caught by the runs poll, not just user-triggered ones. Analyze pipeline + persistence - Unified `concepts` pass (taxonomy + glossary in one LLM call) replaces the two-pass setup. Server still accepts ?section=taxonomy|glossary and normalizes them for back-compat. - model / requirements / detection (assumptions, risks, inconsistencies) + cross-layer validation rules (X1–X4: stale term link, unlinked formalism, undefined linked term, prose-only term). - Persistence: NarrativeDocument, ModelSnapshot, ChangelogEntry, TaxonomyTerm, RequirementEntry, Finding, AnalysisRun. Re-runs MERGE instead of replace: gentle update on existing items, suggested on new, deprecated on missing — same idiom for every artifact kind. User pins preserve "kept" decisions across re-analyses. - Migrations: pivot_text_first, add_requirement_linked_term, term_review_state, review_state_for_reqs_and_findings, add_term_definition_pinned. Concept ↔ ontology integration - linkedTermId on Block / Association / Constraint / Requirement. PromoteToolbar lets the user formalize a concept inline: + Block / + Association / + Constraint / + Requirement, all routed through applyOps so undo/redo and SSE work for free. - decideElement op for in-canvas keep/discard on review-pending model elements. User-authored definitions - TermColumn definition is click-to-edit. Save (Cmd-Enter / blur), Cancel (Esc), Reset to AI suggestion when pinned. - definitionPinned flag on TaxonomyTerm: future Analyze runs leave the user's text alone. setTermDefinition repo function + POST /api/projects/[id]/terms/[termId]/definition endpoint. - mergeTaxonomySuggestion + applyGlossaryDefinitions both pin-aware. UX/UI - StatusChip: single component for all state idioms (suggested, deprecated, accepted, dismissed, resolved, severity, validation code, confidence, warn). Replaces 5+ ad-hoc badge classes. - PaneControls (PaneViewTabs + PaneFilterChip): separates view-mode toggles from filter chips so toggling Pending no longer flips you off the current view. - PaneEmpty: unified empty-state with title + hint + action. - PaneDrawer: collapsible groups for Pending / Discarded review; cards group as Kept (top) → Pending (bottom drawer) → Discarded (Findings only, hidden when empty). Restore action recovers dismissed/resolved findings. - ConceptCard unifies Tree and A–Z views in Concepts; only Tree parents carry the chevron (no empty placeholder offset). - Type + spacing tokens (--text-xs..xl, --space-1..6, --lh-tight/ui/ prose, --radius-*) replace every ad-hoc value. - Buttons standardized to body sans 500 (was a mishmash of mono / display). - Card shells unified across Concepts / Requirements / Findings. Cleanup - Removed: LeftRail, FindingsPanel, IssuesPanel, SocratesDock, ProposalCard, SlashMenu, SlashExtension, slashSuggestion, CanvasHeader, TaxonomyPane, GlossaryPane, TermDetail (popover; now TermColumn). - Section ids in openPanesStore: dropped taxonomy/glossary, added concepts. localStorage migration runs on hydrate. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
196 lines
6.1 KiB
TypeScript
196 lines
6.1 KiB
TypeScript
// Inline mini-Socrates thread anchored to a single finding. Replaces the
|
|
// global SocratesDock for the conversational surface.
|
|
|
|
"use client";
|
|
|
|
import { useCallback, useEffect, useRef, useState } from "react";
|
|
import { Sigil } from "./Sigil";
|
|
|
|
interface ApiMessage {
|
|
id: string;
|
|
role: "user" | "assistant" | string;
|
|
text: string;
|
|
options?: Array<{ n: number; label: string; sub?: string }>;
|
|
}
|
|
|
|
interface ContextualSocratesThreadProps {
|
|
projectId: string;
|
|
findingId: string;
|
|
findingText: string;
|
|
onResolved?: () => void;
|
|
}
|
|
|
|
export function ContextualSocratesThread({ projectId, findingId, onResolved }: ContextualSocratesThreadProps) {
|
|
const [messages, setMessages] = useState<ApiMessage[]>([]);
|
|
const [input, setInput] = useState("");
|
|
const [sending, setSending] = useState(false);
|
|
const [loaded, setLoaded] = useState(false);
|
|
const endRef = useRef<HTMLDivElement | null>(null);
|
|
|
|
const url = `/api/projects/${encodeURIComponent(projectId)}/findings/${encodeURIComponent(findingId)}/socrates`;
|
|
|
|
// Initial load + open the conversation if empty.
|
|
useEffect(() => {
|
|
let cancelled = false;
|
|
(async () => {
|
|
try {
|
|
const res = await fetch(url);
|
|
if (!res.ok) throw new Error(`load: ${res.status}`);
|
|
const body = (await res.json()) as { messages?: ApiMessage[] };
|
|
if (cancelled) return;
|
|
const initial = body.messages ?? [];
|
|
setMessages(initial);
|
|
setLoaded(true);
|
|
|
|
if (initial.length === 0) {
|
|
await sendImpl("");
|
|
}
|
|
} catch (err) {
|
|
console.error("[ContextualSocratesThread] load failed:", err);
|
|
if (!cancelled) setLoaded(true);
|
|
}
|
|
})();
|
|
return () => {
|
|
cancelled = true;
|
|
};
|
|
// eslint-disable-next-line react-hooks/exhaustive-deps
|
|
}, [url]);
|
|
|
|
useEffect(() => {
|
|
endRef.current?.scrollIntoView({ behavior: "smooth", block: "end" });
|
|
}, [messages]);
|
|
|
|
const sendImpl = useCallback(
|
|
async (text: string) => {
|
|
setSending(true);
|
|
try {
|
|
const res = await fetch(url, {
|
|
method: "POST",
|
|
headers: { "Content-Type": "application/json" },
|
|
body: JSON.stringify({ text }),
|
|
});
|
|
if (!res.ok) throw new Error(`send: ${res.status}`);
|
|
const body = (await res.json()) as {
|
|
assistant: { id: string; turn: { text: string; options?: Array<{ n: number; label: string; sub?: string }> } };
|
|
user: { id: string };
|
|
};
|
|
setMessages(prev => {
|
|
const next = [...prev];
|
|
if (text.trim().length > 0) {
|
|
next.push({ id: body.user.id, role: "user", text });
|
|
}
|
|
next.push({
|
|
id: body.assistant.id,
|
|
role: "assistant",
|
|
text: body.assistant.turn.text,
|
|
options: body.assistant.turn.options,
|
|
});
|
|
return next;
|
|
});
|
|
} catch (err) {
|
|
console.error("[ContextualSocratesThread] send failed:", err);
|
|
} finally {
|
|
setSending(false);
|
|
}
|
|
},
|
|
[url]
|
|
);
|
|
|
|
const onSend = useCallback(async () => {
|
|
const text = input.trim();
|
|
if (!text || sending) return;
|
|
setInput("");
|
|
await sendImpl(text);
|
|
}, [input, sending, sendImpl]);
|
|
|
|
const onResolve = useCallback(async () => {
|
|
try {
|
|
await fetch(url, {
|
|
method: "PATCH",
|
|
headers: { "Content-Type": "application/json" },
|
|
body: JSON.stringify({ status: "resolved" }),
|
|
});
|
|
onResolved?.();
|
|
} catch (err) {
|
|
console.error("[ContextualSocratesThread] resolve failed:", err);
|
|
}
|
|
}, [url, onResolved]);
|
|
|
|
const onDismiss = useCallback(async () => {
|
|
try {
|
|
await fetch(url, {
|
|
method: "PATCH",
|
|
headers: { "Content-Type": "application/json" },
|
|
body: JSON.stringify({ status: "dismissed" }),
|
|
});
|
|
onResolved?.();
|
|
} catch (err) {
|
|
console.error("[ContextualSocratesThread] dismiss failed:", err);
|
|
}
|
|
}, [url, onResolved]);
|
|
|
|
return (
|
|
<div className="ctx-thread">
|
|
<div className="ctx-thread-messages">
|
|
{!loaded ? (
|
|
<div className="ctx-thread-loading">…</div>
|
|
) : (
|
|
messages.map(m => (
|
|
<div key={m.id} className={`ctx-bubble ctx-bubble-${m.role}`}>
|
|
{m.role === "assistant" ? <Sigil size={18} /> : null}
|
|
<div className="ctx-bubble-body">
|
|
<div className="ctx-bubble-text">{m.text}</div>
|
|
{m.options && m.options.length > 0 ? (
|
|
<div className="ctx-bubble-options">
|
|
{m.options.map(o => (
|
|
<button
|
|
key={o.n}
|
|
type="button"
|
|
className="ctx-option"
|
|
onClick={() => setInput(prev => (prev ? `${prev} ${o.label}` : o.label))}
|
|
>
|
|
<span className="ctx-option-n">{o.n}.</span>
|
|
<span className="ctx-option-label">{o.label}</span>
|
|
{o.sub ? <span className="ctx-option-sub">{o.sub}</span> : null}
|
|
</button>
|
|
))}
|
|
</div>
|
|
) : null}
|
|
</div>
|
|
</div>
|
|
))
|
|
)}
|
|
<div ref={endRef} />
|
|
</div>
|
|
<div className="ctx-thread-input-row">
|
|
<textarea
|
|
className="ctx-thread-input"
|
|
value={input}
|
|
onChange={e => setInput(e.target.value)}
|
|
onKeyDown={e => {
|
|
if ((e.metaKey || e.ctrlKey) && e.key === "Enter") {
|
|
e.preventDefault();
|
|
void onSend();
|
|
}
|
|
}}
|
|
placeholder="Reply to Socrates…"
|
|
rows={2}
|
|
/>
|
|
<div className="ctx-thread-actions">
|
|
<button type="button" className="ctx-send" onClick={onSend} disabled={sending || !input.trim()}>
|
|
⌘↵
|
|
</button>
|
|
</div>
|
|
</div>
|
|
<div className="ctx-thread-resolve">
|
|
<button type="button" className="ctx-resolve-btn" onClick={onResolve}>
|
|
Mark resolved
|
|
</button>
|
|
<button type="button" className="ctx-dismiss-btn" onClick={onDismiss}>
|
|
Dismiss
|
|
</button>
|
|
</div>
|
|
</div>
|
|
);
|
|
}
|