truecourse 0.6.0-next.8 → 0.6.0

package/README.md

@@ -256,7 +256,8 @@ truecourse spec docs uninclude <path>
 
 # Contract extraction (canonical spec → .tc artifacts)
 truecourse contracts generate                     # Extract / re-extract TC contract files
-truecourse contracts list                         # List generated contracts
+truecourse contracts list                         # List artifacts (kind · identity · location)
+truecourse contracts list --inferred / --authored # Only reverse-engineered (_inferred/) / only authored
 truecourse contracts validate                     # Parse + resolve TC files; report unresolved refs
 
 # Verification (code against contracts)
@@ -270,6 +271,7 @@ truecourse drifts list --offset 20 / --severity critical,high  # Page through /
 # Inference (code → inferred contracts) — reverse-engineer undocumented decisions
 truecourse infer                                  # Write inferred .tc files to contracts/_inferred/
 truecourse infer --dry-run                        # Report what would be written, touch nothing
+truecourse contracts list --inferred              # Review what infer produced (kind · confidence · code location)
 ```
 
 ---
@@ -364,7 +366,7 @@ Patterns are anchored to the file's location, so `src/generated/` matches the to
 
 ## Telemetry
 
-TrueCourse collects anonymous usage data (event type, language, file count range, OS) to improve the product. No source code, file paths, or violation details are collected. It is automatically disabled in CI environments.
+TrueCourse collects anonymous usage data to improve the product — one event per command (`analyze`, `spec_scan`, `contracts_generate`, `verify`, `infer`), each carrying only coarse, bucketed counts (file/artifact/drift/decision *ranges*, duration range), the surface (CLI vs dashboard), OS, and tool version. No source code, file paths, identities, or violation/drift details are collected. It is automatically disabled in CI environments.
 
 ```bash
 truecourse telemetry status           # Check telemetry status

package/cli.mjs

@@ -12451,10 +12451,10 @@ function computeFunctionMetrics(node2) {
   if (!bodyNode) {
     return { lineCount, statementCount: 0, maxNestingDepth: 0 };
   }
-  let statementCount = 0;
+  let statementCount2 = 0;
   for (const child of bodyNode.namedChildren) {
     if (STATEMENT_NODE_TYPES.has(child.type)) {
-      statementCount++;
+      statementCount2++;
     }
   }
   let maxNestingDepth2 = 0;
@@ -12471,7 +12471,7 @@ function computeFunctionMetrics(node2) {
     }
   }
   walkNesting(bodyNode, 0);
-  return { lineCount, statementCount, maxNestingDepth: maxNestingDepth2 };
+  return { lineCount, statementCount: statementCount2, maxNestingDepth: maxNestingDepth2 };
 }
 var NESTING_NODE_TYPES, STATEMENT_NODE_TYPES;
 var init_common = __esm({
@@ -13369,10 +13369,10 @@ function computePythonFunctionMetrics(node2) {
   if (!bodyNode) {
     return { lineCount, statementCount: 0, maxNestingDepth: 0 };
   }
-  let statementCount = 0;
+  let statementCount2 = 0;
   for (const child of bodyNode.namedChildren) {
     if (PYTHON_STATEMENT_NODE_TYPES.has(child.type)) {
-      statementCount++;
+      statementCount2++;
     }
   }
   let maxNestingDepth2 = 0;
@@ -13389,7 +13389,7 @@ function computePythonFunctionMetrics(node2) {
     }
   }
   walkNesting(bodyNode, 0);
-  return { lineCount, statementCount, maxNestingDepth: maxNestingDepth2 };
+  return { lineCount, statementCount: statementCount2, maxNestingDepth: maxNestingDepth2 };
 }
 function isNestedInFunction3(node2) {
   let current = node2.parent;
@@ -48980,6 +48980,19 @@ var init_prototype_pollution = __esm({
 });
 
 // packages/analyzer/dist/rules/bugs/visitors/javascript/void-zero-argument.js
+function operandIsCall(operand) {
+  let cur = operand;
+  while (cur) {
+    if (cur.type === "call_expression" || cur.type === "new_expression")
+      return true;
+    if (cur.type === "parenthesized_expression" || cur.type === "await_expression") {
+      cur = cur.namedChildren[cur.namedChildren.length - 1] ?? null;
+      continue;
+    }
+    return false;
+  }
+  return false;
+}
 var voidZeroArgumentVisitor;
 var init_void_zero_argument = __esm({
   "packages/analyzer/dist/rules/bugs/visitors/javascript/void-zero-argument.js"() {
@@ -48994,6 +49007,8 @@ var init_void_zero_argument = __esm({
         const op = node2.children.find((c2) => c2.text === "void");
         if (!op)
           return null;
+        if (operandIsCall(node2.children[node2.children.length - 1]))
+          return null;
         return makeViolation(this.ruleKey, node2, filePath, "medium", "Unnecessary void expression", `\`${node2.text}\` can be replaced with \`undefined\` directly.`, sourceCode, "Use `undefined` instead of `void 0`.");
       }
     };
@@ -51816,12 +51831,34 @@ function isModuleLevel(node2) {
 function isMutableInit(node2) {
   return node2.type === "object" || node2.type === "array" || node2.type === "new_expression";
 }
-var sharedMutableModuleStateVisitor;
+function isClientSideFile(filePath, program3) {
+  for (const tok of CLIENT_PATH_TOKENS) {
+    if (filePath.includes(tok))
+      return true;
+  }
+  const first2 = program3?.namedChildren[0];
+  if (first2?.type === "expression_statement") {
+    const text = first2.text.trim().replace(/;$/, "").replace(/['"`]/g, "");
+    if (text === "use client")
+      return true;
+  }
+  return false;
+}
+var CLIENT_PATH_TOKENS, sharedMutableModuleStateVisitor;
 var init_shared_mutable_module_state = __esm({
   "packages/analyzer/dist/rules/bugs/visitors/javascript/shared-mutable-module-state.js"() {
     "use strict";
     init_types();
     init_helpers2();
+    CLIENT_PATH_TOKENS = [
+      "/client/",
+      "/client-only/",
+      "/hooks/",
+      "/primitives/",
+      "/components/",
+      ".client.ts",
+      ".client.tsx"
+    ];
     sharedMutableModuleStateVisitor = {
       ruleKey: "bugs/deterministic/shared-mutable-module-state",
       languages: JS_LANGUAGES,
@@ -51829,6 +51866,11 @@ var init_shared_mutable_module_state = __esm({
       visit(node2, filePath, sourceCode) {
         if (!isModuleLevel(node2))
           return null;
+        let program3 = node2;
+        while (program3 && program3.type !== "program")
+          program3 = program3.parent;
+        if (isClientSideFile(filePath, program3))
+          return null;
         const kindChild = node2.children[0];
         if (!kindChild || kindChild.text === "const")
           return null;
@@ -53917,13 +53959,38 @@ var init_switch_exhaustiveness = __esm({
 });
 
 // packages/analyzer/dist/rules/bugs/visitors/javascript/non-number-arithmetic.js
-var ARITHMETIC_OPS, nonNumberArithmeticVisitor;
+function isConfidentlyNonNumeric(t2) {
+  if (CONFIDENTLY_NON_NUMERIC.has(t2))
+    return true;
+  if (/^["']/.test(t2))
+    return true;
+  if (t2 === "true" || t2 === "false")
+    return true;
+  if (/\[\]$/.test(t2) || /^readonly\s/.test(t2))
+    return true;
+  if (t2.includes("=>") || t2.startsWith("{"))
+    return true;
+  return false;
+}
+var ARITHMETIC_OPS, CONFIDENTLY_NON_NUMERIC, nonNumberArithmeticVisitor;
 var init_non_number_arithmetic = __esm({
   "packages/analyzer/dist/rules/bugs/visitors/javascript/non-number-arithmetic.js"() {
     "use strict";
     init_types();
     init_helpers2();
     ARITHMETIC_OPS = /* @__PURE__ */ new Set(["-", "*", "/", "%", "**"]);
+    CONFIDENTLY_NON_NUMERIC = /* @__PURE__ */ new Set([
+      "string",
+      "boolean",
+      "null",
+      "undefined",
+      "void",
+      "symbol",
+      "never",
+      "object",
+      // Common runtime types that don't auto-coerce to number in arithmetic.
+      "Date"
+    ]);
     nonNumberArithmeticVisitor = {
       ruleKey: "bugs/deterministic/non-number-arithmetic",
       languages: TS_LANGUAGES,
@@ -53943,16 +54010,14 @@ var init_non_number_arithmetic = __esm({
         const rightType = typeQuery.getTypeAtPosition(filePath, right.startPosition.row, right.startPosition.column, right.endPosition.row, right.endPosition.column);
         if (!leftType || !rightType)
           return null;
-        const numericTypes = /* @__PURE__ */ new Set(["number", "bigint", "any"]);
-        const leftOk = numericTypes.has(leftType) || /^\d+$/.test(leftType);
-        const rightOk = numericTypes.has(rightType) || /^\d+$/.test(rightType);
         if (left.type === "number" || right.type === "number")
           return null;
-        if (!leftOk || !rightOk) {
-          const badSide = !leftOk ? `left operand is \`${leftType}\`` : `right operand is \`${rightType}\``;
-          return makeViolation(this.ruleKey, node2, filePath, "high", "Non-numeric value in arithmetic", `Arithmetic operator \`${operator.text}\` used with non-numeric operand \u2014 ${badSide}. This will produce \`NaN\` at runtime.`, sourceCode, "Convert operands to numbers or fix the expression.");
-        }
-        return null;
+        const leftBad = isConfidentlyNonNumeric(leftType);
+        const rightBad = isConfidentlyNonNumeric(rightType);
+        if (!leftBad && !rightBad)
+          return null;
+        const badSide = leftBad ? `left operand is \`${leftType}\`` : `right operand is \`${rightType}\``;
+        return makeViolation(this.ruleKey, node2, filePath, "high", "Non-numeric value in arithmetic", `Arithmetic operator \`${operator.text}\` used with non-numeric operand \u2014 ${badSide}. This will produce \`NaN\` at runtime.`, sourceCode, "Convert operands to numbers or fix the expression.");
       }
     };
   }
@@ -66811,12 +66876,29 @@ var init_no_var_declaration = __esm({
 });
 
 // packages/analyzer/dist/rules/code-quality/visitors/javascript/cognitive-complexity.js
-var cognitiveComplexityVisitor;
+function isInsideJsxExpression(node2, functionNodeId) {
+  let cur = node2.parent;
+  while (cur && cur.id !== functionNodeId) {
+    if (JSX_EXPRESSION_TYPES.has(cur.type))
+      return true;
+    if (JS_FUNCTION_TYPES.includes(cur.type))
+      return false;
+    cur = cur.parent;
+  }
+  return false;
+}
+var JSX_EXPRESSION_TYPES, cognitiveComplexityVisitor;
 var init_cognitive_complexity = __esm({
   "packages/analyzer/dist/rules/code-quality/visitors/javascript/cognitive-complexity.js"() {
     "use strict";
     init_types();
     init_helpers4();
+    JSX_EXPRESSION_TYPES = /* @__PURE__ */ new Set([
+      "jsx_expression",
+      // {expr} attribute / child
+      "jsx_attribute"
+      // attr={expr}
+    ]);
     cognitiveComplexityVisitor = {
       ruleKey: "code-quality/deterministic/cognitive-complexity",
       languages: ["typescript", "tsx", "javascript"],
@@ -66832,14 +66914,17 @@ var init_cognitive_complexity = __esm({
           if (JS_FUNCTION_TYPES.includes(n.type) && n.id !== node2.id)
             return;
           if (INCREMENT_TYPES.has(n.type)) {
-            complexity += 1 + nesting;
+            if (n.type === "ternary_expression" && isInsideJsxExpression(n, node2.id)) {
+            } else {
+              complexity += 1 + nesting;
+            }
           }
           if (n.type === "else_clause") {
             complexity += 1;
           }
           if (n.type === "binary_expression") {
             const op = n.children.find((c2) => c2.type === "&&" || c2.type === "||");
-            if (op)
+            if (op && !isInsideJsxExpression(n, node2.id))
               complexity += 1;
           }
           const nextNesting = NESTING_TYPES3.has(n.type) ? nesting + 1 : nesting;
@@ -67351,6 +67436,19 @@ var init_no_proto = __esm({
 });
 
 // packages/analyzer/dist/rules/code-quality/visitors/javascript/no-void.js
+function operandIsCall2(operand) {
+  let cur = operand;
+  while (cur) {
+    if (cur.type === "call_expression" || cur.type === "new_expression")
+      return true;
+    if (cur.type === "parenthesized_expression" || cur.type === "await_expression") {
+      cur = cur.namedChildren[cur.namedChildren.length - 1] ?? null;
+      continue;
+    }
+    return false;
+  }
+  return false;
+}
 var noVoidVisitor;
 var init_no_void = __esm({
   "packages/analyzer/dist/rules/code-quality/visitors/javascript/no-void.js"() {
@@ -67367,6 +67465,8 @@ var init_no_void = __esm({
         const operand = node2.children[1];
         if (operand?.text === "0")
           return null;
+        if (operandIsCall2(operand))
+          return null;
         return makeViolation(this.ruleKey, node2, filePath, "low", "Void expression", "The `void` operator is confusing. Use `undefined` directly or omit the return value.", sourceCode, "Replace `void expr` with `undefined` or remove the expression.");
       }
     };
@@ -70901,7 +71001,7 @@ var init_unnamed_regex_capture = __esm({
       visit(node2, filePath, sourceCode) {
         const pattern = node2.namedChildren.find((c2) => c2.type === "regex_pattern");
         const src = pattern?.text ?? "";
-        let hasUnnamed = false;
+        let unnamedCount = 0;
         for (let i = 0; i < src.length; i++) {
           if (src[i] === "\\") {
             i++;
@@ -70924,19 +71024,22 @@ var init_unnamed_regex_capture = __esm({
                 j2++;
               }
               const groupContent = src.slice(i + 1, j2 - 1);
+              const after = src[j2];
+              if (after === "+" || after === "*" || after === "?" || after === "{") {
+                continue;
+              }
               if (groupContent.includes("|")) {
                 const alternatives = groupContent.split("|");
                 const isSimpleAlternation = alternatives.every((alt) => /^[a-zA-Z0-9_\\?.^$*+\-]+$/.test(alt) && alt.length <= 10);
                 if (isSimpleAlternation)
                   continue;
               }
-              hasUnnamed = true;
-              break;
+              unnamedCount++;
             }
           }
         }
-        if (hasUnnamed) {
-          return makeViolation(this.ruleKey, node2, filePath, "low", "Unnamed capture group", "Regex contains unnamed capture groups. Use named groups `(?<name>...)` for better readability.", sourceCode, "Convert capture groups to named: `(?<name>...)` or non-capturing: `(?:...)`.");
+        if (unnamedCount >= 2) {
+          return makeViolation(this.ruleKey, node2, filePath, "low", "Unnamed capture groups", "Regex contains multiple unnamed capture groups. Use named groups `(?<name>...)` for better readability.", sourceCode, "Convert capture groups to named: `(?<name>...)` or non-capturing: `(?:...)`.");
         }
         return null;
       }
@@ -71425,6 +71528,25 @@ var init_computed_enum_value = __esm({
 });
 
 // packages/analyzer/dist/rules/code-quality/visitors/javascript/useless-empty-export.js
+function fileHasOtherTopLevelModuleStatement(emptyExport) {
+  let program3 = emptyExport;
+  while (program3 && program3.type !== "program")
+    program3 = program3.parent;
+  if (!program3)
+    return false;
+  for (const child of program3.namedChildren) {
+    if (child.id === emptyExport.id)
+      continue;
+    if (child.type === "import_statement")
+      return true;
+    if (child.type === "export_statement") {
+      const inner = child.namedChildren.find((c2) => c2.type === "named_exports" || c2.type === "export_clause");
+      if (!inner || inner.namedChildCount > 0)
+        return true;
+    }
+  }
+  return false;
+}
 var uselessEmptyExportVisitor;
 var init_useless_empty_export = __esm({
   "packages/analyzer/dist/rules/code-quality/visitors/javascript/useless-empty-export.js"() {
@@ -71438,10 +71560,11 @@ var init_useless_empty_export = __esm({
         const namedExports = node2.namedChildren.find((c2) => c2.type === "named_exports" || c2.type === "export_clause");
         if (!namedExports)
           return null;
-        if (namedExports.namedChildCount === 0) {
-          return makeViolation(this.ruleKey, node2, filePath, "low", "Useless empty export", "`export {}` does nothing useful. Remove it unless it is needed to mark the file as a module.", sourceCode, "Remove the empty `export {}` statement.");
-        }
-        return null;
+        if (namedExports.namedChildCount !== 0)
+          return null;
+        if (!fileHasOtherTopLevelModuleStatement(node2))
+          return null;
+        return makeViolation(this.ruleKey, node2, filePath, "low", "Useless empty export", "`export {}` does nothing useful. Remove it unless it is needed to mark the file as a module.", sourceCode, "Remove the empty `export {}` statement.");
       }
     };
   }
@@ -71745,6 +71868,14 @@ var init_multiline_block_without_braces = __esm({
 });
 
 // packages/analyzer/dist/rules/code-quality/visitors/javascript/negated-condition.js
+function statementCount(body) {
+  if (!body)
+    return 0;
+  if (body.type === "statement_block") {
+    return body.namedChildren.filter((c2) => c2.type !== "comment").length;
+  }
+  return 1;
+}
 var negatedConditionVisitor;
 var init_negated_condition = __esm({
   "packages/analyzer/dist/rules/code-quality/visitors/javascript/negated-condition.js"() {
@@ -71768,6 +71899,11 @@ var init_negated_condition = __esm({
         const elseBody = elsePart.namedChildren[0];
         if (elseBody?.type === "if_statement")
           return null;
+        const ifBody = node2.childForFieldName("consequence");
+        const ifCount = statementCount(ifBody);
+        const elseCount = statementCount(elseBody);
+        if (elseCount < ifCount + 2)
+          return null;
         return makeViolation(this.ruleKey, node2, filePath, "low", "Negated condition with else", "Condition is negated but has an else block. Invert the condition and swap the branches for better readability.", sourceCode, "Invert the condition and swap the if/else bodies.");
       }
     };
@@ -73338,6 +73474,15 @@ var init_undefined_as_identifier = __esm({
 });
 
 // packages/analyzer/dist/rules/code-quality/visitors/javascript/require-unicode-regexp.js
+function unicodeFlagWouldMatter(pattern) {
+  if (/[^\x00-\x7F]/.test(pattern))
+    return true;
+  if (/\\u\{/.test(pattern))
+    return true;
+  if (/\\[pP]\{/.test(pattern))
+    return true;
+  return false;
+}
 var requireUnicodeRegexpVisitor;
 var init_require_unicode_regexp = __esm({
   "packages/analyzer/dist/rules/code-quality/visitors/javascript/require-unicode-regexp.js"() {
@@ -73352,6 +73497,9 @@ var init_require_unicode_regexp = __esm({
         const flagText = flags?.text ?? "";
         if (flagText.includes("u") || flagText.includes("v"))
           return null;
+        const pattern = node2.namedChildren.find((c2) => c2.type === "regex_pattern")?.text ?? "";
+        if (!unicodeFlagWouldMatter(pattern))
+          return null;
         return makeViolation(this.ruleKey, node2, filePath, "low", "RegExp missing unicode flag", "Regular expression should use the `u` or `v` flag for correct Unicode character handling.", sourceCode, `Add the \`u\` flag: ${node2.text}u`);
       }
     };
@@ -77217,6 +77365,18 @@ var init_readonly_parameter_types = __esm({
 });
 
 // packages/analyzer/dist/rules/code-quality/visitors/javascript/complex-type-alias.js
+function flattenUnionMembers(node2) {
+  if (node2.type !== "union_type")
+    return [node2];
+  const out = [];
+  for (const child of node2.namedChildren) {
+    if (child.type === "union_type")
+      out.push(...flattenUnionMembers(child));
+    else
+      out.push(child);
+  }
+  return out;
+}
 function maxBracketDepth(text) {
   let depth = 0;
   let max = 0;
@@ -77244,11 +77404,20 @@ function countUnionIntersectionMembers(text) {
   }
   return count;
 }
-var DEPTH_THRESHOLD, MEMBER_THRESHOLD, complexTypeAliasVisitor;
+var SIMPLE_UNION_MEMBER_TYPES, DEPTH_THRESHOLD, MEMBER_THRESHOLD, complexTypeAliasVisitor;
 var init_complex_type_alias = __esm({
   "packages/analyzer/dist/rules/code-quality/visitors/javascript/complex-type-alias.js"() {
     "use strict";
     init_types();
+    SIMPLE_UNION_MEMBER_TYPES = /* @__PURE__ */ new Set([
+      "literal_type",
+      "string",
+      "number",
+      "type_identifier",
+      "predefined_type",
+      "null",
+      "undefined"
+    ]);
     DEPTH_THRESHOLD = 4;
     MEMBER_THRESHOLD = 6;
     complexTypeAliasVisitor = {
@@ -77263,11 +77432,9 @@ var init_complex_type_alias = __esm({
         const depth = maxBracketDepth(typeText);
         const members = countUnionIntersectionMembers(typeText);
         if (typeValue.type === "union_type") {
-          const allLiterals = typeValue.namedChildren.every((child) => {
-            const t2 = child.type;
-            return t2 === "literal_type" || t2 === "string" || t2 === "number" || t2 === "predefined_type" && (child.text === "string" || child.text === "number");
-          });
-          if (allLiterals)
+          const members2 = flattenUnionMembers(typeValue);
+          const allSimple = members2.every((m) => SIMPLE_UNION_MEMBER_TYPES.has(m.type));
+          if (allSimple)
             return null;
         }
         if (depth >= DEPTH_THRESHOLD || members >= MEMBER_THRESHOLD) {
@@ -128244,7 +128411,7 @@ function readToolVersion() {
   if (cachedVersion)
     return cachedVersion;
   if (true) {
-    cachedVersion = "0.6.0-next.8";
+    cachedVersion = "0.6.0";
     return cachedVersion;
   }
   try {
@@ -148507,6 +148674,7 @@ function deleteVerifyDiff(repoPath) {
 }
 
 // packages/core/dist/commands/spec-in-process.js
+init_telemetry_service();
 function perfNow3() {
   return Number(process.hrtime.bigint() / 1000000n);
 }
@@ -148585,6 +148753,7 @@ function buildScanState(result) {
 }
 async function scanInProcess(repoRoot6, options = {}) {
   const { tracker } = options;
+  const startedAt = Date.now();
   let docsSeen = 0;
   let blocksTotal = 0;
   let blocksDone = 0;
@@ -148701,6 +148870,15 @@ async function scanInProcess(repoRoot6, options = {}) {
   const tWriteStart = perfNow3();
   writeScanState(repoRoot6, scanState);
   debugLog3(`scan: buildScanState=${(tWriteStart - tBuildStart).toFixed(0)}ms writeScanState=${(perfNow3() - tWriteStart).toFixed(0)}ms`);
+  if (options.source) {
+    await trackEvent("spec_scan", {
+      source: options.source,
+      docsScannedRange: bucketFileCount(result.extract.docsScanned),
+      claimsRange: bucketFileCount(result.extract.claims.length),
+      openConflicts: result.merge.openConflicts.length,
+      durationRange: bucketDuration(Date.now() - startedAt)
+    });
+  }
   return { consolidate: result, scanState };
 }
 async function resolveAllDefaultsInProcess(repoRoot6, options = {}) {
@@ -148800,6 +148978,7 @@ function legacyVerifyStatePath(repoRoot6) {
 }
 async function verifyInProcess(repoRoot6, options = {}) {
   const { tracker } = options;
+  const startedAt = Date.now();
   const contractsDir = options.contractsDir ?? path53.join(repoRoot6, ".truecourse", "contracts");
   const codeDir = options.codeDir ?? autodetectCodeDir(repoRoot6);
   if (!fs46.existsSync(contractsDir)) {
@@ -148871,6 +149050,16 @@ async function verifyInProcess(repoRoot6, options = {}) {
     resolverErrors: result.resolverErrors,
     unresolvedRefs: result.unresolvedRefs
   };
+  if (options.source) {
+    await trackEvent("verify", {
+      source: options.source,
+      mode: "full",
+      artifactCountRange: bucketFileCount(result.artifactCount),
+      operationCountRange: bucketFileCount(result.extractedOperationCount),
+      driftCountRange: bucketFileCount(result.drifts.length),
+      durationRange: bucketDuration(Date.now() - startedAt)
+    });
+  }
   return { verify: result, state };
 }
 async function gitMeta(repoRoot6) {
@@ -148936,6 +149125,7 @@ async function gitChangedFiles(repoRoot6) {
 }
 async function verifyDiffInProcess(repoRoot6, options = {}) {
   const { tracker } = options;
+  const startedAt = Date.now();
   const contractsDir = options.contractsDir ?? path53.join(repoRoot6, ".truecourse", "contracts");
   const codeDir = options.codeDir ?? autodetectCodeDir(repoRoot6);
   if (!await isGitRepo(repoRoot6)) {
@@ -148983,10 +149173,20 @@ async function verifyDiffInProcess(repoRoot6, options = {}) {
   };
   writeVerifyDiff(repoRoot6, diff);
   tracker?.done("compare", `+${added.length} / -${resolved.length} drift${added.length + resolved.length === 1 ? "" : "s"}`);
+  if (options.source) {
+    await trackEvent("verify", {
+      source: options.source,
+      mode: "diff",
+      addedRange: bucketFileCount(added.length),
+      resolvedRange: bucketFileCount(resolved.length),
+      durationRange: bucketDuration(Date.now() - startedAt)
+    });
+  }
   return { verify: result, diff };
 }
 async function inferInProcess(repoRoot6, options = {}) {
   const { tracker } = options;
+  const startedAt = Date.now();
   const contractsDir = options.contractsDir ?? path53.join(repoRoot6, ".truecourse", "contracts");
   const codeDir = options.codeDir ?? autodetectCodeDir(repoRoot6);
   tracker?.start("load");
@@ -149006,6 +149206,14 @@ async function inferInProcess(repoRoot6, options = {}) {
     dryRun: options.dryRun
   });
   tracker?.done("write", options.dryRun ? `${proposed.length} would be written` : `${written.length} written`);
+  if (options.source) {
+    await trackEvent("infer", {
+      source: options.source,
+      decisionsRange: bucketFileCount(result.decisions.length),
+      dryRun: !!options.dryRun,
+      durationRange: bucketDuration(Date.now() - startedAt)
+    });
+  }
   return { infer: result, written, proposed };
 }
 function autodetectCodeDir(repoRoot6) {
@@ -149109,6 +149317,7 @@ function removeManualInclude(repoRoot6, docPath) {
 }
 
 // tools/cli/src/commands/contracts.ts
+init_telemetry_service();
 init_helpers();
 
 // tools/cli/src/commands/git-guard.ts
@@ -149123,6 +149332,7 @@ async function requireGitRepo(root) {
 // tools/cli/src/commands/contracts.ts
 async function runContractsGenerate(options = {}) {
   const repoRoot6 = options.cwd ?? process.cwd();
+  const startedAt = Date.now();
   mt(options.diff ? "Contracts (dry run)" : "Contracts");
   await requireGitRepo(repoRoot6);
   if (!hasCanonicalSpec(repoRoot6)) {
@@ -149214,6 +149424,12 @@ async function runContractsGenerate(options = {}) {
     return;
   }
   stampGeneratedMarker(repoRoot6);
+  await trackEvent("contracts_generate", {
+    source: "cli",
+    artifactsWrittenRange: bucketFileCount(result.write.written.length),
+    validationIssues: result.validationIssues.length,
+    durationRange: bucketDuration(Date.now() - startedAt)
+  });
   if (result.write.written.length === 0) {
     gt("Up to date \u2014 run `truecourse verify`.");
     return;
@@ -149230,23 +149446,51 @@ async function runContractsList(options = {}) {
     O2.info("No contracts found. Run `truecourse contracts generate` first.");
     return;
   }
-  const files = [];
+  const { parser: parser4, resolver } = await Promise.resolve().then(() => (init_dist8(), dist_exports3));
+  const fileNodes = [];
+  let parseErrors = 0;
   const visit = (dir) => {
     for (const entry of fs47.readdirSync(dir, { withFileTypes: true })) {
       const full = path54.join(dir, entry.name);
       if (entry.isDirectory()) visit(full);
-      else if (entry.isFile() && entry.name.endsWith(".tc")) files.push(full);
+      else if (entry.isFile() && entry.name.endsWith(".tc")) {
+        try {
+          fileNodes.push(parser4.parseFile(full, fs47.readFileSync(full, "utf-8")));
+        } catch {
+          parseErrors += 1;
+        }
+      }
     }
   };
   visit(contractsDir);
-  files.sort();
-  if (files.length === 0) {
-    O2.info("No .tc files in .truecourse/contracts/.");
+  const filter2 = options.inferred && !options.authored ? "inferred" : options.authored && !options.inferred ? "authored" : null;
+  const resolution = resolver.resolve(fileNodes);
+  const artifacts = [...resolution.index.values()].filter((a) => filter2 ? a.provenance === filter2 : true).sort(
+    (a, b) => a.ref.type === b.ref.type ? a.ref.identity.localeCompare(b.ref.identity) : a.ref.type.localeCompare(b.ref.type)
+  );
+  if (artifacts.length === 0) {
+    if (filter2 === "inferred") {
+      O2.info("No inferred contracts. Run `truecourse infer` to reverse-engineer undocumented decisions.");
+    } else if (filter2 === "authored") {
+      O2.info("No authored contracts. Run `truecourse contracts generate` first.");
+    } else {
+      O2.info("No .tc files in .truecourse/contracts/.");
+    }
     return;
   }
-  mt(`Contracts (${files.length})`);
-  for (const f2 of files) console.log(`  ${path54.relative(repoRoot6, f2)}`);
-  gt("`truecourse contracts validate` then `truecourse verify`.");
+  const scope = filter2 ? `${filter2} ` : "";
+  mt(`Contracts \u2014 ${artifacts.length} ${scope}artifact${artifacts.length === 1 ? "" : "s"}`);
+  for (const a of artifacts) {
+    const conf = a.confidence ? `[${a.confidence}] ` : "";
+    const loc = a.origin ? a.origin.lines[0] >= 0 ? `${a.origin.source}:${a.origin.lines[0]}` : a.origin.source : `${path54.relative(repoRoot6, a.declarationLoc.filePath)}:${a.declarationLoc.lineStart}`;
+    console.log(`  ${conf}${a.ref.type}:${a.ref.identity}  ${loc}`);
+  }
+  if (parseErrors > 0) {
+    O2.warn(`${parseErrors} file${parseErrors === 1 ? "" : "s"} could not be parsed \u2014 run \`truecourse contracts validate\`.`);
+  }
+  gt(
+    filter2 ? "`truecourse verify`." : "Filter with `--inferred` / `--authored`. `truecourse contracts validate` then `truecourse verify`."
+  );
 }
 async function runContractsValidate(options = {}) {
   const repoRoot6 = options.cwd ?? process.cwd();
@@ -149378,7 +149622,7 @@ async function runSpecScan(opts = {}) {
   await requireGitRepo(root);
   const { renderer, tracker } = withTracker(SCAN_STEPS);
   try {
-    const { consolidate: consolidate2 } = await scanInProcess(root, { tracker });
+    const { consolidate: consolidate2 } = await scanInProcess(root, { tracker, source: "cli" });
     renderer.dispose();
     const { extract: extract4, merge: merge2 } = consolidate2;
     O2.step(`docs        ${extract4.docsScanned}`);
@@ -149475,7 +149719,7 @@ async function runVerify(opts = {}) {
   await requireGitRepo(root);
   const { renderer, tracker } = withTracker(VERIFY_STEPS);
   try {
-    const { verify: verify2 } = await verifyInProcess(root, { tracker, codeDir: opts.codeDir, skipStash });
+    const { verify: verify2 } = await verifyInProcess(root, { tracker, codeDir: opts.codeDir, skipStash, source: "cli" });
     renderer.dispose();
     O2.step(`artifacts   ${verify2.artifactCount}`);
     O2.step(`operations  ${verify2.extractedOperationCount}  (extracted from code)`);
@@ -149514,7 +149758,7 @@ async function runVerifyDiff(opts) {
   await requireGitRepo(root);
   const { renderer, tracker } = withTracker(VERIFY_STEPS);
   try {
-    const { diff } = await verifyDiffInProcess(root, { tracker, codeDir: opts.codeDir });
+    const { diff } = await verifyDiffInProcess(root, { tracker, codeDir: opts.codeDir, source: "cli" });
     renderer.dispose();
     O2.step(`added       ${diff.summary.added}`);
     O2.step(`resolved    ${diff.summary.resolved}`);
@@ -149548,7 +149792,8 @@ async function runInfer(opts = {}) {
     const { infer: infer2, written, proposed } = await inferInProcess(root, {
       tracker,
       codeDir: opts.codeDir,
-      dryRun: opts.dryRun
+      dryRun: opts.dryRun,
+      source: "cli"
     });
     renderer.dispose();
     const byKind = /* @__PURE__ */ new Map();
@@ -149568,7 +149813,7 @@ async function runInfer(opts = {}) {
     }
     const wrote = opts.dryRun ? proposed.length : written.length;
     gt(
-      infer2.decisions.length === 0 ? "No undocumented decisions found." : opts.dryRun ? `${wrote} inferred contract${wrote === 1 ? "" : "s"} would be written to _inferred/ (dry run).` : `${wrote} inferred contract${wrote === 1 ? "" : "s"} written to _inferred/.`
+      infer2.decisions.length === 0 ? "No undocumented decisions found." : opts.dryRun ? `${wrote} inferred contract${wrote === 1 ? "" : "s"} would be written to _inferred/ (dry run).` : `${wrote} inferred contract${wrote === 1 ? "" : "s"} written to _inferred/ \u2014 review with \`truecourse contracts list --inferred\`.`
     );
   } catch (e) {
     renderer.dispose();
@@ -152907,7 +153152,7 @@ async function runHooksRun() {
 
 // tools/cli/src/index.ts
 var program2 = new Command();
-program2.name("truecourse").version("0.6.0-next.8").description("TrueCourse CLI \u2014 analyze your repository and open the dashboard");
+program2.name("truecourse").version("0.6.0").description("TrueCourse CLI \u2014 analyze your repository and open the dashboard");
 var dashboardCmd = program2.command("dashboard").description("Start the TrueCourse dashboard and open it in your browser").option("--reconfigure", "Re-prompt for console vs background service mode").option("--service", "Run as a background service (skips mode prompt)").option("--console", "Run in this terminal (skips mode prompt)").action(async (options) => {
   if (options.service && options.console) {
     console.error("error: --service and --console are mutually exclusive");
@@ -152964,8 +153209,8 @@ var contractsCmd = program2.command("contracts").description("Manage spec-driven
 contractsCmd.command("generate").description("Extract .tc artifacts from prose specs (LLM, cached)").option("--diff", "Dry run \u2014 show what would change without writing").action(async (options) => {
   await runContractsGenerate({ diff: !!options.diff });
 });
-contractsCmd.command("list").description("List the .tc artifacts in this repo").action(async () => {
-  await runContractsList();
+contractsCmd.command("list").description("List the .tc artifacts in this repo (kind \xB7 identity \xB7 location)").option("--inferred", "Only inferred artifacts (reverse-engineered, in _inferred/)").option("--authored", "Only authored artifacts (exclude _inferred/)").action(async (options) => {
+  await runContractsList({ inferred: !!options.inferred, authored: !!options.authored });
 });
 contractsCmd.command("validate").description("Parse and resolve all .tc files, report any issues").action(async () => {
   await runContractsValidate();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "truecourse",
-  "version": "0.6.0-next.8",
+  "version": "0.6.0",
   "description": "Visualize your codebase architecture as an interactive graph",
   "type": "module",
   "bin": {

package/server.mjs

@@ -42492,10 +42492,10 @@ function computeFunctionMetrics(node2) {
   if (!bodyNode) {
     return { lineCount, statementCount: 0, maxNestingDepth: 0 };
   }
-  let statementCount = 0;
+  let statementCount2 = 0;
   for (const child of bodyNode.namedChildren) {
     if (STATEMENT_NODE_TYPES.has(child.type)) {
-      statementCount++;
+      statementCount2++;
     }
   }
   let maxNestingDepth2 = 0;
@@ -42512,7 +42512,7 @@ function computeFunctionMetrics(node2) {
     }
   }
   walkNesting(bodyNode, 0);
-  return { lineCount, statementCount, maxNestingDepth: maxNestingDepth2 };
+  return { lineCount, statementCount: statementCount2, maxNestingDepth: maxNestingDepth2 };
 }
 var NESTING_NODE_TYPES, STATEMENT_NODE_TYPES;
 var init_common = __esm({
@@ -43410,10 +43410,10 @@ function computePythonFunctionMetrics(node2) {
   if (!bodyNode) {
     return { lineCount, statementCount: 0, maxNestingDepth: 0 };
   }
-  let statementCount = 0;
+  let statementCount2 = 0;
   for (const child of bodyNode.namedChildren) {
     if (PYTHON_STATEMENT_NODE_TYPES.has(child.type)) {
-      statementCount++;
+      statementCount2++;
     }
   }
   let maxNestingDepth2 = 0;
@@ -43430,7 +43430,7 @@ function computePythonFunctionMetrics(node2) {
     }
   }
   walkNesting(bodyNode, 0);
-  return { lineCount, statementCount, maxNestingDepth: maxNestingDepth2 };
+  return { lineCount, statementCount: statementCount2, maxNestingDepth: maxNestingDepth2 };
 }
 function isNestedInFunction3(node2) {
   let current = node2.parent;
@@ -79021,6 +79021,19 @@ var init_prototype_pollution = __esm({
 });
 
 // packages/analyzer/dist/rules/bugs/visitors/javascript/void-zero-argument.js
+function operandIsCall(operand) {
+  let cur = operand;
+  while (cur) {
+    if (cur.type === "call_expression" || cur.type === "new_expression")
+      return true;
+    if (cur.type === "parenthesized_expression" || cur.type === "await_expression") {
+      cur = cur.namedChildren[cur.namedChildren.length - 1] ?? null;
+      continue;
+    }
+    return false;
+  }
+  return false;
+}
 var voidZeroArgumentVisitor;
 var init_void_zero_argument = __esm({
   "packages/analyzer/dist/rules/bugs/visitors/javascript/void-zero-argument.js"() {
@@ -79035,6 +79048,8 @@ var init_void_zero_argument = __esm({
         const op = node2.children.find((c) => c.text === "void");
         if (!op)
           return null;
+        if (operandIsCall(node2.children[node2.children.length - 1]))
+          return null;
         return makeViolation(this.ruleKey, node2, filePath, "medium", "Unnecessary void expression", `\`${node2.text}\` can be replaced with \`undefined\` directly.`, sourceCode, "Use `undefined` instead of `void 0`.");
       }
     };
@@ -81857,12 +81872,34 @@ function isModuleLevel(node2) {
 function isMutableInit(node2) {
   return node2.type === "object" || node2.type === "array" || node2.type === "new_expression";
 }
-var sharedMutableModuleStateVisitor;
+function isClientSideFile(filePath, program) {
+  for (const tok of CLIENT_PATH_TOKENS) {
+    if (filePath.includes(tok))
+      return true;
+  }
+  const first2 = program?.namedChildren[0];
+  if (first2?.type === "expression_statement") {
+    const text = first2.text.trim().replace(/;$/, "").replace(/['"`]/g, "");
+    if (text === "use client")
+      return true;
+  }
+  return false;
+}
+var CLIENT_PATH_TOKENS, sharedMutableModuleStateVisitor;
 var init_shared_mutable_module_state = __esm({
   "packages/analyzer/dist/rules/bugs/visitors/javascript/shared-mutable-module-state.js"() {
     "use strict";
     init_types2();
     init_helpers();
+    CLIENT_PATH_TOKENS = [
+      "/client/",
+      "/client-only/",
+      "/hooks/",
+      "/primitives/",
+      "/components/",
+      ".client.ts",
+      ".client.tsx"
+    ];
     sharedMutableModuleStateVisitor = {
       ruleKey: "bugs/deterministic/shared-mutable-module-state",
       languages: JS_LANGUAGES,
@@ -81870,6 +81907,11 @@ var init_shared_mutable_module_state = __esm({
       visit(node2, filePath, sourceCode) {
         if (!isModuleLevel(node2))
           return null;
+        let program = node2;
+        while (program && program.type !== "program")
+          program = program.parent;
+        if (isClientSideFile(filePath, program))
+          return null;
         const kindChild = node2.children[0];
         if (!kindChild || kindChild.text === "const")
           return null;
@@ -83958,13 +84000,38 @@ var init_switch_exhaustiveness = __esm({
 });
 
 // packages/analyzer/dist/rules/bugs/visitors/javascript/non-number-arithmetic.js
-var ARITHMETIC_OPS, nonNumberArithmeticVisitor;
+function isConfidentlyNonNumeric(t) {
+  if (CONFIDENTLY_NON_NUMERIC.has(t))
+    return true;
+  if (/^["']/.test(t))
+    return true;
+  if (t === "true" || t === "false")
+    return true;
+  if (/\[\]$/.test(t) || /^readonly\s/.test(t))
+    return true;
+  if (t.includes("=>") || t.startsWith("{"))
+    return true;
+  return false;
+}
+var ARITHMETIC_OPS, CONFIDENTLY_NON_NUMERIC, nonNumberArithmeticVisitor;
 var init_non_number_arithmetic = __esm({
   "packages/analyzer/dist/rules/bugs/visitors/javascript/non-number-arithmetic.js"() {
     "use strict";
     init_types2();
     init_helpers();
     ARITHMETIC_OPS = /* @__PURE__ */ new Set(["-", "*", "/", "%", "**"]);
+    CONFIDENTLY_NON_NUMERIC = /* @__PURE__ */ new Set([
+      "string",
+      "boolean",
+      "null",
+      "undefined",
+      "void",
+      "symbol",
+      "never",
+      "object",
+      // Common runtime types that don't auto-coerce to number in arithmetic.
+      "Date"
+    ]);
     nonNumberArithmeticVisitor = {
       ruleKey: "bugs/deterministic/non-number-arithmetic",
       languages: TS_LANGUAGES,
@@ -83984,16 +84051,14 @@ var init_non_number_arithmetic = __esm({
         const rightType = typeQuery.getTypeAtPosition(filePath, right.startPosition.row, right.startPosition.column, right.endPosition.row, right.endPosition.column);
         if (!leftType || !rightType)
           return null;
-        const numericTypes = /* @__PURE__ */ new Set(["number", "bigint", "any"]);
-        const leftOk = numericTypes.has(leftType) || /^\d+$/.test(leftType);
-        const rightOk = numericTypes.has(rightType) || /^\d+$/.test(rightType);
         if (left.type === "number" || right.type === "number")
           return null;
-        if (!leftOk || !rightOk) {
-          const badSide = !leftOk ? `left operand is \`${leftType}\`` : `right operand is \`${rightType}\``;
-          return makeViolation(this.ruleKey, node2, filePath, "high", "Non-numeric value in arithmetic", `Arithmetic operator \`${operator.text}\` used with non-numeric operand \u2014 ${badSide}. This will produce \`NaN\` at runtime.`, sourceCode, "Convert operands to numbers or fix the expression.");
-        }
-        return null;
+        const leftBad = isConfidentlyNonNumeric(leftType);
+        const rightBad = isConfidentlyNonNumeric(rightType);
+        if (!leftBad && !rightBad)
+          return null;
+        const badSide = leftBad ? `left operand is \`${leftType}\`` : `right operand is \`${rightType}\``;
+        return makeViolation(this.ruleKey, node2, filePath, "high", "Non-numeric value in arithmetic", `Arithmetic operator \`${operator.text}\` used with non-numeric operand \u2014 ${badSide}. This will produce \`NaN\` at runtime.`, sourceCode, "Convert operands to numbers or fix the expression.");
       }
     };
   }
@@ -96852,12 +96917,29 @@ var init_no_var_declaration = __esm({
 });
 
 // packages/analyzer/dist/rules/code-quality/visitors/javascript/cognitive-complexity.js
-var cognitiveComplexityVisitor;
+function isInsideJsxExpression(node2, functionNodeId) {
+  let cur = node2.parent;
+  while (cur && cur.id !== functionNodeId) {
+    if (JSX_EXPRESSION_TYPES.has(cur.type))
+      return true;
+    if (JS_FUNCTION_TYPES.includes(cur.type))
+      return false;
+    cur = cur.parent;
+  }
+  return false;
+}
+var JSX_EXPRESSION_TYPES, cognitiveComplexityVisitor;
 var init_cognitive_complexity = __esm({
   "packages/analyzer/dist/rules/code-quality/visitors/javascript/cognitive-complexity.js"() {
     "use strict";
     init_types2();
     init_helpers3();
+    JSX_EXPRESSION_TYPES = /* @__PURE__ */ new Set([
+      "jsx_expression",
+      // {expr} attribute / child
+      "jsx_attribute"
+      // attr={expr}
+    ]);
     cognitiveComplexityVisitor = {
       ruleKey: "code-quality/deterministic/cognitive-complexity",
       languages: ["typescript", "tsx", "javascript"],
@@ -96873,14 +96955,17 @@ var init_cognitive_complexity = __esm({
           if (JS_FUNCTION_TYPES.includes(n.type) && n.id !== node2.id)
             return;
           if (INCREMENT_TYPES.has(n.type)) {
-            complexity += 1 + nesting;
+            if (n.type === "ternary_expression" && isInsideJsxExpression(n, node2.id)) {
+            } else {
+              complexity += 1 + nesting;
+            }
           }
           if (n.type === "else_clause") {
             complexity += 1;
           }
           if (n.type === "binary_expression") {
             const op = n.children.find((c) => c.type === "&&" || c.type === "||");
-            if (op)
+            if (op && !isInsideJsxExpression(n, node2.id))
               complexity += 1;
           }
           const nextNesting = NESTING_TYPES3.has(n.type) ? nesting + 1 : nesting;
@@ -97392,6 +97477,19 @@ var init_no_proto = __esm({
 });
 
 // packages/analyzer/dist/rules/code-quality/visitors/javascript/no-void.js
+function operandIsCall2(operand) {
+  let cur = operand;
+  while (cur) {
+    if (cur.type === "call_expression" || cur.type === "new_expression")
+      return true;
+    if (cur.type === "parenthesized_expression" || cur.type === "await_expression") {
+      cur = cur.namedChildren[cur.namedChildren.length - 1] ?? null;
+      continue;
+    }
+    return false;
+  }
+  return false;
+}
 var noVoidVisitor;
 var init_no_void = __esm({
   "packages/analyzer/dist/rules/code-quality/visitors/javascript/no-void.js"() {
@@ -97408,6 +97506,8 @@ var init_no_void = __esm({
         const operand = node2.children[1];
         if (operand?.text === "0")
           return null;
+        if (operandIsCall2(operand))
+          return null;
         return makeViolation(this.ruleKey, node2, filePath, "low", "Void expression", "The `void` operator is confusing. Use `undefined` directly or omit the return value.", sourceCode, "Replace `void expr` with `undefined` or remove the expression.");
       }
     };
@@ -100942,7 +101042,7 @@ var init_unnamed_regex_capture = __esm({
       visit(node2, filePath, sourceCode) {
         const pattern = node2.namedChildren.find((c) => c.type === "regex_pattern");
         const src = pattern?.text ?? "";
-        let hasUnnamed = false;
+        let unnamedCount = 0;
         for (let i = 0; i < src.length; i++) {
           if (src[i] === "\\") {
             i++;
@@ -100965,19 +101065,22 @@ var init_unnamed_regex_capture = __esm({
                 j++;
               }
               const groupContent = src.slice(i + 1, j - 1);
+              const after = src[j];
+              if (after === "+" || after === "*" || after === "?" || after === "{") {
+                continue;
+              }
               if (groupContent.includes("|")) {
                 const alternatives = groupContent.split("|");
                 const isSimpleAlternation = alternatives.every((alt) => /^[a-zA-Z0-9_\\?.^$*+\-]+$/.test(alt) && alt.length <= 10);
                 if (isSimpleAlternation)
                   continue;
               }
-              hasUnnamed = true;
-              break;
+              unnamedCount++;
             }
           }
         }
-        if (hasUnnamed) {
-          return makeViolation(this.ruleKey, node2, filePath, "low", "Unnamed capture group", "Regex contains unnamed capture groups. Use named groups `(?<name>...)` for better readability.", sourceCode, "Convert capture groups to named: `(?<name>...)` or non-capturing: `(?:...)`.");
+        if (unnamedCount >= 2) {
+          return makeViolation(this.ruleKey, node2, filePath, "low", "Unnamed capture groups", "Regex contains multiple unnamed capture groups. Use named groups `(?<name>...)` for better readability.", sourceCode, "Convert capture groups to named: `(?<name>...)` or non-capturing: `(?:...)`.");
         }
         return null;
       }
@@ -101466,6 +101569,25 @@ var init_computed_enum_value = __esm({
 });
 
 // packages/analyzer/dist/rules/code-quality/visitors/javascript/useless-empty-export.js
+function fileHasOtherTopLevelModuleStatement(emptyExport) {
+  let program = emptyExport;
+  while (program && program.type !== "program")
+    program = program.parent;
+  if (!program)
+    return false;
+  for (const child of program.namedChildren) {
+    if (child.id === emptyExport.id)
+      continue;
+    if (child.type === "import_statement")
+      return true;
+    if (child.type === "export_statement") {
+      const inner = child.namedChildren.find((c) => c.type === "named_exports" || c.type === "export_clause");
+      if (!inner || inner.namedChildCount > 0)
+        return true;
+    }
+  }
+  return false;
+}
 var uselessEmptyExportVisitor;
 var init_useless_empty_export = __esm({
   "packages/analyzer/dist/rules/code-quality/visitors/javascript/useless-empty-export.js"() {
@@ -101479,10 +101601,11 @@ var init_useless_empty_export = __esm({
         const namedExports = node2.namedChildren.find((c) => c.type === "named_exports" || c.type === "export_clause");
         if (!namedExports)
           return null;
-        if (namedExports.namedChildCount === 0) {
-          return makeViolation(this.ruleKey, node2, filePath, "low", "Useless empty export", "`export {}` does nothing useful. Remove it unless it is needed to mark the file as a module.", sourceCode, "Remove the empty `export {}` statement.");
-        }
-        return null;
+        if (namedExports.namedChildCount !== 0)
+          return null;
+        if (!fileHasOtherTopLevelModuleStatement(node2))
+          return null;
+        return makeViolation(this.ruleKey, node2, filePath, "low", "Useless empty export", "`export {}` does nothing useful. Remove it unless it is needed to mark the file as a module.", sourceCode, "Remove the empty `export {}` statement.");
       }
     };
   }
@@ -101786,6 +101909,14 @@ var init_multiline_block_without_braces = __esm({
 });
 
 // packages/analyzer/dist/rules/code-quality/visitors/javascript/negated-condition.js
+function statementCount(body) {
+  if (!body)
+    return 0;
+  if (body.type === "statement_block") {
+    return body.namedChildren.filter((c) => c.type !== "comment").length;
+  }
+  return 1;
+}
 var negatedConditionVisitor;
 var init_negated_condition = __esm({
   "packages/analyzer/dist/rules/code-quality/visitors/javascript/negated-condition.js"() {
@@ -101809,6 +101940,11 @@ var init_negated_condition = __esm({
         const elseBody = elsePart.namedChildren[0];
         if (elseBody?.type === "if_statement")
           return null;
+        const ifBody = node2.childForFieldName("consequence");
+        const ifCount = statementCount(ifBody);
+        const elseCount = statementCount(elseBody);
+        if (elseCount < ifCount + 2)
+          return null;
         return makeViolation(this.ruleKey, node2, filePath, "low", "Negated condition with else", "Condition is negated but has an else block. Invert the condition and swap the branches for better readability.", sourceCode, "Invert the condition and swap the if/else bodies.");
       }
     };
@@ -103379,6 +103515,15 @@ var init_undefined_as_identifier = __esm({
 });
 
 // packages/analyzer/dist/rules/code-quality/visitors/javascript/require-unicode-regexp.js
+function unicodeFlagWouldMatter(pattern) {
+  if (/[^\x00-\x7F]/.test(pattern))
+    return true;
+  if (/\\u\{/.test(pattern))
+    return true;
+  if (/\\[pP]\{/.test(pattern))
+    return true;
+  return false;
+}
 var requireUnicodeRegexpVisitor;
 var init_require_unicode_regexp = __esm({
   "packages/analyzer/dist/rules/code-quality/visitors/javascript/require-unicode-regexp.js"() {
@@ -103393,6 +103538,9 @@ var init_require_unicode_regexp = __esm({
         const flagText = flags?.text ?? "";
         if (flagText.includes("u") || flagText.includes("v"))
           return null;
+        const pattern = node2.namedChildren.find((c) => c.type === "regex_pattern")?.text ?? "";
+        if (!unicodeFlagWouldMatter(pattern))
+          return null;
         return makeViolation(this.ruleKey, node2, filePath, "low", "RegExp missing unicode flag", "Regular expression should use the `u` or `v` flag for correct Unicode character handling.", sourceCode, `Add the \`u\` flag: ${node2.text}u`);
       }
     };
@@ -107258,6 +107406,18 @@ var init_readonly_parameter_types = __esm({
 });
 
 // packages/analyzer/dist/rules/code-quality/visitors/javascript/complex-type-alias.js
+function flattenUnionMembers(node2) {
+  if (node2.type !== "union_type")
+    return [node2];
+  const out = [];
+  for (const child of node2.namedChildren) {
+    if (child.type === "union_type")
+      out.push(...flattenUnionMembers(child));
+    else
+      out.push(child);
+  }
+  return out;
+}
 function maxBracketDepth(text) {
   let depth = 0;
   let max = 0;
@@ -107285,11 +107445,20 @@ function countUnionIntersectionMembers(text) {
   }
   return count;
 }
-var DEPTH_THRESHOLD, MEMBER_THRESHOLD, complexTypeAliasVisitor;
+var SIMPLE_UNION_MEMBER_TYPES, DEPTH_THRESHOLD, MEMBER_THRESHOLD, complexTypeAliasVisitor;
 var init_complex_type_alias = __esm({
   "packages/analyzer/dist/rules/code-quality/visitors/javascript/complex-type-alias.js"() {
     "use strict";
     init_types2();
+    SIMPLE_UNION_MEMBER_TYPES = /* @__PURE__ */ new Set([
+      "literal_type",
+      "string",
+      "number",
+      "type_identifier",
+      "predefined_type",
+      "null",
+      "undefined"
+    ]);
     DEPTH_THRESHOLD = 4;
     MEMBER_THRESHOLD = 6;
     complexTypeAliasVisitor = {
@@ -107304,11 +107473,9 @@ var init_complex_type_alias = __esm({
         const depth = maxBracketDepth(typeText);
         const members = countUnionIntersectionMembers(typeText);
         if (typeValue.type === "union_type") {
-          const allLiterals = typeValue.namedChildren.every((child) => {
-            const t = child.type;
-            return t === "literal_type" || t === "string" || t === "number" || t === "predefined_type" && (child.text === "string" || child.text === "number");
-          });
-          if (allLiterals)
+          const members2 = flattenUnionMembers(typeValue);
+          const allSimple = members2.every((m) => SIMPLE_UNION_MEMBER_TYPES.has(m.type));
+          if (allSimple)
             return null;
         }
         if (depth >= DEPTH_THRESHOLD || members >= MEMBER_THRESHOLD) {
@@ -156921,7 +157088,7 @@ function readToolVersion() {
   if (cachedVersion)
     return cachedVersion;
   if (true) {
-    cachedVersion = "0.6.0-next.8";
+    cachedVersion = "0.6.0";
     return cachedVersion;
   }
   try {
@@ -176027,6 +176194,7 @@ function buildScanState(result) {
 }
 async function scanInProcess(repoRoot, options = {}) {
   const { tracker } = options;
+  const startedAt = Date.now();
   let docsSeen = 0;
   let blocksTotal = 0;
   let blocksDone = 0;
@@ -176143,6 +176311,15 @@ async function scanInProcess(repoRoot, options = {}) {
   const tWriteStart = perfNow3();
   writeScanState(repoRoot, scanState);
   debugLog3(`scan: buildScanState=${(tWriteStart - tBuildStart).toFixed(0)}ms writeScanState=${(perfNow3() - tWriteStart).toFixed(0)}ms`);
+  if (options.source) {
+    await trackEvent("spec_scan", {
+      source: options.source,
+      docsScannedRange: bucketFileCount(result.extract.docsScanned),
+      claimsRange: bucketFileCount(result.extract.claims.length),
+      openConflicts: result.merge.openConflicts.length,
+      durationRange: bucketDuration(Date.now() - startedAt)
+    });
+  }
   return { consolidate: result, scanState };
 }
 async function resolveAllDefaultsInProcess(repoRoot, options = {}) {
@@ -176238,6 +176415,7 @@ function isChainConflict2(c) {
 }
 async function generateContractsInProcess(repoRoot, options = {}) {
   const { tracker } = options;
+  const startedAt = Date.now();
   if (!hasCanonicalSpec(repoRoot)) {
     tracker?.start("il");
     tracker?.done("il", "skipped \u2014 no canonical spec");
@@ -176285,6 +176463,14 @@ async function generateContractsInProcess(repoRoot, options = {}) {
     if (issueCount === 0) {
       stampGeneratedMarker(repoRoot);
     }
+    if (options.source) {
+      await trackEvent("contracts_generate", {
+        source: options.source,
+        artifactsWrittenRange: bucketFileCount(wrote),
+        validationIssues: issueCount,
+        durationRange: bucketDuration(Date.now() - startedAt)
+      });
+    }
     return { il: { kind: "extracted", result: il } };
   } catch (e) {
     tracker?.error("il", e.message);
@@ -176331,6 +176517,7 @@ function readVerifyRunState(repoRoot, runId) {
 }
 async function verifyInProcess(repoRoot, options = {}) {
   const { tracker } = options;
+  const startedAt = Date.now();
   const contractsDir = options.contractsDir ?? path45.join(repoRoot, ".truecourse", "contracts");
   const codeDir = options.codeDir ?? autodetectCodeDir(repoRoot);
   if (!fs41.existsSync(contractsDir)) {
@@ -176402,6 +176589,16 @@ async function verifyInProcess(repoRoot, options = {}) {
     resolverErrors: result.resolverErrors,
     unresolvedRefs: result.unresolvedRefs
   };
+  if (options.source) {
+    await trackEvent("verify", {
+      source: options.source,
+      mode: "full",
+      artifactCountRange: bucketFileCount(result.artifactCount),
+      operationCountRange: bucketFileCount(result.extractedOperationCount),
+      driftCountRange: bucketFileCount(result.drifts.length),
+      durationRange: bucketDuration(Date.now() - startedAt)
+    });
+  }
   return { verify: result, state };
 }
 async function gitMeta(repoRoot) {
@@ -176467,6 +176664,7 @@ async function gitChangedFiles(repoRoot) {
 }
 async function verifyDiffInProcess(repoRoot, options = {}) {
   const { tracker } = options;
+  const startedAt = Date.now();
   const contractsDir = options.contractsDir ?? path45.join(repoRoot, ".truecourse", "contracts");
   const codeDir = options.codeDir ?? autodetectCodeDir(repoRoot);
   if (!await isGitRepo(repoRoot)) {
@@ -176514,6 +176712,15 @@ async function verifyDiffInProcess(repoRoot, options = {}) {
   };
   writeVerifyDiff(repoRoot, diff);
   tracker?.done("compare", `+${added.length} / -${resolved.length} drift${added.length + resolved.length === 1 ? "" : "s"}`);
+  if (options.source) {
+    await trackEvent("verify", {
+      source: options.source,
+      mode: "diff",
+      addedRange: bucketFileCount(added.length),
+      resolvedRange: bucketFileCount(resolved.length),
+      durationRange: bucketDuration(Date.now() - startedAt)
+    });
+  }
   return { verify: result, diff };
 }
 function autodetectCodeDir(repoRoot) {
@@ -176646,7 +176853,7 @@ router10.get(
         return;
       }
       const tracker = createSocketSpecTracker(repoIdForCleanup, SCAN_STEPS.map((s) => ({ ...s })));
-      const { scanState } = await scanInProcess(repo.path, { tracker });
+      const { scanState } = await scanInProcess(repo.path, { tracker, source: "dashboard" });
       emitSpecComplete(repoIdForCleanup, "scan");
       res.json(scanState);
     } catch (e) {
@@ -176995,7 +177202,7 @@ router11.post(
         repoIdForCleanup,
         GENERATE_STEPS.map((s) => ({ ...s }))
       );
-      const outcome = await generateContractsInProcess(repo.path, { tracker });
+      const outcome = await generateContractsInProcess(repo.path, { tracker, source: "dashboard" });
       const response = {};
       if (outcome.il.kind === "extracted") {
         response.il = {
@@ -177082,7 +177289,8 @@ router12.post(
       );
       const { state } = await verifyInProcess(repo.path, {
         tracker,
-        skipStash: stashDecision === "no-stash"
+        skipStash: stashDecision === "no-stash",
+        source: "dashboard"
       });
       emitSpecComplete(repoIdForCleanup, "verify");
       res.json(state);
@@ -177168,7 +177376,7 @@ router12.post(
         repoIdForCleanup,
         VERIFY_STEPS.map((s) => ({ ...s }))
       );
-      const { diff } = await verifyDiffInProcess(repo.path, { tracker });
+      const { diff } = await verifyDiffInProcess(repo.path, { tracker, source: "dashboard" });
       emitSpecComplete(repoIdForCleanup, "verify");
       res.json(diff);
     } catch (e) {