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

package/dist/declarations/js-ts-safe-merge.d.ts

@@ -7,6 +7,8 @@ import type {
 
 export type JsTsSafeMergeStatus = 'merged' | 'blocked';
 export type JsTsSafeMergeGateStatus = 'passed' | 'blocked' | 'skipped';
+export type JsTsSafeMergeSyntaxDiagnosticSeverity = 'error' | 'warning' | 'suggestion' | 'message' | string;
+export type JsTsSafeMergeSyntaxDiagnosticPhase = 'syntax' | 'semantic' | string;
 
 export declare const JsTsSafeMergeStatuses: Readonly<{
   readonly merged: 'merged';
@@ -70,11 +72,47 @@ export interface JsTsSafeMergeInput {
   readonly baseSourceLedger?: unknown;
   readonly workerSourceLedger?: unknown;
   readonly headSourceLedger?: unknown;
+  readonly requireOutputSyntaxDiagnostics?: boolean;
+  readonly requireOutputSyntaxGate?: boolean;
+  readonly requireMergedOutputSyntaxDiagnostics?: boolean;
+  readonly requireSyntaxGate?: boolean;
+  readonly outputDiagnostics?: readonly JsTsSafeMergeSyntaxDiagnostic[] | JsTsSafeMergeSyntaxDiagnostic;
+  readonly outputSyntaxDiagnostics?: readonly JsTsSafeMergeSyntaxDiagnostic[] | JsTsSafeMergeSyntaxDiagnostic;
+  readonly mergedOutputSyntaxDiagnostics?: readonly JsTsSafeMergeSyntaxDiagnostic[] | JsTsSafeMergeSyntaxDiagnostic;
+  readonly syntaxDiagnostics?: {
+    readonly output?: readonly JsTsSafeMergeSyntaxDiagnostic[] | JsTsSafeMergeSyntaxDiagnostic;
+    readonly merged?: readonly JsTsSafeMergeSyntaxDiagnostic[] | JsTsSafeMergeSyntaxDiagnostic;
+  };
   readonly policy?: JsTsSafeMemberMergePolicy | readonly JsTsSafeMemberMergePolicyRegion[];
   readonly mergePolicy?: JsTsSafeMemberMergePolicy | readonly JsTsSafeMemberMergePolicyRegion[];
   readonly unorderedRegions?: readonly JsTsSafeMemberMergePolicyRegion[];
 }
 
+export interface JsTsSafeMergeSyntaxDiagnostic {
+  readonly id?: string;
+  readonly source?: string;
+  readonly tool?: string;
+  readonly name?: string;
+  readonly code?: string;
+  readonly diagnosticCode?: string;
+  readonly severity?: JsTsSafeMergeSyntaxDiagnosticSeverity;
+  readonly category?: JsTsSafeMergeSyntaxDiagnosticSeverity | number | string;
+  readonly phase?: JsTsSafeMergeSyntaxDiagnosticPhase;
+  readonly diagnosticPhase?: JsTsSafeMergeSyntaxDiagnosticPhase;
+  readonly kind?: string;
+  readonly type?: string;
+  readonly syntax?: boolean;
+  readonly message?: string;
+  readonly messageText?: string;
+  readonly sourcePath?: string;
+  readonly fileName?: string;
+  readonly file?: { readonly fileName?: string };
+  readonly start?: number;
+  readonly end?: number;
+  readonly line?: number;
+  readonly column?: number;
+}
+
 export interface JsTsSafeMergeConflict {
   readonly code: string;
   readonly gateId: string;
@@ -112,6 +150,15 @@ export interface JsTsSafeMergeSummary {
   readonly semanticEditOperations?: number;
   readonly semanticEditAppliedOperations?: number;
   readonly semanticEditReplayStatus?: string;
+  readonly jsxAttributeTags?: number;
+  readonly jsxAttributeEdits?: number;
+  readonly jsxComponentPropContractCandidates?: number;
+  readonly jsxComponentPropContractAttributes?: number;
+  readonly jsxChildExpressionElements?: number;
+  readonly jsxChildExpressionEdits?: number;
+  readonly jsxChildAdditions?: number;
+  readonly jsxKeyedChildAdditions?: number;
+  readonly jsxKeyedFragmentAdditions?: number;
   readonly composedPhases?: number;
 }
 

package/dist/declarations/js-ts-safe-project-merge.d.ts

@@ -1,29 +1,33 @@
 import type { FrontierSourceLanguage } from '@shapeshift-labs/frontier-lang-kernel';
-import type {
-  JsTsSafeMergeAdmission,
-  JsTsSafeMergeConflict,
-  JsTsSafeMergeResult,
-  JsTsSafeMergeSemanticArtifacts,
-  JsTsSafeMergeSummary
-} from './js-ts-safe-merge.js';
+import type { JsTsSafeMergeAdmission, JsTsSafeMergeConflict, JsTsSafeMergeResult, JsTsSafeMergeSemanticArtifacts, JsTsSafeMergeSummary } from './js-ts-safe-merge.js';
 import type { JsTsSafeMemberMergePolicy, JsTsSafeMemberMergePolicyRegion } from './js-ts-safe-member-merge.js';
 import type { NativeSourceImportResult } from './import-adapter-core.js';
 import type { NativeProjectImportResult, NativeProjectSymbolGraphSummary } from './native-project.js';
 import type { NativeProjectModuleResolutionOptions } from './native-project-module-resolution.js';
+import type { JsTsProjectMergeDeclarationEmitParityProof as DeclEmitParityProof } from './js-ts-project-merge-declaration-emit-parity.js';
+import type { JsTsProjectMergeDeclarationFiles as DeclFiles, JsTsProjectMergeDeclarationGate as DeclGate } from './js-ts-project-merge-declarations.js';
+import type { JsTsProjectMergeDiagnostic as Diag, JsTsProjectMergeDiagnosticsGate } from './js-ts-project-merge-diagnostics.js';
+import type { JsTsProjectCompilerOptionMetadata, JsTsProjectCompilerOptionSourceMetadata, JsTsProjectReferenceMetadata, JsTsProjectReferencesInput, JsTsProjectTsconfigInput } from './js-ts-project-merge-tsconfig.js';
+import type { JsTsProjectMergeQualityGate as QualityGate, JsTsProjectMergeQualityGateInput as QualityGateInput } from './js-ts-project-merge-quality-gates.js';
+import type { JsTsProjectMergeProofEvidence, JsTsProjectMergeProofEvidenceStatus, JsTsProjectMergeProofLevel } from './js-ts-project-merge-proof-levels.js';
+import type { JsTsProjectSafeMergeAdmissionRoute, JsTsProjectSafeMergeAdmissionRouteSummary } from './js-ts-project-merge-admission-routes.js';
+import type { JsTsProjectSafeMergeConfidenceSummary, JsTsProjectSafeMergeMissingEvidenceTelemetry } from './js-ts-project-merge-confidence.js';
+import type { JsTsProjectCommonJsRuntimeInteropProof } from './js-ts-project-merge-commonjs-interop.js';
+import type { JsTsProjectGlobalAugmentationCompatibilityProof } from './js-ts-project-merge-global-augmentation.js'; import type { JsTsProjectJsxRenderReturnBranchProof } from './js-ts-project-merge-jsx-render-branch.js'; import type { JsTsProjectSemanticEquivalenceProof } from './js-ts-project-merge-semantic-equivalence-proof.js';
+import type { ParserTriviaEvidenceInput } from './source-preservation.js';
+
+export type { JsTsProjectMergeQualityGate, JsTsProjectMergeQualityGateDecision, JsTsProjectMergeQualityGateEvidence, JsTsProjectMergeQualityGateInput, JsTsProjectMergeQualityGateMissingEvidence, JsTsProjectMergeQualityGateRecord } from './js-ts-project-merge-quality-gates.js';
+export type { JsTsProjectMergeProofEvidence, JsTsProjectMergeProofEvidenceRecord, JsTsProjectMergeProofEvidenceRecordStatus, JsTsProjectMergeProofEvidenceStatus, JsTsProjectMergeProofEvidenceSummary, JsTsProjectMergeProofLevel, JsTsProjectMergeProofMissingEvidence } from './js-ts-project-merge-proof-levels.js';
+export type { JsTsProjectSafeMergeAdmissionRoute, JsTsProjectSafeMergeAdmissionRouteSummary } from './js-ts-project-merge-admission-routes.js';
+export type { JsTsProjectSafeMergeConfidenceSummary, JsTsProjectSafeMergeMissingEvidence, JsTsProjectSafeMergeMissingEvidenceRoute, JsTsProjectSafeMergeMissingEvidenceTelemetry, JsTsProjectSafeMergeRecommendedAction } from './js-ts-project-merge-confidence.js';
+export type { JsTsProjectCommonJsRuntimeInteropProof } from './js-ts-project-merge-commonjs-interop.js';
+export type { JsTsProjectGlobalAugmentationCompatibilityProof } from './js-ts-project-merge-global-augmentation.js'; export type { JsTsProjectJsxRenderReturnBranchArmOrigin, JsTsProjectJsxRenderReturnBranchControlKind, JsTsProjectJsxRenderReturnBranchProof } from './js-ts-project-merge-jsx-render-branch.js';
 
 export type JsTsProjectSafeMergeStatus = 'merged' | 'blocked';
 export type JsTsProjectSafeMergeFileStatus = 'merged' | 'blocked';
-export type JsTsProjectSafeMergeFileOperation =
-  | 'merged-source'
-  | 'merged-source-and-members'
-  | 'worker-added'
-  | 'head-only'
-  | 'both-added-identical'
-  | 'worker-deleted'
-  | 'head-deleted-worker-unchanged'
-  | 'blocked-merge'
-  | 'blocked-file-presence'
-  | string;
+export type JsTsProjectSafeMergeFileOperation = 'merged-source' | 'merged-source-and-members' | 'worker-added' | 'head-only' | 'both-added-identical' | 'worker-deleted' | 'head-deleted-worker-unchanged' | 'blocked-merge' | 'blocked-file-presence' | string;
+
+export interface JsTsProjectSafeMergeEvidenceRecord { readonly id: string; readonly kind: string; readonly status: 'passed' | 'failed' | 'skipped' | 'unknown' | string; readonly level?: string; readonly scope?: string; readonly summary?: string; readonly metadata?: Record<string, unknown>; }
 
 export interface JsTsProjectSafeMergeFileInput {
   readonly sourcePath?: string;
@@ -39,12 +43,17 @@ export interface JsTsProjectSafeMergeFileInput {
   readonly headDeleted?: boolean;
   readonly policy?: JsTsSafeMemberMergePolicy | readonly JsTsSafeMemberMergePolicyRegion[];
   readonly mergePolicy?: JsTsSafeMemberMergePolicy | readonly JsTsSafeMemberMergePolicyRegion[];
+  readonly parserTriviaEvidence?: ParserTriviaEvidenceInput;
+  readonly baseParserTriviaEvidence?: ParserTriviaEvidenceInput;
+  readonly workerParserTriviaEvidence?: ParserTriviaEvidenceInput;
+  readonly headParserTriviaEvidence?: ParserTriviaEvidenceInput;
+  readonly outputParserTriviaEvidence?: ParserTriviaEvidenceInput;
 }
 
 export type JsTsProjectSafeMergeFileMap =
-  | Readonly<Record<string, string>>
-  | ReadonlyMap<string, string>
-  | readonly { readonly sourcePath?: string; readonly path?: string; readonly sourceText?: string; readonly text?: string }[];
+  | Readonly<Record<string, string | { readonly sourceText?: string; readonly text?: string; readonly parserTriviaEvidence?: ParserTriviaEvidenceInput }>>
+  | ReadonlyMap<string, string | { readonly sourceText?: string; readonly text?: string; readonly parserTriviaEvidence?: ParserTriviaEvidenceInput }>
+  | readonly { readonly sourcePath?: string; readonly path?: string; readonly sourceText?: string; readonly text?: string; readonly parserTriviaEvidence?: ParserTriviaEvidenceInput }[];
 
 export type JsTsProjectSafeMergeOutputProjectImports =
   | readonly NativeSourceImportResult[]
@@ -53,19 +62,15 @@ export type JsTsProjectSafeMergeOutputProjectImports =
 
 export type JsTsProjectGraphStageName = 'base' | 'worker' | 'head' | 'output' | string;
 
-export type JsTsProjectGraphLimitKind =
-  | 'source-files'
-  | 'source-bytes'
-  | 'import-edges'
-  | 'export-edges'
-  | 'serialized-bytes'
-  | string;
+export type JsTsProjectGraphLimitKind = 'source-files' | 'source-bytes' | 'source-spans' | 'import-edges' | 'export-edges' | 'scope-bindings' | 'scope-references' | 'jsx-elements' | 'jsx-props' | 'serialized-bytes' | string;
 
 export interface JsTsProjectGraphLimits {
   readonly maxFiles?: number;
   readonly maxSourceBytes?: number;
-  readonly maxImportEdges?: number;
-  readonly maxExportEdges?: number;
+  readonly maxSourceSpans?: number;
+  readonly maxImportEdges?: number; readonly maxExportEdges?: number;
+  readonly maxScopeBindings?: number; readonly maxScopeReferences?: number;
+  readonly maxJsxElements?: number; readonly maxJsxProps?: number;
   readonly maxSerializedBytes?: number;
 }
 
@@ -88,14 +93,42 @@ export interface JsTsProjectSafeMergeInput {
   readonly allowFileDeletes?: boolean;
   readonly includeOutputProjectSymbolGraph?: boolean;
   readonly includeProjectGraphDelta?: boolean;
+  readonly allowProjectSymbolRenames?: boolean; readonly allowCrossFileSymbolRenames?: boolean; readonly allowProjectSymbolMoves?: boolean; readonly allowSymbolMoves?: boolean; readonly allowProjectSplitMerges?: boolean; readonly allowSplitMerges?: boolean; readonly allowProjectModuleSplits?: boolean; readonly allowModuleSplits?: boolean; readonly allowProjectModuleMerges?: boolean; readonly allowModuleMerges?: boolean; readonly allowProjectClassSplits?: boolean; readonly allowClassSplits?: boolean; readonly allowProjectClassMerges?: boolean; readonly allowClassMerges?: boolean;
+  readonly requireTypeScriptRefactorEvidence?: boolean; readonly requireTypeScriptLanguageServiceRefactorEvidence?: boolean; readonly requireCompilerRefactorEvidence?: boolean;
   readonly projectGraphLimits?: JsTsProjectGraphLimits;
   readonly outputProjectImports?: JsTsProjectSafeMergeOutputProjectImports;
   readonly baseProjectImports?: JsTsProjectSafeMergeOutputProjectImports;
   readonly workerProjectImports?: JsTsProjectSafeMergeOutputProjectImports;
   readonly headProjectImports?: JsTsProjectSafeMergeOutputProjectImports;
   readonly projectGraphImports?: JsTsProjectSafeMergeProjectGraphImportsByStage;
+  readonly commonJsRuntimeInteropProof?: JsTsProjectCommonJsRuntimeInteropProof;
+  readonly commonJsRuntimeInteropProofs?: readonly JsTsProjectCommonJsRuntimeInteropProof[];
+  readonly globalAugmentationCompatibilityProof?: JsTsProjectGlobalAugmentationCompatibilityProof;
+  readonly globalAugmentationCompatibilityProofs?: readonly JsTsProjectGlobalAugmentationCompatibilityProof[]; readonly jsxRenderReturnBranchProof?: JsTsProjectJsxRenderReturnBranchProof; readonly jsxRenderReturnBranchProofs?: readonly JsTsProjectJsxRenderReturnBranchProof[]; readonly externalSemanticEquivalenceProof?: JsTsProjectSemanticEquivalenceProof; readonly semanticEquivalenceProof?: JsTsProjectSemanticEquivalenceProof;
   readonly moduleResolution?: NativeProjectModuleResolutionOptions;
-  readonly tsconfig?: NativeProjectModuleResolutionOptions;
+  readonly tsconfig?: JsTsProjectTsconfigInput | NativeProjectModuleResolutionOptions;
+  readonly projectReferences?: JsTsProjectReferencesInput;
+  readonly typescriptProjectReferences?: JsTsProjectReferencesInput;
+  readonly tsconfigProjectReferences?: JsTsProjectReferencesInput;
+  readonly requireOutputDiagnostics?: boolean;
+  readonly outputDiagnostics?: readonly Diag[] | Diag;
+  readonly includeDeclarationOutput?: boolean;
+  readonly requireDeclarationOutput?: boolean;
+  readonly requirePublicApiDeclarationEmitParity?: boolean;
+  readonly outputDeclarations?: DeclFiles;
+  readonly outputDeclarationFiles?: DeclFiles;
+  readonly declarationEmitParityProof?: DeclEmitParityProof;
+  readonly outputDeclarationEmitParityProof?: DeclEmitParityProof;
+  readonly declarationOutDir?: string;
+  readonly declarationCompilerOptions?: Record<string, unknown>;
+  readonly typescriptDeclarationCompilerOptions?: Record<string, unknown>;
+  readonly typescript?: unknown;
+  readonly ts?: unknown;
+  readonly typescriptModule?: unknown;
+  readonly compilerOptions?: Record<string, unknown>;
+  readonly typescriptCompilerOptions?: Record<string, unknown>;
+  readonly diagnosticOptions?: { readonly options?: boolean; readonly syntactic?: boolean; readonly semantic?: boolean; };
+  readonly typescriptDiagnosticOptions?: { readonly options?: boolean; readonly syntactic?: boolean; readonly semantic?: boolean; };
   readonly workerChangeSetId?: string;
   readonly headChangeSetId?: string;
   readonly policy?: JsTsSafeMemberMergePolicy | readonly JsTsSafeMemberMergePolicyRegion[];
@@ -105,6 +138,14 @@ export interface JsTsProjectSafeMergeInput {
   readonly requireSourceLedgerSpans?: boolean;
   readonly sourceLedgers?: Record<string, unknown>;
   readonly sourceLedgersByPath?: Record<string, Record<string, unknown>>;
+  readonly requireOutputSyntaxDiagnostics?: boolean;
+  readonly requireOutputSyntaxGate?: boolean;
+  readonly requireMergedOutputSyntaxDiagnostics?: boolean;
+  readonly requireSyntaxGate?: boolean;
+  readonly outputSyntaxDiagnostics?: readonly Diag[] | Diag;
+  readonly mergedOutputSyntaxDiagnostics?: readonly Diag[] | Diag;
+  readonly syntaxDiagnostics?: { readonly output?: readonly Diag[] | Diag; readonly merged?: readonly Diag[] | Diag; };
+  readonly qualityGates?: readonly QualityGateInput[] | QualityGateInput; readonly lintGates?: readonly QualityGateInput[] | QualityGateInput; readonly formatGates?: readonly QualityGateInput[] | QualityGateInput; readonly testGates?: readonly QualityGateInput[] | QualityGateInput; readonly buildGates?: readonly QualityGateInput[] | QualityGateInput;
 }
 
 export interface JsTsProjectSafeMergeOutputFile {
@@ -112,6 +153,7 @@ export interface JsTsProjectSafeMergeOutputFile {
   readonly language?: FrontierSourceLanguage | string;
   readonly sourceText: string;
   readonly sourceHash?: string;
+  readonly parserTriviaEvidence?: ParserTriviaEvidenceInput;
   readonly operation: JsTsProjectSafeMergeFileOperation;
 }
 
@@ -141,7 +183,9 @@ export interface JsTsProjectSafeMergeAdmission {
   readonly reviewRequired: boolean;
   readonly autoApplyCandidate: boolean;
   readonly autoMergeClaim: false;
-  readonly semanticEquivalenceClaim: false;
+  readonly semanticEquivalenceClaim: boolean; readonly semanticEquivalenceLevel: 'semantic-equivalence-unknown' | string;
+  readonly proofEvidenceStatus: JsTsProjectMergeProofEvidenceStatus; readonly proofEvidenceLevels: readonly JsTsProjectMergeProofLevel[]; readonly proofEvidenceIds: readonly string[];
+  readonly routes?: readonly JsTsProjectSafeMergeAdmissionRoute[]; readonly routeSummary?: JsTsProjectSafeMergeAdmissionRouteSummary;
   readonly reasonCodes: readonly string[];
   readonly conflictKeys: readonly string[];
 }
@@ -149,6 +193,7 @@ export interface JsTsProjectSafeMergeAdmission {
 export interface JsTsProjectGraphDeltaStageSummary {
   readonly stage: JsTsProjectGraphStageName;
   readonly sourceFiles: number;
+  readonly sourceFileRecords: number; readonly sourceSpanRecords: number;
   readonly sourceBytes: number;
   readonly documents: number;
   readonly symbols: number;
@@ -156,7 +201,8 @@ export interface JsTsProjectGraphDeltaStageSummary {
   readonly importEdges: number;
   readonly exportEdges: number;
   readonly publicContractRegions: number;
-  readonly reExportIdentities: number;
+  readonly compilerSymbolRecords: number; readonly compilerTypeRecords: number; readonly runtimeRegionRecords: number; readonly scopeBindingRecords: number; readonly scopeReferenceRecords: number; readonly jsxElementRecords: number; readonly jsxPropRecords: number;
+  readonly reExportIdentities: number; readonly moduleDeclarationRecords: number; readonly exportAssignmentRecords: number;
   readonly unresolvedImportEdges: number;
   readonly suppliedImports: number;
   readonly matchedSuppliedImports: number;
@@ -178,8 +224,10 @@ export interface JsTsProjectGraphDeltaStage {
 export interface JsTsProjectGraphDeltaSummary {
   readonly stages: number;
   readonly sourceFiles: number;
+  readonly sourceFileRecords: number; readonly sourceSpanRecords: number;
   readonly publicContractRegions: number;
-  readonly reExportIdentities: number;
+  readonly compilerSymbolRecords: number; readonly compilerTypeRecords: number; readonly runtimeRegionRecords: number; readonly scopeBindingRecords: number; readonly scopeReferenceRecords: number; readonly jsxElementRecords: number; readonly jsxPropRecords: number;
+  readonly reExportIdentities: number; readonly moduleDeclarationRecords: number; readonly exportAssignmentRecords: number;
   readonly importEdges: number;
   readonly exportEdges: number;
   readonly unresolvedImportEdges: number;
@@ -191,7 +239,10 @@ export interface JsTsProjectGraphDeltaSummary {
   readonly limitConflicts: number;
   readonly conflicts: number;
   readonly publicContractConflicts: number;
-  readonly reExportIdentityConflicts: number;
+  readonly sourceSpanConflicts: number;
+  readonly compilerTypeConflicts: number; readonly runtimeRegionConflicts: number; readonly scopeUseDefConflicts: number; readonly jsxPropConflicts: number; readonly jsxRenderRiskConflicts: number;
+  readonly reExportIdentityConflicts: number; readonly moduleDeclarationShapeConflicts: number; readonly exportAssignmentShapeConflicts: number;
+  readonly importAttributeConflicts: number;
   readonly importTargetConflicts: number;
   readonly stageSummaries: Readonly<Record<string, JsTsProjectGraphDeltaStageSummary>>;
 }
@@ -215,24 +266,55 @@ export interface JsTsProjectSafeMergeResult {
   readonly outputProjectImport?: NativeProjectImportResult;
   readonly outputProjectSymbolGraph?: NativeProjectSymbolGraphSummary;
   readonly projectGraphDelta?: JsTsProjectGraphDelta;
+  readonly outputDiagnosticsGate?: JsTsProjectMergeDiagnosticsGate;
+  readonly outputDeclarationGate?: DeclGate;
+  readonly declarationEmitParityProof?: DeclEmitParityProof;
+  readonly outputQualityGate?: QualityGate;
   readonly conflicts: readonly JsTsSafeMergeConflict[];
-  readonly admission: JsTsProjectSafeMergeAdmission;
+  readonly admission: JsTsProjectSafeMergeAdmission; readonly proofEvidence: JsTsProjectMergeProofEvidence; readonly confidence: JsTsProjectSafeMergeConfidenceSummary; readonly evidence: readonly JsTsProjectSafeMergeEvidenceRecord[];
   readonly summary: {
     readonly files: number;
     readonly mergedFiles: number;
     readonly blockedFiles: number;
     readonly outputFiles: number;
     readonly projectGraphConflicts: number;
+    readonly projectGraphDeltaEvidenceIncluded: number;
     readonly outputProjectGraphConflicts: number;
     readonly projectGraphDeltaConflicts: number;
     readonly projectGraphLimitConflicts: number;
     readonly projectGraphPublicContractConflicts: number;
-    readonly projectGraphReExportIdentityConflicts: number;
+    readonly projectGraphSourceSpanConflicts: number;
+    readonly projectGraphCompilerTypeConflicts: number; readonly projectGraphRuntimeRegionConflicts: number; readonly projectGraphScopeUseDefConflicts: number; readonly projectGraphJsxPropConflicts: number; readonly projectGraphJsxRenderRiskConflicts: number;
+    readonly projectGraphReExportIdentityConflicts: number; readonly projectGraphModuleDeclarationShapeConflicts: number; readonly projectGraphExportAssignmentShapeConflicts: number;
+    readonly projectGraphImportAttributeConflicts: number;
     readonly projectGraphImportTargetConflicts: number;
+    readonly outputDiagnostics: number;
+    readonly outputDiagnosticConflicts: number;
+    readonly outputDiagnosticErrors: number;
+    readonly outputDiagnosticWarnings: number;
+    readonly outputDeclarations: number;
+    readonly outputDeclarationBytes: number;
+    readonly outputDeclarationConflicts: number;
+    readonly outputDeclarationDiagnosticErrors: number;
+    readonly outputQualityGates: number; readonly outputQualityGateConflicts: number;
+    readonly proofEvidenceRecords: number; readonly proofEvidencePassed: number; readonly proofEvidenceFailed: number; readonly proofEvidenceSkipped: number; readonly proofEvidenceUnknown: number; readonly proofEvidenceMissing: number; readonly proofEvidenceMissingLevels: readonly JsTsProjectMergeProofLevel[]; readonly semanticEquivalenceLevel: 'semantic-equivalence-unknown' | string; readonly evidenceRecords: number; readonly passedEvidenceRecords: number; readonly failedEvidenceRecords: number; readonly unknownEvidenceRecords: number; readonly confidenceScore: number; readonly confidenceLevel: string; readonly confidenceDimensions: Readonly<Record<string, string>>; readonly missingEvidenceMatrix: JsTsProjectSafeMergeMissingEvidenceTelemetry; readonly missingSignals: number; readonly nextMissingEvidenceCode?: string; readonly nextMissingEvidenceKind?: string; readonly nextMissingEvidenceScope?: string; readonly nextMissingProofLevel?: string; readonly nextMissingEvidenceAction?: string; readonly nextMissingEvidenceRouteId?: string; readonly nextMissingEvidenceRouteLane?: string; readonly nextMissingEvidenceRouteNext?: string;
+    readonly projectMoveRenameClassifications: number; readonly projectFileMoveRenameClassifications: number; readonly projectSymbolMoveClassifications: number; readonly projectExportedSymbolMoveClassifications: number; readonly projectImportedSymbolMoveClassifications: number; readonly projectSymbolMoveAdmissions: number; readonly projectExportedSymbolMoveAdmissions: number; readonly projectImportedSymbolMoveAdmissions: number; readonly projectCrossFileSymbolRenameClassifications: number; readonly projectCrossFileSymbolRenameAdmissions: number;
+    readonly projectSplitMergeClassifications: number; readonly projectModuleSplitClassifications: number; readonly projectModuleMergeClassifications: number; readonly projectClassSplitClassifications: number; readonly projectClassMergeClassifications: number; readonly projectSplitMergeAdmissions: number; readonly projectModuleSplitAdmissions: number; readonly projectModuleMergeAdmissions: number; readonly projectClassSplitAdmissions: number; readonly projectClassMergeAdmissions: number;
     readonly semanticArtifactFiles: number;
     readonly operations: Readonly<Record<string, number>>;
   };
-  readonly metadata?: Record<string, unknown>;
+  readonly metadata?: Record<string, unknown> & {
+    readonly projectMoveRenameClassifications?: {
+      readonly classifications: number;
+      readonly fileMoveRenames: number;
+      readonly reasonCodes: readonly string[];
+    };
+    readonly outputDiagnosticSource?: string;
+    readonly outputCompilerOptions?: JsTsProjectCompilerOptionMetadata;
+    readonly outputCompilerOptionSources?: readonly JsTsProjectCompilerOptionSourceMetadata[];
+    readonly outputProjectReferences?: readonly JsTsProjectReferenceMetadata[];
+    readonly outputProjectReferenceCount?: number; readonly proofEvidence?: JsTsProjectMergeProofEvidence['summary']; readonly semanticEquivalenceLevel?: 'semantic-equivalence-unknown' | string; readonly confidenceScore?: number; readonly confidenceLevel?: string; readonly evidenceRecords?: number; readonly failedEvidenceRecords?: number; readonly projectSymbolRenameClassifications?: Record<string, unknown>; readonly projectSplitMergeClassifications?: Record<string, unknown>;
+  };
 }
 
 export declare function safeMergeJsTsProject(input?: JsTsProjectSafeMergeInput): JsTsProjectSafeMergeResult;

package/dist/declarations/native-project-compiler-assignability-oracle.d.ts

@@ -0,0 +1,41 @@
+export interface NativeProjectSymbolGraphCompilerAssignabilityOracleDirectionRecord {
+  readonly direction: 'declared-to-apparent' | 'apparent-to-declared' | string;
+  readonly fromTypeText?: string;
+  readonly toTypeText?: string;
+  readonly assignable?: boolean;
+}
+
+export interface NativeProjectSymbolGraphCompilerAssignabilityOracleRecord {
+  readonly kind: 'typescript-checker-public-api-declared-apparent-assignability-oracle' | string;
+  readonly scope: 'public-type-alias-declared-apparent' | string;
+  readonly oracle: 'TypeChecker.isTypeAssignableTo' | string;
+  readonly declarationKind?: 'type-alias' | string;
+  readonly declarationCount?: number;
+  readonly typeNodeText?: string;
+  readonly declaredTypeText?: string;
+  readonly apparentTypeText?: string;
+  readonly directions?: readonly NativeProjectSymbolGraphCompilerAssignabilityOracleDirectionRecord[];
+  readonly directionCount?: number;
+  readonly equivalentByBidirectionalAssignability?: boolean;
+  readonly ambiguous?: boolean;
+  readonly autoMergeClaim: false;
+  readonly semanticEquivalenceClaim: false;
+  readonly runtimeEquivalenceClaim: false;
+}
+
+declare module './native-project-compiler-scope.js' {
+  interface NativeProjectSymbolGraphCompilerTypeEquivalenceProof {
+    readonly assignabilityOracleHash?: string;
+    readonly assignabilityOracleScope?: 'declared-apparent-type-only' | string;
+    readonly assignabilityOracleCount?: number;
+    readonly assignabilityOracleDirectionCount?: number;
+  }
+
+  interface NativeProjectSymbolGraphCompilerTypeRecord {
+    readonly assignabilityOracleCount?: number;
+    readonly assignabilityOracleDirectionCount?: number;
+    readonly assignabilityOracleHash?: string;
+    readonly assignabilityOracle?: NativeProjectSymbolGraphCompilerAssignabilityOracleRecord;
+    readonly typeEquivalenceAssignabilityOracleHash?: string;
+  }
+}

package/dist/declarations/native-project-compiler-callable-signatures.d.ts

@@ -0,0 +1,31 @@
+export interface NativeProjectSymbolGraphCompilerCallableSignatureEquivalenceProof {
+  readonly kind?: 'typescript-checker-public-api-call-signature-shape-equivalence' | 'typescript-checker-public-api-construct-signature-shape-equivalence' | 'typescript-checker-public-api-callable-and-construct-signature-shape-equivalence' | 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 callSignatureSetHash?: string;
+  readonly constructSignatureSetHash?: string;
+  readonly sourcePath?: string;
+  readonly sourceHash?: string;
+  readonly sourceBoundPublicApi?: boolean;
+  readonly callSignatureCount?: number;
+  readonly constructSignatureCount?: number;
+  readonly evidenceIds?: readonly string[];
+  readonly autoMergeClaim?: false;
+  readonly semanticEquivalenceClaim?: false;
+}
+
+declare module './native-project-compiler-scope.js' {
+  interface NativeProjectSymbolGraphCompilerTypeEquivalenceProof {
+    readonly callSignatureSetHash?: string;
+    readonly constructSignatureSetHash?: string;
+  }
+  interface NativeProjectSymbolGraphCompilerTypeRecord {
+    readonly typeEquivalenceCallSignatureSetHash?: string;
+    readonly typeEquivalenceConstructSignatureSetHash?: string;
+    readonly callableSignatureEquivalenceProof?: NativeProjectSymbolGraphCompilerCallableSignatureEquivalenceProof;
+  }
+}

package/dist/declarations/native-project-compiler-class-member-runtime-proof.d.ts

@@ -0,0 +1,87 @@
+export interface NativeProjectSymbolGraphCompilerClassPrivateAccessorRuntimeProof {
+  readonly id?: string;
+  readonly evidenceId?: string;
+  readonly schema?: 'frontier.lang.typescript.classPrivateAccessorRuntimeProof.v1' | string;
+  readonly kind?: 'frontier.lang.typescript.classPrivateAccessorRuntimeProof' | string;
+  readonly status?: 'passed' | 'verified' | 'failed' | string;
+  readonly sourcePath?: string;
+  readonly sourceHash?: string;
+  readonly privateClassMemberShapeHash?: string;
+  readonly accessorFieldShapeHash?: string;
+  readonly privateClassMemberCount?: number;
+  readonly accessorFieldCount?: number;
+  readonly requiredSignals?: readonly string[];
+  readonly classPrivateAccessorRuntimeHash?: string;
+  readonly classConstructionOrderTraceHash?: string;
+  readonly privateMemberInitializationTraceHash?: string;
+  readonly privateMemberAccessTraceHash?: string;
+  readonly privateBrandCheckTraceHash?: string;
+  readonly privateMethodCallTraceHash?: string;
+  readonly privateAccessorGetSetTraceHash?: string;
+  readonly staticPrivateMemberAccessTraceHash?: string;
+  readonly subclassPrivateBrandBoundaryTraceHash?: string;
+  readonly accessorInitializationTraceHash?: string;
+  readonly accessorGetSetTraceHash?: string;
+  readonly accessorDescriptorTraceHash?: string;
+  readonly command?: string;
+  readonly traceHash?: string;
+  readonly evidenceHash?: string;
+  readonly autoMergeClaim: false;
+  readonly semanticEquivalenceClaim: false;
+  readonly runtimeEquivalenceClaim: false;
+  readonly privateMemberRuntimeEquivalenceClaim: false;
+  readonly accessorRuntimeEquivalenceClaim: false;
+}
+
+export interface NativeProjectSymbolGraphCompilerClassPrivateAccessorRuntimeGap {
+  readonly code?: string;
+  readonly status?: string;
+  readonly summary?: string;
+  readonly routeId?: string;
+  readonly routeLane?: string;
+  readonly routeNext?: string;
+  readonly failClosed?: boolean;
+  readonly blocksSemanticEquivalence?: boolean;
+  readonly classPrivateAccessorRuntimeHash?: string;
+  readonly proofReasonCodes?: readonly string[];
+  readonly proofEvidenceIds?: readonly string[];
+}
+
+export interface NativeProjectSymbolGraphCompilerClassPrivateAccessorRuntimeRouting {
+  readonly status?: 'proof-bound' | string;
+  readonly conflictCode?: string;
+  readonly reasonCode?: string;
+  readonly branchDivergenceSignal?: string;
+  readonly routeId?: string;
+  readonly routeLane?: string;
+  readonly routeNext?: string;
+  readonly privateClassMemberShapeHash?: string;
+  readonly accessorFieldShapeHash?: string;
+  readonly classPrivateAccessorRuntimeHash?: string;
+  readonly proofEvidenceIds?: readonly string[];
+  readonly failClosed?: boolean;
+  readonly autoMergeClaim: false;
+  readonly semanticEquivalenceClaim: false;
+  readonly runtimeEquivalenceClaim: false;
+}
+
+export interface NativeProjectSymbolGraphCompilerClassMemberShapeProof {
+  readonly kind: string;
+  readonly status: string;
+  readonly proofScope?: 'static-private-accessor-shape-only' | 'static-private-accessor-shape-and-source-bound-runtime' | string;
+  readonly proofLevel?: string;
+  readonly checkerInvariant?: string;
+  readonly requiredSignals?: readonly string[];
+  readonly privateClassMemberCount?: number;
+  readonly accessorFieldCount?: number;
+  readonly privateClassMemberShapeHash?: string;
+  readonly accessorFieldShapeHash?: string;
+  readonly classPrivateAccessorRuntimeHash?: string;
+  readonly classPrivateAccessorRuntimeProof?: NativeProjectSymbolGraphCompilerClassPrivateAccessorRuntimeProof;
+  readonly classPrivateAccessorRuntimeProofReasonCodes?: readonly string[];
+  readonly runtimeEquivalenceGap?: NativeProjectSymbolGraphCompilerClassPrivateAccessorRuntimeGap;
+  readonly conflictRouting?: NativeProjectSymbolGraphCompilerClassPrivateAccessorRuntimeRouting;
+  readonly autoMergeClaim: false;
+  readonly semanticEquivalenceClaim: false;
+  readonly runtimeEquivalenceClaim: false;
+}

package/dist/declarations/native-project-compiler-composite-types.d.ts

@@ -0,0 +1,23 @@
+export {};
+
+declare module './native-project-compiler-scope.js' {
+  interface NativeProjectSymbolGraphCompilerAdvancedTypeShapeRecord {
+    readonly memberTypeTexts?: readonly string[];
+    readonly memberNodeTexts?: readonly string[];
+    readonly tupleElementTexts?: readonly string[];
+    readonly tupleElementTypeTexts?: readonly string[];
+  }
+  interface NativeProjectSymbolGraphCompilerTypeEquivalenceProof {
+    readonly unionTypeSetHash?: string;
+    readonly intersectionTypeSetHash?: string;
+    readonly tupleTypeSetHash?: string;
+  }
+  interface NativeProjectSymbolGraphCompilerTypeRecord {
+    readonly unionTypeCount?: number;
+    readonly intersectionTypeCount?: number;
+    readonly tupleTypeCount?: number;
+    readonly typeEquivalenceUnionTypeSetHash?: string;
+    readonly typeEquivalenceIntersectionTypeSetHash?: string;
+    readonly typeEquivalenceTupleTypeSetHash?: string;
+  }
+}

package/dist/declarations/native-project-compiler-enum-proof.d.ts

@@ -0,0 +1,58 @@
+export interface NativeProjectSymbolGraphCompilerEnumMemberRecord {
+  readonly name?: string;
+  readonly ordinal?: number;
+  readonly declarationOrdinal?: number;
+  readonly initializerText?: string;
+  readonly valueText?: string;
+  readonly valueKind?: 'number' | 'string' | string;
+  readonly runtimeValueText?: string;
+  readonly runtimeValueKind?: 'number' | 'string' | string;
+  readonly auto?: boolean;
+  readonly computed?: boolean;
+  readonly memberText?: string;
+  readonly memberTypeText?: string;
+}
+
+export interface NativeProjectSymbolGraphCompilerEnumRuntimeShapeProof {
+  readonly kind: 'typescript-checker-public-api-enum-runtime-shape-evidence' | string;
+  readonly status: 'passed' | 'failed' | string;
+  readonly proofLevel?: string;
+  readonly checkerInvariant?: string;
+  readonly requiredSignals?: readonly string[];
+  readonly enumRuntimeShapeHash?: string;
+  readonly enumEmittedRuntimeShapeHash?: string;
+  readonly computedEnumRuntimeValueHash?: string;
+  readonly computedEnumRuntimeValueProof?: NativeProjectSymbolGraphCompilerComputedEnumRuntimeValueProof;
+  readonly enumMemberCount?: number;
+  readonly enumNumericMemberCount?: number;
+  readonly enumStringMemberCount?: number;
+  readonly enumAutoMemberCount?: number;
+  readonly enumComputedMemberCount?: number;
+  readonly autoMergeClaim: false;
+  readonly semanticEquivalenceClaim: false;
+  readonly runtimeEquivalenceClaim: false;
+}
+
+export interface NativeProjectSymbolGraphCompilerComputedEnumRuntimeValueProof {
+  readonly id?: string;
+  readonly evidenceId?: string;
+  readonly evidenceIds?: readonly string[];
+  readonly schema?: 'frontier.lang.typescript.computedEnumRuntimeValueProof.v1' | string;
+  readonly kind?: 'frontier.lang.typescript.computedEnumRuntimeValueProof' | string;
+  readonly status: 'passed' | 'verified' | string;
+  readonly sourcePath?: string;
+  readonly sourceHash?: string;
+  readonly enumName?: string;
+  readonly enumRuntimeShapeHash?: string;
+  readonly enumEmittedRuntimeShapeHash?: string;
+  readonly enumComputedMemberCount?: number;
+  readonly computedMembers?: readonly NativeProjectSymbolGraphCompilerEnumMemberRecord[];
+  readonly computedEnumRuntimeValueHash?: string;
+  readonly command?: string;
+  readonly traceHash?: string;
+  readonly evidenceHash?: string;
+  readonly autoMergeClaim: false;
+  readonly semanticEquivalenceClaim: false;
+  readonly runtimeEquivalenceClaim: false;
+  readonly computedEnumRuntimeEvaluationEquivalenceClaim: false;
+}

package/dist/declarations/native-project-compiler-index-signature.d.ts

@@ -0,0 +1,7 @@
+export interface NativeProjectSymbolGraphCompilerIndexSignatureRecord {
+  readonly ordinal?: number;
+  readonly keyTypeText?: string;
+  readonly valueTypeText?: string;
+  readonly readonly?: boolean;
+  readonly declarationText?: string;
+}

package/dist/declarations/native-project-compiler-public-api-source-binding.d.ts

@@ -0,0 +1,8 @@
+export {};
+
+declare module './native-project-compiler-scope.js' {
+  interface NativeProjectSymbolGraphCompilerTypeEquivalenceProof {
+    readonly sourcePath?: string;
+    readonly sourceHash?: string;
+  }
+}