react-state-basis 0.6.5 → 0.6.6

package/dist/index.js

@@ -64,33 +64,92 @@ module.exports = __toCommonJS(index_exports);
 var React = __toESM(require("react"));
 var import_react = require("react");
 
+// src/core/constants.ts
+var WINDOW_SIZE = 50;
+var PAIR_RARITY_TARGET = 0.01;
+var RELATIVE_OVERLAP_FLOOR = 0.65;
+var LOOP_THRESHOLD = 150;
+var VOLATILITY_THRESHOLD = 25;
+var INSTANCE_SEP = "##";
+
 // src/core/math.ts
-var calculateSimilarityCircular = (bufferA, headA, bufferB, headB, offset) => {
+var choose = (n, k) => {
+  if (k < 0 || k > n) return 0;
+  k = Math.min(k, n - k);
+  let result = 1;
+  for (let i = 0; i < k; i++) {
+    result = result * (n - i) / (i + 1);
+  }
+  return result;
+};
+var hypergeomPMF = (k, n1, m1, N) => {
+  const total = choose(N, n1);
+  if (total === 0) return 0;
+  return choose(m1, k) * choose(N - m1, n1 - k) / total;
+};
+var hypergeomUpperTailP = (kStart, n1, m1, N) => {
+  const kMax = Math.min(n1, m1);
+  let p = 0;
+  for (let k = Math.max(0, kStart); k <= kMax; k++) {
+    p += hypergeomPMF(k, n1, m1, N);
+  }
+  return p;
+};
+var minOverlapForRarity = (n1, m1, N, targetP) => {
+  const kMax = Math.min(n1, m1);
+  for (let k = 0; k <= kMax; k++) {
+    if (hypergeomUpperTailP(k, n1, m1, N) <= targetP) return k;
+  }
+  return kMax + 1;
+};
+var overlapThresholdCache = /* @__PURE__ */ new Map();
+var getMinOverlap = (densityA, densityB, windowSize) => {
+  const lo = Math.min(densityA, densityB) | 0;
+  const hi = Math.max(densityA, densityB) | 0;
+  const key = `${lo}_${hi}_${windowSize}`;
+  let cached = overlapThresholdCache.get(key);
+  if (cached === void 0) {
+    const rare = minOverlapForRarity(lo, hi, windowSize, PAIR_RARITY_TARGET);
+    const floor = Math.ceil(RELATIVE_OVERLAP_FLOOR * lo);
+    cached = Math.max(rare, floor);
+    overlapThresholdCache.set(key, cached);
+  }
+  return cached;
+};
+var isSignificantOverlap = (overlap, densityA, densityB, windowSize) => {
+  if (densityA < 2 || densityB < 2) return false;
+  return overlap >= getMinOverlap(densityA, densityB, windowSize);
+};
+var countOverlapsCircular = (bufferA, headA, bufferB, headB) => {
   const L = bufferA.length;
-  let dot = 0, magA = 0, magB = 0;
-  const baseOffset = ((headB - headA + offset) % L + L) % L;
+  const offSync = ((headB - headA) % L + L) % L;
+  const offALeadsB = ((headB - headA + 1) % L + L) % L;
+  const offBLeadsA = ((headB - headA - 1) % L + L) % L;
+  let kSync = 0;
+  let kALeadsB = 0;
+  let kBLeadsA = 0;
+  let densityA = 0;
+  let densityB = 0;
   for (let i = 0; i < L; i++) {
-    const valA = bufferA[i];
-    let iB = i + baseOffset;
-    if (iB >= L) {
-      iB -= L;
-    }
-    const valB = bufferB[iB];
-    dot += valA * valB;
-    magA += valA * valA;
-    magB += valB * valB;
+    const a = bufferA[i] ? 1 : 0;
+    const b = bufferB[i] ? 1 : 0;
+    densityA += a;
+    densityB += b;
+    let iSync = i + offSync;
+    if (iSync >= L) iSync -= L;
+    let iALeadsB = i + offALeadsB;
+    if (iALeadsB >= L) iALeadsB -= L;
+    let iBLeadsA = i + offBLeadsA;
+    if (iBLeadsA >= L) iBLeadsA -= L;
+    if (a && bufferB[iSync]) kSync++;
+    if (a && bufferB[iALeadsB]) kALeadsB++;
+    if (a && bufferB[iBLeadsA]) kBLeadsA++;
   }
-  if (magA === 0 || magB === 0) return 0;
-  return dot / (Math.sqrt(magA) * Math.sqrt(magB));
+  return { kSync, kALeadsB, kBLeadsA, densityA, densityB };
 };
-var calculateCosineSimilarity = (A, B) => {
-  let dot = 0, magA = 0, magB = 0;
-  for (let i = 0; i < A.length; i++) {
-    dot += A[i] * B[i];
-    magA += A[i] * A[i];
-    magB += B[i] * B[i];
-  }
-  return magA === 0 || magB === 0 ? 0 : dot / (Math.sqrt(magA) * Math.sqrt(magB));
+var cosineFromOverlap = (overlap, densityA, densityB) => {
+  if (densityA <= 0 || densityB <= 0) return 0;
+  return overlap / Math.sqrt(densityA * densityB);
 };
 
 // src/core/graph.ts
@@ -149,13 +208,6 @@ var groupEventSources = (nodes, edges) => {
   return groups.sort((a, b) => b.edges.length - a.edges.length || b.occurrences - a.occurrences);
 };
 
-// src/core/constants.ts
-var WINDOW_SIZE = 50;
-var SIMILARITY_THRESHOLD = 0.88;
-var LOOP_THRESHOLD = 150;
-var VOLATILITY_THRESHOLD = 25;
-var INSTANCE_SEP = "##";
-
 // src/core/label.ts
 var stripInstance = (label) => {
   const idx = label.indexOf(INSTANCE_SEP);
@@ -269,32 +321,22 @@ var LAST_LOG_TIMES = /* @__PURE__ */ new Map();
 var LOG_COOLDOWN = 3e3;
 var THEME = {
   identity: "#6C5CE7",
-  // Purple (Brand)
   problem: "#D63031",
-  // Red (Bugs)
   solution: "#FBC531",
-  // Yellow (Fixes)
   context: "#0984E3",
-  // Blue (Locations)
   muted: "#9AA0A6",
-  // Gray (Metadata)
   border: "#2E2E35",
   success: "#00b894"
-  // Green (Good Score)
 };
 var STYLES = {
-  // Structure
   basis: `background: ${THEME.identity}; color: white; font-weight: bold; padding: 2px 6px; border-radius: 3px;`,
   headerIdentity: `background: ${THEME.identity}; color: white; font-weight: bold; padding: 4px 8px; border-radius: 4px;`,
   headerProblem: `background: ${THEME.problem}; color: white; font-weight: bold; padding: 4px 8px; border-radius: 4px;`,
   version: `background: #a29bfe; color: #2d3436; padding: 2px 6px; border-radius: 3px; margin-left: -4px;`,
-  // Actions
   actionLabel: `color: ${THEME.solution}; font-weight: bold;`,
   actionPill: `color: ${THEME.solution}; font-weight: bold; border: 1px solid ${THEME.solution}; padding: 0 4px; border-radius: 3px;`,
-  // Context
   impactLabel: `color: ${THEME.context}; font-weight: bold;`,
   location: `color: ${THEME.context}; font-family: monospace; font-weight: bold;`,
-  // Text
   subText: `color: ${THEME.muted}; font-size: 11px;`,
   bold: "font-weight: bold;",
   label: "background: #dfe6e9; color: #2d3436; padding: 0 4px; border-radius: 3px; font-family: monospace; font-weight: bold; border: 1px solid #b2bec3;"
@@ -309,6 +351,15 @@ var shouldLog = (key) => {
   return false;
 };
 var isBooleanLike = (name) => /^(is|has|can|should|did|will|show|hide)(?=[A-Z_])/.test(name);
+var areSyncSignificant = (metaA, metaB) => {
+  const { kSync, densityA, densityB } = countOverlapsCircular(
+    metaA.buffer,
+    metaA.head,
+    metaB.buffer,
+    metaB.head
+  );
+  return isSignificantOverlap(kSync, densityA, densityB, metaA.buffer.length);
+};
 var getSuggestedFix = (issue, info) => {
   if (issue.label.includes("Global Event")) {
     return `These variables update together but live in different hooks/files. Consolidate them into a single %cuseReducer%c or atomic store update.`;
@@ -338,7 +389,7 @@ var getSuggestedFix = (issue, info) => {
   }
   return `Check the dependency chain of ${info.name}.`;
 };
-var displayHealthReport = (history2, threshold, violationMap) => {
+var displayHealthReport = (history2, violationMap) => {
   if (!isWeb) return;
   const entries = Array.from(history2.entries());
   if (entries.length === 0) return;
@@ -414,11 +465,10 @@ var displayHealthReport = (history2, threshold, violationMap) => {
     processed.add(labelA);
     entries.forEach(([labelB, metaB]) => {
       if (labelA === labelB || processed.has(labelB)) return;
-      if (calculateCosineSimilarity(metaA.buffer, metaB.buffer) > threshold) {
-        if (metaA.role === "context" /* CONTEXT */ && metaB.role === "context" /* CONTEXT */) return;
-        currentCluster.push(labelB);
-        processed.add(labelB);
-      }
+      if (!areSyncSignificant(metaA, metaB)) return;
+      if (metaA.role === "context" /* CONTEXT */ && metaB.role === "context" /* CONTEXT */) return;
+      currentCluster.push(labelB);
+      processed.add(labelB);
     });
     if (currentCluster.length > 1) clusters.push(currentCluster);
     else independentCount++;
@@ -494,7 +544,7 @@ var displayRedundancyAlert = (labelA, metaA, labelB, metaB, sim) => {
   const alertType = isContextMirror ? "CONTEXT MIRRORING" : isStoreMirror ? "STORE MIRRORING" : "DUPLICATE STATE";
   console.group(`%c \u264A BASIS | ${alertType} `, STYLES.headerProblem);
   console.log(`%c\u{1F4CD} Location: %c${infoA.file}`, STYLES.bold, STYLES.location);
-  console.log(`%cIssue:%c ${infoA.name} and ${infoB.name} are synchronized (${(sim * 100).toFixed(0)}%).`, STYLES.bold, "");
+  console.log(`%cIssue:%c ${infoA.name} and ${infoB.name} overlapped on ${(sim * 100).toFixed(0)}% of aligned updates.`, STYLES.bold, "");
   if (isContextMirror || isStoreMirror) {
     const sourceType = isStoreMirror ? "External Store" : "Global Context";
     console.log(
@@ -672,7 +722,6 @@ var displayBootLog = (windowSize) => {
 };
 
 // src/core/analysis.ts
-var CAUSAL_MARGIN = 0.05;
 var isEventDriven = (label, graph) => {
   for (const [parent, targets] of graph.entries()) {
     if (parent.startsWith("Event_Tick_") && targets.has(label)) {
@@ -682,28 +731,33 @@ var isEventDriven = (label, graph) => {
   return false;
 };
 var calculateAllSimilarities = (entryA, entryB) => {
-  const sync = calculateSimilarityCircular(
+  const { kSync, kALeadsB, kBLeadsA, densityA, densityB } = countOverlapsCircular(
     entryA.meta.buffer,
     entryA.meta.head,
     entryB.meta.buffer,
-    entryB.meta.head,
-    0
+    entryB.meta.head
   );
-  const bA = calculateSimilarityCircular(
-    entryA.meta.buffer,
-    entryA.meta.head,
-    entryB.meta.buffer,
-    entryB.meta.head,
-    1
-  );
-  const aB = calculateSimilarityCircular(
-    entryA.meta.buffer,
-    entryA.meta.head,
-    entryB.meta.buffer,
-    entryB.meta.head,
-    -1
-  );
-  return { sync, bA, aB, max: Math.max(sync, bA, aB) };
+  const sync = cosineFromOverlap(kSync, densityA, densityB);
+  const bA = cosineFromOverlap(kALeadsB, densityA, densityB);
+  const aB = cosineFromOverlap(kBLeadsA, densityA, densityB);
+  const max = Math.max(sync, bA, aB);
+  const windowSize = entryA.meta.buffer.length;
+  const significantSync = isSignificantOverlap(kSync, densityA, densityB, windowSize);
+  const kLead = Math.max(kALeadsB, kBLeadsA);
+  const significantLead = isSignificantOverlap(kLead, densityA, densityB, windowSize) && kLead >= kSync + 1;
+  return {
+    sync,
+    bA,
+    aB,
+    max,
+    kSync,
+    kALeadsB,
+    kBLeadsA,
+    densityA,
+    densityB,
+    significantSync,
+    significantLead
+  };
 };
 var shouldSkipComparison = (entryA, entryB, dirtyLabels2) => {
   if (entryA.label === entryB.label) return true;
@@ -728,52 +782,51 @@ var detectRedundancy = (entryA, entryB, similarities, redundantSet, violationMap
   const roleA = entryA.meta.role;
   const roleB = entryB.meta.role;
   if (isGlobalSource(roleA) && isGlobalSource(roleB)) return;
-  if (entryA.meta.density < 2 || entryB.meta.density < 2) return;
+  if (similarities.densityA < 2 || similarities.densityB < 2) return;
+  const score = similarities.sync;
   if (roleA === "local" /* LOCAL */ && isGlobalSource(roleB)) {
     redundantSet.add(entryA.label);
-    pushViolation(violationMap, entryB.label, { type: "context_mirror", target: entryA.label, similarity: similarities.max });
-    displayRedundancyAlert(entryA.label, entryA.meta, entryB.label, entryB.meta, similarities.max);
+    pushViolation(violationMap, entryB.label, { type: "context_mirror", target: entryA.label, similarity: score });
+    displayRedundancyAlert(entryA.label, entryA.meta, entryB.label, entryB.meta, score);
   } else if (isGlobalSource(roleA) && roleB === "local" /* LOCAL */) {
     redundantSet.add(entryB.label);
-    pushViolation(violationMap, entryA.label, { type: "context_mirror", target: entryB.label, similarity: similarities.max });
-    displayRedundancyAlert(entryB.label, entryB.meta, entryA.label, entryA.meta, similarities.max);
+    pushViolation(violationMap, entryA.label, { type: "context_mirror", target: entryB.label, similarity: score });
+    displayRedundancyAlert(entryB.label, entryB.meta, entryA.label, entryA.meta, score);
   } else if (roleA === "local" /* LOCAL */ && roleB === "local" /* LOCAL */) {
     redundantSet.add(entryA.label);
     redundantSet.add(entryB.label);
-    pushViolation(violationMap, entryA.label, { type: "duplicate_state", target: entryB.label, similarity: similarities.max });
-    pushViolation(violationMap, entryB.label, { type: "duplicate_state", target: entryA.label, similarity: similarities.max });
-    displayRedundancyAlert(entryA.label, entryA.meta, entryB.label, entryB.meta, similarities.max);
+    pushViolation(violationMap, entryA.label, { type: "duplicate_state", target: entryB.label, similarity: score });
+    pushViolation(violationMap, entryB.label, { type: "duplicate_state", target: entryA.label, similarity: score });
+    displayRedundancyAlert(entryA.label, entryA.meta, entryB.label, entryB.meta, score);
   }
 };
 var detectCausalLeak = (entryA, entryB, similarities, violationMap, graph) => {
   if (entryA.isVolatile || entryB.isVolatile) return;
-  if (similarities.max - similarities.sync < CAUSAL_MARGIN) return;
   const addLeak = (source, target) => {
     if (isEventDriven(target, graph)) return;
-    if (!violationMap.has(source)) {
-      violationMap.set(source, []);
-    }
-    violationMap.get(source).push({ type: "causal_leak", target });
+    pushViolation(violationMap, source, { type: "causal_leak", target });
     const sourceEntry = source === entryA.label ? entryA : entryB;
     const targetEntry = source === entryA.label ? entryB : entryA;
     displayCausalHint(target, targetEntry.meta, source, sourceEntry.meta);
   };
-  if (similarities.bA === similarities.max) {
+  if (similarities.kALeadsB >= similarities.kBLeadsA) {
     addLeak(entryA.label, entryB.label);
-  } else if (similarities.aB === similarities.max) {
+  } else {
     addLeak(entryB.label, entryA.label);
   }
 };
 var detectSubspaceOverlap = (dirtyEntries, allEntries, redundantSet, dirtyLabels2, graph) => {
-  let compCount = 0;
   const violationMap = /* @__PURE__ */ new Map();
+  let compCount = 0;
   for (const entryA of dirtyEntries) {
     for (const entryB of allEntries) {
       if (shouldSkipComparison(entryA, entryB, dirtyLabels2)) continue;
       compCount++;
       const similarities = calculateAllSimilarities(entryA, entryB);
-      if (similarities.max > SIMILARITY_THRESHOLD) {
+      if (similarities.significantSync) {
         detectRedundancy(entryA, entryB, similarities, redundantSet, violationMap);
+      }
+      if (similarities.significantLead) {
         detectCausalLeak(entryA, entryB, similarities, violationMap, graph);
       }
     }
@@ -1032,9 +1085,9 @@ var beginEffectTracking = (l) => {
 var endEffectTracking = () => {
   instance.currentEffectSource = null;
 };
-var printBasisHealthReport = (threshold = 0.5) => {
+var printBasisHealthReport = () => {
   if (!instance.config.debug) return;
-  displayHealthReport(instance.history, threshold, instance.violationMap);
+  displayHealthReport(instance.history, instance.violationMap);
 };
 var getBasisMetrics = () => ({
   engine: "v0.6.x",