@violetflux/eslint-plugin-kerros 0.3.0 → 0.3.1

package/dist/index.cjs

@@ -472,32 +472,51 @@ const setMutationMethods = /* @__PURE__ */ new Set([
 	"clear",
 	"delete"
 ]);
-/** Build separate dynamic call-site contexts for one local function. */
-function getFunctionCallSiteContexts(target, edges) {
+/** Build a reusable index that streams dynamic call-site contexts without retaining every path. */
+function createFunctionCallSiteContexts(edges) {
 	const incoming = /* @__PURE__ */ new Map();
 	for (const edge of edges) {
 		const existing = incoming.get(edge.callee) ?? [];
 		existing.push(edge);
 		incoming.set(edge.callee, existing);
 	}
-	const contexts = [];
-	/** Trace callers independently so states from different invocation paths never merge globally. */
-	const trace = (fn, calls, stack) => {
-		const edgesForFunction = incoming.get(fn) ?? [];
-		let advanced = false;
-		for (const edge of edgesForFunction) {
-			if (stack.has(edge.caller)) continue;
-			advanced = true;
-			const nextCalls = new Map(calls);
-			nextCalls.set(fn, edge.site);
-			const nextStack = new Set(stack);
-			nextStack.add(edge.caller);
-			trace(edge.caller, nextCalls, nextStack);
+	/** Visit paths independently while retaining only the current DFS path. */
+	const some = (target, predicate) => {
+		const calls = /* @__PURE__ */ new Map();
+		const active = /* @__PURE__ */ new Set([target]);
+		const frames = [{
+			advanced: false,
+			edges: incoming.get(target) ?? [],
+			fn: target,
+			index: 0
+		}];
+		while (frames.length > 0) {
+			const frame = frames.at(-1);
+			if (!frame) break;
+			const edge = frame.edges[frame.index];
+			if (edge) {
+				frame.index += 1;
+				if (active.has(edge.caller)) continue;
+				frame.advanced = true;
+				calls.set(frame.fn, edge.site);
+				active.add(edge.caller);
+				frames.push({
+					advanced: false,
+					edges: incoming.get(edge.caller) ?? [],
+					fn: edge.caller,
+					index: 0,
+					parent: frame.fn
+				});
+				continue;
+			}
+			if (!frame.advanced && predicate(calls)) return true;
+			frames.pop();
+			active.delete(frame.fn);
+			if (frame.parent) calls.delete(frame.parent);
 		}
-		if (!advanced) contexts.push(calls);
+		return false;
 	};
-	trace(target, /* @__PURE__ */ new Map(), /* @__PURE__ */ new Set([target]));
-	return contexts;
+	return { some };
 }
 /** Track assignment sources and resolve definitions that reach a concrete reference point. */
 function createReferenceOriginTracker(program) {
@@ -1481,7 +1500,7 @@ const noRenderInstanceSnapshot = createRule({
 						changed = true;
 					}
 				}
-				const renderedEdges = localEdges.filter((edge) => rendered.has(edge.caller));
+				const callContexts = createFunctionCallSiteContexts(localEdges.filter((edge) => rendered.has(edge.caller)));
 				/** Test whether an expression is a local alias of a Store instance Hook result. */
 				const isInstanceDerived = (input, calls, seen = /* @__PURE__ */ new Set()) => {
 					const node = unwrapExpression(input);
@@ -1514,7 +1533,7 @@ const noRenderInstanceSnapshot = createRule({
 				};
 				for (const snapshot of snapshots) {
 					if (!snapshot.owner || !rendered.has(snapshot.owner)) continue;
-					if (getFunctionCallSiteContexts(snapshot.owner, renderedEdges).some((calls) => {
+					if (callContexts.some(snapshot.owner, (calls) => {
 						return snapshot.kind === "instance" ? isInstanceDerived(snapshot.source, calls) : isSnapshotReaderDerived(snapshot.source, calls);
 					})) context.report({
 						node: snapshot.node,
@@ -1682,9 +1701,10 @@ const noStoreMutation = createRule({
 						site: node
 					});
 				}
-				for (const candidate of candidates) if ((candidate.owner ? getFunctionCallSiteContexts(candidate.owner, localEdges) : [/* @__PURE__ */ new Map()]).some((calls) => {
+				const callContexts = createFunctionCallSiteContexts(localEdges);
+				for (const candidate of candidates) if (candidate.owner ? callContexts.some(candidate.owner, (calls) => {
 					return isSnapshotDerived(candidate.expression, maxAliasDepth, /* @__PURE__ */ new Set(), calls);
-				})) context.report({
+				}) : isSnapshotDerived(candidate.expression, maxAliasDepth, /* @__PURE__ */ new Set(), /* @__PURE__ */ new Map())) context.report({
 					node: candidate.node,
 					messageId: "mutation"
 				});
@@ -2451,7 +2471,7 @@ const rules = {
 const plugin = {
 	meta: {
 		name: "@violetflux/eslint-plugin-kerros",
-		version: "0.3.0"
+		version: "0.3.1"
 	},
 	rules
 };

package/dist/index.mjs

@@ -444,32 +444,51 @@ const setMutationMethods = /* @__PURE__ */ new Set([
 	"clear",
 	"delete"
 ]);
-/** Build separate dynamic call-site contexts for one local function. */
-function getFunctionCallSiteContexts(target, edges) {
+/** Build a reusable index that streams dynamic call-site contexts without retaining every path. */
+function createFunctionCallSiteContexts(edges) {
 	const incoming = /* @__PURE__ */ new Map();
 	for (const edge of edges) {
 		const existing = incoming.get(edge.callee) ?? [];
 		existing.push(edge);
 		incoming.set(edge.callee, existing);
 	}
-	const contexts = [];
-	/** Trace callers independently so states from different invocation paths never merge globally. */
-	const trace = (fn, calls, stack) => {
-		const edgesForFunction = incoming.get(fn) ?? [];
-		let advanced = false;
-		for (const edge of edgesForFunction) {
-			if (stack.has(edge.caller)) continue;
-			advanced = true;
-			const nextCalls = new Map(calls);
-			nextCalls.set(fn, edge.site);
-			const nextStack = new Set(stack);
-			nextStack.add(edge.caller);
-			trace(edge.caller, nextCalls, nextStack);
+	/** Visit paths independently while retaining only the current DFS path. */
+	const some = (target, predicate) => {
+		const calls = /* @__PURE__ */ new Map();
+		const active = /* @__PURE__ */ new Set([target]);
+		const frames = [{
+			advanced: false,
+			edges: incoming.get(target) ?? [],
+			fn: target,
+			index: 0
+		}];
+		while (frames.length > 0) {
+			const frame = frames.at(-1);
+			if (!frame) break;
+			const edge = frame.edges[frame.index];
+			if (edge) {
+				frame.index += 1;
+				if (active.has(edge.caller)) continue;
+				frame.advanced = true;
+				calls.set(frame.fn, edge.site);
+				active.add(edge.caller);
+				frames.push({
+					advanced: false,
+					edges: incoming.get(edge.caller) ?? [],
+					fn: edge.caller,
+					index: 0,
+					parent: frame.fn
+				});
+				continue;
+			}
+			if (!frame.advanced && predicate(calls)) return true;
+			frames.pop();
+			active.delete(frame.fn);
+			if (frame.parent) calls.delete(frame.parent);
 		}
-		if (!advanced) contexts.push(calls);
+		return false;
 	};
-	trace(target, /* @__PURE__ */ new Map(), /* @__PURE__ */ new Set([target]));
-	return contexts;
+	return { some };
 }
 /** Track assignment sources and resolve definitions that reach a concrete reference point. */
 function createReferenceOriginTracker(program) {
@@ -1453,7 +1472,7 @@ const noRenderInstanceSnapshot = createRule({
 						changed = true;
 					}
 				}
-				const renderedEdges = localEdges.filter((edge) => rendered.has(edge.caller));
+				const callContexts = createFunctionCallSiteContexts(localEdges.filter((edge) => rendered.has(edge.caller)));
 				/** Test whether an expression is a local alias of a Store instance Hook result. */
 				const isInstanceDerived = (input, calls, seen = /* @__PURE__ */ new Set()) => {
 					const node = unwrapExpression(input);
@@ -1486,7 +1505,7 @@ const noRenderInstanceSnapshot = createRule({
 				};
 				for (const snapshot of snapshots) {
 					if (!snapshot.owner || !rendered.has(snapshot.owner)) continue;
-					if (getFunctionCallSiteContexts(snapshot.owner, renderedEdges).some((calls) => {
+					if (callContexts.some(snapshot.owner, (calls) => {
 						return snapshot.kind === "instance" ? isInstanceDerived(snapshot.source, calls) : isSnapshotReaderDerived(snapshot.source, calls);
 					})) context.report({
 						node: snapshot.node,
@@ -1654,9 +1673,10 @@ const noStoreMutation = createRule({
 						site: node
 					});
 				}
-				for (const candidate of candidates) if ((candidate.owner ? getFunctionCallSiteContexts(candidate.owner, localEdges) : [/* @__PURE__ */ new Map()]).some((calls) => {
+				const callContexts = createFunctionCallSiteContexts(localEdges);
+				for (const candidate of candidates) if (candidate.owner ? callContexts.some(candidate.owner, (calls) => {
 					return isSnapshotDerived(candidate.expression, maxAliasDepth, /* @__PURE__ */ new Set(), calls);
-				})) context.report({
+				}) : isSnapshotDerived(candidate.expression, maxAliasDepth, /* @__PURE__ */ new Set(), /* @__PURE__ */ new Map())) context.report({
 					node: candidate.node,
 					messageId: "mutation"
 				});
@@ -2423,7 +2443,7 @@ const rules = {
 const plugin = {
 	meta: {
 		name: "@violetflux/eslint-plugin-kerros",
-		version: "0.3.0"
+		version: "0.3.1"
 	},
 	rules
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@violetflux/eslint-plugin-kerros",
-  "version": "0.3.0",
+  "version": "0.3.1",
   "description": "Type-aware ESLint rules for Kerros stores.",
   "repository": {
     "type": "git",