@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.
- package/README.md +315 -9
- package/bench/real-repo-corpus-checkout-identity.mjs +134 -0
- package/bench/real-repo-corpus-checkout-proof.mjs +263 -0
- package/bench/real-repo-corpus-command-execution.mjs +314 -0
- package/bench/real-repo-corpus-evidence.mjs +165 -0
- package/bench/real-repo-corpus-suite.mjs +273 -0
- package/bench/smoke.mjs +109 -7
- package/dist/declarations/import-adapter-core.d.ts +4 -3
- package/dist/declarations/import-adapter-options-native.d.ts +21 -0
- package/dist/declarations/js-ts-project-merge-admission-routes.d.ts +35 -0
- package/dist/declarations/js-ts-project-merge-commonjs-interop.d.ts +29 -0
- package/dist/declarations/js-ts-project-merge-confidence.d.ts +64 -0
- package/dist/declarations/js-ts-project-merge-declaration-emit-parity.d.ts +37 -0
- package/dist/declarations/js-ts-project-merge-declarations.d.ts +65 -0
- package/dist/declarations/js-ts-project-merge-diagnostics.d.ts +97 -0
- package/dist/declarations/js-ts-project-merge-global-augmentation.d.ts +30 -0
- package/dist/declarations/js-ts-project-merge-jsx-render-branch.d.ts +48 -0
- package/dist/declarations/js-ts-project-merge-proof-levels.d.ts +109 -0
- package/dist/declarations/js-ts-project-merge-quality-gates.d.ts +38 -0
- package/dist/declarations/js-ts-project-merge-semantic-equivalence-proof.d.ts +45 -0
- package/dist/declarations/js-ts-project-merge-tsconfig.d.ts +43 -0
- package/dist/declarations/js-ts-safe-merge.d.ts +47 -0
- package/dist/declarations/js-ts-safe-project-merge.d.ts +120 -38
- package/dist/declarations/native-project-compiler-assignability-oracle.d.ts +41 -0
- package/dist/declarations/native-project-compiler-callable-signatures.d.ts +31 -0
- package/dist/declarations/native-project-compiler-class-member-runtime-proof.d.ts +87 -0
- package/dist/declarations/native-project-compiler-composite-types.d.ts +23 -0
- package/dist/declarations/native-project-compiler-enum-proof.d.ts +58 -0
- package/dist/declarations/native-project-compiler-index-signature.d.ts +7 -0
- package/dist/declarations/native-project-compiler-public-api-source-binding.d.ts +8 -0
- package/dist/declarations/native-project-compiler-scope.d.ts +37 -0
- package/dist/declarations/native-project-compiler-type-reference-targets.d.ts +38 -0
- package/dist/declarations/native-project-css-modules.d.ts +90 -0
- package/dist/declarations/native-project-decorator-metadata.d.ts +126 -0
- package/dist/declarations/native-project-jsx-graph.d.ts +313 -0
- package/dist/declarations/native-project-module-declarations.d.ts +52 -0
- package/dist/declarations/native-project-module-resolution.d.ts +76 -1
- package/dist/declarations/native-project-runtime-effect-target.d.ts +29 -0
- package/dist/declarations/native-project-runtime-executable-effect-evidence.d.ts +107 -0
- package/dist/declarations/native-project-runtime-mutation-target.d.ts +33 -0
- package/dist/declarations/native-project-runtime-promise-chain.d.ts +30 -0
- package/dist/declarations/native-project-runtime-promise-combinator.d.ts +22 -0
- package/dist/declarations/native-project-runtime-reachability.d.ts +30 -0
- package/dist/declarations/native-project-runtime-resource-management.d.ts +27 -0
- package/dist/declarations/native-project-runtime-yield-delegation.d.ts +10 -0
- package/dist/declarations/native-project-scope-template-reference.d.ts +13 -0
- package/dist/declarations/native-project-source-evidence.d.ts +8 -0
- package/dist/declarations/native-project.d.ts +40 -39
- package/dist/declarations/semantic-edit-script.d.ts +10 -8
- package/dist/declarations/semantic-graph-layers.d.ts +79 -0
- package/dist/declarations/semantic-sidecar.d.ts +3 -2
- package/dist/declarations/semantic-structural-diff.d.ts +94 -0
- package/dist/declarations/source-preservation.d.ts +32 -1
- package/dist/declarations/target-adapters.d.ts +22 -2
- package/dist/index.d.ts +31 -0
- package/dist/index.js +5 -0
- package/dist/internal/index-impl/compileNativeSource.js +53 -5
- package/dist/internal/index-impl/createLightweightNativeImport.js +58 -4
- package/dist/internal/index-impl/createNativeImportFromSyntaxAst.js +17 -1
- package/dist/internal/index-impl/createNativeImportFromTypeScriptAst.js +28 -4
- package/dist/internal/index-impl/createNativeProjectImportResult.js +31 -27
- package/dist/internal/index-impl/createNativeProjectModuleResolutionFromPackageManifests.js +145 -0
- package/dist/internal/index-impl/createNativeSourcePreservation.js +34 -7
- package/dist/internal/index-impl/createSemanticImportSidecar.js +27 -1
- package/dist/internal/index-impl/createTypeScriptCompilerNativeImporterAdapter.js +16 -5
- package/dist/internal/index-impl/dynamicImportExpressionMetadata.js +80 -0
- package/dist/internal/index-impl/importMetaUrlDependencyMetadata.js +176 -0
- package/dist/internal/index-impl/importNativeSource.js +2 -3
- package/dist/internal/index-impl/moduleImportAttributeMetadata.js +232 -0
- package/dist/internal/index-impl/projectSemanticEditScriptToSource.js +8 -1
- package/dist/internal/index-impl/projectSymbolGraphClassStaticBlocks.js +148 -0
- package/dist/internal/index-impl/projectSymbolGraphCompilerAdvancedTypeMetadata.js +45 -0
- package/dist/internal/index-impl/projectSymbolGraphCompilerCallableSignatureEquivalence.js +107 -0
- package/dist/internal/index-impl/projectSymbolGraphCompilerClassPrivateAccessorRuntimeProof.js +280 -0
- package/dist/internal/index-impl/projectSymbolGraphCompilerClassShapeEquivalence.js +103 -0
- package/dist/internal/index-impl/projectSymbolGraphCompilerConditionalTypeEquivalence.js +242 -0
- package/dist/internal/index-impl/projectSymbolGraphCompilerDecoratorRuntimeProof.js +197 -0
- package/dist/internal/index-impl/projectSymbolGraphCompilerEnumEquivalence.js +188 -0
- package/dist/internal/index-impl/projectSymbolGraphCompilerFacts.js +244 -0
- package/dist/internal/index-impl/projectSymbolGraphCompilerIndexSignatureEquivalence.js +58 -0
- package/dist/internal/index-impl/projectSymbolGraphCompilerMetadata.js +168 -0
- package/dist/internal/index-impl/projectSymbolGraphCompilerTypeEquivalence.js +199 -0
- package/dist/internal/index-impl/projectSymbolGraphCompilerTypeEquivalenceProof.js +204 -0
- package/dist/internal/index-impl/projectSymbolGraphCompilerTypeReferenceTargetEquivalence.js +99 -0
- package/dist/internal/index-impl/projectSymbolGraphCssModuleRecords.js +264 -0
- package/dist/internal/index-impl/projectSymbolGraphCssModuleScanners.js +242 -0
- package/dist/internal/index-impl/projectSymbolGraphCssModuleUtils.js +152 -0
- package/dist/internal/index-impl/projectSymbolGraphCssModules.js +82 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxComponentImports.js +170 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxComponentProviderLookup.js +167 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxComponentWrappers.js +150 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxContextTargets.js +71 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxContextValues.js +212 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxEventHandlers.js +172 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxHookEffects.js +124 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxHooks.js +281 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxMemberComponents.js +139 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxPropFlows.js +320 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxPropValues.js +145 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxProviderFlows.js +133 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxRecords.js +315 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxRenderCollections.js +155 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxRenderReturns.js +291 -0
- package/dist/internal/index-impl/projectSymbolGraphJsxRenderRisk.js +279 -0
- package/dist/internal/index-impl/projectSymbolGraphModuleDeclarationShapes.js +138 -0
- package/dist/internal/index-impl/projectSymbolGraphModuleResolution.js +89 -87
- package/dist/internal/index-impl/projectSymbolGraphPackageConditions.js +314 -0
- package/dist/internal/index-impl/projectSymbolGraphReExportImportTargets.js +43 -0
- package/dist/internal/index-impl/projectSymbolGraphReExports.js +55 -1
- package/dist/internal/index-impl/projectSymbolGraphRuntimeRegions.js +108 -0
- package/dist/internal/index-impl/projectSymbolGraphScopeUseDefAliases.js +307 -0
- package/dist/internal/index-impl/projectSymbolGraphScopeUseDefLexical.js +320 -0
- package/dist/internal/index-impl/projectSymbolGraphScopeUseDefOwners.js +50 -0
- package/dist/internal/index-impl/projectSymbolGraphScopeUseDefRecordBuilders.js +112 -0
- package/dist/internal/index-impl/projectSymbolGraphScopeUseDefRecords.js +238 -0
- package/dist/internal/index-impl/projectSymbolGraphScopeUseDefStructural.js +104 -0
- package/dist/internal/index-impl/projectSymbolGraphScopeUseDefStructuralNormalize.js +242 -0
- package/dist/internal/index-impl/projectSymbolGraphScopeUseDefUseHashes.js +107 -0
- package/dist/internal/index-impl/projectSymbolGraphSourceMapGeneratedBoundary.js +111 -0
- package/dist/internal/index-impl/projectSymbolGraphSourceRecords.js +268 -0
- package/dist/internal/index-impl/projectSymbolGraphSourceRecordsOwnership.js +309 -0
- package/dist/internal/index-impl/replaySemanticEditProjection.js +53 -39
- package/dist/internal/index-impl/runtimeOrderEvidenceBinding.js +151 -0
- package/dist/internal/index-impl/runtimeOrderProofSurfaces.js +253 -0
- package/dist/internal/index-impl/semanticEditCallsiteArgumentMerge.js +319 -0
- package/dist/internal/index-impl/semanticEditExplicitSourceReplacement.js +7 -2
- package/dist/internal/index-impl/semanticEditProjectionRecord.js +8 -0
- package/dist/internal/index-impl/semanticEditReplayDiagnostics.js +7 -2
- package/dist/internal/index-impl/semanticEditReplayOutputBinding.js +61 -0
- package/dist/internal/index-impl/semanticEditReplayRerunRoute.js +27 -0
- package/dist/internal/index-impl/semanticEditReplaySourceReplacement.js +6 -1
- package/dist/internal/index-impl/semanticEditRuntimeOrderReasons.js +320 -0
- package/dist/internal/index-impl/semanticEditScriptClassification.js +90 -5
- package/dist/internal/index-impl/semanticEditScripts.js +42 -5
- package/dist/internal/index-impl/semanticEditTypeSyntaxReasons.js +134 -0
- package/dist/internal/index-impl/semanticIndexFromNativeDeclarations.js +11 -5
- package/dist/internal/index-impl/semanticStructuralDiffRecords.js +150 -0
- package/dist/internal/index-impl/sourceMapGeneratedBoundaryGate.js +185 -0
- package/dist/internal/index-impl/staticMemberLiteral.js +31 -0
- package/dist/internal/index-impl/staticOptionalMemberReference.js +22 -0
- package/dist/internal/index-impl/syntaxAstSourcePreservation.js +273 -0
- package/dist/internal/index-impl/syntaxCommonJsModuleDeclarationEntries.js +297 -0
- package/dist/internal/index-impl/syntaxModuleDeclarationEntries.js +56 -132
- package/dist/internal/index-impl/syntaxModuleEntryRecords.js +160 -0
- package/dist/internal/index-impl/typeScriptCompilerAdvancedTypeShapes.js +160 -0
- package/dist/internal/index-impl/typeScriptCompilerAssignabilityOracle.js +97 -0
- package/dist/internal/index-impl/typeScriptCompilerClassApi.js +238 -0
- package/dist/internal/index-impl/typeScriptCompilerDecoratorMetadata.js +290 -0
- package/dist/internal/index-impl/typeScriptCompilerEnumShape.js +279 -0
- package/dist/internal/index-impl/typeScriptCompilerFacts.js +294 -0
- package/dist/internal/index-impl/typeScriptCompilerInferenceSyntax.js +170 -0
- package/dist/internal/index-impl/typeScriptCompilerReferenceGraph.js +186 -0
- package/dist/internal/index-impl/typeScriptCompilerSymbolIdentity.js +294 -0
- package/dist/internal/index-impl/typeScriptCompilerTypeReferenceTargets.js +142 -0
- package/dist/internal/index-impl/typeScriptDeclaration.js +10 -38
- package/dist/internal/index-impl/typeScriptModuleDeclarationEntries.js +52 -15
- package/dist/internal/index-impl/typeScriptSourceFilePreservation.js +296 -0
- package/dist/js-ts-safe-member-class-invariants.js +247 -0
- package/dist/js-ts-safe-member-merge-result.js +23 -3
- package/dist/js-ts-safe-member-merge.js +28 -4
- package/dist/js-ts-safe-merge-binding-patterns.js +170 -0
- package/dist/js-ts-safe-merge-jsx-attribute-fallback.js +151 -157
- package/dist/js-ts-safe-merge-jsx-attribute-parser.js +277 -0
- package/dist/js-ts-safe-merge-jsx-child-expression-fallback.js +161 -0
- package/dist/js-ts-safe-merge-jsx-child-expression-merge.js +319 -0
- package/dist/js-ts-safe-merge-jsx-child-expression-parser.js +300 -0
- package/dist/js-ts-safe-merge-parse-declarations.js +46 -2
- package/dist/js-ts-safe-merge-parse-statements.js +8 -0
- package/dist/js-ts-safe-merge-semantic-edit-fallback.js +13 -5
- package/dist/js-ts-safe-merge-source-shape-fallbacks.js +3 -1
- package/dist/js-ts-safe-merge-top-level-rename-fallback.js +31 -5
- package/dist/js-ts-safe-merge-top-level-rename-result.js +7 -2
- package/dist/js-ts-safe-merge-variable-declarator-fallback.js +124 -6
- package/dist/js-ts-safe-merge-variable-declarator-parser.js +34 -4
- package/dist/js-ts-safe-merge.js +136 -0
- package/dist/js-ts-safe-project-merge-admission-routes.js +216 -0
- package/dist/js-ts-safe-project-merge-admission.js +161 -0
- package/dist/js-ts-safe-project-merge-ambient.js +110 -0
- package/dist/js-ts-safe-project-merge-core.js +85 -0
- package/dist/js-ts-safe-project-merge-css-module-conflicts.js +60 -0
- package/dist/js-ts-safe-project-merge-declaration-emit-parity.js +186 -0
- package/dist/js-ts-safe-project-merge-declarations.js +227 -0
- package/dist/js-ts-safe-project-merge-diagnostics-metadata.js +42 -0
- package/dist/js-ts-safe-project-merge-diagnostics-ts.js +73 -0
- package/dist/js-ts-safe-project-merge-diagnostics.js +283 -0
- package/dist/js-ts-safe-project-merge-evidence-routing.js +38 -0
- package/dist/js-ts-safe-project-merge-files.js +70 -0
- package/dist/js-ts-safe-project-merge-global-augmentation-compatibility.js +99 -0
- package/dist/js-ts-safe-project-merge-graph-conflicts.js +90 -2
- package/dist/js-ts-safe-project-merge-graph-delta-commonjs-interop.js +108 -0
- package/dist/js-ts-safe-project-merge-graph-delta-compiler-conflicts.js +179 -0
- package/dist/js-ts-safe-project-merge-graph-delta-compiler-details.js +189 -0
- package/dist/js-ts-safe-project-merge-graph-delta-conflicts.js +51 -184
- package/dist/js-ts-safe-project-merge-graph-delta-identity-conflicts.js +202 -0
- package/dist/js-ts-safe-project-merge-graph-delta-inference-syntax.js +80 -0
- package/dist/js-ts-safe-project-merge-graph-delta-module-declarations.js +155 -0
- package/dist/js-ts-safe-project-merge-graph-limits.js +16 -1
- package/dist/js-ts-safe-project-merge-graph.js +37 -5
- package/dist/js-ts-safe-project-merge-import-removal.js +292 -0
- package/dist/js-ts-safe-project-merge-jsx-graph-conflict-details.js +235 -0
- package/dist/js-ts-safe-project-merge-jsx-graph-conflicts.js +173 -0
- package/dist/js-ts-safe-project-merge-jsx-prop-contracts.js +86 -0
- package/dist/js-ts-safe-project-merge-jsx-render-branch-proof.js +189 -0
- package/dist/js-ts-safe-project-merge-missing-evidence.js +310 -0
- package/dist/js-ts-safe-project-merge-move-rename.js +209 -0
- package/dist/js-ts-safe-project-merge-proof-conflicts.js +44 -0
- package/dist/js-ts-safe-project-merge-proof-levels.js +320 -0
- package/dist/js-ts-safe-project-merge-quality-gates.js +140 -0
- package/dist/js-ts-safe-project-merge-routing-calibration.js +125 -0
- package/dist/js-ts-safe-project-merge-runtime-region-conflicts.js +156 -0
- package/dist/js-ts-safe-project-merge-scope-use-def-conflicts.js +292 -0
- package/dist/js-ts-safe-project-merge-semantic-equivalence-proof.js +175 -0
- package/dist/js-ts-safe-project-merge-semantic-replay-proof.js +311 -0
- package/dist/js-ts-safe-project-merge-semantic-replay-routes.js +179 -0
- package/dist/js-ts-safe-project-merge-source-span-conflicts.js +310 -0
- package/dist/js-ts-safe-project-merge-source-span-roundtrip-proof.js +172 -0
- package/dist/js-ts-safe-project-merge-split-merge-admission.js +96 -0
- package/dist/js-ts-safe-project-merge-split-merge-records.js +320 -0
- package/dist/js-ts-safe-project-merge-split-merge-shapes.js +234 -0
- package/dist/js-ts-safe-project-merge-split-merge.js +218 -0
- package/dist/js-ts-safe-project-merge-summary.js +320 -0
- package/dist/js-ts-safe-project-merge-symbol-move-admission.js +63 -0
- package/dist/js-ts-safe-project-merge-symbol-move-default-admission.js +143 -0
- package/dist/js-ts-safe-project-merge-symbol-move-risks.js +213 -0
- package/dist/js-ts-safe-project-merge-symbol-move.js +316 -0
- package/dist/js-ts-safe-project-merge-symbol-rename-admission.js +59 -0
- package/dist/js-ts-safe-project-merge-symbol-rename-default-admission.js +111 -0
- package/dist/js-ts-safe-project-merge-symbol-rename.js +319 -0
- package/dist/js-ts-safe-project-merge-ts-options.js +205 -0
- package/dist/js-ts-safe-project-merge-ts-program.js +268 -0
- package/dist/js-ts-safe-project-merge-typed-property-rename-rebase-utils.js +69 -0
- package/dist/js-ts-safe-project-merge-typed-property-rename-rebase.js +317 -0
- package/dist/js-ts-safe-project-merge-unsupported-surfaces.js +319 -0
- package/dist/js-ts-safe-project-merge.js +170 -171
- package/dist/js-ts-semantic-scope-use-def-bindings.js +287 -0
- package/dist/js-ts-semantic-scope-use-def-scan.js +241 -0
- package/dist/js-ts-semantic-scope-use-def-utils.js +132 -0
- package/dist/js-ts-semantic-scope-use-def.js +217 -0
- package/dist/lightweight-dependency-effects.js +28 -4
- package/dist/lightweight-dependency-relations.js +13 -7
- package/dist/lightweight-dependency-top-level.js +63 -0
- package/dist/native-import-language-profiles.js +27 -1
- package/dist/native-js-ts-importers.js +9 -5
- package/dist/native-parser-ast-format-profiles.js +12 -0
- package/dist/native-parser-html-css-format-profiles.js +85 -0
- package/dist/native-region-scanner-core.js +5 -3
- package/dist/native-region-scanner-js-commonjs.js +155 -0
- package/dist/native-region-scanner-js-imports.js +51 -13
- package/dist/native-region-scanner-js-reexports.js +79 -0
- package/dist/native-region-scanner-js-ts-helpers.js +23 -0
- package/dist/native-source-ledger-helpers.js +1 -1
- package/dist/native-source-ledger.js +24 -10
- package/dist/native-source-maps-ecma426.js +316 -0
- package/dist/native-source-maps.js +36 -6
- package/dist/native-source-preservation-ownership.js +292 -0
- package/dist/native-source-preservation-scanner.js +63 -25
- package/dist/native-source-preservation-types.d.ts +3 -0
- package/dist/semantic-import-effect-occurrences.js +242 -0
- package/dist/semantic-import-effect-regions.js +95 -58
- package/dist/semantic-import-graph-layers.js +224 -0
- package/dist/semantic-import-runtime-conditional-evidence.js +135 -0
- package/dist/semantic-import-runtime-effect-target-evidence.js +145 -0
- package/dist/semantic-import-runtime-exit-evidence.js +32 -0
- package/dist/semantic-import-runtime-import-meta-evidence.js +33 -0
- package/dist/semantic-import-runtime-mutation-evidence.js +155 -0
- package/dist/semantic-import-runtime-order-evidence.js +318 -0
- package/dist/semantic-import-runtime-promise-chain-evidence.js +103 -0
- package/dist/semantic-import-runtime-promise-combinator-evidence.js +166 -0
- package/dist/semantic-import-runtime-reachability-evidence.js +269 -0
- package/dist/semantic-import-runtime-resource-management-evidence.js +293 -0
- package/dist/semantic-import-runtime-switch-evidence.js +304 -0
- package/dist/semantic-import-runtime-throw-evidence.js +44 -0
- package/dist/semantic-import-runtime-try-finally-evidence.js +172 -0
- package/dist/semantic-import-sidecar-entry.js +4 -0
- package/dist/semantic-import-source-preservation.js +6 -2
- 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 };
|