@shapeshift-labs/frontier-lang-compiler 0.2.155 → 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/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.155",
+  "version": "0.2.156",
   "description": "Compiler facade for Frontier Lang source documents and language projection adapters.",
   "type": "module",
   "main": "./dist/index.js",