@diagrammo/dgmo 0.16.0 → 0.17.0

package/docs/language-reference.md

@@ -263,7 +263,7 @@ quote.
 
 ### 2.3 Examples
 
-- `Auth Service is a service` — bare multi-word, no quoting needed
+- `Auth Database is a database` — bare multi-word, no quoting needed
 - `"first name" varchar` — quote when name contains a reserved char (the `:` ER type separator)
 - `"Order | Items"` — quote the pipe
 - `class "Customer Service"` — bare multi-word also accepts in class
@@ -289,6 +289,7 @@ These are intentionally outside the universal rule:
 - `I_NAME_MERGED` (warning) — two source-distinct names normalize to the same key with different displayed forms
 - `E_NAME_RESERVED_CHAR` (error) — bare name contains a reserved char without quoting
 - `E_AKA_REMOVED` (error) — removed `aka` keyword used in sequence participant declaration
+- `E_PARTICIPANT_TYPE_REMOVED` (error) — sequence `is a X` declaration used a removed type keyword (`service`, `frontend`, `networking`, `gateway`, `external`)
 
 ---
 
@@ -302,7 +303,7 @@ tag-shorthand and venn `alias` keyword forms with a uniform rule.
 
 ```
 sequence
-Alice is a service as a
+Alice is an actor as a
 Bob is a database as b
 a -hello-> b
 b -ack-> a
@@ -376,43 +377,38 @@ Name is a <type> [position N]
 Name | key: value
 ```
 
-Types: `service`, `database`, `actor`, `queue`, `cache`, `gateway`, `external`, `networking`, `frontend`
+Types: `actor`, `database`, `cache`, `queue` (plus default — the plain rectangle, used when `is a` is omitted).
+
+Type names in `is a X` are **case-insensitive** (`is a Actor`, `is an ACTOR`, `is an actor` all parse the same). The keywords `service`, `frontend`, `networking`, `gateway`, and `external` were removed in 0.16.0 and now emit `E_PARTICIPANT_TYPE_REMOVED`; drop the override and the participant renders as the default rectangle.
+
+A participant *named* with a removed-type keyword (e.g. `service -> User: hi` declares a participant named "service") remains valid. The trim affects only the `is a X` declaration syntax, not name resolution.
 
 **Inference rules** — the parser infers the type (and shape) from the participant name. Only use `is a` when the name does not match or you want to override:
 
 | Inferred Type | Shape | Name Patterns (examples) |
 |--------------|-------|--------------------------|
-| actor | Stick figure | `User`, `Customer`, `Client`, `Admin`, `Agent`, `Person`, `Buyer`, `Seller`, `Guest`, `Visitor`, `Operator`, Alice, Bob, Charlie, `*User`, `*Actor`, `*Analyst`, `*Staff` |
-| service | Rounded rectangle | `*Service`, `*Svc`, `*API`, Lambda, `*Function`, `*Fn`, `*Job`, Cron, Auth, SSO, OAuth, Stripe, Twilio, S3, Vercel, Docker, K8s, Vault, KMS, IAM, LLM, GPT, Claude, `*Pipeline`, `*Engine`, and many `-er`/`-or` suffixes (Scheduler, Handler, Processor, Worker, etc.) |
-| database | Cylinder (vertical) | `*DB`, `Database`, `*Store`, `Storage`, `*Repo`, `SQL`, Postgres, MySQL, Mongo, Dynamo, Aurora, Spanner, Supabase, Firebase, BigQuery, Redshift, Snowflake, Cassandra, Neo4j, ClickHouse, Elastic, OpenSearch, Pinecone, Weaviate, `*Table` |
+| actor | Stick figure | `User`, `Customer`, `Admin`, `Agent`, `Person`, `Buyer`, `Seller`, `Guest`, `Visitor`, `Operator`, `Developer`, Alice, Bob, Charlie, Fan, Purchaser, Reviewer, `*User`, `*Actor`, `*Analyst`, `*Staff` |
+| database | Cylinder (vertical) | `*DB`, `Database`, `Datastore`, `*Store`, `Storage`, `*Repo`, `Repository`, `SQL`, Postgres, MySQL, Mongo, Dynamo, Aurora, Spanner, Supabase, Firebase, BigQuery, Redshift, Snowflake, Cassandra, Neo4j, ClickHouse, Elastic, OpenSearch, Druid, Trino, Pinecone, Weaviate, Qdrant, Milvus, Presto, `*Table` |
 | cache | Dashed cylinder | `*Cache`, Redis, Memcache, KeyDB, Dragonfly, Hazelcast, Valkey |
-| queue | Horizontal cylinder (pipe) | `*Queue`, `*MQ`, SQS, Kafka, RabbitMQ, `EventBus`, `*Bus`, `Topic`, `*Stream`, SNS, PubSub, NATS, Pulsar, Kinesis, EventBridge, Celery, Sidekiq, `*Channel`, `*Broker` |
-| networking | Hexagon | `*Router`, `*Balancer`, `Gateway`, `Proxy`, `LB`, `CDN`, `Firewall`, `WAF`, `DNS`, `Ingress`, Nginx, Traefik, Envoy, Istio, Kong, Akamai, Cloudflare, `*Mesh` |
-| frontend | Monitor (screen + stand) | `*App`, `Application`, `Mobile`, iOS, Android, `Web`, `Browser`, `Frontend`, `*UI`, `Dashboard`, `*CLI`, `Terminal`, React, Vue, Angular, Svelte, NextJS, Electron, Tauri, `*Widget`, `Portal`, `*Console`, SPA, PWA |
-| gateway | Rectangle (same as default) | matched via `is a gateway` only |
-| external | Dashed rectangle | `External`, `*Ext`, `ThirdParty`, `*3P`, `Vendor`, `Webhook`, `Upstream`, `Downstream`, `Callback`, AWS, GCP, Azure |
+| queue | Horizontal cylinder (pipe) | `*Queue`, `*MQ`, SQS, Kafka, RabbitMQ, `EventBus`, `MessageBus`, `*Bus`, `Topic`, `*Stream`, SNS, PubSub, `*Broker`, NATS, Pulsar, Kinesis, EventBridge, CloudEvents, Celery, Sidekiq, EventHub, `*Channel` |
 | default | Rectangle | Everything else (no `is a` needed) |
 
 **Inference handles it (skip `is a`):**
 ```
-AuthService          // service (matches *Service)
 PostgresDB           // database (matches *DB)
 Redis                // cache (exact match)
 User                 // actor (exact match)
 Kafka                // queue (exact match)
-API Gateway          // networking (matches Gateway)
-WebApp               // frontend (matches *App)
-Stripe               // service (exact match)
 ```
 
 **Inference would miss (use `is a`):**
 ```
-Payments is a service       // "Payments" matches no rule
-Vault is a database         // "Vault" infers as service, but you want database
+Vault is a database         // "Vault" matches no rule, but you want database
 Notifications is a queue    // "Notifications" matches no rule
-Analytics is a frontend     // "Analytics" matches no rule
 ```
 
+Names that previously inferred to a removed type — `AuthService`, `WebApp`, `Cloudflare`, `API Gateway`, `Stripe`, `Webhook` — now fall through to default (plain rectangle). That is the intended outcome of the trim: the visual differentiation is gone because the underlying distinction did not pull its weight.
+
 ### 2.2 Participant Groups
 
 ```

package/docs/migration-sequence-color-to-tags.md

@@ -27,7 +27,7 @@ tag: Role
   Gateway(blue)
   Storage(green)
 
-API is a service | role: Gateway
+API | role: Gateway
 DB is a database | role: Storage
 ```
 

package/gallery/fixtures/sequence-tags-protocols.dgmo

@@ -14,9 +14,9 @@ tag Owner as o
   Data blue
 
 Buyer is an actor
-CheckoutSvc is a service | o: Checkout
-InventorySvc is a service | o: Fulfillment
-PaymentSvc is a service | o: Payments
+CheckoutSvc | o: Checkout
+InventorySvc | o: Fulfillment
+PaymentSvc | o: Payments
 OrderDB is a database | o: Data
 EventBus is a queue
 

package/gallery/fixtures/sequence-tags.dgmo

@@ -13,12 +13,12 @@ tag Team as t
   Security red
 
 Mobile is an actor
-Gateway is a gateway | t: Platform
+Gateway | t: Platform
 Redis is a cache | c: Caching, t: Platform
 
 [Backend] | t: Product
-  UserAPI is a service
-  OrderAPI is a service
+  UserAPI
+  OrderAPI
   DB is a database
 
 == Authentication ==

package/gallery/fixtures/sequence.dgmo

@@ -1,10 +1,10 @@
 sequence E-Commerce Checkout
 
 User is an actor
-App is a frontend
-API is a gateway
-Orders is a service
-Payments is an external
+App
+API
+Orders
+Payments
 DB is a database
 
 [Place Order]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@diagrammo/dgmo",
-  "version": "0.16.0",
+  "version": "0.17.0",
   "description": "DGMO diagram markup language — parser, renderer, and color system",
   "license": "MIT",
   "repository": {
@@ -117,6 +117,7 @@
     "prebuild": "rm -rf dist && pnpm codegen",
     "build": "tsup",
     "typecheck": "tsc --noEmit",
+    "typecheck:strict": "tsc --noEmit -p tsconfig.strict.json",
     "dev": "tsup --watch",
     "pretest": "pnpm codegen",
     "test": "vitest run --coverage",
@@ -130,12 +131,14 @@
     "lint:fix": "eslint . --fix",
     "format": "prettier --write src/",
     "format:check": "prettier --check src/",
+    "check:api": "pnpm build && bash scripts/check-api.sh check",
+    "check:api:update": "pnpm build && bash scripts/check-api.sh update",
     "check:duplication": "jscpd ./src",
     "check:deadcode": "knip",
     "check:spelling": "cspell \"src/**/*.ts\" \"tests/**/*.ts\"",
-    "check:all": "pnpm check:deadcode && pnpm check:spelling && pnpm check:duplication && pnpm check:circular && pnpm check:deps && pnpm check:security && pnpm build && pnpm check:publish && pnpm check:types",
+    "check:all": "pnpm check:deadcode && pnpm check:spelling && pnpm check:duplication && pnpm check:circular && pnpm check:deps && pnpm check:security && pnpm build && bash scripts/check-api.sh check && pnpm check:publish && pnpm check:types",
     "check:circular": "madge --circular --extensions ts src/ --json | node -e \"const c=JSON.parse(require('fs').readFileSync('/dev/stdin','utf8')); const n=c.length; if(n>4){console.error('New circular deps found ('+n+' > 4 known type-only cycles)');process.exit(1)}else if(n>0){console.log(n+' known type-only/dynamic cycles (safe)')}else{console.log('No circular dependencies')}\"",
-    "check:deps": "depcheck --ignores='@codemirror/language,@lezer/*,husky,lint-staged,tsup,axe-core'",
+    "check:deps": "depcheck --ignores='@codemirror/language,@lezer/*,husky,lint-staged,tsup,axe-core,type-coverage'",
     "check:security": "pnpm audit --prod",
     "check:publish": "publint",
     "check:size": "pnpm build && du -sh dist/ && echo '---' && ls -lh dist/*.js dist/*.cjs",
@@ -185,6 +188,7 @@
     "prettier": "^3.8.2",
     "publint": "^0.3.18",
     "tsup": "^8.5.1",
+    "type-coverage": "^2.29.7",
     "typescript": "^6.0.2",
     "typescript-eslint": "^8.58.1",
     "vitest": "^4.1.4"

package/src/auto/index.ts

@@ -279,7 +279,7 @@ export function resolveTheme(
 function ensureStyles(): void {
   if (typeof document === 'undefined') return;
   const html = document.documentElement;
-  if (html && html.dataset && html.dataset[STYLE_FLAG] === '1') return;
+  if (html?.dataset?.[STYLE_FLAG] === '1') return;
 
   // If a <link rel="stylesheet"> for our css is already linked, skip inline.
   const linked = document.querySelector(
@@ -509,7 +509,7 @@ function determineReplaceTarget(matched: Element): Element {
   // If matched is a <code> whose only child of <pre> is itself, replace <pre>.
   if (matched.tagName === 'CODE') {
     const parent = matched.parentElement;
-    if (parent && parent.tagName === 'PRE') {
+    if (parent?.tagName === 'PRE') {
       const meaningfulChildren = Array.from(parent.childNodes).filter(
         (n) =>
           n.nodeType === 1 ||

package/src/boxes-and-lines/layout.ts

@@ -636,8 +636,7 @@ export async function layoutBoxesAndLines(
       const edge = parsed.edges[i];
       if (edgeParallelCounts[i] === 0) continue;
       const elkEdge = edgeById.get(`e${i}`);
-      if (!elkEdge || !elkEdge.sections || elkEdge.sections.length === 0)
-        continue;
+      if (!elkEdge?.sections || elkEdge.sections.length === 0) continue;
       const container = elkEdge.container ?? 'root';
       const off = containerAbs.get(container) ?? { x: 0, y: 0 };
       const s = elkEdge.sections[0];

package/src/c4/parser.ts

@@ -232,7 +232,7 @@ export function parseC4(content: string, palette?: PaletteColors): ParsedC4 {
     return result;
   };
 
-  if (!content || !content.trim()) {
+  if (!content?.trim()) {
     return fail(0, 'No content provided');
   }
 

package/src/class/parser.ts

@@ -259,7 +259,7 @@ export function parseClassDiagram(
     // First line: bare chart type + optional title (new syntax)
     if (!contentStarted && indent === 0 && i === 0) {
       const firstLine = parseFirstLine(trimmed);
-      if (firstLine && firstLine.chartType === 'class') {
+      if (firstLine?.chartType === 'class') {
         if (firstLine.title) {
           result.title = firstLine.title;
           result.titleLineNumber = lineNumber;

package/src/cli.ts

@@ -190,8 +190,8 @@ title: Auth Flow
 
 // Participants auto-inferred, or declare explicitly:
 User is an actor
-API is a service
 DB is a database
+Cache is a cache
 
 User -Login-> API
 API -Find user-> DB
@@ -1157,7 +1157,7 @@ async function main(): Promise<void> {
     }
 
     const existingDgmo = config.mcpServers?.['dgmo'];
-    if (existingDgmo && existingDgmo.command === 'dgmo-mcp') {
+    if (existingDgmo?.command === 'dgmo-mcp') {
       console.log(`✓ dgmo MCP server already configured in ${configPath}`);
     } else {
       if (existingDgmo) {

package/src/completion.ts

@@ -595,20 +595,7 @@ export const CHART_TYPES: ReadonlyArray<{ name: string; description: string }> =
  * C4_IS_A_RE).
  */
 export const ENTITY_TYPES = new Map<string, string[]>([
-  [
-    'sequence',
-    [
-      'service',
-      'database',
-      'actor',
-      'queue',
-      'cache',
-      'gateway',
-      'external',
-      'networking',
-      'frontend',
-    ],
-  ],
+  ['sequence', ['actor', 'database', 'queue', 'cache']],
   [
     'c4',
     ['person', 'system', 'container', 'component', 'external', 'database'],

package/src/cycle/parser.ts

@@ -103,7 +103,7 @@ export function parseCycle(content: string): ParsedCycle {
     // ── First line: chart type declaration ──
     if (!headerParsed) {
       const firstLineResult = parseFirstLine(trimmed);
-      if (firstLineResult && firstLineResult.chartType === 'cycle') {
+      if (firstLineResult?.chartType === 'cycle') {
         result.title = firstLineResult.title ?? '';
         result.titleLineNumber = lineNum;
         headerParsed = true;

package/src/d3.ts

@@ -496,7 +496,7 @@ export function parseVisualization(
     result.diagnostics.push(makeDgmoError(line, message, 'warning'));
   };
 
-  if (!content || !content.trim()) {
+  if (!content?.trim()) {
     return fail(0, 'Empty content');
   }
 
@@ -4107,8 +4107,7 @@ function renderTimelineTagLegendOverlay(
               groupEl.attr('data-tag-group', groupKey);
               if (isActive && !viewMode) {
                 const isSwimActive =
-                  currentSwimlaneGroup != null &&
-                  currentSwimlaneGroup.toLowerCase() === groupKey;
+                  currentSwimlaneGroup?.toLowerCase() === groupKey;
                 const pillWidth =
                   measureLegendText(groupName, LG_PILL_FONT_SIZE) + LG_PILL_PAD;
                 const pillXOff = LG_CAPSULE_PAD;

package/src/diagnostics.ts

@@ -121,6 +121,14 @@ export const NAME_DIAGNOSTIC_CODES = {
    * unnecessary; the diagnostic directs users to the new syntax.
    */
   AKA_REMOVED: 'E_AKA_REMOVED',
+  /**
+   * Error: a removed sequence participant-type keyword was used in
+   * an `is a X` declaration. The 0.16.0 trim retained only
+   * `actor`/`database`/`cache`/`queue`; `service`/`frontend`/
+   * `networking`/`gateway`/`external` no longer carry semantic
+   * weight and emit this error so users drop the override.
+   */
+  PARTICIPANT_TYPE_REMOVED: 'E_PARTICIPANT_TYPE_REMOVED',
 } as const;
 
 /**
@@ -152,6 +160,18 @@ export function akaRemovedMessage(): string {
   return `'aka' is no longer supported — use the participant name directly`;
 }
 
+/**
+ * Canonical message for `E_PARTICIPANT_TYPE_REMOVED`. Emitted when a
+ * sequence participant declaration uses a removed type keyword
+ * (`service`, `frontend`, `networking`, `gateway`, `external`).
+ */
+export function participantTypeRemovedMessage(type: string): string {
+  return (
+    `'${type}' is no longer supported — drop 'is a ${type}'; ` +
+    `the participant renders as the default rectangle`
+  );
+}
+
 // ============================================================
 // Universal Alias Syntax diagnostic codes (TD-18)
 // ============================================================

package/src/echarts.ts

@@ -467,7 +467,7 @@ export function parseExtendedChart(
               )
             : trimmed;
           const dataRow = parseDataRowValues(strippedLine);
-          if (dataRow && dataRow.values.length === 1) {
+          if (dataRow?.values.length === 1) {
             const source = sankeyStack.at(-1)!.name;
             const linkColor = valColorMatch?.[2]
               ? resolveColorWithDiagnostic(
@@ -745,7 +745,7 @@ export function parseExtendedChart(
 
     // Funnel / generic data point: "Label value"
     const dataRow = parseDataRowValues(trimmed);
-    if (dataRow && dataRow.values.length === 1) {
+    if (dataRow?.values.length === 1) {
       const { label: rawLabel, color: pointColor } = extractColor(
         dataRow.label,
         palette

package/src/editor/dgmo.grammar.d.ts

@@ -1,2 +1,2 @@
-import { LRParser } from '@lezer/lr';
+import type { LRParser } from '@lezer/lr';
 export declare const parser: LRParser;

package/src/er/parser.ts

@@ -308,7 +308,7 @@ export function parseERDiagram(
     // First line: chart type + optional title
     if (!firstLineParsed && indent === 0) {
       const firstLineResult = parseFirstLine(trimmed);
-      if (firstLineResult && firstLineResult.chartType === 'er') {
+      if (firstLineResult?.chartType === 'er') {
         firstLineParsed = true;
         if (firstLineResult.title) {
           result.title = firstLineResult.title;

package/src/graph/flowchart-renderer.ts

@@ -373,6 +373,9 @@ function renderNodeShape(
     case 'document':
       renderDocument(g, node, palette, isDark, colorOff, solid);
       break;
+    default:
+      // state/pseudostate are routed through state-renderer; ignored here.
+      break;
   }
 }
 

package/src/infra/renderer.ts

@@ -1733,8 +1733,7 @@ function renderNodes(
       }
 
       // Role badge dots — only shown when Capabilities legend is expanded
-      const showDots =
-        activeGroup != null && activeGroup.toLowerCase() === 'capabilities';
+      const showDots = activeGroup?.toLowerCase() === 'capabilities';
       const roles = showDots && !node.isEdge ? inferRoles(node.properties) : [];
       if (roles.length > 0) {
         // Move dots up above the collapse bar for collapsed groups

package/src/journey-map/parser.ts

@@ -64,7 +64,7 @@ export function parseJourneyMap(
     result.diagnostics.push(makeDgmoError(line, message, 'warning'));
   };
 
-  if (!content || !content.trim()) {
+  if (!content?.trim()) {
     return fail(0, 'No content provided');
   }
 

package/src/kanban/parser.ts

@@ -71,7 +71,7 @@ export function parseKanban(
     result.diagnostics.push(makeDgmoError(line, message, 'warning'));
   };
 
-  if (!content || !content.trim()) {
+  if (!content?.trim()) {
     return fail(0, 'No content provided');
   }
 

package/src/mindmap/parser.ts

@@ -62,7 +62,7 @@ export function parseMindmap(
     result.diagnostics.push(makeDgmoError(line, message, 'warning'));
   };
 
-  if (!content || !content.trim()) {
+  if (!content?.trim()) {
     return fail(0, 'No content provided');
   }
 
@@ -278,8 +278,7 @@ export function parseMindmap(
     result.diagnostics.push(diag);
     result.error = formatDgmoError(diag);
   } else if (
-    titleRoot &&
-    titleRoot.children.length === 0 &&
+    titleRoot?.children.length === 0 &&
     result.roots.length === 1 &&
     !result.error
   ) {

package/src/org/parser.ts

@@ -115,7 +115,7 @@ export function parseOrg(content: string, palette?: PaletteColors): ParsedOrg {
     result.diagnostics.push(makeDgmoError(line, message, 'warning'));
   };
 
-  if (!content || !content.trim()) {
+  if (!content?.trim()) {
     return fail(0, 'No content provided');
   }
 

package/src/pert/analyzer.ts

@@ -180,7 +180,7 @@ export function analyzePert(parsed: ParsedPert): ResolvedPert {
   for (const e of edges) {
     if (!e.lag || e.lag.amount >= 0) continue;
     const src = activities.find((a) => a.id === e.source);
-    if (!src || !src.duration) continue;
+    if (!src?.duration) continue;
     const leadDays = -toDays(e.lag, sprintDays);
     const srcDurDays = toDays(src.duration.m, sprintDays);
     if (e.type === 'FS' && leadDays > srcDurDays) {
@@ -923,7 +923,7 @@ export function buildSummary(input: BuildSummaryInput): CaptionRow[] | null {
     // Expected duration AND each percentile latest-safe start so the
     // caption shape stays parallel to the feasible case (one top row +
     // three percentile sub-rows).
-    if (anchor && anchor.kind === 'backward') {
+    if (anchor?.kind === 'backward') {
       return [
         { text: 'Expected duration: ?', level: 0 },
         { text: 'P50 latest-safe start: ?', level: 0 },
@@ -958,13 +958,13 @@ export function buildSummary(input: BuildSummaryInput): CaptionRow[] | null {
   const sigmaParen = showMcDetail
     ? ` (± ${roundForCaption(projectSigma!)} ${pluralizeUnit(projectSigma!, unit)})`
     : '';
-  if (anchor && anchor.kind === 'forward') {
+  if (anchor?.kind === 'forward') {
     const projectMuDays = projectMu * unitToDays(unit);
     rows.push({
       text: `Expected finish: ${addCalendarDays(anchor.date, projectMuDays)}${sigmaParen}.`,
       level: 0,
     });
-  } else if (anchor && anchor.kind === 'backward') {
+  } else if (anchor?.kind === 'backward') {
     const projectMuDays = projectMu * unitToDays(unit);
     rows.push({
       text: `Expected start: ${addCalendarDays(anchor.date, -projectMuDays)}${sigmaParen}.`,
@@ -990,13 +990,13 @@ export function buildSummary(input: BuildSummaryInput): CaptionRow[] | null {
       { pct: 80, days: monteCarloResult!.p80 },
       { pct: 95, days: monteCarloResult!.p95 },
     ];
-    if (anchor && anchor.kind === 'forward') {
+    if (anchor?.kind === 'forward') {
       for (const { pct, days } of percentiles) {
         const offsetDays = roundConservative(days, 'forward');
         const date = addCalendarDays(anchor.date, offsetDays);
         rows.push({ text: `P${pct} finish: ${date}.`, level: 1 });
       }
-    } else if (anchor && anchor.kind === 'backward') {
+    } else if (anchor?.kind === 'backward') {
       for (const { pct, days } of percentiles) {
         const offsetDays = roundConservative(days, 'backward');
         const date = addCalendarDays(anchor.date, -offsetDays);
@@ -1074,10 +1074,10 @@ export function buildProjectSubtitle(input: {
 
   if (projectMu === null) {
     // Anchored + TBD: keep the framing prefix, mark the math as ?.
-    if (anchor && anchor.kind === 'forward') {
+    if (anchor?.kind === 'forward') {
       return `Expected finish: ? · ≈ ? ${pluralizeUnit(2, unit)} of work`;
     }
-    if (anchor && anchor.kind === 'backward') {
+    if (anchor?.kind === 'backward') {
       return `Expected start: ? · ≈ ? ${pluralizeUnit(2, unit)} lead time`;
     }
     // Unanchored + TBD: surface that the total is unknown. The per-node
@@ -1087,11 +1087,11 @@ export function buildProjectSubtitle(input: {
 
   const muStr = `${roundForCaption(projectMu)} ${pluralizeUnit(projectMu, unit)}`;
 
-  if (anchor && anchor.kind === 'forward') {
+  if (anchor?.kind === 'forward') {
     const projectMuDays = projectMu * unitToDays(unit);
     return `Expected finish: ${addCalendarDays(anchor.date, projectMuDays)} · ≈ ${muStr} of work${sigmaParen}`;
   }
-  if (anchor && anchor.kind === 'backward') {
+  if (anchor?.kind === 'backward') {
     const projectMuDays = projectMu * unitToDays(unit);
     return `Expected start: ${addCalendarDays(anchor.date, -projectMuDays)} · ≈ ${muStr} lead time${sigmaParen}`;
   }

package/src/pert/layout.ts

@@ -208,7 +208,7 @@ function nodeDimensions(
   sizing: NodeSizing,
   overrides?: LayoutOverrides
 ): { width: number; height: number } {
-  if (overrides && overrides[id]) {
+  if (overrides?.[id]) {
     return { width: overrides[id].width, height: overrides[id].height };
   }
   const r = resolved.activities.find((a) => a.activity.id === id);

package/src/pert/parser.ts

@@ -823,7 +823,7 @@ export function parsePert(
         const head = trimmed.slice(0, firstSpace).toLowerCase();
         const value = trimmed.slice(firstSpace + 1).trim();
         const hint = NEAR_DIRECTIVE_HINTS.find((h) => h.stem === head);
-        if (hint && hint.matches.test(value)) {
+        if (hint?.matches.test(value)) {
           error(
             lineNumber,
             `Unknown directive '${head}'. Did you mean '${hint.canonical}'?`,

package/src/pyramid/parser.ts

@@ -89,7 +89,7 @@ export function parsePyramid(content: string): ParsedPyramid {
     // ── First line: chart type declaration ──
     if (!headerParsed) {
       const firstLineResult = parseFirstLine(trimmed);
-      if (firstLineResult && firstLineResult.chartType === 'pyramid') {
+      if (firstLineResult?.chartType === 'pyramid') {
         result.title = firstLineResult.title ?? '';
         result.titleLineNumber = lineNum;
         headerParsed = true;

package/src/raci/parser.ts

@@ -178,7 +178,7 @@ export function parseRaci(
     result.diagnostics.push(makeDgmoError(line, message, 'error', code));
   };
 
-  if (!content || !content.trim()) {
+  if (!content?.trim()) {
     return fail(0, 'No content provided');
   }
 
@@ -624,7 +624,7 @@ export function parseRaci(
           // detect by whether it was declared before `bodyStarted`.
           // We piggyback the `declaredLine` we recorded.
           const entry = roleStore.get(roleId);
-          if (entry && entry.declaredLine === lineNumber) {
+          if (entry?.declaredLine === lineNumber) {
             const candidates = result.roleDisplayNames.filter(
               (n) => n !== entry.displayName
             );

package/src/ring/parser.ts

@@ -74,7 +74,7 @@ export function parseRing(content: string): ParsedRing {
     // ── First line: chart type declaration ──
     if (!headerParsed) {
       const firstLineResult = parseFirstLine(trimmed);
-      if (firstLineResult && firstLineResult.chartType === 'ring') {
+      if (firstLineResult?.chartType === 'ring') {
         result.title = firstLineResult.title ?? '';
         result.titleLineNumber = lineNum;
         headerParsed = true;