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>
82 lines
2.1 KiB
TypeScript
82 lines
2.1 KiB
TypeScript
// Analyze pass: extract taxonomy terms from prose.
|
|
|
|
import "server-only";
|
|
import { defaultGateway, chatJSON, type Message } from "../gateway";
|
|
import { loadPrompt } from "../prompts";
|
|
import type { DetectedTerm } from "../../db/repo";
|
|
|
|
interface RawTerm {
|
|
label?: string;
|
|
parentLabel?: string | null;
|
|
synonyms?: string[];
|
|
}
|
|
|
|
const taxonomyJsonSchema = {
|
|
type: "object",
|
|
additionalProperties: false,
|
|
required: ["terms"],
|
|
properties: {
|
|
terms: {
|
|
type: "array",
|
|
items: {
|
|
type: "object",
|
|
additionalProperties: false,
|
|
required: ["label"],
|
|
properties: {
|
|
label: { type: "string", minLength: 1 },
|
|
parentLabel: { type: ["string", "null"] },
|
|
synonyms: { type: "array", items: { type: "string" } },
|
|
},
|
|
},
|
|
},
|
|
},
|
|
} as const;
|
|
|
|
export interface TaxonomyResult {
|
|
terms: DetectedTerm[];
|
|
inputTokens: number;
|
|
outputTokens: number;
|
|
provider: string;
|
|
model: string;
|
|
}
|
|
|
|
export async function analyzeTaxonomy(documentText: string): Promise<TaxonomyResult> {
|
|
const prompt = loadPrompt("socrates/analyze-taxonomy.md");
|
|
const gateway = defaultGateway();
|
|
const messages: Message[] = [
|
|
{ role: "system", content: prompt },
|
|
{ role: "user", content: `Document:\n\n${documentText}` },
|
|
];
|
|
|
|
const { value, result } = await chatJSON<{ terms?: RawTerm[] }>(gateway, messages, {
|
|
temperature: 0.2,
|
|
maxTokens: 1500,
|
|
jsonSchema: { name: "taxonomy", schema: taxonomyJsonSchema as Record<string, unknown> },
|
|
jsonObjectMode: true,
|
|
maxRepairs: 2,
|
|
});
|
|
|
|
const seen = new Set<string>();
|
|
const terms: DetectedTerm[] = [];
|
|
for (const t of value?.terms ?? []) {
|
|
const label = (t.label ?? "").trim();
|
|
if (!label) continue;
|
|
const key = label.toLowerCase();
|
|
if (seen.has(key)) continue;
|
|
seen.add(key);
|
|
terms.push({
|
|
label,
|
|
parentLabel: t.parentLabel?.trim() || null,
|
|
synonyms: Array.isArray(t.synonyms) ? t.synonyms.filter(s => typeof s === "string") : [],
|
|
});
|
|
}
|
|
|
|
return {
|
|
terms,
|
|
inputTokens: result.inputTokens,
|
|
outputTokens: result.outputTokens,
|
|
provider: gateway.provider,
|
|
model: gateway.model,
|
|
};
|
|
}
|