@shapeshift-labs/frontier-lang-compiler 0.2.100 → 0.2.101

package/dist/declarations/semantic-edit-replay-diagnostics.d.ts

@@ -0,0 +1,24 @@
+import type { SemanticEditReplayStatus } from './semantic-edit-script.js';
+
+export type SemanticEditReplayDiagnosticCategory = 'stale-anchor' | 'overlap' | 'missing-source' | 'projection-mismatch' | 'matched-source' | 'reanchored' | 'replay' | string;
+export type SemanticEditReplayDiagnosticSeverity = 'info' | 'warning' | 'error' | string;
+export type SemanticEditReplayDiagnosticScope = 'replay' | 'edit' | string;
+
+export interface SemanticEditReplayDiagnostic {
+  readonly code: string;
+  readonly category: SemanticEditReplayDiagnosticCategory;
+  readonly severity: SemanticEditReplayDiagnosticSeverity;
+  readonly scope: SemanticEditReplayDiagnosticScope;
+  readonly status?: SemanticEditReplayStatus | string;
+  readonly operationId?: string;
+  readonly sourcePath?: string;
+  readonly symbolName?: string;
+  readonly symbolKind?: string;
+  readonly editKind?: 'replace' | 'insert' | 'delete' | string;
+  readonly start?: number;
+  readonly end?: number;
+  readonly expectedHash?: string;
+  readonly actualHash?: string;
+  readonly replacementHash?: string;
+  readonly overlapOperationIds?: readonly string[];
+}

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

@@ -1,9 +1,21 @@
 import type { EvidenceRecord, FrontierSourceLanguage, SemanticMergeReadiness, SourceSpan } from '@shapeshift-labs/frontier-lang-kernel';
 import type { ImportNativeSourceOptions, NativeSourceImportResult } from './import-adapter-core.js';
-
+import type { SemanticEditReplayDiagnostic } from './semantic-edit-replay-diagnostics.js';
+export type * from './semantic-edit-replay-diagnostics.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 {
+  readonly mode?: 'before' | 'after' | 'file-start' | 'file-end' | string;
+  readonly anchorKey?: string;
+  readonly anchorSymbolId?: string;
+  readonly anchorSymbolName?: string;
+  readonly anchorSymbolKind?: string;
+  readonly baseSpan?: SourceSpan;
+  readonly workerAnchorSpan?: SourceSpan;
+  readonly headSpan?: SourceSpan;
+  readonly sourcePath?: string;
+  readonly reasonCodes?: readonly string[];
+}
 export interface SemanticEditScriptOperation {
   readonly id: string;
   readonly kind: string;
@@ -19,6 +31,7 @@ export interface SemanticEditScriptOperation {
     readonly mode?: 'before' | 'after' | 'file-start' | 'file-end' | string;
     readonly anchorKey?: string; readonly anchorSymbolId?: string; readonly anchorSymbolName?: string; readonly anchorSymbolKind?: string;
     readonly baseSpan?: SourceSpan; readonly workerAnchorSpan?: SourceSpan; readonly headSpan?: SourceSpan; readonly sourcePath?: string;
+    readonly anchorCandidates?: readonly SemanticEditInsertionAnchorCandidate[];
     readonly insertedSymbolId?: string; readonly insertedSymbolName?: string; readonly insertedSymbolKind?: string;
     readonly insertedSourceSpan?: SourceSpan; readonly insertedSourcePath?: string;
     readonly reasonCodes?: readonly string[];
@@ -52,7 +65,6 @@ export interface SemanticEditScriptOperation {
   readonly evidenceIds?: readonly string[];
   readonly metadata?: Record<string, unknown>;
 }
-
 export interface SemanticEditScriptSummary {
   readonly operations: number;
   readonly byStatus: Readonly<Record<string, number>>;
@@ -71,7 +83,6 @@ export interface SemanticEditScriptSummary {
   readonly sourceIdentityHashes?: readonly string[];
   readonly operationContentHashes?: readonly string[];
 }
-
 export interface SemanticEditScriptAdmission {
   readonly status: SemanticEditScriptAdmissionStatus;
   readonly action: 'run-gates-and-apply' | 'reanchor-or-human-port' | 'record-evidence' | 'block' | string;
@@ -83,7 +94,6 @@ export interface SemanticEditScriptAdmission {
   readonly conflictKeys: readonly string[];
   readonly evidenceIds: readonly string[];
 }
-
 export interface SemanticEditScript {
   readonly kind: 'frontier.lang.semanticEditScript';
   readonly version: 1;
@@ -105,7 +115,6 @@ export interface SemanticEditScript {
   readonly evidence: readonly EvidenceRecord[];
   readonly metadata?: Record<string, unknown>;
 }
-
 export interface SemanticEditProjectionEdit {
   readonly operationId?: string;
   readonly status: 'applied' | 'already-applied';
@@ -143,9 +152,9 @@ export interface SemanticEditProjectionEdit {
   readonly insertionAnchorKey?: string;
   readonly insertionAnchorSymbolName?: string;
   readonly insertionAnchorSymbolKind?: string;
+  readonly insertionAnchorCandidates?: readonly SemanticEditInsertionAnchorCandidate[];
   readonly replacementText?: string;
 }
-
 export interface SemanticEditProjection {
   readonly kind: 'frontier.lang.semanticEditProjection';
   readonly version: 1;
@@ -171,9 +180,7 @@ export interface SemanticEditProjection {
   };
   readonly metadata?: Record<string, unknown>;
 }
-
 export type SemanticEditReplayStatus = 'accepted-clean' | 'already-applied' | 'conflict' | 'stale' | 'blocked' | 'needs-port' | 'evidence-only';
-
 export interface SemanticEditReplayEdit {
   readonly operationId?: string;
   readonly semanticKey?: string;
@@ -181,6 +188,8 @@ export interface SemanticEditReplayEdit {
   readonly sourceIdentityHash?: string;
   readonly editContentHash?: string;
   readonly editKind?: 'replace' | 'insert' | 'delete' | string;
+  readonly editOrder?: number;
+  readonly sourceRangeKind?: string;
   readonly sourcePath?: string;
   readonly symbolName?: string;
   readonly symbolKind?: string;
@@ -190,8 +199,8 @@ export interface SemanticEditReplayEdit {
   readonly replacementBytes?: number;
   readonly replacementText?: string;
   readonly reasonCodes: readonly string[];
+  readonly diagnostics?: readonly SemanticEditReplayDiagnostic[];
 }
-
 export interface SemanticEditReplay {
   readonly kind: 'frontier.lang.semanticEditReplay';
   readonly version: 1;
@@ -209,6 +218,7 @@ export interface SemanticEditReplay {
   readonly edits: readonly SemanticEditReplayEdit[];
   readonly appliedOperations: readonly string[];
   readonly skippedOperations: readonly string[];
+  readonly diagnostics?: readonly SemanticEditReplayDiagnostic[];
   readonly admission: {
     readonly status: SemanticEditReplayStatus;
     readonly action: 'apply' | 'skip' | 'rerun-semantic-import' | 'human-review' | 'block' | string;
@@ -230,7 +240,6 @@ export interface SemanticEditReplay {
   };
   readonly metadata?: Record<string, unknown>;
 }
-
 export interface ProjectSemanticEditScriptToSourceOptions {
   readonly id?: string;
   readonly script: SemanticEditScript;
@@ -239,7 +248,6 @@ export interface ProjectSemanticEditScriptToSourceOptions {
   readonly headSourcePath?: string;
   readonly metadata?: Record<string, unknown>;
 }
-
 export interface ReplaySemanticEditProjectionOptions {
   readonly id?: string;
   readonly projection?: SemanticEditProjection;
@@ -253,7 +261,6 @@ export interface ReplaySemanticEditProjectionOptions {
   readonly parser?: string;
   readonly metadata?: Record<string, unknown>;
 }
-
 export interface CreateSemanticEditScriptOptions {
   readonly id?: string;
   readonly language?: FrontierSourceLanguage | string;
@@ -296,11 +303,9 @@ export interface CreateSemanticEditScriptOptions {
   readonly evidenceId?: string;
   readonly metadata?: Record<string, unknown>;
 }
-
 export interface CreateSemanticEditScriptRuntimeOptions {
   readonly metadata?: Record<string, unknown>;
 }
-
 export declare const SemanticEditScriptAdmissionStatuses: readonly SemanticEditScriptAdmissionStatus[];
 export declare function createSemanticEditScript(input?: CreateSemanticEditScriptOptions, options?: CreateSemanticEditScriptRuntimeOptions): SemanticEditScript;
 export declare function projectSemanticEditScriptToSource(input: ProjectSemanticEditScriptToSourceOptions): SemanticEditProjection;

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

@@ -1,9 +1,7 @@
 import type { EvidenceRecord, FrontierSourceLanguage, SemanticMergeReadiness, SourceSpan } from '@shapeshift-labs/frontier-lang-kernel';
 import type { ImportNativeSourceOptions, NativeSourceImportResult } from './import-adapter-core.js';
-
 export type SemanticLineageEventKind = 'unchanged' | 'moved' | 'renamed' | 'split' | 'merged' | 'deleted' | 'recreated' | 'unknown' | string;
 export type SemanticLineageResolutionStatus = 'unchanged' | 'resolved' | 'ambiguous' | 'deleted' | 'recreated' | 'cycle' | 'max-depth' | 'not-found' | string;
-
 export interface SemanticAnchor {
   readonly id?: string; readonly key?: string; readonly kind?: string;
   readonly language?: FrontierSourceLanguage | string; readonly sourcePath?: string; readonly sourceHash?: string;
@@ -17,7 +15,6 @@ export interface SemanticAnchor {
   readonly lineageEventKinds?: readonly SemanticLineageEventKind[]; readonly lineageReasonCodes?: readonly string[];
   readonly metadata?: Record<string, unknown>;
 }
-
 export interface CreateSemanticAnchorInput extends SemanticAnchor {
   readonly ownershipKey?: string;
   readonly conflictKey?: string;
@@ -30,7 +27,6 @@ export interface CreateSemanticAnchorInput extends SemanticAnchor {
   readonly hash?: string;
   readonly span?: SourceSpan;
 }
-
 export interface SemanticLineageCrdtClock {
   readonly operationId?: string;
   readonly actor?: string;
@@ -40,7 +36,6 @@ export interface SemanticLineageCrdtClock {
   readonly stateVector?: Record<string, number>;
   readonly versionFrame?: Record<string, unknown>;
 }
-
 export interface SemanticLineageCrdtClockInput {
   readonly operationId?: string;
   readonly id?: string;
@@ -53,7 +48,6 @@ export interface SemanticLineageCrdtClockInput {
   readonly versionFrame?: Record<string, unknown>;
   readonly frame?: Record<string, unknown>;
 }
-
 export interface SemanticLineageEvidence {
   readonly pathMatch?: boolean;
   readonly signatureHashMatch?: boolean;
@@ -63,11 +57,9 @@ export interface SemanticLineageEvidence {
   readonly confidence?: number;
   readonly command?: string;
 }
-
 export interface SemanticLineageEvidenceInput extends SemanticLineageEvidence {
   readonly id?: string;
 }
-
 export interface SemanticLineageActor {
   readonly id?: string;
   readonly role?: string;
@@ -76,11 +68,9 @@ export interface SemanticLineageActor {
   readonly runId?: string;
   readonly metadata?: Record<string, unknown>;
 }
-
 export interface SemanticLineageActorInput extends SemanticLineageActor {
   readonly actorId?: string;
 }
-
 export interface SemanticLineageEvent {
   readonly kind: 'frontier.lang.semanticLineageEvent';
   readonly version: 1;
@@ -100,7 +90,6 @@ export interface SemanticLineageEvent {
   readonly conflictKeys: readonly string[];
   readonly metadata?: Record<string, unknown>;
 }
-
 export interface CreateSemanticLineageEventInput {
   readonly id?: string; readonly hash?: string; readonly createdAt?: number | string;
   readonly eventKind?: SemanticLineageEventKind; readonly event?: SemanticLineageEventKind; readonly kind?: SemanticLineageEventKind;
@@ -136,7 +125,6 @@ export interface CreateSemanticLineageEventInput {
   readonly conflictKeys?: readonly string[] | string;
   readonly metadata?: Record<string, unknown>;
 }
-
 export interface SemanticLineageMap {
   readonly kind: 'frontier.lang.semanticLineageMap';
   readonly version: 1;
@@ -154,7 +142,6 @@ export interface SemanticLineageMap {
     readonly eventKinds: readonly string[];
   };
 }
-
 export interface SemanticLineageResolutionQuery {
   readonly id?: string;
   readonly anchor?: SemanticAnchor | string;
@@ -168,7 +155,6 @@ export interface SemanticLineageResolutionQuery {
   readonly generatedAt?: number | string;
   readonly metadata?: Record<string, unknown>;
 }
-
 export interface SemanticLineageResolution {
   readonly kind: 'frontier.lang.semanticLineageResolution';
   readonly version: 1;
@@ -199,7 +185,6 @@ export interface SemanticLineageResolution {
   readonly reasonCodes: readonly string[];
   readonly metadata?: Record<string, unknown>;
 }
-
 export interface SemanticLineageQuery {
   readonly eventKind?: SemanticLineageEventKind | readonly string[];
   readonly anchorKey?: string | readonly string[];
@@ -211,7 +196,6 @@ export interface SemanticLineageQuery {
   readonly conflictKey?: string | readonly string[];
   readonly evidenceId?: string | readonly string[];
 }
-
 export interface SemanticLineageInferredAnchorSummary {
   readonly key?: string;
   readonly id?: string;
@@ -220,24 +204,24 @@ export interface SemanticLineageInferredAnchorSummary {
   readonly language?: FrontierSourceLanguage | string;
   readonly sourcePath?: string;
   readonly sourceHash?: string;
+  readonly identityHash?: string;
+  readonly semanticIdentityHash?: string;
+  readonly sourceIdentityHash?: string;
   readonly sourceSpan?: SourceSpan;
   readonly signatureHash?: string;
   readonly bodyHash?: string;
   readonly ownershipRegionKind?: string;
 }
-
 export interface SemanticLineageAmbiguousCandidate {
   readonly after: SemanticLineageInferredAnchorSummary;
   readonly confidence: number;
   readonly reasons: readonly string[];
 }
-
 export interface SemanticLineageAmbiguousMatch {
   readonly before: SemanticLineageInferredAnchorSummary;
   readonly candidates: readonly SemanticLineageAmbiguousCandidate[];
   readonly reasonCodes: readonly string[];
 }
-
 export interface SemanticLineageInferenceResult {
   readonly kind: 'frontier.lang.semanticLineageInference';
   readonly version: 1;
@@ -280,7 +264,6 @@ export interface SemanticLineageInferenceResult {
     readonly [key: string]: unknown;
   };
 }
-
 export interface InferSemanticLineageEventsOptions {
   readonly id?: string;
   readonly before?: NativeSourceImportResult | ImportNativeSourceOptions;
@@ -306,7 +289,6 @@ export interface InferSemanticLineageEventsOptions {
   readonly stateVector?: Record<string, number>;
   readonly metadata?: Record<string, unknown>;
 }
-
 export declare const SemanticLineageEventKinds: readonly SemanticLineageEventKind[];
 export declare const SemanticLineageResolutionStatuses: readonly SemanticLineageResolutionStatus[];
 export declare function createSemanticAnchor(input?: CreateSemanticAnchorInput | string, defaults?: Partial<SemanticAnchor>): SemanticAnchor | undefined;

package/dist/declarations/semantic-merge-candidates.d.ts

@@ -9,6 +9,41 @@ import type { NativeSourceChangeKind, NativeSourceChangeSet } from './native-dif
 import type { SemanticMergeConflictSummary } from './semantic-merge-conflicts.js';
 
 export type SemanticMergeCandidateProjectionRisk = 'low' | 'medium' | 'high' | 'unknown';
+export type SemanticMergeCandidateScoreFacetKey =
+  | 'ownership'
+  | 'staleStatus'
+  | 'testEvidence'
+  | 'overlap'
+  | 'size'
+  | 'semanticSidecarQuality';
+export type SemanticMergeCandidateScoreFacetStatus = 'strong' | 'partial' | 'weak' | 'blocked';
+
+export interface SemanticMergeCandidateScoreFacet {
+  readonly key: SemanticMergeCandidateScoreFacetKey;
+  readonly score: number;
+  readonly weight: number;
+  readonly weightedScore: number;
+  readonly status: SemanticMergeCandidateScoreFacetStatus;
+  readonly reasonCodes: readonly string[];
+  readonly signals: Record<string, unknown>;
+}
+
+export interface SemanticMergeCandidateScoreFacets {
+  readonly schema: 'frontier.lang.semanticMergeCandidateScoreFacets.v1';
+  readonly version: 1;
+  readonly higherIsBetter: true;
+  readonly value: number;
+  readonly risk: 'low' | 'medium' | 'high';
+  readonly components: Record<SemanticMergeCandidateScoreFacetKey, SemanticMergeCandidateScoreFacet>;
+  readonly summary: {
+    readonly value: number;
+    readonly risk: 'low' | 'medium' | 'high';
+    readonly lowestScore: number;
+    readonly weakFacets: readonly SemanticMergeCandidateScoreFacetKey[];
+    readonly blockedFacets: readonly SemanticMergeCandidateScoreFacetKey[];
+    readonly availableFacets: readonly SemanticMergeCandidateScoreFacetKey[];
+  };
+}
 
 export interface SemanticMergeCandidateChangedRegion {
   readonly id?: string;
@@ -88,11 +123,13 @@ export interface SemanticMergeCandidateAdmissionRecord {
     readonly conflictKeys: readonly string[];
     readonly pairs: readonly SemanticMergeCandidateOverlapRecord[];
   };
+  readonly scoreFacets: SemanticMergeCandidateScoreFacets;
   readonly admission: {
     readonly readiness: SemanticMergeReadiness | string;
     readonly reviewRequired: boolean;
     readonly action: 'admit' | 'prioritize-review' | 'block' | string;
     readonly sortKey: number;
+    readonly scoreFacets: SemanticMergeCandidateScoreFacets;
     readonly reasonCodes: readonly string[];
     readonly conflictKeys: readonly string[];
   };
@@ -122,6 +159,7 @@ export interface SemanticMergeCandidateAdmissionRecord {
     readonly readiness: SemanticMergeReadiness | string;
     readonly projectionRisk: SemanticMergeCandidateProjectionRisk;
     readonly reviewRequired: boolean;
+    readonly scoreFacets: SemanticMergeCandidateScoreFacets['summary'];
   };
   readonly metadata?: Record<string, unknown> & {
     readonly conflictSummary?: SemanticMergeConflictSummary;
@@ -166,6 +204,7 @@ export type SemanticMergeCandidateWithAdmission = SemanticMergeCandidateRecord &
   readonly proofIds?: readonly string[];
   readonly projectionRisk?: SemanticMergeCandidateProjectionRisk;
   readonly readinessSortKey?: number;
+  readonly scoreFacets?: SemanticMergeCandidateScoreFacets;
   readonly mergeAdmission?: SemanticMergeCandidateAdmissionRecord;
 };
 

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

@@ -8,6 +8,16 @@ export interface SemanticImportSidecarQualityWarning {
   readonly sourcePaths: readonly string[];
 }
 
+export type SemanticImportSidecarRecordClassification = 'useful' | 'expected-empty' | 'unexpectedly-empty' | 'missing' | string;
+
+export interface SemanticImportSidecarQualityRecord {
+  readonly classification: SemanticImportSidecarRecordClassification;
+  readonly reasonCode: string;
+  readonly message: string;
+  readonly action: string;
+  readonly sourcePaths: readonly string[];
+}
+
 export interface SemanticImportSidecarProofAdmissionSummary {
   readonly total: number;
   readonly obligations: number;
@@ -26,12 +36,14 @@ export interface SemanticImportSidecarProofAdmissionSummary {
 export interface SemanticImportSidecarQuality {
   readonly schema: 'frontier.lang.semanticSidecarQuality.v1';
   readonly expected: boolean;
+  readonly expectedEmpty: boolean;
   readonly expectedSatisfied: boolean;
   readonly expectedMissingReasonCodes: readonly string[];
   readonly selected: boolean;
   readonly eligible: boolean;
   readonly imported: boolean;
   readonly importCount: number;
+  readonly record: SemanticImportSidecarQualityRecord;
   readonly symbolCount: number;
   readonly ownershipRegionCount: number;
   readonly patchHintCount: number;
@@ -45,6 +57,7 @@ export interface SemanticImportSidecarQuality {
 export interface SemanticImportSidecarAdmission {
   readonly schema: 'frontier.lang.semanticSidecarAdmission.v1';
   readonly expected: boolean;
+  readonly expectedEmpty: boolean;
   readonly expectedSatisfied: boolean;
   readonly expectedMissingReasonCodes: readonly string[];
   readonly selected: boolean;
@@ -53,6 +66,7 @@ export interface SemanticImportSidecarAdmission {
   readonly importCount: number;
   readonly readiness: SemanticMergeReadiness;
   readonly action: string;
+  readonly record: SemanticImportSidecarQualityRecord;
   readonly counts: {
     readonly symbols: number;
     readonly ownershipRegions: number;

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

@@ -24,7 +24,7 @@ import type {
   UniversalAstLayerMap,
   UniversalAstLayerRecord
 } from '@shapeshift-labs/frontier-lang-kernel';
-import type { SemanticImportSidecarAdmission, SemanticImportSidecarQuality } from './semantic-sidecar-admission.js';
+import type { SemanticImportSidecarAdmission, SemanticImportSidecarQuality, SemanticImportSidecarQualityRecord } from './semantic-sidecar-admission.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';
@@ -52,7 +52,6 @@ import type { JavaAstNativeImporterAdapterOptions, KotlinPsiNativeImporterAdapte
 import type { NativeTargetProjectionAdapterCoverageInput, NativeTargetProjectionAdapterSummary, NativeTargetProjectionAdapterInput, NativeTargetProjectionAdapterResult, NativeTargetProjectionAdapter, NativeTargetProjectionAdapterResolverInput, NativeTargetProjectionResult } from './target-adapters.js';
 import type { NativeProjectSourceInput, ImportNativeProjectOptions, NativeProjectImportResult, NativeSourceProjectionMode, ProjectNativeImportToSourceOptions, NativeSourceProjectionDeclaration, NativeSourceProjectionResult, NativeSourceCompileOutputMode, CompileNativeSourceOptions, NativeSourceCompileResult } from './native-project.js';
 import type { NativeImportRoundtripReadinessStatus, NativeImportRoundtripReadinessOptions, NativeImportRoundtripReadinessClassification } from './roundtrip.js';
-
 export interface SemanticImportOwnershipRegion {
   readonly id: string;
   readonly key: string;
@@ -71,7 +70,6 @@ export interface SemanticImportOwnershipRegion {
   readonly mergePolicy?: string;
   readonly metadata?: Record<string, unknown>;
 }
-
 export interface SemanticImportSidecarSymbol {
   readonly id: string;
   readonly name?: string;
@@ -87,7 +85,6 @@ export interface SemanticImportSidecarSymbol {
   readonly ownershipRegionKind?: NativeImportRegionTaxonomyKind;
   readonly readiness: SemanticMergeReadiness;
 }
-
 export interface SemanticImportRegionTaxonomySummary {
   readonly kinds: readonly NativeImportRegionTaxonomyKind[];
   readonly presentKinds: readonly NativeImportRegionTaxonomyKind[];
@@ -95,12 +92,12 @@ export interface SemanticImportRegionTaxonomySummary {
   readonly keys: readonly string[];
   readonly keysByKind: Readonly<Record<string, readonly string[]>>;
 }
-
 export interface SemanticImportPatchHint {
   readonly id: string;
   readonly kind: 'source-region-patch' | string;
   readonly ownershipRegionId: string;
   readonly ownershipKey: string;
+  readonly operation: string;
   readonly sourcePath?: string;
   readonly sourceHash?: string;
   readonly sourceSpan?: SourceSpan;
@@ -113,7 +110,6 @@ export interface SemanticImportPatchHint {
     readonly requiresSourceMap: boolean;
   };
 }
-
 export interface SemanticImportSidecarImportEntry {
   readonly id: string;
   readonly language?: FrontierSourceLanguage | string;
@@ -135,11 +131,17 @@ export interface SemanticImportSidecarImportEntry {
   readonly proofSpec: SemanticImportSidecarProofSpecSummary;
   readonly paradigmSemantics: SemanticImportSidecarParadigmSemanticsSummary;
   readonly dependencyRelationCount: number; readonly dependencyPredicates: readonly string[];
+  readonly semanticFactCount?: number;
+  readonly semanticFactPredicates?: readonly string[];
+  readonly semanticFactSummary?: Readonly<Record<string, number>>;
+  readonly patchHintCount?: number;
+  readonly patchHintOperations?: readonly string[];
+  readonly patchHints?: readonly SemanticImportPatchHint[];
   readonly readiness: SemanticMergeReadiness;
   readonly emptySemanticIndex: boolean;
+  readonly qualityRecord: SemanticImportSidecarQualityRecord;
   readonly regionTaxonomy?: SemanticImportRegionTaxonomySummary;
 }
-
 export interface SemanticImportSidecarSourcePreservationRecord {
   readonly id: string;
   readonly level: SourcePreservationLevel;
@@ -157,7 +159,6 @@ export interface SemanticImportSidecarSourcePreservationRecord {
   readonly evidenceIds: readonly string[];
   readonly reasons: readonly string[];
 }
-
 export interface SemanticImportSidecarUniversalAstLayerSummary {
   readonly total: number;
   readonly names: readonly string[];
@@ -165,7 +166,6 @@ export interface SemanticImportSidecarUniversalAstLayerSummary {
   readonly byName: Readonly<Record<string, number>>;
   readonly empty: boolean;
 }
-
 export interface SemanticImportSidecarProofSpecSummary {
   readonly total: number;
   readonly ids: readonly string[];
@@ -194,7 +194,6 @@ export interface SemanticImportSidecarProofSpecSummary {
   readonly byArtifactKind: Readonly<Record<string, number>>;
   readonly empty: boolean;
 }
-
 export interface SemanticImportSidecarParadigmSemanticsSummary {
   readonly total: number;
   readonly ids: readonly string[];
@@ -230,14 +229,12 @@ export interface SemanticImportSidecarParadigmSemanticsSummary {
   readonly hasLowering: boolean;
   readonly empty: boolean;
 }
-
 export interface SemanticImportDependencySummary {
   readonly total: number; readonly calls: number; readonly uses: number; readonly references: number;
   readonly imports: number; readonly extends: number; readonly implements: number; readonly includes: number; readonly requires: number;
   readonly byPredicate: Readonly<Record<string, number>>; readonly predicates: readonly string[];
   readonly ids: readonly string[]; readonly sourceSymbolIds: readonly string[]; readonly targetSymbolIds: readonly string[];
 }
-
 export interface SemanticImportSidecar {
   readonly kind: 'frontier.lang.semanticImportSidecar';
   readonly version: 1;
@@ -313,8 +310,9 @@ export interface SemanticImportSidecar {
     readonly semanticImpactRecords: number; readonly semanticImpactHighRiskRecords: number; readonly semanticImpactRequiredVerificationSteps: number;
     readonly patchHints: number;
     readonly evidenceWarnings: number;
-    readonly semanticImportExpected: boolean; readonly semanticImportExpectedSatisfied: boolean; readonly semanticImportExpectedMissingReasonCodes: readonly string[];
+    readonly semanticImportExpected: boolean; readonly semanticImportExpectedEmpty: boolean; readonly semanticImportExpectedSatisfied: boolean; readonly semanticImportExpectedMissingReasonCodes: readonly string[];
+    readonly semanticImportRecordClassification: string; readonly semanticImportRecordReasonCode: string; readonly semanticImportRecordAction: string;
     readonly readiness: SemanticMergeReadiness; readonly emptySemanticIndex: boolean;
   };
   readonly metadata?: Record<string, unknown>; }
-export interface SemanticImportSidecarOptions { readonly id?: string; readonly generatedAt?: number; readonly regionPrefix?: string; readonly targetPath?: string; readonly expected?: boolean; readonly semanticImportExpected?: boolean; readonly metadata?: Record<string, unknown>; }
+export interface SemanticImportSidecarOptions { readonly id?: string; readonly generatedAt?: number; readonly regionPrefix?: string; readonly targetPath?: string; readonly expected?: boolean; readonly semanticImportExpected?: boolean; readonly expectedEmpty?: boolean; readonly semanticImportExpectedEmpty?: boolean; readonly metadata?: Record<string, unknown>; }