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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (280) hide show
  1. package/README.md +315 -9
  2. package/bench/real-repo-corpus-checkout-identity.mjs +134 -0
  3. package/bench/real-repo-corpus-checkout-proof.mjs +263 -0
  4. package/bench/real-repo-corpus-command-execution.mjs +314 -0
  5. package/bench/real-repo-corpus-evidence.mjs +165 -0
  6. package/bench/real-repo-corpus-suite.mjs +273 -0
  7. package/bench/smoke.mjs +109 -7
  8. package/dist/declarations/import-adapter-core.d.ts +4 -3
  9. package/dist/declarations/import-adapter-options-native.d.ts +21 -0
  10. package/dist/declarations/js-ts-project-merge-admission-routes.d.ts +35 -0
  11. package/dist/declarations/js-ts-project-merge-commonjs-interop.d.ts +29 -0
  12. package/dist/declarations/js-ts-project-merge-confidence.d.ts +64 -0
  13. package/dist/declarations/js-ts-project-merge-declaration-emit-parity.d.ts +37 -0
  14. package/dist/declarations/js-ts-project-merge-declarations.d.ts +65 -0
  15. package/dist/declarations/js-ts-project-merge-diagnostics.d.ts +97 -0
  16. package/dist/declarations/js-ts-project-merge-global-augmentation.d.ts +30 -0
  17. package/dist/declarations/js-ts-project-merge-jsx-render-branch.d.ts +48 -0
  18. package/dist/declarations/js-ts-project-merge-proof-levels.d.ts +109 -0
  19. package/dist/declarations/js-ts-project-merge-quality-gates.d.ts +38 -0
  20. package/dist/declarations/js-ts-project-merge-semantic-equivalence-proof.d.ts +45 -0
  21. package/dist/declarations/js-ts-project-merge-tsconfig.d.ts +43 -0
  22. package/dist/declarations/js-ts-safe-merge.d.ts +47 -0
  23. package/dist/declarations/js-ts-safe-project-merge.d.ts +120 -38
  24. package/dist/declarations/native-project-compiler-assignability-oracle.d.ts +41 -0
  25. package/dist/declarations/native-project-compiler-callable-signatures.d.ts +31 -0
  26. package/dist/declarations/native-project-compiler-class-member-runtime-proof.d.ts +87 -0
  27. package/dist/declarations/native-project-compiler-composite-types.d.ts +23 -0
  28. package/dist/declarations/native-project-compiler-enum-proof.d.ts +58 -0
  29. package/dist/declarations/native-project-compiler-index-signature.d.ts +7 -0
  30. package/dist/declarations/native-project-compiler-public-api-source-binding.d.ts +8 -0
  31. package/dist/declarations/native-project-compiler-scope.d.ts +37 -0
  32. package/dist/declarations/native-project-compiler-type-reference-targets.d.ts +38 -0
  33. package/dist/declarations/native-project-css-modules.d.ts +90 -0
  34. package/dist/declarations/native-project-decorator-metadata.d.ts +126 -0
  35. package/dist/declarations/native-project-jsx-graph.d.ts +313 -0
  36. package/dist/declarations/native-project-module-declarations.d.ts +52 -0
  37. package/dist/declarations/native-project-module-resolution.d.ts +76 -1
  38. package/dist/declarations/native-project-runtime-effect-target.d.ts +29 -0
  39. package/dist/declarations/native-project-runtime-executable-effect-evidence.d.ts +107 -0
  40. package/dist/declarations/native-project-runtime-mutation-target.d.ts +33 -0
  41. package/dist/declarations/native-project-runtime-promise-chain.d.ts +30 -0
  42. package/dist/declarations/native-project-runtime-promise-combinator.d.ts +22 -0
  43. package/dist/declarations/native-project-runtime-reachability.d.ts +30 -0
  44. package/dist/declarations/native-project-runtime-resource-management.d.ts +27 -0
  45. package/dist/declarations/native-project-runtime-yield-delegation.d.ts +10 -0
  46. package/dist/declarations/native-project-scope-template-reference.d.ts +13 -0
  47. package/dist/declarations/native-project-source-evidence.d.ts +8 -0
  48. package/dist/declarations/native-project.d.ts +40 -39
  49. package/dist/declarations/semantic-edit-script.d.ts +10 -8
  50. package/dist/declarations/semantic-graph-layers.d.ts +79 -0
  51. package/dist/declarations/semantic-patch-bundle-composition.d.ts +62 -0
  52. package/dist/declarations/semantic-sidecar.d.ts +3 -2
  53. package/dist/declarations/semantic-structural-diff.d.ts +94 -0
  54. package/dist/declarations/source-preservation.d.ts +32 -1
  55. package/dist/declarations/target-adapters.d.ts +22 -2
  56. package/dist/index.d.ts +32 -0
  57. package/dist/index.js +6 -0
  58. package/dist/internal/index-impl/compileNativeSource.js +53 -5
  59. package/dist/internal/index-impl/createLightweightNativeImport.js +58 -4
  60. package/dist/internal/index-impl/createNativeImportFromSyntaxAst.js +17 -1
  61. package/dist/internal/index-impl/createNativeImportFromTypeScriptAst.js +28 -4
  62. package/dist/internal/index-impl/createNativeProjectImportResult.js +31 -27
  63. package/dist/internal/index-impl/createNativeProjectModuleResolutionFromPackageManifests.js +145 -0
  64. package/dist/internal/index-impl/createNativeSourcePreservation.js +34 -7
  65. package/dist/internal/index-impl/createSemanticImportSidecar.js +27 -1
  66. package/dist/internal/index-impl/createTypeScriptCompilerNativeImporterAdapter.js +16 -5
  67. package/dist/internal/index-impl/dynamicImportExpressionMetadata.js +80 -0
  68. package/dist/internal/index-impl/importMetaUrlDependencyMetadata.js +176 -0
  69. package/dist/internal/index-impl/importNativeSource.js +2 -3
  70. package/dist/internal/index-impl/moduleImportAttributeMetadata.js +232 -0
  71. package/dist/internal/index-impl/projectSemanticEditScriptToSource.js +8 -1
  72. package/dist/internal/index-impl/projectSymbolGraphClassStaticBlocks.js +148 -0
  73. package/dist/internal/index-impl/projectSymbolGraphCompilerAdvancedTypeMetadata.js +45 -0
  74. package/dist/internal/index-impl/projectSymbolGraphCompilerCallableSignatureEquivalence.js +107 -0
  75. package/dist/internal/index-impl/projectSymbolGraphCompilerClassPrivateAccessorRuntimeProof.js +280 -0
  76. package/dist/internal/index-impl/projectSymbolGraphCompilerClassShapeEquivalence.js +103 -0
  77. package/dist/internal/index-impl/projectSymbolGraphCompilerConditionalTypeEquivalence.js +242 -0
  78. package/dist/internal/index-impl/projectSymbolGraphCompilerDecoratorRuntimeProof.js +197 -0
  79. package/dist/internal/index-impl/projectSymbolGraphCompilerEnumEquivalence.js +188 -0
  80. package/dist/internal/index-impl/projectSymbolGraphCompilerFacts.js +244 -0
  81. package/dist/internal/index-impl/projectSymbolGraphCompilerIndexSignatureEquivalence.js +58 -0
  82. package/dist/internal/index-impl/projectSymbolGraphCompilerMetadata.js +168 -0
  83. package/dist/internal/index-impl/projectSymbolGraphCompilerTypeEquivalence.js +199 -0
  84. package/dist/internal/index-impl/projectSymbolGraphCompilerTypeEquivalenceProof.js +204 -0
  85. package/dist/internal/index-impl/projectSymbolGraphCompilerTypeReferenceTargetEquivalence.js +99 -0
  86. package/dist/internal/index-impl/projectSymbolGraphCssModuleRecords.js +264 -0
  87. package/dist/internal/index-impl/projectSymbolGraphCssModuleScanners.js +242 -0
  88. package/dist/internal/index-impl/projectSymbolGraphCssModuleUtils.js +152 -0
  89. package/dist/internal/index-impl/projectSymbolGraphCssModules.js +82 -0
  90. package/dist/internal/index-impl/projectSymbolGraphJsxComponentImports.js +170 -0
  91. package/dist/internal/index-impl/projectSymbolGraphJsxComponentProviderLookup.js +167 -0
  92. package/dist/internal/index-impl/projectSymbolGraphJsxComponentWrappers.js +150 -0
  93. package/dist/internal/index-impl/projectSymbolGraphJsxContextTargets.js +71 -0
  94. package/dist/internal/index-impl/projectSymbolGraphJsxContextValues.js +212 -0
  95. package/dist/internal/index-impl/projectSymbolGraphJsxEventHandlers.js +172 -0
  96. package/dist/internal/index-impl/projectSymbolGraphJsxHookEffects.js +124 -0
  97. package/dist/internal/index-impl/projectSymbolGraphJsxHooks.js +281 -0
  98. package/dist/internal/index-impl/projectSymbolGraphJsxMemberComponents.js +139 -0
  99. package/dist/internal/index-impl/projectSymbolGraphJsxPropFlows.js +320 -0
  100. package/dist/internal/index-impl/projectSymbolGraphJsxPropValues.js +145 -0
  101. package/dist/internal/index-impl/projectSymbolGraphJsxProviderFlows.js +133 -0
  102. package/dist/internal/index-impl/projectSymbolGraphJsxRecords.js +315 -0
  103. package/dist/internal/index-impl/projectSymbolGraphJsxRenderCollections.js +155 -0
  104. package/dist/internal/index-impl/projectSymbolGraphJsxRenderReturns.js +291 -0
  105. package/dist/internal/index-impl/projectSymbolGraphJsxRenderRisk.js +279 -0
  106. package/dist/internal/index-impl/projectSymbolGraphModuleDeclarationShapes.js +138 -0
  107. package/dist/internal/index-impl/projectSymbolGraphModuleResolution.js +89 -87
  108. package/dist/internal/index-impl/projectSymbolGraphPackageConditions.js +314 -0
  109. package/dist/internal/index-impl/projectSymbolGraphReExportImportTargets.js +43 -0
  110. package/dist/internal/index-impl/projectSymbolGraphReExports.js +55 -1
  111. package/dist/internal/index-impl/projectSymbolGraphRuntimeRegions.js +108 -0
  112. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefAliases.js +307 -0
  113. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefLexical.js +320 -0
  114. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefOwners.js +50 -0
  115. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefRecordBuilders.js +112 -0
  116. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefRecords.js +238 -0
  117. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefStructural.js +104 -0
  118. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefStructuralNormalize.js +242 -0
  119. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefUseHashes.js +107 -0
  120. package/dist/internal/index-impl/projectSymbolGraphSourceMapGeneratedBoundary.js +111 -0
  121. package/dist/internal/index-impl/projectSymbolGraphSourceRecords.js +268 -0
  122. package/dist/internal/index-impl/projectSymbolGraphSourceRecordsOwnership.js +309 -0
  123. package/dist/internal/index-impl/replaySemanticEditProjection.js +53 -39
  124. package/dist/internal/index-impl/runtimeOrderEvidenceBinding.js +151 -0
  125. package/dist/internal/index-impl/runtimeOrderProofSurfaces.js +253 -0
  126. package/dist/internal/index-impl/semanticEditCallsiteArgumentMerge.js +319 -0
  127. package/dist/internal/index-impl/semanticEditExplicitSourceReplacement.js +7 -2
  128. package/dist/internal/index-impl/semanticEditProjectionRecord.js +8 -0
  129. package/dist/internal/index-impl/semanticEditReplayDiagnostics.js +7 -2
  130. package/dist/internal/index-impl/semanticEditReplayOutputBinding.js +61 -0
  131. package/dist/internal/index-impl/semanticEditReplayRerunRoute.js +27 -0
  132. package/dist/internal/index-impl/semanticEditReplaySourceReplacement.js +6 -1
  133. package/dist/internal/index-impl/semanticEditRuntimeOrderReasons.js +320 -0
  134. package/dist/internal/index-impl/semanticEditScriptClassification.js +90 -5
  135. package/dist/internal/index-impl/semanticEditScripts.js +42 -5
  136. package/dist/internal/index-impl/semanticEditTypeSyntaxReasons.js +134 -0
  137. package/dist/internal/index-impl/semanticIndexFromNativeDeclarations.js +11 -5
  138. package/dist/internal/index-impl/semanticPatchBundleComposition.js +166 -0
  139. package/dist/internal/index-impl/semanticStructuralDiffRecords.js +150 -0
  140. package/dist/internal/index-impl/sourceMapGeneratedBoundaryGate.js +185 -0
  141. package/dist/internal/index-impl/staticMemberLiteral.js +31 -0
  142. package/dist/internal/index-impl/staticOptionalMemberReference.js +22 -0
  143. package/dist/internal/index-impl/syntaxAstSourcePreservation.js +273 -0
  144. package/dist/internal/index-impl/syntaxCommonJsModuleDeclarationEntries.js +297 -0
  145. package/dist/internal/index-impl/syntaxModuleDeclarationEntries.js +56 -132
  146. package/dist/internal/index-impl/syntaxModuleEntryRecords.js +160 -0
  147. package/dist/internal/index-impl/typeScriptCompilerAdvancedTypeShapes.js +160 -0
  148. package/dist/internal/index-impl/typeScriptCompilerAssignabilityOracle.js +97 -0
  149. package/dist/internal/index-impl/typeScriptCompilerClassApi.js +238 -0
  150. package/dist/internal/index-impl/typeScriptCompilerDecoratorMetadata.js +290 -0
  151. package/dist/internal/index-impl/typeScriptCompilerEnumShape.js +279 -0
  152. package/dist/internal/index-impl/typeScriptCompilerFacts.js +294 -0
  153. package/dist/internal/index-impl/typeScriptCompilerInferenceSyntax.js +170 -0
  154. package/dist/internal/index-impl/typeScriptCompilerReferenceGraph.js +186 -0
  155. package/dist/internal/index-impl/typeScriptCompilerSymbolIdentity.js +294 -0
  156. package/dist/internal/index-impl/typeScriptCompilerTypeReferenceTargets.js +142 -0
  157. package/dist/internal/index-impl/typeScriptDeclaration.js +10 -38
  158. package/dist/internal/index-impl/typeScriptModuleDeclarationEntries.js +52 -15
  159. package/dist/internal/index-impl/typeScriptSourceFilePreservation.js +296 -0
  160. package/dist/js-ts-safe-member-class-invariants.js +247 -0
  161. package/dist/js-ts-safe-member-merge-result.js +23 -3
  162. package/dist/js-ts-safe-member-merge.js +28 -4
  163. package/dist/js-ts-safe-merge-binding-patterns.js +170 -0
  164. package/dist/js-ts-safe-merge-context.js +1 -0
  165. package/dist/js-ts-safe-merge-jsx-attribute-fallback.js +314 -0
  166. package/dist/js-ts-safe-merge-jsx-attribute-parser.js +277 -0
  167. package/dist/js-ts-safe-merge-jsx-child-expression-fallback.js +161 -0
  168. package/dist/js-ts-safe-merge-jsx-child-expression-merge.js +319 -0
  169. package/dist/js-ts-safe-merge-jsx-child-expression-parser.js +300 -0
  170. package/dist/js-ts-safe-merge-parse-declarations.js +46 -2
  171. package/dist/js-ts-safe-merge-parse-statements.js +8 -0
  172. package/dist/js-ts-safe-merge-plan.js +3 -1
  173. package/dist/js-ts-safe-merge-semantic-edit-fallback.js +49 -0
  174. package/dist/js-ts-safe-merge-source-shape-fallbacks.js +5 -1
  175. package/dist/js-ts-safe-merge-top-level-rename-fallback.js +31 -5
  176. package/dist/js-ts-safe-merge-top-level-rename-result.js +7 -2
  177. package/dist/js-ts-safe-merge-variable-declarator-fallback.js +124 -6
  178. package/dist/js-ts-safe-merge-variable-declarator-parser.js +34 -4
  179. package/dist/js-ts-safe-merge.js +136 -0
  180. package/dist/js-ts-safe-project-merge-admission-routes.js +216 -0
  181. package/dist/js-ts-safe-project-merge-admission.js +161 -0
  182. package/dist/js-ts-safe-project-merge-ambient.js +110 -0
  183. package/dist/js-ts-safe-project-merge-core.js +85 -0
  184. package/dist/js-ts-safe-project-merge-css-module-conflicts.js +60 -0
  185. package/dist/js-ts-safe-project-merge-declaration-emit-parity.js +186 -0
  186. package/dist/js-ts-safe-project-merge-declarations.js +227 -0
  187. package/dist/js-ts-safe-project-merge-diagnostics-metadata.js +42 -0
  188. package/dist/js-ts-safe-project-merge-diagnostics-ts.js +73 -0
  189. package/dist/js-ts-safe-project-merge-diagnostics.js +283 -0
  190. package/dist/js-ts-safe-project-merge-evidence-routing.js +38 -0
  191. package/dist/js-ts-safe-project-merge-files.js +70 -0
  192. package/dist/js-ts-safe-project-merge-global-augmentation-compatibility.js +99 -0
  193. package/dist/js-ts-safe-project-merge-graph-conflicts.js +90 -2
  194. package/dist/js-ts-safe-project-merge-graph-delta-commonjs-interop.js +108 -0
  195. package/dist/js-ts-safe-project-merge-graph-delta-compiler-conflicts.js +179 -0
  196. package/dist/js-ts-safe-project-merge-graph-delta-compiler-details.js +189 -0
  197. package/dist/js-ts-safe-project-merge-graph-delta-conflicts.js +51 -184
  198. package/dist/js-ts-safe-project-merge-graph-delta-identity-conflicts.js +202 -0
  199. package/dist/js-ts-safe-project-merge-graph-delta-inference-syntax.js +80 -0
  200. package/dist/js-ts-safe-project-merge-graph-delta-module-declarations.js +155 -0
  201. package/dist/js-ts-safe-project-merge-graph-limits.js +16 -1
  202. package/dist/js-ts-safe-project-merge-graph.js +37 -5
  203. package/dist/js-ts-safe-project-merge-import-removal.js +292 -0
  204. package/dist/js-ts-safe-project-merge-jsx-graph-conflict-details.js +235 -0
  205. package/dist/js-ts-safe-project-merge-jsx-graph-conflicts.js +173 -0
  206. package/dist/js-ts-safe-project-merge-jsx-prop-contracts.js +86 -0
  207. package/dist/js-ts-safe-project-merge-jsx-render-branch-proof.js +189 -0
  208. package/dist/js-ts-safe-project-merge-missing-evidence.js +310 -0
  209. package/dist/js-ts-safe-project-merge-move-rename.js +209 -0
  210. package/dist/js-ts-safe-project-merge-proof-conflicts.js +44 -0
  211. package/dist/js-ts-safe-project-merge-proof-levels.js +320 -0
  212. package/dist/js-ts-safe-project-merge-quality-gates.js +140 -0
  213. package/dist/js-ts-safe-project-merge-routing-calibration.js +125 -0
  214. package/dist/js-ts-safe-project-merge-runtime-region-conflicts.js +156 -0
  215. package/dist/js-ts-safe-project-merge-scope-use-def-conflicts.js +292 -0
  216. package/dist/js-ts-safe-project-merge-semantic-equivalence-proof.js +175 -0
  217. package/dist/js-ts-safe-project-merge-semantic-replay-proof.js +311 -0
  218. package/dist/js-ts-safe-project-merge-semantic-replay-routes.js +179 -0
  219. package/dist/js-ts-safe-project-merge-source-span-conflicts.js +310 -0
  220. package/dist/js-ts-safe-project-merge-source-span-roundtrip-proof.js +172 -0
  221. package/dist/js-ts-safe-project-merge-split-merge-admission.js +96 -0
  222. package/dist/js-ts-safe-project-merge-split-merge-records.js +320 -0
  223. package/dist/js-ts-safe-project-merge-split-merge-shapes.js +234 -0
  224. package/dist/js-ts-safe-project-merge-split-merge.js +218 -0
  225. package/dist/js-ts-safe-project-merge-summary.js +320 -0
  226. package/dist/js-ts-safe-project-merge-symbol-move-admission.js +63 -0
  227. package/dist/js-ts-safe-project-merge-symbol-move-default-admission.js +143 -0
  228. package/dist/js-ts-safe-project-merge-symbol-move-risks.js +213 -0
  229. package/dist/js-ts-safe-project-merge-symbol-move.js +316 -0
  230. package/dist/js-ts-safe-project-merge-symbol-rename-admission.js +59 -0
  231. package/dist/js-ts-safe-project-merge-symbol-rename-default-admission.js +111 -0
  232. package/dist/js-ts-safe-project-merge-symbol-rename.js +319 -0
  233. package/dist/js-ts-safe-project-merge-ts-options.js +205 -0
  234. package/dist/js-ts-safe-project-merge-ts-program.js +268 -0
  235. package/dist/js-ts-safe-project-merge-typed-property-rename-rebase-utils.js +69 -0
  236. package/dist/js-ts-safe-project-merge-typed-property-rename-rebase.js +317 -0
  237. package/dist/js-ts-safe-project-merge-unsupported-surfaces.js +319 -0
  238. package/dist/js-ts-safe-project-merge.js +171 -172
  239. package/dist/js-ts-semantic-scope-use-def-bindings.js +287 -0
  240. package/dist/js-ts-semantic-scope-use-def-scan.js +241 -0
  241. package/dist/js-ts-semantic-scope-use-def-utils.js +132 -0
  242. package/dist/js-ts-semantic-scope-use-def.js +217 -0
  243. package/dist/lightweight-dependency-effects.js +28 -4
  244. package/dist/lightweight-dependency-relations.js +13 -7
  245. package/dist/lightweight-dependency-top-level.js +63 -0
  246. package/dist/native-import-language-profiles.js +27 -1
  247. package/dist/native-js-ts-importers.js +9 -5
  248. package/dist/native-parser-ast-format-profiles.js +12 -0
  249. package/dist/native-parser-html-css-format-profiles.js +85 -0
  250. package/dist/native-region-scanner-core.js +5 -3
  251. package/dist/native-region-scanner-js-commonjs.js +155 -0
  252. package/dist/native-region-scanner-js-imports.js +51 -13
  253. package/dist/native-region-scanner-js-reexports.js +79 -0
  254. package/dist/native-region-scanner-js-ts-helpers.js +23 -0
  255. package/dist/native-source-ledger-helpers.js +1 -1
  256. package/dist/native-source-ledger.js +24 -10
  257. package/dist/native-source-maps-ecma426.js +316 -0
  258. package/dist/native-source-maps.js +36 -6
  259. package/dist/native-source-preservation-ownership.js +292 -0
  260. package/dist/native-source-preservation-scanner.js +63 -25
  261. package/dist/native-source-preservation-types.d.ts +3 -0
  262. package/dist/semantic-import-effect-occurrences.js +242 -0
  263. package/dist/semantic-import-effect-regions.js +95 -58
  264. package/dist/semantic-import-graph-layers.js +224 -0
  265. package/dist/semantic-import-runtime-conditional-evidence.js +135 -0
  266. package/dist/semantic-import-runtime-effect-target-evidence.js +145 -0
  267. package/dist/semantic-import-runtime-exit-evidence.js +32 -0
  268. package/dist/semantic-import-runtime-import-meta-evidence.js +33 -0
  269. package/dist/semantic-import-runtime-mutation-evidence.js +155 -0
  270. package/dist/semantic-import-runtime-order-evidence.js +318 -0
  271. package/dist/semantic-import-runtime-promise-chain-evidence.js +103 -0
  272. package/dist/semantic-import-runtime-promise-combinator-evidence.js +166 -0
  273. package/dist/semantic-import-runtime-reachability-evidence.js +269 -0
  274. package/dist/semantic-import-runtime-resource-management-evidence.js +293 -0
  275. package/dist/semantic-import-runtime-switch-evidence.js +304 -0
  276. package/dist/semantic-import-runtime-throw-evidence.js +44 -0
  277. package/dist/semantic-import-runtime-try-finally-evidence.js +172 -0
  278. package/dist/semantic-import-sidecar-entry.js +4 -0
  279. package/dist/semantic-import-source-preservation.js +6 -2
  280. package/package.json +1 -1
@@ -0,0 +1,152 @@
1
+ import { lineColumnForOffset } from './lineColumnForOffset.js';
2
+
3
+ const CssModulePathPattern = /\.module\.css(?:[?#].*)?$/i;
4
+
5
+ function cssModuleSourceRecord(imported) {
6
+ const sourcePath = sourcePathForImport(imported);
7
+ if (!isCssModulePath(sourcePath)) return undefined;
8
+ const metadata = objectValue(imported?.metadata);
9
+ const nativeMetadata = objectValue(imported?.nativeSource?.metadata);
10
+ const astMetadata = objectValue(imported?.nativeAst?.metadata);
11
+ return compactRecord({
12
+ sourcePath,
13
+ sourceHash: imported?.nativeSource?.sourceHash ?? imported?.metadata?.sourceHash,
14
+ cssModuleEvidence: firstObject(
15
+ metadata.cssModuleEvidence,
16
+ metadata.cssModules,
17
+ nativeMetadata.cssModuleEvidence,
18
+ nativeMetadata.cssModules,
19
+ astMetadata.cssModuleEvidence,
20
+ astMetadata.cssModules
21
+ ),
22
+ bundlerTransformHash: firstString(metadata.bundlerTransformHash, nativeMetadata.bundlerTransformHash, astMetadata.bundlerTransformHash),
23
+ sourceMapProofHash: firstString(metadata.sourceMapProofHash, nativeMetadata.sourceMapProofHash, astMetadata.sourceMapProofHash)
24
+ });
25
+ }
26
+
27
+ function nativeImportSourceText(imported) {
28
+ return imported?.metadata?.sourcePreservation?.sourceText
29
+ ?? imported?.nativeSource?.metadata?.sourcePreservation?.sourceText
30
+ ?? imported?.nativeAst?.metadata?.sourcePreservation?.sourceText
31
+ ?? imported?.universalAst?.metadata?.sourcePreservation?.sourceText
32
+ ?? imported?.sourceText;
33
+ }
34
+
35
+ function sourcePathForImport(imported) {
36
+ return imported?.sourcePath ?? imported?.nativeSource?.sourcePath;
37
+ }
38
+
39
+ function isCssModuleBindingEdge(edge) {
40
+ return isCssModulePath(edge?.resolvedModulePath ?? edge?.moduleSpecifier) && Boolean(edge.localName);
41
+ }
42
+
43
+ function isCssModulePath(path) {
44
+ return CssModulePathPattern.test(String(path ?? ''));
45
+ }
46
+
47
+ function cssModuleSpecifierPath(moduleSpecifier) {
48
+ return String(moduleSpecifier ?? '').replace(/^\.\//, '');
49
+ }
50
+
51
+ function bindingsForSourcePath(bindingsByLocal, sourcePath) {
52
+ const result = [];
53
+ for (const [key, bindings] of bindingsByLocal.entries()) {
54
+ if (key.startsWith(`${sourcePath}\0`)) result.push(...bindings);
55
+ }
56
+ return result;
57
+ }
58
+
59
+ function localKey(sourcePath, localName) {
60
+ return sourcePath && localName ? `${sourcePath}\0${localName}` : '';
61
+ }
62
+
63
+ function groupBy(records, keyFn) {
64
+ const result = new Map();
65
+ for (const record of records) {
66
+ const key = keyFn(record);
67
+ if (!key) continue;
68
+ result.set(key, [...(result.get(key) ?? []), record]);
69
+ }
70
+ return result;
71
+ }
72
+
73
+ function uniqueRecords(records, keyFn = (record) => record.id ?? JSON.stringify(record)) {
74
+ const seen = new Set();
75
+ return records.filter((record) => {
76
+ const key = keyFn(record);
77
+ if (!key || seen.has(key)) return false;
78
+ seen.add(key);
79
+ return true;
80
+ });
81
+ }
82
+
83
+ function cssModuleUseSiteKey(site) {
84
+ return [site.cssModuleImportBindingId, site.jsSourcePath, site.sourceSpan?.start, site.sourceSpan?.end, site.exportName, site.useSiteKind].join('\0');
85
+ }
86
+
87
+ function cssModuleBlockerKey(blocker) {
88
+ return [blocker.cssModuleImportBindingId, blocker.sourcePath, blocker.sourceSpan?.start, blocker.sourceSpan?.end, blocker.reasonCode].join('\0');
89
+ }
90
+
91
+ function sourceSpanForRange(sourceText, sourcePath, sourceHash, start, end) {
92
+ const startPos = lineColumnForOffset(sourceText, start);
93
+ const endPos = lineColumnForOffset(sourceText, end);
94
+ return {
95
+ sourceId: sourceHash,
96
+ path: sourcePath,
97
+ start,
98
+ end,
99
+ startLine: startPos.line,
100
+ startColumn: startPos.column,
101
+ endLine: endPos.line,
102
+ endColumn: endPos.column
103
+ };
104
+ }
105
+
106
+ function semanticSpanForHash(span) {
107
+ return span ? { path: span.path, start: span.start, end: span.end, startLine: span.startLine, startColumn: span.startColumn, endLine: span.endLine, endColumn: span.endColumn } : undefined;
108
+ }
109
+
110
+ function compactRecord(record) {
111
+ return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined));
112
+ }
113
+
114
+ function escapeRegExp(value) {
115
+ return String(value).replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
116
+ }
117
+
118
+ function isIdentifierChar(char) {
119
+ return typeof char === 'string' && /[A-Za-z0-9_$]/.test(char);
120
+ }
121
+
122
+ function objectValue(value) {
123
+ return value && typeof value === 'object' && !Array.isArray(value) ? value : {};
124
+ }
125
+
126
+ function firstObject(...values) {
127
+ return values.find((value) => value && typeof value === 'object' && !Array.isArray(value));
128
+ }
129
+
130
+ function firstString(...values) {
131
+ for (const value of values) if (value !== undefined && value !== null && String(value)) return String(value);
132
+ return undefined;
133
+ }
134
+
135
+ export {
136
+ bindingsForSourcePath,
137
+ compactRecord,
138
+ cssModuleBlockerKey,
139
+ cssModuleSourceRecord,
140
+ cssModuleSpecifierPath,
141
+ cssModuleUseSiteKey,
142
+ escapeRegExp,
143
+ groupBy,
144
+ isCssModuleBindingEdge,
145
+ isIdentifierChar,
146
+ localKey,
147
+ nativeImportSourceText,
148
+ semanticSpanForHash,
149
+ sourcePathForImport,
150
+ sourceSpanForRange,
151
+ uniqueRecords
152
+ };
@@ -0,0 +1,82 @@
1
+ import {
2
+ cssModuleBlockerKey,
3
+ cssModuleSourceRecord,
4
+ cssModuleUseSiteKey,
5
+ isCssModuleBindingEdge,
6
+ localKey,
7
+ nativeImportSourceText,
8
+ sourcePathForImport,
9
+ uniqueRecords
10
+ } from './projectSymbolGraphCssModuleUtils.js';
11
+ import {
12
+ cssModuleBindingBlocker,
13
+ cssModuleImportBindingRecord,
14
+ cssModuleMissingExportBlockers,
15
+ cssModuleTransformBlockers,
16
+ cssModuleUseSiteGraphRecords
17
+ } from './projectSymbolGraphCssModuleRecords.js';
18
+ import {
19
+ cssModuleJsxUseSites,
20
+ cssModuleLexicalUseSites
21
+ } from './projectSymbolGraphCssModuleScanners.js';
22
+
23
+ function createProjectCssModuleGraphRecords(semanticIndex, imports, importEdges, scopeReferenceRecords, jsxPropRecords) {
24
+ const sourceTextsByPath = new Map(imports
25
+ .map((imported) => [sourcePathForImport(imported), nativeImportSourceText(imported)])
26
+ .filter(([sourcePath, sourceText]) => sourcePath && typeof sourceText === 'string'));
27
+ const cssSourcesByPath = new Map(imports
28
+ .map((imported) => [sourcePathForImport(imported), cssModuleSourceRecord(imported)])
29
+ .filter(([sourcePath]) => sourcePath));
30
+ const documentsById = new Map((semanticIndex?.documents ?? []).map((document) => [document.id, document]));
31
+ const importBindings = uniqueRecords(importEdges
32
+ .filter(isCssModuleBindingEdge)
33
+ .map((edge, index) => cssModuleImportBindingRecord(edge, index, documentsById, cssSourcesByPath)));
34
+ const bindingsByLocal = groupBindingsByLocal(importBindings);
35
+ const { useSites: lexicalUseSites, blockers: lexicalBlockers } = cssModuleLexicalUseSites(importBindings, sourceTextsByPath);
36
+ const { useSites: jsxUseSites, blockers: jsxBlockers } = cssModuleJsxUseSites(bindingsByLocal, jsxPropRecords);
37
+ const namedImportBlockers = importBindings
38
+ .filter((binding) => binding.importKind === 'named')
39
+ .map((binding) => cssModuleNamedExportBlocker(binding));
40
+ const missingTransformBlockers = importBindings
41
+ .filter((binding) => hasUseSite(binding, lexicalUseSites) || hasUseSite(binding, jsxUseSites))
42
+ .flatMap((binding) => cssModuleTransformBlockers(binding));
43
+ const cssModuleUseSites = uniqueRecords([...jsxUseSites, ...lexicalUseSites], cssModuleUseSiteKey);
44
+ const bindingsById = new Map(importBindings.map((binding) => [binding.id, binding]));
45
+ const missingExportBlockers = cssModuleMissingExportBlockers(bindingsById, cssModuleUseSites);
46
+ const cssModuleUseSiteBlockers = uniqueRecords([
47
+ ...lexicalBlockers,
48
+ ...jsxBlockers,
49
+ ...namedImportBlockers,
50
+ ...missingExportBlockers,
51
+ ...missingTransformBlockers
52
+ ], cssModuleBlockerKey);
53
+ return {
54
+ cssModuleImportBindings: importBindings,
55
+ cssModuleUseSites,
56
+ cssModuleUseSiteBlockers,
57
+ cssModuleUseSiteGraphs: cssModuleUseSiteGraphRecords(importBindings, cssModuleUseSites, cssModuleUseSiteBlockers)
58
+ };
59
+ }
60
+
61
+ function groupBindingsByLocal(importBindings) {
62
+ const result = new Map();
63
+ for (const binding of importBindings) {
64
+ const key = localKey(binding.sourcePath, binding.localName);
65
+ if (!key) continue;
66
+ result.set(key, [...(result.get(key) ?? []), binding]);
67
+ }
68
+ return result;
69
+ }
70
+
71
+ function cssModuleNamedExportBlocker(binding) {
72
+ return cssModuleBindingBlocker(binding, {
73
+ reasonCode: 'css-module-named-export-transform-unproved',
74
+ expressionText: binding.localName
75
+ });
76
+ }
77
+
78
+ function hasUseSite(binding, useSites) {
79
+ return useSites.some((site) => site.cssModuleImportBindingId === binding.id);
80
+ }
81
+
82
+ export { createProjectCssModuleGraphRecords };
@@ -0,0 +1,170 @@
1
+ import { hashSemanticValue } from '@shapeshift-labs/frontier-lang-kernel';
2
+
3
+ function jsxImportedComponentOwnerIndexes(importEdges = [], exportEdges = [], componentOwnersBySourcePath = new Map()) {
4
+ const exportLocalNames = exportLocalNameIndex(exportEdges);
5
+ const reExportTargets = reExportTargetIndex(exportEdges);
6
+ const result = new Map();
7
+ for (const edge of importEdges) {
8
+ const localName = plainComponentName(edge?.localName);
9
+ if (!localName || edge.isTypeOnly || edge.importKind === 'module' || !edge.resolvedModulePath) continue;
10
+ const target = importedOwnerTarget(edge, exportLocalNames, reExportTargets, componentOwnersBySourcePath);
11
+ if (!target) continue;
12
+ addImportedOwner(result, edge.sourcePath, localName, importedOwnerRecord(target.owner, edge, target));
13
+ }
14
+ return result;
15
+ }
16
+
17
+ function jsxImportedMemberComponentOwnerIndexes(importEdges = [], exportEdges = [], memberOwnersBySourcePath = new Map()) {
18
+ const exportLocalNames = exportLocalNameIndex(exportEdges);
19
+ const reExportTargets = reExportTargetIndex(exportEdges);
20
+ const result = new Map();
21
+ for (const edge of importEdges) {
22
+ const localObjectName = plainComponentName(edge?.localName);
23
+ if (!localObjectName || edge.isTypeOnly || edge.importKind === 'module' || !edge.resolvedModulePath) continue;
24
+ const target = importedMemberOwnerTarget(edge, exportLocalNames, reExportTargets, memberOwnersBySourcePath);
25
+ if (!target) continue;
26
+ for (const [propertyName, owners] of target.members) {
27
+ if (owners.length !== 1) continue;
28
+ const tagName = `${localObjectName}.${propertyName}`;
29
+ addImportedOwner(result, edge.sourcePath, tagName, importedMemberOwnerRecord(owners[0], edge, target, propertyName));
30
+ }
31
+ }
32
+ return result;
33
+ }
34
+
35
+ function mergeJsxComponentOwnerIndexes(localOwners = new Map(), importedOwners = new Map()) {
36
+ const result = new Map([...localOwners].map(([name, owners]) => [name, [...owners]]));
37
+ for (const [name, owners] of importedOwners) result.set(name, [...(result.get(name) ?? []), ...owners]);
38
+ return result;
39
+ }
40
+
41
+ function importedOwnerName(edge, exportLocalNames) {
42
+ const importedName = edge.importedName || edge.localName;
43
+ if (importedName !== 'default') return importedName;
44
+ return exportLocalNames.get(`${edge.resolvedModulePath}\0default`) ?? edge.localName;
45
+ }
46
+
47
+ function importedOwnerTarget(edge, exportLocalNames, reExportTargets, componentOwnersBySourcePath) {
48
+ const directOwnerName = importedOwnerName(edge, exportLocalNames);
49
+ const directOwners = componentOwnersBySourcePath.get(edge.resolvedModulePath)?.get(directOwnerName) ?? [];
50
+ if (directOwners.length === 1) return { owner: directOwners[0], ownerName: directOwnerName, targetExportName: edge.importedName ?? directOwnerName };
51
+ const reExport = reExportTargets.get(`${edge.resolvedModulePath}\0${edge.importedName || edge.localName}`);
52
+ const starReExport = reExport ?? starReExportTarget(edge);
53
+ if (!starReExport) return undefined;
54
+ return importedReExportOwnerTarget(edge, starReExport, exportLocalNames, componentOwnersBySourcePath);
55
+ }
56
+
57
+ function importedMemberOwnerTarget(edge, exportLocalNames, reExportTargets, memberOwnersBySourcePath) {
58
+ const directObjectName = importedOwnerName(edge, exportLocalNames);
59
+ const directMembers = memberOwnersBySourcePath.get(edge.resolvedModulePath)?.get(directObjectName);
60
+ if (directMembers?.size) return { members: directMembers, objectName: directObjectName, targetExportName: edge.importedName ?? directObjectName };
61
+ const reExport = reExportTargets.get(`${edge.resolvedModulePath}\0${edge.importedName || edge.localName}`);
62
+ const starReExport = reExport ?? starReExportTarget(edge);
63
+ if (!starReExport) return undefined;
64
+ return importedReExportMemberOwnerTarget(edge, starReExport, exportLocalNames, memberOwnersBySourcePath);
65
+ }
66
+
67
+ function importedReExportOwnerTarget(edge, reExport, exportLocalNames, componentOwnersBySourcePath) {
68
+ const targetExportName = reExport.localName ?? reExport.exportedName;
69
+ const ownerName = targetExportName === 'default' ? exportLocalNames.get(`${reExport.resolvedModulePath}\0default`) ?? edge.localName : targetExportName;
70
+ const owners = componentOwnersBySourcePath.get(reExport.resolvedModulePath)?.get(ownerName) ?? [];
71
+ return owners.length === 1 ? { owner: owners[0], ownerName, targetExportName, reExport } : undefined;
72
+ }
73
+
74
+ function importedReExportMemberOwnerTarget(edge, reExport, exportLocalNames, memberOwnersBySourcePath) {
75
+ const targetExportName = reExport.localName ?? reExport.exportedName;
76
+ const objectName = targetExportName === 'default' ? exportLocalNames.get(`${reExport.resolvedModulePath}\0default`) ?? edge.localName : targetExportName;
77
+ const members = memberOwnersBySourcePath.get(reExport.resolvedModulePath)?.get(objectName);
78
+ return members?.size ? { members, objectName, targetExportName, reExport } : undefined;
79
+ }
80
+
81
+ function starReExportTarget(edge) {
82
+ if (edge.reExportResolutionKind !== 'export-star' || !edge.reExportTargetSourcePath) return undefined;
83
+ return {
84
+ id: edge.reExportRelationId,
85
+ sourcePath: edge.reExportSourcePath,
86
+ exportedName: edge.importedName ?? edge.localName,
87
+ localName: edge.importedName ?? edge.localName,
88
+ resolvedModulePath: edge.reExportTargetSourcePath,
89
+ exportStar: true,
90
+ reExportIdentityId: edge.reExportIdentityId
91
+ };
92
+ }
93
+
94
+ function importedMemberOwnerRecord(owner, edge, target, propertyName) {
95
+ const reExport = target.reExport;
96
+ const scope = reExport ? 'project-import-reexport-member-component' : 'project-import-member-component';
97
+ const componentCallMemberBindingHash = hashSemanticValue({
98
+ kind: 'frontier.lang.projectJsxImportedMemberComponentBinding',
99
+ localObjectName: edge.localName,
100
+ targetObjectName: target.objectName,
101
+ propertyName,
102
+ localName: owner.componentCallMemberLocalName,
103
+ targetSourcePath: reExport?.resolvedModulePath ?? edge.resolvedModulePath,
104
+ importEdgeId: edge.id,
105
+ reExportEdgeId: reExport?.id,
106
+ reExportIdentityId: reExport?.reExportIdentityId,
107
+ sourceMemberBindingHash: owner.componentCallMemberBindingHash
108
+ });
109
+ return {
110
+ ...importedOwnerRecord(owner, edge, target),
111
+ componentProviderLookupScope: scope,
112
+ componentCallLookupStatus: reExport ? 'project-import-reexport-member-component-target-evidence' : 'project-import-member-component-target-evidence',
113
+ componentCallTargetSourcePath: owner.sourcePath,
114
+ componentCallMemberObjectName: edge.localName,
115
+ componentCallMemberPropertyName: propertyName,
116
+ componentCallMemberBindingHash
117
+ };
118
+ }
119
+
120
+ function importedOwnerRecord(owner, edge, target) {
121
+ const reExport = target.reExport;
122
+ return {
123
+ ...owner,
124
+ componentProviderLookupScope: reExport ? 'project-import-reexport-component' : 'project-import-direct-component',
125
+ componentCallLookupStatus: reExport ? 'project-import-reexport-component-target-evidence' : 'project-import-component-target-evidence',
126
+ componentCallTargetSourcePath: reExport?.resolvedModulePath ?? edge.resolvedModulePath,
127
+ componentCallImportEdgeId: edge.id,
128
+ componentCallImportKind: edge.importKind,
129
+ componentCallImportedName: edge.importedName,
130
+ componentCallLocalName: edge.localName,
131
+ componentCallTargetExportName: target.targetExportName,
132
+ componentCallReExportEdgeId: reExport?.id,
133
+ componentCallReExportSourcePath: reExport?.sourcePath,
134
+ componentCallReExportExportedName: reExport?.exportedName,
135
+ componentCallReExportLocalName: reExport?.localName,
136
+ componentCallReExportTargetSourcePath: reExport?.resolvedModulePath,
137
+ componentCallReExportKind: reExport?.exportStar ? 'export-star' : reExport ? 'named' : undefined,
138
+ componentCallReExportIdentityId: reExport?.reExportIdentityId
139
+ };
140
+ }
141
+
142
+ function exportLocalNameIndex(exportEdges = []) {
143
+ const result = new Map();
144
+ for (const edge of exportEdges) {
145
+ if (!edge?.sourcePath || !edge.exportedName) continue;
146
+ result.set(`${edge.sourcePath}\0${edge.exportedName}`, edge.localName ?? edge.exportedName);
147
+ }
148
+ return result;
149
+ }
150
+
151
+ function reExportTargetIndex(exportEdges = []) {
152
+ const result = new Map();
153
+ for (const edge of exportEdges) {
154
+ if (!edge?.sourcePath || !edge.resolvedModulePath || !edge.isReExport || edge.exportStar || !plainComponentName(edge.exportedName)) continue;
155
+ result.set(`${edge.sourcePath}\0${edge.exportedName}`, edge);
156
+ }
157
+ return result;
158
+ }
159
+
160
+ function addImportedOwner(result, sourcePath, localName, owner) {
161
+ const byName = result.get(sourcePath) ?? new Map();
162
+ byName.set(localName, [...(byName.get(localName) ?? []), owner]);
163
+ result.set(sourcePath, byName);
164
+ }
165
+
166
+ function plainComponentName(name) {
167
+ return /^[A-Z][A-Za-z0-9_$]*$/.test(String(name ?? '')) ? String(name) : undefined;
168
+ }
169
+
170
+ export { jsxImportedComponentOwnerIndexes, jsxImportedMemberComponentOwnerIndexes, mergeJsxComponentOwnerIndexes };
@@ -0,0 +1,167 @@
1
+ import { hashSemanticValue } from '@shapeshift-labs/frontier-lang-kernel';
2
+ import { uniqueStrings } from '../../native-import-utils.js';
3
+
4
+ function jsxComponentProviderContextConsumerRecords(tag, componentCall, contextProviderAncestors = []) {
5
+ if (!componentCall) return [];
6
+ if (componentCall.status !== 'resolved') return [unsupportedComponentProviderLookupRecord(tag, componentCall, contextProviderAncestors)];
7
+ const calls = (componentCall.owner?.hookCalls ?? []).filter((call) => call?.contextExpressionHash);
8
+ return calls.map((call) => componentContextConsumerRecord(call, tag, componentCall, contextProviderAncestors));
9
+ }
10
+
11
+ function componentContextConsumerRecord(call, tag, componentCall, contextProviderAncestors) {
12
+ const proofStatus = call.contextConsumerProofStatus ?? (call.contextConsumerDynamicTarget
13
+ ? 'dynamic-context-target-unsupported'
14
+ : 'static-context-target-evidence');
15
+ const provider = nearestContextProvider(contextProviderAncestors, call.contextName);
16
+ const flow = provider?.providerFlowStatus === 'static-provider-children-flow-evidence';
17
+ const projectImport = String(componentCall.scope ?? '').startsWith('project-import-');
18
+ const componentCallLookupHash = hashSemanticValue({
19
+ kind: 'frontier.lang.projectJsxComponentProviderLookupTarget',
20
+ tagName: tag.tagName,
21
+ targetName: componentCall.targetName,
22
+ ownerName: componentCall.owner?.name,
23
+ scope: componentCall.scope,
24
+ targetSourcePath: componentCall.owner?.componentCallTargetSourcePath,
25
+ importEdgeId: componentCall.owner?.componentCallImportEdgeId,
26
+ reExportEdgeId: componentCall.owner?.componentCallReExportEdgeId,
27
+ reExportIdentityId: componentCall.owner?.componentCallReExportIdentityId,
28
+ memberBindingHash: componentCall.owner?.componentCallMemberBindingHash
29
+ });
30
+ const lookupHash = provider ? hashSemanticValue({
31
+ kind: 'frontier.lang.projectJsxComponentContextProviderLookup',
32
+ contextName: call.contextName,
33
+ tagName: provider.tagName,
34
+ depth: provider.depth,
35
+ providerFlowHash: provider.providerFlowHash,
36
+ componentProviderFlowLookupHash: provider.componentProviderFlowLookupHash,
37
+ componentCallLookupHash
38
+ }) : undefined;
39
+ const signatureHash = hashSemanticValue({
40
+ kind: 'frontier.lang.projectJsxComponentContextConsumerWithProviderLookup',
41
+ baseSignatureHash: call.contextConsumerSignatureHash,
42
+ contextName: call.contextName,
43
+ provider,
44
+ componentCallLookupHash
45
+ });
46
+ return compactRecord({
47
+ hookName: call.name,
48
+ ordinal: call.ordinal,
49
+ contextName: call.contextName,
50
+ contextExpressionText: call.contextExpressionText,
51
+ contextExpressionHash: call.contextExpressionHash,
52
+ contextTargetKind: call.contextTargetKind,
53
+ contextTargetReasonCode: call.contextTargetReasonCode,
54
+ contextTargetReferenceRoot: call.contextTargetReferenceRoot,
55
+ contextTargetReferencePath: call.contextTargetReferencePath,
56
+ contextTargetReferenceMemberPath: call.contextTargetReferenceMemberPath,
57
+ optionalReference: call.contextTargetOptionalReference,
58
+ optionalReferenceSegments: call.contextTargetOptionalReferenceSegments,
59
+ optionalReferenceSegmentIndexes: call.contextTargetOptionalReferenceSegmentIndexes,
60
+ optionalNullishBoundaryCount: call.contextTargetOptionalNullishBoundaryCount,
61
+ contextProviderLookupStatus: contextProviderLookupStatus(provider, flow, projectImport),
62
+ contextProviderLookupScope: contextProviderLookupScope(flow, projectImport, componentCall.scope, provider),
63
+ contextProviderLookupName: provider?.contextName,
64
+ contextProviderLookupTagName: provider?.tagName,
65
+ contextProviderLookupDepth: provider?.depth,
66
+ contextProviderLookupHash: lookupHash,
67
+ componentCallLookupStatus: componentCall.lookupStatus ?? 'same-file-component-target-evidence',
68
+ componentCallTagName: tag.tagName,
69
+ componentCallTargetName: componentCall.targetName,
70
+ componentCallTargetOwnerName: componentCall.owner?.name,
71
+ componentCallTargetSourcePath: componentCall.owner?.componentCallTargetSourcePath,
72
+ componentCallImportEdgeId: componentCall.owner?.componentCallImportEdgeId,
73
+ componentCallImportKind: componentCall.owner?.componentCallImportKind,
74
+ componentCallImportedName: componentCall.owner?.componentCallImportedName,
75
+ componentCallLocalName: componentCall.owner?.componentCallLocalName,
76
+ componentCallMemberObjectName: componentCall.owner?.componentCallMemberObjectName,
77
+ componentCallMemberPropertyName: componentCall.owner?.componentCallMemberPropertyName,
78
+ componentCallMemberLocalName: componentCall.owner?.componentCallMemberLocalName,
79
+ componentCallMemberBindingKind: componentCall.owner?.componentCallMemberBindingKind,
80
+ componentCallMemberBindingHash: componentCall.owner?.componentCallMemberBindingHash,
81
+ componentCallTargetExportName: componentCall.owner?.componentCallTargetExportName,
82
+ componentCallReExportEdgeId: componentCall.owner?.componentCallReExportEdgeId,
83
+ componentCallReExportSourcePath: componentCall.owner?.componentCallReExportSourcePath,
84
+ componentCallReExportExportedName: componentCall.owner?.componentCallReExportExportedName,
85
+ componentCallReExportLocalName: componentCall.owner?.componentCallReExportLocalName,
86
+ componentCallReExportTargetSourcePath: componentCall.owner?.componentCallReExportTargetSourcePath,
87
+ componentCallReExportKind: componentCall.owner?.componentCallReExportKind,
88
+ componentCallReExportIdentityId: componentCall.owner?.componentCallReExportIdentityId,
89
+ componentCallLookupHash,
90
+ componentProviderFlowStatus: provider?.providerFlowStatus,
91
+ componentProviderFlowOwnerName: provider?.componentProviderFlowOwnerName,
92
+ componentProviderFlowHash: provider?.providerFlowHash,
93
+ componentProviderFlowLookupStatus: provider?.componentProviderFlowLookupStatus,
94
+ componentProviderFlowLookupScope: provider?.componentProviderFlowLookupScope,
95
+ componentProviderFlowLookupHash: provider?.componentProviderFlowLookupHash,
96
+ componentProviderFlowComponentTagName: provider?.componentProviderFlowComponentTagName,
97
+ componentProviderFlowTargetOwnerName: provider?.componentProviderFlowTargetOwnerName,
98
+ componentProviderFlowTargetSourcePath: provider?.componentProviderFlowTargetSourcePath,
99
+ componentProviderFlowImportEdgeId: provider?.componentProviderFlowImportEdgeId,
100
+ componentProviderFlowImportKind: provider?.componentProviderFlowImportKind,
101
+ componentProviderFlowImportedName: provider?.componentProviderFlowImportedName,
102
+ componentProviderFlowLocalName: provider?.componentProviderFlowLocalName,
103
+ componentProviderFlowTargetExportName: provider?.componentProviderFlowTargetExportName,
104
+ componentProviderFlowReExportEdgeId: provider?.componentProviderFlowReExportEdgeId,
105
+ componentProviderFlowReExportSourcePath: provider?.componentProviderFlowReExportSourcePath,
106
+ componentProviderFlowReExportExportedName: provider?.componentProviderFlowReExportExportedName,
107
+ componentProviderFlowReExportLocalName: provider?.componentProviderFlowReExportLocalName,
108
+ componentProviderFlowReExportTargetSourcePath: provider?.componentProviderFlowReExportTargetSourcePath,
109
+ componentProviderFlowReExportKind: provider?.componentProviderFlowReExportKind,
110
+ componentProviderFlowReExportIdentityId: provider?.componentProviderFlowReExportIdentityId,
111
+ signatureHash,
112
+ proofStatus,
113
+ dynamicTargetKind: call.contextTargetDynamicKind,
114
+ dynamicBlockerReasonCode: call.contextTargetDynamicBlockerReasonCode,
115
+ dynamicTarget: call.contextConsumerDynamicTarget
116
+ });
117
+ }
118
+
119
+ function contextProviderLookupStatus(provider, flow, projectImport) {
120
+ if (!provider) return undefined;
121
+ if (flow && provider.componentProviderFlowLookupScope) return 'static-project-import-component-provider-flow-evidence';
122
+ if (projectImport) return flow ? 'static-project-import-component-provider-flow-evidence' : 'static-project-import-component-provider-evidence';
123
+ return flow ? 'static-same-file-component-provider-flow-evidence' : 'static-same-file-component-provider-evidence';
124
+ }
125
+
126
+ function contextProviderLookupScope(flow, projectImport, scope, provider) {
127
+ if (flow && provider?.componentProviderFlowLookupScope) return projectImportProviderFlowScope(provider.componentProviderFlowLookupScope);
128
+ if (projectImport) return flow ? projectImportProviderFlowScope(scope) : scope;
129
+ if (scope === 'same-file-member-component') return flow ? 'same-file-member-component-children-flow' : 'same-file-member-component';
130
+ return flow ? 'same-file-component-children-flow' : 'same-file-direct-component';
131
+ }
132
+
133
+ function projectImportProviderFlowScope(scope) {
134
+ if (scope === 'project-import-reexport-member-component') return 'project-import-reexport-member-component-children-flow';
135
+ if (scope === 'project-import-member-component') return 'project-import-member-component-children-flow';
136
+ return scope === 'project-import-reexport-component' ? 'project-import-reexport-component-children-flow' : 'project-import-component-children-flow';
137
+ }
138
+
139
+ function unsupportedComponentProviderLookupRecord(tag, componentCall, contextProviderAncestors) {
140
+ const reasonCodes = uniqueStrings([componentCall.reasonCode, 'jsx-render-context-consumer-provider-component-target-unsupported']);
141
+ return compactRecord({
142
+ proofStatus: 'component-provider-lookup-unsupported',
143
+ contextProviderLookupScope: 'same-file-direct-component',
144
+ componentCallLookupStatus: 'component-target-unsupported',
145
+ componentCallTagName: tag.tagName,
146
+ componentCallTargetName: componentCall.targetName,
147
+ componentCallUnsupportedReasonCodes: reasonCodes,
148
+ contextProviderPath: contextProviderAncestors.map((provider) => provider.contextName).filter(Boolean),
149
+ signatureHash: hashSemanticValue({
150
+ kind: 'frontier.lang.projectJsxComponentProviderLookupUnsupported',
151
+ tagName: tag.tagName,
152
+ targetName: componentCall.targetName,
153
+ reasonCodes
154
+ })
155
+ });
156
+ }
157
+
158
+ function nearestContextProvider(providers = [], contextName) {
159
+ if (!contextName) return undefined;
160
+ const match = providers.map((provider, depth) => ({ ...provider, depth: depth + 1 })).reverse()
161
+ .find((provider) => provider.contextName === contextName);
162
+ return match ? compactRecord(match) : undefined;
163
+ }
164
+
165
+ function compactRecord(record) { return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined)); }
166
+
167
+ export { jsxComponentProviderContextConsumerRecords };