trickle-observe 0.2.70 → 0.2.72

package/dist/vite-plugin.js

@@ -480,6 +480,110 @@ function extractDestructuredNames(pattern) {
     }
     return names;
 }
+/**
+ * Find variable reassignments (not declarations) and return insertions for tracing.
+ * Handles: x = newValue; x += 1; x ||= fallback; etc.
+ * Only matches standalone reassignment statements at the start of a line.
+ * Skips: property assignments (obj.x = ...), indexed (arr[i] = ...),
+ *        comparisons (===, !==), arrow functions (=>), declarations (const/let/var).
+ */
+function findReassignments(source) {
+    const results = [];
+    // Match: <identifier> <assignOp>= <value> at the start of a line
+    // Compound operators: +=, -=, *=, /=, %=, **=, &&=, ||=, ??=, <<=, >>=, >>>=, &=, |=, ^=
+    // Plain: = (but not ==, ===, =>, !=)
+    const reassignRegex = /^([ \t]*)([a-zA-Z_$][a-zA-Z0-9_$]*)\s*(?:\+|-|\*\*?|\/|%|&&|\|\||<<|>>>?|&|\||\^|\?\?)?=[^=>]/gm;
+    let match;
+    while ((match = reassignRegex.exec(source)) !== null) {
+        const varName = match[2];
+        // Skip trickle internals
+        if (varName.startsWith('__trickle') || varName.startsWith('_$'))
+            continue;
+        // Skip common non-variable patterns
+        if (varName === '_a' || varName === '_b' || varName === '_c')
+            continue;
+        // Skip 'this', 'self', 'super' (not reassignable in practice)
+        if (varName === 'this' || varName === 'super')
+            continue;
+        // Skip keywords that could look like identifiers
+        if (['if', 'else', 'while', 'for', 'do', 'switch', 'case', 'default', 'return', 'throw',
+            'break', 'continue', 'try', 'catch', 'finally', 'new', 'delete', 'typeof', 'void',
+            'yield', 'await', 'class', 'extends', 'import', 'export', 'from', 'as', 'of', 'in',
+            'const', 'let', 'var', 'function', 'true', 'false', 'null', 'undefined'].includes(varName))
+            continue;
+        // Check that this line doesn't start with const/let/var (would be a declaration, already handled)
+        const lineStart = source.lastIndexOf('\n', match.index) + 1;
+        const linePrefix = source.slice(lineStart, match.index + match[1].length).trim();
+        if (/^(export\s+)?(const|let|var)\s/.test(source.slice(lineStart).trimStart()))
+            continue;
+        // Skip if this looks like a property in an object literal (preceded by a key: pattern on same line)
+        // or if it's a label (label: ...)
+        const beforeOnLine = source.slice(lineStart, match.index).trim();
+        if (beforeOnLine.endsWith(':') || beforeOnLine.endsWith(','))
+            continue;
+        // Calculate line number
+        let lineNo = 1;
+        for (let i = 0; i < match.index; i++) {
+            if (source[i] === '\n')
+                lineNo++;
+        }
+        // Find end of statement (same logic as findVarDeclarations)
+        const startPos = match.index + match[0].length - 1;
+        let pos = startPos;
+        let depth = 0;
+        let foundEnd = -1;
+        while (pos < source.length) {
+            const ch = source[pos];
+            if (ch === '(' || ch === '[' || ch === '{') {
+                depth++;
+            }
+            else if (ch === ')' || ch === ']' || ch === '}') {
+                depth--;
+                if (depth < 0)
+                    break;
+            }
+            else if (ch === ';' && depth === 0) {
+                foundEnd = pos;
+                break;
+            }
+            else if (ch === '\n' && depth === 0) {
+                const nextNonWs = source.slice(pos + 1).match(/^\s*(\S)/);
+                if (nextNonWs && !'.+=-|&?:,'.includes(nextNonWs[1])) {
+                    foundEnd = pos;
+                    break;
+                }
+            }
+            else if (ch === '"' || ch === "'" || ch === '`') {
+                const quote = ch;
+                pos++;
+                while (pos < source.length) {
+                    if (source[pos] === '\\') {
+                        pos++;
+                    }
+                    else if (source[pos] === quote)
+                        break;
+                    pos++;
+                }
+            }
+            else if (ch === '/' && pos + 1 < source.length && source[pos + 1] === '/') {
+                while (pos < source.length && source[pos] !== '\n')
+                    pos++;
+                continue;
+            }
+            else if (ch === '/' && pos + 1 < source.length && source[pos + 1] === '*') {
+                pos += 2;
+                while (pos < source.length - 1 && !(source[pos] === '*' && source[pos + 1] === '/'))
+                    pos++;
+                pos++;
+            }
+            pos++;
+        }
+        if (foundEnd === -1)
+            continue;
+        results.push({ lineEnd: foundEnd + 1, varName, lineNo });
+    }
+    return results;
+}
 /**
  * Find for-loop variable declarations and return insertions for tracing.
  * Handles:
@@ -490,6 +594,28 @@ function extractDestructuredNames(pattern) {
  *   for (let i = 0; i < n; i++) { ... }        → trace i
  * Inserts trace calls at the start of the loop body.
  */
+/**
+ * Find catch clause variables and return insertions for tracing.
+ * Handles: catch (err) { ... } → trace err at start of catch body.
+ */
+function findCatchVars(source) {
+    const results = [];
+    const catchRegex = /\bcatch\s*\(\s*([a-zA-Z_$][a-zA-Z0-9_$]*)\s*(?::\s*[^)]+?)?\s*\)\s*\{/g;
+    let match;
+    while ((match = catchRegex.exec(source)) !== null) {
+        const varName = match[1];
+        if (varName.startsWith('__trickle'))
+            continue;
+        const bodyBrace = match.index + match[0].length - 1;
+        let lineNo = 1;
+        for (let i = 0; i < match.index; i++) {
+            if (source[i] === '\n')
+                lineNo++;
+        }
+        results.push({ bodyStart: bodyBrace + 1, varNames: [varName], lineNo });
+    }
+    return results;
+}
 function findForLoopVars(source) {
     const results = [];
     // Match: for (const/let/var ...
@@ -1111,11 +1237,15 @@ function transformEsmSource(source, filename, moduleName, backendUrl, debug, tra
     const varInsertions = traceVars ? findVarDeclarations(source) : [];
     // Find destructured variable declarations for tracing
     const destructInsertions = traceVars ? findDestructuredDeclarations(source) : [];
+    // Find variable reassignments for tracing
+    const reassignInsertions = traceVars ? findReassignments(source) : [];
     // Find for-loop variable declarations for tracing
     const forLoopInsertions = traceVars ? findForLoopVars(source) : [];
+    // Find catch clause variables for tracing
+    const catchInsertions = traceVars ? findCatchVars(source) : [];
     // Find function parameter names for tracing
     const funcParamInsertions = traceVars ? findFunctionParams(source, isReactFile) : [];
-    if (funcInsertions.length === 0 && varInsertions.length === 0 && destructInsertions.length === 0 && forLoopInsertions.length === 0 && funcParamInsertions.length === 0 && bodyInsertions.length === 0 && hookInsertions.length === 0 && stateInsertions.length === 0 && conciseBodyInsertions.length === 0)
+    if (funcInsertions.length === 0 && varInsertions.length === 0 && destructInsertions.length === 0 && reassignInsertions.length === 0 && forLoopInsertions.length === 0 && catchInsertions.length === 0 && funcParamInsertions.length === 0 && bodyInsertions.length === 0 && hookInsertions.length === 0 && stateInsertions.length === 0 && conciseBodyInsertions.length === 0)
         return source;
     // Fix line numbers: Vite transforms (TypeScript stripping) may change line numbers.
     // Map transformed line numbers to original source line numbers.
@@ -1135,6 +1265,12 @@ function transformEsmSource(source, filename, moduleName, backendUrl, debug, tra
                     di.lineNo = origLine;
             }
         }
+        // Fix reassignment line numbers
+        for (const ri of reassignInsertions) {
+            const origLine = findOriginalLine(origLines, ri.varName, ri.lineNo);
+            if (origLine !== -1)
+                ri.lineNo = origLine;
+        }
         // Fix for-loop var line numbers
         for (const fi of forLoopInsertions) {
             if (fi.varNames.length > 0) {
@@ -1178,7 +1314,7 @@ function transformEsmSource(source, filename, moduleName, backendUrl, debug, tra
         }
     }
     // Build prefix — ALL imports first (ESM requires imports before any statements)
-    const needsTracing = varInsertions.length > 0 || destructInsertions.length > 0 || forLoopInsertions.length > 0 || funcParamInsertions.length > 0 || bodyInsertions.length > 0 || hookInsertions.length > 0 || stateInsertions.length > 0 || conciseBodyInsertions.length > 0;
+    const needsTracing = varInsertions.length > 0 || destructInsertions.length > 0 || reassignInsertions.length > 0 || forLoopInsertions.length > 0 || catchInsertions.length > 0 || funcParamInsertions.length > 0 || bodyInsertions.length > 0 || hookInsertions.length > 0 || stateInsertions.length > 0 || conciseBodyInsertions.length > 0;
     const importLines = [
         `import { wrapFunction as __trickle_wrapFn, configure as __trickle_configure } from 'trickle-observe';`,
     ];
@@ -1216,7 +1352,7 @@ function transformEsmSource(source, filename, moduleName, backendUrl, debug, tra
         }
     }
     // Add variable tracing if needed — inlined to avoid import resolution issues in Vite SSR.
-    if (varInsertions.length > 0 || destructInsertions.length > 0 || forLoopInsertions.length > 0 || funcParamInsertions.length > 0) {
+    if (varInsertions.length > 0 || destructInsertions.length > 0 || reassignInsertions.length > 0 || forLoopInsertions.length > 0 || catchInsertions.length > 0 || funcParamInsertions.length > 0) {
         prefixLines.push(`if (!globalThis.__trickle_var_tracer) {`, `  const _cache = new Set();`, `  function _inferType(v, d) {`, `    if (d <= 0) return { kind: 'primitive', name: 'unknown' };`, `    if (v === null) return { kind: 'primitive', name: 'null' };`, `    if (v === undefined) return { kind: 'primitive', name: 'undefined' };`, `    const t = typeof v;`, `    if (t === 'string' || t === 'number' || t === 'boolean' || t === 'bigint' || t === 'symbol') return { kind: 'primitive', name: t };`, `    if (t === 'function') return { kind: 'function' };`, `    if (Array.isArray(v)) { return v.length === 0 ? { kind: 'array', element: { kind: 'primitive', name: 'unknown' } } : { kind: 'array', element: _inferType(v[0], d-1) }; }`, `    if (t === 'object') {`, `      if (v instanceof Date) return { kind: 'object', properties: { __date: { kind: 'primitive', name: 'string' } } };`, `      if (v instanceof RegExp) return { kind: 'object', properties: { __regexp: { kind: 'primitive', name: 'string' } } };`, `      if (v instanceof Error) return { kind: 'object', properties: { __error: { kind: 'primitive', name: 'string' } } };`, `      if (v instanceof Promise) return { kind: 'promise', resolved: { kind: 'primitive', name: 'unknown' } };`, `      const props = {}; const keys = Object.keys(v).slice(0, 20);`, `      for (const k of keys) { try { props[k] = _inferType(v[k], d-1); } catch(e) { props[k] = { kind: 'primitive', name: 'unknown' }; } }`, `      return { kind: 'object', properties: props };`, `    }`, `    return { kind: 'primitive', name: 'unknown' };`, `  }`, `  function _sanitize(v, d) {`, `    if (d <= 0) return '[truncated]'; if (v === null || v === undefined) return v; const t = typeof v;`, `    if (t === 'string') return v.length > 100 ? v.substring(0, 100) + '...' : v;`, `    if (t === 'number' || t === 'boolean') return v; if (t === 'bigint') return String(v);`, `    if (t === 'function') return '[Function: ' + (v.name || 'anonymous') + ']';`, `    if (Array.isArray(v)) return v.slice(0, 3).map(i => _sanitize(i, d-1));`, `    if (t === 'object') { if (v instanceof Date) return v.toISOString(); if (v instanceof RegExp) return String(v); if (v instanceof Error) return { error: v.message }; if (v instanceof Promise) return '[Promise]';`, `      const r = {}; const keys = Object.keys(v).slice(0, 10); for (const k of keys) { try { r[k] = _sanitize(v[k], d-1); } catch(e) { r[k] = '[unreadable]'; } } return r; }`, `    return String(v);`, `  }`, `  globalThis.__trickle_var_tracer = function(v, n, l, mod, file) {`, `    try {`, `      const type = _inferType(v, 3);`, `      const th = JSON.stringify(type).substring(0, 32);`, `      const ck = file + ':' + l + ':' + n + ':' + th;`, `      if (_cache.has(ck)) return;`, `      _cache.add(ck);`, `      __trickle_send(JSON.stringify({ kind: 'variable', varName: n, line: l, module: mod, file: file, type: type, typeHash: th, sample: _sanitize(v, 2) }));`, `    } catch(e) {}`, `  };`, `}`, `function __trickle_tv(v, n, l) { try { globalThis.__trickle_var_tracer(v, n, l, ${JSON.stringify(moduleName)}, ${JSON.stringify(filename)}); } catch(e) {} }`);
     }
     // Add React component render tracker if needed
@@ -1254,6 +1390,21 @@ function transformEsmSource(source, filename, moduleName, backendUrl, debug, tra
             code: `\n;try{${calls}}catch(__e){}\n`,
         });
     }
+    // Reassignment insertions: trace after the reassignment statement
+    for (const { lineEnd, varName, lineNo } of reassignInsertions) {
+        allInsertions.push({
+            position: lineEnd,
+            code: `\n;try{__trickle_tv(${varName},${JSON.stringify(varName)},${lineNo})}catch(__e){}\n`,
+        });
+    }
+    // Catch clause insertions: insert trace at start of catch body
+    for (const { bodyStart, varNames, lineNo } of catchInsertions) {
+        const calls = varNames.map(n => `__trickle_tv(${n},${JSON.stringify(n)},${lineNo})`).join(';');
+        allInsertions.push({
+            position: bodyStart,
+            code: `\ntry{${calls}}catch(__e2){}\n`,
+        });
+    }
     // For-loop variable insertions: insert trace at start of loop body
     for (const { bodyStart, varNames, lineNo } of forLoopInsertions) {
         const calls = varNames.map(n => `__trickle_tv(${n},${JSON.stringify(n)},${lineNo})`).join(';');

package/dist-esm/vite-plugin.js

@@ -473,6 +473,110 @@ function extractDestructuredNames(pattern) {
     }
     return names;
 }
+/**
+ * Find variable reassignments (not declarations) and return insertions for tracing.
+ * Handles: x = newValue; x += 1; x ||= fallback; etc.
+ * Only matches standalone reassignment statements at the start of a line.
+ * Skips: property assignments (obj.x = ...), indexed (arr[i] = ...),
+ *        comparisons (===, !==), arrow functions (=>), declarations (const/let/var).
+ */
+function findReassignments(source) {
+    const results = [];
+    // Match: <identifier> <assignOp>= <value> at the start of a line
+    // Compound operators: +=, -=, *=, /=, %=, **=, &&=, ||=, ??=, <<=, >>=, >>>=, &=, |=, ^=
+    // Plain: = (but not ==, ===, =>, !=)
+    const reassignRegex = /^([ \t]*)([a-zA-Z_$][a-zA-Z0-9_$]*)\s*(?:\+|-|\*\*?|\/|%|&&|\|\||<<|>>>?|&|\||\^|\?\?)?=[^=>]/gm;
+    let match;
+    while ((match = reassignRegex.exec(source)) !== null) {
+        const varName = match[2];
+        // Skip trickle internals
+        if (varName.startsWith('__trickle') || varName.startsWith('_$'))
+            continue;
+        // Skip common non-variable patterns
+        if (varName === '_a' || varName === '_b' || varName === '_c')
+            continue;
+        // Skip 'this', 'self', 'super' (not reassignable in practice)
+        if (varName === 'this' || varName === 'super')
+            continue;
+        // Skip keywords that could look like identifiers
+        if (['if', 'else', 'while', 'for', 'do', 'switch', 'case', 'default', 'return', 'throw',
+            'break', 'continue', 'try', 'catch', 'finally', 'new', 'delete', 'typeof', 'void',
+            'yield', 'await', 'class', 'extends', 'import', 'export', 'from', 'as', 'of', 'in',
+            'const', 'let', 'var', 'function', 'true', 'false', 'null', 'undefined'].includes(varName))
+            continue;
+        // Check that this line doesn't start with const/let/var (would be a declaration, already handled)
+        const lineStart = source.lastIndexOf('\n', match.index) + 1;
+        const linePrefix = source.slice(lineStart, match.index + match[1].length).trim();
+        if (/^(export\s+)?(const|let|var)\s/.test(source.slice(lineStart).trimStart()))
+            continue;
+        // Skip if this looks like a property in an object literal (preceded by a key: pattern on same line)
+        // or if it's a label (label: ...)
+        const beforeOnLine = source.slice(lineStart, match.index).trim();
+        if (beforeOnLine.endsWith(':') || beforeOnLine.endsWith(','))
+            continue;
+        // Calculate line number
+        let lineNo = 1;
+        for (let i = 0; i < match.index; i++) {
+            if (source[i] === '\n')
+                lineNo++;
+        }
+        // Find end of statement (same logic as findVarDeclarations)
+        const startPos = match.index + match[0].length - 1;
+        let pos = startPos;
+        let depth = 0;
+        let foundEnd = -1;
+        while (pos < source.length) {
+            const ch = source[pos];
+            if (ch === '(' || ch === '[' || ch === '{') {
+                depth++;
+            }
+            else if (ch === ')' || ch === ']' || ch === '}') {
+                depth--;
+                if (depth < 0)
+                    break;
+            }
+            else if (ch === ';' && depth === 0) {
+                foundEnd = pos;
+                break;
+            }
+            else if (ch === '\n' && depth === 0) {
+                const nextNonWs = source.slice(pos + 1).match(/^\s*(\S)/);
+                if (nextNonWs && !'.+=-|&?:,'.includes(nextNonWs[1])) {
+                    foundEnd = pos;
+                    break;
+                }
+            }
+            else if (ch === '"' || ch === "'" || ch === '`') {
+                const quote = ch;
+                pos++;
+                while (pos < source.length) {
+                    if (source[pos] === '\\') {
+                        pos++;
+                    }
+                    else if (source[pos] === quote)
+                        break;
+                    pos++;
+                }
+            }
+            else if (ch === '/' && pos + 1 < source.length && source[pos + 1] === '/') {
+                while (pos < source.length && source[pos] !== '\n')
+                    pos++;
+                continue;
+            }
+            else if (ch === '/' && pos + 1 < source.length && source[pos + 1] === '*') {
+                pos += 2;
+                while (pos < source.length - 1 && !(source[pos] === '*' && source[pos + 1] === '/'))
+                    pos++;
+                pos++;
+            }
+            pos++;
+        }
+        if (foundEnd === -1)
+            continue;
+        results.push({ lineEnd: foundEnd + 1, varName, lineNo });
+    }
+    return results;
+}
 /**
  * Find for-loop variable declarations and return insertions for tracing.
  * Handles:
@@ -483,6 +587,28 @@ function extractDestructuredNames(pattern) {
  *   for (let i = 0; i < n; i++) { ... }        → trace i
  * Inserts trace calls at the start of the loop body.
  */
+/**
+ * Find catch clause variables and return insertions for tracing.
+ * Handles: catch (err) { ... } → trace err at start of catch body.
+ */
+function findCatchVars(source) {
+    const results = [];
+    const catchRegex = /\bcatch\s*\(\s*([a-zA-Z_$][a-zA-Z0-9_$]*)\s*(?::\s*[^)]+?)?\s*\)\s*\{/g;
+    let match;
+    while ((match = catchRegex.exec(source)) !== null) {
+        const varName = match[1];
+        if (varName.startsWith('__trickle'))
+            continue;
+        const bodyBrace = match.index + match[0].length - 1;
+        let lineNo = 1;
+        for (let i = 0; i < match.index; i++) {
+            if (source[i] === '\n')
+                lineNo++;
+        }
+        results.push({ bodyStart: bodyBrace + 1, varNames: [varName], lineNo });
+    }
+    return results;
+}
 function findForLoopVars(source) {
     const results = [];
     // Match: for (const/let/var ...
@@ -1104,11 +1230,15 @@ export function transformEsmSource(source, filename, moduleName, backendUrl, deb
     const varInsertions = traceVars ? findVarDeclarations(source) : [];
     // Find destructured variable declarations for tracing
     const destructInsertions = traceVars ? findDestructuredDeclarations(source) : [];
+    // Find variable reassignments for tracing
+    const reassignInsertions = traceVars ? findReassignments(source) : [];
     // Find for-loop variable declarations for tracing
     const forLoopInsertions = traceVars ? findForLoopVars(source) : [];
+    // Find catch clause variables for tracing
+    const catchInsertions = traceVars ? findCatchVars(source) : [];
     // Find function parameter names for tracing
     const funcParamInsertions = traceVars ? findFunctionParams(source, isReactFile) : [];
-    if (funcInsertions.length === 0 && varInsertions.length === 0 && destructInsertions.length === 0 && forLoopInsertions.length === 0 && funcParamInsertions.length === 0 && bodyInsertions.length === 0 && hookInsertions.length === 0 && stateInsertions.length === 0 && conciseBodyInsertions.length === 0)
+    if (funcInsertions.length === 0 && varInsertions.length === 0 && destructInsertions.length === 0 && reassignInsertions.length === 0 && forLoopInsertions.length === 0 && catchInsertions.length === 0 && funcParamInsertions.length === 0 && bodyInsertions.length === 0 && hookInsertions.length === 0 && stateInsertions.length === 0 && conciseBodyInsertions.length === 0)
         return source;
     // Fix line numbers: Vite transforms (TypeScript stripping) may change line numbers.
     // Map transformed line numbers to original source line numbers.
@@ -1128,6 +1258,12 @@ export function transformEsmSource(source, filename, moduleName, backendUrl, deb
                     di.lineNo = origLine;
             }
         }
+        // Fix reassignment line numbers
+        for (const ri of reassignInsertions) {
+            const origLine = findOriginalLine(origLines, ri.varName, ri.lineNo);
+            if (origLine !== -1)
+                ri.lineNo = origLine;
+        }
         // Fix for-loop var line numbers
         for (const fi of forLoopInsertions) {
             if (fi.varNames.length > 0) {
@@ -1171,7 +1307,7 @@ export function transformEsmSource(source, filename, moduleName, backendUrl, deb
         }
     }
     // Build prefix — ALL imports first (ESM requires imports before any statements)
-    const needsTracing = varInsertions.length > 0 || destructInsertions.length > 0 || forLoopInsertions.length > 0 || funcParamInsertions.length > 0 || bodyInsertions.length > 0 || hookInsertions.length > 0 || stateInsertions.length > 0 || conciseBodyInsertions.length > 0;
+    const needsTracing = varInsertions.length > 0 || destructInsertions.length > 0 || reassignInsertions.length > 0 || forLoopInsertions.length > 0 || catchInsertions.length > 0 || funcParamInsertions.length > 0 || bodyInsertions.length > 0 || hookInsertions.length > 0 || stateInsertions.length > 0 || conciseBodyInsertions.length > 0;
     const importLines = [
         `import { wrapFunction as __trickle_wrapFn, configure as __trickle_configure } from 'trickle-observe';`,
     ];
@@ -1209,7 +1345,7 @@ export function transformEsmSource(source, filename, moduleName, backendUrl, deb
         }
     }
     // Add variable tracing if needed — inlined to avoid import resolution issues in Vite SSR.
-    if (varInsertions.length > 0 || destructInsertions.length > 0 || forLoopInsertions.length > 0 || funcParamInsertions.length > 0) {
+    if (varInsertions.length > 0 || destructInsertions.length > 0 || reassignInsertions.length > 0 || forLoopInsertions.length > 0 || catchInsertions.length > 0 || funcParamInsertions.length > 0) {
         prefixLines.push(`if (!globalThis.__trickle_var_tracer) {`, `  const _cache = new Set();`, `  function _inferType(v, d) {`, `    if (d <= 0) return { kind: 'primitive', name: 'unknown' };`, `    if (v === null) return { kind: 'primitive', name: 'null' };`, `    if (v === undefined) return { kind: 'primitive', name: 'undefined' };`, `    const t = typeof v;`, `    if (t === 'string' || t === 'number' || t === 'boolean' || t === 'bigint' || t === 'symbol') return { kind: 'primitive', name: t };`, `    if (t === 'function') return { kind: 'function' };`, `    if (Array.isArray(v)) { return v.length === 0 ? { kind: 'array', element: { kind: 'primitive', name: 'unknown' } } : { kind: 'array', element: _inferType(v[0], d-1) }; }`, `    if (t === 'object') {`, `      if (v instanceof Date) return { kind: 'object', properties: { __date: { kind: 'primitive', name: 'string' } } };`, `      if (v instanceof RegExp) return { kind: 'object', properties: { __regexp: { kind: 'primitive', name: 'string' } } };`, `      if (v instanceof Error) return { kind: 'object', properties: { __error: { kind: 'primitive', name: 'string' } } };`, `      if (v instanceof Promise) return { kind: 'promise', resolved: { kind: 'primitive', name: 'unknown' } };`, `      const props = {}; const keys = Object.keys(v).slice(0, 20);`, `      for (const k of keys) { try { props[k] = _inferType(v[k], d-1); } catch(e) { props[k] = { kind: 'primitive', name: 'unknown' }; } }`, `      return { kind: 'object', properties: props };`, `    }`, `    return { kind: 'primitive', name: 'unknown' };`, `  }`, `  function _sanitize(v, d) {`, `    if (d <= 0) return '[truncated]'; if (v === null || v === undefined) return v; const t = typeof v;`, `    if (t === 'string') return v.length > 100 ? v.substring(0, 100) + '...' : v;`, `    if (t === 'number' || t === 'boolean') return v; if (t === 'bigint') return String(v);`, `    if (t === 'function') return '[Function: ' + (v.name || 'anonymous') + ']';`, `    if (Array.isArray(v)) return v.slice(0, 3).map(i => _sanitize(i, d-1));`, `    if (t === 'object') { if (v instanceof Date) return v.toISOString(); if (v instanceof RegExp) return String(v); if (v instanceof Error) return { error: v.message }; if (v instanceof Promise) return '[Promise]';`, `      const r = {}; const keys = Object.keys(v).slice(0, 10); for (const k of keys) { try { r[k] = _sanitize(v[k], d-1); } catch(e) { r[k] = '[unreadable]'; } } return r; }`, `    return String(v);`, `  }`, `  globalThis.__trickle_var_tracer = function(v, n, l, mod, file) {`, `    try {`, `      const type = _inferType(v, 3);`, `      const th = JSON.stringify(type).substring(0, 32);`, `      const ck = file + ':' + l + ':' + n + ':' + th;`, `      if (_cache.has(ck)) return;`, `      _cache.add(ck);`, `      __trickle_send(JSON.stringify({ kind: 'variable', varName: n, line: l, module: mod, file: file, type: type, typeHash: th, sample: _sanitize(v, 2) }));`, `    } catch(e) {}`, `  };`, `}`, `function __trickle_tv(v, n, l) { try { globalThis.__trickle_var_tracer(v, n, l, ${JSON.stringify(moduleName)}, ${JSON.stringify(filename)}); } catch(e) {} }`);
     }
     // Add React component render tracker if needed
@@ -1247,6 +1383,21 @@ export function transformEsmSource(source, filename, moduleName, backendUrl, deb
             code: `\n;try{${calls}}catch(__e){}\n`,
         });
     }
+    // Reassignment insertions: trace after the reassignment statement
+    for (const { lineEnd, varName, lineNo } of reassignInsertions) {
+        allInsertions.push({
+            position: lineEnd,
+            code: `\n;try{__trickle_tv(${varName},${JSON.stringify(varName)},${lineNo})}catch(__e){}\n`,
+        });
+    }
+    // Catch clause insertions: insert trace at start of catch body
+    for (const { bodyStart, varNames, lineNo } of catchInsertions) {
+        const calls = varNames.map(n => `__trickle_tv(${n},${JSON.stringify(n)},${lineNo})`).join(';');
+        allInsertions.push({
+            position: bodyStart,
+            code: `\ntry{${calls}}catch(__e2){}\n`,
+        });
+    }
     // For-loop variable insertions: insert trace at start of loop body
     for (const { bodyStart, varNames, lineNo } of forLoopInsertions) {
         const calls = varNames.map(n => `__trickle_tv(${n},${JSON.stringify(n)},${lineNo})`).join(';');

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "trickle-observe",
-  "version": "0.2.70",
+  "version": "0.2.72",
   "description": "Runtime type observability for JavaScript applications",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",

package/src/vite-plugin.ts

@@ -461,6 +461,101 @@ function extractDestructuredNames(pattern: string): string[] {
   return names;
 }
 
+/**
+ * Find variable reassignments (not declarations) and return insertions for tracing.
+ * Handles: x = newValue; x += 1; x ||= fallback; etc.
+ * Only matches standalone reassignment statements at the start of a line.
+ * Skips: property assignments (obj.x = ...), indexed (arr[i] = ...),
+ *        comparisons (===, !==), arrow functions (=>), declarations (const/let/var).
+ */
+function findReassignments(source: string): Array<{ lineEnd: number; varName: string; lineNo: number }> {
+  const results: Array<{ lineEnd: number; varName: string; lineNo: number }> = [];
+
+  // Match: <identifier> <assignOp>= <value> at the start of a line
+  // Compound operators: +=, -=, *=, /=, %=, **=, &&=, ||=, ??=, <<=, >>=, >>>=, &=, |=, ^=
+  // Plain: = (but not ==, ===, =>, !=)
+  const reassignRegex = /^([ \t]*)([a-zA-Z_$][a-zA-Z0-9_$]*)\s*(?:\+|-|\*\*?|\/|%|&&|\|\||<<|>>>?|&|\||\^|\?\?)?=[^=>]/gm;
+  let match;
+
+  while ((match = reassignRegex.exec(source)) !== null) {
+    const varName = match[2];
+
+    // Skip trickle internals
+    if (varName.startsWith('__trickle') || varName.startsWith('_$')) continue;
+    // Skip common non-variable patterns
+    if (varName === '_a' || varName === '_b' || varName === '_c') continue;
+    // Skip 'this', 'self', 'super' (not reassignable in practice)
+    if (varName === 'this' || varName === 'super') continue;
+    // Skip keywords that could look like identifiers
+    if (['if', 'else', 'while', 'for', 'do', 'switch', 'case', 'default', 'return', 'throw',
+         'break', 'continue', 'try', 'catch', 'finally', 'new', 'delete', 'typeof', 'void',
+         'yield', 'await', 'class', 'extends', 'import', 'export', 'from', 'as', 'of', 'in',
+         'const', 'let', 'var', 'function', 'true', 'false', 'null', 'undefined'].includes(varName)) continue;
+
+    // Check that this line doesn't start with const/let/var (would be a declaration, already handled)
+    const lineStart = source.lastIndexOf('\n', match.index) + 1;
+    const linePrefix = source.slice(lineStart, match.index + match[1].length).trim();
+    if (/^(export\s+)?(const|let|var)\s/.test(source.slice(lineStart).trimStart())) continue;
+
+    // Skip if this looks like a property in an object literal (preceded by a key: pattern on same line)
+    // or if it's a label (label: ...)
+    const beforeOnLine = source.slice(lineStart, match.index).trim();
+    if (beforeOnLine.endsWith(':') || beforeOnLine.endsWith(',')) continue;
+
+    // Calculate line number
+    let lineNo = 1;
+    for (let i = 0; i < match.index; i++) {
+      if (source[i] === '\n') lineNo++;
+    }
+
+    // Find end of statement (same logic as findVarDeclarations)
+    const startPos = match.index + match[0].length - 1;
+    let pos = startPos;
+    let depth = 0;
+    let foundEnd = -1;
+
+    while (pos < source.length) {
+      const ch = source[pos];
+      if (ch === '(' || ch === '[' || ch === '{') {
+        depth++;
+      } else if (ch === ')' || ch === ']' || ch === '}') {
+        depth--;
+        if (depth < 0) break;
+      } else if (ch === ';' && depth === 0) {
+        foundEnd = pos;
+        break;
+      } else if (ch === '\n' && depth === 0) {
+        const nextNonWs = source.slice(pos + 1).match(/^\s*(\S)/);
+        if (nextNonWs && !'.+=-|&?:,'.includes(nextNonWs[1])) {
+          foundEnd = pos;
+          break;
+        }
+      } else if (ch === '"' || ch === "'" || ch === '`') {
+        const quote = ch;
+        pos++;
+        while (pos < source.length) {
+          if (source[pos] === '\\') { pos++; }
+          else if (source[pos] === quote) break;
+          pos++;
+        }
+      } else if (ch === '/' && pos + 1 < source.length && source[pos + 1] === '/') {
+        while (pos < source.length && source[pos] !== '\n') pos++;
+        continue;
+      } else if (ch === '/' && pos + 1 < source.length && source[pos + 1] === '*') {
+        pos += 2;
+        while (pos < source.length - 1 && !(source[pos] === '*' && source[pos + 1] === '/')) pos++;
+        pos++;
+      }
+      pos++;
+    }
+
+    if (foundEnd === -1) continue;
+    results.push({ lineEnd: foundEnd + 1, varName, lineNo });
+  }
+
+  return results;
+}
+
 /**
  * Find for-loop variable declarations and return insertions for tracing.
  * Handles:
@@ -471,6 +566,31 @@ function extractDestructuredNames(pattern: string): string[] {
  *   for (let i = 0; i < n; i++) { ... }        → trace i
  * Inserts trace calls at the start of the loop body.
  */
+/**
+ * Find catch clause variables and return insertions for tracing.
+ * Handles: catch (err) { ... } → trace err at start of catch body.
+ */
+function findCatchVars(source: string): Array<{ bodyStart: number; varNames: string[]; lineNo: number }> {
+  const results: Array<{ bodyStart: number; varNames: string[]; lineNo: number }> = [];
+  const catchRegex = /\bcatch\s*\(\s*([a-zA-Z_$][a-zA-Z0-9_$]*)\s*(?::\s*[^)]+?)?\s*\)\s*\{/g;
+  let match;
+
+  while ((match = catchRegex.exec(source)) !== null) {
+    const varName = match[1];
+    if (varName.startsWith('__trickle')) continue;
+
+    const bodyBrace = match.index + match[0].length - 1;
+    let lineNo = 1;
+    for (let i = 0; i < match.index; i++) {
+      if (source[i] === '\n') lineNo++;
+    }
+
+    results.push({ bodyStart: bodyBrace + 1, varNames: [varName], lineNo });
+  }
+
+  return results;
+}
+
 function findForLoopVars(source: string): Array<{ bodyStart: number; varNames: string[]; lineNo: number }> {
   const results: Array<{ bodyStart: number; varNames: string[]; lineNo: number }> = [];
 
@@ -1108,13 +1228,19 @@ export function transformEsmSource(
   // Find destructured variable declarations for tracing
   const destructInsertions = traceVars ? findDestructuredDeclarations(source) : [];
 
+  // Find variable reassignments for tracing
+  const reassignInsertions = traceVars ? findReassignments(source) : [];
+
   // Find for-loop variable declarations for tracing
   const forLoopInsertions = traceVars ? findForLoopVars(source) : [];
 
+  // Find catch clause variables for tracing
+  const catchInsertions = traceVars ? findCatchVars(source) : [];
+
   // Find function parameter names for tracing
   const funcParamInsertions = traceVars ? findFunctionParams(source, isReactFile) : [];
 
-  if (funcInsertions.length === 0 && varInsertions.length === 0 && destructInsertions.length === 0 && forLoopInsertions.length === 0 && funcParamInsertions.length === 0 && bodyInsertions.length === 0 && hookInsertions.length === 0 && stateInsertions.length === 0 && conciseBodyInsertions.length === 0) return source;
+  if (funcInsertions.length === 0 && varInsertions.length === 0 && destructInsertions.length === 0 && reassignInsertions.length === 0 && forLoopInsertions.length === 0 && catchInsertions.length === 0 && funcParamInsertions.length === 0 && bodyInsertions.length === 0 && hookInsertions.length === 0 && stateInsertions.length === 0 && conciseBodyInsertions.length === 0) return source;
 
   // Fix line numbers: Vite transforms (TypeScript stripping) may change line numbers.
   // Map transformed line numbers to original source line numbers.
@@ -1133,6 +1259,11 @@ export function transformEsmSource(
         if (origLine !== -1) di.lineNo = origLine;
       }
     }
+    // Fix reassignment line numbers
+    for (const ri of reassignInsertions) {
+      const origLine = findOriginalLine(origLines, ri.varName, ri.lineNo);
+      if (origLine !== -1) ri.lineNo = origLine;
+    }
     // Fix for-loop var line numbers
     for (const fi of forLoopInsertions) {
       if (fi.varNames.length > 0) {
@@ -1177,7 +1308,7 @@ export function transformEsmSource(
   }
 
   // Build prefix — ALL imports first (ESM requires imports before any statements)
-  const needsTracing = varInsertions.length > 0 || destructInsertions.length > 0 || forLoopInsertions.length > 0 || funcParamInsertions.length > 0 || bodyInsertions.length > 0 || hookInsertions.length > 0 || stateInsertions.length > 0 || conciseBodyInsertions.length > 0;
+  const needsTracing = varInsertions.length > 0 || destructInsertions.length > 0 || reassignInsertions.length > 0 || forLoopInsertions.length > 0 || catchInsertions.length > 0 || funcParamInsertions.length > 0 || bodyInsertions.length > 0 || hookInsertions.length > 0 || stateInsertions.length > 0 || conciseBodyInsertions.length > 0;
   const importLines: string[] = [
     `import { wrapFunction as __trickle_wrapFn, configure as __trickle_configure } from 'trickle-observe';`,
   ];
@@ -1247,7 +1378,7 @@ export function transformEsmSource(
   }
 
   // Add variable tracing if needed — inlined to avoid import resolution issues in Vite SSR.
-  if (varInsertions.length > 0 || destructInsertions.length > 0 || forLoopInsertions.length > 0 || funcParamInsertions.length > 0) {
+  if (varInsertions.length > 0 || destructInsertions.length > 0 || reassignInsertions.length > 0 || forLoopInsertions.length > 0 || catchInsertions.length > 0 || funcParamInsertions.length > 0) {
     prefixLines.push(
       `if (!globalThis.__trickle_var_tracer) {`,
       `  const _cache = new Set();`,
@@ -1418,6 +1549,23 @@ export function transformEsmSource(
     });
   }
 
+  // Reassignment insertions: trace after the reassignment statement
+  for (const { lineEnd, varName, lineNo } of reassignInsertions) {
+    allInsertions.push({
+      position: lineEnd,
+      code: `\n;try{__trickle_tv(${varName},${JSON.stringify(varName)},${lineNo})}catch(__e){}\n`,
+    });
+  }
+
+  // Catch clause insertions: insert trace at start of catch body
+  for (const { bodyStart, varNames, lineNo } of catchInsertions) {
+    const calls = varNames.map(n => `__trickle_tv(${n},${JSON.stringify(n)},${lineNo})`).join(';');
+    allInsertions.push({
+      position: bodyStart,
+      code: `\ntry{${calls}}catch(__e2){}\n`,
+    });
+  }
+
   // For-loop variable insertions: insert trace at start of loop body
   for (const { bodyStart, varNames, lineNo } of forLoopInsertions) {
     const calls = varNames.map(n => `__trickle_tv(${n},${JSON.stringify(n)},${lineNo})`).join(';');