@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,160 @@
1
+ function compilerAdvancedTypeShapes(checker, identitySymbol, location, ts) {
2
+ const declarations = Array.isArray(identitySymbol?.declarations) ? identitySymbol.declarations : [];
3
+ const records = [];
4
+ for (const declaration of declarations) {
5
+ visitTypeNodes(ts, declaration, (node) => {
6
+ const record = advancedTypeShapeRecord(checker, node, location, ts);
7
+ if (record) records.push(record);
8
+ });
9
+ }
10
+ return uniqueRecords(records, (record) => [record.kind, record.nodeText, record.typeText].join('\0'));
11
+ }
12
+
13
+ function advancedTypeShapeRecord(checker, node, location, ts) {
14
+ if (isSyntaxKind(ts, node, 'ConditionalType')) {
15
+ return compactRecord({
16
+ kind: 'conditional-type',
17
+ syntaxKind: syntaxKindName(ts, node.kind),
18
+ nodeText: nodeText(node),
19
+ typeText: typeTextFromTypeNode(checker, node, location),
20
+ checkTypeText: typeTextFromTypeNode(checker, node.checkType, location),
21
+ extendsTypeText: typeTextFromTypeNode(checker, node.extendsType, location),
22
+ trueTypeText: typeTextFromTypeNode(checker, node.trueType, location),
23
+ falseTypeText: typeTextFromTypeNode(checker, node.falseType, location)
24
+ });
25
+ }
26
+ if (isSyntaxKind(ts, node, 'MappedType')) {
27
+ return compactRecord({
28
+ kind: 'mapped-type',
29
+ syntaxKind: syntaxKindName(ts, node.kind),
30
+ nodeText: nodeText(node),
31
+ typeText: typeTextFromTypeNode(checker, node, location),
32
+ mappedConstraintTypeText: typeTextFromTypeNode(checker, node.typeParameter?.constraint, location),
33
+ mappedValueTypeText: typeTextFromTypeNode(checker, node.type, location)
34
+ });
35
+ }
36
+ if (isSyntaxKind(ts, node, 'IndexedAccessType')) {
37
+ return compactRecord({
38
+ kind: 'indexed-access-type',
39
+ syntaxKind: syntaxKindName(ts, node.kind),
40
+ nodeText: nodeText(node),
41
+ typeText: typeTextFromTypeNode(checker, node, location),
42
+ objectTypeText: typeTextFromTypeNode(checker, node.objectType, location),
43
+ indexTypeText: typeTextFromTypeNode(checker, node.indexType, location)
44
+ });
45
+ }
46
+ if (isSyntaxKind(ts, node, 'TypeOperator') && node.operator === syntaxKind(ts, 'KeyOfKeyword')) {
47
+ return compactRecord({
48
+ kind: 'keyof-type-operator',
49
+ syntaxKind: syntaxKindName(ts, node.kind),
50
+ nodeText: nodeText(node),
51
+ typeText: typeTextFromTypeNode(checker, node, location),
52
+ keyofTargetTypeText: typeTextFromTypeNode(checker, node.type, location)
53
+ });
54
+ }
55
+ if (isSyntaxKind(ts, node, 'TemplateLiteralType')) {
56
+ return compactRecord({
57
+ kind: 'template-literal-type',
58
+ syntaxKind: syntaxKindName(ts, node.kind),
59
+ nodeText: nodeText(node),
60
+ typeText: typeTextFromTypeNode(checker, node, location),
61
+ templateHeadText: literalText(node.head?.text) ?? nodeText(node.head),
62
+ templateSpanCount: arrayValue(node.templateSpans).length || undefined,
63
+ templateSpanTexts: nonEmptyArray(arrayValue(node.templateSpans).map((span) => nodeText(span))),
64
+ templateSpanTypeTexts: nonEmptyArray(arrayValue(node.templateSpans).map((span) => typeTextFromTypeNode(checker, span.type, location))),
65
+ templateLiteralTexts: nonEmptyArray([
66
+ literalText(node.head?.text) ?? nodeText(node.head),
67
+ ...arrayValue(node.templateSpans).map((span) => literalText(span.literal?.text) ?? nodeText(span.literal))
68
+ ].filter((value) => value !== undefined))
69
+ });
70
+ }
71
+ if (isSyntaxKind(ts, node, 'InferType')) {
72
+ return compactRecord({
73
+ kind: 'infer-type',
74
+ syntaxKind: syntaxKindName(ts, node.kind),
75
+ nodeText: nodeText(node),
76
+ typeText: typeTextFromTypeNode(checker, node, location),
77
+ typeParameterText: nodeText(node.typeParameter),
78
+ typeParameterName: stringValue(node.typeParameter?.name?.escapedText ?? node.typeParameter?.name?.text),
79
+ constraintTypeText: typeTextFromTypeNode(checker, node.typeParameter?.constraint, location)
80
+ });
81
+ }
82
+ if ((isSyntaxKind(ts, node, 'UnionType') || isSyntaxKind(ts, node, 'IntersectionType')) && isTopLevelTypeAliasShape(ts, node)) {
83
+ const shapeKind = isSyntaxKind(ts, node, 'UnionType') ? 'union-type' : 'intersection-type';
84
+ return compactRecord({
85
+ kind: shapeKind,
86
+ syntaxKind: syntaxKindName(ts, node.kind),
87
+ nodeText: nodeText(node),
88
+ typeText: typeTextFromTypeNode(checker, node, location),
89
+ memberTypeTexts: nonEmptyArray(arrayValue(node.types).map((typeNode) => typeTextFromTypeNode(checker, typeNode, location))),
90
+ memberNodeTexts: nonEmptyArray(arrayValue(node.types).map((typeNode) => nodeText(typeNode)))
91
+ });
92
+ }
93
+ if (isSyntaxKind(ts, node, 'TupleType') && isTopLevelTypeAliasShape(ts, node)) {
94
+ return compactRecord({
95
+ kind: 'tuple-type',
96
+ syntaxKind: syntaxKindName(ts, node.kind),
97
+ nodeText: nodeText(node),
98
+ typeText: typeTextFromTypeNode(checker, node, location),
99
+ tupleElementTexts: nonEmptyArray(arrayValue(node.elements).map((element) => nodeText(element))),
100
+ tupleElementTypeTexts: nonEmptyArray(arrayValue(node.elements).map((element) => tupleElementTypeText(checker, element, location, ts)))
101
+ });
102
+ }
103
+ return undefined;
104
+ }
105
+
106
+ function tupleElementTypeText(checker, element, location, ts) {
107
+ if (isSyntaxKind(ts, element, 'NamedTupleMember')) return typeTextFromTypeNode(checker, element.type, location);
108
+ if (isSyntaxKind(ts, element, 'OptionalType')) return typeTextFromTypeNode(checker, element.type, location);
109
+ if (isSyntaxKind(ts, element, 'RestType')) return typeTextFromTypeNode(checker, element.type, location);
110
+ return typeTextFromTypeNode(checker, element, location);
111
+ }
112
+
113
+ function visitTypeNodes(ts, node, visit) {
114
+ if (!node || typeof node !== 'object') return;
115
+ visit(node);
116
+ if (typeof ts?.forEachChild === 'function') {
117
+ ts.forEachChild(node, (child) => visitTypeNodes(ts, child, visit));
118
+ return;
119
+ }
120
+ for (const value of Object.values(node)) {
121
+ if (Array.isArray(value)) value.forEach((child) => visitTypeNodes(ts, child, visit));
122
+ else if (value && typeof value === 'object' && Number.isFinite(value.kind)) visitTypeNodes(ts, value, visit);
123
+ }
124
+ }
125
+
126
+ function typeTextFromTypeNode(checker, node, location) {
127
+ const type = safeCall(checker?.getTypeFromTypeNode, checker, node) ?? safeCall(checker?.getTypeAtLocation, checker, node ?? location);
128
+ return type ? stringValue(safeCall(checker?.typeToString, checker, type)) : nodeText(node);
129
+ }
130
+
131
+ function syntaxKind(ts, name) { return numberValue(ts?.SyntaxKind?.[name]); }
132
+ function isSyntaxKind(ts, node, name) { return node?.kind === syntaxKind(ts, name); }
133
+ function isTopLevelTypeAliasShape(ts, node) {
134
+ const parent = node?.parent;
135
+ return isSyntaxKind(ts, parent, 'TypeAliasDeclaration')
136
+ || (isSyntaxKind(ts, parent, 'TypeOperator') && isSyntaxKind(ts, parent?.parent, 'TypeAliasDeclaration'));
137
+ }
138
+ function syntaxKindName(ts, kind) { return stringValue(ts?.SyntaxKind?.[kind]) ?? (Number.isFinite(kind) ? String(kind) : undefined); }
139
+ function nodeText(node) { return stringValue(safeCall(node?.getText, node)); }
140
+ function safeCall(fn, receiver, ...args) {
141
+ if (typeof fn !== 'function') return undefined;
142
+ try { return fn.apply(receiver, args); } catch { return undefined; }
143
+ }
144
+ function stringValue(value) { return value === undefined || value === null || value === '' ? undefined : String(value); }
145
+ function literalText(value) { return value === undefined || value === null ? undefined : String(value); }
146
+ function numberValue(value) { return Number.isFinite(value) ? value : undefined; }
147
+ function arrayValue(value) { return Array.isArray(value) ? value : []; }
148
+ function nonEmptyArray(value) { return Array.isArray(value) && value.length ? value : undefined; }
149
+ function uniqueRecords(records, keyFn) {
150
+ const seen = new Set();
151
+ return records.filter((record) => {
152
+ const key = keyFn(record);
153
+ if (seen.has(key)) return false;
154
+ seen.add(key);
155
+ return true;
156
+ });
157
+ }
158
+ function compactRecord(record) { return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined)); }
159
+
160
+ export { compilerAdvancedTypeShapes };
@@ -0,0 +1,97 @@
1
+ function compilerAssignabilityOracleRecord(checker, type, apparentType, identitySymbol, location, ts) {
2
+ const declaration = boundedAssignabilityAliasDeclaration(identitySymbol, ts);
3
+ if (!declaration || typeof checker?.isTypeAssignableTo !== 'function' || !type || !apparentType) return undefined;
4
+ const directions = [
5
+ compilerAssignabilityOracleDirection(checker, 'declared-to-apparent', type, apparentType),
6
+ compilerAssignabilityOracleDirection(checker, 'apparent-to-declared', apparentType, type)
7
+ ].filter(Boolean);
8
+ const complete = directions.length === 2 && directions.every((direction) => typeof direction.assignable === 'boolean');
9
+ return compactRecord({
10
+ kind: 'typescript-checker-public-api-declared-apparent-assignability-oracle',
11
+ scope: 'public-type-alias-declared-apparent',
12
+ oracle: 'TypeChecker.isTypeAssignableTo',
13
+ declarationKind: 'type-alias',
14
+ declarationCount: Array.isArray(identitySymbol?.declarations) ? identitySymbol.declarations.length : undefined,
15
+ typeNodeText: nodeText(declaration.type),
16
+ declaredTypeText: typeText(checker, type),
17
+ apparentTypeText: typeText(checker, apparentType),
18
+ directions: nonEmptyArray(directions),
19
+ directionCount: directions.length || undefined,
20
+ equivalentByBidirectionalAssignability: complete ? directions.every((direction) => direction.assignable === true) : undefined,
21
+ ambiguous: complete ? undefined : true,
22
+ autoMergeClaim: false,
23
+ semanticEquivalenceClaim: false,
24
+ runtimeEquivalenceClaim: false
25
+ });
26
+ }
27
+
28
+ function compilerAssignabilityOracleDirection(checker, direction, fromType, toType) {
29
+ const assignable = safeCall(checker.isTypeAssignableTo, checker, fromType, toType);
30
+ return compactRecord({
31
+ direction,
32
+ fromTypeText: typeText(checker, fromType),
33
+ toTypeText: typeText(checker, toType),
34
+ assignable: typeof assignable === 'boolean' ? assignable : undefined
35
+ });
36
+ }
37
+
38
+ function boundedAssignabilityAliasDeclaration(identitySymbol, ts) {
39
+ const declarations = Array.isArray(identitySymbol?.declarations) ? identitySymbol.declarations : [];
40
+ return declarations.find((declaration) => (
41
+ isSyntaxKind(ts, declaration, 'TypeAliasDeclaration')
42
+ && isBoundedAssignabilityTypeAliasNode(declaration.type, ts)
43
+ ));
44
+ }
45
+
46
+ function isBoundedAssignabilityTypeAliasNode(node, ts) {
47
+ if (!node) return false;
48
+ const excludedKinds = [
49
+ 'ConditionalType',
50
+ 'ConstructorType',
51
+ 'FunctionType',
52
+ 'IndexedAccessType',
53
+ 'InferType',
54
+ 'IntersectionType',
55
+ 'MappedType',
56
+ 'TemplateLiteralType',
57
+ 'TupleType',
58
+ 'TypeLiteral',
59
+ 'TypeOperator',
60
+ 'UnionType'
61
+ ];
62
+ return !excludedKinds.some((kind) => isSyntaxKind(ts, node, kind));
63
+ }
64
+
65
+ function hasFocusedCompilerApiShape(record) {
66
+ return arrayValue(record.typeParameters).length > 0
67
+ || arrayValue(record.callSignatures).length > 0
68
+ || arrayValue(record.constructSignatures).length > 0
69
+ || arrayValue(record.properties).length > 0
70
+ || arrayValue(record.indexSignatures).length > 0
71
+ || arrayValue(record.advancedTypeShapes).length > 0
72
+ || arrayValue(record.typeReferenceTargets).length > 0
73
+ || objectHasValues(record.classApi)
74
+ || objectHasValues(record.enumShape)
75
+ || objectHasValues(record.typeInferenceSyntax);
76
+ }
77
+
78
+ function safeCall(fn, receiver, ...args) {
79
+ if (typeof fn !== 'function') return undefined;
80
+ try { return fn.apply(receiver, args); } catch { return undefined; }
81
+ }
82
+
83
+ function stringValue(value) {
84
+ return value === undefined || value === null || value === '' ? undefined : String(value);
85
+ }
86
+
87
+ function numberValue(value) { return Number.isFinite(value) ? value : undefined; }
88
+ function syntaxKind(ts, name) { return numberValue(ts?.SyntaxKind?.[name]); }
89
+ function isSyntaxKind(ts, node, name) { return node?.kind === syntaxKind(ts, name); }
90
+ function typeText(checker, type) { return type ? stringValue(safeCall(checker?.typeToString, checker, type)) : undefined; }
91
+ function nonEmptyArray(value) { return Array.isArray(value) && value.length ? value : undefined; }
92
+ function arrayValue(value) { return Array.isArray(value) ? value : []; }
93
+ function nodeText(node) { return stringValue(safeCall(node?.getText, node)); }
94
+ function objectHasValues(value) { return value && typeof value === 'object' && !Array.isArray(value) && Object.keys(value).length > 0; }
95
+ function compactRecord(record) { return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined)); }
96
+
97
+ export { compilerAssignabilityOracleRecord, hasFocusedCompilerApiShape };
@@ -0,0 +1,238 @@
1
+ import { hashSemanticValue } from '@shapeshift-labs/frontier-lang-kernel';
2
+ import { compilerDecoratorMetadataRecord } from './typeScriptCompilerDecoratorMetadata.js';
3
+
4
+ function compilerClassApiRecord(checker, identitySymbol, location, ts) {
5
+ const declarations = Array.isArray(identitySymbol?.declarations) ? identitySymbol.declarations : [];
6
+ const classHeritage = uniqueRecords(
7
+ declarations.flatMap((declaration) => compilerClassHeritageRecords(checker, declaration, location, ts)),
8
+ (record) => [record.kind, record.expressionText, record.typeText].join('\0')
9
+ );
10
+ const constructorSignatures = uniqueRecords(
11
+ declarations.flatMap((declaration) => compilerConstructorSignatureRecords(checker, declaration, location, ts)),
12
+ (record) => [record.signatureText, record.parameters?.map((parameter) => parameter.typeText).join(',')].join('\0')
13
+ );
14
+ const privateClassMembers = uniqueRecords(
15
+ declarations.flatMap((declaration) => compilerClassPrivateMemberRecords(checker, declaration, location, ts)),
16
+ (record) => [record.kind, record.name, record.static, record.typeText, record.signatureText].join('\0')
17
+ );
18
+ const accessorFieldMembers = uniqueRecords(
19
+ declarations.flatMap((declaration) => compilerAccessorFieldRecords(checker, declaration, location, ts)),
20
+ (record) => [record.name, record.static, record.typeText, record.memberText].join('\0')
21
+ );
22
+ const decoratorMetadata = compilerDecoratorMetadataRecord(checker, identitySymbol, location, ts);
23
+ return compactRecord({
24
+ classHeritage: nonEmptyArray(classHeritage),
25
+ classHeritageCount: classHeritage.length || undefined,
26
+ constructorSignatures: nonEmptyArray(constructorSignatures),
27
+ constructorSignatureCount: constructorSignatures.length || undefined,
28
+ privateClassMembers: nonEmptyArray(privateClassMembers),
29
+ privateClassMemberCount: privateClassMembers.length || undefined,
30
+ privateClassMemberShapeHash: privateClassMembers.length ? hashSemanticValue({ kind: 'frontier.lang.typescript.compilerPrivateClassMemberShape.v1', privateClassMembers }) : undefined,
31
+ accessorFieldMembers: nonEmptyArray(accessorFieldMembers),
32
+ accessorFieldCount: accessorFieldMembers.length || undefined,
33
+ accessorFieldShapeHash: accessorFieldMembers.length ? hashSemanticValue({ kind: 'frontier.lang.typescript.compilerAccessorFieldShape.v1', accessorFieldMembers }) : undefined,
34
+ classMemberShapeProof: privateClassMembers.length || accessorFieldMembers.length ? compilerClassMemberShapeProof(privateClassMembers, accessorFieldMembers) : undefined,
35
+ ...decoratorMetadata
36
+ });
37
+ }
38
+
39
+ function compilerClassHeritageRecords(checker, declaration, location, ts) {
40
+ const clauses = Array.isArray(declaration?.heritageClauses) ? declaration.heritageClauses : [];
41
+ const records = [];
42
+ clauses.forEach((clause, clauseOrdinal) => {
43
+ const kind = heritageKind(ts, clause);
44
+ const types = Array.isArray(clause.types) ? clause.types : [];
45
+ types.forEach((entry, ordinal) => records.push(compactRecord({
46
+ kind,
47
+ syntaxKind: syntaxKindName(ts, clause.token),
48
+ clauseOrdinal,
49
+ ordinal,
50
+ expressionText: nodeText(entry.expression ?? entry),
51
+ typeText: heritageTypeText(checker, entry, location),
52
+ typeArguments: nonEmptyArray((entry.typeArguments ?? []).map((argument) => typeTextFromTypeNode(checker, argument, location)))
53
+ })));
54
+ });
55
+ return records;
56
+ }
57
+
58
+ function compilerConstructorSignatureRecords(checker, declaration, location, ts) {
59
+ const members = Array.isArray(declaration?.members) ? declaration.members : [];
60
+ return members
61
+ .filter((member) => isSyntaxKind(ts, member, 'Constructor'))
62
+ .map((member, ordinal) => {
63
+ const signature = safeCall(checker?.getSignatureFromDeclaration, checker, member);
64
+ return compactRecord({
65
+ ordinal,
66
+ signatureText: stringValue(safeCall(checker?.signatureToString, checker, signature)) ?? nodeText(member),
67
+ accessibility: accessibilityModifier(member, ts),
68
+ parameterCount: Array.isArray(member.parameters) ? member.parameters.length : undefined,
69
+ parameters: nonEmptyArray((member.parameters ?? []).map((parameter, parameterOrdinal) => compilerConstructorParameterRecord(checker, parameter, location, ts, parameterOrdinal)))
70
+ });
71
+ });
72
+ }
73
+
74
+ function compilerConstructorParameterRecord(checker, parameter, location, ts, ordinal) {
75
+ const type = parameter.type
76
+ ? safeCall(checker?.getTypeFromTypeNode, checker, parameter.type)
77
+ : safeCall(checker?.getTypeAtLocation, checker, parameter);
78
+ return compactRecord({
79
+ name: nodeText(parameter.name),
80
+ ordinal,
81
+ typeText: type ? stringValue(safeCall(checker?.typeToString, checker, type)) : typeTextFromTypeNode(checker, parameter.type, location),
82
+ optional: Boolean(parameter.questionToken || parameter.initializer) || undefined,
83
+ rest: Boolean(parameter.dotDotDotToken) || undefined,
84
+ accessibility: accessibilityModifier(parameter, ts),
85
+ parameterProperty: isParameterProperty(parameter, ts) || undefined
86
+ });
87
+ }
88
+
89
+ function compilerClassPrivateMemberRecords(checker, declaration, location, ts) {
90
+ const members = Array.isArray(declaration?.members) ? declaration.members : [];
91
+ return members.flatMap((member, ordinal) => {
92
+ if (!isPrivateClassMember(member, ts)) return [];
93
+ return [compilerClassMemberRecord(checker, member, location, ts, ordinal, true)];
94
+ });
95
+ }
96
+
97
+ function compilerAccessorFieldRecords(checker, declaration, location, ts) {
98
+ const members = Array.isArray(declaration?.members) ? declaration.members : [];
99
+ return members.flatMap((member, ordinal) => {
100
+ if (!isAccessorField(member, ts)) return [];
101
+ return [compilerClassMemberRecord(checker, member, location, ts, ordinal, false)];
102
+ });
103
+ }
104
+
105
+ function compilerClassMemberRecord(checker, member, location, ts, ordinal, privateMember) {
106
+ const type = compilerClassMemberType(checker, member, location);
107
+ const signature = safeCall(checker?.getSignatureFromDeclaration, checker, member);
108
+ return compactRecord({
109
+ kind: compilerClassMemberKind(member, ts, privateMember),
110
+ syntaxKind: syntaxKindName(ts, member?.kind),
111
+ name: compilerClassMemberName(member),
112
+ ordinal,
113
+ static: hasModifier(member?.modifiers, ts, 'StaticKeyword') || undefined,
114
+ readonly: hasModifier(member?.modifiers, ts, 'ReadonlyKeyword') || undefined,
115
+ accessibility: accessibilityModifier(member, ts),
116
+ privateIdentifier: isPrivateIdentifier(member?.name, ts) || undefined,
117
+ accessorField: isAccessorField(member, ts) || undefined,
118
+ typeText: type ? stringValue(safeCall(checker?.typeToString, checker, type)) : typeTextFromTypeNode(checker, member?.type, location),
119
+ signatureText: signature ? stringValue(safeCall(checker?.signatureToString, checker, signature)) : undefined,
120
+ parameterCount: Array.isArray(member?.parameters) ? member.parameters.length : undefined,
121
+ memberText: nodeText(member)
122
+ });
123
+ }
124
+
125
+ function compilerClassMemberShapeProof(privateClassMembers, accessorFieldMembers) {
126
+ return compactRecord({
127
+ kind: 'typescript-checker-class-private-accessor-shape-evidence',
128
+ status: 'passed',
129
+ proofLevel: 'typescript-checker-class-private-accessor-static-shape',
130
+ checkerInvariant: 'private/accessor member names, kinds, modifiers, types, and source texts complete',
131
+ requiredSignals: [
132
+ 'compiler-private-class-member-count',
133
+ 'compiler-private-class-member-names',
134
+ 'compiler-private-class-member-type-texts',
135
+ 'compiler-accessor-field-count',
136
+ 'compiler-accessor-field-names',
137
+ 'compiler-accessor-field-type-texts'
138
+ ],
139
+ privateClassMemberCount: privateClassMembers.length || undefined,
140
+ accessorFieldCount: accessorFieldMembers.length || undefined,
141
+ privateClassMemberShapeHash: privateClassMembers.length ? hashSemanticValue({ kind: 'frontier.lang.typescript.compilerPrivateClassMemberShape.v1', privateClassMembers }) : undefined,
142
+ accessorFieldShapeHash: accessorFieldMembers.length ? hashSemanticValue({ kind: 'frontier.lang.typescript.compilerAccessorFieldShape.v1', accessorFieldMembers }) : undefined,
143
+ autoMergeClaim: false,
144
+ semanticEquivalenceClaim: false,
145
+ runtimeEquivalenceClaim: false
146
+ });
147
+ }
148
+
149
+ function compilerClassMemberType(checker, member, location) {
150
+ return member?.type
151
+ ? safeCall(checker?.getTypeFromTypeNode, checker, member.type)
152
+ : safeCall(checker?.getTypeAtLocation, checker, member?.name ?? member ?? location);
153
+ }
154
+
155
+ function compilerClassMemberKind(member, ts, privateMember) {
156
+ if (isSyntaxKind(ts, member, 'MethodDeclaration')) return privateMember ? 'private-method' : 'method';
157
+ if (isSyntaxKind(ts, member, 'GetAccessor')) return privateMember ? 'private-get-accessor' : 'get-accessor';
158
+ if (isSyntaxKind(ts, member, 'SetAccessor')) return privateMember ? 'private-set-accessor' : 'set-accessor';
159
+ if (isAccessorField(member, ts)) return privateMember ? 'private-accessor-field' : 'accessor-field';
160
+ return privateMember ? 'private-field' : 'field';
161
+ }
162
+
163
+ function compilerClassMemberName(member) {
164
+ const name = member?.name;
165
+ return stringValue(name?.escapedText ?? name?.text ?? nodeText(name));
166
+ }
167
+
168
+ function isPrivateClassMember(member, ts) {
169
+ return isPrivateIdentifier(member?.name, ts) || accessibilityModifier(member, ts) === 'private';
170
+ }
171
+
172
+ function isPrivateIdentifier(node, ts) {
173
+ return node?.kind === syntaxKind(ts, 'PrivateIdentifier');
174
+ }
175
+
176
+ function isAccessorField(member, ts) {
177
+ return isSyntaxKind(ts, member, 'PropertyDeclaration') && hasModifier(member?.modifiers, ts, 'AccessorKeyword');
178
+ }
179
+
180
+ function heritageKind(ts, clause) {
181
+ if (clause?.token === syntaxKind(ts, 'ExtendsKeyword')) return 'extends';
182
+ if (clause?.token === syntaxKind(ts, 'ImplementsKeyword')) return 'implements';
183
+ return syntaxKindName(ts, clause?.token) ?? 'heritage';
184
+ }
185
+
186
+ function heritageTypeText(checker, entry, location) {
187
+ const type = safeCall(checker?.getTypeAtLocation, checker, entry) ?? safeCall(checker?.getTypeAtLocation, checker, entry?.expression);
188
+ return type ? stringValue(safeCall(checker?.typeToString, checker, type)) : nodeText(entry) ?? typeTextFromTypeNode(checker, entry, location);
189
+ }
190
+
191
+ function typeTextFromTypeNode(checker, node, location) {
192
+ if (!node) return undefined;
193
+ const type = safeCall(checker?.getTypeFromTypeNode, checker, node) ?? safeCall(checker?.getTypeAtLocation, checker, node ?? location);
194
+ return type ? stringValue(safeCall(checker?.typeToString, checker, type)) : nodeText(node);
195
+ }
196
+
197
+ function accessibilityModifier(node, ts) {
198
+ const modifiers = Array.isArray(node?.modifiers) ? node.modifiers : [];
199
+ if (hasModifier(modifiers, ts, 'PrivateKeyword')) return 'private';
200
+ if (hasModifier(modifiers, ts, 'ProtectedKeyword')) return 'protected';
201
+ if (hasModifier(modifiers, ts, 'PublicKeyword')) return 'public';
202
+ return undefined;
203
+ }
204
+
205
+ function isParameterProperty(parameter, ts) {
206
+ const modifiers = Array.isArray(parameter?.modifiers) ? parameter.modifiers : [];
207
+ return ['PrivateKeyword', 'ProtectedKeyword', 'PublicKeyword', 'ReadonlyKeyword'].some((kind) => hasModifier(modifiers, ts, kind));
208
+ }
209
+
210
+ function hasModifier(modifiers, ts, kind) {
211
+ if (!Array.isArray(modifiers)) return false;
212
+ const expected = syntaxKind(ts, kind);
213
+ return expected !== undefined && modifiers.some((modifier) => modifier.kind === expected);
214
+ }
215
+
216
+ function syntaxKind(ts, name) { return numberValue(ts?.SyntaxKind?.[name]); }
217
+ function isSyntaxKind(ts, node, name) { return node?.kind === syntaxKind(ts, name); }
218
+ function syntaxKindName(ts, kind) { return stringValue(ts?.SyntaxKind?.[kind]) ?? (Number.isFinite(kind) ? String(kind) : undefined); }
219
+ function nodeText(node) { return stringValue(safeCall(node?.getText, node)); }
220
+ function safeCall(fn, receiver, ...args) {
221
+ if (typeof fn !== 'function') return undefined;
222
+ try { return fn.apply(receiver, args); } catch { return undefined; }
223
+ }
224
+ function compactRecord(record) { return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined)); }
225
+ function nonEmptyArray(value) { return Array.isArray(value) && value.length ? value : undefined; }
226
+ function numberValue(value) { return Number.isFinite(value) ? value : undefined; }
227
+ function stringValue(value) { return value === undefined || value === null || value === '' ? undefined : String(value); }
228
+ function uniqueRecords(records, keyFn) {
229
+ const seen = new Set();
230
+ return records.filter((record) => {
231
+ const key = keyFn(record);
232
+ if (seen.has(key)) return false;
233
+ seen.add(key);
234
+ return true;
235
+ });
236
+ }
237
+
238
+ export { compilerClassApiRecord };