@bamboocss/extractor 1.46.1 → 1.46.2

package/dist/index.cjs

@@ -311,6 +311,37 @@ const EMPTY_DEPENDENCIES = [];
 /** One synchronous extraction context owns one nested capture stack. */
 const trackers = /* @__PURE__ */ new WeakMap();
 /**
+* Per-path staleness, so an edit invalidates exactly the entries that read the edited file.
+*
+* The caches these entries live in are `WeakMap`s keyed on AST nodes — deliberately, so a
+* retired tree releases its memory — which means they cannot be swept. What they *can* do is
+* refuse a hit: every entry already records the module paths its computation read, because
+* that same record is what the watch system replays into fold dependencies. Stamping entries
+* with a creation generation and bumping a per-path generation on each edit turns the
+* recorded read-set into a validity check, evaluated lazily at lookup.
+*
+* The trust base is unchanged. If a cross-file read were missing from `dependencies`, the
+* fold's watch edges would already be missing it, and editing that file would fail to
+* re-transform its consumers today — the recorded read-set is load-bearing for invalidation
+* breadth before it is for cache validity.
+*
+* An entry's *own* file needs no record: reloading or overwriting a file re-parses it, which
+* retires every node previously taken from it, and a retired node can never be a lookup key
+* again. Only cross-file reads can go stale while the key survives, and those are exactly
+* what the capture records.
+*
+* File-tree changes are not handled here at all: a created or deleted file can change what a
+* specifier *resolves to* without any recorded path's content moving, so those events keep
+* clearing the caches outright, exactly as before.
+*/
+let dependencyGeneration = 1;
+const invalidatedAt = /* @__PURE__ */ new Map();
+/** Mark one edited file's content stale for every cache entry that recorded reading it. */
+const invalidateDependencyPath = (filePath) => {
+	dependencyGeneration++;
+	invalidatedAt.set(filePath.replaceAll("\\", "/"), dependencyGeneration);
+};
+/**
 * Attribute one resolved local module to every cache computation currently enclosing it.
 *
 * Paths, rather than SourceFile objects, are the replay payload. A source replacement may
@@ -341,6 +372,7 @@ const beginDependencyCapture = (ctx) => {
 			return {
 				dependencies: frame.dependencies ? [...frame.dependencies].sort() : EMPTY_DEPENDENCIES,
 				resolveModule: ctx.resolveModule,
+				generation: dependencyGeneration,
 				value
 			};
 		},
@@ -358,6 +390,10 @@ const beginDependencyCapture = (ctx) => {
 */
 const replayDependencyCache = (entry, ctx) => {
 	if (entry.resolveModule !== ctx.resolveModule) return { hit: false };
+	for (const dependency of entry.dependencies) {
+		const at = invalidatedAt.get(dependency);
+		if (at !== void 0 && at > entry.generation) return { hit: false };
+	}
 	for (const dependency of entry.dependencies) recordModuleDependency(ctx, dependency);
 	return {
 		hit: true,
@@ -1248,6 +1284,7 @@ const maybeDefinitionValue = (def, stack, ctx) => {
 	}
 };
 const getExportedVarDeclarationWithName = (varName, sourceFile, stack, ctx, visited = /* @__PURE__ */ new Set()) => {
+	ctx.recordExportRead?.(sourceFile.getFilePath(), varName);
 	const key = `${sourceFile.getFilePath()}:${varName}`;
 	if (visited.has(key)) return;
 	visited.add(key);
@@ -2211,6 +2248,8 @@ exports.extractJsxAttribute = extractJsxAttribute;
 exports.extractJsxElementProps = extractJsxElementProps;
 exports.extractJsxSpreadAttributeValues = extractJsxSpreadAttributeValues;
 exports.findIdentifierValueDeclaration = findIdentifierValueDeclaration;
+exports.getExportedVarDeclarationWithName = getExportedVarDeclarationWithName;
+exports.invalidateDependencyPath = invalidateDependencyPath;
 exports.isBoxNode = isBoxNode;
 exports.maybeBoxNode = maybeBoxNode;
 exports.maybeIdentifierValue = maybeIdentifierValue;

package/dist/index.d.cts

@@ -196,6 +196,8 @@ interface BoxContext {
   resolveModule?: ResolveModule;
   /** @internal Receives local source paths crossed by this exact extraction context. */
   recordDependency?: (filePath: string) => void;
+  /** @internal Receives every `(module, exportedName)` a cross-file value resolution visited. */
+  recordExportRead?: (filePath: string, exportedName: string) => void;
   getEvaluateOptions?: (node: Expression, stack: Node[]) => Omit<EvaluateOptions, 'node' | 'policy'> | void;
   canEval?: (node: Expression, stack: Node[]) => boolean;
   tokens?: {
@@ -307,6 +309,20 @@ declare const extractJsxElementProps: (node: JsxOpeningElement | JsxSelfClosingE
 declare const clearBoxNodeCache: () => void;
 type MaybeBoxNodeReturn = BoxNode | undefined;
 declare function maybeBoxNode(node: Node, stack: Node[], ctx: BoxContext, matchProp?: (prop: MatchFnPropArgs) => boolean): MaybeBoxNodeReturn;
+declare const getExportedVarDeclarationWithName: (varName: string, sourceFile: SourceFile, stack: Node[], ctx: BoxContext,
+/**
+ * The `(file, name)` pairs already searched, so a cycle of re-exporting files
+ * terminates. Re-exports can form one — including a barrel that re-exports
+ * itself — and a name that never resolves inside the cycle would otherwise walk
+ * it forever. `export *` is the worst case, since it forwards every name.
+ *
+ * Keyed on the pair, not the file: a renaming re-export changes the name being
+ * searched from one hop to the next, so the same file can legitimately be visited
+ * for two different names. Keying on the file alone would truncate the second
+ * search and lose a value that is genuinely reachable.
+ */
+
+visited?: Set<string>) => VariableDeclaration | undefined;
 declare const maybeIdentifierValue: (identifier: Identifier, _stack: Node[], ctx: BoxContext) => BoxNode;
 //#endregion
 //#region src/jsx-spread-attribute.d.ts
@@ -316,6 +332,10 @@ declare const extractJsxSpreadAttributeValues: (node: JsxSpreadAttribute, ctx: B
 //#region src/utils.d.ts
 declare const unwrapExpression: (node: Node) => Node;
 //#endregion
+//#region src/dependency-cache.d.ts
+/** Mark one edited file's content stale for every cache entry that recorded reading it. */
+declare const invalidateDependencyPath: (filePath: string) => void;
+//#endregion
 //#region src/unbox.d.ts
 type BoxNodeType = BoxNode | BoxNode[] | undefined;
 type CacheMap = WeakMap<BoxNode, Unboxed>;
@@ -335,4 +355,4 @@ interface Unboxed {
 }
 declare const unbox: (node: BoxNodeType, ctx?: Pick<UnboxContext, "cache">) => Unboxed;
 //#endregion
-export { type BoxContext, type BoxNode, BoxNodeArray, BoxNodeConditional, BoxNodeEmptyInitializer, BoxNodeLiteral, BoxNodeMap, BoxNodeObject, BoxNodeUnresolvable, type EvaluateOptions, type ExtractOptions, type ExtractResultByName, type ExtractResultItem, type ExtractedComponentInstance, type ExtractedComponentResult, type ExtractedFunctionInstance, type ExtractedFunctionResult, type NodeRange, type PrimitiveType, type ResolveModule, type Unboxed, box, clearBoxNodeCache, extract, extractCallExpressionArguments, extractJsxAttribute, extractJsxElementProps, extractJsxSpreadAttributeValues, findIdentifierValueDeclaration, isBoxNode, maybeBoxNode, maybeIdentifierValue, unbox, unwrapExpression };
+export { type BoxContext, type BoxNode, BoxNodeArray, BoxNodeConditional, BoxNodeEmptyInitializer, BoxNodeLiteral, BoxNodeMap, BoxNodeObject, BoxNodeUnresolvable, type EvaluateOptions, type ExtractOptions, type ExtractResultByName, type ExtractResultItem, type ExtractedComponentInstance, type ExtractedComponentResult, type ExtractedFunctionInstance, type ExtractedFunctionResult, type NodeRange, type PrimitiveType, type ResolveModule, type Unboxed, box, clearBoxNodeCache, extract, extractCallExpressionArguments, extractJsxAttribute, extractJsxElementProps, extractJsxSpreadAttributeValues, findIdentifierValueDeclaration, getExportedVarDeclarationWithName, invalidateDependencyPath, isBoxNode, maybeBoxNode, maybeIdentifierValue, unbox, unwrapExpression };

package/dist/index.d.mts

@@ -196,6 +196,8 @@ interface BoxContext {
   resolveModule?: ResolveModule;
   /** @internal Receives local source paths crossed by this exact extraction context. */
   recordDependency?: (filePath: string) => void;
+  /** @internal Receives every `(module, exportedName)` a cross-file value resolution visited. */
+  recordExportRead?: (filePath: string, exportedName: string) => void;
   getEvaluateOptions?: (node: Expression, stack: Node[]) => Omit<EvaluateOptions, 'node' | 'policy'> | void;
   canEval?: (node: Expression, stack: Node[]) => boolean;
   tokens?: {
@@ -307,6 +309,20 @@ declare const extractJsxElementProps: (node: JsxOpeningElement | JsxSelfClosingE
 declare const clearBoxNodeCache: () => void;
 type MaybeBoxNodeReturn = BoxNode | undefined;
 declare function maybeBoxNode(node: Node, stack: Node[], ctx: BoxContext, matchProp?: (prop: MatchFnPropArgs) => boolean): MaybeBoxNodeReturn;
+declare const getExportedVarDeclarationWithName: (varName: string, sourceFile: SourceFile, stack: Node[], ctx: BoxContext,
+/**
+ * The `(file, name)` pairs already searched, so a cycle of re-exporting files
+ * terminates. Re-exports can form one — including a barrel that re-exports
+ * itself — and a name that never resolves inside the cycle would otherwise walk
+ * it forever. `export *` is the worst case, since it forwards every name.
+ *
+ * Keyed on the pair, not the file: a renaming re-export changes the name being
+ * searched from one hop to the next, so the same file can legitimately be visited
+ * for two different names. Keying on the file alone would truncate the second
+ * search and lose a value that is genuinely reachable.
+ */
+
+visited?: Set<string>) => VariableDeclaration | undefined;
 declare const maybeIdentifierValue: (identifier: Identifier, _stack: Node[], ctx: BoxContext) => BoxNode;
 //#endregion
 //#region src/jsx-spread-attribute.d.ts
@@ -316,6 +332,10 @@ declare const extractJsxSpreadAttributeValues: (node: JsxSpreadAttribute, ctx: B
 //#region src/utils.d.ts
 declare const unwrapExpression: (node: Node) => Node;
 //#endregion
+//#region src/dependency-cache.d.ts
+/** Mark one edited file's content stale for every cache entry that recorded reading it. */
+declare const invalidateDependencyPath: (filePath: string) => void;
+//#endregion
 //#region src/unbox.d.ts
 type BoxNodeType = BoxNode | BoxNode[] | undefined;
 type CacheMap = WeakMap<BoxNode, Unboxed>;
@@ -335,4 +355,4 @@ interface Unboxed {
 }
 declare const unbox: (node: BoxNodeType, ctx?: Pick<UnboxContext, "cache">) => Unboxed;
 //#endregion
-export { type BoxContext, type BoxNode, BoxNodeArray, BoxNodeConditional, BoxNodeEmptyInitializer, BoxNodeLiteral, BoxNodeMap, BoxNodeObject, BoxNodeUnresolvable, type EvaluateOptions, type ExtractOptions, type ExtractResultByName, type ExtractResultItem, type ExtractedComponentInstance, type ExtractedComponentResult, type ExtractedFunctionInstance, type ExtractedFunctionResult, type NodeRange, type PrimitiveType, type ResolveModule, type Unboxed, box, clearBoxNodeCache, extract, extractCallExpressionArguments, extractJsxAttribute, extractJsxElementProps, extractJsxSpreadAttributeValues, findIdentifierValueDeclaration, isBoxNode, maybeBoxNode, maybeIdentifierValue, unbox, unwrapExpression };
+export { type BoxContext, type BoxNode, BoxNodeArray, BoxNodeConditional, BoxNodeEmptyInitializer, BoxNodeLiteral, BoxNodeMap, BoxNodeObject, BoxNodeUnresolvable, type EvaluateOptions, type ExtractOptions, type ExtractResultByName, type ExtractResultItem, type ExtractedComponentInstance, type ExtractedComponentResult, type ExtractedFunctionInstance, type ExtractedFunctionResult, type NodeRange, type PrimitiveType, type ResolveModule, type Unboxed, box, clearBoxNodeCache, extract, extractCallExpressionArguments, extractJsxAttribute, extractJsxElementProps, extractJsxSpreadAttributeValues, findIdentifierValueDeclaration, getExportedVarDeclarationWithName, invalidateDependencyPath, isBoxNode, maybeBoxNode, maybeIdentifierValue, unbox, unwrapExpression };

package/dist/index.mjs

@@ -310,6 +310,37 @@ const EMPTY_DEPENDENCIES = [];
 /** One synchronous extraction context owns one nested capture stack. */
 const trackers = /* @__PURE__ */ new WeakMap();
 /**
+* Per-path staleness, so an edit invalidates exactly the entries that read the edited file.
+*
+* The caches these entries live in are `WeakMap`s keyed on AST nodes — deliberately, so a
+* retired tree releases its memory — which means they cannot be swept. What they *can* do is
+* refuse a hit: every entry already records the module paths its computation read, because
+* that same record is what the watch system replays into fold dependencies. Stamping entries
+* with a creation generation and bumping a per-path generation on each edit turns the
+* recorded read-set into a validity check, evaluated lazily at lookup.
+*
+* The trust base is unchanged. If a cross-file read were missing from `dependencies`, the
+* fold's watch edges would already be missing it, and editing that file would fail to
+* re-transform its consumers today — the recorded read-set is load-bearing for invalidation
+* breadth before it is for cache validity.
+*
+* An entry's *own* file needs no record: reloading or overwriting a file re-parses it, which
+* retires every node previously taken from it, and a retired node can never be a lookup key
+* again. Only cross-file reads can go stale while the key survives, and those are exactly
+* what the capture records.
+*
+* File-tree changes are not handled here at all: a created or deleted file can change what a
+* specifier *resolves to* without any recorded path's content moving, so those events keep
+* clearing the caches outright, exactly as before.
+*/
+let dependencyGeneration = 1;
+const invalidatedAt = /* @__PURE__ */ new Map();
+/** Mark one edited file's content stale for every cache entry that recorded reading it. */
+const invalidateDependencyPath = (filePath) => {
+	dependencyGeneration++;
+	invalidatedAt.set(filePath.replaceAll("\\", "/"), dependencyGeneration);
+};
+/**
 * Attribute one resolved local module to every cache computation currently enclosing it.
 *
 * Paths, rather than SourceFile objects, are the replay payload. A source replacement may
@@ -340,6 +371,7 @@ const beginDependencyCapture = (ctx) => {
 			return {
 				dependencies: frame.dependencies ? [...frame.dependencies].sort() : EMPTY_DEPENDENCIES,
 				resolveModule: ctx.resolveModule,
+				generation: dependencyGeneration,
 				value
 			};
 		},
@@ -357,6 +389,10 @@ const beginDependencyCapture = (ctx) => {
 */
 const replayDependencyCache = (entry, ctx) => {
 	if (entry.resolveModule !== ctx.resolveModule) return { hit: false };
+	for (const dependency of entry.dependencies) {
+		const at = invalidatedAt.get(dependency);
+		if (at !== void 0 && at > entry.generation) return { hit: false };
+	}
 	for (const dependency of entry.dependencies) recordModuleDependency(ctx, dependency);
 	return {
 		hit: true,
@@ -1247,6 +1283,7 @@ const maybeDefinitionValue = (def, stack, ctx) => {
 	}
 };
 const getExportedVarDeclarationWithName = (varName, sourceFile, stack, ctx, visited = /* @__PURE__ */ new Set()) => {
+	ctx.recordExportRead?.(sourceFile.getFilePath(), varName);
 	const key = `${sourceFile.getFilePath()}:${varName}`;
 	if (visited.has(key)) return;
 	visited.add(key);
@@ -2195,4 +2232,4 @@ const unbox = (node, ctx) => {
 	return result;
 };
 //#endregion
-export { BoxNodeArray, BoxNodeConditional, BoxNodeEmptyInitializer, BoxNodeLiteral, BoxNodeMap, BoxNodeObject, BoxNodeUnresolvable, box, clearBoxNodeCache, extract, extractCallExpressionArguments, extractJsxAttribute, extractJsxElementProps, extractJsxSpreadAttributeValues, findIdentifierValueDeclaration, isBoxNode, maybeBoxNode, maybeIdentifierValue, unbox, unwrapExpression };
+export { BoxNodeArray, BoxNodeConditional, BoxNodeEmptyInitializer, BoxNodeLiteral, BoxNodeMap, BoxNodeObject, BoxNodeUnresolvable, box, clearBoxNodeCache, extract, extractCallExpressionArguments, extractJsxAttribute, extractJsxElementProps, extractJsxSpreadAttributeValues, findIdentifierValueDeclaration, getExportedVarDeclarationWithName, invalidateDependencyPath, isBoxNode, maybeBoxNode, maybeIdentifierValue, unbox, unwrapExpression };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@bamboocss/extractor",
-  "version": "1.46.1",
+  "version": "1.46.2",
   "description": "The css extractor for css bamboo",
   "homepage": "https://bamboocss.com",
   "license": "MIT",
@@ -35,7 +35,7 @@
   "dependencies": {
     "ts-evaluator": "2.0.0",
     "ts-morph": "28.0.0",
-    "@bamboocss/shared": "1.46.1"
+    "@bamboocss/shared": "1.46.2"
   },
   "scripts": {
     "build": "tsdown src/index.ts --format=cjs,esm --shims --dts",