tribunal-kit 9.2.4 → 9.2.6

package/src/commands/arch.js

@@ -0,0 +1,172 @@
+'use strict';
+
+const __importDefault =
+  (this && this.__importDefault) ||
+  function (mod) {
+    return mod && mod.__esModule ? mod : { default: mod };
+  };
+Object.defineProperty(exports, '__esModule', { value: true });
+exports.cmdArch = cmdArch;
+
+const fs_1 = __importDefault(require('fs'));
+const path_1 = __importDefault(require('path'));
+const child_process_1 = require('child_process');
+const logger_1 = require('../utils/logger');
+const helpers_1 = require('../utils/helpers');
+
+async function cmdArch(flags, rawArgv, quiet = false) {
+  const targetDir = flags.path ? path_1.default.resolve(flags.path) : process.cwd();
+  const subCommand = rawArgv[3] || 'help';
+
+  (0, helpers_1.banner)(quiet);
+
+  const scriptsDir = path_1.default.join(targetDir, '.agent', 'scripts');
+  const historyDir = path_1.default.join(targetDir, '.agent', 'history');
+  const modelFile = path_1.default.join(historyDir, 'architecture-model.json');
+
+  switch (subCommand) {
+    case 'map': {
+      (0, logger_1.log)(`  ${(0, logger_1.c)('cyan', '▸')} Extracting architectural facts from source...`);
+      const { ArchitectureExtractor } = require(path_1.default.join(scriptsDir, 'architecture_extractor.js'));
+      const extractor = new ArchitectureExtractor(targetDir);
+      const model = extractor.scan();
+      const outPath = extractor.save();
+      (0, logger_1.ok)(`Fact Extraction Complete: ${model.summary.totalEntities} entities, ${model.summary.totalRelations} relations.`);
+      (0, logger_1.log)(`  ${(0, logger_1.c)('gray', 'Model saved to:')} ${(0, logger_1.c)('cyan', outPath)}`);
+      break;
+    }
+
+    case 'verify': {
+      (0, logger_1.log)(`  ${(0, logger_1.c)('cyan', '▸')} Executing Zero-Trust Architecture Verification...`);
+      if (!fs_1.default.existsSync(modelFile)) {
+        const { ArchitectureExtractor } = require(path_1.default.join(scriptsDir, 'architecture_extractor.js'));
+        new ArchitectureExtractor(targetDir).scan().save();
+      }
+      const model = JSON.parse(fs_1.default.readFileSync(modelFile, 'utf8'));
+      const { ArchitectureVerifier } = require(path_1.default.join(scriptsDir, 'architecture_verifier.js'));
+      const verifier = new ArchitectureVerifier(targetDir);
+      const results = verifier.verifyModel(model);
+      const repPath = verifier.saveReport();
+
+      if (results.verified) {
+        (0, logger_1.ok)(`Architecture Verified: ${results.stats.verifiedEntities}/${results.stats.totalEntities} entities confirmed against ground truth.`);
+      } else {
+        (0, logger_1.warn)(`Verification completed with warnings: ${results.contradictions.length} contradictions surfaced.`);
+      }
+      (0, logger_1.log)(`  ${(0, logger_1.c)('gray', 'Verification report:')} ${(0, logger_1.c)('cyan', repPath)}`);
+      break;
+    }
+
+    case 'impact': {
+      const targetQuery = rawArgv[4];
+      if (!targetQuery) {
+        (0, logger_1.err)('Usage: tk arch impact <component-id-or-filepath>');
+        process.exit(1);
+      }
+      if (!fs_1.default.existsSync(modelFile)) {
+        const { ArchitectureExtractor } = require(path_1.default.join(scriptsDir, 'architecture_extractor.js'));
+        const ext = new ArchitectureExtractor(targetDir);
+        ext.scan();
+        ext.save();
+      }
+      const model = JSON.parse(fs_1.default.readFileSync(modelFile, 'utf8'));
+      const { BlastRadiusEngine } = require(path_1.default.join(scriptsDir, 'blast_radius_engine.js'));
+      const engine = new BlastRadiusEngine(model);
+      const res = engine.computeBlastRadius(targetQuery);
+
+      if (!res.found) {
+        (0, logger_1.err)(res.error);
+        process.exit(1);
+      }
+
+      (0, logger_1.log)(`  ${(0, logger_1.bold)('Target:')}                ${(0, logger_1.c)('cyan', res.target.name)} (${res.target.id})`);
+      (0, logger_1.log)(`  ${(0, logger_1.bold)('Risk Tier:')}             ${(0, logger_1.c)(res.metrics.riskTier === 'CRITICAL' ? 'red' : 'yellow', res.metrics.riskTier)} (${res.metrics.riskScore})`);
+      (0, logger_1.log)(`  ${(0, logger_1.bold)('Direct Callers:')}        ${res.metrics.directDependentsCount}`);
+      (0, logger_1.log)(`  ${(0, logger_1.bold)('Transitive Blast:')}      ${res.metrics.transitiveDependentsCount} across ${res.metrics.maxDepthReached} rings`);
+      (0, logger_1.log)(`  ${(0, logger_1.bold)('Impacted Endpoints:')}    ${res.impactBreakdown.endpoints.length}`);
+      (0, logger_1.log)(`  ${(0, logger_1.bold)('Impacted Test Suites:')}  ${res.impactBreakdown.testSuites.length}`);
+      break;
+    }
+
+    case 'diff': {
+      const baseFile = rawArgv[4];
+      const headFile = rawArgv[5];
+      if (!baseFile || !headFile) {
+        (0, logger_1.err)('Usage: tk arch diff <base-model.json> <head-model.json>');
+        process.exit(1);
+      }
+      const { ArchitectureDiffer } = require(path_1.default.join(scriptsDir, 'architecture_diff.js'));
+      const baseModel = JSON.parse(fs_1.default.readFileSync(path_1.default.resolve(baseFile), 'utf8'));
+      const headModel = JSON.parse(fs_1.default.readFileSync(path_1.default.resolve(headFile), 'utf8'));
+      const differ = new ArchitectureDiffer(baseModel, headModel);
+      const diff = differ.compare();
+
+      (0, logger_1.log)(`  ${(0, logger_1.bold)('Architectural Risk:')}     ${(0, logger_1.c)(diff.summary.riskLevel === 'CRITICAL' ? 'red' : 'yellow', diff.summary.riskLevel)} (${diff.summary.architecturalImpactScore})`);
+      (0, logger_1.log)(`  ${(0, logger_1.bold)('Entities Changed:')}       +${diff.summary.entitiesAdded} / -${diff.summary.entitiesRemoved} / ~${diff.summary.entitiesModified}`);
+      (0, logger_1.log)(`  ${(0, logger_1.bold)('Trust Violations:')}       ${diff.trustBoundaryViolations.length}`);
+      (0, logger_1.log)(`  ${(0, logger_1.bold)('Resilience Regressions:')} ${diff.resilienceRegressions.length}`);
+      break;
+    }
+
+    case 'audit': {
+      (0, logger_1.log)(`  ${(0, logger_1.c)('cyan', '▸')} Auditing architectural health, SPOFs & circular dependencies...`);
+      if (!fs_1.default.existsSync(modelFile)) {
+        const { ArchitectureExtractor } = require(path_1.default.join(scriptsDir, 'architecture_extractor.js'));
+        new ArchitectureExtractor(targetDir).scan().save();
+      }
+      const model = JSON.parse(fs_1.default.readFileSync(modelFile, 'utf8'));
+      const { ArchitectureHealthAuditor } = require(path_1.default.join(scriptsDir, 'architecture_health.js'));
+      const auditor = new ArchitectureHealthAuditor(model);
+      const report = auditor.audit();
+
+      (0, logger_1.log)(`  ${(0, logger_1.bold)('Total Signals:')}         ${report.summary.totalSignals}`);
+      (0, logger_1.log)(`  ${(0, logger_1.bold)('Critical Violations:')}   ${report.summary.critical}`);
+      (0, logger_1.log)(`  ${(0, logger_1.bold)('High Risk Issues:')}      ${report.summary.high}`);
+      for (const s of report.signals.slice(0, 5)) {
+        (0, logger_1.log)(`    ${(0, logger_1.c)('yellow', '!')} ${(0, logger_1.bold)(s.title)}: ${(0, logger_1.c)('gray', s.message)}`);
+      }
+      break;
+    }
+
+    case 'project': {
+      (0, logger_1.log)(`  ${(0, logger_1.c)('cyan', '▸')} Building interactive architecture projections...`);
+      if (!fs_1.default.existsSync(modelFile)) {
+        const { ArchitectureExtractor } = require(path_1.default.join(scriptsDir, 'architecture_extractor.js'));
+        const ext = new ArchitectureExtractor(targetDir);
+        ext.scan();
+        ext.save();
+      }
+      const model = JSON.parse(fs_1.default.readFileSync(modelFile, 'utf8'));
+      const { ArchitectureVisualizer } = require(path_1.default.join(scriptsDir, 'architecture_visualizer.js'));
+      const visualizer = new ArchitectureVisualizer(model);
+      const htmlPath = visualizer.saveHtml();
+      (0, logger_1.ok)(`Interactive Explorer Generated: ${htmlPath}`);
+
+      if (rawArgv.includes('--open') || flags.open) {
+        (0, logger_1.log)(`  ${(0, logger_1.c)('cyan', '▸')} Opening in browser...`);
+        if (process.platform === 'win32') {
+          (0, child_process_1.spawn)('cmd.exe', ['/c', 'start', '', htmlPath], { stdio: 'ignore', detached: true }).unref();
+        } else if (process.platform === 'darwin') {
+          (0, child_process_1.spawn)('open', [htmlPath], { stdio: 'ignore', detached: true }).unref();
+        } else {
+          (0, child_process_1.spawn)('xdg-open', [htmlPath], { stdio: 'ignore', detached: true }).unref();
+        }
+      }
+      break;
+    }
+
+    case 'help':
+    default: {
+      (0, logger_1.log)((0, logger_1.bold)('  Tribunal Architecture Intelligence Commands'));
+      (0, logger_1.log)(`  ${(0, logger_1.c)('gray', '─'.repeat(45))}`);
+      (0, logger_1.log)(`  ${(0, logger_1.c)('cyan', 'tk arch map')}          Extract fact model from codebase AST`);
+      (0, logger_1.log)(`  ${(0, logger_1.c)('cyan', 'tk arch verify')}       Zero-trust verify code evidence & confidence`);
+      (0, logger_1.log)(`  ${(0, logger_1.c)('cyan', 'tk arch impact <x>')}   Simulate change blast radius and affected tests`);
+      (0, logger_1.log)(`  ${(0, logger_1.c)('cyan', 'tk arch diff <a> <b>')} Semantic diff: trust boundary & resilience shifts`);
+      (0, logger_1.log)(`  ${(0, logger_1.c)('cyan', 'tk arch audit')}        Detect circular deps, SPOFs, test gaps`);
+      (0, logger_1.log)(`  ${(0, logger_1.c)('cyan', 'tk arch project')}      Generate standalone multi-projection HTML explorer`);
+      console.log();
+      break;
+    }
+  }
+}

package/{dist → src}/commands/audit-web.js

@@ -1,112 +1,126 @@
-'use strict';
-
-/**
- * cmdAuditWeb — Live Web Quality, Accessibility & Performance Auditor
- *
- * Usage:
- *   tk audit-web https://example.com
- *   tk audit-web http://localhost:3000 --json
- */
-
-const fs = require('fs');
-const path = require('path');
-const { auditURL } = require('../browser');
-const { codifyAuditViolations } = require('../browser/case_bridge');
-const { c } = require('../utils/logger');
-const { banner } = require('../utils/helpers');
-
-async function cmdAuditWeb(flags, processArgs, quiet = false) {
-  const url = processArgs[3] || flags.url;
-
-  if (!url) {
-    console.error(`  ${c('red', '✖ Error:')} Missing target URL. Usage: tk audit-web <url>`);
-    process.exit(1);
-  }
-
-  if (!quiet && !flags.json) {
-    banner(quiet);
-    console.log(`  ${c('cyan', '🔍 Auditing Web Target:')} ${c('white', url)}...\n`);
-  }
-
-  try {
-    const report = await auditURL(url, flags);
-
-    let codified = null;
-    if (flags.codify || flags['codify-cases'] || flags.c) {
-      codified = codifyAuditViolations(report, flags);
-    }
-
-    if (flags.json) {
-      if (codified) {
-        report.codified = codified;
-      }
-      console.log(JSON.stringify(report, null, 2));
-      return;
-    }
-
-    if (flags.output) {
-      const outDir = path.resolve(flags.output);
-      fs.mkdirSync(outDir, { recursive: true });
-      fs.writeFileSync(path.join(outDir, 'audit-report.json'), JSON.stringify(report, null, 2));
-      console.log(`  ${c('gray', 'Report written to:')} ${path.join(outDir, 'audit-report.json')}`);
-    }
-
-    console.log(`  ${c('bold', 'Title:')} ${report.page.title || '(No title)'}`);
-    console.log(`  ${c('bold', 'Duration:')} ${report.durationMs}ms\n`);
-
-    // Scores
-    const a11yColor = report.scores.accessibility >= 80 ? 'green' : report.scores.accessibility >= 60 ? 'yellow' : 'red';
-    const secColor = report.scores.security >= 80 ? 'green' : report.scores.security >= 60 ? 'yellow' : 'red';
-
-    console.log(`  ${c('bold', 'Scores:')}`);
-    console.log(`    Accessibility:   ${c(a11yColor, `${report.scores.accessibility}/100`)}`);
-    console.log(`    Security Headers:${c(secColor, `${report.scores.security}/100`)}`);
-    console.log();
-
-    // Issues
-    if (report.violations.accessibility.length > 0) {
-      console.log(`  ${c('yellow', 'Accessibility Issues:')}`);
-      for (const iss of report.violations.accessibility) {
-        console.log(`    ${c('yellow', '⚠')} ${iss.message}`);
-      }
-      console.log();
-    }
-
-    if (report.violations.security.length > 0) {
-      console.log(`  ${c('yellow', 'Security Advisory:')}`);
-      for (const sec of report.violations.security) {
-        console.log(`    ${c('yellow', '⚠')} ${sec}`);
-      }
-      console.log();
-    }
-
-    if (report.violations.consoleErrors.length > 0) {
-      console.log(`  ${c('red', 'Console Errors:')}`);
-      for (const err of report.violations.consoleErrors) {
-        console.log(`    ${c('red', '✖')} [${err.level}] ${err.text}`);
-      }
-      console.log();
-    }
-
-    if (report.summary.passed) {
-      console.log(`  ${c('green', '✔ Web audit passed')} — Accessibility >= 80 and zero console errors.\n`);
-    } else {
-      console.log(`  ${c('yellow', '⚠ Web audit completed')} with ${report.summary.totalIssues} issue(s) identified.\n`);
-    }
-
-    if (codified) {
-      if (codified.codifiedCount > 0) {
-        console.log(`  ${c('green', '✔')} Case Law: Codified ${c('bold', String(codified.codifiedCount))} violation(s) into binding precedents in ${c('cyan', '.agent/history/case-law/')}.\n`);
-      } else {
-        console.log(`  ${c('gray', 'ℹ')} Case Law: No new violations to codify (or all matches already exist in precedents).\n`);
-      }
-    }
-  } catch (err) {
-    console.error(`  ${c('red', '✖ Audit failed:')} ${err.message}`);
-    process.exit(1);
-  }
-}
-
-module.exports = {
-  cmdAuditWeb,
-};
+'use strict';
+
+/**
+ * cmdAuditWeb — Live Web Quality, Accessibility & Performance Auditor
+ *
+ * Usage:
+ *   tk audit-web https://example.com
+ *   tk audit-web http://localhost:3000 --json
+ */
+
+const fs = require('fs');
+const path = require('path');
+const { auditURL } = require('../browser');
+const { codifyAuditViolations } = require('../browser/case_bridge');
+const { c } = require('../utils/logger');
+const { banner } = require('../utils/helpers');
+
+async function cmdAuditWeb(flags, processArgs, quiet = false) {
+  const url = processArgs[3] || flags.url;
+
+  if (!url) {
+    console.error(`  ${c('red', '✖ Error:')} Missing target URL. Usage: tk audit-web <url>`);
+    process.exit(1);
+  }
+
+  if (!quiet && !flags.json) {
+    banner(quiet);
+    console.log(`  ${c('cyan', '🔍 Auditing Web Target:')} ${c('white', url)}...\n`);
+  }
+
+  try {
+    const report = await auditURL(url, flags);
+
+    let codified = null;
+    if (flags.codify || flags['codify-cases'] || flags.c) {
+      codified = codifyAuditViolations(report, flags);
+    }
+
+    if (flags.json) {
+      if (codified) {
+        report.codified = codified;
+      }
+      console.log(JSON.stringify(report, null, 2));
+      return;
+    }
+
+    if (flags.output) {
+      const outDir = path.resolve(flags.output);
+      fs.mkdirSync(outDir, { recursive: true });
+      fs.writeFileSync(path.join(outDir, 'audit-report.json'), JSON.stringify(report, null, 2));
+      console.log(`  ${c('gray', 'Report written to:')} ${path.join(outDir, 'audit-report.json')}`);
+    }
+
+    console.log(`  ${c('bold', 'Title:')} ${report.page.title || '(No title)'}`);
+    console.log(`  ${c('bold', 'Duration:')} ${report.durationMs}ms\n`);
+
+    // Scores
+    const a11yColor =
+      report.scores.accessibility >= 80
+        ? 'green'
+        : report.scores.accessibility >= 60
+          ? 'yellow'
+          : 'red';
+    const secColor =
+      report.scores.security >= 80 ? 'green' : report.scores.security >= 60 ? 'yellow' : 'red';
+
+    console.log(`  ${c('bold', 'Scores:')}`);
+    console.log(`    Accessibility:   ${c(a11yColor, `${report.scores.accessibility}/100`)}`);
+    console.log(`    Security Headers:${c(secColor, `${report.scores.security}/100`)}`);
+    console.log();
+
+    // Issues
+    if (report.violations.accessibility.length > 0) {
+      console.log(`  ${c('yellow', 'Accessibility Issues:')}`);
+      for (const iss of report.violations.accessibility) {
+        console.log(`    ${c('yellow', '⚠')} ${iss.message}`);
+      }
+      console.log();
+    }
+
+    if (report.violations.security.length > 0) {
+      console.log(`  ${c('yellow', 'Security Advisory:')}`);
+      for (const sec of report.violations.security) {
+        console.log(`    ${c('yellow', '⚠')} ${sec}`);
+      }
+      console.log();
+    }
+
+    if (report.violations.consoleErrors.length > 0) {
+      console.log(`  ${c('red', 'Console Errors:')}`);
+      for (const err of report.violations.consoleErrors) {
+        console.log(`    ${c('red', '✖')} [${err.level}] ${err.text}`);
+      }
+      console.log();
+    }
+
+    if (report.summary.passed) {
+      console.log(
+        `  ${c('green', '✔ Web audit passed')} — Accessibility >= 80 and zero console errors.\n`,
+      );
+    } else {
+      console.log(
+        `  ${c('yellow', '⚠ Web audit completed')} with ${report.summary.totalIssues} issue(s) identified.\n`,
+      );
+    }
+
+    if (codified) {
+      if (codified.codifiedCount > 0) {
+        console.log(
+          `  ${c('green', '✔')} Case Law: Codified ${c('bold', String(codified.codifiedCount))} violation(s) into binding precedents in ${c('cyan', '.agent/history/case-law/')}.\n`,
+        );
+      } else {
+        console.log(
+          `  ${c('gray', 'ℹ')} Case Law: No new violations to codify (or all matches already exist in precedents).\n`,
+        );
+      }
+    }
+  } catch (err) {
+    console.error(`  ${c('red', '✖ Audit failed:')} ${err.message}`);
+    process.exit(1);
+  }
+}
+
+module.exports = {
+  cmdAuditWeb,
+};

package/{dist → src}/commands/browse.js

@@ -1,56 +1,62 @@
-'use strict';
-
-/**
- * cmdBrowse — Token-Efficient Page Navigation & Semantic Extractor
- *
- * Usage:
- *   tk browse https://example.com
- *   tk browse http://localhost:3000 --json
- */
-
-const { browse } = require('../browser');
-const { c } = require('../utils/logger');
-const { banner } = require('../utils/helpers');
-
-async function cmdBrowse(flags, processArgs, quiet = false) {
-  const url = processArgs[3] || flags.url;
-
-  if (!url) {
-    console.error(`  ${c('red', '✖ Error:')} Missing target URL. Usage: tk browse <url>`);
-    process.exit(1);
-  }
-
-  if (!quiet && !flags.json) {
-    banner(quiet);
-    console.log(`  ${c('cyan', '🌐 Browsing:')} ${c('white', url)} (extracting semantic tokens)...\n`);
-  }
-
-  try {
-    const result = await browse(url);
-
-    if (flags.json) {
-      console.log(JSON.stringify(result, null, 2));
-      return;
-    }
-
-    if (result.threatLevel !== 'clean') {
-      console.log(`  ${c('yellow', '⚠ IDPI Warning:')} Potential prompt injection detected (${result.threatLevel}):`);
-      for (const t of result.threats) {
-        console.log(`    ${c('red', '•')} ${t}`);
-      }
-      console.log();
-    }
-
-    console.log(c('gray', '─────────────────────────────────────────────────────────────'));
-    console.log(result.markdown);
-    console.log(c('gray', '─────────────────────────────────────────────────────────────'));
-    console.log(`  ${c('green', '✔')} Extracted page content (${Buffer.byteLength(result.markdown, 'utf8')} bytes, < 1.5k tokens).\n`);
-  } catch (err) {
-    console.error(`  ${c('red', '✖ Browser error:')} ${err.message}`);
-    process.exit(1);
-  }
-}
-
-module.exports = {
-  cmdBrowse,
-};
+'use strict';
+
+/**
+ * cmdBrowse — Token-Efficient Page Navigation & Semantic Extractor
+ *
+ * Usage:
+ *   tk browse https://example.com
+ *   tk browse http://localhost:3000 --json
+ */
+
+const { browse } = require('../browser');
+const { c } = require('../utils/logger');
+const { banner } = require('../utils/helpers');
+
+async function cmdBrowse(flags, processArgs, quiet = false) {
+  const url = processArgs[3] || flags.url;
+
+  if (!url) {
+    console.error(`  ${c('red', '✖ Error:')} Missing target URL. Usage: tk browse <url>`);
+    process.exit(1);
+  }
+
+  if (!quiet && !flags.json) {
+    banner(quiet);
+    console.log(
+      `  ${c('cyan', '🌐 Browsing:')} ${c('white', url)} (extracting semantic tokens)...\n`,
+    );
+  }
+
+  try {
+    const result = await browse(url);
+
+    if (flags.json) {
+      console.log(JSON.stringify(result, null, 2));
+      return;
+    }
+
+    if (result.threatLevel !== 'clean') {
+      console.log(
+        `  ${c('yellow', '⚠ IDPI Warning:')} Potential prompt injection detected (${result.threatLevel}):`,
+      );
+      for (const t of result.threats) {
+        console.log(`    ${c('red', '•')} ${t}`);
+      }
+      console.log();
+    }
+
+    console.log(c('gray', '─────────────────────────────────────────────────────────────'));
+    console.log(result.markdown);
+    console.log(c('gray', '─────────────────────────────────────────────────────────────'));
+    console.log(
+      `  ${c('green', '✔')} Extracted page content (${Buffer.byteLength(result.markdown, 'utf8')} bytes, < 1.5k tokens).\n`,
+    );
+  } catch (err) {
+    console.error(`  ${c('red', '✖ Browser error:')} ${err.message}`);
+    process.exit(1);
+  }
+}
+
+module.exports = {
+  cmdBrowse,
+};

package/src/commands/case.js

@@ -0,0 +1,98 @@
+'use strict';
+const __importDefault =
+  (this && this.__importDefault) ||
+  function (mod) {
+    return mod && mod.__esModule ? mod : { default: mod };
+  };
+Object.defineProperty(exports, '__esModule', { value: true });
+exports.cmdCase = cmdCase;
+const fs_1 = __importDefault(require('fs'));
+const path_1 = __importDefault(require('path'));
+const logger_1 = require('../utils/logger');
+const helpers_1 = require('../utils/helpers');
+async function cmdCase(flags, processArgs, quiet = false) {
+  const targetDir = flags.path ? path_1.default.resolve(flags.path) : process.cwd();
+  const agentDest = path_1.default.join(targetDir, '.agent');
+  if (!fs_1.default.existsSync(agentDest)) {
+    (0, logger_1.err)('.agent/ not found. Run: npx tribunal-kit init');
+    process.exit(1);
+  }
+  const args = processArgs.slice(3).join(' ');
+  if (!args || args === 'help' || args === '--help' || args === '-h') {
+    (0, helpers_1.banner)(quiet);
+    (0, logger_1.log)(`  ${(0, logger_1.c)('cyan', '\u2554' + '\u2550'.repeat(60) + '\u2557')}`);
+    (0, logger_1.log)(
+      `  ${(0, logger_1.c)('cyan', '\u2551')}${(0, logger_1.bold)((0, logger_1.c)('white', '  Tribunal Case Law Engine \u2014 Supreme Court             '))}${(0, logger_1.c)('cyan', '\u2551')}`,
+    );
+    (0, logger_1.log)(`  ${(0, logger_1.c)('cyan', '\u255a' + '\u2550'.repeat(60) + '\u255d')}`);
+    console.log();
+    (0, logger_1.log)(
+      `  ${(0, logger_1.c)('cyan', 'add'.padEnd(10))}  ${(0, logger_1.c)('gray', 'Record a new Case Law rejection pattern')}`,
+    );
+    (0, logger_1.log)(
+      `  ${(0, logger_1.c)('cyan', 'search'.padEnd(10))}  ${(0, logger_1.c)('gray', 'Search existing cases (e.g., search "query")')}`,
+    );
+    (0, logger_1.log)(
+      `  ${(0, logger_1.c)('cyan', 'list'.padEnd(10))}  ${(0, logger_1.c)('gray', 'List all recorded case law')}`,
+    );
+    (0, logger_1.log)(
+      `  ${(0, logger_1.c)('cyan', 'show'.padEnd(10))}  ${(0, logger_1.c)('gray', 'Show full diff for a case (e.g., show --id 1)')}`,
+    );
+    (0, logger_1.log)(
+      `  ${(0, logger_1.c)('cyan', 'stats'.padEnd(10))}  ${(0, logger_1.c)('gray', 'Show case law stats by domain/verdict')}`,
+    );
+    (0, logger_1.log)(
+      `  ${(0, logger_1.c)('cyan', 'export'.padEnd(10))}  ${(0, logger_1.c)('gray', 'Export all cases to Markdown')}`,
+    );
+    (0, logger_1.log)(
+      `  ${(0, logger_1.c)('cyan', 'overrule'.padEnd(10))}  ${(0, logger_1.c)('gray', 'Overrule a past precedent (e.g., overrule --id 1)')}`,
+    );
+    console.log();
+    process.exit(1);
+  }
+  const caseLawScript = path_1.default.join(agentDest, 'scripts', 'case_law_manager.js');
+  // Make shorthand aliases
+  const pyArgs = processArgs.slice(3);
+  if (pyArgs[0] === 'add') pyArgs[0] = 'add-case';
+  if (pyArgs[0] === 'search') pyArgs[0] = 'search-cases';
+  try {
+    await (0, helpers_1.runShellAsync)('node', [caseLawScript, ...pyArgs], {
+      stdio: 'inherit',
+      cwd: targetDir,
+    });
+    // Memory Bridge: When a case is added, auto-store a SEMANTIC memory
+    if (args.startsWith('add')) {
+      try {
+        const { _memoryStore } = require('./memory');
+        // Extract a summary from the add-case args (best effort)
+        const contentMatch =
+          args.match(/--violation\s+"([^"]+)"/i) || args.match(/--violation\s+(\S+)/i);
+        const domainMatch = args.match(/--domain\s+"([^"]+)"/i) || args.match(/--domain\s+(\S+)/i);
+        const violation = contentMatch ? contentMatch[1] : 'Unknown violation';
+        const domain = domainMatch ? domainMatch[1] : 'general';
+        _memoryStore(
+          agentDest,
+          'semantic',
+          `CASE LAW REJECTION: ${violation} (domain: ${domain})`,
+          ['case-law', domain, 'rejection'],
+          null,
+        );
+        if (!quiet) {
+          (0, logger_1.log)(
+            `  ${(0, logger_1.c)('cyan', '\u25b8')} Memory bridge: case law rejection stored to memory index`,
+          );
+          (0, logger_1.log)(
+            `  ${(0, logger_1.c)('gray', '💡')} Tip: Auto-generate a behavioral contract to prevent recurrence:`,
+          );
+          (0, logger_1.log)(
+            `     ${(0, logger_1.c)('cyan', 'tk contract generate --from-case latest')}`,
+          );
+        }
+      } catch {
+        // Non-critical — case law was still saved, memory bridge is a bonus
+      }
+    }
+  } catch {
+    process.exit(1); // Script already prints errors
+  }
+}