@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,37 @@
|
|
|
1
|
+
import type { SourceSpan } from '@shapeshift-labs/frontier-lang-kernel';
|
|
2
|
+
import type{NativeProjectSymbolGraphCompilerIndexSignatureRecord}from'./native-project-compiler-index-signature.js';
|
|
3
|
+
import type{NativeProjectSymbolGraphCompilerComputedEnumRuntimeValueProof,NativeProjectSymbolGraphCompilerEnumMemberRecord,NativeProjectSymbolGraphCompilerEnumRuntimeShapeProof}from'./native-project-compiler-enum-proof.js';
|
|
4
|
+
import type{NativeProjectSymbolGraphCompilerClassMemberShapeProof,NativeProjectSymbolGraphCompilerClassPrivateAccessorRuntimeProof}from'./native-project-compiler-class-member-runtime-proof.js';
|
|
5
|
+
|
|
6
|
+
export interface NativeProjectSymbolGraphCompilerSymbolRecord { readonly id: string; readonly symbolId: string; readonly sourceDocumentId?: string; readonly sourcePath?: string; readonly sourceHash?: string; readonly symbolName?: string; readonly symbolKind?: string; readonly identityHash?: string; readonly localName?: string; readonly targetName?: string; readonly fullyQualifiedName?: string; readonly flags?: number; readonly targetFlags?: number; readonly declarations?: number; readonly aliased?: boolean; readonly publicContract?: boolean; readonly factId?: string; readonly evidenceIds?: readonly string[]; }
|
|
7
|
+
export interface NativeProjectSymbolGraphCompilerTypeParameterRecord { readonly name?: string; readonly ordinal?: number; readonly typeText?: string; readonly constraintTypeText?: string; readonly defaultTypeText?: string; readonly flags?: number; readonly hasConstraint?: boolean; readonly hasDefault?: boolean; readonly variance?: 'in' | 'out' | 'in out' | string; }
|
|
8
|
+
export interface NativeProjectSymbolGraphCompilerSignatureParameterRecord { readonly name?: string; readonly typeText?: string; readonly flags?: number; readonly optional?: boolean; }
|
|
9
|
+
export interface NativeProjectSymbolGraphCompilerSignatureRecord { readonly signatureText?: string; readonly returnTypeText?: string; readonly parameters?: readonly NativeProjectSymbolGraphCompilerSignatureParameterRecord[]; }
|
|
10
|
+
export interface NativeProjectSymbolGraphCompilerClassHeritageRecord { readonly kind?: 'extends' | 'implements' | string; readonly syntaxKind?: string; readonly clauseOrdinal?: number; readonly ordinal?: number; readonly expressionText?: string; readonly typeText?: string; readonly typeArguments?: readonly string[]; }
|
|
11
|
+
export interface NativeProjectSymbolGraphCompilerConstructorParameterRecord { readonly name?: string; readonly ordinal?: number; readonly typeText?: string; readonly optional?: boolean; readonly rest?: boolean; readonly accessibility?: 'public' | 'private' | 'protected' | string; readonly parameterProperty?: boolean; }
|
|
12
|
+
export interface NativeProjectSymbolGraphCompilerConstructorRecord { readonly ordinal?: number; readonly signatureText?: string; readonly accessibility?: 'public' | 'private' | 'protected' | string; readonly parameterCount?: number; readonly parameters?: readonly NativeProjectSymbolGraphCompilerConstructorParameterRecord[]; }
|
|
13
|
+
export interface NativeProjectSymbolGraphCompilerClassMemberRecord { readonly kind?: string; readonly syntaxKind?: string; readonly name?: string; readonly ordinal?: number; readonly static?: boolean; readonly readonly?: boolean; readonly accessibility?: string; readonly privateIdentifier?: boolean; readonly accessorField?: boolean; readonly typeText?: string; readonly signatureText?: string; }
|
|
14
|
+
export interface NativeProjectSymbolGraphCompilerPropertyRecord { readonly name?: string; readonly typeText?: string; readonly flags?: number; readonly optional?: boolean; readonly readonly?: boolean; readonly declarations?: number; }
|
|
15
|
+
export interface NativeProjectSymbolGraphCompilerAdvancedTypeShapeRecord { readonly kind: string; readonly syntaxKind?: string; readonly nodeText?: string; readonly typeText?: string; readonly checkTypeText?: string; readonly extendsTypeText?: string; readonly trueTypeText?: string; readonly falseTypeText?: string; readonly mappedConstraintTypeText?: string; readonly mappedValueTypeText?: string; readonly objectTypeText?: string; readonly indexTypeText?: string; readonly keyofTargetTypeText?: string; readonly templateHeadText?: string; readonly templateSpanCount?: number; readonly templateSpanTexts?: readonly string[]; readonly templateSpanTypeTexts?: readonly string[]; readonly templateLiteralTexts?: readonly string[]; readonly typeParameterText?: string; readonly typeParameterName?: string; readonly constraintTypeText?: string; }
|
|
16
|
+
export interface NativeProjectSymbolGraphCompilerTypeInferenceSyntaxRecord { readonly kind: 'satisfies-expression' | 'as-const-assertion' | 'const-type-parameter' | string; readonly syntaxKind?: string; readonly nodeText?: string; readonly expressionText?: string; readonly expressionTypeText?: string; readonly typeText?: string; readonly constraintTypeText?: string; readonly defaultTypeText?: string; readonly name?: string; }
|
|
17
|
+
export interface NativeProjectSymbolGraphCompilerTypeInferenceSyntaxProof { readonly kind: 'typescript-checker-public-api-type-inference-syntax-evidence' | string; readonly status: 'passed' | 'failed' | string; readonly proofLevel?: string; readonly checkerInvariant?: string; readonly requiredSignals?: readonly string[]; readonly missingSignals?: readonly string[]; readonly reasonCodes?: readonly string[]; readonly sourcePath?: string; readonly sourceHash?: string; readonly sourceBoundPublicApi?: boolean; readonly typeInferenceSyntaxHash?: string; readonly typeInferenceSyntaxCount?: number; readonly satisfiesExpressionCount?: number; readonly asConstAssertionCount?: number; readonly constTypeParameterCount?: number; readonly autoMergeClaim: false; readonly semanticEquivalenceClaim: false; }
|
|
18
|
+
export interface NativeProjectSymbolGraphCompilerTypeEquivalenceProof { readonly kind: string; readonly status: 'passed' | 'failed' | string; readonly proofLevel?: string; readonly checkerInvariant?: string; readonly requiredSignals?: readonly string[]; readonly missingSignals?: readonly string[]; readonly unsupportedSignals?: readonly string[]; readonly reasonCodes?: readonly string[]; readonly signatureSetHash?: string; readonly typeParameterSetHash?: string; readonly propertySetHash?: string; readonly constructorSetHash?: string; readonly classHeritageHash?: string; readonly privateClassMemberSetHash?: string; readonly accessorFieldSetHash?: string; readonly enumRuntimeShapeHash?: string; readonly enumEmittedRuntimeShapeHash?: string; readonly computedEnumRuntimeValueHash?: string; readonly computedEnumRuntimeValueProof?: NativeProjectSymbolGraphCompilerComputedEnumRuntimeValueProof; readonly conditionalTypeSetHash?: string; readonly indexedAccessTypeSetHash?: string; readonly mappedTypeSetHash?: string; readonly keyofTypeOperatorSetHash?: string; readonly templateLiteralTypeSetHash?: string; readonly inferTypeSetHash?: string; readonly apiSignatureHash?: string; readonly compilerSymbolIdentityHash?: string; readonly typeIdentityHash?: string; readonly callSignatureCount?: number; readonly constructSignatureCount?: number; readonly overloadSignatureCount?: number; readonly declarationCount?: number; readonly typeParameterCount?: number; readonly typeParameterDefaultCount?: number; readonly typeParameterConstraintCount?: number; readonly propertyCount?: number; readonly propertyOptionalCount?: number; readonly propertyReadonlyCount?: number; readonly constructorSignatureCount?: number; readonly classHeritageCount?: number; readonly privateClassMemberCount?: number; readonly accessorFieldCount?: number; readonly enumMemberCount?: number; readonly enumComputedMemberCount?: number; readonly advancedTypeShapeCount?: number; readonly conditionalTypeCount?: number; readonly mappedTypeCount?: number; readonly indexedAccessTypeCount?: number; readonly keyofTypeOperatorCount?: number; readonly templateLiteralTypeCount?: number; readonly inferTypeCount?: number; readonly evidenceIds?: readonly string[]; readonly autoMergeClaim: false; readonly semanticEquivalenceClaim: false; }
|
|
19
|
+
export interface NativeProjectSymbolGraphCompilerTypeRecord { readonly id: string; readonly symbolId: string; readonly sourceDocumentId?: string; readonly sourcePath?: string; readonly sourceHash?: string; readonly symbolName?: string; readonly symbolKind?: string; readonly compilerSymbolIdentityHash?: string; readonly fullyQualifiedName?: string; readonly localName?: string; readonly declarationCount?: number; readonly identityHash?: string; readonly apiSignatureHash?: string; readonly typeText?: string; readonly apparentTypeText?: string; readonly callSignatureCount?: number; readonly constructSignatureCount?: number; readonly overloadSignatureCount?: number; readonly typeParameterCount?: number; readonly typeParameterDefaultCount?: number; readonly typeParameterConstraintCount?: number; readonly propertyCount?: number; readonly propertyOptionalCount?: number; readonly propertyReadonlyCount?: number; readonly indexSignatureCount?: number; readonly constructorSignatureCount?: number; readonly classHeritageCount?: number; readonly privateClassMemberCount?: number; readonly privateClassMemberShapeHash?: string; readonly privateClassMembers?: readonly NativeProjectSymbolGraphCompilerClassMemberRecord[]; readonly accessorFieldCount?: number; readonly accessorFieldShapeHash?: string; readonly accessorFieldMembers?: readonly NativeProjectSymbolGraphCompilerClassMemberRecord[]; readonly classMemberShapeProof?: NativeProjectSymbolGraphCompilerClassMemberShapeProof; readonly classPrivateAccessorRuntimeHash?: string; readonly classPrivateAccessorRuntimeProof?: NativeProjectSymbolGraphCompilerClassPrivateAccessorRuntimeProof; readonly classPrivateAccessorRuntimeProofReasonCodes?: readonly string[]; readonly enumKind?: string; readonly constEnum?: boolean; readonly declareEnum?: boolean; readonly enumDeclarationCount?: number; readonly enumMemberCount?: number; readonly enumNumericMemberCount?: number; readonly enumStringMemberCount?: number; readonly enumAutoMemberCount?: number; readonly enumComputedMemberCount?: number; readonly enumRuntimeShapeHash?: string; readonly enumEmittedRuntimeShapeHash?: string; readonly enumMembers?: readonly NativeProjectSymbolGraphCompilerEnumMemberRecord[]; readonly enumRuntimeShapeProof?: NativeProjectSymbolGraphCompilerEnumRuntimeShapeProof; readonly advancedTypeShapeCount?: number; readonly advancedTypeShapeKinds?: readonly string[]; readonly conditionalTypeCount?: number; readonly mappedTypeCount?: number; readonly indexedAccessTypeCount?: number; readonly keyofTypeOperatorCount?: number; readonly templateLiteralTypeCount?: number; readonly inferTypeCount?: number; readonly advancedTypeShapes?: readonly NativeProjectSymbolGraphCompilerAdvancedTypeShapeRecord[]; readonly typeInferenceSyntaxCount?: number; readonly typeInferenceSyntaxKinds?: readonly string[]; readonly satisfiesExpressionCount?: number; readonly asConstAssertionCount?: number; readonly constTypeParameterCount?: number; readonly typeInferenceSyntaxHash?: string; readonly typeInferenceSyntax?: readonly NativeProjectSymbolGraphCompilerTypeInferenceSyntaxRecord[]; readonly typeInferenceSyntaxProof?: NativeProjectSymbolGraphCompilerTypeInferenceSyntaxProof; readonly typeEquivalenceStatus?: string; readonly typeEquivalenceReasonCodes?: readonly string[]; readonly typeEquivalenceSignatureSetHash?: string; readonly typeEquivalenceTypeParameterSetHash?: string; readonly typeEquivalencePropertySetHash?: string; readonly typeEquivalenceIndexSignatureSetHash?: string; readonly typeEquivalenceConstructorSetHash?: string; readonly typeEquivalenceClassHeritageHash?: string; readonly typeEquivalencePrivateClassMemberSetHash?: string; readonly typeEquivalenceAccessorFieldSetHash?: string; readonly typeEquivalenceEnumRuntimeShapeHash?: string; readonly typeEquivalenceEnumEmittedRuntimeShapeHash?: string; readonly typeEquivalenceConditionalTypeSetHash?: string; readonly typeEquivalenceIndexedAccessTypeSetHash?: string; readonly typeEquivalenceMappedTypeSetHash?: string; readonly typeEquivalenceKeyofTypeOperatorSetHash?: string; readonly typeEquivalenceTemplateLiteralTypeSetHash?: string; readonly typeEquivalenceInferTypeSetHash?: string; readonly typeEquivalenceProof?: NativeProjectSymbolGraphCompilerTypeEquivalenceProof; readonly typeEquivalenceCheckerEvidence?: unknown; readonly typeParameters?: readonly NativeProjectSymbolGraphCompilerTypeParameterRecord[]; readonly properties?: readonly NativeProjectSymbolGraphCompilerPropertyRecord[]; readonly indexSignatures?: readonly NativeProjectSymbolGraphCompilerIndexSignatureRecord[]; readonly callSignatures?: readonly NativeProjectSymbolGraphCompilerSignatureRecord[]; readonly constructSignatures?: readonly NativeProjectSymbolGraphCompilerSignatureRecord[]; readonly constructorSignatures?: readonly NativeProjectSymbolGraphCompilerConstructorRecord[]; readonly classHeritage?: readonly NativeProjectSymbolGraphCompilerClassHeritageRecord[]; readonly flags?: number; readonly objectFlags?: number; readonly intrinsicName?: string; readonly publicContract?: boolean; readonly factId?: string; readonly evidenceIds?: readonly string[]; }
|
|
20
|
+
export interface NativeProjectRuntimeOrderControlRecord { readonly kind?: 'branch' | 'loop' | 'exception' | string; readonly line?: number; readonly text?: string; }
|
|
21
|
+
export interface NativeProjectRuntimeOrderShortCircuitRecord { readonly kind?: 'short-circuit' | string; readonly operators?: readonly string[]; readonly guardText?: string; }
|
|
22
|
+
export interface NativeProjectRuntimeOrderAwaitRecord { readonly kind?: 'await' | string; readonly ordinal?: number; readonly text?: string; }
|
|
23
|
+
export interface NativeProjectRuntimeOrderOptionalChainRecord { readonly kind?: 'optional-chain' | 'optional-call' | string; readonly ordinal?: number; readonly text?: string; }
|
|
24
|
+
export interface NativeProjectRuntimeOrderConditionalExpressionRecord { readonly kind?: 'conditional-expression' | string; readonly branch?: 'consequent' | 'alternate' | string; readonly guardText?: string; readonly text?: string; readonly questionColumn?: number; readonly colonColumn?: number; }
|
|
25
|
+
export interface NativeProjectRuntimeOrderThrowRecord { readonly kind?: 'throw' | string; readonly text?: string; readonly expressionText?: string; readonly throwColumn?: number; readonly regionWithinThrow?: boolean; }
|
|
26
|
+
export interface NativeProjectRuntimeOrderExitRecord { readonly kind?: 'return' | 'yield' | string; readonly line?: number; readonly delegated?: boolean; readonly text?: string; readonly expressionText?: string; }
|
|
27
|
+
export interface NativeProjectRuntimeOrderControlTransferRecord { readonly kind?: 'control-transfer' | string; readonly transferKind?: 'break' | 'continue' | string; readonly line?: number; readonly labelText?: string; readonly labelLine?: number; readonly labelTargetLine?: number; readonly labelTargetKind?: 'loop' | 'switch' | 'block' | 'statement' | string; readonly labelTargetText?: string; readonly text?: string; }
|
|
28
|
+
export interface NativeProjectRuntimeOrderLoopIterationRecord { readonly kind?: 'loop-iteration' | string; readonly loopKind?: 'for' | 'for-of' | 'for-await-of' | 'for-in' | 'while' | 'do' | string; readonly loopLine?: number; readonly loopText?: string; readonly iteratorText?: string; readonly iterableText?: string; readonly initializerText?: string; readonly conditionText?: string; readonly updateText?: string; }
|
|
29
|
+
export interface NativeProjectRuntimeOrderSwitchDispatchRecord { readonly kind?: 'switch-dispatch' | string; readonly switchLine?: number; readonly switchText?: string; readonly discriminantText?: string; readonly caseLine?: number; readonly caseText?: string; readonly caseKind?: 'case' | 'default' | string; readonly caseOrdinal?: number; readonly previousCaseLine?: number; readonly previousCaseText?: string; readonly previousCaseKind?: 'case' | 'default' | string; readonly previousCaseOrdinal?: number; readonly previousCaseCompletionKind?: 'break' | 'continue' | 'return' | 'throw' | string; readonly fallthroughFromPrevious?: boolean; }
|
|
30
|
+
export interface NativeProjectRuntimeOrderTryCatchRecord { readonly kind?: 'catch-handler' | 'try-catch' | string; readonly line?: number; readonly text?: string; readonly tryLine?: number; readonly catchLine?: number; readonly catchText?: string; readonly completion?: string; }
|
|
31
|
+
export interface NativeProjectRuntimeOrderTryFinallyRecord { readonly kind?: 'finalizer' | 'try-finally' | string; readonly line?: number; readonly text?: string; readonly tryLine?: number; readonly finallyLine?: number; readonly finalizerText?: string; readonly completion?: string; readonly enclosingLoop?: { readonly line?: number; readonly text?: string; }; }
|
|
32
|
+
export interface NativeProjectRuntimeOrderImportMetaRecord { readonly kind?: 'import-meta' | string; readonly ordinal?: number; readonly text?: string; readonly memberName?: string; readonly memberPath?: readonly string[]; }
|
|
33
|
+
export interface NativeProjectRuntimeOrderClassStaticBlockRecord { readonly kind?: 'class-static-block' | string; readonly className?: string; readonly ordinal?: number; readonly line?: number; readonly statementCount?: number; readonly text?: string; }
|
|
34
|
+
export interface NativeProjectRuntimeOrderEvidence { readonly schema?: 'frontier.lang.runtimeOrderEvidence.v1' | string; readonly source?: 'lexical-source-scan' | string; readonly subjectId?: string; readonly runtimeScope?: 'module' | 'class-static-initialization' | string; readonly topLevelAwait?: boolean; readonly hostContext?: 'import.meta' | string; readonly importMetaHostContext?: readonly NativeProjectRuntimeOrderImportMetaRecord[]; readonly importMetaMemberNames?: readonly string[]; readonly classStaticBlockOrder?: readonly NativeProjectRuntimeOrderClassStaticBlockRecord[]; readonly regionKind?: string; readonly runtimeKinds?: readonly string[]; readonly line?: number; readonly runtimeOrderIndex?: number; readonly previousRegionKind?: string; readonly previousRuntimeKind?: string; readonly previousRuntimeKinds?: readonly string[]; readonly branchOrder?: readonly NativeProjectRuntimeOrderControlRecord[]; readonly loopOrder?: readonly NativeProjectRuntimeOrderControlRecord[]; readonly sameLineControlFlow?: readonly NativeProjectRuntimeOrderControlRecord[]; readonly sameLineShortCircuit?: readonly NativeProjectRuntimeOrderShortCircuitRecord[]; readonly sameLineAwait?: boolean; readonly sameLineAwaitOrder?: readonly NativeProjectRuntimeOrderAwaitRecord[]; readonly sameLineOptionalChain?: readonly NativeProjectRuntimeOrderOptionalChainRecord[]; readonly sameLineConditionalExpression?: readonly NativeProjectRuntimeOrderConditionalExpressionRecord[]; readonly sameLineThrow?: boolean; readonly sameLineThrowOrder?: readonly NativeProjectRuntimeOrderThrowRecord[]; readonly enclosingControlFlow?: readonly NativeProjectRuntimeOrderControlRecord[]; readonly controlTransferOrder?: readonly NativeProjectRuntimeOrderControlTransferRecord[]; readonly exitOrder?: readonly NativeProjectRuntimeOrderExitRecord[]; readonly loopIterationOrder?: readonly NativeProjectRuntimeOrderLoopIterationRecord[]; readonly switchDispatchOrder?: readonly NativeProjectRuntimeOrderSwitchDispatchRecord[]; readonly tryCatchOrder?: readonly NativeProjectRuntimeOrderTryCatchRecord[]; readonly tryFinallyOrder?: readonly NativeProjectRuntimeOrderTryFinallyRecord[]; }
|
|
35
|
+
export interface NativeProjectSymbolGraphRuntimeRegionRecord { readonly id: string; readonly key?: string; readonly regionKind?: string; readonly runtimeKind?: string; readonly runtimeKinds?: readonly string[]; readonly sourcePath?: string; readonly sourceHash?: string; readonly sourceSpan?: SourceSpan; readonly precision?: string; readonly spanKind?: string; readonly symbolId?: string; readonly symbolName?: string; readonly symbolKind?: string; readonly line?: number; readonly ordinal?: number; readonly runtimeOrderEvidence?: NativeProjectRuntimeOrderEvidence; readonly signatureHash?: string; readonly publicContract?: boolean; readonly factIds?: readonly string[]; readonly evidenceIds?: readonly string[]; }
|
|
36
|
+
export interface NativeProjectSymbolGraphScopeBindingRecord { readonly id: string; readonly name: string; readonly bindingKind?: string; readonly namespaces?: readonly string[]; readonly sourcePath?: string; readonly sourceHash?: string; readonly sourceSpan?: SourceSpan; readonly start?: number; readonly end?: number; readonly depth?: number; readonly ordinal?: number; readonly scopeEvidenceSource?: string; readonly scopeEvidenceKind?: string; readonly scopeType?: string; readonly definitionType?: string; readonly externalBindingId?: string; readonly evidenceIds?: readonly string[]; readonly publicContract?: boolean; readonly publicOwnerName?: string; readonly referenceCount?: number; readonly closureReferenceCount?: number; readonly signatureHash?: string; readonly useHash?: string; readonly localUseHash?: string; readonly resolvedUseHash?: string; readonly publicOwnerUseHash?: string; readonly closureUseHash?: string; readonly closureCaptureHash?: string; readonly aliasHash?: string; readonly importAlias?: boolean; readonly moduleSpecifier?: string; readonly importedName?: string; readonly localName?: string; readonly importKind?: string; readonly isTypeOnly?: boolean; readonly resolvedSourcePath?: string; readonly originSourcePath?: string; readonly resolvedExportName?: string; readonly originExportedName?: string; readonly originSymbolId?: string; readonly targetDocumentId?: string; readonly resolvedBindingId?: string; readonly resolvedBindingName?: string; readonly resolvedBindingKind?: string; readonly resolvedBindingSignatureHash?: string; readonly resolvedBindingUseHash?: string; readonly resolvedPublicOwnerName?: string; readonly exportedNames?: readonly string[]; readonly reExportedNames?: readonly string[]; }
|
|
37
|
+
export interface NativeProjectSymbolGraphScopeReferenceRecord { readonly id: string; readonly name: string; readonly namespace?: string; readonly namespaces?: readonly string[]; readonly sourcePath?: string; readonly sourceHash?: string; readonly sourceSpan?: SourceSpan; readonly start?: number; readonly end?: number; readonly depth?: number; readonly scopeEvidenceSource?: string; readonly scopeEvidenceKind?: string; readonly scopeType?: string; readonly referenceKind?: string; readonly receiverKind?: 'this' | 'super' | string; readonly memberName?: string; readonly memberStart?: number; readonly memberEnd?: number; readonly memberComputed?: boolean; readonly memberOptional?: boolean; readonly writeOperation?: string; readonly templateLiteralInterpolation?: boolean; readonly templateExpressionStart?: number; readonly templateExpressionEnd?: number; readonly templateExpressionHash?: string; readonly evidenceIds?: readonly string[]; readonly bindingId?: string; readonly bindingName?: string; readonly bindingKind?: string; readonly bindingOrdinal?: number; readonly closure?: boolean; readonly closureDepthDelta?: number; readonly closureBindingDepth?: number; readonly closureOwnerName?: string; readonly closureCaptureHash?: string; readonly publicContract?: boolean; readonly publicOwnerName?: string; readonly status?: string; readonly reasonCodes?: readonly string[]; readonly signatureHash?: string; readonly importAlias?: boolean; readonly moduleSpecifier?: string; readonly importedName?: string; readonly resolvedSourcePath?: string; readonly originSourcePath?: string; readonly resolvedExportName?: string; readonly resolvedBindingId?: string; readonly resolvedBindingName?: string; readonly resolvedBindingUseHash?: string; readonly resolvedUseHash?: string; }
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
import type { SourceSpan } from '@shapeshift-labs/frontier-lang-kernel';
|
|
2
|
+
|
|
3
|
+
export interface NativeProjectSymbolGraphCompilerTypeReferenceTargetRecord {
|
|
4
|
+
readonly kind: 'type-reference-target' | string;
|
|
5
|
+
readonly syntaxKind?: string;
|
|
6
|
+
readonly nodeText?: string;
|
|
7
|
+
readonly typeText?: string;
|
|
8
|
+
readonly typeReferenceName?: string;
|
|
9
|
+
readonly sourceSpan?: SourceSpan;
|
|
10
|
+
readonly typeArgumentCount?: number;
|
|
11
|
+
readonly targetStatus?: 'resolved' | 'unresolved' | string;
|
|
12
|
+
readonly targetAliased?: boolean;
|
|
13
|
+
readonly targetSymbolName?: string;
|
|
14
|
+
readonly targetFullyQualifiedName?: string;
|
|
15
|
+
readonly targetSymbolFlags?: number;
|
|
16
|
+
readonly targetSymbolIdentityHash?: string;
|
|
17
|
+
readonly targetDeclarationKind?: string;
|
|
18
|
+
readonly targetDeclarationSourcePath?: string;
|
|
19
|
+
readonly targetDeclarationSpan?: SourceSpan;
|
|
20
|
+
readonly targetDeclarationTextHash?: string;
|
|
21
|
+
readonly typeReferenceTargetProofHash?: string;
|
|
22
|
+
readonly autoMergeClaim: false;
|
|
23
|
+
readonly semanticEquivalenceClaim: false;
|
|
24
|
+
readonly runtimeEquivalenceClaim: false;
|
|
25
|
+
}
|
|
26
|
+
|
|
27
|
+
declare module './native-project-compiler-scope.js' {
|
|
28
|
+
interface NativeProjectSymbolGraphCompilerTypeEquivalenceProof {
|
|
29
|
+
readonly typeReferenceTargetSetHash?: string;
|
|
30
|
+
readonly typeReferenceTargetCount?: number;
|
|
31
|
+
}
|
|
32
|
+
|
|
33
|
+
interface NativeProjectSymbolGraphCompilerTypeRecord {
|
|
34
|
+
readonly typeReferenceTargetCount?: number;
|
|
35
|
+
readonly typeReferenceTargets?: readonly NativeProjectSymbolGraphCompilerTypeReferenceTargetRecord[];
|
|
36
|
+
readonly typeEquivalenceTypeReferenceTargetSetHash?: string;
|
|
37
|
+
}
|
|
38
|
+
}
|
|
@@ -0,0 +1,90 @@
|
|
|
1
|
+
import type { SourceSpan } from '@shapeshift-labs/frontier-lang-kernel';
|
|
2
|
+
|
|
3
|
+
export interface NativeProjectSymbolGraphCssModuleImportBindingRecord {
|
|
4
|
+
readonly id: string;
|
|
5
|
+
readonly kind: 'css-module-import-binding';
|
|
6
|
+
readonly sourcePath?: string;
|
|
7
|
+
readonly sourceHash?: string;
|
|
8
|
+
readonly sourceSpan?: SourceSpan;
|
|
9
|
+
readonly importEdgeId?: string;
|
|
10
|
+
readonly moduleSpecifier?: string;
|
|
11
|
+
readonly resolvedModulePath?: string;
|
|
12
|
+
readonly targetDocumentId?: string;
|
|
13
|
+
readonly importKind?: 'default' | 'namespace' | 'named' | 'side-effect' | string;
|
|
14
|
+
readonly importedName?: string;
|
|
15
|
+
readonly localName?: string;
|
|
16
|
+
readonly cssModuleSourcePath?: string;
|
|
17
|
+
readonly cssModuleSourceHash?: string;
|
|
18
|
+
readonly cssModuleHash?: string;
|
|
19
|
+
readonly cssModuleEvidenceStatus?: 'supplied' | 'unproved' | string;
|
|
20
|
+
readonly generatedClassNameMapHash?: string;
|
|
21
|
+
readonly jsTsUseSiteGraphHash?: string;
|
|
22
|
+
readonly cssModuleCompositionGraphHash?: string;
|
|
23
|
+
readonly icssGraphHash?: string;
|
|
24
|
+
readonly bundlerTransformHash?: string;
|
|
25
|
+
readonly sourceMapProofHash?: string;
|
|
26
|
+
readonly signatureHash?: string;
|
|
27
|
+
}
|
|
28
|
+
|
|
29
|
+
export interface NativeProjectSymbolGraphCssModuleUseSiteRecord {
|
|
30
|
+
readonly id: string;
|
|
31
|
+
readonly kind: 'css-module-use-site';
|
|
32
|
+
readonly cssModuleImportBindingId: string;
|
|
33
|
+
readonly importEdgeId?: string;
|
|
34
|
+
readonly cssModuleSourcePath?: string;
|
|
35
|
+
readonly cssModuleHash?: string;
|
|
36
|
+
readonly exportName?: string;
|
|
37
|
+
readonly cssModuleExportHash?: string;
|
|
38
|
+
readonly useSiteKind?: 'jsx-className' | 'jsx-className-helper' | 'scope-member-read' | 'destructured-binding' | 'named-import-reference' | string;
|
|
39
|
+
readonly jsSourcePath?: string;
|
|
40
|
+
readonly jsSourceHash?: string;
|
|
41
|
+
readonly sourceSpan?: SourceSpan;
|
|
42
|
+
readonly accessKind?: 'dot' | 'static-bracket' | 'static-template' | 'destructure' | 'named-import' | 'helper-argument' | string;
|
|
43
|
+
readonly receiverLocalName?: string;
|
|
44
|
+
readonly localReferenceName?: string;
|
|
45
|
+
readonly expressionText?: string;
|
|
46
|
+
readonly jsxPropRecordId?: string;
|
|
47
|
+
readonly scopeReferenceRecordId?: string;
|
|
48
|
+
readonly conditionalRuntimePresence?: boolean;
|
|
49
|
+
readonly signatureHash?: string;
|
|
50
|
+
}
|
|
51
|
+
|
|
52
|
+
export interface NativeProjectSymbolGraphCssModuleUseSiteBlockerRecord {
|
|
53
|
+
readonly id: string;
|
|
54
|
+
readonly kind: 'css-module-use-site-blocker';
|
|
55
|
+
readonly sourcePath?: string;
|
|
56
|
+
readonly sourceHash?: string;
|
|
57
|
+
readonly sourceSpan?: SourceSpan;
|
|
58
|
+
readonly moduleSpecifier?: string;
|
|
59
|
+
readonly localName?: string;
|
|
60
|
+
readonly cssModuleImportBindingId?: string;
|
|
61
|
+
readonly cssModuleSourcePath?: string;
|
|
62
|
+
readonly expressionText?: string;
|
|
63
|
+
readonly reasonCode?: string;
|
|
64
|
+
readonly writeOperation?: string;
|
|
65
|
+
readonly jsxPropRecordId?: string;
|
|
66
|
+
readonly failClosed: true;
|
|
67
|
+
readonly semanticEquivalenceClaim: false;
|
|
68
|
+
readonly signatureHash?: string;
|
|
69
|
+
}
|
|
70
|
+
|
|
71
|
+
export interface NativeProjectSymbolGraphCssModuleUseSiteGraphRecord {
|
|
72
|
+
readonly kind: 'frontier.lang.cssModuleUseSiteGraph';
|
|
73
|
+
readonly version: 1;
|
|
74
|
+
readonly cssModuleSourcePath?: string;
|
|
75
|
+
readonly cssModuleHash?: string;
|
|
76
|
+
readonly cssModuleSourceHash?: string;
|
|
77
|
+
readonly importBindingIds: readonly string[];
|
|
78
|
+
readonly useSiteIds: readonly string[];
|
|
79
|
+
readonly blockerIds: readonly string[];
|
|
80
|
+
readonly importBindingCount: number;
|
|
81
|
+
readonly useSiteCount: number;
|
|
82
|
+
readonly blockerCount: number;
|
|
83
|
+
readonly generatedClassNameMapHash?: string;
|
|
84
|
+
readonly bundlerTransformHash?: string;
|
|
85
|
+
readonly sourceMapProofHash?: string;
|
|
86
|
+
readonly status: 'ready' | 'blocked' | string;
|
|
87
|
+
readonly graphHash: string;
|
|
88
|
+
readonly autoMergeClaim: false;
|
|
89
|
+
readonly semanticEquivalenceClaim: false;
|
|
90
|
+
}
|
|
@@ -0,0 +1,126 @@
|
|
|
1
|
+
import type { SourceSpan } from '@shapeshift-labs/frontier-lang-kernel';
|
|
2
|
+
|
|
3
|
+
export interface NativeProjectSymbolGraphCompilerDecoratorMetadataRecord {
|
|
4
|
+
readonly kind: 'class-decorator' | 'member-decorator' | 'parameter-decorator' | string;
|
|
5
|
+
readonly targetKind?: 'class' | 'field' | 'accessor-field' | 'method' | 'get-accessor' | 'set-accessor' | 'constructor' | string;
|
|
6
|
+
readonly className?: string;
|
|
7
|
+
readonly memberKind?: string;
|
|
8
|
+
readonly memberName?: string;
|
|
9
|
+
readonly parameterName?: string;
|
|
10
|
+
readonly declarationOrdinal?: number;
|
|
11
|
+
readonly memberOrdinal?: number;
|
|
12
|
+
readonly parameterOrdinal?: number;
|
|
13
|
+
readonly decoratorOrdinal?: number;
|
|
14
|
+
readonly targetStatic?: boolean;
|
|
15
|
+
readonly targetAccessibility?: 'public' | 'private' | 'protected' | string;
|
|
16
|
+
readonly parameterProperty?: boolean;
|
|
17
|
+
readonly syntaxKind?: string;
|
|
18
|
+
readonly expressionKind?: string;
|
|
19
|
+
readonly decoratorText?: string;
|
|
20
|
+
readonly expressionText?: string;
|
|
21
|
+
readonly expressionHash?: string;
|
|
22
|
+
readonly sourceSpan?: SourceSpan;
|
|
23
|
+
readonly staticDecoratorMetadataEvidence: true;
|
|
24
|
+
readonly decoratorExecutionEquivalenceClaim: false;
|
|
25
|
+
readonly runtimeEquivalenceClaim: false;
|
|
26
|
+
readonly semanticEquivalenceClaim: false;
|
|
27
|
+
}
|
|
28
|
+
|
|
29
|
+
export interface NativeProjectSymbolGraphCompilerDecoratorRuntimeExecutionProof {
|
|
30
|
+
readonly id?: string;
|
|
31
|
+
readonly evidenceId?: string;
|
|
32
|
+
readonly schema?: 'frontier.lang.typescript.decoratorRuntimeExecutionProof.v1' | string;
|
|
33
|
+
readonly kind?: 'frontier.lang.typescript.decoratorRuntimeExecutionProof' | string;
|
|
34
|
+
readonly status: 'passed' | 'verified' | 'failed' | string;
|
|
35
|
+
readonly sourcePath?: string;
|
|
36
|
+
readonly sourceHash?: string;
|
|
37
|
+
readonly decoratorMetadataHash?: string;
|
|
38
|
+
readonly decoratorMetadataCount?: number;
|
|
39
|
+
readonly decoratorRuntimeExecutionHash?: string;
|
|
40
|
+
readonly decoratorFactoryCallOrderHash?: string;
|
|
41
|
+
readonly decoratorInvocationOrderHash?: string;
|
|
42
|
+
readonly decoratorSideEffectTraceHash?: string;
|
|
43
|
+
readonly decoratorResultApplicationHash?: string;
|
|
44
|
+
readonly decoratorEmitRuntimeEquivalenceHash?: string;
|
|
45
|
+
readonly command?: string;
|
|
46
|
+
readonly traceHash?: string;
|
|
47
|
+
readonly evidenceHash?: string;
|
|
48
|
+
readonly autoMergeClaim: false;
|
|
49
|
+
readonly semanticEquivalenceClaim: false;
|
|
50
|
+
readonly runtimeEquivalenceClaim: false;
|
|
51
|
+
readonly decoratorExecutionEquivalenceClaim: false;
|
|
52
|
+
readonly decoratorEmitRuntimeEquivalenceClaim: false;
|
|
53
|
+
}
|
|
54
|
+
|
|
55
|
+
export interface NativeProjectSymbolGraphCompilerDecoratorRuntimeExecutionGap {
|
|
56
|
+
readonly kind: 'typescript-checker-decorator-runtime-execution-equivalence-gap' | string;
|
|
57
|
+
readonly status: 'blocked' | string;
|
|
58
|
+
readonly proofLevel?: string;
|
|
59
|
+
readonly reasonCode?: string;
|
|
60
|
+
readonly missingSignals?: readonly string[];
|
|
61
|
+
readonly routeId?: string;
|
|
62
|
+
readonly routeLane?: string;
|
|
63
|
+
readonly routeNext?: string;
|
|
64
|
+
readonly failClosed?: true;
|
|
65
|
+
readonly blocksSemanticEquivalence?: true;
|
|
66
|
+
readonly decoratorRuntimeExecutionHash?: string;
|
|
67
|
+
readonly proofReasonCodes?: readonly string[];
|
|
68
|
+
readonly proofEvidenceIds?: readonly string[];
|
|
69
|
+
}
|
|
70
|
+
|
|
71
|
+
export interface NativeProjectSymbolGraphCompilerDecoratorConflictRouting {
|
|
72
|
+
readonly status: 'fail-closed' | 'proof-bound' | string;
|
|
73
|
+
readonly conflictCode?: string;
|
|
74
|
+
readonly reasonCode?: string;
|
|
75
|
+
readonly branchDivergenceSignal?: string;
|
|
76
|
+
readonly routeId?: string;
|
|
77
|
+
readonly routeLane?: string;
|
|
78
|
+
readonly routeNext?: string;
|
|
79
|
+
readonly decoratorMetadataHash?: string;
|
|
80
|
+
readonly decoratorRuntimeExecutionHash?: string;
|
|
81
|
+
readonly proofEvidenceIds?: readonly string[];
|
|
82
|
+
readonly failClosed?: boolean;
|
|
83
|
+
readonly autoMergeClaim: false;
|
|
84
|
+
readonly semanticEquivalenceClaim: false;
|
|
85
|
+
readonly runtimeEquivalenceClaim: false;
|
|
86
|
+
readonly decoratorExecutionEquivalenceClaim: false;
|
|
87
|
+
}
|
|
88
|
+
|
|
89
|
+
export interface NativeProjectSymbolGraphCompilerDecoratorMetadataProof {
|
|
90
|
+
readonly kind: 'typescript-checker-decorator-static-metadata-evidence' | string;
|
|
91
|
+
readonly status: 'passed' | 'failed' | string;
|
|
92
|
+
readonly proofLevel?: string;
|
|
93
|
+
readonly proofScope?: string;
|
|
94
|
+
readonly checkerInvariant?: string;
|
|
95
|
+
readonly requiredSignals?: readonly string[];
|
|
96
|
+
readonly decoratorMetadataHash?: string;
|
|
97
|
+
readonly decoratorMetadataCount?: number;
|
|
98
|
+
readonly classDecoratorCount?: number;
|
|
99
|
+
readonly memberDecoratorCount?: number;
|
|
100
|
+
readonly parameterDecoratorCount?: number;
|
|
101
|
+
readonly runtimeExecutionEquivalenceGap?: NativeProjectSymbolGraphCompilerDecoratorRuntimeExecutionGap;
|
|
102
|
+
readonly conflictRouting?: NativeProjectSymbolGraphCompilerDecoratorConflictRouting;
|
|
103
|
+
readonly decoratorRuntimeExecutionHash?: string;
|
|
104
|
+
readonly decoratorRuntimeExecutionProof?: NativeProjectSymbolGraphCompilerDecoratorRuntimeExecutionProof;
|
|
105
|
+
readonly decoratorRuntimeExecutionProofReasonCodes?: readonly string[];
|
|
106
|
+
readonly staticDecoratorMetadataEvidence: true;
|
|
107
|
+
readonly autoMergeClaim: false;
|
|
108
|
+
readonly semanticEquivalenceClaim: false;
|
|
109
|
+
readonly runtimeEquivalenceClaim: false;
|
|
110
|
+
readonly decoratorExecutionEquivalenceClaim: false;
|
|
111
|
+
}
|
|
112
|
+
|
|
113
|
+
declare module './native-project-compiler-scope.js' {
|
|
114
|
+
interface NativeProjectSymbolGraphCompilerTypeRecord {
|
|
115
|
+
readonly decoratorMetadataCount?: number;
|
|
116
|
+
readonly classDecoratorCount?: number;
|
|
117
|
+
readonly memberDecoratorCount?: number;
|
|
118
|
+
readonly parameterDecoratorCount?: number;
|
|
119
|
+
readonly decoratorMetadataHash?: string;
|
|
120
|
+
readonly decoratorRuntimeExecutionHash?: string;
|
|
121
|
+
readonly decoratorRuntimeExecutionProof?: NativeProjectSymbolGraphCompilerDecoratorRuntimeExecutionProof;
|
|
122
|
+
readonly decoratorRuntimeExecutionProofReasonCodes?: readonly string[];
|
|
123
|
+
readonly decoratorMetadata?: readonly NativeProjectSymbolGraphCompilerDecoratorMetadataRecord[];
|
|
124
|
+
readonly decoratorMetadataProof?: NativeProjectSymbolGraphCompilerDecoratorMetadataProof;
|
|
125
|
+
}
|
|
126
|
+
}
|