Files
Socrates/apps/web/components/socrates/ContextualSocratesThread.tsx
dtoro b55425cc68 Pivot to text-first column-stack workspace + merge-with-review across AI artifacts
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>
2026-05-01 00:12:06 +02:00

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>
);
}