@shapeshift-labs/frontier-lang-compiler 0.2.150 → 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 (276) 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-sidecar.d.ts +3 -2
  52. package/dist/declarations/semantic-structural-diff.d.ts +94 -0
  53. package/dist/declarations/source-preservation.d.ts +32 -1
  54. package/dist/declarations/target-adapters.d.ts +22 -2
  55. package/dist/index.d.ts +31 -0
  56. package/dist/index.js +5 -0
  57. package/dist/internal/index-impl/compileNativeSource.js +53 -5
  58. package/dist/internal/index-impl/createLightweightNativeImport.js +58 -4
  59. package/dist/internal/index-impl/createNativeImportFromSyntaxAst.js +17 -1
  60. package/dist/internal/index-impl/createNativeImportFromTypeScriptAst.js +28 -4
  61. package/dist/internal/index-impl/createNativeProjectImportResult.js +31 -27
  62. package/dist/internal/index-impl/createNativeProjectModuleResolutionFromPackageManifests.js +145 -0
  63. package/dist/internal/index-impl/createNativeSourcePreservation.js +34 -7
  64. package/dist/internal/index-impl/createSemanticImportSidecar.js +27 -1
  65. package/dist/internal/index-impl/createTypeScriptCompilerNativeImporterAdapter.js +16 -5
  66. package/dist/internal/index-impl/dynamicImportExpressionMetadata.js +80 -0
  67. package/dist/internal/index-impl/importMetaUrlDependencyMetadata.js +176 -0
  68. package/dist/internal/index-impl/importNativeSource.js +2 -3
  69. package/dist/internal/index-impl/moduleImportAttributeMetadata.js +232 -0
  70. package/dist/internal/index-impl/projectSemanticEditScriptToSource.js +8 -1
  71. package/dist/internal/index-impl/projectSymbolGraphClassStaticBlocks.js +148 -0
  72. package/dist/internal/index-impl/projectSymbolGraphCompilerAdvancedTypeMetadata.js +45 -0
  73. package/dist/internal/index-impl/projectSymbolGraphCompilerCallableSignatureEquivalence.js +107 -0
  74. package/dist/internal/index-impl/projectSymbolGraphCompilerClassPrivateAccessorRuntimeProof.js +280 -0
  75. package/dist/internal/index-impl/projectSymbolGraphCompilerClassShapeEquivalence.js +103 -0
  76. package/dist/internal/index-impl/projectSymbolGraphCompilerConditionalTypeEquivalence.js +242 -0
  77. package/dist/internal/index-impl/projectSymbolGraphCompilerDecoratorRuntimeProof.js +197 -0
  78. package/dist/internal/index-impl/projectSymbolGraphCompilerEnumEquivalence.js +188 -0
  79. package/dist/internal/index-impl/projectSymbolGraphCompilerFacts.js +244 -0
  80. package/dist/internal/index-impl/projectSymbolGraphCompilerIndexSignatureEquivalence.js +58 -0
  81. package/dist/internal/index-impl/projectSymbolGraphCompilerMetadata.js +168 -0
  82. package/dist/internal/index-impl/projectSymbolGraphCompilerTypeEquivalence.js +199 -0
  83. package/dist/internal/index-impl/projectSymbolGraphCompilerTypeEquivalenceProof.js +204 -0
  84. package/dist/internal/index-impl/projectSymbolGraphCompilerTypeReferenceTargetEquivalence.js +99 -0
  85. package/dist/internal/index-impl/projectSymbolGraphCssModuleRecords.js +264 -0
  86. package/dist/internal/index-impl/projectSymbolGraphCssModuleScanners.js +242 -0
  87. package/dist/internal/index-impl/projectSymbolGraphCssModuleUtils.js +152 -0
  88. package/dist/internal/index-impl/projectSymbolGraphCssModules.js +82 -0
  89. package/dist/internal/index-impl/projectSymbolGraphJsxComponentImports.js +170 -0
  90. package/dist/internal/index-impl/projectSymbolGraphJsxComponentProviderLookup.js +167 -0
  91. package/dist/internal/index-impl/projectSymbolGraphJsxComponentWrappers.js +150 -0
  92. package/dist/internal/index-impl/projectSymbolGraphJsxContextTargets.js +71 -0
  93. package/dist/internal/index-impl/projectSymbolGraphJsxContextValues.js +212 -0
  94. package/dist/internal/index-impl/projectSymbolGraphJsxEventHandlers.js +172 -0
  95. package/dist/internal/index-impl/projectSymbolGraphJsxHookEffects.js +124 -0
  96. package/dist/internal/index-impl/projectSymbolGraphJsxHooks.js +281 -0
  97. package/dist/internal/index-impl/projectSymbolGraphJsxMemberComponents.js +139 -0
  98. package/dist/internal/index-impl/projectSymbolGraphJsxPropFlows.js +320 -0
  99. package/dist/internal/index-impl/projectSymbolGraphJsxPropValues.js +145 -0
  100. package/dist/internal/index-impl/projectSymbolGraphJsxProviderFlows.js +133 -0
  101. package/dist/internal/index-impl/projectSymbolGraphJsxRecords.js +315 -0
  102. package/dist/internal/index-impl/projectSymbolGraphJsxRenderCollections.js +155 -0
  103. package/dist/internal/index-impl/projectSymbolGraphJsxRenderReturns.js +291 -0
  104. package/dist/internal/index-impl/projectSymbolGraphJsxRenderRisk.js +279 -0
  105. package/dist/internal/index-impl/projectSymbolGraphModuleDeclarationShapes.js +138 -0
  106. package/dist/internal/index-impl/projectSymbolGraphModuleResolution.js +89 -87
  107. package/dist/internal/index-impl/projectSymbolGraphPackageConditions.js +314 -0
  108. package/dist/internal/index-impl/projectSymbolGraphReExportImportTargets.js +43 -0
  109. package/dist/internal/index-impl/projectSymbolGraphReExports.js +55 -1
  110. package/dist/internal/index-impl/projectSymbolGraphRuntimeRegions.js +108 -0
  111. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefAliases.js +307 -0
  112. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefLexical.js +320 -0
  113. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefOwners.js +50 -0
  114. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefRecordBuilders.js +112 -0
  115. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefRecords.js +238 -0
  116. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefStructural.js +104 -0
  117. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefStructuralNormalize.js +242 -0
  118. package/dist/internal/index-impl/projectSymbolGraphScopeUseDefUseHashes.js +107 -0
  119. package/dist/internal/index-impl/projectSymbolGraphSourceMapGeneratedBoundary.js +111 -0
  120. package/dist/internal/index-impl/projectSymbolGraphSourceRecords.js +268 -0
  121. package/dist/internal/index-impl/projectSymbolGraphSourceRecordsOwnership.js +309 -0
  122. package/dist/internal/index-impl/replaySemanticEditProjection.js +53 -39
  123. package/dist/internal/index-impl/runtimeOrderEvidenceBinding.js +151 -0
  124. package/dist/internal/index-impl/runtimeOrderProofSurfaces.js +253 -0
  125. package/dist/internal/index-impl/semanticEditCallsiteArgumentMerge.js +319 -0
  126. package/dist/internal/index-impl/semanticEditExplicitSourceReplacement.js +7 -2
  127. package/dist/internal/index-impl/semanticEditProjectionRecord.js +8 -0
  128. package/dist/internal/index-impl/semanticEditReplayDiagnostics.js +7 -2
  129. package/dist/internal/index-impl/semanticEditReplayOutputBinding.js +61 -0
  130. package/dist/internal/index-impl/semanticEditReplayRerunRoute.js +27 -0
  131. package/dist/internal/index-impl/semanticEditReplaySourceReplacement.js +6 -1
  132. package/dist/internal/index-impl/semanticEditRuntimeOrderReasons.js +320 -0
  133. package/dist/internal/index-impl/semanticEditScriptClassification.js +90 -5
  134. package/dist/internal/index-impl/semanticEditScripts.js +42 -5
  135. package/dist/internal/index-impl/semanticEditTypeSyntaxReasons.js +134 -0
  136. package/dist/internal/index-impl/semanticIndexFromNativeDeclarations.js +11 -5
  137. package/dist/internal/index-impl/semanticStructuralDiffRecords.js +150 -0
  138. package/dist/internal/index-impl/sourceMapGeneratedBoundaryGate.js +185 -0
  139. package/dist/internal/index-impl/staticMemberLiteral.js +31 -0
  140. package/dist/internal/index-impl/staticOptionalMemberReference.js +22 -0
  141. package/dist/internal/index-impl/syntaxAstSourcePreservation.js +273 -0
  142. package/dist/internal/index-impl/syntaxCommonJsModuleDeclarationEntries.js +297 -0
  143. package/dist/internal/index-impl/syntaxModuleDeclarationEntries.js +56 -132
  144. package/dist/internal/index-impl/syntaxModuleEntryRecords.js +160 -0
  145. package/dist/internal/index-impl/typeScriptCompilerAdvancedTypeShapes.js +160 -0
  146. package/dist/internal/index-impl/typeScriptCompilerAssignabilityOracle.js +97 -0
  147. package/dist/internal/index-impl/typeScriptCompilerClassApi.js +238 -0
  148. package/dist/internal/index-impl/typeScriptCompilerDecoratorMetadata.js +290 -0
  149. package/dist/internal/index-impl/typeScriptCompilerEnumShape.js +279 -0
  150. package/dist/internal/index-impl/typeScriptCompilerFacts.js +294 -0
  151. package/dist/internal/index-impl/typeScriptCompilerInferenceSyntax.js +170 -0
  152. package/dist/internal/index-impl/typeScriptCompilerReferenceGraph.js +186 -0
  153. package/dist/internal/index-impl/typeScriptCompilerSymbolIdentity.js +294 -0
  154. package/dist/internal/index-impl/typeScriptCompilerTypeReferenceTargets.js +142 -0
  155. package/dist/internal/index-impl/typeScriptDeclaration.js +10 -38
  156. package/dist/internal/index-impl/typeScriptModuleDeclarationEntries.js +52 -15
  157. package/dist/internal/index-impl/typeScriptSourceFilePreservation.js +296 -0
  158. package/dist/js-ts-safe-member-class-invariants.js +247 -0
  159. package/dist/js-ts-safe-member-merge-result.js +23 -3
  160. package/dist/js-ts-safe-member-merge.js +28 -4
  161. package/dist/js-ts-safe-merge-binding-patterns.js +170 -0
  162. package/dist/js-ts-safe-merge-jsx-attribute-fallback.js +151 -157
  163. package/dist/js-ts-safe-merge-jsx-attribute-parser.js +277 -0
  164. package/dist/js-ts-safe-merge-jsx-child-expression-fallback.js +161 -0
  165. package/dist/js-ts-safe-merge-jsx-child-expression-merge.js +319 -0
  166. package/dist/js-ts-safe-merge-jsx-child-expression-parser.js +300 -0
  167. package/dist/js-ts-safe-merge-parse-declarations.js +46 -2
  168. package/dist/js-ts-safe-merge-parse-statements.js +8 -0
  169. package/dist/js-ts-safe-merge-semantic-edit-fallback.js +13 -5
  170. package/dist/js-ts-safe-merge-source-shape-fallbacks.js +3 -1
  171. package/dist/js-ts-safe-merge-top-level-rename-fallback.js +31 -5
  172. package/dist/js-ts-safe-merge-top-level-rename-result.js +7 -2
  173. package/dist/js-ts-safe-merge-variable-declarator-fallback.js +124 -6
  174. package/dist/js-ts-safe-merge-variable-declarator-parser.js +34 -4
  175. package/dist/js-ts-safe-merge.js +136 -0
  176. package/dist/js-ts-safe-project-merge-admission-routes.js +216 -0
  177. package/dist/js-ts-safe-project-merge-admission.js +161 -0
  178. package/dist/js-ts-safe-project-merge-ambient.js +110 -0
  179. package/dist/js-ts-safe-project-merge-core.js +85 -0
  180. package/dist/js-ts-safe-project-merge-css-module-conflicts.js +60 -0
  181. package/dist/js-ts-safe-project-merge-declaration-emit-parity.js +186 -0
  182. package/dist/js-ts-safe-project-merge-declarations.js +227 -0
  183. package/dist/js-ts-safe-project-merge-diagnostics-metadata.js +42 -0
  184. package/dist/js-ts-safe-project-merge-diagnostics-ts.js +73 -0
  185. package/dist/js-ts-safe-project-merge-diagnostics.js +283 -0
  186. package/dist/js-ts-safe-project-merge-evidence-routing.js +38 -0
  187. package/dist/js-ts-safe-project-merge-files.js +70 -0
  188. package/dist/js-ts-safe-project-merge-global-augmentation-compatibility.js +99 -0
  189. package/dist/js-ts-safe-project-merge-graph-conflicts.js +90 -2
  190. package/dist/js-ts-safe-project-merge-graph-delta-commonjs-interop.js +108 -0
  191. package/dist/js-ts-safe-project-merge-graph-delta-compiler-conflicts.js +179 -0
  192. package/dist/js-ts-safe-project-merge-graph-delta-compiler-details.js +189 -0
  193. package/dist/js-ts-safe-project-merge-graph-delta-conflicts.js +51 -184
  194. package/dist/js-ts-safe-project-merge-graph-delta-identity-conflicts.js +202 -0
  195. package/dist/js-ts-safe-project-merge-graph-delta-inference-syntax.js +80 -0
  196. package/dist/js-ts-safe-project-merge-graph-delta-module-declarations.js +155 -0
  197. package/dist/js-ts-safe-project-merge-graph-limits.js +16 -1
  198. package/dist/js-ts-safe-project-merge-graph.js +37 -5
  199. package/dist/js-ts-safe-project-merge-import-removal.js +292 -0
  200. package/dist/js-ts-safe-project-merge-jsx-graph-conflict-details.js +235 -0
  201. package/dist/js-ts-safe-project-merge-jsx-graph-conflicts.js +173 -0
  202. package/dist/js-ts-safe-project-merge-jsx-prop-contracts.js +86 -0
  203. package/dist/js-ts-safe-project-merge-jsx-render-branch-proof.js +189 -0
  204. package/dist/js-ts-safe-project-merge-missing-evidence.js +310 -0
  205. package/dist/js-ts-safe-project-merge-move-rename.js +209 -0
  206. package/dist/js-ts-safe-project-merge-proof-conflicts.js +44 -0
  207. package/dist/js-ts-safe-project-merge-proof-levels.js +320 -0
  208. package/dist/js-ts-safe-project-merge-quality-gates.js +140 -0
  209. package/dist/js-ts-safe-project-merge-routing-calibration.js +125 -0
  210. package/dist/js-ts-safe-project-merge-runtime-region-conflicts.js +156 -0
  211. package/dist/js-ts-safe-project-merge-scope-use-def-conflicts.js +292 -0
  212. package/dist/js-ts-safe-project-merge-semantic-equivalence-proof.js +175 -0
  213. package/dist/js-ts-safe-project-merge-semantic-replay-proof.js +311 -0
  214. package/dist/js-ts-safe-project-merge-semantic-replay-routes.js +179 -0
  215. package/dist/js-ts-safe-project-merge-source-span-conflicts.js +310 -0
  216. package/dist/js-ts-safe-project-merge-source-span-roundtrip-proof.js +172 -0
  217. package/dist/js-ts-safe-project-merge-split-merge-admission.js +96 -0
  218. package/dist/js-ts-safe-project-merge-split-merge-records.js +320 -0
  219. package/dist/js-ts-safe-project-merge-split-merge-shapes.js +234 -0
  220. package/dist/js-ts-safe-project-merge-split-merge.js +218 -0
  221. package/dist/js-ts-safe-project-merge-summary.js +320 -0
  222. package/dist/js-ts-safe-project-merge-symbol-move-admission.js +63 -0
  223. package/dist/js-ts-safe-project-merge-symbol-move-default-admission.js +143 -0
  224. package/dist/js-ts-safe-project-merge-symbol-move-risks.js +213 -0
  225. package/dist/js-ts-safe-project-merge-symbol-move.js +316 -0
  226. package/dist/js-ts-safe-project-merge-symbol-rename-admission.js +59 -0
  227. package/dist/js-ts-safe-project-merge-symbol-rename-default-admission.js +111 -0
  228. package/dist/js-ts-safe-project-merge-symbol-rename.js +319 -0
  229. package/dist/js-ts-safe-project-merge-ts-options.js +205 -0
  230. package/dist/js-ts-safe-project-merge-ts-program.js +268 -0
  231. package/dist/js-ts-safe-project-merge-typed-property-rename-rebase-utils.js +69 -0
  232. package/dist/js-ts-safe-project-merge-typed-property-rename-rebase.js +317 -0
  233. package/dist/js-ts-safe-project-merge-unsupported-surfaces.js +319 -0
  234. package/dist/js-ts-safe-project-merge.js +170 -171
  235. package/dist/js-ts-semantic-scope-use-def-bindings.js +287 -0
  236. package/dist/js-ts-semantic-scope-use-def-scan.js +241 -0
  237. package/dist/js-ts-semantic-scope-use-def-utils.js +132 -0
  238. package/dist/js-ts-semantic-scope-use-def.js +217 -0
  239. package/dist/lightweight-dependency-effects.js +28 -4
  240. package/dist/lightweight-dependency-relations.js +13 -7
  241. package/dist/lightweight-dependency-top-level.js +63 -0
  242. package/dist/native-import-language-profiles.js +27 -1
  243. package/dist/native-js-ts-importers.js +9 -5
  244. package/dist/native-parser-ast-format-profiles.js +12 -0
  245. package/dist/native-parser-html-css-format-profiles.js +85 -0
  246. package/dist/native-region-scanner-core.js +5 -3
  247. package/dist/native-region-scanner-js-commonjs.js +155 -0
  248. package/dist/native-region-scanner-js-imports.js +51 -13
  249. package/dist/native-region-scanner-js-reexports.js +79 -0
  250. package/dist/native-region-scanner-js-ts-helpers.js +23 -0
  251. package/dist/native-source-ledger-helpers.js +1 -1
  252. package/dist/native-source-ledger.js +24 -10
  253. package/dist/native-source-maps-ecma426.js +316 -0
  254. package/dist/native-source-maps.js +36 -6
  255. package/dist/native-source-preservation-ownership.js +292 -0
  256. package/dist/native-source-preservation-scanner.js +63 -25
  257. package/dist/native-source-preservation-types.d.ts +3 -0
  258. package/dist/semantic-import-effect-occurrences.js +242 -0
  259. package/dist/semantic-import-effect-regions.js +95 -58
  260. package/dist/semantic-import-graph-layers.js +224 -0
  261. package/dist/semantic-import-runtime-conditional-evidence.js +135 -0
  262. package/dist/semantic-import-runtime-effect-target-evidence.js +145 -0
  263. package/dist/semantic-import-runtime-exit-evidence.js +32 -0
  264. package/dist/semantic-import-runtime-import-meta-evidence.js +33 -0
  265. package/dist/semantic-import-runtime-mutation-evidence.js +155 -0
  266. package/dist/semantic-import-runtime-order-evidence.js +318 -0
  267. package/dist/semantic-import-runtime-promise-chain-evidence.js +103 -0
  268. package/dist/semantic-import-runtime-promise-combinator-evidence.js +166 -0
  269. package/dist/semantic-import-runtime-reachability-evidence.js +269 -0
  270. package/dist/semantic-import-runtime-resource-management-evidence.js +293 -0
  271. package/dist/semantic-import-runtime-switch-evidence.js +304 -0
  272. package/dist/semantic-import-runtime-throw-evidence.js +44 -0
  273. package/dist/semantic-import-runtime-try-finally-evidence.js +172 -0
  274. package/dist/semantic-import-sidecar-entry.js +4 -0
  275. package/dist/semantic-import-source-preservation.js +6 -2
  276. package/package.json +1 -1
@@ -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 };
@@ -0,0 +1,290 @@
1
+ import { hashSemanticValue } from '@shapeshift-labs/frontier-lang-kernel';
2
+ import { spanFromTypeScriptNode } from './spanFromTypeScriptNode.js';
3
+
4
+ const DecoratorMetadataProofKind = 'typescript-checker-decorator-static-metadata-evidence';
5
+ const DecoratorRuntimeExecutionGapKind = 'typescript-checker-decorator-runtime-execution-equivalence-gap';
6
+ const DecoratorRuntimeExecutionGapCode = 'decorator-execution-equivalence-not-claimed';
7
+ const DecoratorRuntimeExecutionRouteId = 'prove-decorator-runtime-execution-equivalence';
8
+ const DecoratorRuntimeExecutionRouteLane = 'decorator-runtime-boundaries';
9
+ const DecoratorRuntimeExecutionRouteNext = 'supply-decorator-runtime-execution-proof';
10
+
11
+ function compilerDecoratorMetadataRecord(_checker, identitySymbol, location, ts) {
12
+ const declarations = classDeclarations(identitySymbol, location, ts);
13
+ const decoratorMetadata = declarations.flatMap((declaration, declarationOrdinal) => [
14
+ ...decoratorRecordsForTarget({
15
+ node: declaration,
16
+ ts,
17
+ declarationOrdinal,
18
+ targetKind: 'class',
19
+ className: declarationName(declaration),
20
+ recordKind: 'class-decorator'
21
+ }),
22
+ ...classMemberDecoratorRecords(declaration, declarationOrdinal, ts)
23
+ ]);
24
+ const decoratorMetadataHash = decoratorMetadata.length
25
+ ? hashSemanticValue({
26
+ kind: 'frontier.lang.typescript.compilerDecoratorStaticMetadata.v1',
27
+ decoratorMetadata: decoratorMetadata.map(canonicalDecoratorRecord)
28
+ })
29
+ : undefined;
30
+ const counts = decoratorMetadataCounts(decoratorMetadata);
31
+ return compactRecord({
32
+ decoratorMetadata: nonEmptyArray(decoratorMetadata),
33
+ decoratorMetadataCount: counts.decoratorMetadataCount || undefined,
34
+ classDecoratorCount: counts.classDecoratorCount || undefined,
35
+ memberDecoratorCount: counts.memberDecoratorCount || undefined,
36
+ parameterDecoratorCount: counts.parameterDecoratorCount || undefined,
37
+ decoratorMetadataHash,
38
+ decoratorMetadataProof: decoratorMetadata.length ? decoratorMetadataProof(counts, decoratorMetadataHash) : undefined
39
+ });
40
+ }
41
+
42
+ function classMemberDecoratorRecords(declaration, declarationOrdinal, ts) {
43
+ const className = declarationName(declaration);
44
+ return arrayValue(declaration?.members).flatMap((member, memberOrdinal) => {
45
+ const targetKind = memberTargetKind(member, ts);
46
+ return [
47
+ ...decoratorRecordsForTarget({
48
+ node: member,
49
+ ts,
50
+ declarationOrdinal,
51
+ memberOrdinal,
52
+ targetKind,
53
+ className,
54
+ memberName: memberName(member, ts),
55
+ memberKind: targetKind,
56
+ recordKind: 'member-decorator',
57
+ static: hasModifier(member?.modifiers, ts, 'StaticKeyword') || undefined,
58
+ accessibility: accessibilityModifier(member, ts)
59
+ }),
60
+ ...parameterDecoratorRecords(member, declarationOrdinal, memberOrdinal, className, ts)
61
+ ];
62
+ });
63
+ }
64
+
65
+ function parameterDecoratorRecords(member, declarationOrdinal, memberOrdinal, className, ts) {
66
+ const targetKind = memberTargetKind(member, ts);
67
+ return arrayValue(member?.parameters).flatMap((parameter, parameterOrdinal) => decoratorRecordsForTarget({
68
+ node: parameter,
69
+ ts,
70
+ declarationOrdinal,
71
+ memberOrdinal,
72
+ parameterOrdinal,
73
+ targetKind: `${targetKind}-parameter`,
74
+ className,
75
+ memberName: memberName(member, ts),
76
+ memberKind: targetKind,
77
+ parameterName: nodeText(parameter?.name, sourceFileFor(parameter)),
78
+ recordKind: 'parameter-decorator',
79
+ accessibility: accessibilityModifier(parameter, ts),
80
+ parameterProperty: isParameterProperty(parameter, ts) || undefined
81
+ }));
82
+ }
83
+
84
+ function decoratorRecordsForTarget(input) {
85
+ const decorators = decoratorsForNode(input.node, input.ts);
86
+ const sourceFile = sourceFileFor(input.node);
87
+ return decorators.map((decorator, decoratorOrdinal) => {
88
+ const expressionText = nodeText(decorator.expression, sourceFile);
89
+ return compactRecord({
90
+ kind: input.recordKind,
91
+ targetKind: input.targetKind,
92
+ className: input.className,
93
+ memberKind: input.memberKind,
94
+ memberName: input.memberName,
95
+ parameterName: input.parameterName,
96
+ declarationOrdinal: input.declarationOrdinal,
97
+ memberOrdinal: input.memberOrdinal,
98
+ parameterOrdinal: input.parameterOrdinal,
99
+ decoratorOrdinal,
100
+ targetStatic: input.static,
101
+ targetAccessibility: input.accessibility,
102
+ parameterProperty: input.parameterProperty,
103
+ syntaxKind: syntaxKindName(input.ts, decorator.kind),
104
+ expressionKind: syntaxKindName(input.ts, decorator.expression?.kind),
105
+ decoratorText: nodeText(decorator, sourceFile),
106
+ expressionText,
107
+ expressionHash: expressionText ? hashSemanticValue(expressionText) : undefined,
108
+ sourceSpan: spanFromTypeScriptNode(decorator, sourceFile),
109
+ staticDecoratorMetadataEvidence: true,
110
+ decoratorExecutionEquivalenceClaim: false,
111
+ runtimeEquivalenceClaim: false,
112
+ semanticEquivalenceClaim: false
113
+ });
114
+ });
115
+ }
116
+
117
+ function decoratorMetadataProof(counts, decoratorMetadataHash) {
118
+ return {
119
+ kind: DecoratorMetadataProofKind,
120
+ status: 'passed',
121
+ proofLevel: 'typescript-checker-decorator-static-metadata',
122
+ proofScope: 'static-decorator-metadata-only',
123
+ checkerInvariant: 'decorator targets, expression texts, declaration order, and source spans complete; decorator execution semantics are not evaluated',
124
+ requiredSignals: [
125
+ 'typescript-get-decorators-api',
126
+ 'compiler-decorator-target-kind',
127
+ 'compiler-decorator-expression-text',
128
+ 'compiler-decorator-source-span',
129
+ 'compiler-decorator-declaration-order'
130
+ ],
131
+ decoratorMetadataHash,
132
+ ...counts,
133
+ runtimeExecutionEquivalenceGap: decoratorRuntimeExecutionGap(counts, decoratorMetadataHash),
134
+ conflictRouting: decoratorConflictRouting(decoratorMetadataHash),
135
+ staticDecoratorMetadataEvidence: true,
136
+ autoMergeClaim: false,
137
+ semanticEquivalenceClaim: false,
138
+ runtimeEquivalenceClaim: false,
139
+ decoratorExecutionEquivalenceClaim: false
140
+ };
141
+ }
142
+
143
+ function decoratorRuntimeExecutionGap(counts, decoratorMetadataHash) {
144
+ return {
145
+ kind: DecoratorRuntimeExecutionGapKind,
146
+ status: 'blocked',
147
+ proofLevel: 'decorator-runtime-execution-equivalence',
148
+ reasonCode: DecoratorRuntimeExecutionGapCode,
149
+ summary: 'Static decorator metadata records targets and expression text only; decorator factory calls, invocation order, side effects, returned replacements, and emitted runtime behavior are not evaluated.',
150
+ requiredEvidence: 'decorator-runtime-execution-trace-or-equivalence-proof',
151
+ missingSignals: [
152
+ 'decorator-factory-call-order',
153
+ 'decorator-invocation-order',
154
+ 'decorator-side-effect-trace',
155
+ 'decorator-result-application-proof',
156
+ 'decorator-emit-runtime-equivalence'
157
+ ],
158
+ routeId: DecoratorRuntimeExecutionRouteId,
159
+ routeLane: DecoratorRuntimeExecutionRouteLane,
160
+ routeNext: DecoratorRuntimeExecutionRouteNext,
161
+ failClosed: true,
162
+ blocksSemanticEquivalence: true,
163
+ decoratorMetadataHash,
164
+ ...counts,
165
+ staticDecoratorMetadataEvidence: true,
166
+ proofClaim: false,
167
+ autoMergeClaim: false,
168
+ semanticEquivalenceClaim: false,
169
+ runtimeEquivalenceClaim: false,
170
+ decoratorExecutionEquivalenceClaim: false
171
+ };
172
+ }
173
+
174
+ function decoratorConflictRouting(decoratorMetadataHash) {
175
+ return {
176
+ status: 'fail-closed',
177
+ conflictCode: 'project-public-compiler-type-delta-conflict',
178
+ reasonCode: DecoratorRuntimeExecutionGapCode,
179
+ branchDivergenceSignal: 'decoratorMetadataHash',
180
+ routeId: DecoratorRuntimeExecutionRouteId,
181
+ routeLane: DecoratorRuntimeExecutionRouteLane,
182
+ routeNext: DecoratorRuntimeExecutionRouteNext,
183
+ decoratorMetadataHash,
184
+ autoMergeClaim: false,
185
+ semanticEquivalenceClaim: false,
186
+ runtimeEquivalenceClaim: false,
187
+ decoratorExecutionEquivalenceClaim: false
188
+ };
189
+ }
190
+
191
+ function decoratorsForNode(node, ts) {
192
+ const apiDecorators = safeCall(ts?.canHaveDecorators, ts, node)
193
+ ? safeCall(ts?.getDecorators, ts, node)
194
+ : undefined;
195
+ if (Array.isArray(apiDecorators)) return apiDecorators;
196
+ const decoratorKind = syntaxKind(ts, 'Decorator');
197
+ return decoratorKind === undefined ? [] : arrayValue(node?.modifiers).filter((modifier) => modifier.kind === decoratorKind);
198
+ }
199
+
200
+ function classDeclarations(identitySymbol, location, ts) {
201
+ const declarations = arrayValue(identitySymbol?.declarations).filter((declaration) => isSyntaxKind(ts, declaration, 'ClassDeclaration'));
202
+ if (declarations.length) return declarations;
203
+ return isSyntaxKind(ts, location, 'ClassDeclaration') ? [location] : [];
204
+ }
205
+
206
+ function decoratorMetadataCounts(records) {
207
+ return {
208
+ decoratorMetadataCount: records.length,
209
+ classDecoratorCount: records.filter((record) => record.kind === 'class-decorator').length,
210
+ memberDecoratorCount: records.filter((record) => record.kind === 'member-decorator').length,
211
+ parameterDecoratorCount: records.filter((record) => record.kind === 'parameter-decorator').length
212
+ };
213
+ }
214
+
215
+ function canonicalDecoratorRecord(record) {
216
+ return compactRecord({
217
+ kind: record.kind,
218
+ targetKind: record.targetKind,
219
+ className: record.className,
220
+ memberKind: record.memberKind,
221
+ memberName: record.memberName,
222
+ parameterName: record.parameterName,
223
+ declarationOrdinal: record.declarationOrdinal,
224
+ memberOrdinal: record.memberOrdinal,
225
+ parameterOrdinal: record.parameterOrdinal,
226
+ decoratorOrdinal: record.decoratorOrdinal,
227
+ targetStatic: record.targetStatic,
228
+ targetAccessibility: record.targetAccessibility,
229
+ parameterProperty: record.parameterProperty,
230
+ expressionKind: record.expressionKind,
231
+ expressionText: record.expressionText,
232
+ sourceSpan: record.sourceSpan
233
+ });
234
+ }
235
+
236
+ function memberTargetKind(member, ts) {
237
+ if (isSyntaxKind(ts, member, 'Constructor')) return 'constructor';
238
+ if (isSyntaxKind(ts, member, 'MethodDeclaration')) return 'method';
239
+ if (isSyntaxKind(ts, member, 'GetAccessor')) return 'get-accessor';
240
+ if (isSyntaxKind(ts, member, 'SetAccessor')) return 'set-accessor';
241
+ if (isSyntaxKind(ts, member, 'PropertyDeclaration') && hasModifier(member?.modifiers, ts, 'AccessorKeyword')) return 'accessor-field';
242
+ if (isSyntaxKind(ts, member, 'PropertyDeclaration')) return 'field';
243
+ return syntaxKindName(ts, member?.kind) ?? 'class-member';
244
+ }
245
+
246
+ function memberName(member, ts) {
247
+ if (isSyntaxKind(ts, member, 'Constructor')) return 'constructor';
248
+ const name = member?.name;
249
+ return stringValue(name?.escapedText ?? name?.text ?? nodeText(name, sourceFileFor(member)));
250
+ }
251
+
252
+ function declarationName(declaration) {
253
+ const name = declaration?.name;
254
+ return stringValue(name?.escapedText ?? name?.text ?? nodeText(name, sourceFileFor(declaration)));
255
+ }
256
+
257
+ function accessibilityModifier(node, ts) {
258
+ const modifiers = arrayValue(node?.modifiers);
259
+ if (hasModifier(modifiers, ts, 'PrivateKeyword')) return 'private';
260
+ if (hasModifier(modifiers, ts, 'ProtectedKeyword')) return 'protected';
261
+ if (hasModifier(modifiers, ts, 'PublicKeyword')) return 'public';
262
+ return undefined;
263
+ }
264
+
265
+ function isParameterProperty(parameter, ts) {
266
+ const modifiers = arrayValue(parameter?.modifiers);
267
+ return ['PrivateKeyword', 'ProtectedKeyword', 'PublicKeyword', 'ReadonlyKeyword'].some((kind) => hasModifier(modifiers, ts, kind));
268
+ }
269
+
270
+ function hasModifier(modifiers, ts, kind) {
271
+ const expected = syntaxKind(ts, kind);
272
+ return expected !== undefined && arrayValue(modifiers).some((modifier) => modifier.kind === expected);
273
+ }
274
+
275
+ function sourceFileFor(node) { return safeCall(node?.getSourceFile, node); }
276
+ function nodeText(node, sourceFile) { return stringValue(safeCall(node?.getText, node, sourceFile)); }
277
+ function syntaxKind(ts, name) { return numberValue(ts?.SyntaxKind?.[name]); }
278
+ function isSyntaxKind(ts, node, name) { return node?.kind === syntaxKind(ts, name); }
279
+ function syntaxKindName(ts, kind) { return stringValue(ts?.SyntaxKind?.[kind]) ?? (Number.isFinite(kind) ? String(kind) : undefined); }
280
+ function safeCall(fn, receiver, ...args) {
281
+ if (typeof fn !== 'function') return undefined;
282
+ try { return fn.apply(receiver, args); } catch { return undefined; }
283
+ }
284
+ function arrayValue(value) { return Array.isArray(value) ? value : []; }
285
+ function nonEmptyArray(value) { return Array.isArray(value) && value.length ? value : undefined; }
286
+ function numberValue(value) { return Number.isFinite(value) ? value : undefined; }
287
+ function stringValue(value) { return value === undefined || value === null || value === '' ? undefined : String(value); }
288
+ function compactRecord(record) { return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined)); }
289
+
290
+ export { compilerDecoratorMetadataRecord };