@violetflux/eslint-plugin-kerros 0.3.0 → 0.3.2

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) {
@@ -699,7 +718,7 @@ const objectEnumerationMethods = /* @__PURE__ */ new Set([
 	"keys",
 	"values"
 ]);
-/** Read the snapshot argument from a complete enumeration or serialization call. */
+/** Read the tracked value argument from a broad enumeration or serialization call. */
 function getBroadArgument(node) {
 	const [argument] = node.arguments;
 	if (!argument || argument.type === "SpreadElement") return false;
@@ -714,48 +733,72 @@ const noBroadStoreAccess = createRule({
 	name: "no-broad-store-access",
 	meta: {
 		type: "problem",
-		docs: { description: "Prevent complete Store enumeration and serialization." },
-		schema: [],
-		messages: { broadAccess: "Do not enumerate or spread the complete Store snapshot." }
+		docs: { description: "Prevent broad enumeration and serialization of complete Store snapshots." },
+		schema: [{
+			type: "object",
+			properties: { includeObjectFields: { type: "boolean" } },
+			additionalProperties: false
+		}],
+		messages: {
+			broadAccess: "Do not enumerate, serialize, or spread a complete selector-free Store snapshot.",
+			broadObjectField: "Do not enumerate, serialize, or spread an object field from a selector-free Store snapshot."
+		}
 	},
-	defaultOptions: [],
-	create(context) {
+	defaultOptions: [{ includeObjectFields: false }],
+	create(context, [options]) {
 		const { getIdentifierSymbol, getType, isStoreHookCall } = createKerrosTypeTools(context);
 		const origins = createReferenceOriginTracker(context.sourceCode.ast);
-		/** Test whether an expression originates from a selector-free Store snapshot. */
-		const isSnapshotDerived = (input, seen = /* @__PURE__ */ new Set()) => {
+		/** Classify whether an expression is a complete Store snapshot or one object field from it. */
+		const readStoreOrigin = (input, seen = /* @__PURE__ */ new Set()) => {
 			const node = unwrapExpression(input);
 			if (node.type === "CallExpression") {
 				const selector = node.arguments[0];
-				return (node.arguments.length === 0 || node.arguments.length === 1 && selector?.type !== "SpreadElement" && (getType(selector).flags & typescript.default.TypeFlags.Undefined) !== 0) && isStoreHookCall(node);
+				return (node.arguments.length === 0 || node.arguments.length === 1 && selector?.type !== "SpreadElement" && (getType(selector).flags & typescript.default.TypeFlags.Undefined) !== 0) && isStoreHookCall(node) ? "snapshot" : void 0;
 			}
-			if (node.type === "AssignmentExpression") return isSnapshotDerived(node.right, seen);
-			if (node.type === "MemberExpression") return isSnapshotDerived(node.object, seen);
-			if (node.type !== "Identifier") return false;
+			if (node.type === "AssignmentExpression") return readStoreOrigin(node.right, seen);
+			if (node.type === "MemberExpression") return readStoreOrigin(node.object, seen) ? "objectField" : void 0;
+			if (node.type !== "Identifier") return;
 			const symbol = getIdentifierSymbol(node);
-			if (!symbol || seen.has(symbol)) return false;
+			if (!symbol || seen.has(symbol)) return;
 			seen.add(symbol);
-			const derived = origins.resolve(symbol, node).some((source) => isSnapshotDerived(source, seen));
+			let result;
+			for (const source of origins.resolve(symbol, node)) {
+				const origin = readStoreOrigin(source.expression, seen);
+				if (!origin) continue;
+				if (!source.objectField && origin === "snapshot") {
+					result = "snapshot";
+					break;
+				}
+				result = "objectField";
+			}
 			seen.delete(symbol);
-			return derived;
+			return result;
 		};
 		/** Report one operation that subscribes to every enumerable field. */
 		const reportBroadAccess = (expression) => {
-			if (isSnapshotDerived(expression)) context.report({
+			const origin = readStoreOrigin(expression);
+			if (origin === "snapshot") context.report({
 				node: expression,
 				messageId: "broadAccess"
 			});
+			else if (origin === "objectField" && options.includeObjectFields) context.report({
+				node: expression,
+				messageId: "broadObjectField"
+			});
 		};
 		/** Track object-valued bindings destructured from a snapshot. */
-		const recordObjectBindings = (pattern, source, write) => {
+		const recordObjectBindings = (pattern, source, write, objectField = false) => {
 			if (pattern.type === "Identifier") {
 				if ((getType(pattern).flags & typescript.default.TypeFlags.Object) === 0) return;
 				const symbol = getIdentifierSymbol(pattern);
-				if (symbol) origins.record(symbol, source, write);
+				if (symbol) origins.record(symbol, {
+					expression: source,
+					objectField
+				}, write);
 				return;
 			}
 			if (pattern.type === "AssignmentPattern") {
-				recordObjectBindings(pattern.left, source, write);
+				recordObjectBindings(pattern.left, source, write, objectField);
 				return;
 			}
 			if (pattern.type === "RestElement") return;
@@ -763,8 +806,8 @@ const noBroadStoreAccess = createRule({
 			const entries = pattern.type === "ObjectPattern" ? pattern.properties : pattern.elements;
 			for (const entry of entries) {
 				if (!entry) continue;
-				if (entry.type === "Property") recordObjectBindings(entry.value, source, write);
-				else recordObjectBindings(entry, source, write);
+				if (entry.type === "Property") recordObjectBindings(entry.value, source, write, true);
+				else recordObjectBindings(entry, source, write, true);
 			}
 		};
 		return {
@@ -779,7 +822,10 @@ const noBroadStoreAccess = createRule({
 				if (!node.init) return;
 				if (node.id.type === "Identifier") {
 					const symbol = getIdentifierSymbol(node.id);
-					if (symbol) origins.record(symbol, node.init, node);
+					if (symbol) origins.record(symbol, {
+						expression: node.init,
+						objectField: false
+					}, node);
 					return;
 				}
 				if (node.id.type === "ObjectPattern" && node.id.properties.some((property) => property.type === "RestElement")) reportBroadAccess(node.init);
@@ -788,7 +834,10 @@ const noBroadStoreAccess = createRule({
 			AssignmentExpression(node) {
 				if (node.left.type !== "Identifier") return;
 				const symbol = getIdentifierSymbol(node.left);
-				if (symbol) origins.record(symbol, node.right, node);
+				if (symbol) origins.record(symbol, {
+					expression: node.right,
+					objectField: false
+				}, node);
 			}
 		};
 	}
@@ -1481,7 +1530,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 +1563,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 +1731,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 +2501,7 @@ const rules = {
 const plugin = {
 	meta: {
 		name: "@violetflux/eslint-plugin-kerros",
-		version: "0.3.0"
+		version: "0.3.2"
 	},
 	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) {
@@ -671,7 +690,7 @@ const objectEnumerationMethods = /* @__PURE__ */ new Set([
 	"keys",
 	"values"
 ]);
-/** Read the snapshot argument from a complete enumeration or serialization call. */
+/** Read the tracked value argument from a broad enumeration or serialization call. */
 function getBroadArgument(node) {
 	const [argument] = node.arguments;
 	if (!argument || argument.type === "SpreadElement") return false;
@@ -686,48 +705,72 @@ const noBroadStoreAccess = createRule({
 	name: "no-broad-store-access",
 	meta: {
 		type: "problem",
-		docs: { description: "Prevent complete Store enumeration and serialization." },
-		schema: [],
-		messages: { broadAccess: "Do not enumerate or spread the complete Store snapshot." }
+		docs: { description: "Prevent broad enumeration and serialization of complete Store snapshots." },
+		schema: [{
+			type: "object",
+			properties: { includeObjectFields: { type: "boolean" } },
+			additionalProperties: false
+		}],
+		messages: {
+			broadAccess: "Do not enumerate, serialize, or spread a complete selector-free Store snapshot.",
+			broadObjectField: "Do not enumerate, serialize, or spread an object field from a selector-free Store snapshot."
+		}
 	},
-	defaultOptions: [],
-	create(context) {
+	defaultOptions: [{ includeObjectFields: false }],
+	create(context, [options]) {
 		const { getIdentifierSymbol, getType, isStoreHookCall } = createKerrosTypeTools(context);
 		const origins = createReferenceOriginTracker(context.sourceCode.ast);
-		/** Test whether an expression originates from a selector-free Store snapshot. */
-		const isSnapshotDerived = (input, seen = /* @__PURE__ */ new Set()) => {
+		/** Classify whether an expression is a complete Store snapshot or one object field from it. */
+		const readStoreOrigin = (input, seen = /* @__PURE__ */ new Set()) => {
 			const node = unwrapExpression(input);
 			if (node.type === "CallExpression") {
 				const selector = node.arguments[0];
-				return (node.arguments.length === 0 || node.arguments.length === 1 && selector?.type !== "SpreadElement" && (getType(selector).flags & ts.TypeFlags.Undefined) !== 0) && isStoreHookCall(node);
+				return (node.arguments.length === 0 || node.arguments.length === 1 && selector?.type !== "SpreadElement" && (getType(selector).flags & ts.TypeFlags.Undefined) !== 0) && isStoreHookCall(node) ? "snapshot" : void 0;
 			}
-			if (node.type === "AssignmentExpression") return isSnapshotDerived(node.right, seen);
-			if (node.type === "MemberExpression") return isSnapshotDerived(node.object, seen);
-			if (node.type !== "Identifier") return false;
+			if (node.type === "AssignmentExpression") return readStoreOrigin(node.right, seen);
+			if (node.type === "MemberExpression") return readStoreOrigin(node.object, seen) ? "objectField" : void 0;
+			if (node.type !== "Identifier") return;
 			const symbol = getIdentifierSymbol(node);
-			if (!symbol || seen.has(symbol)) return false;
+			if (!symbol || seen.has(symbol)) return;
 			seen.add(symbol);
-			const derived = origins.resolve(symbol, node).some((source) => isSnapshotDerived(source, seen));
+			let result;
+			for (const source of origins.resolve(symbol, node)) {
+				const origin = readStoreOrigin(source.expression, seen);
+				if (!origin) continue;
+				if (!source.objectField && origin === "snapshot") {
+					result = "snapshot";
+					break;
+				}
+				result = "objectField";
+			}
 			seen.delete(symbol);
-			return derived;
+			return result;
 		};
 		/** Report one operation that subscribes to every enumerable field. */
 		const reportBroadAccess = (expression) => {
-			if (isSnapshotDerived(expression)) context.report({
+			const origin = readStoreOrigin(expression);
+			if (origin === "snapshot") context.report({
 				node: expression,
 				messageId: "broadAccess"
 			});
+			else if (origin === "objectField" && options.includeObjectFields) context.report({
+				node: expression,
+				messageId: "broadObjectField"
+			});
 		};
 		/** Track object-valued bindings destructured from a snapshot. */
-		const recordObjectBindings = (pattern, source, write) => {
+		const recordObjectBindings = (pattern, source, write, objectField = false) => {
 			if (pattern.type === "Identifier") {
 				if ((getType(pattern).flags & ts.TypeFlags.Object) === 0) return;
 				const symbol = getIdentifierSymbol(pattern);
-				if (symbol) origins.record(symbol, source, write);
+				if (symbol) origins.record(symbol, {
+					expression: source,
+					objectField
+				}, write);
 				return;
 			}
 			if (pattern.type === "AssignmentPattern") {
-				recordObjectBindings(pattern.left, source, write);
+				recordObjectBindings(pattern.left, source, write, objectField);
 				return;
 			}
 			if (pattern.type === "RestElement") return;
@@ -735,8 +778,8 @@ const noBroadStoreAccess = createRule({
 			const entries = pattern.type === "ObjectPattern" ? pattern.properties : pattern.elements;
 			for (const entry of entries) {
 				if (!entry) continue;
-				if (entry.type === "Property") recordObjectBindings(entry.value, source, write);
-				else recordObjectBindings(entry, source, write);
+				if (entry.type === "Property") recordObjectBindings(entry.value, source, write, true);
+				else recordObjectBindings(entry, source, write, true);
 			}
 		};
 		return {
@@ -751,7 +794,10 @@ const noBroadStoreAccess = createRule({
 				if (!node.init) return;
 				if (node.id.type === "Identifier") {
 					const symbol = getIdentifierSymbol(node.id);
-					if (symbol) origins.record(symbol, node.init, node);
+					if (symbol) origins.record(symbol, {
+						expression: node.init,
+						objectField: false
+					}, node);
 					return;
 				}
 				if (node.id.type === "ObjectPattern" && node.id.properties.some((property) => property.type === "RestElement")) reportBroadAccess(node.init);
@@ -760,7 +806,10 @@ const noBroadStoreAccess = createRule({
 			AssignmentExpression(node) {
 				if (node.left.type !== "Identifier") return;
 				const symbol = getIdentifierSymbol(node.left);
-				if (symbol) origins.record(symbol, node.right, node);
+				if (symbol) origins.record(symbol, {
+					expression: node.right,
+					objectField: false
+				}, node);
 			}
 		};
 	}
@@ -1453,7 +1502,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 +1535,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 +1703,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 +2473,7 @@ const rules = {
 const plugin = {
 	meta: {
 		name: "@violetflux/eslint-plugin-kerros",
-		version: "0.3.0"
+		version: "0.3.2"
 	},
 	rules
 };

package/package.json

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