@shapeshift-labs/frontier-lang-compiler 0.2.154 → 0.2.156

package/dist/declarations/js-ts-project-merge-confidence.d.ts

@@ -34,6 +34,10 @@ export interface JsTsProjectSafeMergeMissingEvidence {
   readonly semanticEquivalenceClaim: false;
 }
 
+export type JsTsProjectSafeMergeAdmissionMatrixSurface = Record<string, unknown> & { readonly surface: string; readonly proofStatuses: Readonly<Record<string, string>>; readonly missingRouteIds?: readonly string[]; readonly nextMissingRouteId?: string };
+
+export type JsTsProjectSafeMergeAdmissionMatrixAudit = Record<string, unknown> & { readonly kind: 'frontier.lang.jsTsProjectMergeAdmissionMatrixAudit'; readonly surfaces: readonly JsTsProjectSafeMergeAdmissionMatrixSurface[] };
+
 export interface JsTsProjectSafeMergeConfidenceSummary {
   readonly kind: 'frontier.lang.jsTsProjectMergeConfidence';
   readonly version: 1;
@@ -59,6 +63,7 @@ export interface JsTsProjectSafeMergeConfidenceSummary {
   readonly missingEvidence: readonly JsTsProjectSafeMergeMissingEvidence[];
   readonly missingEvidenceMatrix: JsTsProjectSafeMergeMissingEvidenceTelemetry;
   readonly routingCalibration: Record<string, unknown>;
+  readonly admissionMatrixAudit: JsTsProjectSafeMergeAdmissionMatrixAudit;
   readonly dimensions: Readonly<Record<string, string>>;
   readonly signals: Readonly<Record<string, number>>;
 }

package/dist/declarations/js-ts-safe-project-merge.d.ts

@@ -51,14 +51,14 @@ export interface JsTsProjectSafeMergeFileInput {
 }
 
 export type JsTsProjectSafeMergeFileMap =
-  | Readonly<Record<string, string | { readonly sourceText?: string; readonly text?: string; readonly parserTriviaEvidence?: ParserTriviaEvidenceInput }>>
+  | Readonly<Record<string,string | { readonly sourceText?: string; readonly text?: string; readonly parserTriviaEvidence?: ParserTriviaEvidenceInput }>>
   | ReadonlyMap<string, string | { readonly sourceText?: string; readonly text?: string; readonly parserTriviaEvidence?: ParserTriviaEvidenceInput }>
   | readonly { readonly sourcePath?: string; readonly path?: string; readonly sourceText?: string; readonly text?: string; readonly parserTriviaEvidence?: ParserTriviaEvidenceInput }[];
 
 export type JsTsProjectSafeMergeOutputProjectImports =
   | readonly NativeSourceImportResult[]
   | ReadonlyMap<string, NativeSourceImportResult>
-  | Readonly<Record<string, NativeSourceImportResult>>;
+  | Readonly<Record<string,NativeSourceImportResult>>;
 
 export type JsTsProjectGraphStageName = 'base' | 'worker' | 'head' | 'output' | string;
 
@@ -133,8 +133,8 @@ export interface JsTsProjectSafeMergeInput {
   readonly headChangeSetId?: string;
   readonly policy?: JsTsSafeMemberMergePolicy | readonly JsTsSafeMemberMergePolicyRegion[];
   readonly mergePolicy?: JsTsSafeMemberMergePolicy | readonly JsTsSafeMemberMergePolicyRegion[];
-  readonly policyByPath?: Readonly<Record<string, JsTsSafeMemberMergePolicy | readonly JsTsSafeMemberMergePolicyRegion[]>>;
-  readonly mergePolicyByPath?: Readonly<Record<string, JsTsSafeMemberMergePolicy | readonly JsTsSafeMemberMergePolicyRegion[]>>;
+  readonly policyByPath?: Readonly<Record<string,JsTsSafeMemberMergePolicy | readonly JsTsSafeMemberMergePolicyRegion[]>>;
+  readonly mergePolicyByPath?: Readonly<Record<string,JsTsSafeMemberMergePolicy | readonly JsTsSafeMemberMergePolicyRegion[]>>;
   readonly requireSourceLedgerSpans?: boolean;
   readonly sourceLedgers?: Record<string, unknown>;
   readonly sourceLedgersByPath?: Record<string, Record<string, unknown>>;
@@ -244,13 +244,13 @@ export interface JsTsProjectGraphDeltaSummary {
   readonly reExportIdentityConflicts: number; readonly moduleDeclarationShapeConflicts: number; readonly exportAssignmentShapeConflicts: number;
   readonly importAttributeConflicts: number;
   readonly importTargetConflicts: number;
-  readonly stageSummaries: Readonly<Record<string, JsTsProjectGraphDeltaStageSummary>>;
+  readonly stageSummaries: Readonly<Record<string,JsTsProjectGraphDeltaStageSummary>>;
 }
 
 export interface JsTsProjectGraphDelta {
   readonly kind: 'frontier.lang.jsTsProjectGraphDelta';
   readonly version: 1;
-  readonly stages: Readonly<Record<string, JsTsProjectGraphDeltaStage>>;
+  readonly stages: Readonly<Record<string,JsTsProjectGraphDeltaStage>>;
   readonly summary: JsTsProjectGraphDeltaSummary;
 }
 
@@ -279,7 +279,7 @@ export interface JsTsProjectSafeMergeResult {
     readonly outputFiles: number;
     readonly projectGraphConflicts: number;
     readonly projectGraphDeltaEvidenceIncluded: number;
-    readonly outputProjectGraphConflicts: number;
+    outputProjectGraphConflicts:number; projectGraphCssModuleUseSiteConflicts:number;
     readonly projectGraphDeltaConflicts: number;
     readonly projectGraphLimitConflicts: number;
     readonly projectGraphPublicContractConflicts: number;
@@ -297,11 +297,11 @@ export interface JsTsProjectSafeMergeResult {
     readonly outputDeclarationConflicts: number;
     readonly outputDeclarationDiagnosticErrors: number;
     readonly outputQualityGates: number; readonly outputQualityGateConflicts: number;
-    readonly proofEvidenceRecords: number; readonly proofEvidencePassed: number; readonly proofEvidenceFailed: number; readonly proofEvidenceSkipped: number; readonly proofEvidenceUnknown: number; readonly proofEvidenceMissing: number; readonly proofEvidenceMissingLevels: readonly JsTsProjectMergeProofLevel[]; readonly semanticEquivalenceLevel: 'semantic-equivalence-unknown' | string; readonly evidenceRecords: number; readonly passedEvidenceRecords: number; readonly failedEvidenceRecords: number; readonly unknownEvidenceRecords: number; readonly confidenceScore: number; readonly confidenceLevel: string; readonly confidenceDimensions: Readonly<Record<string, string>>; readonly missingEvidenceMatrix: JsTsProjectSafeMergeMissingEvidenceTelemetry; readonly missingSignals: number; readonly nextMissingEvidenceCode?: string; readonly nextMissingEvidenceKind?: string; readonly nextMissingEvidenceScope?: string; readonly nextMissingProofLevel?: string; readonly nextMissingEvidenceAction?: string; readonly nextMissingEvidenceRouteId?: string; readonly nextMissingEvidenceRouteLane?: string; readonly nextMissingEvidenceRouteNext?: string;
+    readonly proofEvidenceRecords: number; readonly proofEvidencePassed: number; readonly proofEvidenceFailed: number; readonly proofEvidenceSkipped: number; readonly proofEvidenceUnknown: number; readonly proofEvidenceMissing: number; readonly proofEvidenceMissingLevels: readonly JsTsProjectMergeProofLevel[]; readonly semanticEquivalenceLevel: 'semantic-equivalence-unknown' | string; readonly evidenceRecords: number; readonly passedEvidenceRecords: number; readonly failedEvidenceRecords: number; readonly unknownEvidenceRecords: number; readonly confidenceScore: number; readonly confidenceLevel: string; readonly confidenceDimensions: Readonly<Record<string,string>>; readonly missingEvidenceMatrix: JsTsProjectSafeMergeMissingEvidenceTelemetry; readonly missingSignals: number; readonly nextMissingEvidenceCode?: string; readonly nextMissingEvidenceKind?: string; readonly nextMissingEvidenceScope?: string; readonly nextMissingProofLevel?: string; readonly nextMissingEvidenceAction?: string; readonly nextMissingEvidenceRouteId?: string; readonly nextMissingEvidenceRouteLane?: string; readonly nextMissingEvidenceRouteNext?: string;
     readonly projectMoveRenameClassifications: number; readonly projectFileMoveRenameClassifications: number; readonly projectSymbolMoveClassifications: number; readonly projectExportedSymbolMoveClassifications: number; readonly projectImportedSymbolMoveClassifications: number; readonly projectSymbolMoveAdmissions: number; readonly projectExportedSymbolMoveAdmissions: number; readonly projectImportedSymbolMoveAdmissions: number; readonly projectCrossFileSymbolRenameClassifications: number; readonly projectCrossFileSymbolRenameAdmissions: number;
     readonly projectSplitMergeClassifications: number; readonly projectModuleSplitClassifications: number; readonly projectModuleMergeClassifications: number; readonly projectClassSplitClassifications: number; readonly projectClassMergeClassifications: number; readonly projectSplitMergeAdmissions: number; readonly projectModuleSplitAdmissions: number; readonly projectModuleMergeAdmissions: number; readonly projectClassSplitAdmissions: number; readonly projectClassMergeAdmissions: number;
     readonly semanticArtifactFiles: number;
-    readonly operations: Readonly<Record<string, number>>;
+    readonly operations: Readonly<Record<string,number>>;
   };
   readonly metadata?: Record<string, unknown> & {
     readonly projectMoveRenameClassifications?: {

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

@@ -0,0 +1,84 @@
+import { readStaticMemberLiteral } from './staticMemberLiteral.js';
+import { escapeRegExp, isIdentifierChar } from './projectSymbolGraphCssModuleUtils.js';
+
+const IdentifierPattern = /^[A-Za-z_$][\w$]*$/;
+
+function cssModuleMemberAccess(sourceText, receiverEnd) {
+  let index = receiverEnd;
+  while (index < sourceText.length && /\s/.test(sourceText[index])) index += 1;
+  if (sourceText[index] === '?' && sourceText[index + 1] === '.') index += 2;
+  else if (sourceText[index] === '.') index += 1;
+  else if (sourceText[index] === '[') return cssModuleComputedAccess(sourceText, index);
+  else return undefined;
+  while (index < sourceText.length && /\s/.test(sourceText[index])) index += 1;
+  const match = /^[A-Za-z_$][\w$]*/.exec(sourceText.slice(index));
+  return match ? { accessKind: 'dot', memberName: match[0], end: index + match[0].length } : undefined;
+}
+
+function cssModuleComputedAccess(sourceText, open) {
+  const close = findMatchingBracket(sourceText, open);
+  if (close === -1) return { status: 'blocked', reasonCode: 'css-module-dynamic-member-access-unproved', end: open + 1 };
+  let index = open + 1;
+  while (index < close && /\s/.test(sourceText[index])) index += 1;
+  const literal = readStaticMemberLiteral(sourceText, index, close);
+  if (!literal || !IdentifierPattern.test(literal.value)) {
+    return { status: 'blocked', reasonCode: 'css-module-dynamic-member-access-unproved', end: close + 1, expressionText: sourceText.slice(open, close + 1) };
+  }
+  return { accessKind: literal.literalKind === 'static-template-literal' ? 'static-template' : 'static-bracket', memberName: literal.value, end: close + 1 };
+}
+
+function cssModuleStaticExpressionAccess(expressionText, localName) {
+  const value = String(expressionText ?? '').trim();
+  if (!value.startsWith(localName)) return undefined;
+  if (isIdentifierChar(value[localName.length])) return undefined;
+  const access = cssModuleMemberAccess(value, localName.length);
+  if (!access || access.status === 'blocked' || access.end !== value.length) return undefined;
+  return {
+    accessKind: access.accessKind,
+    memberName: access.memberName,
+    optional: /\?\./.test(value.slice(0, access.end))
+  };
+}
+
+function cssModuleExpressionHasCall(expressionText) {
+  const value = String(expressionText ?? '');
+  return /\?\.\s*\(/.test(value) || /\b[A-Za-z_$][\w$]*(?:\s*(?:\.|\?\.)\s*[A-Za-z_$][\w$]*)*\s*\(/.test(value);
+}
+
+function cssModuleExpressionHasBlockedAccess(expressionText, localName) {
+  const value = String(expressionText ?? '');
+  for (const occurrence of identifierOccurrences(value, localName)) {
+    const access = cssModuleMemberAccess(value, occurrence.end);
+    if (access?.status === 'blocked') return true;
+  }
+  return false;
+}
+
+function identifierOccurrences(sourceText, name) {
+  const result = [];
+  const pattern = new RegExp(`\\b${escapeRegExp(name)}\\b`, 'g');
+  for (const match of sourceText.matchAll(pattern)) {
+    const start = match.index;
+    const end = start + name.length;
+    if (isIdentifierChar(sourceText[start - 1]) || isIdentifierChar(sourceText[end])) continue;
+    result.push({ start, end });
+  }
+  return result;
+}
+
+function findMatchingBracket(sourceText, open) {
+  let depth = 0;
+  for (let index = open; index < sourceText.length; index += 1) {
+    if (sourceText[index] === '[') depth += 1;
+    else if (sourceText[index] === ']' && --depth === 0) return index;
+  }
+  return -1;
+}
+
+export {
+  cssModuleExpressionHasBlockedAccess,
+  cssModuleExpressionHasCall,
+  cssModuleMemberAccess,
+  cssModuleStaticExpressionAccess,
+  identifierOccurrences
+};

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

@@ -1,8 +1,6 @@
-import { readStaticMemberLiteral } from './staticMemberLiteral.js';
 import {
   bindingsForSourcePath,
   escapeRegExp,
-  isIdentifierChar,
   localKey,
   sourceSpanForRange
 } from './projectSymbolGraphCssModuleUtils.js';
@@ -11,8 +9,13 @@ import {
   cssModulePropBlocker,
   cssModuleUseSiteRecord
 } from './projectSymbolGraphCssModuleRecords.js';
-
-const IdentifierPattern = /^[A-Za-z_$][\w$]*$/;
+import {
+  cssModuleExpressionHasBlockedAccess,
+  cssModuleExpressionHasCall,
+  cssModuleMemberAccess,
+  cssModuleStaticExpressionAccess,
+  identifierOccurrences
+} from './projectSymbolGraphCssModuleMemberAccess.js';
 
 function cssModuleLexicalUseSites(importBindings, sourceTextsByPath) {
   const useSites = [];
@@ -99,13 +102,15 @@ function cssModuleJsxUseSites(bindingsByLocal, jsxPropRecords) {
     useSites.push(...cssModuleJsxStaticUseSites(sourceBindings, prop));
     const classNameBindings = bindingsForSourcePath(bindingsByLocal, prop.sourcePath);
     if (prop.propName !== 'className' || !classNameBindings.length) continue;
+    useSites.push(...cssModuleJsxStaticComputedUseSites(classNameBindings, prop));
+    useSites.push(...cssModuleJsxHelperUseSites(classNameBindings, prop));
     blockers.push(...cssModuleJsxBlockers(classNameBindings, prop));
   }
   return { useSites, blockers };
 }
 
 function cssModuleJsxStaticUseSites(sourceBindings, prop) {
-  if (prop.propName !== 'className' || prop.propValueKind !== 'reference') return [];
+  if (prop.propName !== 'className' || (prop.propValueKind !== 'reference' && prop.propValueKind !== 'optional-reference')) return [];
   const referencePath = prop.propValueReferencePath ?? [];
   if (referencePath.length < 2) return [];
   return sourceBindings.map((binding) => cssModuleUseSiteRecord(binding, {
@@ -117,43 +122,75 @@ function cssModuleJsxStaticUseSites(sourceBindings, prop) {
     sourcePath: prop.sourcePath,
     sourceHash: prop.sourceHash,
     sourceSpan: prop.sourceSpan,
-    jsxPropRecordId: prop.id
+    jsxPropRecordId: prop.id,
+    conditionalRuntimePresence: prop.propValueKind === 'optional-reference' || undefined
   }));
 }
 
-function cssModuleJsxBlockers(classNameBindings, prop) {
-  if (prop.propValueKind === 'string') {
-    return classNameBindings.map((binding) => cssModulePropBlocker(binding, prop, 'css-module-string-literal-classname-unproved'));
-  }
-  if (!prop.propValueDynamicBlockerReasonCode) return [];
+function cssModuleJsxStaticComputedUseSites(classNameBindings, prop) {
+  if (prop.propValueKind === 'reference' || prop.propValueKind === 'optional-reference') return [];
   const expressionText = prop.propValueExpressionText ?? prop.propValueDynamicText ?? '';
-  return classNameBindings
-    .filter((binding) => expressionText.includes(binding.localName))
-    .map((binding) => cssModulePropBlocker(binding, prop, jsxDynamicReason(prop.propValueDynamicBlockerReasonCode)));
+  return classNameBindings.flatMap((binding) => {
+    const access = cssModuleStaticExpressionAccess(expressionText, binding.localName);
+    if (!access) return [];
+    return [cssModuleUseSiteRecord(binding, {
+      useSiteKind: 'jsx-className',
+      accessKind: access.accessKind,
+      exportName: access.memberName,
+      receiverLocalName: binding.localName,
+      expressionText,
+      sourcePath: prop.sourcePath,
+      sourceHash: prop.sourceHash,
+      sourceSpan: prop.sourceSpan,
+      jsxPropRecordId: prop.id,
+      conditionalRuntimePresence: access.optional || undefined
+    })];
+  });
 }
 
-function cssModuleMemberAccess(sourceText, receiverEnd) {
-  let index = receiverEnd;
-  while (index < sourceText.length && /\s/.test(sourceText[index])) index += 1;
-  if (sourceText[index] === '?' && sourceText[index + 1] === '.') index += 2;
-  else if (sourceText[index] === '.') index += 1;
-  else if (sourceText[index] === '[') return cssModuleComputedAccess(sourceText, index);
-  else return undefined;
-  while (index < sourceText.length && /\s/.test(sourceText[index])) index += 1;
-  const match = /^[A-Za-z_$][\w$]*/.exec(sourceText.slice(index));
-  return match ? { accessKind: 'dot', memberName: match[0], end: index + match[0].length } : undefined;
+function cssModuleJsxHelperUseSites(classNameBindings, prop) {
+  const expressionText = prop.propValueExpressionText ?? prop.propValueDynamicText ?? '';
+  if (!cssModuleExpressionHasCall(expressionText)) return [];
+  const useSites = [];
+  for (const binding of classNameBindings) {
+    for (const occurrence of identifierOccurrences(expressionText, binding.localName)) {
+      const access = cssModuleMemberAccess(expressionText, occurrence.end);
+      if (!access || access.status === 'blocked') continue;
+      if (memberWriteOperation(expressionText, occurrence.start, access.end)) continue;
+      useSites.push(cssModuleUseSiteRecord(binding, {
+        useSiteKind: 'jsx-className-helper',
+        accessKind: access.accessKind,
+        exportName: access.memberName,
+        receiverLocalName: binding.localName,
+        expressionText: expressionText.slice(occurrence.start, access.end),
+        sourcePath: prop.sourcePath,
+        sourceHash: prop.sourceHash,
+        sourceSpan: prop.sourceSpan,
+        jsxPropRecordId: prop.id,
+        conditionalRuntimePresence: cssModuleHelperArgumentIsConditional(expressionText, occurrence.start) || undefined
+      }));
+    }
+  }
+  return useSites;
 }
 
-function cssModuleComputedAccess(sourceText, open) {
-  const close = findMatchingBracket(sourceText, open);
-  if (close === -1) return { status: 'blocked', reasonCode: 'css-module-dynamic-member-access-unproved', end: open + 1 };
-  let index = open + 1;
-  while (index < close && /\s/.test(sourceText[index])) index += 1;
-  const literal = readStaticMemberLiteral(sourceText, index, close);
-  if (!literal || !IdentifierPattern.test(literal.value)) {
-    return { status: 'blocked', reasonCode: 'css-module-dynamic-member-access-unproved', end: close + 1, expressionText: sourceText.slice(open, close + 1) };
+function cssModuleJsxBlockers(classNameBindings, prop) {
+  if (prop.propValueKind === 'string') {
+    return classNameBindings.map((binding) => cssModulePropBlocker(binding, prop, 'css-module-string-literal-classname-unproved'));
   }
-  return { accessKind: literal.literalKind === 'static-template-literal' ? 'static-template' : 'static-bracket', memberName: literal.value, end: close + 1 };
+  const expressionText = prop.propValueExpressionText ?? prop.propValueDynamicText ?? '';
+  if (!expressionText) return [];
+  return classNameBindings.flatMap((binding) => {
+    if (!expressionText.includes(binding.localName)) return [];
+    const reasonCodes = [];
+    if (cssModuleExpressionHasCall(expressionText)) reasonCodes.push('css-module-helper-call-unproved');
+    if (cssModuleExpressionHasBlockedAccess(expressionText, binding.localName)) reasonCodes.push('css-module-dynamic-member-access-unproved');
+    if (!reasonCodes.length && cssModuleStaticExpressionAccess(expressionText, binding.localName)) return [];
+    if (!reasonCodes.length && prop.propValueDynamicBlockerReasonCode) {
+      reasonCodes.push(jsxDynamicReason(prop.propValueDynamicBlockerReasonCode));
+    }
+    return [...new Set(reasonCodes)].map((reasonCode) => cssModulePropBlocker(binding, prop, reasonCode));
+  });
 }
 
 function memberWriteOperation(sourceText, start, end) {
@@ -183,15 +220,6 @@ function hasPrefixUpdateOperator(code, tokenStart) {
   return before < 0 || !/[A-Za-z0-9_$)\]]/.test(code[before]);
 }
 
-function findMatchingBracket(sourceText, open) {
-  let depth = 0;
-  for (let index = open; index < sourceText.length; index += 1) {
-    if (sourceText[index] === '[') depth += 1;
-    else if (sourceText[index] === ']' && --depth === 0) return index;
-  }
-  return -1;
-}
-
 function destructuringProperty(text) {
   const value = String(text ?? '').trim();
   const [rawName, rawLocal] = value.split(':').map((part) => part.trim());
@@ -221,16 +249,14 @@ function splitTopLevelComma(text, baseOffset) {
   return parts;
 }
 
-function identifierOccurrences(sourceText, name) {
-  const result = [];
-  const pattern = new RegExp(`\\b${escapeRegExp(name)}\\b`, 'g');
-  for (const match of sourceText.matchAll(pattern)) {
-    const start = match.index;
-    const end = start + name.length;
-    if (isIdentifierChar(sourceText[start - 1]) || isIdentifierChar(sourceText[end])) continue;
-    result.push({ start, end });
-  }
-  return result;
+function cssModuleHelperArgumentIsConditional(expressionText, occurrenceStart) {
+  const prefix = expressionText.slice(0, occurrenceStart);
+  const suffix = expressionText.slice(occurrenceStart);
+  const lastComma = prefix.lastIndexOf(',');
+  const argumentPrefix = prefix.slice(lastComma + 1);
+  const nextComma = suffix.indexOf(',');
+  const argumentText = `${argumentPrefix}${nextComma === -1 ? suffix : suffix.slice(0, nextComma)}`;
+  return /(?:&&|\|\||\?)/.test(argumentText);
 }
 
 function jsxDynamicReason(reasonCode) {

package/dist/js-ts-safe-project-merge-missing-evidence.js

@@ -10,6 +10,7 @@ const ProjectMergeMissingSignals = Object.freeze({
   semanticEditReplayProof: 'semantic-edit-replay-proof-not-produced',
   semanticEditReplayOutputMismatch: 'semantic-edit-replay-proof-output-mismatch',
   unsupportedJsTsSurface: 'unsupported-js-ts-surface-proof-not-available',
+  cssModuleUseSiteGraph: 'css-module-use-site-graph-proof-blocked',
   semanticEquivalenceProof: 'semantic-equivalence-proof-not-available'
 });
 
@@ -25,6 +26,7 @@ const ProjectMergeMissingEvidenceRoutes = Object.freeze({
   [ProjectMergeMissingSignals.semanticEditReplayProof]: route('produce-semantic-edit-replay-proof', 'source-files', 'run-semantic-edit-replay-diagnostics'),
   [ProjectMergeMissingSignals.semanticEditReplayOutputMismatch]: route('reject-semantic-edit-replay-output-mismatch', 'source-files', 'inspect-semantic-edit-replay-output-binding'),
   [ProjectMergeMissingSignals.unsupportedJsTsSurface]: route('prove-unsupported-js-ts-surface', 'semantic-proof', 'supply-unsupported-surface-evidence'),
+  [ProjectMergeMissingSignals.cssModuleUseSiteGraph]: route('prove-css-module-use-site-graph', 'layout-style-graph', 'supply-css-module-transform-and-use-site-proof'),
   [ProjectMergeMissingSignals.semanticEquivalenceProof]: route('external-semantic-equivalence-proof', 'semantic-proof', 'attach-external-equivalence-proof')
 });
 
@@ -37,6 +39,7 @@ const ProjectMergeAdmissionMatrixRows = Object.freeze([
   matrixRow('control-flow-effect-graph', 'partial', ['source-span-roundtrip', 'focused-test-passed'], [ProjectMergeMissingSignals.sourceSpanRoundtrip, ProjectMergeMissingSignals.semanticArtifacts, ProjectMergeMissingSignals.qualityGates, ProjectMergeMissingSignals.focusedTestGate]),
   matrixRow('generic-semantic-edit-admission', 'partial', ['source-span-roundtrip', 'semantic-edit-replay-clean'], [ProjectMergeMissingSignals.sourceSpanRoundtrip, ProjectMergeMissingSignals.semanticArtifacts, ProjectMergeMissingSignals.semanticEditReplayProof, ProjectMergeMissingSignals.semanticEditReplayOutputMismatch]),
   matrixRow('unsupported-js-ts-surface-coverage', 'partial', ['unsupported-js-ts-surface-review'], [ProjectMergeMissingSignals.unsupportedJsTsSurface]),
+  matrixRow('css-modules-use-site-graph', 'partial', ['css-module-use-site-graph', 'css-module-transform-proof', 'project-graph-evidence'], [ProjectMergeMissingSignals.cssModuleUseSiteGraph]),
   matrixRow('semantic-equivalence-proof', 'bounded-evidence', ['semantic-equivalence-external', 'semantic-equivalence-unknown'], [ProjectMergeMissingSignals.semanticEquivalenceProof]),
   matrixRow('cross-file-symbol-rename', 'partial', ['diagnostics-clean', 'declaration-output-stable', 'project-graph-delta'], [ProjectMergeMissingSignals.outputDiagnosticsGate, ProjectMergeMissingSignals.declarationGate, ProjectMergeMissingSignals.projectGraphEvidence, ProjectMergeMissingSignals.projectGraphDeltaEvidence]),
   matrixRow('symbol-move-between-files', 'partial', ['diagnostics-clean', 'declaration-output-stable', 'project-graph-delta'], [ProjectMergeMissingSignals.outputDiagnosticsGate, ProjectMergeMissingSignals.declarationGate, ProjectMergeMissingSignals.projectGraphEvidence, ProjectMergeMissingSignals.projectGraphDeltaEvidence]),
@@ -127,6 +130,11 @@ function missingEvidenceItems(summary, context = {}) {
     action: 'review',
     summary: 'Executable semantic equivalence is still unknown; keep semanticEquivalenceClaim false and require human or external proof for equivalence claims.'
   }));
+  if (summary.projectGraphCssModuleUseSiteConflicts) items.push(missingEvidenceItem({
+    code: ProjectMergeMissingSignals.cssModuleUseSiteGraph, scope: 'layout-style-graph', kind: 'css-module-use-site-proof', proofLevel: 'css-module-use-site-graph', action: 'review',
+    summary: `CSS Module use-site graph has ${summary.projectGraphCssModuleUseSiteConflicts} blocker(s); supply generated class maps, bundler transform identity, source-map proof, and narrow use-site evidence before admission.`,
+    suggestedInput: { includeOutputProjectSymbolGraph: true, cssModuleEvidence: true }
+  }));
   return items;
 }
 
@@ -240,7 +248,9 @@ function matrixProofStatus(level, summary, proofEvidence) {
   const levelStatuses = proofEvidence?.summary?.levelStatuses ?? summary.proofEvidenceLevelStatuses ?? {};
   if (levelStatuses[level]) return levelStatuses[level];
   if (level === 'project-graph-delta') return summary.projectGraphDeltaEvidenceIncluded ? (summary.projectGraphDeltaConflicts ? 'failed' : 'passed') : 'missing';
-  if (level === 'project-graph-evidence') return summary.projectGraphConflicts ? 'failed' : summary.projectGraphDeltaEvidenceIncluded ? 'passed' : 'missing';
+  if (level === 'project-graph-evidence') return summary.projectGraphConflicts ? 'failed' : summary.projectGraphEvidenceIncluded || summary.projectGraphDeltaEvidenceIncluded ? 'passed' : 'missing';
+  if (level === 'css-module-use-site-graph') return summary.projectGraphCssModuleUseSiteConflicts ? 'failed' : summary.projectGraphCssModuleUseSiteGraphs ? 'passed' : summary.projectGraphEvidenceIncluded ? 'absent' : 'missing';
+  if (level === 'css-module-transform-proof') return summary.projectGraphCssModuleUseSiteConflicts ? 'failed' : summary.projectGraphCssModuleImportBindings ? 'passed' : summary.projectGraphEvidenceIncluded ? 'absent' : 'missing';
   if (level === 'semantic-artifacts') return summary.semanticArtifactFiles ? 'present' : 'missing';
   return 'absent';
 }

package/dist/js-ts-safe-project-merge-summary.js

@@ -1,12 +1,12 @@
 import { compactMissingEvidenceTelemetry, confidenceRecommendedAction, createProjectMergeAdmissionMatrixAudit, missingEvidenceItems, missingEvidenceSignals, prioritizedMissingEvidence } from './js-ts-safe-project-merge-missing-evidence.js';
 import { failedEvidenceMissingItems, fileAdmissionEvidenceRecords } from './js-ts-safe-project-merge-evidence-routing.js'; import { compactProjectMergeRoutingCalibration } from './js-ts-safe-project-merge-routing-calibration.js';
 
-function projectSummary(files, graphConflicts = [], hasProjectGraphDelta = false, outputDiagnosticsGate = undefined, outputDeclarationGate = undefined, outputQualityGate = undefined, moveRenameSummary = undefined, proofEvidence = undefined, symbolRenameSummary = undefined, splitMergeSummary = undefined) {
+function projectSummary(files, graphConflicts = [], hasProjectGraphDelta = false, outputDiagnosticsGate = undefined, outputDeclarationGate = undefined, outputQualityGate = undefined, moveRenameSummary = undefined, proofEvidence = undefined, symbolRenameSummary = undefined, splitMergeSummary = undefined, projectSymbolGraph = undefined) {
   const byOperation = {};
   for (const file of files) byOperation[file.operation] = (byOperation[file.operation] ?? 0) + 1;
   const limitConflicts = graphConflicts.filter((conflict) => conflict.gateId === 'project-graph-limit');
   const deltaConflicts = graphConflicts.filter((conflict) => conflict.gateId === 'project-graph-delta' || (hasProjectGraphDelta && conflict.gateId === 'project-graph-limit'));
-  const outputConflicts = graphConflicts.filter((conflict) => conflict.gateId === 'project-symbol-graph' || (!hasProjectGraphDelta && conflict.gateId === 'project-graph-limit'));
+  const outputConflicts = graphConflicts.filter((conflict) => conflict.gateId === 'project-symbol-graph' || (!hasProjectGraphDelta && conflict.gateId === 'project-graph-limit')), cssModuleConflicts = graphConflicts.filter((conflict) => conflict.gateId === 'project-css-module-use-site-graph');
   const proofLevelStatuses = proofEvidence?.summary?.levelStatuses ?? {};
   return {
     files: files.length,
@@ -14,10 +14,10 @@ function projectSummary(files, graphConflicts = [], hasProjectGraphDelta = false
     blockedFiles: files.filter((file) => file.status === 'blocked').length,
     outputFiles: files.filter((file) => typeof file.outputSourceText === 'string').length,
     projectGraphConflicts: graphConflicts.length,
-    projectGraphDeltaEvidenceIncluded: hasProjectGraphDelta ? 1 : 0,
-    outputProjectGraphConflicts: outputConflicts.length,
-    projectGraphDeltaConflicts: deltaConflicts.length,
-    projectGraphLimitConflicts: limitConflicts.length,
+    projectGraphDeltaEvidenceIncluded: hasProjectGraphDelta ? 1 : 0, projectGraphEvidenceIncluded: projectSymbolGraph || hasProjectGraphDelta ? 1 : 0,
+    outputProjectGraphConflicts: outputConflicts.length, projectGraphCssModuleUseSiteConflicts: cssModuleConflicts.length,
+    projectGraphDeltaConflicts: deltaConflicts.length, projectGraphCssModuleUseSiteBlockers: projectSymbolGraph?.cssModuleUseSiteBlockers?.length ?? cssModuleConflicts.length,
+    projectGraphLimitConflicts: limitConflicts.length, projectGraphCssModuleUseSiteGraphs: projectSymbolGraph?.cssModuleUseSiteGraphs?.length ?? 0, projectGraphCssModuleUseSites: projectSymbolGraph?.cssModuleUseSites?.length ?? 0, projectGraphCssModuleImportBindings: projectSymbolGraph?.cssModuleImportBindings?.length ?? 0,
     projectGraphPublicContractConflicts: deltaConflicts.filter((conflict) => conflict.code === 'project-public-contract-delta-conflict').length,
     projectGraphSourceSpanConflicts: deltaConflicts.filter((conflict) => conflict.code === 'project-source-span-delta-conflict').length,
     projectGraphCompilerTypeConflicts: deltaConflicts.filter((conflict) => conflict.code === 'project-public-compiler-type-delta-conflict').length,

package/dist/js-ts-safe-project-merge.js

@@ -104,7 +104,7 @@ function safeMergeJsTsProject(input = {}) {
     ...fileResults.flatMap((file) => file.conflictKeys),
     ...outputConflicts.map((conflict) => conflict.details?.conflictKey)
   ]);
-  const baseSummary = projectSummary(fileResults, graphConflicts, Boolean(projectGraphDelta), outputDiagnosticsGate, outputDeclarationGate, outputQualityGate, moveRenameSummary, proofEvidence, symbolRenameSummary, splitMergeSummary);
+  const baseSummary = projectSummary(fileResults, graphConflicts, Boolean(projectGraphDelta), outputDiagnosticsGate, outputDeclarationGate, outputQualityGate, moveRenameSummary, proofEvidence, symbolRenameSummary, splitMergeSummary, graphArtifacts?.projectSymbolGraph);
   const evidenceContext = {
     fileResults,
     outputDiagnosticsGate,
@@ -162,7 +162,7 @@ function safeMergeJsTsProject(input = {}) {
       outputProjectSymbolGraph: Boolean(graphArtifacts?.projectSymbolGraph),
       projectGraphDelta: Boolean(projectGraphDeltaWithConflicts),
       projectGraphConflicts: graphConflicts.length || undefined,
-      outputProjectGraphConflicts: outputGraphConflicts.length || undefined,
+      outputProjectGraphConflicts: outputGraphConflicts.length || undefined, projectGraphCssModuleUseSiteConflicts: graphConflicts.filter((conflict) => conflict.gateId === 'project-css-module-use-site-graph').length || undefined,
       projectGraphDeltaConflicts: deltaGraphConflicts.length || undefined,
       projectGraphSourceSpanConflicts: deltaGraphConflicts.filter((conflict) => conflict.code === 'project-source-span-delta-conflict').length || undefined,
       projectGraphCompilerTypeConflicts: deltaGraphConflicts.filter((conflict) => conflict.code === 'project-public-compiler-type-delta-conflict').length || undefined,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-compiler",
-  "version": "0.2.154",
+  "version": "0.2.156",
   "description": "Compiler facade for Frontier Lang source documents and language projection adapters.",
   "type": "module",
   "main": "./dist/index.js",