agentic-mermaid 0.1.0 → 0.1.2

package/src/agent/describe.ts

@@ -1,364 +0,0 @@
-// ============================================================================
-// describeMermaid — natural-language summary of a diagram.
-//
-// Loop 9 M12. Returns a one- or two-sentence prose summary per family covering
-// entities, edges, and notable structure. Intended for screen-reader output,
-// doc generation, and LLM context compaction without re-parsing.
-//
-// Library: describeMermaid(d, opts?) — accepts a ValidDiagram. Convenience
-// describeMermaidSource(source) wraps parseMermaid for callers (CLI/MCP) that
-// only have a string.
-// ============================================================================
-
-import { parseMermaid } from './parse.ts'
-import type {
-  ValidDiagram, FlowchartValidDiagram, SequenceValidDiagram, TimelineValidDiagram,
-  ClassValidDiagram, ErValidDiagram,
-} from './types.ts'
-import { getFamily, extractLabelsGeneric } from './families.ts'
-import { describeMermaidFacts } from './facts.ts'
-import './families-builtin.ts'
-import { parseGanttModel } from '../gantt/parser.ts'
-import { resolveGanttSchedule, formatGanttInstant } from '../gantt/schedule.ts'
-import { toMermaidLines } from '../mermaid-source.ts'
-
-export interface DescribeOptions {
-  /** 'text' (default): prose summary. 'json': structured AX tree (#7349). 'facts': deterministic semantic facts. */
-  format?: 'text' | 'json' | 'facts'
-}
-
-/** Structured accessibility tree (#7349): the graph as a list of nodes + edges. */
-export interface DescribeTree {
-  kind: string
-  nodes: Array<{ id: string; label: string }>
-  edges: Array<{ from: string; to: string; label?: string }>
-  entryPoints: string[]
-  sinks: string[]
-}
-
-export function describeMermaidSource(source: string, opts: DescribeOptions = {}): string {
-  const r = parseMermaid(source)
-  if (!r.ok) {
-    const first = Array.isArray(r.error) ? r.error[0] : undefined
-    if (opts.format === 'json') {
-      return JSON.stringify({ error: first?.message ?? 'parse error', nodes: [], edges: [] })
-    }
-    if (opts.format === 'facts') return `error parse ${first?.message ?? 'parse error'}`
-    return `Unparseable Mermaid source: ${first?.message ?? 'parse error'}.`
-  }
-  return describeMermaid(r.value, opts)
-}
-
-export function describeMermaid(d: ValidDiagram, opts: DescribeOptions = {}): string {
-  if (opts.format === 'json') return JSON.stringify(describeMermaidTree(d))
-  if (opts.format === 'facts') return describeMermaidFacts(d).join('\n')
-  if (d.body.kind === 'flowchart') return describeFlowchart(d as FlowchartValidDiagram)
-  if (d.body.kind === 'state') return describeState(d.body)
-  if (d.body.kind === 'sequence') return describeSequence(d as SequenceValidDiagram)
-  if (d.body.kind === 'timeline') return describeTimeline(d as TimelineValidDiagram)
-  if (d.body.kind === 'class') return describeClass(d as ClassValidDiagram)
-  if (d.body.kind === 'er') return describeEr(d as ErValidDiagram)
-  if (d.body.kind === 'journey') return describeJourney(d.body)
-  if (d.body.kind === 'architecture') return describeArchitecture(d.body)
-  if (d.body.kind === 'xychart') return describeXyChart(d.body)
-  if (d.body.kind === 'gantt') return describeGantt(d as ValidDiagram & { body: import('./types.ts').GanttBody })
-  if (d.body.kind === 'pie') return describePie(d.body)
-  if (d.body.kind === 'quadrant') return describeQuadrant(d.body)
-  if (d.body.kind === 'opaque') return describeOpaque(d.kind, d.body.source)
-  // Exhaustiveness guard: a new family must declare its prose here. This is why
-  // pie/quadrant silently fell through to a "not yet supported" line for months.
-  const _never: never = d.body
-  void _never
-  return `A ${d.kind} diagram.`
-}
-
-/**
- * #7349: machine-readable accessibility tree — the graph as a flat node/edge
- * list with entry points and sinks. More useful to agents and screen-reader
- * tooling than prose. Covers the structured families; source-level/opaque
- * families expose extracted labels as nodes and no edges.
- */
-export function describeMermaidTree(d: ValidDiagram): DescribeTree {
-  const tree: DescribeTree = { kind: d.kind, nodes: [], edges: [], entryPoints: [], sinks: [] }
-  if (d.body.kind === 'flowchart') {
-    const g = d.body.graph
-    for (const n of g.nodes.values()) tree.nodes.push({ id: n.id, label: n.label || n.id })
-    for (const e of g.edges) tree.edges.push({ from: e.source, to: e.target, label: e.label || undefined })
-  } else if (d.body.kind === 'state') {
-    const visit = (states: import('./types.ts').StateNode[], transitions: import('./types.ts').StateTransition[]) => {
-      for (const s of states) {
-        tree.nodes.push({ id: s.id, label: s.label || s.id })
-        if (s.states !== undefined) visit(s.states, s.transitions ?? [])
-      }
-      for (const t of transitions) tree.edges.push({ from: t.from, to: t.to, label: t.label || undefined })
-    }
-    visit(d.body.states, d.body.transitions)
-  } else if (d.body.kind === 'sequence') {
-    for (const p of d.body.participants) tree.nodes.push({ id: p.id, label: p.label || p.id })
-    d.body.messages.forEach(m => tree.edges.push({ from: m.from, to: m.to, label: m.text || undefined }))
-  } else if (d.body.kind === 'class') {
-    for (const c of d.body.classes) tree.nodes.push({ id: c.id, label: c.label || c.id })
-    for (const r of d.body.relations) tree.edges.push({ from: r.from, to: r.to, label: r.label || r.kind })
-  } else if (d.body.kind === 'er') {
-    for (const e of d.body.entities) tree.nodes.push({ id: e.id, label: e.id })
-    for (const r of d.body.relations) tree.edges.push({ from: r.from, to: r.to, label: r.label || undefined })
-  } else if (d.body.kind === 'timeline') {
-    for (const s of d.body.sections) for (const p of s.periods) {
-      tree.nodes.push({ id: p.id, label: p.label })
-    }
-  } else if (d.body.kind === 'journey') {
-    for (const s of d.body.sections) for (const t of s.tasks) {
-      tree.nodes.push({ id: t.id, label: t.text })
-    }
-  } else if (d.body.kind === 'architecture') {
-    for (const g of d.body.groups) tree.nodes.push({ id: g.id, label: g.label || g.id })
-    for (const s of d.body.services) tree.nodes.push({ id: s.id, label: s.label || s.id })
-    for (const j of d.body.junctions) tree.nodes.push({ id: j.id, label: j.id })
-    for (const e of d.body.edges) tree.edges.push({ from: e.source.id, to: e.target.id, label: e.label || undefined })
-  } else if (d.body.kind === 'xychart') {
-    // Series are the nodes of an xychart AX tree; charts have no edges.
-    for (const s of d.body.series) tree.nodes.push({ id: s.id, label: s.name || `${s.kind} series` })
-  } else if (d.body.kind === 'gantt') {
-    // Tasks are the nodes; after/until references are the edges, so the
-    // generic entry/sink pass below reports dependency entry tasks and sinks.
-    for (const s of d.body.sections) for (const t of s.tasks) {
-      tree.nodes.push({ id: t.taskId ?? t.id, label: t.label })
-    }
-    const idOf = new Map<string, string>()
-    for (const s of d.body.sections) for (const t of s.tasks) if (t.taskId) idOf.set(t.taskId, t.taskId)
-    for (const s of d.body.sections) for (const t of s.tasks) {
-      for (const [expr, label] of [[t.start, 'after'], [t.end, 'until']] as const) {
-        const m = expr?.match(/^(?:after|until)\s+(.+)$/)
-        if (!m || !expr!.startsWith(label)) continue
-        for (const ref of m[1]!.split(/\s+/).filter(Boolean)) {
-          if (idOf.has(ref)) tree.edges.push({ from: ref, to: t.taskId ?? t.id, label })
-        }
-      }
-    }
-  } else if (d.body.kind === 'pie') {
-    // Slices are the nodes of a pie AX tree; charts have no edges.
-    for (const sl of d.body.slices) tree.nodes.push({ id: sl.id, label: `${sl.label} (${sl.value})` })
-  } else if (d.body.kind === 'quadrant') {
-    // Plotted points are the nodes; quadrant charts have no edges.
-    d.body.points.forEach((p, i) => tree.nodes.push({ id: `point-${i}`, label: `${p.label} [${p.x}, ${p.y}]` }))
-  } else if (d.body.kind === 'opaque') {
-    const plugin = getFamily(d.kind)
-    const labels = (plugin?.extractLabels ?? extractLabelsGeneric)(d.body.source)
-    labels.forEach((label, index) => tree.nodes.push({ id: label.target || `label-${index}`, label: label.text }))
-  } else {
-    // Exhaustiveness guard: a new structured family must add a node/edge branch
-    // above rather than silently producing an empty accessibility tree.
-    const _never: never = d.body
-    void _never
-  }
-  // Entry points (no incoming) and sinks (no outgoing) from the edge list.
-  const incoming = new Set(tree.edges.map(e => e.to))
-  const outgoing = new Set(tree.edges.map(e => e.from))
-  for (const n of tree.nodes) {
-    if (!incoming.has(n.id) && outgoing.has(n.id)) tree.entryPoints.push(n.id)
-    if (!outgoing.has(n.id) && incoming.has(n.id)) tree.sinks.push(n.id)
-  }
-  return tree
-}
-
-function describeFlowchart(d: FlowchartValidDiagram): string {
-  const g = d.body.graph
-  const nodes = Array.from(g.nodes.values())
-  const nodeIds = nodes.map(n => n.id)
-  const edges = g.edges
-  const labels = nodes.map(n => n.label || n.id)
-  const incoming = new Map<string, number>()
-  const outgoing = new Map<string, number>()
-  for (const id of nodeIds) { incoming.set(id, 0); outgoing.set(id, 0) }
-  for (const e of edges) {
-    outgoing.set(e.source, (outgoing.get(e.source) ?? 0) + 1)
-    incoming.set(e.target, (incoming.get(e.target) ?? 0) + 1)
-  }
-  const entries = nodeIds.filter(id => (incoming.get(id) ?? 0) === 0 && (outgoing.get(id) ?? 0) > 0)
-  const sinks = nodeIds.filter(id => (outgoing.get(id) ?? 0) === 0 && (incoming.get(id) ?? 0) > 0)
-  const edgeStr = edges.map(e => {
-    const lbl = e.label ? ` (${e.label})` : ''
-    return `${e.source} -> ${e.target}${lbl}`
-  })
-  let s = `A ${nodes.length}-node flowchart with ${edges.length} edges. Nodes: ${labels.join(', ')}.`
-  if (edgeStr.length > 0) s += ` Edges: ${edgeStr.join('; ')}.`
-  if (entries.length > 0) s += ` Entry points: ${entries.join(', ')}.`
-  if (sinks.length > 0) s += ` Sinks: ${sinks.join(', ')}.`
-  return s
-}
-
-function describeState(body: import('./types.ts').StateBody): string {
-  const flat: import('./types.ts').StateNode[] = []
-  const allTransitions: import('./types.ts').StateTransition[] = []
-  const collect = (states: import('./types.ts').StateNode[], transitions: import('./types.ts').StateTransition[]) => {
-    for (const s of states) {
-      flat.push(s)
-      if (s.states !== undefined) collect(s.states, s.transitions ?? [])
-    }
-    allTransitions.push(...transitions)
-  }
-  collect(body.states, body.transitions)
-  const composites = flat.filter(s => s.states !== undefined)
-  const stateLabels = flat.map(s => s.label || s.id)
-  const transStr = allTransitions.map(t => {
-    const lbl = t.label ? ` (${t.label})` : ''
-    return `${t.from} -> ${t.to}${lbl}`
-  })
-  const starts = body.transitions.filter(t => t.from === '[*]').map(t => t.to)
-  let s = `A state diagram with ${flat.length} states and ${allTransitions.length} transitions.`
-  if (composites.length > 0) s += ` Composite states: ${composites.map(c => c.label || c.id).join(', ')}.`
-  if (stateLabels.length > 0) s += ` States: ${stateLabels.join(', ')}.`
-  if (transStr.length > 0) s += ` Transitions: ${transStr.join('; ')}.`
-  if (starts.length > 0) s += ` Initial: ${starts.join(', ')}.`
-  return s
-}
-
-function describeSequence(d: SequenceValidDiagram): string {
-  const parts = d.body.participants
-  const msgs = d.body.messages
-  const partStr = parts.map(p => p.label || p.id).join(', ')
-  const msgStr = msgs.map(m => `${m.from} -> ${m.to}: ${m.text}`)
-  let s = `A sequence diagram between ${partStr || '(no participants)'}.`
-  if (msgStr.length > 0) s += ` Messages in order: ${msgStr.join('; ')}.`
-  return s
-}
-
-function describeTimeline(d: TimelineValidDiagram): string {
-  const sections = d.body.sections
-  const sectionLabels = sections.map(s => s.label || s.id)
-  const periodLabels: string[] = []
-  for (const s of sections) for (const p of s.periods) periodLabels.push(p.label)
-  let s = `A timeline with ${sections.length} sections.`
-  if (sectionLabels.length > 0) s += ` Sections: ${sectionLabels.join(', ')}.`
-  if (periodLabels.length > 0) s += ` Periods: ${periodLabels.join(', ')}.`
-  return s
-}
-
-function describeJourney(body: import('./types.ts').JourneyBody): string {
-  const sections = body.sections
-  const taskCount = sections.reduce((n, s) => n + s.tasks.length, 0)
-  const actors = [...new Set(sections.flatMap(s => s.tasks.flatMap(t => t.actors)))]
-  let s = `A user journey${body.title ? ` titled "${body.title}"` : ''} with ${sections.length} sections and ${taskCount} tasks.`
-  const sectionLabels = sections.map(sec => sec.label).filter((l): l is string => l !== undefined)
-  if (sectionLabels.length > 0) s += ` Sections: ${sectionLabels.join(', ')}.`
-  const taskStr = sections.flatMap(sec => sec.tasks.map(t => `${t.text} (${t.score})`))
-  if (taskStr.length > 0) s += ` Tasks: ${taskStr.join(', ')}.`
-  if (actors.length > 0) s += ` Actors: ${actors.join(', ')}.`
-  return s
-}
-
-function describeArchitecture(body: import('./types.ts').ArchitectureBody): string {
-  const groups = body.groups
-  const services = body.services
-  const junctions = body.junctions
-  const edges = body.edges
-  let s = `An architecture diagram with ${groups.length} groups, ${services.length} services, and ${edges.length} connections.`
-  if (groups.length > 0) s += ` Groups: ${groups.map(g => g.label || g.id).join(', ')}.`
-  if (services.length > 0) s += ` Services: ${services.map(sv => sv.label || sv.id).join(', ')}.`
-  if (junctions.length > 0) s += ` Junctions: ${junctions.map(j => j.id).join(', ')}.`
-  const edgeStr = edges.map(e => `${e.source.id} -> ${e.target.id}${e.label ? ` (${e.label})` : ''}`)
-  if (edgeStr.length > 0) s += ` Connections: ${edgeStr.join('; ')}.`
-  return s
-}
-
-function describeXyChart(body: import('./types.ts').XyChartBody): string {
-  const series = body.series
-  const orientation = body.horizontal ? 'horizontal ' : ''
-  let s = `An ${orientation}XY chart${body.title ? ` titled "${body.title}"` : ''} with ${series.length} series.`
-  const axisDesc = (label: string, axis: import('./types.ts').XyChartAxis | undefined): string | undefined => {
-    if (!axis) return undefined
-    const parts: string[] = []
-    if (axis.name !== undefined) parts.push(`"${axis.name}"`)
-    if (axis.categories) parts.push(`categories ${axis.categories.join(', ')}`)
-    if (axis.range) parts.push(`range ${axis.range.min}–${axis.range.max}`)
-    return parts.length > 0 ? `${label}: ${parts.join(', ')}` : undefined
-  }
-  const axes = [axisDesc('x-axis', body.xAxis), axisDesc('y-axis', body.yAxis)].filter((a): a is string => a !== undefined)
-  if (axes.length > 0) s += ` Axes — ${axes.join('; ')}.`
-  const seriesStr = series.map(se => `${se.kind}${se.name ? ` ${se.name}` : ''} [${se.values.join(', ')}]`)
-  if (seriesStr.length > 0) s += ` Series: ${seriesStr.join('; ')}.`
-  return s
-}
-
-function describePie(body: import('./types.ts').PieBody): string {
-  let s = `A pie chart${body.title ? ` titled "${body.title}"` : ''} with ${body.slices.length} slices.`
-  const sliceStr = body.slices.map(sl => `${sl.label} (${sl.value})`)
-  if (sliceStr.length > 0) s += ` Slices: ${sliceStr.join(', ')}.`
-  return s
-}
-
-function describeQuadrant(body: import('./types.ts').QuadrantBody): string {
-  let s = `A quadrant chart${body.title ? ` titled "${body.title}"` : ''} with ${body.points.length} points.`
-  const regions = body.quadrants.filter((q): q is string => Boolean(q))
-  if (regions.length > 0) s += ` Quadrants: ${regions.join(', ')}.`
-  const pointStr = body.points.map(p => `${p.label} [${p.x}, ${p.y}]`)
-  if (pointStr.length > 0) s += ` Points: ${pointStr.join(', ')}.`
-  return s
-}
-
-function describeClass(d: ClassValidDiagram): string {
-  const classes = d.body.classes
-  const relations = d.body.relations
-  const names = classes.map(c => c.id)
-  const relStr = relations.map(r => `${r.from} ${r.kind} ${r.to}`)
-  let s = `A class diagram with ${classes.length} classes.`
-  if (names.length > 0) s += ` Classes: ${names.join(', ')}.`
-  if (relStr.length > 0) s += ` Relations: ${relStr.join('; ')}.`
-  return s
-}
-
-function describeEr(d: ErValidDiagram): string {
-  const entities = d.body.entities
-  const relations = d.body.relations
-  const names = entities.map(e => e.id)
-  const relStr = relations.map(r => {
-    const lbl = r.label ? ` (${r.label})` : ''
-    return `${r.from} ${r.leftCard}-${r.rightCard} ${r.to}${lbl}`
-  })
-  let s = `An ER diagram with ${entities.length} entities.`
-  if (names.length > 0) s += ` Entities: ${names.join(', ')}.`
-  if (relStr.length > 0) s += ` Relations: ${relStr.join('; ')}.`
-  return s
-}
-
-function describeGantt(d: ValidDiagram & { body: import('./types.ts').GanttBody }): string {
-  const body = d.body
-  const tasks = body.sections.flatMap(s => s.tasks)
-  let s = `A Gantt chart${body.title ? ` titled "${body.title}"` : ''} with ${body.sections.filter(sec => sec.label !== undefined).length} sections and ${tasks.length} tasks.`
-
-  // Resolve the schedule for date range / critical path; raw expressions are
-  // the fallback when the source needs context this body cannot see.
-  try {
-    const schedule = resolveGanttSchedule(parseGanttModel(toMermaidLines(d.canonicalSource)))
-    const fmt = schedule.dateOnly ? '%Y-%m-%d' : '%Y-%m-%d %H:%M'
-    s += ` Schedule: ${formatGanttInstant(schedule.timeMin, fmt)} to ${formatGanttInstant(schedule.timeMax, fmt)}.`
-    if (schedule.analysis && schedule.analysis.criticalPathTaskIds.length > 0) {
-      s += ` Critical path: ${schedule.analysis.criticalPathTaskIds.join(' -> ')}.`
-    }
-  } catch { /* unresolvable schedule: keep the structural summary */ }
-
-  const sectionLabels = body.sections.map(sec => sec.label).filter((l): l is string => l !== undefined)
-  if (sectionLabels.length > 0) s += ` Sections: ${sectionLabels.join(', ')}.`
-  const taskStr = tasks.map(t => {
-    const bits: string[] = []
-    const status = t.tags.find(tag => tag === 'done' || tag === 'active' || tag === 'crit')
-    if (status) bits.push(status)
-    if (t.tags.includes('milestone')) bits.push('milestone')
-    if (t.tags.includes('vert')) bits.push('vert marker')
-    if (t.start) bits.push(t.start)
-    bits.push(t.end)
-    return `${t.label} (${bits.join(', ')})`
-  })
-  if (taskStr.length > 0) s += ` Tasks: ${taskStr.join('; ')}.`
-  return s
-}
-
-function describeOpaque(kind: ValidDiagram['kind'], source: string): string {
-  const plugin = getFamily(kind)
-  const labels = (plugin?.extractLabels ?? extractLabelsGeneric)(source).map(label => label.text)
-  const unique = Array.from(new Set(labels)).filter(Boolean)
-  const family = kind === 'xychart' ? 'XY chart' : kind
-  let s = `A ${family} diagram with a source-level body (structured editing not exposed).`
-  if (unique.length > 0) s += ` Labels: ${unique.join(', ')}.`
-  return s
-}

package/src/agent/er-body.ts

@@ -1,224 +0,0 @@
-// ============================================================================
-// ER diagram structured body: parse, serialize, mutate, verify.
-//
-// Supported:
-//   CUSTOMER ||--o{ ORDER : places
-//   CUSTOMER ||..o{ ORDER : "places (dashed)"
-//   CUSTOMER {
-//     string name PK
-//     string email
-//     int    age "comment"
-//   }
-//
-// Unmodeled (forces opaque):
-//   - non-standard cardinality glyphs
-//   - directives like `title`
-// ============================================================================
-
-import { unknownOpMessage } from './mutation-ops.ts'
-import type {
-  ErBody, ErEntity, ErRelation, ErCardinality, ErAttribute,
-  ErMutationOp, MutationError, Result, LayoutWarning, VerifyOptions,
-} from './types.ts'
-import { ok, err, DEFAULT_LABEL_CHAR_CAP } from './types.ts'
-import { labelOverflowWarning } from './label-metrics.ts'
-
-// ---- Parser ---------------------------------------------------------------
-
-const LEFT_CARD: Record<string, ErCardinality> = {
-  '||': 'one-only', '|o': 'zero-or-one', 'o|': 'zero-or-one',
-  '}o': 'zero-or-many', 'o{': 'zero-or-many',
-  '}|': 'one-or-many', '|{': 'one-or-many',
-}
-const RIGHT_CARD: Record<string, ErCardinality> = {
-  '||': 'one-only', '|o': 'zero-or-one', 'o|': 'zero-or-one',
-  'o{': 'zero-or-many', '}o': 'zero-or-many',
-  '|{': 'one-or-many', '}|': 'one-or-many',
-}
-
-const REL_RE = /^([A-Za-z_][\w-]*)\s+([|o}{][|o}{])\s*(--|\.\.)\s*([|o}{][|o}{])\s+([A-Za-z_][\w-]*)\s*:\s*(.+)$/
-const ENTITY_OPEN_RE = /^([A-Za-z_][\w-]*)\s*\{$/
-const ENTITY_BARE_RE = /^([A-Za-z_][\w-]*)$/
-
-export function parseErBody(lines: string[]): ErBody | null {
-  const body: ErBody = { kind: 'er', entities: [], relations: [] }
-  const entityMap = new Map<string, ErEntity>()
-  const upsert = (id: string): ErEntity => {
-    let e = entityMap.get(id)
-    if (!e) { e = { id, attributes: [] }; entityMap.set(id, e); body.entities.push(e) }
-    return e
-  }
-
-  let i = 0
-  while (i < lines.length) {
-    const raw = lines[i]!.trim()
-    i++
-    if (!raw || raw.startsWith('%%')) continue
-
-    const rm = raw.match(REL_RE)
-    if (rm) {
-      const [, from, leftTok, lineTok, rightTok, to, rawLabel] = rm
-      const lc = LEFT_CARD[leftTok!]
-      const rc = RIGHT_CARD[rightTok!]
-      if (!lc || !rc) return null
-      let label: string = rawLabel!.trim()
-      if (label.startsWith('"') && label.endsWith('"')) label = label.slice(1, -1)
-      body.relations.push({ from: from!, to: to!, leftCard: lc, rightCard: rc, dashed: lineTok === '..', label: label || undefined })
-      upsert(from!); upsert(to!)
-      continue
-    }
-
-    // Bare entity declaration: `CUSTOMER` (no attributes)
-    const bm = raw.match(ENTITY_BARE_RE)
-    if (bm) { upsert(bm[1]!); continue }
-
-    // Entity with attribute block
-    const om = raw.match(ENTITY_OPEN_RE)
-    if (om) {
-      const e = upsert(om[1]!)
-      while (i < lines.length) {
-        const al = lines[i]!.trim()
-        i++
-        if (!al || al.startsWith('%%')) continue
-        if (al === '}') break
-        e.attributes.push({ text: al })
-      }
-      continue
-    }
-
-    return null
-  }
-
-  return body
-}
-
-// ---- Serializer -----------------------------------------------------------
-
-const LEFT_GLYPH: Record<ErCardinality, string> = {
-  'one-only': '||', 'zero-or-one': '|o', 'zero-or-many': '}o', 'one-or-many': '}|',
-}
-const RIGHT_GLYPH: Record<ErCardinality, string> = {
-  'one-only': '||', 'zero-or-one': 'o|', 'zero-or-many': 'o{', 'one-or-many': '|{',
-}
-
-export function renderEr(body: ErBody): string {
-  const lines: string[] = ['erDiagram']
-  for (const e of body.entities) {
-    if (e.attributes.length === 0) {
-      lines.push(`  ${e.id}`)
-    } else {
-      lines.push(`  ${e.id} {`)
-      for (const a of e.attributes) lines.push(`    ${a.text}`)
-      lines.push(`  }`)
-    }
-  }
-  for (const r of body.relations) {
-    const left = LEFT_GLYPH[r.leftCard]
-    const right = RIGHT_GLYPH[r.rightCard]
-    const link = r.dashed ? '..' : '--'
-    const label = r.label ? r.label : ''
-    // An empty label serializes as `: ""` — the parser strips the quotes back
-    // to undefined, and a bare trailing `:` would not re-parse (opaque fallback).
-    lines.push(`  ${r.from} ${left}${link}${right} ${r.to} : ${label === '' || label.includes(' ') ? `"${label}"` : label}`)
-  }
-  return lines.join('\n') + '\n'
-}
-
-// ---- Mutator --------------------------------------------------------------
-
-function cloneEr(body: ErBody): ErBody {
-  return {
-    kind: 'er',
-    entities: body.entities.map(e => ({ id: e.id, attributes: e.attributes.map(a => ({ ...a })) })),
-    relations: body.relations.map(r => ({ ...r })),
-  }
-}
-
-export function mutateEr(body: ErBody, op: ErMutationOp): Result<ErBody, MutationError> {
-  const b = cloneEr(body)
-  const find = (id: string) => b.entities.find(e => e.id === id)
-
-  switch (op.kind) {
-    case 'add_entity': {
-      if (find(op.id)) return err({ code: 'DUPLICATE_ENTITY', message: `entity ${op.id} already exists` })
-      b.entities.push({ id: op.id, attributes: (op.attributes ?? []).map(text => ({ text })) })
-      return ok(b)
-    }
-    case 'remove_entity': {
-      const i = b.entities.findIndex(e => e.id === op.id)
-      if (i < 0) return err({ code: 'ENTITY_NOT_FOUND', message: `entity ${op.id} not found` })
-      b.entities.splice(i, 1)
-      b.relations = b.relations.filter(r => r.from !== op.id && r.to !== op.id)
-      return ok(b)
-    }
-    case 'rename_entity': {
-      const e = find(op.from)
-      if (!e) return err({ code: 'ENTITY_NOT_FOUND', message: `entity ${op.from} not found` })
-      if (find(op.to)) return err({ code: 'DUPLICATE_ENTITY', message: `entity ${op.to} already exists` })
-      e.id = op.to
-      for (const r of b.relations) {
-        if (r.from === op.from) r.from = op.to
-        if (r.to === op.from) r.to = op.to
-      }
-      return ok(b)
-    }
-    case 'add_attribute': {
-      const e = find(op.entity)
-      if (!e) return err({ code: 'ENTITY_NOT_FOUND', message: `entity ${op.entity} not found` })
-      e.attributes.push({ text: op.text })
-      return ok(b)
-    }
-    case 'remove_attribute': {
-      const e = find(op.entity)
-      if (!e) return err({ code: 'ENTITY_NOT_FOUND', message: `entity ${op.entity} not found` })
-      if (op.index < 0 || op.index >= e.attributes.length) return err({ code: 'ATTRIBUTE_NOT_FOUND', message: `attribute index ${op.index} out of range` })
-      e.attributes.splice(op.index, 1)
-      return ok(b)
-    }
-    case 'add_relation': {
-      if (!find(op.from)) return err({ code: 'ENTITY_NOT_FOUND', message: `entity ${op.from} not found` })
-      if (!find(op.to)) return err({ code: 'ENTITY_NOT_FOUND', message: `entity ${op.to} not found` })
-      b.relations.push({ from: op.from, to: op.to, leftCard: op.leftCard, rightCard: op.rightCard, dashed: op.dashed ?? false, label: op.label })
-      return ok(b)
-    }
-    case 'remove_relation': {
-      if (op.index < 0 || op.index >= b.relations.length) return err({ code: 'RELATION_NOT_FOUND', message: `relation index ${op.index} out of range` })
-      b.relations.splice(op.index, 1)
-      return ok(b)
-    }
-    default:
-      return err({ code: 'INVALID_OP', message: unknownOpMessage('er', op) })
-  }
-}
-
-// ---- Verifier -------------------------------------------------------------
-
-export function verifyErBody(body: ErBody, opts: VerifyOptions): LayoutWarning[] {
-  const warnings: LayoutWarning[] = []
-  const cap = opts.labelCharCap ?? DEFAULT_LABEL_CHAR_CAP
-  if (body.entities.length === 0 && body.relations.length === 0) {
-    warnings.push({ code: 'EMPTY_DIAGRAM' })
-    return warnings
-  }
-  const ids = new Set(body.entities.map(e => e.id))
-  const overflow = (target: string, text: string) => {
-    const w = labelOverflowWarning(target, text, cap)
-    if (w) warnings.push(w)
-  }
-  for (const e of body.entities) {
-    for (let i = 0; i < e.attributes.length; i++) {
-      overflow(`${e.id}#a${i}`, e.attributes[i]!.text)
-    }
-  }
-  for (let i = 0; i < body.relations.length; i++) {
-    const r = body.relations[i]!
-    if (!ids.has(r.from) || !ids.has(r.to)) {
-      warnings.push({
-        code: 'EDGE_MISANCHORED', edge: `rel#${i}:${r.from}->${r.to}`,
-        from: ids.has(r.from) ? r.from : undefined, to: ids.has(r.to) ? r.to : undefined,
-      })
-    }
-    if (r.label) overflow(`rel#${i}`, r.label)
-  }
-  return warnings
-}