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

package/dist/internal/index-impl/semanticPatchBundleRecords.js

@@ -1,6 +1,9 @@
 import{idFragment,normalizeSemanticMergeReadiness,uniqueStrings}from'../../native-import-utils.js';
+import{createSemanticEditBundleAdmission}from'./semanticEditBundleAdmission.js';
 import{createSemanticPatchBundleAdmission}from'./semanticPatchBundleAdmission.js';
 import{semanticEditRecordIndex,semanticEditSummary}from'./semanticEditBundleIndex.js';
+import{lineageLinkInputs,linkAdmissionLineage,normalizeLineageResolutionLinks,semanticLineageLinkIndex}from'./semanticPatchBundleLineageLinks.js';
+import{normalizeRegions,normalizeSourceMapLinks,normalizeSources,sourceRef}from'./semanticPatchBundleSourceRecords.js';
 import{normalizeSemanticTransformIdentityRecords,semanticTransformInputs,semanticTransformRecordIndex,semanticTransformSummary}from'./semanticTransformIdentityRecords.js';
 
 export const SemanticPatchBundleAdmissionStatuses=Object.freeze(['proposed','queued','admitted','needs-review','blocked','rejected']);
@@ -12,7 +15,15 @@ export function createSemanticPatchBundleRecord(input={},options={}){
   const semanticEditScripts=array(options.semanticEditScripts??source.semanticEditScripts??source.semanticEditScript);
   const semanticEditProjections=array(options.semanticEditProjections??source.semanticEditProjections??source.semanticEditProjection);
   const semanticEditReplays=array(options.semanticEditReplays??source.semanticEditReplays??source.semanticEditReplay);
-  const semanticEditIndex=semanticEditRecordIndex(semanticEditScripts,semanticEditProjections,semanticEditReplays,source);
+  const evidenceRecords=[...array(options.evidence??source.evidence),...array(patch?.evidence),...array(mergeCandidate?.evidence),...semanticEditScripts.flatMap((script)=>array(script.evidence))];
+  const editAdmission=createSemanticEditBundleAdmission({
+    semanticEditScripts,semanticEditProjections,semanticEditReplays,
+    evidence:evidenceRecords,
+    ...(source.metadata?.semanticEditAdmission??{}),
+    ...(source.semanticEditAdmission??{}),
+    ...(options.semanticEditAdmission??{})
+  });
+  const editIndex=semanticEditRecordIndex(semanticEditScripts,semanticEditProjections,semanticEditReplays,source);
   const transformContext={sourceLanguage:options.sourceLanguage??source.sourceLanguage??source.language,targetLanguage:options.targetLanguage??source.targetLanguage};
   const semanticTransformIdentities=normalizeSemanticTransformIdentityRecords(semanticTransformInputs(source,options),transformContext);
   const semanticTransformIndex=semanticTransformRecordIndex(semanticTransformIdentities,source);
@@ -28,17 +39,18 @@ export function createSemanticPatchBundleRecord(input={},options={}){
     sourceRef(source.before,'before',source.beforeHash),
     sourceRef(source.after,'after',source.afterHash)
   ],source);
-  const evidenceRecords=[...array(options.evidence??source.evidence),...array(patch?.evidence),...array(mergeCandidate?.evidence),...semanticEditScripts.flatMap((script)=>array(script.evidence))];
   const patchId=firstString(options.patchId,source.patchId,patch?.id,mergeCandidate?.patchId);
   const mergeCandidateId=firstString(options.mergeCandidateId,source.mergeCandidateId,mergeCandidate?.id);
   const baseHash=firstString(options.baseHash,source.baseHash,source.beforeHash,patch?.baseHash,mergeCandidate?.baseHash,...sources.map((item)=>item.baseHash));
   const targetHash=firstString(options.targetHash,source.targetHash,source.afterHash,patch?.targetHash,mergeCandidate?.targetHash,...sources.map((item)=>item.targetHash));
   const readiness=normalizeSemanticMergeReadiness(firstString(options.readiness,source.readiness,source.admission?.readiness,mergeCandidate?.readiness))
     ?? firstString(options.readiness,source.readiness,source.admission?.readiness,mergeCandidate?.readiness,'needs-review');
-  const evidenceIds=uniqueStrings([...strings(options.evidenceIds),...strings(source.evidenceIds),...evidenceRecords.map((record)=>record?.id),...strings(mergeCandidate?.evidenceIds)]);
-  const proofIds=uniqueStrings([...strings(options.proofIds),...strings(source.proofIds),...evidenceRecords.filter((record)=>record?.kind==='proof').map((record)=>record.id),...strings(mergeCandidate?.proofIds)]);
+  const lineageLinks=normalizeLineageResolutionLinks(lineageLinkInputs(source,options,changedRegions,targetPortability));
+  const lineageIndex=semanticLineageLinkIndex(lineageLinks,changedRegions,targetPortability);
+  const evidenceIds=uniqueStrings([...strings(options.evidenceIds),...strings(source.evidenceIds),...evidenceRecords.map((record)=>record?.id),...strings(mergeCandidate?.evidenceIds),...lineageIndex.evidenceIds]);
+  const proofIds=uniqueStrings([...strings(options.proofIds),...strings(source.proofIds),...evidenceRecords.filter((record)=>record?.kind==='proof').map((record)=>record.id),...strings(mergeCandidate?.proofIds),...lineageIndex.proofIds]);
   const historyIds=uniqueStrings([...strings(options.historyIds),...strings(options.historyId),...strings(source.historyIds),...strings(source.historyId)]);
-  const semanticOperationIds=uniqueStrings([...strings(options.semanticOperationIds),...strings(options.semanticOperationId),...strings(source.semanticOperationIds),...strings(source.semanticOperationId),...strings(patch?.semanticOperationIds),...strings(mergeCandidate?.semanticOperationIds),...semanticEditIndex.semanticEditOperationIds]);
+  const semanticOperationIds=uniqueStrings([...strings(options.semanticOperationIds),...strings(options.semanticOperationId),...strings(source.semanticOperationIds),...strings(source.semanticOperationId),...strings(patch?.semanticOperationIds),...strings(mergeCandidate?.semanticOperationIds),...editIndex.semanticEditOperationIds]);
   const conflictKeys=uniqueStrings([
     ...strings(options.conflictKeys),
     ...strings(source.conflictKeys),
@@ -46,12 +58,12 @@ export function createSemanticPatchBundleRecord(input={},options={}){
     ...changedRegions.flatMap((region)=>[region.conflictKey,...array(region.admission?.conflictKeys)]),
     ...(source.metadata?.semanticMergeConflictSummary?.conflictKeys??[])
   ]);
-  const admission=createSemanticPatchBundleAdmission(options.admission??source.admission,{readiness,conflictKeys,source,mergeCandidate,semanticTransformIndex,semanticTransformIdentities});
+  const admission=linkAdmissionLineage(createSemanticPatchBundleAdmission(options.admission??source.admission,{readiness,conflictKeys,source,mergeCandidate,evidenceRecords,semanticTransformIndex,semanticTransformIdentities,semanticEditAdmission:editAdmission}),lineageLinks);
   const id=options.id??(source.kind==='frontier.lang.semanticPatchBundleRecord'?source.id:undefined)
     ??`semantic_patch_bundle_${idFragment(firstString(source.id,patchId,mergeCandidateId,source.sourcePath,source.language,'record'))}`;
   const language=options.language??source.language??mergeCandidate?.language??sources.find((item)=>item.language)?.language;
   const sourcePath=options.sourcePath??source.sourcePath??mergeCandidate?.sourcePath??sources.find((item)=>item.sourcePath)?.sourcePath;
-  const index=recordIndex({baseHash,targetHash,sources,changedRegions,sourceMapLinks,evidenceIds,proofIds,historyIds,semanticOperationIds,patchId,mergeCandidateId,admission,semanticEditIndex,semanticTransformIndex,targetPortability});
+  const index=recordIndex({baseHash,targetHash,sources,changedRegions,sourceMapLinks,evidenceIds,proofIds,historyIds,semanticOperationIds,patchId,mergeCandidateId,admission,semanticEditAdmission:editAdmission,semanticEditIndex:editIndex,semanticTransformIndex,targetPortability,lineageLinks});
   return{
     kind:'frontier.lang.semanticPatchBundleRecord',
     version:1,
@@ -71,22 +83,24 @@ export function createSemanticPatchBundleRecord(input={},options={}){
     proofIds,
     historyIds,
     semanticOperationIds,
-    semanticEditScriptIds:semanticEditIndex.semanticEditScriptIds,
-    semanticEditProjectionIds:semanticEditIndex.semanticEditProjectionIds,
-    semanticEditReplayIds:semanticEditIndex.semanticEditReplayIds,
+    semanticEditScriptIds:editIndex.semanticEditScriptIds,
+    semanticEditProjectionIds:editIndex.semanticEditProjectionIds,
+    semanticEditReplayIds:editIndex.semanticEditReplayIds,
     semanticTransformIdentityIds:semanticTransformIndex.semanticTransformIds,
     admission,
     index,
-    summary:{changedRegions:changedRegions.length,sourceMapLinks:sourceMapLinks.length,evidenceIds:evidenceIds.length,proofIds:proofIds.length,historyIds:historyIds.length,semanticOperations:semanticOperationIds.length,semanticEditScripts:semanticEditScripts.length,semanticEditProjections:semanticEditProjections.length,semanticEditReplays:semanticEditReplays.length,semanticEditProjectionEdits:semanticEditIndex.semanticEditProjectionEditCount,semanticEditReplayEdits:semanticEditIndex.semanticEditReplayEditCount,semanticTransformIdentities:semanticTransformIdentities.length,reviewRequired:admission.reviewRequired,autoMergeClaim:admission.autoMergeClaim},
+    summary:{changedRegions:changedRegions.length,sourceMapLinks:sourceMapLinks.length,evidenceIds:evidenceIds.length,proofIds:proofIds.length,historyIds:historyIds.length,semanticOperations:semanticOperationIds.length,semanticEditScripts:semanticEditScripts.length,semanticEditProjections:semanticEditProjections.length,semanticEditReplays:semanticEditReplays.length,semanticEditProjectionEdits:editIndex.semanticEditProjectionEditCount,semanticEditReplayEdits:editIndex.semanticEditReplayEditCount,semanticEditBundleStatus:editAdmission.status,semanticTransformIdentities:semanticTransformIdentities.length,reviewRequired:admission.reviewRequired,autoMergeClaim:admission.autoMergeClaim},
     metadata:compactRecord({
       sourceChangeSetId:source.kind==='frontier.lang.nativeSourceChangeSet'?source.id:undefined,
       patchRisk:patch?.risk,
       nativeChangeSummary:source.summary,
       changedRegionProjectionSummary:source.metadata?.changedRegionProjectionSummary,
       semanticMergeConflictSummary:source.metadata?.semanticMergeConflictSummary,
-      semanticEditSummary:semanticEditSummary(semanticEditIndex),
+      semanticEditSummary:semanticEditSummary(editIndex),
+      semanticEditAdmission:editAdmission,
       semanticTransformSummary:semanticTransformSummary(semanticTransformIndex),
       targetPortability,
+      semanticLineageResolutionLinks:lineageLinks,
       ...options.metadata
     })
   };
@@ -96,131 +110,47 @@ export function querySemanticPatchBundleRecords(records,query={}){
   return array(records).filter(Boolean).filter((record)=>matchesRecord(record,query)).sort((left,right)=>String(left.id).localeCompare(String(right.id)));
 }
 
-function normalizeSources(entries,context){
-  return entries.filter(Boolean).map((entry,index)=>compactRecord({
-    id:entry.id??entry.sourceId,
-    side:entry.side,
-    importId:entry.importId??entry.importResultId,
-    language:entry.language??context.language,
-    sourcePath:entry.sourcePath??context.sourcePath,
-    sourceHash:entry.sourceHash??entry.hash,
-    baseHash:entry.baseHash??entry.beforeHash??context.baseHash??context.beforeHash,
-    targetHash:entry.targetHash??entry.afterHash??context.targetHash??context.afterHash,
-    nativeSourceId:entry.nativeSourceId,
-    nativeAstId:entry.nativeAstId,
-    semanticIndexId:entry.semanticIndexId,
-    universalAstId:entry.universalAstId,
-    sourceMapIds:uniqueStrings(entry.sourceMapIds),
-    ordinal:index
-  })).filter((entry)=>entry.importId||entry.sourcePath||entry.sourceHash||entry.baseHash||entry.targetHash);
-}
-
-function sourceRef(importResult,side,sourceHash){
-  if(!importResult)return undefined;
-  return compactRecord({
-    id:`${side}_${importResult.id??idFragment(importResult.sourcePath??'source')}`,side,importId:importResult.id,
-    language:importResult.language,
-    sourcePath:importResult.sourcePath,
-    sourceHash:sourceHash??importResult.nativeSource?.sourceHash??importResult.nativeAst?.sourceHash??importResult.sourceHash,
-    nativeSourceId:importResult.nativeSource?.id,
-    nativeAstId:importResult.nativeAst?.id,
-    semanticIndexId:importResult.semanticIndex?.id,
-    universalAstId:importResult.universalAst?.id,
-    sourceMapIds:uniqueStrings((importResult.sourceMaps??[]).map((map)=>map.id))
-  });
-}
-
-function normalizeRegions(regions,context){
-  return regions.filter(Boolean).map((region,index)=>{
-    const projection=region.metadata?.changedRegionProjection??region.projection;
-    const projected=projection?.region??{};
-    const key=firstString(region.key,region.ownershipKey,projected.key,region.conflictKey,region.id);
-    const conflictKey=firstString(region.conflictKey,projection?.conflictKey,key);
-    const links=array(projection?.sourceMapLinks??region.sourceMapLinks);
-    return compactRecord({
-      id:region.id??projected.id??`changed_region_${index+1}`,
-      key,
-      conflictKey,
-      changeKind:region.changeKind??projection?.changeKind,
-      regionKind:region.regionKind??region.ownershipRegionKind??projected.kind,
-      granularity:region.granularity??projected.granularity,
-      precision:region.precision??projected.precision,
-      language:region.language??projection?.language??context.language,
-      sourcePath:region.sourcePath??projection?.sourcePath??context.sourcePath,
-      sourceHash:region.sourceHash??projection?.after?.sourceHash??projection?.before?.sourceHash,
-      symbolId:region.symbolId??projected.symbolId,
-      symbolName:region.symbolName??region.name??projected.symbolName,
-      symbolKind:region.symbolKind??projected.symbolKind,
-      sourceSpan:region.sourceSpan??projected.sourceSpan,
-      sourceMapLinkIds:uniqueStrings([...strings(region.sourceMapLinkIds),...links.map((link)=>link.id)]),
-      sourceMapIds:uniqueStrings([...strings(region.sourceMapIds),...links.map((link)=>link.sourceMapId)]),
-      sourceMapMappingIds:uniqueStrings([...strings(region.sourceMapMappingIds),...links.map((link)=>link.sourceMapMappingId)]),
-      admission:compactRecord({
-        readiness:projection?.admission?.readiness??region.admission?.readiness,
-        action:projection?.admission?.action??region.admission?.action,
-        reasonCodes:uniqueStrings([...strings(region.admission?.reasonCodes),...strings(projection?.admission?.reasons)]),
-        conflictKeys:uniqueStrings([...strings(region.admission?.conflictKeys),...strings(projection?.admission?.conflictKeys)])
-      }),
-      metadata:region.metadata
-    });
-  });
-}
-
-function normalizeSourceMapLinks(links){
-  const seen=new Set();
-  const result=[];
-  for(const link of links.filter(Boolean)){
-    const id=link.id??`source_map_link_${result.length+1}`;
-    if(seen.has(id))continue;
-    seen.add(id);
-    result.push(compactRecord({
-      id,side:link.side,sourceMapId:link.sourceMapId,sourceMapMappingId:link.sourceMapMappingId,
-      sourcePath:link.sourcePath,sourceHash:link.sourceHash,targetPath:link.targetPath,targetHash:link.targetHash,
-      semanticSymbolId:link.semanticSymbolId,
-      semanticOccurrenceId:link.semanticOccurrenceId,
-      semanticNodeId:link.semanticNodeId,
-      nativeSourceId:link.nativeSourceId,
-      nativeAstNodeId:link.nativeAstNodeId,
-      precision:link.precision,
-      sourceSpan:link.sourceSpan,
-      generatedSpan:link.generatedSpan,
-      regionKey:link.ownershipRegionKey,
-      regionKind:link.ownershipRegionKind
-    }));
-  }
-  return result;
-}
-
 function recordIndex(parts){
-  const semanticEditIndex=parts.semanticEditIndex??semanticEditRecordIndex([],[],[],parts);
+  const editIndex=parts.semanticEditIndex??semanticEditRecordIndex([],[],[],parts);
+  const editAdmission=parts.semanticEditAdmission??{};
   const semanticTransformIndex=parts.semanticTransformIndex??semanticTransformRecordIndex([],parts);
+  const lineageIndex=semanticLineageLinkIndex(parts.lineageLinks,parts.changedRegions,parts.targetPortability,parts.admission);
   return{
     baseHashes:uniqueStrings([parts.baseHash,...parts.sources.map((item)=>item.baseHash)]),
     targetHashes:uniqueStrings([parts.targetHash,...parts.sources.map((item)=>item.targetHash)]),
     sourceHashes:uniqueStrings(parts.sources.map((item)=>item.sourceHash)),
-    sourcePaths:uniqueStrings([...parts.sources.map((item)=>item.sourcePath),...semanticEditIndex.projectedSourcePaths,...semanticTransformIndex.transformSourcePaths,...semanticTransformIndex.transformTargetPaths]),
-    regionKeys:uniqueStrings([...parts.changedRegions.map((region)=>region.key),...semanticEditIndex.anchorKeys]),
+    sourcePaths:uniqueStrings([...parts.sources.map((item)=>item.sourcePath),...strings(editAdmission.sourcePaths),...editIndex.projectedSourcePaths,...semanticTransformIndex.transformSourcePaths,...semanticTransformIndex.transformTargetPaths,...lineageIndex.sourcePaths]),
+    regionKeys:uniqueStrings([...parts.changedRegions.map((region)=>region.key),...editIndex.anchorKeys]),
     regionKinds:uniqueStrings(parts.changedRegions.map((region)=>region.regionKind)),
-    conflictKeys:uniqueStrings([...parts.changedRegions.flatMap((region)=>[region.conflictKey,...array(region.admission?.conflictKeys)]),...semanticEditIndex.conflictKeys]),
+    conflictKeys:uniqueStrings([...parts.changedRegions.flatMap((region)=>[region.conflictKey,...array(region.admission?.conflictKeys)]),...editIndex.conflictKeys]),
     sourceMapIds:uniqueStrings([...parts.sourceMapLinks.map((link)=>link.sourceMapId),...parts.changedRegions.flatMap((region)=>region.sourceMapIds??[])]),
     sourceMapMappingIds:uniqueStrings([...parts.sourceMapLinks.map((link)=>link.sourceMapMappingId),...parts.changedRegions.flatMap((region)=>region.sourceMapMappingIds??[])]),
     sourceMapLinkIds:uniqueStrings(parts.sourceMapLinks.map((link)=>link.id)),
-    evidenceIds:parts.evidenceIds,
-    proofIds:parts.proofIds,
+    evidenceIds:uniqueStrings([...parts.evidenceIds,...lineageIndex.evidenceIds]),
+    proofIds:uniqueStrings([...parts.proofIds,...lineageIndex.proofIds]),
+    lineageResolutionIds:lineageIndex.lineageResolutionIds,
+    lineageEventIds:lineageIndex.lineageEventIds,
+    lineageSourcePaths:lineageIndex.sourcePaths,
+    lineageEvidenceIds:lineageIndex.evidenceIds,
+    lineageProofIds:lineageIndex.proofIds,
+    lineageReasonCodes:lineageIndex.reasonCodes,
     historyIds:parts.historyIds,
     semanticOperationIds:uniqueStrings(parts.semanticOperationIds),
-    semanticEditScriptIds:semanticEditIndex.semanticEditScriptIds,
-    semanticEditProjectionIds:semanticEditIndex.semanticEditProjectionIds,
-    semanticEditReplayIds:semanticEditIndex.semanticEditReplayIds,
-    semanticEditReplayStatuses:semanticEditIndex.semanticEditReplayStatuses,
-    semanticEditReplayActions:semanticEditIndex.semanticEditReplayActions,
-    semanticEditReplayCurrentHashes:semanticEditIndex.semanticEditReplayCurrentHashes,
-    semanticEditReplayOutputHashes:semanticEditIndex.semanticEditReplayOutputHashes,
-    semanticEditKeys:semanticEditIndex.semanticEditKeys,
-    semanticIdentityHashes:semanticEditIndex.semanticIdentityHashes,
-    sourceIdentityHashes:semanticEditIndex.sourceIdentityHashes,
-    operationContentHashes:semanticEditIndex.operationContentHashes,
-    editContentHashes:semanticEditIndex.editContentHashes,
+    semanticEditScriptIds:editIndex.semanticEditScriptIds,
+    semanticEditProjectionIds:editIndex.semanticEditProjectionIds,
+    semanticEditReplayIds:editIndex.semanticEditReplayIds,
+    semanticEditReplayStatuses:editIndex.semanticEditReplayStatuses,
+    semanticEditReplayActions:editIndex.semanticEditReplayActions,
+    semanticEditAdmissionStatuses:uniqueStrings([editAdmission.status]),
+    semanticEditAdmissionActions:uniqueStrings([editAdmission.action]),
+    semanticEditAdmissionReadinesses:uniqueStrings([editAdmission.readiness]),
+    semanticEditReplayCurrentHashes:editIndex.semanticEditReplayCurrentHashes,
+    semanticEditReplayOutputHashes:editIndex.semanticEditReplayOutputHashes,
+    semanticEditKeys:editIndex.semanticEditKeys,
+    semanticIdentityHashes:editIndex.semanticIdentityHashes,
+    sourceIdentityHashes:editIndex.sourceIdentityHashes,
+    operationContentHashes:editIndex.operationContentHashes,
+    editContentHashes:editIndex.editContentHashes,
     semanticTransformIds:semanticTransformIndex.semanticTransformIds,
     semanticTransformKeys:semanticTransformIndex.semanticTransformKeys,
     semanticTransformIdentityHashes:semanticTransformIndex.semanticTransformIdentityHashes,
@@ -243,7 +173,7 @@ function recordIndex(parts){
 }
 
 function matchesRecord(record,query){
-  const index=record.index??recordIndex({...record,baseHash:record.baseHash,targetHash:record.targetHash,sources:record.sources??[],changedRegions:record.changedRegions??[],sourceMapLinks:record.sourceMapLinks??[],evidenceIds:record.evidenceIds??[],proofIds:record.proofIds??[],historyIds:record.historyIds??[],semanticOperationIds:record.semanticOperationIds??[],patchId:record.patchId,mergeCandidateId:record.mergeCandidateId,admission:record.admission??{},targetPortability:record.metadata?.targetPortability});
+  const index=record.index??recordIndex({...record,baseHash:record.baseHash,targetHash:record.targetHash,sources:record.sources??[],changedRegions:record.changedRegions??[],sourceMapLinks:record.sourceMapLinks??[],evidenceIds:record.evidenceIds??[],proofIds:record.proofIds??[],historyIds:record.historyIds??[],semanticOperationIds:record.semanticOperationIds??[],patchId:record.patchId,mergeCandidateId:record.mergeCandidateId,admission:record.admission??{},semanticEditAdmission:record.admission?.semanticEditAdmission??record.metadata?.semanticEditAdmission,targetPortability:record.metadata?.targetPortability,lineageLinks:normalizeLineageResolutionLinks([...array(record.metadata?.semanticLineageResolutionLinks),...array(record.admission?.metadata?.semanticLineageResolutionLinks)])});
   return matchAny(queryValues(query.id,query.ids),[record.id])
     &&matchAny(queryValues(query.patchId,query.patchIds),index.patchIds)
     &&matchAny(queryValues(query.mergeCandidateId,query.mergeCandidateIds),index.mergeCandidateIds)
@@ -259,6 +189,12 @@ function matchesRecord(record,query){
     &&matchAny(queryValues(query.sourceMapLinkId,query.sourceMapLinkIds),index.sourceMapLinkIds)
     &&matchAny(queryValues(query.evidenceId,query.evidenceIds),index.evidenceIds)
     &&matchAny(queryValues(query.proofId,query.proofIds),index.proofIds)
+    &&matchAny(queryValues(query.lineageResolutionId,query.lineageResolutionIds,query.semanticLineageResolutionId,query.semanticLineageResolutionIds),index.lineageResolutionIds)
+    &&matchAny(queryValues(query.lineageEventId,query.lineageEventIds),index.lineageEventIds)
+    &&matchAny(queryValues(query.lineageSourcePath,query.lineageSourcePaths),index.lineageSourcePaths)
+    &&matchAny(queryValues(query.lineageEvidenceId,query.lineageEvidenceIds),index.lineageEvidenceIds)
+    &&matchAny(queryValues(query.lineageProofId,query.lineageProofIds),index.lineageProofIds)
+    &&matchAny(queryValues(query.lineageReasonCode,query.lineageReasonCodes),index.lineageReasonCodes)
     &&matchAny(queryValues(query.historyId,query.historyIds),index.historyIds)
     &&matchAny(queryValues(query.semanticOperationId,query.semanticOperationIds),index.semanticOperationIds)
     &&matchAny(queryValues(query.semanticEditScriptId,query.semanticEditScriptIds),index.semanticEditScriptIds)
@@ -266,6 +202,9 @@ function matchesRecord(record,query){
     &&matchAny(queryValues(query.semanticEditReplayId,query.semanticEditReplayIds),index.semanticEditReplayIds)
     &&matchAny(queryValues(query.semanticEditReplayStatus,query.semanticEditReplayStatuses),index.semanticEditReplayStatuses)
     &&matchAny(queryValues(query.semanticEditReplayAction,query.semanticEditReplayActions),index.semanticEditReplayActions)
+    &&matchAny(queryValues(query.semanticEditAdmissionStatus,query.semanticEditAdmissionStatuses),index.semanticEditAdmissionStatuses)
+    &&matchAny(queryValues(query.semanticEditAdmissionAction,query.semanticEditAdmissionActions),index.semanticEditAdmissionActions)
+    &&matchAny(queryValues(query.semanticEditAdmissionReadiness,query.semanticEditAdmissionReadinesses),index.semanticEditAdmissionReadinesses)
     &&matchAny(queryValues(query.semanticEditReplayCurrentHash,query.semanticEditReplayCurrentHashes),index.semanticEditReplayCurrentHashes)
     &&matchAny(queryValues(query.semanticEditReplayOutputHash,query.semanticEditReplayOutputHashes),index.semanticEditReplayOutputHashes)
     &&matchAny(queryValues(query.semanticEditKey,query.semanticEditKeys),index.semanticEditKeys)

package/dist/internal/index-impl/semanticPatchBundleSourceRecords.js

@@ -0,0 +1,127 @@
+import { idFragment, uniqueStrings } from '../../native-import-utils.js';
+
+export function normalizeSources(entries, context) {
+  return entries.filter(Boolean).map((entry, index) => compactRecord({
+    id: entry.id ?? entry.sourceId,
+    side: entry.side,
+    importId: entry.importId ?? entry.importResultId,
+    language: entry.language ?? context.language,
+    sourcePath: entry.sourcePath ?? context.sourcePath,
+    sourceHash: entry.sourceHash ?? entry.hash,
+    baseHash: entry.baseHash ?? entry.beforeHash ?? context.baseHash ?? context.beforeHash,
+    targetHash: entry.targetHash ?? entry.afterHash ?? context.targetHash ?? context.afterHash,
+    nativeSourceId: entry.nativeSourceId,
+    nativeAstId: entry.nativeAstId,
+    semanticIndexId: entry.semanticIndexId,
+    universalAstId: entry.universalAstId,
+    sourceMapIds: uniqueStrings(entry.sourceMapIds),
+    ordinal: index
+  })).filter((entry) => entry.importId || entry.sourcePath || entry.sourceHash || entry.baseHash || entry.targetHash);
+}
+
+export function sourceRef(importResult, side, sourceHash) {
+  if (!importResult) return undefined;
+  return compactRecord({
+    id: `${side}_${importResult.id ?? idFragment(importResult.sourcePath ?? 'source')}`,
+    side,
+    importId: importResult.id,
+    language: importResult.language,
+    sourcePath: importResult.sourcePath,
+    sourceHash: sourceHash ?? importResult.nativeSource?.sourceHash ?? importResult.nativeAst?.sourceHash ?? importResult.sourceHash,
+    nativeSourceId: importResult.nativeSource?.id,
+    nativeAstId: importResult.nativeAst?.id,
+    semanticIndexId: importResult.semanticIndex?.id,
+    universalAstId: importResult.universalAst?.id,
+    sourceMapIds: uniqueStrings((importResult.sourceMaps ?? []).map((map) => map.id))
+  });
+}
+
+export function normalizeRegions(regions, context) {
+  return regions.filter(Boolean).map((region, index) => {
+    const projection = region.metadata?.changedRegionProjection ?? region.projection;
+    const projected = projection?.region ?? {};
+    const key = firstString(region.key, region.ownershipKey, projected.key, region.conflictKey, region.id);
+    const conflictKey = firstString(region.conflictKey, projection?.conflictKey, key);
+    const links = array(projection?.sourceMapLinks ?? region.sourceMapLinks);
+    return compactRecord({
+      id: region.id ?? projected.id ?? `changed_region_${index + 1}`,
+      key,
+      conflictKey,
+      changeKind: region.changeKind ?? projection?.changeKind,
+      regionKind: region.regionKind ?? region.ownershipRegionKind ?? projected.kind,
+      granularity: region.granularity ?? projected.granularity,
+      precision: region.precision ?? projected.precision,
+      language: region.language ?? projection?.language ?? context.language,
+      sourcePath: region.sourcePath ?? projection?.sourcePath ?? context.sourcePath,
+      sourceHash: region.sourceHash ?? projection?.after?.sourceHash ?? projection?.before?.sourceHash,
+      symbolId: region.symbolId ?? projected.symbolId,
+      symbolName: region.symbolName ?? region.name ?? projected.symbolName,
+      symbolKind: region.symbolKind ?? projected.symbolKind,
+      sourceSpan: region.sourceSpan ?? projected.sourceSpan,
+      sourceMapLinkIds: uniqueStrings([...strings(region.sourceMapLinkIds), ...links.map((link) => link.id)]),
+      sourceMapIds: uniqueStrings([...strings(region.sourceMapIds), ...links.map((link) => link.sourceMapId)]),
+      sourceMapMappingIds: uniqueStrings([...strings(region.sourceMapMappingIds), ...links.map((link) => link.sourceMapMappingId)]),
+      lineageResolutionIds: uniqueStrings([...strings(region.lineageResolutionIds), ...strings(projection?.lineageResolutionIds), ...strings(region.metadata?.bidirectionalTargetChange?.lineageResolutionIds), ...strings(region.metadata?.semanticHistoryLineageResolution?.lineageResolutionIds), region.metadata?.semanticHistoryLineageResolution?.id]),
+      lineageEventIds: uniqueStrings([...strings(region.lineageEventIds), ...strings(projection?.lineageEventIds), ...strings(region.metadata?.semanticHistoryLineageResolution?.lineageEventIds)]),
+      lineageSourcePaths: uniqueStrings([...strings(region.lineageSourcePaths), ...strings(projection?.lineageSourcePaths), ...strings(region.metadata?.semanticHistoryLineageResolution?.sourcePaths)]),
+      lineageEvidenceIds: uniqueStrings([...strings(region.lineageEvidenceIds), ...strings(projection?.lineageEvidenceIds), ...strings(region.metadata?.semanticHistoryLineageResolution?.evidenceIds)]),
+      lineageProofIds: uniqueStrings([...strings(region.lineageProofIds), ...strings(projection?.lineageProofIds), ...strings(region.metadata?.semanticHistoryLineageResolution?.proofIds)]),
+      lineageReasonCodes: uniqueStrings([...strings(region.lineageReasonCodes), ...strings(projection?.lineageReasonCodes), ...strings(region.metadata?.semanticHistoryLineageResolution?.reasonCodes)]),
+      admission: compactRecord({
+        readiness: projection?.admission?.readiness ?? region.admission?.readiness,
+        action: projection?.admission?.action ?? region.admission?.action,
+        reasonCodes: uniqueStrings([...strings(region.admission?.reasonCodes), ...strings(projection?.admission?.reasons)]),
+        conflictKeys: uniqueStrings([...strings(region.admission?.conflictKeys), ...strings(projection?.admission?.conflictKeys)])
+      }),
+      metadata: region.metadata
+    });
+  });
+}
+
+export function normalizeSourceMapLinks(links) {
+  const seen = new Set();
+  const result = [];
+  for (const link of links.filter(Boolean)) {
+    const id = link.id ?? `source_map_link_${result.length + 1}`;
+    if (seen.has(id)) continue;
+    seen.add(id);
+    result.push(compactRecord({
+      id,
+      side: link.side,
+      sourceMapId: link.sourceMapId,
+      sourceMapMappingId: link.sourceMapMappingId,
+      sourcePath: link.sourcePath,
+      sourceHash: link.sourceHash,
+      targetPath: link.targetPath,
+      targetHash: link.targetHash,
+      semanticSymbolId: link.semanticSymbolId,
+      semanticOccurrenceId: link.semanticOccurrenceId,
+      semanticNodeId: link.semanticNodeId,
+      nativeSourceId: link.nativeSourceId,
+      nativeAstNodeId: link.nativeAstNodeId,
+      precision: link.precision,
+      sourceSpan: link.sourceSpan,
+      generatedSpan: link.generatedSpan,
+      regionKey: link.ownershipRegionKey,
+      regionKind: link.ownershipRegionKind
+    }));
+  }
+  return result;
+}
+
+function array(value) {
+  if (value === undefined || value === null) return [];
+  return Array.isArray(value) ? value : [value];
+}
+
+function strings(value) {
+  return array(value).map((entry) => String(entry ?? '')).filter(Boolean);
+}
+
+function firstString(...values) {
+  return values.map((value) => value === undefined || value === null ? '' : String(value)).find(Boolean);
+}
+
+function compactRecord(value) {
+  return Object.fromEntries(Object.entries(value ?? {}).filter(([, entry]) => entry !== undefined && (!Array.isArray(entry) || entry.length > 0)));
+}

package/dist/internal/index-impl/sourceTextForSpan.js

@@ -1,12 +1,7 @@
+import { spanOffsets } from './semanticEditSourceRanges.js';
+
 export function sourceTextForSpan(sourceText, span) {
   if (typeof sourceText !== 'string' || !span) return undefined;
-  if (typeof span.start === 'number' && typeof span.end === 'number' && span.end >= span.start) {
-    return sourceText.slice(span.start, span.end);
-  }
-  if (typeof span.startLine === 'number') {
-    const lines = sourceText.split(/\r?\n/);
-    const endLine = typeof span.endLine === 'number' && span.endLine >= span.startLine ? span.endLine : span.startLine;
-    return lines.slice(span.startLine - 1, endLine).join('\n');
-  }
-  return undefined;
+  const range = spanOffsets(sourceText, span);
+  return range ? sourceText.slice(range.start, range.end) : undefined;
 }

package/dist/lightweight-dependency-relations.js

@@ -68,12 +68,14 @@ function addIdentifierTarget(map, identifier, target) {
 
 function scanDeclarationDependencies(input, documentId, scan, identifiers, lines, records) {
   const state = { inBlockComment: false };
+  const factState = { braceDepth: 0, pendingSwitch: false, switchDepth: 0 };
   for (let lineNumber = scan.startLine; lineNumber <= scan.endLine; lineNumber += 1) {
     const scanLine = maskDependencyLine(input, lines[lineNumber - 1]?.line ?? '', state);
-    addLightweightSemanticFacts(input, documentId, scan.declaration, scanLine, lineNumber, records);
+    addLightweightSemanticFacts(input, documentId, scan.declaration, scanLine, lineNumber, records, factState);
     for (const match of scanLine.matchAll(/[A-Za-z_$][\w$]*/g)) {
       const name = match[0];
       if (!isDependencyIdentifier(name) || !identifiers.has(name)) continue;
+      if (isIgnoredDependencyOccurrence(input, scanLine, match.index, name)) continue;
       const targets = identifiers.get(name).filter((target) => target.symbolId !== scan.declaration.symbolId);
       for (const target of targets) {
         addDependencyRecord(input, documentId, scan.declaration, target, {
@@ -87,10 +89,11 @@ function scanDeclarationDependencies(input, documentId, scan, identifiers, lines
   }
 }
 
-function addLightweightSemanticFacts(input, documentId, declaration, line, lineNumber, records) {
+function addLightweightSemanticFacts(input, documentId, declaration, line, lineNumber, records, factState) {
+  if (!shouldScanRuntimeFacts(input, declaration)) return;
   const text = String(line ?? '').trim();
   if (!text) return;
-  for (const item of lightweightControlFlowKinds(text)) {
+  for (const item of lightweightControlFlowKinds(text, factState)) {
     addFactRecord(input, documentId, declaration, 'controlFlow', item, lineNumber, records);
   }
   for (const item of lightweightEffectKinds(text)) {
@@ -99,11 +102,45 @@ function addLightweightSemanticFacts(input, documentId, declaration, line, lineN
   for (const item of lightweightMutationKinds(text)) {
     addFactRecord(input, documentId, declaration, 'mutation', item, lineNumber, records);
   }
+  updateLightweightFactState(text, factState);
 }
 
-function lightweightControlFlowKinds(line) {
+function shouldScanRuntimeFacts(input, declaration) {
+  if (!isJavaScriptLike(input)) return true;
+  if (declaration?.fields?.typeKind) return false;
+  if (/^Type(?:Alias|Method|Property|FunctionProperty)/.test(String(declaration?.kind ?? ''))) return false;
+  return !['interface', 'type'].includes(String(declaration?.symbolKind ?? '').toLowerCase());
+}
+
+function isJavaScriptLike(input) {
+  return ['javascript', 'typescript'].includes(String(input?.language ?? '').toLowerCase());
+}
+
+function isIgnoredDependencyOccurrence(input, line, startIndex, name) {
+  if (!isJavaScriptLike(input)) return false;
+  const endIndex = startIndex + String(name).length;
+  const previous = previousNonSpace(line, startIndex - 1);
+  const next = nextNonSpace(line, endIndex);
+  return previous === '.' || next === ':';
+}
+
+function previousNonSpace(line, index) {
+  for (let cursor = index; cursor >= 0; cursor -= 1) {
+    if (!/\s/.test(line[cursor])) return line[cursor];
+  }
+  return '';
+}
+
+function nextNonSpace(line, index) {
+  for (let cursor = index; cursor < line.length; cursor += 1) {
+    if (!/\s/.test(line[cursor])) return line[cursor];
+  }
+  return '';
+}
+
+function lightweightControlFlowKinds(line, state = {}) {
   const kinds = [];
-  if (/\b(if|else|switch|case|default)\b/.test(line)) kinds.push('branch');
+  if (hasBranchSyntax(line, state)) kinds.push('branch');
   if (/\b(for|while|do)\b/.test(line)) kinds.push('loop');
   if (/\b(return|yield)\b/.test(line)) kinds.push('exit');
   if (/\b(throw|catch|finally|try)\b/.test(line)) kinds.push('exception');
@@ -114,7 +151,7 @@ function lightweightControlFlowKinds(line) {
 function lightweightEffectKinds(line) {
   const kinds = [];
   if (/\bawait\b|import\s*\(/.test(line)) kinds.push('async');
-  if (/\b(fetch|XMLHttpRequest|WebSocket|EventSource)\s*\(/.test(line)) kinds.push('network');
+  if (hasGlobalNetworkCall(line)) kinds.push('network');
   if (/\b(localStorage|sessionStorage|indexedDB|caches|cookie)\b/.test(line)) kinds.push('storage');
   if (/\b(setTimeout|setInterval|requestAnimationFrame|queueMicrotask)\s*\(/.test(line)) kinds.push('scheduler');
   if (/\b(console|process|Deno|Bun)\s*\./.test(line)) kinds.push('host');
@@ -125,12 +162,81 @@ function lightweightEffectKinds(line) {
 function lightweightMutationKinds(line) {
   const kinds = [];
   if (/\bdelete\s+[A-Za-z_$][\w$.[\]]*/.test(line)) kinds.push('delete');
-  if (/(?:^|[^=!<>])=(?!=|>)/.test(line)) kinds.push('assignment');
+  if (hasRuntimeAssignment(line)) kinds.push('assignment');
   if (/\+\+|--|(?:\+=|-=|\*=|\/=|%=|\|\|=|&&=|\?\?=)/.test(line)) kinds.push('update');
   if (/\.(?:push|pop|shift|unshift|splice|sort|reverse|set|add|delete|clear)\s*\(/.test(line)) kinds.push('mutating-call');
   return kinds;
 }
 
+function hasBranchSyntax(line, state) {
+  return /\bif\s*\(/.test(line)
+    || /(?:^|[}\s;])else\b(?:\s+if\s*\(|\s*[{;]|$)/.test(line)
+    || /\bswitch\s*\(/.test(line)
+    || ((state?.switchDepth ?? 0) > 0 && /^\s*(?:case\b[^:]*|default)\s*:/.test(line));
+}
+
+function updateLightweightFactState(line, state = {}) {
+  const hadSwitch = /\bswitch\s*\(/.test(line);
+  const beforeDepth = state.braceDepth ?? 0;
+  const delta = blockBraceDelta(line);
+  if (hadSwitch) state.pendingSwitch = true;
+  state.braceDepth = Math.max(0, beforeDepth + delta);
+  if (state.pendingSwitch && state.braceDepth > beforeDepth) {
+    state.switchDepth = state.braceDepth;
+    state.pendingSwitch = false;
+  }
+  if ((state.switchDepth ?? 0) > 0 && state.braceDepth < state.switchDepth) {
+    state.switchDepth = 0;
+  }
+}
+
+function blockBraceDelta(line) {
+  let delta = 0;
+  for (const char of String(line ?? '')) {
+    if (char === '{') delta += 1;
+    else if (char === '}') delta -= 1;
+  }
+  return delta;
+}
+
+function hasGlobalNetworkCall(line) {
+  return hasBareCall(line, ['fetch', 'XMLHttpRequest', 'WebSocket', 'EventSource'])
+    || hasGlobalPropertyCall(line, ['fetch', 'XMLHttpRequest', 'WebSocket', 'EventSource']);
+}
+
+function hasBareCall(line, names) {
+  return names.some((name) => new RegExp(`(?:^|[^\\w$.])${name}\\s*\\(`).test(line));
+}
+
+function hasGlobalPropertyCall(line, names) {
+  return names.some((name) => new RegExp(`\\b(?:window|globalThis|self)\\s*\\.\\s*${name}\\s*\\(`).test(line));
+}
+
+function hasRuntimeAssignment(line) {
+  const text = String(line ?? '');
+  for (let index = 0; index < text.length; index += 1) {
+    if (text[index] !== '=' || !isPlainAssignmentOperator(text, index)) continue;
+    if (!isLocalDeclarationInitializer(text, index)) return true;
+  }
+  return false;
+}
+
+function isPlainAssignmentOperator(text, index) {
+  const previous = text[index - 1] ?? '';
+  const next = text[index + 1] ?? '';
+  if (next === '=' || next === '>') return false;
+  return !['=', '!', '<', '>', '+', '-', '*', '/', '%', '&', '|', '?', '^'].includes(previous);
+}
+
+function isLocalDeclarationInitializer(text, index) {
+  const prefix = text.slice(0, index);
+  const statementStart = Math.max(prefix.lastIndexOf(';'), prefix.lastIndexOf('{'), prefix.lastIndexOf('}'));
+  const statement = prefix.slice(statementStart + 1).trim();
+  return /^(?:export\s+)?(?:declare\s+)?(?:const|let|var|using)\b/.test(statement)
+    || /^for\s*\([^;)]*(?:const|let|var)\b/.test(statement)
+    || /^(?:export\s+)?type\s+[A-Za-z_$][\w$]*(?:\s*<[^>]+>)?\s*$/.test(statement);
+}
+
 function addFactRecord(input, documentId, declaration, predicate, factKind, lineNumber, records) {
   const key = `${declaration.symbolId}|${predicate}|${factKind}|${lineNumber}`;
   if (records.seen.has(key)) return;

package/dist/native-import-utils.js

@@ -1,5 +1,5 @@
 export function uniqueStrings(values) {
-  return [...new Set((values ?? []).map((value) => String(value)).filter(Boolean))];
+  return [...new Set((values ?? []).filter((value) => value !== undefined && value !== null).map((value) => String(value)).filter(Boolean))];
 }
 
 export function uniqueRecordsById(records) {
@@ -141,3 +141,17 @@ export function idFragment(value) {
     .replace(/^_+|_+$/g, '')
     .slice(0, 80) || 'native';
 }
+
+export function caseSensitiveIdFragment(value) {
+  const text = String(value ?? 'native');
+  return `${idFragment(text)}_${caseSensitiveHash(text)}`;
+}
+
+function caseSensitiveHash(value) {
+  let hash = 0x811c9dc5;
+  for (let index = 0; index < value.length; index += 1) {
+    hash ^= value.charCodeAt(index);
+    hash = Math.imul(hash, 0x01000193);
+  }
+  return (hash >>> 0).toString(36);
+}