@optave/codegraph 3.9.0 → 3.9.1

package/src/features/structure.ts

@@ -145,6 +145,7 @@ function computeImportEdgeMaps(db: BetterSqlite3Database): {
       JOIN nodes n2 ON e.target_id = n2.id
       WHERE e.kind IN ('imports', 'imports-type')
         AND n1.file != n2.file
+        AND n2.kind = 'file'
     `)
     .all() as ImportEdge[];
 
@@ -444,6 +445,77 @@ export function classifyNodeRoles(
   return classifyNodeRolesFull(db, emptySummary);
 }
 
+// ─── Shared role-classification helpers ───────────────────────────────
+
+/**
+ * Build a role summary and group node IDs by role from classifier output.
+ * Shared between full and incremental classification paths.
+ */
+function buildRoleSummary(
+  rows: { id: number }[],
+  leafRows: { id: number }[],
+  roleMap: Map<string, string>,
+  emptySummary: RoleSummary,
+): { summary: RoleSummary; idsByRole: Map<string, number[]> } {
+  const summary: RoleSummary = { ...emptySummary };
+  const idsByRole = new Map<string, number[]>();
+
+  // Leaf kinds are always dead-leaf — skip classifier
+  if (leafRows.length > 0) {
+    const leafIds: number[] = [];
+    for (const row of leafRows) leafIds.push(row.id);
+    idsByRole.set('dead-leaf', leafIds);
+    summary.dead += leafRows.length;
+    summary['dead-leaf'] += leafRows.length;
+  }
+
+  for (const row of rows) {
+    const role = roleMap.get(String(row.id)) || 'leaf';
+    if (role.startsWith('dead')) summary.dead++;
+    summary[role] = (summary[role] || 0) + 1;
+    let ids = idsByRole.get(role);
+    if (!ids) {
+      ids = [];
+      idsByRole.set(role, ids);
+    }
+    ids.push(row.id);
+  }
+
+  return { summary, idsByRole };
+}
+
+/**
+ * Batch-update node roles in the database. Executes a reset callback
+ * first (full resets all nodes, incremental resets only affected files),
+ * then writes new roles in chunks.
+ */
+function batchUpdateRoles(
+  db: BetterSqlite3Database,
+  idsByRole: Map<string, number[]>,
+  resetFn: () => void,
+): void {
+  const ROLE_CHUNK = 500;
+  const roleStmtCache = new Map<number, SqliteStatement>();
+  db.transaction(() => {
+    resetFn();
+    for (const [role, ids] of idsByRole) {
+      for (let i = 0; i < ids.length; i += ROLE_CHUNK) {
+        const end = Math.min(i + ROLE_CHUNK, ids.length);
+        const chunkSize = end - i;
+        let stmt = roleStmtCache.get(chunkSize);
+        if (!stmt) {
+          const placeholders = Array.from({ length: chunkSize }, () => '?').join(',');
+          stmt = db.prepare(`UPDATE nodes SET role = ? WHERE id IN (${placeholders})`);
+          roleStmtCache.set(chunkSize, stmt);
+        }
+        const vals: unknown[] = [role];
+        for (let j = i; j < end; j++) vals.push(ids[j]);
+        stmt.run(...vals);
+      }
+    }
+  })();
+}
+
 function classifyNodeRolesFull(db: BetterSqlite3Database, emptySummary: RoleSummary): RoleSummary {
   // Leaf kinds (parameter, property) can never have callers/callees.
   // Classify them directly as dead-leaf without the expensive fan-in/fan-out JOINs.
@@ -463,7 +535,7 @@ function classifyNodeRolesFull(db: BetterSqlite3Database, emptySummary: RoleSumm
         COALESCE(fo.cnt, 0) AS fan_out
       FROM nodes n
       LEFT JOIN (
-        SELECT target_id, COUNT(*) AS cnt FROM edges WHERE kind = 'calls' GROUP BY target_id
+        SELECT target_id, COUNT(*) AS cnt FROM edges WHERE kind IN ('calls', 'imports-type') GROUP BY target_id
       ) fi ON n.id = fi.target_id
       LEFT JOIN (
         SELECT source_id, COUNT(*) AS cnt FROM edges WHERE kind = 'calls' GROUP BY source_id
@@ -489,12 +561,42 @@ function classifyNodeRolesFull(db: BetterSqlite3Database, emptySummary: RoleSumm
         FROM edges e
         JOIN nodes caller ON e.source_id = caller.id
         JOIN nodes target ON e.target_id = target.id
-        WHERE e.kind = 'calls' AND caller.file != target.file`,
+        WHERE e.kind IN ('calls', 'imports-type') AND caller.file != target.file`,
         )
         .all() as { target_id: number }[]
     ).map((r) => r.target_id),
   );
 
+  // Mark symbols as exported when their files are targets of reexports edges
+  // from production-reachable barrels (traces through multi-level chains) (#837)
+  const reexportExported = db
+    .prepare(
+      `WITH RECURSIVE prod_reachable(file_id) AS (
+        SELECT DISTINCT e.target_id
+        FROM edges e
+        JOIN nodes src ON e.source_id = src.id
+        WHERE e.kind IN ('imports', 'dynamic-imports', 'imports-type')
+          AND src.kind = 'file'
+          ${testFilterSQL('src.file')}
+        UNION
+        SELECT e.target_id
+        FROM edges e
+        JOIN prod_reachable pr ON e.source_id = pr.file_id
+        WHERE e.kind = 'reexports'
+      )
+      SELECT DISTINCT n.id
+      FROM nodes n
+      JOIN nodes f ON f.file = n.file AND f.kind = 'file'
+      WHERE f.id IN (
+        SELECT e.target_id FROM edges e
+        WHERE e.kind = 'reexports'
+          AND e.source_id IN (SELECT file_id FROM prod_reachable)
+      )
+      AND n.kind NOT IN ('file', 'directory', 'parameter', 'property')`,
+    )
+    .all() as { id: number }[];
+  for (const r of reexportExported) exportedIds.add(r.id);
+
   // Compute production fan-in (excluding callers in test files)
   const prodFanInMap = new Map<number, number>();
   const prodRows = db
@@ -502,7 +604,7 @@ function classifyNodeRolesFull(db: BetterSqlite3Database, emptySummary: RoleSumm
       `SELECT e.target_id, COUNT(*) AS cnt
       FROM edges e
       JOIN nodes caller ON e.source_id = caller.id
-      WHERE e.kind = 'calls'
+      WHERE e.kind IN ('calls', 'imports-type')
         ${testFilterSQL('caller.file')}
       GROUP BY e.target_id`,
     )
@@ -511,6 +613,15 @@ function classifyNodeRolesFull(db: BetterSqlite3Database, emptySummary: RoleSumm
     prodFanInMap.set(r.target_id, r.cnt);
   }
 
+  // Files with at least one callable (non-constant) connected to the graph.
+  // Constants in these files are likely consumed locally via identifier reference.
+  const activeFiles = new Set<string>();
+  for (const r of rows) {
+    if ((r.fan_in > 0 || r.fan_out > 0) && r.kind !== 'constant') {
+      activeFiles.add(r.file);
+    }
+  }
+
   // Delegate classification to the pure-logic classifier
   const classifierInput = rows.map((r) => ({
     id: String(r.id),
@@ -521,56 +632,16 @@ function classifyNodeRolesFull(db: BetterSqlite3Database, emptySummary: RoleSumm
     fanOut: r.fan_out,
     isExported: exportedIds.has(r.id),
     productionFanIn: prodFanInMap.get(r.id) || 0,
+    hasActiveFileSiblings: r.kind === 'constant' ? activeFiles.has(r.file) : undefined,
   }));
 
   const roleMap = classifyRoles(classifierInput);
 
-  // Build summary and group updates by role for batch UPDATE
-  const summary: RoleSummary = { ...emptySummary };
-  const idsByRole = new Map<string, number[]>();
-
-  // Leaf kinds are always dead-leaf -- skip classifier
-  if (leafRows.length > 0) {
-    const leafIds: number[] = [];
-    for (const row of leafRows) leafIds.push(row.id);
-    idsByRole.set('dead-leaf', leafIds);
-    summary.dead += leafRows.length;
-    summary['dead-leaf'] += leafRows.length;
-  }
-
-  for (const row of rows) {
-    const role = roleMap.get(String(row.id)) || 'leaf';
-    if (role.startsWith('dead')) summary.dead++;
-    summary[role] = (summary[role] || 0) + 1;
-    let ids = idsByRole.get(role);
-    if (!ids) {
-      ids = [];
-      idsByRole.set(role, ids);
-    }
-    ids.push(row.id);
-  }
+  const { summary, idsByRole } = buildRoleSummary(rows, leafRows, roleMap, emptySummary);
 
-  // Batch UPDATE: one statement per role instead of one per node
-  const ROLE_CHUNK = 500;
-  const roleStmtCache = new Map<number, SqliteStatement>();
-  db.transaction(() => {
+  batchUpdateRoles(db, idsByRole, () => {
     db.prepare('UPDATE nodes SET role = NULL').run();
-    for (const [role, ids] of idsByRole) {
-      for (let i = 0; i < ids.length; i += ROLE_CHUNK) {
-        const end = Math.min(i + ROLE_CHUNK, ids.length);
-        const chunkSize = end - i;
-        let stmt = roleStmtCache.get(chunkSize);
-        if (!stmt) {
-          const placeholders = Array.from({ length: chunkSize }, () => '?').join(',');
-          stmt = db.prepare(`UPDATE nodes SET role = ? WHERE id IN (${placeholders})`);
-          roleStmtCache.set(chunkSize, stmt);
-        }
-        const vals: unknown[] = [role];
-        for (let j = i; j < end; j++) vals.push(ids[j]);
-        stmt.run(...vals);
-      }
-    }
-  })();
+  });
 
   return summary;
 }
@@ -598,7 +669,7 @@ function classifyNodeRolesIncremental(
       `SELECT DISTINCT n2.file FROM edges e
        JOIN nodes n1 ON (e.source_id = n1.id OR e.target_id = n1.id)
        JOIN nodes n2 ON (e.source_id = n2.id OR e.target_id = n2.id)
-       WHERE e.kind = 'calls'
+       WHERE e.kind IN ('calls', 'imports-type', 'reexports')
          AND n1.file IN (${seedPlaceholders})
          AND n2.file NOT IN (${seedPlaceholders})
          AND n2.kind NOT IN ('file', 'directory')`,
@@ -610,7 +681,9 @@ function classifyNodeRolesIncremental(
   // 1. Compute global medians from edge distribution (fast: scans edge index, no node join)
   const fanInDist = (
     db
-      .prepare(`SELECT COUNT(*) AS cnt FROM edges WHERE kind = 'calls' GROUP BY target_id`)
+      .prepare(
+        `SELECT COUNT(*) AS cnt FROM edges WHERE kind IN ('calls', 'imports-type') GROUP BY target_id`,
+      )
       .all() as { cnt: number }[]
   )
     .map((r) => r.cnt)
@@ -638,7 +711,7 @@ function classifyNodeRolesIncremental(
   const rows = db
     .prepare(
       `SELECT n.id, n.name, n.kind, n.file,
-        (SELECT COUNT(*) FROM edges WHERE kind = 'calls' AND target_id = n.id) AS fan_in,
+        (SELECT COUNT(*) FROM edges WHERE kind IN ('calls', 'imports-type') AND target_id = n.id) AS fan_in,
         (SELECT COUNT(*) FROM edges WHERE kind = 'calls' AND source_id = n.id) AS fan_out
       FROM nodes n
       WHERE n.kind NOT IN ('file', 'directory', 'parameter', 'property')
@@ -664,13 +737,44 @@ function classifyNodeRolesIncremental(
           FROM edges e
           JOIN nodes caller ON e.source_id = caller.id
           JOIN nodes target ON e.target_id = target.id
-          WHERE e.kind = 'calls' AND caller.file != target.file
+          WHERE e.kind IN ('calls', 'imports-type') AND caller.file != target.file
             AND target.file IN (${placeholders})`,
         )
         .all(...allAffectedFiles) as { target_id: number }[]
     ).map((r) => r.target_id),
   );
 
+  // 3b. Mark symbols as exported when their files are targets of reexports edges
+  // from production-reachable barrels (traces through multi-level chains) (#837)
+  const reexportExported = db
+    .prepare(
+      `WITH RECURSIVE prod_reachable(file_id) AS (
+        SELECT DISTINCT e.target_id
+        FROM edges e
+        JOIN nodes src ON e.source_id = src.id
+        WHERE e.kind IN ('imports', 'dynamic-imports', 'imports-type')
+          AND src.kind = 'file'
+          ${testFilterSQL('src.file')}
+        UNION
+        SELECT e.target_id
+        FROM edges e
+        JOIN prod_reachable pr ON e.source_id = pr.file_id
+        WHERE e.kind = 'reexports'
+      )
+      SELECT DISTINCT n.id
+      FROM nodes n
+      JOIN nodes f ON f.file = n.file AND f.kind = 'file'
+      WHERE f.id IN (
+        SELECT e.target_id FROM edges e
+        WHERE e.kind = 'reexports'
+          AND e.source_id IN (SELECT file_id FROM prod_reachable)
+      )
+      AND n.kind NOT IN ('file', 'directory', 'parameter', 'property')
+      AND n.file IN (${placeholders})`,
+    )
+    .all(...allAffectedFiles) as { id: number }[];
+  for (const r of reexportExported) exportedIds.add(r.id);
+
   // 4. Production fan-in for affected nodes only
   const prodFanInMap = new Map<number, number>();
   const prodRows = db
@@ -679,7 +783,7 @@ function classifyNodeRolesIncremental(
       FROM edges e
       JOIN nodes caller ON e.source_id = caller.id
       JOIN nodes target ON e.target_id = target.id
-      WHERE e.kind = 'calls'
+      WHERE e.kind IN ('calls', 'imports-type')
         AND target.file IN (${placeholders})
         ${testFilterSQL('caller.file')}
       GROUP BY e.target_id`,
@@ -690,6 +794,13 @@ function classifyNodeRolesIncremental(
   }
 
   // 5. Classify affected nodes using global medians
+  const activeFiles = new Set<string>();
+  for (const r of rows) {
+    if ((r.fan_in > 0 || r.fan_out > 0) && r.kind !== 'constant') {
+      activeFiles.add(r.file);
+    }
+  }
+
   const classifierInput = rows.map((r) => ({
     id: String(r.id),
     name: r.name,
@@ -699,59 +810,20 @@ function classifyNodeRolesIncremental(
     fanOut: r.fan_out,
     isExported: exportedIds.has(r.id),
     productionFanIn: prodFanInMap.get(r.id) || 0,
+    hasActiveFileSiblings: r.kind === 'constant' ? activeFiles.has(r.file) : undefined,
   }));
 
   const roleMap = classifyRoles(classifierInput, globalMedians);
 
   // 6. Build summary (only for affected nodes) and update only those nodes
-  const summary: RoleSummary = { ...emptySummary };
-  const idsByRole = new Map<string, number[]>();
-
-  // Leaf kinds are always dead-leaf -- skip classifier
-  if (leafRows.length > 0) {
-    const leafIds: number[] = [];
-    for (const row of leafRows) leafIds.push(row.id);
-    idsByRole.set('dead-leaf', leafIds);
-    summary.dead += leafRows.length;
-    summary['dead-leaf'] += leafRows.length;
-  }
-
-  for (const row of rows) {
-    const role = roleMap.get(String(row.id)) || 'leaf';
-    if (role.startsWith('dead')) summary.dead++;
-    summary[role] = (summary[role] || 0) + 1;
-    let ids = idsByRole.get(role);
-    if (!ids) {
-      ids = [];
-      idsByRole.set(role, ids);
-    }
-    ids.push(row.id);
-  }
+  const { summary, idsByRole } = buildRoleSummary(rows, leafRows, roleMap, emptySummary);
 
-  // Only update affected nodes — no global NULL reset
-  const ROLE_CHUNK = 500;
-  const roleStmtCache = new Map<number, SqliteStatement>();
-  db.transaction(() => {
+  batchUpdateRoles(db, idsByRole, () => {
     // Reset roles only for affected files' nodes
     db.prepare(
       `UPDATE nodes SET role = NULL WHERE file IN (${placeholders}) AND kind NOT IN ('file', 'directory')`,
     ).run(...allAffectedFiles);
-    for (const [role, ids] of idsByRole) {
-      for (let i = 0; i < ids.length; i += ROLE_CHUNK) {
-        const end = Math.min(i + ROLE_CHUNK, ids.length);
-        const chunkSize = end - i;
-        let stmt = roleStmtCache.get(chunkSize);
-        if (!stmt) {
-          const ph = Array.from({ length: chunkSize }, () => '?').join(',');
-          stmt = db.prepare(`UPDATE nodes SET role = ? WHERE id IN (${ph})`);
-          roleStmtCache.set(chunkSize, stmt);
-        }
-        const vals: unknown[] = [role];
-        for (let j = i; j < end; j++) vals.push(ids[j]);
-        stmt.run(...vals);
-      }
-    }
-  })();
+  });
 
   return summary;
 }

package/src/graph/algorithms/louvain.ts

@@ -12,6 +12,9 @@ import type { CodeGraph } from '../model.js';
 import type { DetectClustersResult } from './leiden/index.js';
 import { detectClusters } from './leiden/index.js';
 
+/** Default random seed for deterministic community detection. */
+const DEFAULT_RANDOM_SEED = 42;
+
 export interface LouvainOptions {
   resolution?: number;
   maxLevels?: number;
@@ -42,7 +45,7 @@ export function louvainCommunities(graph: CodeGraph, opts: LouvainOptions = {}):
     }
     const edges = graph.toEdgeArray();
     const nodeIds = graph.nodeIds();
-    const result = native.louvainCommunities(edges, nodeIds, resolution, 42);
+    const result = native.louvainCommunities(edges, nodeIds, resolution, DEFAULT_RANDOM_SEED);
     const assignments = new Map<string, number>();
     for (const entry of result.assignments) {
       assignments.set(entry.node, entry.community);
@@ -57,7 +60,7 @@ export function louvainCommunities(graph: CodeGraph, opts: LouvainOptions = {}):
 function louvainJS(graph: CodeGraph, opts: LouvainOptions, resolution: number): LouvainResult {
   const result: DetectClustersResult = detectClusters(graph, {
     resolution,
-    randomSeed: 42,
+    randomSeed: DEFAULT_RANDOM_SEED,
     directed: false,
     ...(opts.maxLevels != null && { maxLevels: opts.maxLevels }),
     ...(opts.maxLocalPasses != null && { maxLocalPasses: opts.maxLocalPasses }),

package/src/graph/classifiers/roles.ts

@@ -74,6 +74,8 @@ export interface RoleClassificationNode {
   isExported: boolean;
   testOnlyFanIn?: number;
   productionFanIn?: number;
+  /** True when the same file contains at least one non-constant callable connected to the graph (fanIn > 0 or fanOut > 0). */
+  hasActiveFileSiblings?: boolean;
 }
 
 /**
@@ -115,13 +117,20 @@ export function classifyRoles(
     if (isFrameworkEntry) {
       role = 'entry';
     } else if (node.fanIn === 0 && !node.isExported) {
-      role =
-        node.testOnlyFanIn != null && node.testOnlyFanIn > 0
-          ? 'test-only'
-          : classifyDeadSubRole(node);
+      if (node.kind === 'constant' && node.hasActiveFileSiblings) {
+        // Constants consumed via identifier reference (not calls) have no
+        // inbound call edges. If the same file has active callables, the
+        // constant is almost certainly used locally — classify as leaf.
+        role = 'leaf';
+      } else {
+        role =
+          node.testOnlyFanIn != null && node.testOnlyFanIn > 0
+            ? 'test-only'
+            : classifyDeadSubRole(node);
+      }
     } else if (node.fanIn === 0 && node.isExported) {
       role = 'entry';
-    } else if (hasProdFanIn && node.fanIn > 0 && node.productionFanIn === 0) {
+    } else if (hasProdFanIn && node.fanIn > 0 && node.productionFanIn === 0 && !node.isExported) {
       role = 'test-only';
     } else if (highIn && !highOut) {
       role = 'core';

package/src/presentation/communities.ts

@@ -44,6 +44,48 @@ interface CommunitiesResult {
   drift: DriftAnalysis;
 }
 
+function renderCommunityList(communityList: Community[]): void {
+  for (const c of communityList) {
+    const dirs = Object.entries(c.directories)
+      .sort((a, b) => b[1] - a[1])
+      .map(([d, n]) => `${d} (${n})`)
+      .join(', ');
+    console.log(`  Community ${c.id} (${c.size} members): ${dirs}`);
+    if (c.members) {
+      const shown = c.members.slice(0, 8);
+      for (const m of shown) {
+        const kind = m.kind ? ` [${m.kind}]` : '';
+        console.log(`    - ${m.name}${kind}  ${m.file}`);
+      }
+      if (c.members.length > 8) {
+        console.log(`    ... and ${c.members.length - 8} more`);
+      }
+    }
+  }
+}
+
+function renderDriftAnalysis(d: DriftAnalysis, driftScore: number): void {
+  if (d.splitCandidates.length === 0 && d.mergeCandidates.length === 0) return;
+
+  console.log(`\n# Drift Analysis (score: ${driftScore}%)\n`);
+
+  if (d.splitCandidates.length > 0) {
+    console.log('  Split candidates (directories spanning multiple communities):');
+    for (const s of d.splitCandidates.slice(0, 10)) {
+      console.log(`    - ${s.directory} → ${s.communityCount} communities`);
+    }
+  }
+
+  if (d.mergeCandidates.length > 0) {
+    console.log('  Merge candidates (communities spanning multiple directories):');
+    for (const m of d.mergeCandidates.slice(0, 10)) {
+      console.log(
+        `    - Community ${m.communityId} (${m.size} members) → ${m.directoryCount} dirs: ${m.directories.join(', ')}`,
+      );
+    }
+  }
+}
+
 export function communities(customDbPath: string | undefined, opts: CommunitiesCliOpts = {}): void {
   const data = communitiesData(customDbPath, opts) as unknown as CommunitiesResult;
 
@@ -64,46 +106,9 @@ export function communities(customDbPath: string | undefined, opts: CommunitiesC
   );
 
   if (!opts.drift) {
-    for (const c of data.communities) {
-      const dirs = Object.entries(c.directories)
-        .sort((a, b) => b[1] - a[1])
-        .map(([d, n]) => `${d} (${n})`)
-        .join(', ');
-      console.log(`  Community ${c.id} (${c.size} members): ${dirs}`);
-      if (c.members) {
-        const shown = c.members.slice(0, 8);
-        for (const m of shown) {
-          const kind = m.kind ? ` [${m.kind}]` : '';
-          console.log(`    - ${m.name}${kind}  ${m.file}`);
-        }
-        if (c.members.length > 8) {
-          console.log(`    ... and ${c.members.length - 8} more`);
-        }
-      }
-    }
-  }
-
-  // Drift analysis
-  const d = data.drift;
-  if (d.splitCandidates.length > 0 || d.mergeCandidates.length > 0) {
-    console.log(`\n# Drift Analysis (score: ${data.summary.driftScore}%)\n`);
-
-    if (d.splitCandidates.length > 0) {
-      console.log('  Split candidates (directories spanning multiple communities):');
-      for (const s of d.splitCandidates.slice(0, 10)) {
-        console.log(`    - ${s.directory} → ${s.communityCount} communities`);
-      }
-    }
-
-    if (d.mergeCandidates.length > 0) {
-      console.log('  Merge candidates (communities spanning multiple directories):');
-      for (const m of d.mergeCandidates.slice(0, 10)) {
-        console.log(
-          `    - Community ${m.communityId} (${m.size} members) → ${m.directoryCount} dirs: ${m.directories.join(', ')}`,
-        );
-      }
-    }
+    renderCommunityList(data.communities);
   }
 
+  renderDriftAnalysis(data.drift, data.summary.driftScore);
   console.log();
 }

package/src/presentation/manifesto.ts

@@ -22,17 +22,9 @@ interface ManifestoViolationRow {
   line?: number;
 }
 
-export function manifesto(customDbPath: string | undefined, opts: ManifestoOpts = {}): void {
-  const data = manifestoData(customDbPath, opts as any) as any;
-
-  if (outputResult(data, 'violations', opts)) {
-    if (!data.passed) process.exitCode = 1;
-    return;
-  }
-
+function renderRulesTable(data: any): void {
   console.log('\n# Manifesto Rules\n');
 
-  // Rules table
   console.log(
     `  ${'Rule'.padEnd(20)} ${'Level'.padEnd(10)} ${'Status'.padEnd(8)} ${'Warn'.padStart(6)} ${'Fail'.padStart(6)} ${'Violations'.padStart(11)}`,
   );
@@ -49,44 +41,49 @@ export function manifesto(customDbPath: string | undefined, opts: ManifestoOpts
     );
   }
 
-  // Summary
   const s = data.summary;
   console.log(
     `\n  ${s.total} rules | ${s.passed} passed | ${s.warned} warned | ${s.failed} failed | ${s.violationCount} violations`,
   );
+}
 
-  // Violations detail
-  if (data.violations.length > 0) {
-    const failViolations = data.violations.filter((v: ManifestoViolationRow) => v.level === 'fail');
-    const warnViolations = data.violations.filter((v: ManifestoViolationRow) => v.level === 'warn');
+function renderViolationList(
+  label: string,
+  violations: ManifestoViolationRow[],
+  maxShown = 20,
+): void {
+  if (violations.length === 0) return;
+  console.log(`\n## ${label} (${violations.length})\n`);
+  for (const v of violations.slice(0, maxShown)) {
+    const loc = v.line ? `${v.file}:${v.line}` : v.file;
+    const tag = label === 'Failures' ? 'FAIL' : 'WARN';
+    console.log(
+      `  [${tag}] ${v.rule}: ${v.name} (${v.value}) at ${loc} — threshold ${v.threshold}`,
+    );
+  }
+  if (violations.length > maxShown) {
+    console.log(`  ... and ${violations.length - maxShown} more`);
+  }
+}
+
+function renderViolations(violations: ManifestoViolationRow[]): void {
+  if (violations.length === 0) return;
+  const failViolations = violations.filter((v) => v.level === 'fail');
+  const warnViolations = violations.filter((v) => v.level === 'warn');
+  renderViolationList('Failures', failViolations);
+  renderViolationList('Warnings', warnViolations);
+}
 
-    if (failViolations.length > 0) {
-      console.log(`\n## Failures (${failViolations.length})\n`);
-      for (const v of failViolations.slice(0, 20)) {
-        const loc = v.line ? `${v.file}:${v.line}` : v.file;
-        console.log(
-          `  [FAIL] ${v.rule}: ${v.name} (${v.value}) at ${loc} — threshold ${v.threshold}`,
-        );
-      }
-      if (failViolations.length > 20) {
-        console.log(`  ... and ${failViolations.length - 20} more`);
-      }
-    }
+export function manifesto(customDbPath: string | undefined, opts: ManifestoOpts = {}): void {
+  const data = manifestoData(customDbPath, opts as any) as any;
 
-    if (warnViolations.length > 0) {
-      console.log(`\n## Warnings (${warnViolations.length})\n`);
-      for (const v of warnViolations.slice(0, 20)) {
-        const loc = v.line ? `${v.file}:${v.line}` : v.file;
-        console.log(
-          `  [WARN] ${v.rule}: ${v.name} (${v.value}) at ${loc} — threshold ${v.threshold}`,
-        );
-      }
-      if (warnViolations.length > 20) {
-        console.log(`  ... and ${warnViolations.length - 20} more`);
-      }
-    }
+  if (outputResult(data, 'violations', opts)) {
+    if (!data.passed) process.exitCode = 1;
+    return;
   }
 
+  renderRulesTable(data);
+  renderViolations(data.violations);
   console.log();
 
   if (!data.passed) {