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

package/dist/declarations/native-project-runtime-promise-chain.d.ts

@@ -0,0 +1,30 @@
+export interface NativeProjectRuntimeOrderPromiseChainRecord {
+  readonly kind?: 'promise-chain' | string;
+  readonly regionRole?: 'source-promise' | 'chain-expression' | 'chain-handler' | string;
+  readonly handlerMethodName?: 'then' | 'catch' | 'finally' | string;
+  readonly handlerStepOrdinal?: number;
+  readonly chainMethods?: readonly string[];
+  readonly stepCount?: number;
+  readonly hasThen?: boolean;
+  readonly hasCatch?: boolean;
+  readonly hasFinally?: boolean;
+  readonly chainText?: string;
+  readonly steps?: readonly NativeProjectRuntimeOrderPromiseChainStepRecord[];
+  readonly regionWithinPromiseChain?: boolean;
+  readonly handlerExecutionEquivalenceClaim?: false;
+  readonly runtimeEquivalenceClaim?: false;
+  readonly semanticEquivalenceClaim?: false;
+}
+
+export interface NativeProjectRuntimeOrderPromiseChainStepRecord {
+  readonly ordinal?: number;
+  readonly methodName?: 'then' | 'catch' | 'finally' | string;
+  readonly handlerText?: string;
+  readonly handlerOrdinal?: number;
+}
+
+declare module './native-project-compiler-scope.js' {
+  interface NativeProjectRuntimeOrderEvidence {
+    readonly sameLinePromiseChain?: readonly NativeProjectRuntimeOrderPromiseChainRecord[];
+  }
+}

package/dist/declarations/native-project-runtime-promise-combinator.d.ts

@@ -0,0 +1,22 @@
+export interface NativeProjectRuntimeOrderPromiseCombinatorRecord {
+  readonly kind?: 'promise-combinator' | string;
+  readonly methodName?: 'all' | 'allSettled' | 'race' | 'any' | string;
+  readonly concurrencySemantics?: string;
+  readonly settlementPolicy?: string;
+  readonly callText?: string;
+  readonly argumentOrdinal?: number;
+  readonly argumentText?: string;
+  readonly directArrayArgument?: boolean;
+  readonly arrayElementOrdinal?: number;
+  readonly arrayElementCount?: number;
+  readonly arrayElementText?: string;
+  readonly regionWithinCombinator?: boolean;
+  readonly runtimeEquivalenceClaim?: false;
+  readonly semanticEquivalenceClaim?: false;
+}
+
+declare module './native-project-compiler-scope.js' {
+  interface NativeProjectRuntimeOrderEvidence {
+    readonly sameLinePromiseCombinator?: readonly NativeProjectRuntimeOrderPromiseCombinatorRecord[];
+  }
+}

package/dist/declarations/native-project-runtime-reachability.d.ts

@@ -0,0 +1,30 @@
+export interface NativeProjectRuntimeOrderReachabilityRecord {
+  readonly kind?: 'same-block-unreachable-after-completion' | string;
+  readonly status?: 'unreachable' | string;
+  readonly proofLevel?: 'lexical-same-block-completion' | string;
+  readonly targetLine?: number;
+  readonly completionKind?: 'return' | 'throw' | 'break' | 'continue' | string;
+  readonly completionLine?: number;
+  readonly completionText?: string;
+  readonly completionLabel?: string;
+  readonly completionProofLevel?: string;
+  readonly blockLine?: number;
+  readonly ifLine?: number;
+  readonly elseLine?: number;
+  readonly elseIfLines?: readonly number[];
+  readonly branchLineNumbers?: readonly number[];
+  readonly branchCompletionKinds?: readonly string[];
+  readonly branchCompletionTexts?: readonly string[];
+  readonly branchCompletionProofLevels?: readonly string[];
+  readonly boundedNestedPathEvidence?: true;
+  readonly staticReachabilityEvidence?: true;
+  readonly fullPathReachabilityClaim?: false;
+  readonly runtimeEquivalenceClaim?: false;
+  readonly semanticEquivalenceClaim?: false;
+}
+
+declare module './native-project-compiler-scope.js' {
+  interface NativeProjectRuntimeOrderEvidence {
+    readonly reachabilityOrder?: readonly NativeProjectRuntimeOrderReachabilityRecord[];
+  }
+}

package/dist/declarations/native-project-runtime-resource-management.d.ts

@@ -0,0 +1,27 @@
+export interface NativeProjectRuntimeOrderResourceManagementRecord {
+  readonly kind?: 'resource-management' | string;
+  readonly name?: string;
+  readonly declarationKind?: 'using' | 'await-using' | string;
+  readonly awaitUsing?: boolean;
+  readonly line?: number;
+  readonly column?: number;
+  readonly acquisitionOrderIndex?: number;
+  readonly disposalOrderIndex?: number;
+  readonly disposalOrder?: 'reverse-lexical-scope' | string;
+  readonly scopeStartLine?: number;
+  readonly scopeExitLine?: number;
+  readonly declarationText?: string;
+  readonly initializerText?: string;
+  readonly focusedDeclaration?: boolean;
+  readonly disposalMethodPolicy?: 'Symbol.dispose' | 'Symbol.asyncDispose-or-Symbol.dispose' | string;
+  readonly staticResourceManagementEvidence?: boolean;
+  readonly runtimeEquivalenceClaim?: false;
+  readonly disposalEffectEquivalenceClaim?: false;
+  readonly semanticEquivalenceClaim?: false;
+}
+
+declare module './native-project-compiler-scope.js' {
+  interface NativeProjectRuntimeOrderEvidence {
+    readonly resourceManagementOrder?: readonly NativeProjectRuntimeOrderResourceManagementRecord[];
+  }
+}

package/dist/declarations/native-project-runtime-yield-delegation.d.ts

@@ -0,0 +1,10 @@
+export interface NativeProjectRuntimeOrderYieldDelegationRecord {
+  readonly delegationKind?: 'iterator-delegation' | string;
+  readonly delegatedIterableText?: string;
+  readonly iteratorProtocolEquivalenceClaim?: false;
+  readonly delegatedCompletionPropagationClaim?: false;
+}
+
+declare module './native-project-compiler-scope.js' {
+  interface NativeProjectRuntimeOrderExitRecord extends NativeProjectRuntimeOrderYieldDelegationRecord {}
+}

package/dist/declarations/native-project-scope-template-reference.d.ts

@@ -0,0 +1,13 @@
+declare module './native-project-compiler-scope.js' {
+  interface NativeProjectSymbolGraphScopeReferenceRecord {
+    readonly templateLiteralKind?: 'template-literal' | 'tagged-template' | string;
+    readonly taggedTemplate?: boolean;
+    readonly templateTagText?: string;
+    readonly templateTagRoot?: string;
+    readonly templateTagMemberName?: string;
+    readonly templateTagStart?: number;
+    readonly templateTagEnd?: number;
+  }
+}
+
+export {};

package/dist/declarations/native-project-source-evidence.d.ts

@@ -0,0 +1,8 @@
+import type { FrontierSourceLanguage, SourceSpan } from '@shapeshift-labs/frontier-lang-kernel';
+import type { ParserTriviaOwnershipRelation, ParserTriviaOwnershipStatus } from './source-preservation.js';
+
+export interface NativeProjectSourceOwnershipAnchor { readonly schema?: 'frontier.lang.sourceOwnershipAnchor.v1' | string; readonly version?: 1; readonly mode?: string; readonly key?: string; readonly identityKey?: string; readonly identityAnchor?: string; readonly identityOccurrence?: number; readonly anchorKind?: string; readonly sourcePath?: string; readonly sourceHash?: string; readonly role?: string; readonly kind?: string; readonly textHash?: string; readonly textLength?: number; readonly start?: number; readonly end?: number; readonly startLine?: number; readonly startColumn?: number; readonly endLine?: number; readonly endColumn?: number; readonly spanHash?: string; readonly boundaryBefore?: NativeProjectSourceOwnershipBoundary; readonly boundaryAfter?: NativeProjectSourceOwnershipBoundary; readonly insertionAnchor?: NativeProjectSourceInsertionAnchor; readonly parserEvidence?: string; readonly losslessCst?: boolean; readonly parserTriviaExactnessStatus?: string; readonly exactParserTrivia?: boolean; readonly parserTriviaEvidenceId?: string; readonly parserTriviaAdapterId?: string; readonly parserTriviaExactnessReasonCodes?: readonly string[]; readonly parserTriviaExactnessBlockReasonCodes?: readonly string[]; readonly parserTriviaOwnershipStatus?: ParserTriviaOwnershipStatus; readonly parserTriviaOwnershipRelation?: ParserTriviaOwnershipRelation; readonly parserTriviaOwnershipReasonCodes?: readonly string[]; readonly parserTriviaOwnershipBlockReasonCodes?: readonly string[]; }
+export interface NativeProjectSourceOwnershipBoundary { readonly key?: string; readonly role?: string; readonly kind?: string; readonly textHash?: string; readonly startLine?: number; readonly startColumn?: number; readonly endLine?: number; readonly endColumn?: number; }
+export interface NativeProjectSourceInsertionAnchor { readonly mode?: string; readonly anchorKind?: string; readonly before?: NativeProjectSourceOwnershipBoundary; readonly after?: NativeProjectSourceOwnershipBoundary; readonly reasonCodes?: readonly string[]; }
+export interface NativeProjectSymbolGraphSourceFileRecord { readonly id: string; readonly sourcePath?: string; readonly language?: FrontierSourceLanguage | string; readonly sourceHash?: string; readonly preservationId?: string; readonly sourceBytes?: number; readonly lineCount?: number; readonly newline?: string; readonly encoding?: string; readonly exactSourceAvailable?: boolean; readonly tokenCount?: number; readonly triviaCount?: number; readonly directiveCount?: number; readonly commentCount?: number; readonly whitespaceCount?: number; readonly sourceMapCommentCount?: number; readonly protectedRegionCount?: number; readonly importExportSpanCount?: number; readonly braceCount?: number; readonly truncated?: boolean; readonly sourceTextHash?: string; readonly roundtripHash?: string; readonly parserEvidence?: string; readonly losslessCst?: boolean; readonly parserTriviaExactnessStatus?: string; readonly exactParserTrivia?: boolean; readonly parserTriviaEvidenceId?: string; readonly parserTriviaAdapterId?: string; readonly parserTriviaExactnessReasonCodes?: readonly string[]; readonly parserTriviaExactnessBlockReasonCodes?: readonly string[]; readonly sourceLedgerAvailable?: boolean; readonly triviaOwnershipStatus?: string; readonly triviaOwnershipReasonCodes?: readonly string[]; readonly triviaOwnershipBlockReasonCodes?: readonly string[]; readonly ownershipAnchorMode?: string; readonly generatedSourceBoundaryEvidence?: string; readonly shapeHash?: string; }
+export interface NativeProjectSymbolGraphSourceSpanRecord { readonly id: string; readonly stableId?: string; readonly identityKey?: string; readonly sourcePath?: string; readonly sourceHash?: string; readonly preservationId?: string; readonly sourceSpan?: SourceSpan; readonly start?: number; readonly end?: number; readonly role?: string; readonly kind?: string; readonly ordinal?: number; readonly identityOccurrence?: number; readonly textHash?: string; readonly textLength?: number; readonly trivia?: boolean; readonly directive?: boolean; readonly protected?: boolean; readonly ownershipAnchor?: NativeProjectSourceOwnershipAnchor; readonly ownershipAnchorKey?: string; readonly ownershipAnchorHash?: string; readonly ownershipAnchorStatus?: string; readonly ownershipBlockReasonCodes?: readonly string[]; readonly parserEvidence?: string; readonly losslessCst?: boolean; readonly parserTriviaExactnessStatus?: string; readonly exactParserTrivia?: boolean; readonly parserTriviaEvidenceId?: string; readonly parserTriviaAdapterId?: string; readonly parserTriviaExactnessReasonCodes?: readonly string[]; readonly parserTriviaExactnessBlockReasonCodes?: readonly string[]; readonly parserTriviaOwnershipStatus?: ParserTriviaOwnershipStatus; readonly parserTriviaOwnershipRelation?: ParserTriviaOwnershipRelation; readonly parserTriviaOwnershipReasonCodes?: readonly string[]; readonly parserTriviaOwnershipBlockReasonCodes?: readonly string[]; readonly roundtripHash?: string; readonly stableHash?: string; readonly signatureHash?: string; }

package/dist/declarations/native-project.d.ts

@@ -50,11 +50,13 @@ import type { JavaAstNativeImporterAdapterOptions, KotlinPsiNativeImporterAdapte
 import type { NativeTargetProjectionAdapterCoverageInput, NativeTargetProjectionAdapterSummary, NativeTargetProjectionAdapterInput, NativeTargetProjectionAdapterResult, NativeTargetProjectionAdapter, NativeTargetProjectionAdapterResolverInput, NativeTargetProjectionResult } from './target-adapters.js';
 import type { NativeImportRoundtripReadinessStatus, NativeImportRoundtripReadinessOptions, NativeImportRoundtripReadinessClassification } from './roundtrip.js';
 import type { NativeProjectModuleResolutionOptions } from './native-project-module-resolution.js';
+import type { NativeProjectSymbolGraphSourceFileRecord, NativeProjectSymbolGraphSourceSpanRecord } from './native-project-source-evidence.js';
+import type { NativeProjectSymbolGraphJsxElementRecord, NativeProjectSymbolGraphJsxPropRecord } from './native-project-jsx-graph.js';
+import type { NativeProjectSymbolGraphCompilerSymbolRecord, NativeProjectSymbolGraphCompilerTypeRecord, NativeProjectSymbolGraphRuntimeRegionRecord, NativeProjectSymbolGraphScopeBindingRecord, NativeProjectSymbolGraphScopeReferenceRecord } from './native-project-compiler-scope.js';
+import type { NativeProjectSymbolGraphExportAssignmentRecord, NativeProjectSymbolGraphModuleDeclarationRecord } from './native-project-module-declarations.js';
+import type { NativeProjectSymbolGraphCssModuleImportBindingRecord, NativeProjectSymbolGraphCssModuleUseSiteBlockerRecord, NativeProjectSymbolGraphCssModuleUseSiteGraphRecord, NativeProjectSymbolGraphCssModuleUseSiteRecord } from './native-project-css-modules.js';
 
-export interface NativeProjectSourceInput extends ImportNativeSourceOptions {
-  readonly adapter?: NativeImporterAdapter | string;
-  readonly adapterOptions?: Record<string, unknown>; readonly adapterMetadata?: Record<string, unknown>;
-}
+export interface NativeProjectSourceInput extends ImportNativeSourceOptions { readonly adapter?: NativeImporterAdapter | string; readonly adapterOptions?: Record<string, unknown>; readonly adapterMetadata?: Record<string, unknown>; }
 
 export interface ImportNativeProjectOptions {
   readonly id?: string;
@@ -103,11 +105,28 @@ export interface NativeProjectSymbolGraphModuleEdgeRecord {
   readonly resolvedModulePath?: string;
   readonly targetDocumentId?: string;
   readonly resolvedTargetSymbolId?: string;
+  readonly reExportResolved?: boolean; readonly reExportResolutionKind?: 'export-star' | 're-export-identity' | string;
+  readonly reExportIdentityId?: string; readonly reExportRelationId?: string; readonly reExportSourcePath?: string;
+  readonly reExportModuleSpecifier?: string; readonly reExportTargetSourcePath?: string; readonly reExportTargetDocumentId?: string;
   readonly resolutionKind?: 'relative-source' | 'relative-missing' | 'alias-source' | 'alias-missing' | 'path-alias-source' | 'path-alias-missing' | 'base-url-source' | 'base-url-missing' | 'package-source' | 'package-missing' | 'package-external' | 'package-import-source' | 'package-import-missing' | 'package-import-external' | string;
   readonly resolutionPathVariant?: 'exact' | 'extension-substitution' | 'extensionless' | 'index' | string;
-  readonly packageName?: string; readonly packageSubpath?: string; readonly packageExportCondition?: string;
-  readonly packageImportKey?: string; readonly packageImportCondition?: string; readonly packageImportTarget?: string;
-  readonly importKind?: string;
+  readonly packageName?: string; readonly packageSubpath?: string; readonly packageExportKey?: string; readonly packageExportCondition?: string; readonly packageExportTarget?: string;
+  readonly packageRuntimeCondition?: 'import' | 'require' | string; readonly packageRuntimeConditionEvidenceSource?: 'edge-kind' | 'source-extension' | 'package-type' | 'conflict' | string; readonly packageRuntimeConditionEdgeKind?: string; readonly packageRuntimeConditionCandidates?: readonly string[]; readonly packageRuntimeConditionReasonCode?: string;
+  readonly packageEnvironmentCondition?: string; readonly packageEnvironmentConditionEvidenceSource?: 'edge-metadata' | 'module-resolution' | string; readonly packageEnvironmentConditionCandidates?: readonly string[]; readonly packageEnvironmentConditionReasonCode?: string; readonly packageType?: 'module' | 'commonjs' | string; readonly packageWorkspaceRootAmbiguous?: boolean; readonly packageWorkspaceRoots?: readonly string[]; readonly packageResolutionReasonCode?: string;
+  readonly packageImportKey?: string; readonly packageImportCondition?: string; readonly packageImportTarget?: string; readonly importKind?: string;
+  readonly commonJs?: boolean; readonly interopHelper?: string;
+  readonly dynamicImport?: boolean;
+  readonly dynamicImportSpecifierKind?: 'literal' | 'identifier' | 'template' | 'member' | 'call' | 'binary' | 'conditional' | string;
+  readonly dynamicImportExpressionText?: string; readonly dynamicImportExpressionHash?: string;
+  readonly dynamicImportStaticSpecifierEvidence?: boolean;
+  readonly dynamicImportRuntimeResolutionClaim?: false;
+  readonly dynamicImportResolutionProofRequired?: boolean;
+  readonly hostDependency?: boolean; readonly hostDependencyKind?: 'import-meta-url' | string; readonly hostDependencyBase?: 'import.meta.url' | string;
+  readonly hostDependencyExpressionText?: string; readonly hostDependencyExpressionHash?: string; readonly hostDependencyStaticSpecifierEvidence?: boolean; readonly hostDependencyRuntimeResolutionClaim?: false; readonly hostDependencyResolutionProofRequired?: boolean;
+  readonly hasImportAttributes?: boolean;
+  readonly importAttributeCount?: number;
+  readonly importAttributeKeys?: readonly string[];
+  readonly importAttributeHash?: string; readonly importAttributes?: readonly { readonly key: string; readonly value: string }[];
   readonly exportKind?: string;
   readonly importedName?: string;
   readonly exportedName?: string;
@@ -126,6 +145,7 @@ export interface NativeProjectSymbolGraphReExportIdentityRecord {
   readonly sourcePath?: string;
   readonly sourceHash?: string;
   readonly moduleSpecifier?: string;
+  readonly hasImportAttributes?: boolean; readonly importAttributeCount?: number; readonly importAttributeKeys?: readonly string[]; readonly importAttributeHash?: string; readonly importAttributes?: readonly { readonly key: string; readonly value: string }[];
   readonly exportedName?: string;
   readonly importedName?: string;
   readonly localName?: string;
@@ -139,46 +159,27 @@ export interface NativeProjectSymbolGraphReExportIdentityRecord {
   readonly factId?: string;
 }
 
-export interface NativeProjectSymbolGraphPublicContractRegionRecord {
-  readonly id: string;
-  readonly key?: string;
-  readonly regionKind?: string;
-  readonly granularity?: string;
-  readonly language?: FrontierSourceLanguage | string;
-  readonly documentId?: string;
-  readonly sourcePath?: string;
-  readonly sourceHash?: string;
-  readonly symbolId?: string;
-  readonly symbolName?: string;
-  readonly symbolKind?: string;
-  readonly apiSurfaceKind?: string;
-  readonly signatureHash?: string;
-  readonly contractHash?: string;
-  readonly nativeAstNodeId?: string;
-  readonly sourceSpan?: SourceSpan;
-  readonly precision?: string;
-  readonly publicContract?: boolean;
-  readonly exportedName?: string;
-  readonly moduleSpecifier?: string;
-  readonly edgeKind?: string;
-  readonly factId?: string;
-}
+export interface NativeProjectSymbolGraphPublicContractRegionRecord { readonly id: string; readonly key?: string; readonly regionKind?: string; readonly granularity?: string; readonly language?: FrontierSourceLanguage | string; readonly documentId?: string; readonly sourcePath?: string; readonly sourceHash?: string; readonly symbolId?: string; readonly symbolName?: string; readonly symbolKind?: string; readonly apiSurfaceKind?: string; readonly signatureHash?: string; readonly contractHash?: string; readonly nativeAstNodeId?: string; readonly sourceSpan?: SourceSpan; readonly precision?: string; readonly publicContract?: boolean; readonly exportedName?: string; readonly moduleSpecifier?: string; readonly edgeKind?: string; readonly factId?: string; }
 
 export interface NativeProjectSymbolGraphSummary {
   readonly kind: 'frontier.lang.projectSymbolGraph';
   readonly version: 1;
   readonly projectRoot?: string;
-  readonly sourceCount: number;
-  readonly documentCount: number;
-  readonly symbolCount: number;
-  readonly occurrenceCount: number;
-  readonly relationCount: number;
-  readonly factCount: number;
+  readonly sourceCount: number; readonly documentCount: number; readonly symbolCount: number;
+  readonly occurrenceCount: number; readonly relationCount: number; readonly factCount: number;
   readonly fileHashes: readonly NativeProjectSymbolGraphFileHashRecord[];
+  readonly sourceFileRecords: readonly NativeProjectSymbolGraphSourceFileRecord[]; readonly sourceSpanRecords: readonly NativeProjectSymbolGraphSourceSpanRecord[];
   readonly importEdges: readonly NativeProjectSymbolGraphModuleEdgeRecord[];
   readonly exportEdges: readonly NativeProjectSymbolGraphModuleEdgeRecord[];
-  readonly reExportIdentities: readonly NativeProjectSymbolGraphReExportIdentityRecord[];
-  readonly publicContractRegions: readonly NativeProjectSymbolGraphPublicContractRegionRecord[];
+  readonly reExportIdentities: readonly NativeProjectSymbolGraphReExportIdentityRecord[]; readonly publicContractRegions: readonly NativeProjectSymbolGraphPublicContractRegionRecord[];
+  readonly moduleDeclarationRecords: readonly NativeProjectSymbolGraphModuleDeclarationRecord[];
+  readonly exportAssignmentRecords: readonly NativeProjectSymbolGraphExportAssignmentRecord[];
+  readonly compilerSymbolRecords: readonly NativeProjectSymbolGraphCompilerSymbolRecord[]; readonly compilerTypeRecords: readonly NativeProjectSymbolGraphCompilerTypeRecord[];
+  readonly runtimeRegionRecords: readonly NativeProjectSymbolGraphRuntimeRegionRecord[];
+  readonly scopeBindingRecords: readonly NativeProjectSymbolGraphScopeBindingRecord[]; readonly scopeReferenceRecords: readonly NativeProjectSymbolGraphScopeReferenceRecord[];
+  readonly jsxElementRecords: readonly NativeProjectSymbolGraphJsxElementRecord[]; readonly jsxPropRecords: readonly NativeProjectSymbolGraphJsxPropRecord[];
+  readonly cssModuleImportBindings: readonly NativeProjectSymbolGraphCssModuleImportBindingRecord[]; readonly cssModuleUseSites: readonly NativeProjectSymbolGraphCssModuleUseSiteRecord[];
+  readonly cssModuleUseSiteBlockers: readonly NativeProjectSymbolGraphCssModuleUseSiteBlockerRecord[]; readonly cssModuleUseSiteGraphs: readonly NativeProjectSymbolGraphCssModuleUseSiteGraphRecord[];
   readonly remainingFields: readonly NativeProjectSymbolGraphRemainingField[];
 }
 

package/dist/declarations/semantic-edit-script.d.ts

@@ -1,7 +1,10 @@
 import type { EvidenceRecord, FrontierSourceLanguage, SemanticMergeReadiness, SourceSpan } from '@shapeshift-labs/frontier-lang-kernel';
 import type { ImportNativeSourceOptions, NativeSourceImportResult } from './import-adapter-core.js';
+import type { NativeProjectRuntimeOrderProofEvidence } from './native-project-runtime-executable-effect-evidence.js';
 import type { SemanticEditReplayDiagnostic } from './semantic-edit-replay-diagnostics.js';
+import type { SemanticStructuralDiff, SemanticStructuralDiffSummary, SemanticStructuralEdit, SemanticStructuralEditAction, SemanticStructuralEditKind } from './semantic-structural-diff.js';
 export type * from './semantic-edit-replay-diagnostics.js';
+export type * from './semantic-structural-diff.js';
 export type SemanticEditScriptOperationStatus = 'candidate' | 'portable' | 'already-applied' | 'covered' | 'needs-port' | 'conflict' | 'stale' | 'blocked';
 export type SemanticEditScriptAdmissionStatus = 'auto-merge-candidate' | 'needs-port' | 'conflict' | 'stale' | 'blocked' | 'evidence-only';
 export interface SemanticEditInsertionAnchorCandidate {
@@ -39,7 +42,7 @@ export interface SemanticEditScriptOperation {
   readonly semanticKey?: string;
   readonly semanticIdentityHash?: string;
   readonly sourceIdentityHash?: string;
-  readonly operationContentHash?: string;
+  readonly operationContentHash?: string; readonly structuralEdit?: SemanticStructuralEdit;
   readonly spans?: {
     readonly base?: SourceSpan; readonly worker?: SourceSpan; readonly head?: SourceSpan;
   };
@@ -81,7 +84,7 @@ export interface SemanticEditScriptSummary {
   readonly semanticKeys?: readonly string[];
   readonly semanticIdentityHashes?: readonly string[];
   readonly sourceIdentityHashes?: readonly string[];
-  readonly operationContentHashes?: readonly string[];
+  readonly operationContentHashes?: readonly string[]; readonly structural?: SemanticStructuralDiffSummary;
 }
 export interface SemanticEditScriptAdmission {
   readonly status: SemanticEditScriptAdmissionStatus;
@@ -109,7 +112,7 @@ export interface SemanticEditScript {
   readonly workerChangeSetId: string;
   readonly headChangeSetId?: string;
   readonly lineageInferenceId?: string;
-  readonly operations: readonly SemanticEditScriptOperation[];
+  readonly operations: readonly SemanticEditScriptOperation[]; readonly structuralDiff?: SemanticStructuralDiff;
   readonly summary: SemanticEditScriptSummary;
   readonly admission: SemanticEditScriptAdmission;
   readonly evidence: readonly EvidenceRecord[];
@@ -140,8 +143,7 @@ export interface SemanticEditProjectionEdit {
   readonly sourceIdentityStatus?: 'same-source' | 'moved-source' | string;
   readonly sourceIdentityAnchorKey?: string; readonly targetIdentityAnchorKey?: string;
   readonly sourceIdentitySourcePath?: string; readonly targetIdentitySourcePath?: string;
-  readonly operationContentHash?: string;
-  readonly editContentHash?: string;
+  readonly operationContentHash?: string; readonly editContentHash?: string; readonly structuralEditId?: string; readonly structuralEditHash?: string; readonly structuralKind?: SemanticStructuralEditKind | string; readonly structuralActions?: readonly (SemanticStructuralEditAction | string)[];
   readonly headStart: number; readonly headEnd: number;
   readonly workerStart?: number; readonly workerEnd?: number;
   readonly headAnchorStart?: number; readonly headAnchorEnd?: number;
@@ -192,7 +194,7 @@ export interface SemanticEditReplayEdit {
   readonly semanticKey?: string;
   readonly semanticIdentityHash?: string;
   readonly sourceIdentityHash?: string;
-  readonly editContentHash?: string;
+  readonly editContentHash?: string; readonly structuralEditId?: string; readonly structuralEditHash?: string; readonly structuralKind?: SemanticStructuralEditKind | string; readonly structuralActions?: readonly (SemanticStructuralEditAction | string)[];
   readonly editKind?: 'replace' | 'insert' | 'delete' | string;
   readonly editOrder?: number;
   readonly sourceRangeKind?: string;
@@ -306,8 +308,8 @@ export interface CreateSemanticEditScriptOptions {
   readonly headChangeSetId?: string;
   readonly lineageInferenceId?: string;
   readonly generatedAt?: number | string;
-  readonly evidenceId?: string;
-  readonly metadata?: Record<string, unknown>;
+  readonly evidenceId?: string; readonly structuralDiffId?: string; readonly structuralEvidenceId?: string; readonly evidence?: EvidenceRecord | readonly EvidenceRecord[]; readonly typeSyntaxEvidence?: EvidenceRecord | readonly EvidenceRecord[]; readonly typeCheckerEvidence?: EvidenceRecord | readonly EvidenceRecord[]; readonly typescriptEvidence?: EvidenceRecord | readonly EvidenceRecord[]; readonly diagnosticsEvidence?: EvidenceRecord | readonly EvidenceRecord[]; readonly declarationEvidence?: EvidenceRecord | readonly EvidenceRecord[];
+  readonly runtimeOrderEvidence?: NativeProjectRuntimeOrderProofEvidence | readonly NativeProjectRuntimeOrderProofEvidence[]; readonly effectOrderEvidence?: NativeProjectRuntimeOrderProofEvidence | readonly NativeProjectRuntimeOrderProofEvidence[]; readonly metadata?: Record<string, unknown>;
 }
 export interface CreateSemanticEditScriptRuntimeOptions {
   readonly metadata?: Record<string, unknown>;

package/dist/declarations/semantic-graph-layers.d.ts

@@ -0,0 +1,79 @@
+import type { SemanticMergeReadiness, SourceMapMappingRecord, SourceMapRecord } from '@shapeshift-labs/frontier-lang-kernel';
+import type { SemanticImportSidecarAdmission, SemanticImportSidecarQuality } from './semantic-sidecar-admission.js';
+import type { SemanticImportImpactSummary } from './semantic-impact.js';
+import type {
+  SemanticImportDependencySummary,
+  SemanticImportOwnershipRegion,
+  SemanticImportPatchHint,
+  SemanticImportSidecar,
+  SemanticImportSidecarParadigmSemanticsSummary,
+  SemanticImportSidecarProofSpecSummary,
+  SemanticImportSidecarSymbol,
+  SemanticImportSidecarUniversalAstLayerSummary
+} from './semantic-sidecar.js';
+
+export type SemanticGraphLayerKind =
+  | 'parser-source-span-trivia'
+  | 'scope-use-def'
+  | 'module-export-import'
+  | 'type-public-api'
+  | 'control-flow-effect'
+  | 'generic-semantic-edit-admission';
+export type SemanticGraphLayerStatus = 'strong' | 'partial' | 'missing' | 'blocked';
+export interface SemanticGraphLayerRecord {
+  readonly kind: 'frontier.lang.semanticGraphLayer';
+  readonly version: 1;
+  readonly id: SemanticGraphLayerKind;
+  readonly title: string;
+  readonly status: SemanticGraphLayerStatus;
+  readonly summary: Readonly<Record<string, unknown>>;
+  readonly reasonCodes: readonly string[];
+  readonly evidenceIds: readonly string[];
+}
+export interface SemanticGraphLayerSummary {
+  readonly kind: 'frontier.lang.semanticGraphLayers';
+  readonly version: 1;
+  readonly schema: 'frontier.lang.semanticGraphLayers.v1';
+  readonly status: 'partial' | 'missing' | 'blocked';
+  readonly layerKinds: readonly SemanticGraphLayerKind[];
+  readonly layers: {
+    readonly parserSourceSpanTrivia: SemanticGraphLayerRecord;
+    readonly scopeUseDef: SemanticGraphLayerRecord;
+    readonly moduleExportImport: SemanticGraphLayerRecord;
+    readonly typePublicApi: SemanticGraphLayerRecord;
+    readonly controlFlowEffect: SemanticGraphLayerRecord;
+    readonly genericSemanticEditAdmission: SemanticGraphLayerRecord;
+  };
+  readonly summary: {
+    readonly total: number;
+    readonly strong: number;
+    readonly partial: number;
+    readonly missing: number;
+    readonly blocked: number;
+    readonly usable: number;
+    readonly reasonCodes: readonly string[];
+    readonly evidenceIds: readonly string[];
+  };
+  readonly metadata: { readonly note: string };
+}
+export interface SemanticGraphLayerSummaryInput {
+  readonly importResult?: unknown;
+  readonly imports?: readonly unknown[];
+  readonly symbols?: readonly SemanticImportSidecarSymbol[];
+  readonly ownershipRegions?: readonly SemanticImportOwnershipRegion[];
+  readonly sourceMaps?: readonly SourceMapRecord[];
+  readonly sourceMapMappings?: readonly SourceMapMappingRecord[];
+  readonly sourcePreservation?: SemanticImportSidecar['sourcePreservation'];
+  readonly universalAstLayers?: SemanticImportSidecarUniversalAstLayerSummary;
+  readonly proofSpec?: SemanticImportSidecarProofSpecSummary;
+  readonly paradigmSemantics?: SemanticImportSidecarParadigmSemanticsSummary;
+  readonly dependencies?: SemanticImportDependencySummary;
+  readonly semanticImpact?: SemanticImportImpactSummary;
+  readonly patchHints?: readonly SemanticImportPatchHint[];
+  readonly quality?: SemanticImportSidecarQuality;
+  readonly admission?: SemanticImportSidecarAdmission;
+  readonly mergeCandidates?: readonly unknown[];
+  readonly readiness?: SemanticMergeReadiness;
+}
+export declare const SemanticGraphLayerKinds: readonly SemanticGraphLayerKind[];
+export declare function createSemanticGraphLayerSummary(input?: SemanticGraphLayerSummaryInput): SemanticGraphLayerSummary;

package/dist/declarations/semantic-sidecar.d.ts

@@ -16,8 +16,6 @@ import type {
   SemanticIndexRecord,
   SemanticNode,
   SemanticPatchBundle,
-  SourceMapMappingRecord,
-  SourceMapRecord,
   SourcePreservationLevel,
   SourcePreservationRecord,
   SourceSpan,
@@ -25,6 +23,7 @@ import type {
   UniversalAstLayerRecord
 } from '@shapeshift-labs/frontier-lang-kernel';
 import type { SemanticImportSidecarAdmission, SemanticImportSidecarQuality, SemanticImportSidecarQualityRecord } from './semantic-sidecar-admission.js';
+import type { SemanticGraphLayerSummary } from './semantic-graph-layers.js';
 import type { SemanticMergeCandidateAdmissionRecord, SemanticMergeCandidateProjectionRisk } from './semantic-merge-candidates.js';
 import type { SemanticMergeConflictClass, SemanticMergeConflictSummary } from './semantic-merge-conflicts.js';
 import type { SemanticImportImpactSummary } from './semantic-impact.js';
@@ -263,6 +262,7 @@ export interface SemanticImportSidecar {
   readonly proofSpec: SemanticImportSidecarProofSpecSummary;
   readonly paradigmSemantics: SemanticImportSidecarParadigmSemanticsSummary;
   readonly dependencies: SemanticImportDependencySummary; readonly semanticImpact: SemanticImportImpactSummary;
+  readonly graphLayers: SemanticGraphLayerSummary;
   readonly patchHints: readonly SemanticImportPatchHint[];
   readonly quality: SemanticImportSidecarQuality;
   readonly admission: SemanticImportSidecarAdmission;
@@ -307,6 +307,7 @@ export interface SemanticImportSidecar {
     readonly paradigmSemanticsGroups: number;
     readonly paradigmSemanticsLoweringRecords: number;
     readonly dependencyRelations: number; readonly dependencyPredicates: readonly string[];
+    readonly graphLayers: number; readonly graphLayersUsable: number; readonly graphLayerStatus: SemanticGraphLayerSummary['status'];
     readonly semanticImpactRecords: number; readonly semanticImpactHighRiskRecords: number; readonly semanticImpactRequiredVerificationSteps: number;
     readonly patchHints: number;
     readonly evidenceWarnings: number;

package/dist/declarations/semantic-structural-diff.d.ts

@@ -0,0 +1,94 @@
+import type { FrontierSourceLanguage } from '@shapeshift-labs/frontier-lang-kernel';
+import type { SemanticEditScriptOperationStatus } from './semantic-edit-script.js';
+
+export type SemanticStructuralEditAction = 'move' | 'update' | 'insert' | 'delete';
+export type SemanticStructuralEditKind = 'move' | 'update' | 'insert' | 'delete' | 'move-update';
+
+export interface SemanticStructuralEditSpanLocation {
+  readonly path?: string;
+  readonly startLine?: number;
+  readonly startColumn?: number;
+  readonly endLine?: number;
+  readonly endColumn?: number;
+}
+
+export interface SemanticStructuralEdit {
+  readonly id: string;
+  readonly kind: 'frontier.lang.semanticStructuralEdit';
+  readonly version: 1;
+  readonly hash: string;
+  readonly algorithm: 'frontier.semantic-edit-structural-diff.v1';
+  readonly runtimeNeutral: true;
+  readonly operationId?: string;
+  readonly structuralKind: SemanticStructuralEditKind | string;
+  readonly actions: readonly (SemanticStructuralEditAction | string)[];
+  readonly operationKind?: string;
+  readonly changeKind?: string;
+  readonly anchorKey?: string;
+  readonly conflictKey?: string;
+  readonly regionKind?: string;
+  readonly sourcePath?: string;
+  readonly symbolName?: string;
+  readonly symbolKind?: string;
+  readonly from?: SemanticStructuralEditSpanLocation;
+  readonly to?: SemanticStructuralEditSpanLocation;
+  readonly head?: SemanticStructuralEditSpanLocation;
+  readonly baseTextHash?: string;
+  readonly workerTextHash?: string;
+  readonly headTextHash?: string;
+  readonly beforeSignatureHash?: string;
+  readonly afterSignatureHash?: string;
+  readonly status?: SemanticEditScriptOperationStatus | string;
+  readonly reviewRequired: true;
+  readonly confidence?: number;
+  readonly reasonCodes: readonly string[];
+  readonly reanchor?: {
+    readonly fromAnchorKey?: string;
+    readonly toAnchorKey?: string;
+    readonly toSourcePath?: string;
+    readonly toSymbolName?: string;
+    readonly toSymbolKind?: string;
+    readonly lineageStatus?: string;
+    readonly traversedEventIds?: readonly string[];
+  };
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticStructuralDiffSummary {
+  readonly edits: number;
+  readonly byKind: Readonly<Record<string, number>>;
+  readonly byAction: Readonly<Record<string, number>>;
+  readonly moves: number;
+  readonly updates: number;
+  readonly inserts: number;
+  readonly deletes: number;
+  readonly moveUpdates: number;
+  readonly reviewRequired: boolean;
+  readonly autoMergeClaim: false;
+  readonly semanticEquivalenceClaim: false;
+}
+
+export interface SemanticStructuralDiff {
+  readonly kind: 'frontier.lang.semanticStructuralDiff';
+  readonly version: 1;
+  readonly schema: 'frontier.lang.semanticStructuralDiff.v1';
+  readonly id: string;
+  readonly hash: string;
+  readonly algorithm: 'frontier.semantic-edit-structural-diff.v1';
+  readonly runtimeNeutral: true;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly sourcePath?: string;
+  readonly workerChangeSetId: string;
+  readonly headChangeSetId?: string;
+  readonly edits: readonly SemanticStructuralEdit[];
+  readonly summary: SemanticStructuralDiffSummary;
+  readonly admission: {
+    readonly status: 'review-required';
+    readonly action: 'run-replay-and-diagnostics' | string;
+    readonly reviewRequired: true;
+    readonly autoMergeClaim: false;
+    readonly semanticEquivalenceClaim: false;
+    readonly reasonCodes: readonly string[];
+  };
+  readonly metadata?: Record<string, unknown>;
+}

package/dist/declarations/source-preservation.d.ts

@@ -60,6 +60,8 @@ export type NativeSourceTokenKind =
   | 'operator'
   | 'punctuation'
   | 'comment'
+  | 'jsdoc-comment'
+  | 'block-comment'
   | 'source-map-comment'
   | 'whitespace'
   | 'newline'
@@ -145,6 +147,22 @@ export interface NativeSourceLedger {
   readonly summary: NativeSourceLedgerSummary;
 }
 
+export type ParserTriviaExactnessStatus = 'exact' | 'approximate' | 'blocked' | (string & {});
+export type ParserTriviaOwnershipStatus = 'exact' | 'blocked' | (string & {});
+export type ParserTriviaOwnershipRelation =
+  | 'directive-prologue'
+  | 'source-directive'
+  | 'leading-comment'
+  | 'trailing-comment'
+  | 'jsdoc-comment'
+  | 'block-comment'
+  | 'file-comment'
+  | 'generated-source-boundary'
+  | 'file-entrypoint-directive'
+  | (string & {});
+export interface ParserTriviaEvidenceInput { readonly [key: string]: unknown; readonly status?: ParserTriviaExactnessStatus; readonly exactParserTrivia?: boolean; readonly exact?: boolean; readonly losslessCst?: boolean; readonly sourceHash?: string; readonly sourceId?: string; readonly roundtripHash?: string; readonly evidenceSourceHash?: string; readonly parserEvidence?: string; readonly adapterId?: string; readonly parserAdapterId?: string; readonly parserId?: string; readonly adapter?: string; readonly evidenceId?: string; readonly id?: string; readonly blocked?: boolean; readonly reasonCodes?: readonly string[]; readonly blockReasonCodes?: readonly string[]; readonly metadata?: Record<string, unknown>; }
+export interface ParserTriviaExactnessRecord { readonly schema: 'frontier.lang.parserTriviaExactness.v1'; readonly version: 1; readonly status: ParserTriviaExactnessStatus; readonly exactParserTrivia: boolean; readonly losslessCst?: boolean; readonly sourcePath?: string; readonly sourceHash?: string; readonly evidenceSourceHash?: string; readonly sourceHashVerified?: boolean; readonly parserEvidence?: string; readonly adapterId?: string; readonly evidenceId?: string; readonly reasonCodes: readonly string[]; readonly blockReasonCodes: readonly string[]; readonly reviewRequired: boolean; readonly autoMergeClaim: false; readonly semanticEquivalenceClaim: false; }
+
 export interface NativeSourcePreservation {
   readonly kind: 'frontier.lang.nativeSourcePreservation';
   readonly version: 1;
@@ -174,8 +192,19 @@ export interface NativeSourcePreservation {
     readonly braces?: number;
     readonly exactSourceAvailable: boolean;
     readonly truncated: boolean;
+    readonly parserTriviaExactnessStatus?: string;
+    readonly exactParserTrivia?: boolean;
+    readonly parserTriviaExactnessReasonCodes?: readonly string[];
+    readonly parserTriviaExactnessBlockReasonCodes?: readonly string[];
   };
-  readonly metadata?: Record<string, unknown>;
+  readonly metadata?: Record<string, unknown> & { readonly parserTriviaExactness?: ParserTriviaExactnessRecord };
+}
+
+export interface NativeSourceTokenTriviaScan {
+  readonly tokens: readonly NativeSourcePreservedToken[];
+  readonly trivia: readonly NativeSourcePreservedToken[];
+  readonly truncated?: boolean;
+  readonly parserEvidence?: string;
 }
 
 export interface CreateNativeSourcePreservationOptions {
@@ -192,7 +221,9 @@ export interface CreateNativeSourcePreservationOptions {
   readonly includeSourceLedger?: boolean;
   readonly maxTokens?: number;
   readonly maxTrivia?: number;
+  readonly tokensAndTrivia?: NativeSourceTokenTriviaScan;
   readonly maxDirectives?: number;
   readonly maxLedgerSpans?: number;
+  readonly parserTriviaEvidence?: ParserTriviaEvidenceInput;
   readonly metadata?: Record<string, unknown>;
 }