@shapeshift-labs/frontier-lang-compiler 0.2.151 → 0.2.153

package/README.md

@@ -600,6 +600,7 @@ Recent residual closures represented in the matrix shards:
 - Module/export/import graph now records no-substitution template dynamic imports and parser-backed CommonJS helper `require` templates as static module edges while keeping expression templates proof-required.
 - Module/export/import graph now records no-substitution/static template host dependencies for `new URL`, workers, resolver calls, and `importScripts` while leaving expression templates unsupported.
 - Module/export/import graph now emits dynamic host dependency targets as `<host-dependency>` edges with expression hashes and proof-required unresolved evidence instead of omitting them.
+- CSS Modules graph records now infer local class export evidence from `.module.css` source via `@shapeshift-labs/frontier-lang-css`, while generated class-name maps, bundler transform identity, source-map proof, dynamic member access, writes, and helper-call equivalence remain fail-closed.
 - Type/public API graph now includes bounded TypeChecker assignability oracle proof for simple public type aliases while keeping semantic/runtime equivalence claims false.
 - JSX/TSX graph now records same-file and project-local named/default/barrel-import static component prop passthrough as `jsx-render-component-prop-flow-static-passthrough-evidence` and blocks dynamic callsite values with `jsx-render-component-prop-flow-dynamic-value-unsupported`.
 - JSX/TSX graph now records static `memo` / `forwardRef` / `observer` / `React.lazy` component wrapper chains as component-wrapper render-risk evidence while keeping render, lazy-load, and runtime equivalence explicitly unproved.

package/dist/declarations/native-project-css-modules.d.ts

@@ -17,6 +17,9 @@ export interface NativeProjectSymbolGraphCssModuleImportBindingRecord {
   readonly cssModuleSourceHash?: string;
   readonly cssModuleHash?: string;
   readonly cssModuleEvidenceStatus?: 'supplied' | 'unproved' | string;
+  readonly cssModuleEvidenceSource?: 'supplied' | 'inferred-source' | string;
+  readonly cssModuleExportNames?: readonly string[];
+  readonly cssModuleExportNamesHash?: string;
   readonly generatedClassNameMapHash?: string;
   readonly jsTsUseSiteGraphHash?: string;
   readonly cssModuleCompositionGraphHash?: string;
@@ -81,6 +84,7 @@ export interface NativeProjectSymbolGraphCssModuleUseSiteGraphRecord {
   readonly useSiteCount: number;
   readonly blockerCount: number;
   readonly generatedClassNameMapHash?: string;
+  readonly cssModuleExportNamesHash?: string;
   readonly bundlerTransformHash?: string;
   readonly sourceMapProofHash?: string;
   readonly status: 'ready' | 'blocked' | string;

package/dist/internal/index-impl/projectSymbolGraphCssModuleRecords.js

@@ -48,6 +48,7 @@ function cssModuleImportBindingRecord(edge, index, documentsById, cssSourcesByPa
     cssModuleSourceHash: document?.sourceHash ?? cssSource?.sourceHash,
     cssModuleHash,
     cssModuleEvidenceStatus: cssModuleEvidence ? 'supplied' : 'unproved',
+    cssModuleEvidenceSource: cssSource?.cssModuleEvidenceSource,
     cssModuleExportNames: cssModuleExportNames.length ? cssModuleExportNames : undefined,
     cssModuleExportNamesHash: cssModuleExportNames.length ? hashSemanticValue(cssModuleExportNames) : undefined,
     generatedClassNameMapHash: cssModuleEvidence?.generatedClassNameMapHash ?? cssModuleGeneratedClassNameMapHash(cssModuleEvidence),
@@ -224,12 +225,19 @@ function cssModuleEvidenceExportNames(evidence) {
     ...arrayValue(evidence?.exportNames),
     ...arrayValue(evidence?.localClassNames),
     ...arrayValue(evidence?.classNames),
+    ...cssModuleExportRecordNames(evidence?.exports),
     ...objectKeys(evidence?.exports),
     ...objectKeys(evidence?.generatedClassNameMap),
     ...objectKeys(evidence?.classMap)
   ]);
 }
 
+function cssModuleExportRecordNames(value) {
+  return Array.isArray(value)
+    ? value.map((entry) => entry?.name ?? entry?.localName).filter(Boolean)
+    : [];
+}
+
 function cssModuleGeneratedClassNameMapHash(evidence) {
   const map = objectValue(evidence?.generatedClassNameMap) ?? objectValue(evidence?.classMap) ?? objectValue(evidence?.exports);
   return map ? hashSemanticValue({ kind: 'frontier.lang.cssModuleGeneratedClassNameMap.v1', map }) : undefined;

package/dist/internal/index-impl/projectSymbolGraphCssModuleUtils.js

@@ -1,4 +1,5 @@
 import { lineColumnForOffset } from './lineColumnForOffset.js';
+import { parseCssSemanticSheet } from '@shapeshift-labs/frontier-lang-css';
 
 const CssModulePathPattern = /\.module\.css(?:[?#].*)?$/i;
 
@@ -8,22 +9,48 @@ function cssModuleSourceRecord(imported) {
   const metadata = objectValue(imported?.metadata);
   const nativeMetadata = objectValue(imported?.nativeSource?.metadata);
   const astMetadata = objectValue(imported?.nativeAst?.metadata);
+  const suppliedEvidence = firstObject(
+    metadata.cssModuleEvidence,
+    metadata.cssModules,
+    nativeMetadata.cssModuleEvidence,
+    nativeMetadata.cssModules,
+    astMetadata.cssModuleEvidence,
+    astMetadata.cssModules
+  );
+  const sourceText = nativeImportSourceText(imported);
+  const inferredEvidence = suppliedEvidence ? undefined : inferCssModuleEvidence(sourceText, sourcePath, metadata, nativeMetadata, astMetadata);
   return compactRecord({
     sourcePath,
     sourceHash: imported?.nativeSource?.sourceHash ?? imported?.metadata?.sourceHash,
-    cssModuleEvidence: firstObject(
-      metadata.cssModuleEvidence,
-      metadata.cssModules,
-      nativeMetadata.cssModuleEvidence,
-      nativeMetadata.cssModules,
-      astMetadata.cssModuleEvidence,
-      astMetadata.cssModules
-    ),
+    cssModuleEvidence: suppliedEvidence ?? inferredEvidence,
+    cssModuleEvidenceSource: suppliedEvidence ? 'supplied' : inferredEvidence ? 'inferred-source' : undefined,
     bundlerTransformHash: firstString(metadata.bundlerTransformHash, nativeMetadata.bundlerTransformHash, astMetadata.bundlerTransformHash),
     sourceMapProofHash: firstString(metadata.sourceMapProofHash, nativeMetadata.sourceMapProofHash, astMetadata.sourceMapProofHash)
   });
 }
 
+function inferCssModuleEvidence(sourceText, sourcePath, ...metadataValues) {
+  if (typeof sourceText !== 'string') return undefined;
+  const options = cssModuleEvidenceOptions(sourcePath, metadataValues);
+  try {
+    return parseCssSemanticSheet(sourceText, options).cssModules;
+  } catch {
+    return undefined;
+  }
+}
+
+function cssModuleEvidenceOptions(sourcePath, metadataValues) {
+  return {
+    sourcePath,
+    cssModules: true,
+    generatedClassNameMap: firstObject(...metadataValues.map((metadata) => metadata.generatedClassNameMap)),
+    generatedClassNameMapHash: firstString(...metadataValues.map((metadata) => metadata.generatedClassNameMapHash)),
+    jsTsUseSiteGraphHash: firstString(...metadataValues.map((metadata) => metadata.jsTsUseSiteGraphHash)),
+    cssModuleCompositionGraphHash: firstString(...metadataValues.map((metadata) => metadata.cssModuleCompositionGraphHash)),
+    icssGraphHash: firstString(...metadataValues.map((metadata) => metadata.icssGraphHash))
+  };
+}
+
 function nativeImportSourceText(imported) {
   return imported?.metadata?.sourcePreservation?.sourceText
     ?? imported?.nativeSource?.metadata?.sourcePreservation?.sourceText

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-compiler",
-  "version": "0.2.151",
+  "version": "0.2.153",
   "description": "Compiler facade for Frontier Lang source documents and language projection adapters.",
   "type": "module",
   "main": "./dist/index.js",
@@ -63,6 +63,7 @@
   "dependencies": {
     "@shapeshift-labs/frontier-lang-c": "0.2.9",
     "@shapeshift-labs/frontier-lang-checker": "0.3.8",
+    "@shapeshift-labs/frontier-lang-css": "^0.1.4",
     "@shapeshift-labs/frontier-lang-javascript": "0.2.9",
     "@shapeshift-labs/frontier-lang-kernel": "0.3.12",
     "@shapeshift-labs/frontier-lang-parser": "0.3.8",