@shapeshift-labs/frontier-lang-compiler 0.2.65 → 0.2.67

package/dist/declarations/roundtrip.d.ts

@@ -105,59 +105,8 @@ export interface NativeImportRoundtripReadinessClassification {
 
 export type NativeRoundtripEvidenceStatus = NativeImportRoundtripReadinessStatus | 'target-adapter';
 
-export type NativeRoundtripSourceMapPrecision = SourceMapMappingRecord['precision'] | 'line' | 'declaration' | 'estimated' | 'unknown' | 'none' | string;
-
-export type NativeRoundtripAuditDisposition =
-  | 'reversible'
-  | 'preserved-source'
-  | 'stub-only'
-  | 'adapter-projected'
-  | 'review-required';
-
-export type NativeRoundtripAuditClaim =
-  | 'source-text-reversible'
-  | 'source-preserved'
-  | 'declaration-stubs-only'
-  | 'host-adapter-projected'
-  | 'review-required';
-
-export interface NativeRoundtripSourceMapEvidence {
-  readonly total: number;
-  readonly ids: readonly string[];
-  readonly mappings: number;
-  readonly precision: NativeRoundtripSourceMapPrecision;
-  readonly byPrecision: Readonly<Record<string, number>>;
-  readonly byOrigin: Readonly<Record<string, number>>;
-  readonly withSourceSpan: number;
-  readonly withGeneratedSpan: number;
-  readonly withSemanticSymbol: number;
-  readonly targetPaths: readonly string[];
-}
-
-export interface NativeRoundtripAuditSignal {
-  readonly schema: 'frontier.lang.nativeRoundtripAuditSignal';
-  readonly version: 1;
-  readonly disposition: NativeRoundtripAuditDisposition;
-  readonly claim: NativeRoundtripAuditClaim;
-  readonly sourceLanguage?: FrontierSourceLanguage | string;
-  readonly target?: CompileTarget | string;
-  readonly sameLanguage: boolean;
-  readonly outputMode?: NativeSourceCompileOutputMode;
-  readonly projectionMode?: NativeSourceProjectionMode;
-  readonly sourceHashVerified: boolean;
-  readonly outputSourceMapPrecision: NativeRoundtripSourceMapPrecision;
-  readonly universalSourceMapPrecision: NativeRoundtripSourceMapPrecision;
-  readonly targetProjectionAdapterId?: string;
-  readonly targetCoverageLossClass?: ProjectionTargetLossClass | string;
-  readonly reviewRequired: boolean;
-  readonly semanticMergeReadiness: SemanticMergeReadiness;
-  readonly semanticEquivalenceClaim: false;
-  readonly autoMergeClaim: false;
-  readonly blockingLossCount: number;
-  readonly reviewLossCount: number;
-  readonly reasonCodes: readonly string[];
-}
-
+import type { NativeRoundtripSourceMapPrecision, NativeRoundtripAuditDisposition, NativeRoundtripAuditClaim, NativeRoundtripSourceMapEvidence, NativeRoundtripRoutePathSignal, NativeRoundtripRoutePathsAudit, NativeRoundtripSourcePreservationAudit, NativeRoundtripGeneratedStubsAudit, NativeRoundtripAdapterProjectionAudit, NativeRoundtripRouteSourceMapsAudit, NativeRoundtripHashChecksAudit, NativeRoundtripCommentsTriviaAudit, NativeRoundtripTargetCoverageAudit, NativeRoundtripSemanticEquivalenceAudit, NativeRoundtripAuditSignal } from './roundtrip-audit.js';
+export type { NativeRoundtripSourceMapPrecision, NativeRoundtripAuditDisposition, NativeRoundtripAuditClaim, NativeRoundtripSourceMapEvidence, NativeRoundtripRoutePathSignal, NativeRoundtripRoutePathsAudit, NativeRoundtripSourcePreservationAudit, NativeRoundtripGeneratedStubsAudit, NativeRoundtripAdapterProjectionAudit, NativeRoundtripRouteSourceMapsAudit, NativeRoundtripHashChecksAudit, NativeRoundtripCommentsTriviaAudit, NativeRoundtripTargetCoverageAudit, NativeRoundtripSemanticEquivalenceAudit, NativeRoundtripAuditSignal } from './roundtrip-audit.js';
 export interface NativeRoundtripEvidenceMetadata {
   readonly status: NativeRoundtripEvidenceStatus;
   readonly semanticMergeReadiness: SemanticMergeReadiness;

package/dist/declarations/semantic-history-records.d.ts

@@ -0,0 +1,277 @@
+import type {
+  EvidenceRecord,
+  FrontierSourceLanguage,
+  SemanticMergeReadiness,
+  SourceSpan
+} from '@shapeshift-labs/frontier-lang-kernel';
+
+export type SemanticHistoryAdmissionStatus = 'proposed' | 'queued' | 'admitted' | 'needs-review' | 'blocked' | 'rejected' | string;
+export type SemanticHistoryReviewerStatus = 'unreviewed' | 'approved' | 'changes-requested' | 'reviewed' | 'rejected' | string;
+export type SemanticHistoryReplayLinkKind = 'patch' | 'slice' | 'sidecar' | 'run' | 'proof' | 'source' | 'command' | 'url' | 'replay' | string;
+export type SemanticHistoryOverlapKind = 'ownership' | 'conflict-key' | 'source' | 'source-path' | 'import' | 'semantic-candidate' | 'semantic-claim' | 'claim-hash' | 'evidence' | 'proof' | 'replay' | 'patch' | 'merge-decision' | 'actor' | 'record-source' | 'base-hash' | 'target-hash';
+export type SemanticHistoryConflictReason = 'ownership-overlap' | 'semantic-conflict-key-overlap' | 'base-hash-mismatch' | 'target-hash-mismatch' | 'admission-blocked' | 'reviewer-rejected' | 'source-path-overlap' | string;
+export type SemanticHistoryClaimKind = 'fact' | 'theory' | 'invariant' | 'semantic-claim' | string;
+export type SemanticHistoryClaimStatus = 'accepted' | 'rejected' | 'proposed' | 'superseded' | string;
+export type SemanticHistoryProofAttemptStatus = 'passed' | 'failed' | 'unknown' | 'blocked' | string;
+export type SemanticHistoryMergeDecisionStatus = 'accepted' | 'rejected' | 'admitted' | 'blocked' | 'needs-review' | string;
+
+export interface SemanticHistoryActorRef {
+  readonly id?: string;
+  readonly kind?: string;
+  readonly role?: string;
+  readonly displayName?: string;
+  readonly runId?: string;
+  readonly lane?: string;
+  readonly taskId?: string;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticHistoryRecordSourceRef {
+  readonly id?: string;
+  readonly sourceId?: string;
+  readonly sourceKind?: string;
+  readonly sourcePath?: string;
+  readonly sourceHash?: string;
+  readonly href?: string;
+  readonly importId?: string;
+  readonly runId?: string;
+  readonly jobId?: string;
+  readonly lane?: string;
+  readonly taskId?: string;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticHistorySourceRef {
+  readonly id?: string;
+  readonly importId?: string;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly sourcePath?: string;
+  readonly sourceHash?: string;
+  readonly baseHash?: string;
+  readonly targetHash?: string;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticHistoryOwnershipRegionRef {
+  readonly id?: string;
+  readonly key: string;
+  readonly regionKind?: string;
+  readonly granularity?: string;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly sourcePath?: string;
+  readonly sourceHash?: string;
+  readonly symbolId?: string;
+  readonly symbolName?: string;
+  readonly sourceSpan?: SourceSpan;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticHistoryCandidateRef {
+  readonly id: string;
+  readonly importResultId?: string;
+  readonly patchId?: string;
+  readonly sourcePath?: string;
+  readonly baseHash?: string;
+  readonly targetHash?: string;
+  readonly readiness?: SemanticMergeReadiness | string;
+  readonly conflictKeys: readonly string[];
+  readonly ownershipKeys: readonly string[];
+  readonly evidenceIds: readonly string[];
+  readonly proofIds: readonly string[];
+  readonly replayIds: readonly string[];
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticHistoryClaimRecord {
+  readonly kind: 'frontier.lang.semanticHistoryClaim';
+  readonly version: 1;
+  readonly id: string;
+  readonly hash: string;
+  readonly claimKind?: SemanticHistoryClaimKind;
+  readonly status?: SemanticHistoryClaimStatus;
+  readonly subject?: string;
+  readonly predicate?: string;
+  readonly object?: unknown;
+  readonly text?: string;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly sourcePath?: string;
+  readonly sourceHash?: string;
+  readonly baseHash?: string;
+  readonly targetHash?: string;
+  readonly conflictKeys?: readonly string[];
+  readonly evidenceIds?: readonly string[];
+  readonly proofIds?: readonly string[];
+  readonly replayIds?: readonly string[];
+  readonly actor?: SemanticHistoryActorRef;
+  readonly recordSource?: SemanticHistoryRecordSourceRef;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticHistoryImportedParserEvidenceRecord {
+  readonly kind: 'frontier.lang.semanticHistoryImportedParserEvidence';
+  readonly version: 1;
+  readonly id: string;
+  readonly hash: string;
+  readonly evidenceId?: string;
+  readonly importId?: string;
+  readonly parserId?: string;
+  readonly parserKind?: string;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly sourcePath?: string;
+  readonly sourceHash?: string;
+  readonly astHash?: string;
+  readonly semanticIndexHash?: string;
+  readonly status?: EvidenceRecord['status'] | string;
+  readonly evidenceIds?: readonly string[];
+  readonly replayIds?: readonly string[];
+  readonly actor?: SemanticHistoryActorRef;
+  readonly recordSource?: SemanticHistoryRecordSourceRef;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticHistoryProofAttemptRecord {
+  readonly kind: 'frontier.lang.semanticHistoryProofAttempt';
+  readonly version: 1;
+  readonly id: string;
+  readonly hash: string;
+  readonly proofId?: string;
+  readonly proofKind?: string;
+  readonly status?: SemanticHistoryProofAttemptStatus;
+  readonly proverId?: string;
+  readonly claimIds?: readonly string[];
+  readonly evidenceIds?: readonly string[];
+  readonly proofIds?: readonly string[];
+  readonly replayIds?: readonly string[];
+  readonly command?: string;
+  readonly resultHash?: string;
+  readonly actor?: SemanticHistoryActorRef;
+  readonly recordSource?: SemanticHistoryRecordSourceRef;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticHistoryPatchAncestryRecord {
+  readonly kind: 'frontier.lang.semanticHistoryPatchAncestry';
+  readonly version: 1;
+  readonly id: string;
+  readonly hash: string;
+  readonly patchId?: string;
+  readonly parentPatchIds?: readonly string[];
+  readonly ancestorPatchIds?: readonly string[];
+  readonly baseHash?: string;
+  readonly targetHash?: string;
+  readonly parentHashes?: readonly string[];
+  readonly ancestorHashes?: readonly string[];
+  readonly conflictKeys?: readonly string[];
+  readonly actor?: SemanticHistoryActorRef;
+  readonly recordSource?: SemanticHistoryRecordSourceRef;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticHistoryMergeDecisionRecord {
+  readonly kind: 'frontier.lang.semanticHistoryMergeDecision';
+  readonly version: 1;
+  readonly id: string;
+  readonly hash: string;
+  readonly decision?: SemanticHistoryMergeDecisionStatus;
+  readonly status?: SemanticHistoryMergeDecisionStatus;
+  readonly decidedAt?: number | string;
+  readonly claimIds?: readonly string[];
+  readonly acceptedClaimIds?: readonly string[];
+  readonly rejectedClaimIds?: readonly string[];
+  readonly patchIds?: readonly string[];
+  readonly conflictKeys?: readonly string[];
+  readonly evidenceIds?: readonly string[];
+  readonly proofIds?: readonly string[];
+  readonly reasonCodes?: readonly string[];
+  readonly actor?: SemanticHistoryActorRef;
+  readonly recordSource?: SemanticHistoryRecordSourceRef;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export type SemanticHistoryClaimInput = string | (Partial<SemanticHistoryClaimRecord> & {
+  readonly relation?: string;
+  readonly value?: unknown;
+  readonly expected?: unknown;
+  readonly key?: string;
+  readonly conflictKey?: string;
+  readonly accepted?: boolean;
+  readonly rejected?: boolean;
+  readonly semanticNodeId?: string;
+  readonly symbolId?: string;
+});
+
+export type SemanticHistoryImportedParserEvidenceInput = string | EvidenceRecord | (Partial<SemanticHistoryImportedParserEvidenceRecord> & {
+  readonly parser?: string;
+  readonly adapterId?: string;
+  readonly nativeAstHash?: string;
+});
+
+export type SemanticHistoryProofAttemptInput = string | EvidenceRecord | (Partial<SemanticHistoryProofAttemptRecord> & {
+  readonly prover?: string;
+  readonly proofHash?: string;
+});
+
+export type SemanticHistoryPatchAncestryInput = string | (Partial<SemanticHistoryPatchAncestryRecord> & {
+  readonly parents?: readonly string[] | string;
+  readonly ancestors?: readonly string[] | string;
+});
+
+export type SemanticHistoryMergeDecisionInput = string | Partial<SemanticHistoryMergeDecisionRecord>;
+
+export interface SemanticHistoryReviewerState {
+  readonly status: SemanticHistoryReviewerStatus;
+  readonly reviewerId?: string;
+  readonly reviewedAt?: number | string;
+  readonly evidenceIds?: readonly string[];
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticHistoryAdmissionState {
+  readonly status: SemanticHistoryAdmissionStatus;
+  readonly readiness: SemanticMergeReadiness | string;
+  readonly admittedAt?: number | string;
+  readonly reviewerId?: string;
+  readonly reasonCodes?: readonly string[];
+  readonly evidenceIds?: readonly string[];
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticHistoryReplayLink {
+  readonly id: string;
+  readonly kind: SemanticHistoryReplayLinkKind;
+  readonly href?: string;
+  readonly path?: string;
+  readonly command?: string;
+  readonly hash?: string;
+  readonly targetId?: string;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticHistoryRecordIndex {
+  readonly baseHashes: readonly string[];
+  readonly targetHashes: readonly string[];
+  readonly sourceIds: readonly string[];
+  readonly importIds: readonly string[];
+  readonly sourcePaths: readonly string[];
+  readonly sourceHashes: readonly string[];
+  readonly actorIds: readonly string[];
+  readonly recordSourceIds: readonly string[];
+  readonly ownershipKeys: readonly string[];
+  readonly semanticCandidateIds: readonly string[];
+  readonly semanticClaimIds: readonly string[];
+  readonly semanticClaimHashes: readonly string[];
+  readonly acceptedFactIds: readonly string[];
+  readonly rejectedTheoryIds: readonly string[];
+  readonly conflictKeys: readonly string[];
+  readonly evidenceIds: readonly string[];
+  readonly importedParserEvidenceIds: readonly string[];
+  readonly importedParserEvidenceHashes: readonly string[];
+  readonly proofIds: readonly string[];
+  readonly proofAttemptIds: readonly string[];
+  readonly proofAttemptHashes: readonly string[];
+  readonly replayIds: readonly string[];
+  readonly patchIds: readonly string[];
+  readonly patchHashes: readonly string[];
+  readonly mergeDecisionIds: readonly string[];
+  readonly mergeDecisionHashes: readonly string[];
+}

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

@@ -7,111 +7,32 @@ import type {
 } from '@shapeshift-labs/frontier-lang-kernel';
 import type { SemanticImportOwnershipRegion } from './semantic-sidecar.js';
 
-export type SemanticHistoryAdmissionStatus = 'proposed' | 'queued' | 'admitted' | 'needs-review' | 'blocked' | 'rejected' | string;
-export type SemanticHistoryReviewerStatus = 'unreviewed' | 'approved' | 'changes-requested' | 'reviewed' | 'rejected' | string;
-export type SemanticHistoryReplayLinkKind = 'patch' | 'slice' | 'sidecar' | 'run' | 'proof' | 'source' | 'command' | 'url' | 'replay' | string;
-export type SemanticHistoryOverlapKind = 'ownership' | 'conflict-key' | 'source' | 'source-path' | 'import' | 'semantic-candidate' | 'evidence' | 'proof' | 'replay' | 'base-hash' | 'target-hash';
-export type SemanticHistoryConflictReason = 'ownership-overlap' | 'semantic-conflict-key-overlap' | 'base-hash-mismatch' | 'target-hash-mismatch' | 'admission-blocked' | 'reviewer-rejected' | 'source-path-overlap' | string;
-
-export interface SemanticHistorySourceRef {
-  readonly id?: string;
-  readonly importId?: string;
-  readonly language?: FrontierSourceLanguage | string;
-  readonly sourcePath?: string;
-  readonly sourceHash?: string;
-  readonly baseHash?: string;
-  readonly targetHash?: string;
-  readonly metadata?: Record<string, unknown>;
-}
-
-export interface SemanticHistoryOwnershipRegionRef {
-  readonly id?: string;
-  readonly key: string;
-  readonly regionKind?: string;
-  readonly granularity?: string;
-  readonly language?: FrontierSourceLanguage | string;
-  readonly sourcePath?: string;
-  readonly sourceHash?: string;
-  readonly symbolId?: string;
-  readonly symbolName?: string;
-  readonly sourceSpan?: SourceSpan;
-  readonly metadata?: Record<string, unknown>;
-}
-
-export interface SemanticHistoryCandidateRef {
-  readonly id: string;
-  readonly importResultId?: string;
-  readonly patchId?: string;
-  readonly sourcePath?: string;
-  readonly baseHash?: string;
-  readonly targetHash?: string;
-  readonly readiness?: SemanticMergeReadiness | string;
-  readonly conflictKeys: readonly string[];
-  readonly ownershipKeys: readonly string[];
-  readonly evidenceIds: readonly string[];
-  readonly proofIds: readonly string[];
-  readonly replayIds: readonly string[];
-  readonly metadata?: Record<string, unknown>;
-}
-
-export interface SemanticHistoryReviewerState {
-  readonly status: SemanticHistoryReviewerStatus;
-  readonly reviewerId?: string;
-  readonly reviewedAt?: number | string;
-  readonly evidenceIds?: readonly string[];
-  readonly metadata?: Record<string, unknown>;
-}
-
-export interface SemanticHistoryAdmissionState {
-  readonly status: SemanticHistoryAdmissionStatus;
-  readonly readiness: SemanticMergeReadiness | string;
-  readonly admittedAt?: number | string;
-  readonly reviewerId?: string;
-  readonly reasonCodes?: readonly string[];
-  readonly evidenceIds?: readonly string[];
-  readonly metadata?: Record<string, unknown>;
-}
-
-export interface SemanticHistoryReplayLink {
-  readonly id: string;
-  readonly kind: SemanticHistoryReplayLinkKind;
-  readonly href?: string;
-  readonly path?: string;
-  readonly command?: string;
-  readonly hash?: string;
-  readonly targetId?: string;
-  readonly metadata?: Record<string, unknown>;
-}
-
-export interface SemanticHistoryRecordIndex {
-  readonly baseHashes: readonly string[];
-  readonly targetHashes: readonly string[];
-  readonly sourceIds: readonly string[];
-  readonly importIds: readonly string[];
-  readonly sourcePaths: readonly string[];
-  readonly sourceHashes: readonly string[];
-  readonly ownershipKeys: readonly string[];
-  readonly semanticCandidateIds: readonly string[];
-  readonly conflictKeys: readonly string[];
-  readonly evidenceIds: readonly string[];
-  readonly proofIds: readonly string[];
-  readonly replayIds: readonly string[];
-}
-
+import type { SemanticHistoryAdmissionStatus, SemanticHistoryReviewerStatus, SemanticHistoryReplayLinkKind, SemanticHistoryOverlapKind, SemanticHistoryConflictReason, SemanticHistoryClaimKind, SemanticHistoryClaimStatus, SemanticHistoryProofAttemptStatus, SemanticHistoryMergeDecisionStatus, SemanticHistoryActorRef, SemanticHistoryRecordSourceRef, SemanticHistorySourceRef, SemanticHistoryOwnershipRegionRef, SemanticHistoryCandidateRef, SemanticHistoryClaimRecord, SemanticHistoryImportedParserEvidenceRecord, SemanticHistoryProofAttemptRecord, SemanticHistoryPatchAncestryRecord, SemanticHistoryMergeDecisionRecord, SemanticHistoryClaimInput, SemanticHistoryImportedParserEvidenceInput, SemanticHistoryProofAttemptInput, SemanticHistoryPatchAncestryInput, SemanticHistoryMergeDecisionInput, SemanticHistoryReviewerState, SemanticHistoryAdmissionState, SemanticHistoryReplayLink, SemanticHistoryRecordIndex } from './semantic-history-records.js';
+export type { SemanticHistoryAdmissionStatus, SemanticHistoryReviewerStatus, SemanticHistoryReplayLinkKind, SemanticHistoryOverlapKind, SemanticHistoryConflictReason, SemanticHistoryClaimKind, SemanticHistoryClaimStatus, SemanticHistoryProofAttemptStatus, SemanticHistoryMergeDecisionStatus, SemanticHistoryActorRef, SemanticHistoryRecordSourceRef, SemanticHistorySourceRef, SemanticHistoryOwnershipRegionRef, SemanticHistoryCandidateRef, SemanticHistoryClaimRecord, SemanticHistoryImportedParserEvidenceRecord, SemanticHistoryProofAttemptRecord, SemanticHistoryPatchAncestryRecord, SemanticHistoryMergeDecisionRecord, SemanticHistoryClaimInput, SemanticHistoryImportedParserEvidenceInput, SemanticHistoryProofAttemptInput, SemanticHistoryPatchAncestryInput, SemanticHistoryMergeDecisionInput, SemanticHistoryReviewerState, SemanticHistoryAdmissionState, SemanticHistoryReplayLink, SemanticHistoryRecordIndex } from './semantic-history-records.js';
 export interface SemanticHistoryRecord {
   readonly kind: 'frontier.lang.semanticHistoryRecord';
   readonly version: 1;
   readonly id: string;
+  readonly stableId: string;
+  readonly hash: string;
   readonly createdAt: number | string;
   readonly baseHash?: string;
   readonly targetHash?: string;
   readonly language?: FrontierSourceLanguage | string;
   readonly sourcePath?: string;
+  readonly actor?: SemanticHistoryActorRef;
+  readonly recordSource?: SemanticHistoryRecordSourceRef;
   readonly sourceIds: readonly string[];
   readonly importIds: readonly string[];
   readonly sources: readonly SemanticHistorySourceRef[];
   readonly ownershipRegions: readonly SemanticHistoryOwnershipRegionRef[];
   readonly semanticCandidates: readonly SemanticHistoryCandidateRef[];
+  readonly acceptedFacts: readonly SemanticHistoryClaimRecord[];
+  readonly rejectedTheories: readonly SemanticHistoryClaimRecord[];
+  readonly importedParserEvidence: readonly SemanticHistoryImportedParserEvidenceRecord[];
+  readonly proofAttempts: readonly SemanticHistoryProofAttemptRecord[];
+  readonly patchAncestry: readonly SemanticHistoryPatchAncestryRecord[];
+  readonly mergeDecisions: readonly SemanticHistoryMergeDecisionRecord[];
   readonly evidenceIds: readonly string[];
   readonly proofIds: readonly string[];
   readonly reviewer: SemanticHistoryReviewerState;
@@ -124,6 +45,18 @@ export interface SemanticHistoryRecord {
 export interface CreateSemanticHistoryRecordInput {
   readonly id?: string;
   readonly createdAt?: number | string;
+  readonly actor?: SemanticHistoryActorRef | string;
+  readonly actorId?: string;
+  readonly actorKind?: string;
+  readonly actorRole?: string;
+  readonly recordSource?: SemanticHistoryRecordSourceRef | string;
+  readonly historySource?: SemanticHistoryRecordSourceRef | string;
+  readonly recordSourceId?: string;
+  readonly historySourceId?: string;
+  readonly runId?: string;
+  readonly jobId?: string;
+  readonly lane?: string;
+  readonly taskId?: string;
   readonly baseHash?: string;
   readonly targetHash?: string;
   readonly beforeHash?: string;
@@ -140,6 +73,21 @@ export interface CreateSemanticHistoryRecordInput {
   readonly sourceRefs?: readonly SemanticHistorySourceRef[] | SemanticHistorySourceRef;
   readonly ownershipRegions?: readonly (SemanticHistoryOwnershipRegionRef | SemanticImportOwnershipRegion)[] | SemanticHistoryOwnershipRegionRef | SemanticImportOwnershipRegion;
   readonly semanticCandidates?: readonly (Partial<SemanticHistoryCandidateRef> | SemanticMergeCandidateRecord)[] | Partial<SemanticHistoryCandidateRef> | SemanticMergeCandidateRecord;
+  readonly semanticClaims?: readonly SemanticHistoryClaimInput[] | SemanticHistoryClaimInput;
+  readonly claims?: readonly SemanticHistoryClaimInput[] | SemanticHistoryClaimInput;
+  readonly acceptedFacts?: readonly SemanticHistoryClaimInput[] | SemanticHistoryClaimInput;
+  readonly acceptedSemanticClaims?: readonly SemanticHistoryClaimInput[] | SemanticHistoryClaimInput;
+  readonly rejectedTheories?: readonly SemanticHistoryClaimInput[] | SemanticHistoryClaimInput;
+  readonly rejectedSemanticClaims?: readonly SemanticHistoryClaimInput[] | SemanticHistoryClaimInput;
+  readonly importedParserEvidence?: readonly SemanticHistoryImportedParserEvidenceInput[] | SemanticHistoryImportedParserEvidenceInput;
+  readonly parserEvidence?: readonly SemanticHistoryImportedParserEvidenceInput[] | SemanticHistoryImportedParserEvidenceInput;
+  readonly proofAttempts?: readonly SemanticHistoryProofAttemptInput[] | SemanticHistoryProofAttemptInput;
+  readonly proofs?: readonly SemanticHistoryProofAttemptInput[] | SemanticHistoryProofAttemptInput;
+  readonly patchAncestry?: readonly SemanticHistoryPatchAncestryInput[] | SemanticHistoryPatchAncestryInput;
+  readonly patchAncestors?: readonly SemanticHistoryPatchAncestryInput[] | SemanticHistoryPatchAncestryInput;
+  readonly ancestry?: readonly SemanticHistoryPatchAncestryInput[] | SemanticHistoryPatchAncestryInput;
+  readonly mergeDecisions?: readonly SemanticHistoryMergeDecisionInput[] | SemanticHistoryMergeDecisionInput;
+  readonly decisions?: readonly SemanticHistoryMergeDecisionInput[] | SemanticHistoryMergeDecisionInput;
   readonly mergeCandidates?: readonly SemanticMergeCandidateRecord[] | SemanticMergeCandidateRecord;
   readonly evidence?: readonly EvidenceRecord[];
   readonly evidenceIds?: readonly string[] | string;
@@ -158,9 +106,14 @@ export interface CreateSemanticHistoryRecordInput {
 
 export interface SemanticHistoryOverlapQueryOptions {
   readonly includeSourcePaths?: boolean;
+  readonly includeClaims?: boolean;
   readonly includeEvidence?: boolean;
   readonly includeProofs?: boolean;
   readonly includeReplay?: boolean;
+  readonly includePatches?: boolean;
+  readonly includeMergeDecisions?: boolean;
+  readonly includeActors?: boolean;
+  readonly includeRecordSources?: boolean;
   readonly includeBaseHashes?: boolean;
   readonly includeTargetHashes?: boolean;
   readonly conflictOnSourcePath?: boolean;
@@ -182,7 +135,7 @@ export declare const SemanticHistoryAdmissionStatuses: readonly SemanticHistoryA
 export declare const SemanticHistoryReviewerStatuses: readonly SemanticHistoryReviewerStatus[];
 export declare const SemanticHistoryOverlapKinds: readonly SemanticHistoryOverlapKind[];
 export declare const SemanticHistoryConflictReasons: readonly SemanticHistoryConflictReason[];
-export declare function createSemanticHistoryRecord(input?: CreateSemanticHistoryRecordInput, options?: { readonly id?: string; readonly createdAt?: number | string }): SemanticHistoryRecord;
+export declare function createSemanticHistoryRecord(input?: CreateSemanticHistoryRecordInput, options?: { readonly id?: string; readonly createdAt?: number | string; readonly actor?: SemanticHistoryActorRef | string; readonly actorId?: string; readonly actorKind?: string; readonly actorRole?: string; readonly recordSource?: SemanticHistoryRecordSourceRef | string; readonly historySource?: SemanticHistoryRecordSourceRef | string; readonly recordSourceId?: string; readonly historySourceId?: string; readonly runId?: string; readonly jobId?: string; readonly lane?: string; readonly taskId?: string }): SemanticHistoryRecord;
 export declare function querySemanticHistoryRecordOverlaps(records: SemanticHistoryRecord | readonly SemanticHistoryRecord[], options?: SemanticHistoryOverlapQueryOptions): readonly SemanticHistoryOverlapRecord[];
 export declare function semanticHistoryRecordsOverlap(left: SemanticHistoryRecord, right: SemanticHistoryRecord, options?: SemanticHistoryOverlapQueryOptions): boolean;
 export declare function semanticHistoryRecordsConflict(left: SemanticHistoryRecord, right: SemanticHistoryRecord, options?: SemanticHistoryOverlapQueryOptions): boolean;