@saasontools/strauss-kb 0.1.23 → 0.3.0

package/dist/index.d.cts

@@ -165,7 +165,7 @@ declare const kbLinkSchema: z.ZodObject<{
     target: z.ZodString;
     rel: z.ZodString;
 }, z.core.$loose>;
-declare const KB_RECORD_TYPES: readonly ["fact", "requirement", "constraint", "decision", "assumption", "open-question", "risk", "contract", "flow", "affected-system", "test-obligation", "source-note"];
+declare const KB_RECORD_TYPES: readonly ["fact", "requirement", "constraint", "decision", "assumption", "open-question", "risk", "contract", "flow", "affected-system", "source-note"];
 type KbRecordType = (typeof KB_RECORD_TYPES)[number];
 /** Both halves of `<type>.<slug>` are kebab-case, and neither may be empty. */
 declare const KB_SLUG_PATTERN: RegExp;
@@ -767,22 +767,10 @@ type KbRecordStamp = {
 };
 
 /**
- * Edges a trace may follow — the shared kb-edges.ts definitions, minus
- * `body-link`: body links can reach most of a bundle from anywhere, which
- * suits a bounded pack but floods a timeline. Also absent by design:
- * `strauss_answered` carries no target id, so a question's resolution lives
- * in its own body rather than in another record.
- *
- * `typed-link` is in, where `body-link` is out, because the two differ in how
- * cheaply they are made. A body link is any markdown a writer happened to
- * type; a `strauss_links` entry is a deliberate claim from a closed vocabulary
- * about what this record depends on. That is exactly the kind of edge a
- * timeline should follow — "we chose this because of that" is the history.
- *
- * Only the causal rels, though. `related_to` asserts no dependence and reaches
- * whatever a writer thought worth mentioning, which is the same flooding
- * `body-link` is excluded for; a bibliography is a neighbourhood's business
- * (`pack`), not a history's.
+ * Edges a trace may follow: every kb-edges.ts kind, narrowed to the causal
+ * rels. `related_to` reaches whatever a writer thought worth mentioning, which
+ * suits a bounded pack but floods a timeline. `strauss_answered` carries no
+ * target id, so a question's resolution is not an edge.
  */
 declare const TRACE_EDGES: readonly ["typed-link", "supersession", "anchor", "source"];
 type KbTraceEdge = (typeof TRACE_EDGES)[number];
@@ -795,7 +783,7 @@ type KbTraceStep = {
 };
 type KbTraceOptions = {
     edges?: readonly KbTraceEdge[];
-    /** Body links alone can reach the whole bundle, so a trace is always bounded. */
+    /** A trace is always bounded: supersession and shared anchors alone can reach the whole bundle. */
     depth?: number;
 };
 /**
@@ -1918,7 +1906,7 @@ declare class TreeSitterResolver implements AnchorResolver {
 /**
  * What each record type is for, and the shape of its body.
  *
- * A table rather than twelve composer modules. The types differ only in which
+ * A table rather than a composer module per type. The types differ only in which
  * questions their body answers and where they start in the lifecycle; encoding
  * that as data keeps the one composer honest and makes adding a type an edit
  * rather than a file.
@@ -2609,32 +2597,20 @@ type KbClassifyResult = {
 declare function classifyDiff(files: readonly KbClassifyFile[], options?: KbClassifyOptions): KbClassifiedFile[];
 
 /**
- * The edges between records in one bundle, defined once.
- *
- * Both walks — `trace` and `pack` — consume this module, so they cannot drift
- * into disagreeing about what makes two records neighbours, and a diagnostic
- * pass over the graph can reuse the same definition.
- *
- * There is no separate `related` kind: compose.ts renders `relatedConceptIds`
- * as body links (`Relates to [id](id.md).`), so in stored form a related edge
- * IS a body link, and a distinct kind would count the same markdown twice.
- *
- * `typed-link` is not that case, despite compose.ts also rendering a sentence
- * per link. The edge is `strauss_links` in the frontmatter — the authoritative,
- * typed form — and the sentence is its rendering for a reader that only knows
- * OKF. A record can carry the frontmatter without the prose (hand-written, or
- * from a producer we did not write), so reading only the body would miss it.
- * A pair connected both ways comes back with both kinds in `via`, which is the
- * honest answer: it was declared, and it was written about.
+ * Every concept id this record's prose cites, itself excluded.
  *
- * `body-link` and `typed-link` are DIRECTED — the edges a record itself makes,
- * read off its own body or frontmatter. `supersession`, `anchor` and `source`
- * are symmetric: they hold between two records because both name the same
- * thing, so either end sees the other. Callers wanting the inbound half of a
- * typed edge use `kb-links/` (`kb_backlinks`, `kb_impact`) rather than this
- * module, which answers "what does this record point at".
+ * Parsed to an mdast tree rather than matched by pattern: a link in a fence, an
+ * indented block or a code span is an example, and only a parser knows which.
  */
-declare const KB_EDGE_KINDS: readonly ["body-link", "typed-link", "supersession", "anchor", "source"];
+declare function bodyCitations(record: KbRecord): Set<string>;
+
+/**
+ * The edges between records in one bundle, defined once for `trace` and
+ * `pack`. `typed-link` (`strauss_links`) is directed and the only edge a
+ * record declares; the other three are symmetric. Prose is never walked; the
+ * inbound half of a typed edge is `kb-links/`.
+ */
+declare const KB_EDGE_KINDS: readonly ["typed-link", "supersession", "anchor", "source"];
 type KbEdgeKind = (typeof KB_EDGE_KINDS)[number];
 type KbNeighbour = {
     record: KbRecord;
@@ -2665,6 +2641,61 @@ declare function neighbours(from: KbRecord, bundle: KbRecord[], kinds?: readonly
  */
 declare function edgeNeighbours(from: KbRecord, bundle: KbRecord[], kind: KbEdgeKind, linkRels?: readonly string[]): KbRecord[];
 
+/**
+ * What a record explicitly points at — the question a consumer about to warn
+ * or about to delete has to ask, where `kb-edges.ts` answers it for a walk and
+ * `kb-links/` answers the causal inverse.
+ */
+/** One target a record points at, with every claim it makes about it. */
+type KbOutboundReference = {
+    target: string;
+    /** Rels declared for this target, in declaration order. Never empty. */
+    rels: string[];
+};
+/** A record that still holds, pointing at one that does not. */
+type KbStaleReference = {
+    from: string;
+    target: string;
+    /** Always `superseded` or `rejected` — the standings that stopped holding. */
+    targetStanding: Extract<KbStanding, "superseded" | "rejected">;
+    rels: string[];
+    /** The replacement chain, nearest first, limited to ids the bundle holds. */
+    replacedBy: string[];
+};
+/** A record that still holds, pointing at the record being reassessed. */
+type KbLiveReference = {
+    from: string;
+    title: string | null;
+    standing: KbStanding;
+    rels: string[];
+};
+
+/**
+ * Every record this one points at through `strauss_links`, each target once,
+ * with every distinct rel. An unknown rel is skipped, as every walk skips it;
+ * shared anchors and sources are co-location, not reference.
+ */
+declare function outboundReferences(record: KbRecord): KbOutboundReference[];
+
+/**
+ * Every stale reference in the bundle, in bundle order, then in each record's
+ * own reference order.
+ */
+declare function staleReferences(bundle: KbRecord[], standings: Map<string, KbStanding>): KbStaleReference[];
+/**
+ * One record's stale references.
+ *
+ * A record already out of force is asked nothing: what a superseded record
+ * points at is history, and repairing it would put a finding on every record
+ * the base has already replaced.
+ */
+declare function staleReferencesFrom(record: KbRecord, byId: Map<string, KbRecord>, standings: Map<string, KbStanding>): KbStaleReference[];
+/**
+ * Who still points at this record, among the records that still hold: one hop
+ * and every rel, where `kb_impact` walks causal dependence transitively.
+ */
+declare function liveReferencesTo(targetId: string, bundle: KbRecord[], standings: Map<string, KbStanding>): KbLiveReference[];
+
 /** `error` fails the check; `warning` does not. */
 type KbValidationSeverity = "error" | "warning";
 type KbValidationProblem = {
@@ -2710,6 +2741,11 @@ type KbDoctorFinding = {
     status: KbRecordStatus;
     /** Why this record is in this group, in one phrase a reader can act on. */
     note: string;
+    /**
+     * The edge behind a `superseded-but-cited` finding, for a consumer that acts
+     * on it rather than prints it. Absent on every other check.
+     */
+    reference?: KbStaleReference;
 };
 type KbDoctorGroup = {
     check: KbDoctorCheck;
@@ -3215,6 +3251,20 @@ type KbReassessAnchor = {
  * reading, and naming the lean is what keeps it arguable.
  */
 type KbReassessDefault = "presumed-invalidated" | "rationale-may-survive" | "review";
+/**
+ * The reference half of a reassessment, kept apart from the anchor half: two
+ * readings, two repairs, and either present without the other.
+ */
+type KbPacketReferences = {
+    /** What this record points at that no longer holds. */
+    outgoing: KbStaleReference[];
+    /**
+     * Who still points at this record, asked only of a record that has itself
+     * stopped holding. Contextual and one hop — `impact` is the causal walk and
+     * is not changed by this.
+     */
+    incoming: KbLiveReference[];
+};
 type KbReassessPacket = {
     conceptId: string;
     title: string | null;
@@ -3239,6 +3289,7 @@ type KbReassessPacket = {
         depth: number;
     }[];
     impactTruncated: boolean;
+    references: KbPacketReferences;
     default: KbReassessDefault;
     defaultNote: string;
 };
@@ -3247,14 +3298,13 @@ type PacketOptions = ClassifyOptions & {
     withDiff?: boolean;
     impact?: KbImpactResult;
     standing?: KbStanding;
+    /** Computed by the caller, which holds the bundle; the packet stays a shaper. */
+    references?: KbPacketReferences;
 };
 /**
- * One record's packet, or `null` when nothing survived classification.
- *
- * A record whose every drifted anchor turned out to be `moved` or `cosmetic`
- * is a record with no reassessment work, and emitting an empty packet for it
- * would put it back in front of the reader the classification just cleared it
- * from.
+ * One record's packet, or `null` when there is nothing for a reader to do:
+ * every drifted anchor classified `moved` or `cosmetic`, and no unresolved
+ * reference. Either half alone is reassessment work.
  */
 declare function reassessPacket(repoRoot: string, record: KbRecord, entries: readonly KbAnchorDriftEntry[], options?: PacketOptions): Promise<{
     packet: KbReassessPacket | null;
@@ -3393,4 +3443,4 @@ declare function parseMarkdownWithFrontmatter<S extends z.ZodType>(text: string,
     frontmatter: ReturnType<S["safeParse"]>;
 };
 
-export { type AnchorResolution, type AnchorResolver, type AnchorResolverName, type AnchorSetInput, BaseError, CONTEXT_BEGIN, CONTEXT_END, CONTEXT_PROFILES, type ClassifiedAnchor, type ComposeInput, type ComposeLink, type ComposedRecord, DECISION_TYPE, DEFAULT_AGING_DAYS, DEFAULT_EXPIRING_DAYS, DEFAULT_LOAD_BUDGET, DEFAULT_PACK_HOPS, DEFAULT_PACK_MAX_NODES, DEFAULT_THRESHOLDS, DEFAULT_TYPED_LINK_RELS, DEFAULT_UNVERIFIED_DAYS, type DecisionInput, type DiffFile, type DiffHunk, type DiffMatch, type ErrorDetails, type ErrorProps, ErrorTypes, Fault, type Grammar, type GrammarManifest, type GrammarOptions, INDEX_FILE, KB_CAUSAL_LINK_RELS, KB_CLASSES, KB_COMMANDS, KB_COMMANDS_BY_NAME, KB_CONCEPT_ID_PATTERN, KB_CONFIDENCES, KB_DIR, KB_DOCTOR_CHECKS, KB_EDGE_KINDS, KB_LINK_RELS, KB_MATERIALITIES, KB_RECORD_STATUSES, KB_RECORD_TYPES, KB_SLUG_PATTERN, type KbActorStamp, type KbAdjudicated, type KbAnchor, type KbAnchorChange, type KbAnchorDriftEntry, type KbAnchorLocator, KbAnchorSetDuplicateError, type KbAnchorSetOutcome, type KbAnchorSetResult, type KbAnchorSpan, type KbAnchorWrite, type KbBacklink, type KbBacklinksResult, KbBaseFrozenError, type KbCatalogEntry, type KbCatalogResult, type KbClass, type KbClassifiedFile, type KbClassifiedHunk, type KbClassifyFile, KbClassifyInputError, type KbClassifyOptions, type KbClassifyResult, type KbClassifyThresholds, type KbCommand, type KbCommandContext, type KbContextBudgets, type KbContextOptions, type KbContextResult, type KbDoctorCheck, type KbDoctorFinding, type KbDoctorGroup, type KbDoctorOptions, type KbDoctorReport, type KbDoctorThresholds, type KbDroppedLink, type KbEdgeKind, type KbExportForeignFile, type KbExportResult, type KbExportedDecision, type KbImpactOptions, type KbImpactResult, type KbImpactedRecord, type KbInboundEdge, KbInvalidConceptIdError, type KbLink, type KbLinkEdge, type KbLinkRel, type KbLinkRelSpec, type KbLoadResult, type KbLogAnchorChange, type KbLogEntry, type KbLogReadResult, type KbLogger, type KbMatch, type KbMatchRecord, type KbMergedPin, type KbMergedPins, KbMissingFlagValueError, type KbNeighbour, KbPackBudgetExceededError, type KbPackOptions, type KbPackResult, type KbPackedRecord, type KbPin, type KbPinLayer, type KbPinOptions, type KbPinResult, type KbPinStatus, KbPinsMalformedError, type KbPinsManifest, type KbPromoteCandidate, KbPromoteCollisionError, type KbPromoteResult, KbPromoteSelfError, KbPromoteStandingError, KbPromoteStoppedError, type KbPromotedRecord, type KbReassessAnchor, type KbReassessDefault, type KbReassessDiff, type KbReassessPacket, type KbRecord, KbRecordAlreadyExistsError, type KbRecordFrontmatter, KbRecordNotFoundError, type KbRecordStatus, type KbRecordType, type KbRecordTypeSpec, type KbSearchLogger, KbSelfVerificationError, type KbSource, type KbStanding, KbStore, type KbSupersededStub, type KbSyncResult, type KbTagFilter, type KbTraceEdge, type KbTraceOptions, type KbTraceStep, KbUnknownLinkRelError, type KbValidationProblem, type KbValidationSeverity, type KbVerdict, type KbVerifiedEvent, type KbWarning, KbWriteConflictError, type KbWriteInput, LINK_RELS, LOG_FILE, type MatchOptions, NO_DECISION_SLUG, PINS_FILE, PINS_LOCAL_FILE, PIN_LAYERS, PROMOTION_SOURCE_ID, type QmdModule, RECORD_TYPES, type RemoteAnchorState, type RemoteOptions, type RemoteRead, type ResolvedSymbol, type ResolverAttempt, type ResolverAttemptOptions, SEARCH_INDEX_FILE, type SearchHit, type SearchOptions, type SymbolRange, type SymbolRangeIndex, TRACE_EDGES, TreeSitterResolver, adjudicate, anchorFilePath, anchorOnHunk, anchorSetInputSchema, applyAnchorSet, assertBaseNotFrozen, backlinks, buildContext, carry, catalog, classifyDiff, classifyDrift, composeDecisionRecord, composeInputSchema, composeLinkSchema, composeNoDecisionRecord, composeRecord, contextProfileBudgets, createKbMcpServer, decisionInputSchema, defaultAnchorResolvers, detectAnchorDrift, doctor, edgeNeighbours, ensureGrammar, grammarHints, grammarManifest, grammarsCacheRoot, hashAnchorText, impact, inboundIndex, indexIsStale, isCanonicalRepoUrl, isKbLinkRel, isKbRecordType, isNoDecisionRecord, isReviewTag, kbActorStampSchema, kbAnchorLocatorSchema, kbAnchorSchema, kbAnchorSpanSchema, kbAnchorWriteSchema, kbConceptIdSchema, kbJsonSchemas, kbLinkSchema, kbLogAnchorChangeSchema, kbLogEntrySchema, kbLogEntryWriteSchema, kbRecordFrontmatterSchema, kbSourceSchema, kbVerifiedEventSchema, languageForFile, listPins, loadQmd, locatorOf, matchToDiff, matchesTags, mergedContextBudgets, neighbours, pack, parseLog, parseMarkdownWithFrontmatter, pinBase, prepareResolvers, promoteCandidates, promoteInputSchema, readMergedPins, readPinsLayer, readRemoteAnchors, reassessPacket, regexResolver, renderCatalogLine, renderIndex, renderIndexLine, renderLogEntry, repoCacheDir, resolveAnchor, resolveAnchorSpan, resolveHeads, resolveHits, resolvePinPath, runKbCli, runKbMcpServer, searchBase, selectDecisions, splitMarkdownFrontmatter, stringifyMarkdownWithFrontmatter, symbolRangeIndex, syncInstructions, toHookJson, trace, treeSitterLanguages, unifiedDiff, unpinBase, validateBundle };
+export { type AnchorResolution, type AnchorResolver, type AnchorResolverName, type AnchorSetInput, BaseError, CONTEXT_BEGIN, CONTEXT_END, CONTEXT_PROFILES, type ClassifiedAnchor, type ComposeInput, type ComposeLink, type ComposedRecord, DECISION_TYPE, DEFAULT_AGING_DAYS, DEFAULT_EXPIRING_DAYS, DEFAULT_LOAD_BUDGET, DEFAULT_PACK_HOPS, DEFAULT_PACK_MAX_NODES, DEFAULT_THRESHOLDS, DEFAULT_TYPED_LINK_RELS, DEFAULT_UNVERIFIED_DAYS, type DecisionInput, type DiffFile, type DiffHunk, type DiffMatch, type ErrorDetails, type ErrorProps, ErrorTypes, Fault, type Grammar, type GrammarManifest, type GrammarOptions, INDEX_FILE, KB_CAUSAL_LINK_RELS, KB_CLASSES, KB_COMMANDS, KB_COMMANDS_BY_NAME, KB_CONCEPT_ID_PATTERN, KB_CONFIDENCES, KB_DIR, KB_DOCTOR_CHECKS, KB_EDGE_KINDS, KB_LINK_RELS, KB_MATERIALITIES, KB_RECORD_STATUSES, KB_RECORD_TYPES, KB_SLUG_PATTERN, type KbActorStamp, type KbAdjudicated, type KbAnchor, type KbAnchorChange, type KbAnchorDriftEntry, type KbAnchorLocator, KbAnchorSetDuplicateError, type KbAnchorSetOutcome, type KbAnchorSetResult, type KbAnchorSpan, type KbAnchorWrite, type KbBacklink, type KbBacklinksResult, KbBaseFrozenError, type KbCatalogEntry, type KbCatalogResult, type KbClass, type KbClassifiedFile, type KbClassifiedHunk, type KbClassifyFile, KbClassifyInputError, type KbClassifyOptions, type KbClassifyResult, type KbClassifyThresholds, type KbCommand, type KbCommandContext, type KbContextBudgets, type KbContextOptions, type KbContextResult, type KbDoctorCheck, type KbDoctorFinding, type KbDoctorGroup, type KbDoctorOptions, type KbDoctorReport, type KbDoctorThresholds, type KbDroppedLink, type KbEdgeKind, type KbExportForeignFile, type KbExportResult, type KbExportedDecision, type KbImpactOptions, type KbImpactResult, type KbImpactedRecord, type KbInboundEdge, KbInvalidConceptIdError, type KbLink, type KbLinkEdge, type KbLinkRel, type KbLinkRelSpec, type KbLiveReference, type KbLoadResult, type KbLogAnchorChange, type KbLogEntry, type KbLogReadResult, type KbLogger, type KbMatch, type KbMatchRecord, type KbMergedPin, type KbMergedPins, KbMissingFlagValueError, type KbNeighbour, type KbOutboundReference, KbPackBudgetExceededError, type KbPackOptions, type KbPackResult, type KbPackedRecord, type KbPin, type KbPinLayer, type KbPinOptions, type KbPinResult, type KbPinStatus, KbPinsMalformedError, type KbPinsManifest, type KbPromoteCandidate, KbPromoteCollisionError, type KbPromoteResult, KbPromoteSelfError, KbPromoteStandingError, KbPromoteStoppedError, type KbPromotedRecord, type KbReassessAnchor, type KbReassessDefault, type KbReassessDiff, type KbReassessPacket, type KbRecord, KbRecordAlreadyExistsError, type KbRecordFrontmatter, KbRecordNotFoundError, type KbRecordStatus, type KbRecordType, type KbRecordTypeSpec, type KbSearchLogger, KbSelfVerificationError, type KbSource, type KbStaleReference, type KbStanding, KbStore, type KbSupersededStub, type KbSyncResult, type KbTagFilter, type KbTraceEdge, type KbTraceOptions, type KbTraceStep, KbUnknownLinkRelError, type KbValidationProblem, type KbValidationSeverity, type KbVerdict, type KbVerifiedEvent, type KbWarning, KbWriteConflictError, type KbWriteInput, LINK_RELS, LOG_FILE, type MatchOptions, NO_DECISION_SLUG, PINS_FILE, PINS_LOCAL_FILE, PIN_LAYERS, PROMOTION_SOURCE_ID, type QmdModule, RECORD_TYPES, type RemoteAnchorState, type RemoteOptions, type RemoteRead, type ResolvedSymbol, type ResolverAttempt, type ResolverAttemptOptions, SEARCH_INDEX_FILE, type SearchHit, type SearchOptions, type SymbolRange, type SymbolRangeIndex, TRACE_EDGES, TreeSitterResolver, adjudicate, anchorFilePath, anchorOnHunk, anchorSetInputSchema, applyAnchorSet, assertBaseNotFrozen, backlinks, bodyCitations, buildContext, carry, catalog, classifyDiff, classifyDrift, composeDecisionRecord, composeInputSchema, composeLinkSchema, composeNoDecisionRecord, composeRecord, contextProfileBudgets, createKbMcpServer, decisionInputSchema, defaultAnchorResolvers, detectAnchorDrift, doctor, edgeNeighbours, ensureGrammar, grammarHints, grammarManifest, grammarsCacheRoot, hashAnchorText, impact, inboundIndex, indexIsStale, isCanonicalRepoUrl, isKbLinkRel, isKbRecordType, isNoDecisionRecord, isReviewTag, kbActorStampSchema, kbAnchorLocatorSchema, kbAnchorSchema, kbAnchorSpanSchema, kbAnchorWriteSchema, kbConceptIdSchema, kbJsonSchemas, kbLinkSchema, kbLogAnchorChangeSchema, kbLogEntrySchema, kbLogEntryWriteSchema, kbRecordFrontmatterSchema, kbSourceSchema, kbVerifiedEventSchema, languageForFile, listPins, liveReferencesTo, loadQmd, locatorOf, matchToDiff, matchesTags, mergedContextBudgets, neighbours, outboundReferences, pack, parseLog, parseMarkdownWithFrontmatter, pinBase, prepareResolvers, promoteCandidates, promoteInputSchema, readMergedPins, readPinsLayer, readRemoteAnchors, reassessPacket, regexResolver, renderCatalogLine, renderIndex, renderIndexLine, renderLogEntry, repoCacheDir, resolveAnchor, resolveAnchorSpan, resolveHeads, resolveHits, resolvePinPath, runKbCli, runKbMcpServer, searchBase, selectDecisions, splitMarkdownFrontmatter, staleReferences, staleReferencesFrom, stringifyMarkdownWithFrontmatter, symbolRangeIndex, syncInstructions, toHookJson, trace, treeSitterLanguages, unifiedDiff, unpinBase, validateBundle };

package/dist/index.d.ts

@@ -165,7 +165,7 @@ declare const kbLinkSchema: z.ZodObject<{
     target: z.ZodString;
     rel: z.ZodString;
 }, z.core.$loose>;
-declare const KB_RECORD_TYPES: readonly ["fact", "requirement", "constraint", "decision", "assumption", "open-question", "risk", "contract", "flow", "affected-system", "test-obligation", "source-note"];
+declare const KB_RECORD_TYPES: readonly ["fact", "requirement", "constraint", "decision", "assumption", "open-question", "risk", "contract", "flow", "affected-system", "source-note"];
 type KbRecordType = (typeof KB_RECORD_TYPES)[number];
 /** Both halves of `<type>.<slug>` are kebab-case, and neither may be empty. */
 declare const KB_SLUG_PATTERN: RegExp;
@@ -767,22 +767,10 @@ type KbRecordStamp = {
 };
 
 /**
- * Edges a trace may follow — the shared kb-edges.ts definitions, minus
- * `body-link`: body links can reach most of a bundle from anywhere, which
- * suits a bounded pack but floods a timeline. Also absent by design:
- * `strauss_answered` carries no target id, so a question's resolution lives
- * in its own body rather than in another record.
- *
- * `typed-link` is in, where `body-link` is out, because the two differ in how
- * cheaply they are made. A body link is any markdown a writer happened to
- * type; a `strauss_links` entry is a deliberate claim from a closed vocabulary
- * about what this record depends on. That is exactly the kind of edge a
- * timeline should follow — "we chose this because of that" is the history.
- *
- * Only the causal rels, though. `related_to` asserts no dependence and reaches
- * whatever a writer thought worth mentioning, which is the same flooding
- * `body-link` is excluded for; a bibliography is a neighbourhood's business
- * (`pack`), not a history's.
+ * Edges a trace may follow: every kb-edges.ts kind, narrowed to the causal
+ * rels. `related_to` reaches whatever a writer thought worth mentioning, which
+ * suits a bounded pack but floods a timeline. `strauss_answered` carries no
+ * target id, so a question's resolution is not an edge.
  */
 declare const TRACE_EDGES: readonly ["typed-link", "supersession", "anchor", "source"];
 type KbTraceEdge = (typeof TRACE_EDGES)[number];
@@ -795,7 +783,7 @@ type KbTraceStep = {
 };
 type KbTraceOptions = {
     edges?: readonly KbTraceEdge[];
-    /** Body links alone can reach the whole bundle, so a trace is always bounded. */
+    /** A trace is always bounded: supersession and shared anchors alone can reach the whole bundle. */
     depth?: number;
 };
 /**
@@ -1918,7 +1906,7 @@ declare class TreeSitterResolver implements AnchorResolver {
 /**
  * What each record type is for, and the shape of its body.
  *
- * A table rather than twelve composer modules. The types differ only in which
+ * A table rather than a composer module per type. The types differ only in which
  * questions their body answers and where they start in the lifecycle; encoding
  * that as data keeps the one composer honest and makes adding a type an edit
  * rather than a file.
@@ -2609,32 +2597,20 @@ type KbClassifyResult = {
 declare function classifyDiff(files: readonly KbClassifyFile[], options?: KbClassifyOptions): KbClassifiedFile[];
 
 /**
- * The edges between records in one bundle, defined once.
- *
- * Both walks — `trace` and `pack` — consume this module, so they cannot drift
- * into disagreeing about what makes two records neighbours, and a diagnostic
- * pass over the graph can reuse the same definition.
- *
- * There is no separate `related` kind: compose.ts renders `relatedConceptIds`
- * as body links (`Relates to [id](id.md).`), so in stored form a related edge
- * IS a body link, and a distinct kind would count the same markdown twice.
- *
- * `typed-link` is not that case, despite compose.ts also rendering a sentence
- * per link. The edge is `strauss_links` in the frontmatter — the authoritative,
- * typed form — and the sentence is its rendering for a reader that only knows
- * OKF. A record can carry the frontmatter without the prose (hand-written, or
- * from a producer we did not write), so reading only the body would miss it.
- * A pair connected both ways comes back with both kinds in `via`, which is the
- * honest answer: it was declared, and it was written about.
+ * Every concept id this record's prose cites, itself excluded.
  *
- * `body-link` and `typed-link` are DIRECTED — the edges a record itself makes,
- * read off its own body or frontmatter. `supersession`, `anchor` and `source`
- * are symmetric: they hold between two records because both name the same
- * thing, so either end sees the other. Callers wanting the inbound half of a
- * typed edge use `kb-links/` (`kb_backlinks`, `kb_impact`) rather than this
- * module, which answers "what does this record point at".
+ * Parsed to an mdast tree rather than matched by pattern: a link in a fence, an
+ * indented block or a code span is an example, and only a parser knows which.
  */
-declare const KB_EDGE_KINDS: readonly ["body-link", "typed-link", "supersession", "anchor", "source"];
+declare function bodyCitations(record: KbRecord): Set<string>;
+
+/**
+ * The edges between records in one bundle, defined once for `trace` and
+ * `pack`. `typed-link` (`strauss_links`) is directed and the only edge a
+ * record declares; the other three are symmetric. Prose is never walked; the
+ * inbound half of a typed edge is `kb-links/`.
+ */
+declare const KB_EDGE_KINDS: readonly ["typed-link", "supersession", "anchor", "source"];
 type KbEdgeKind = (typeof KB_EDGE_KINDS)[number];
 type KbNeighbour = {
     record: KbRecord;
@@ -2665,6 +2641,61 @@ declare function neighbours(from: KbRecord, bundle: KbRecord[], kinds?: readonly
  */
 declare function edgeNeighbours(from: KbRecord, bundle: KbRecord[], kind: KbEdgeKind, linkRels?: readonly string[]): KbRecord[];
 
+/**
+ * What a record explicitly points at — the question a consumer about to warn
+ * or about to delete has to ask, where `kb-edges.ts` answers it for a walk and
+ * `kb-links/` answers the causal inverse.
+ */
+/** One target a record points at, with every claim it makes about it. */
+type KbOutboundReference = {
+    target: string;
+    /** Rels declared for this target, in declaration order. Never empty. */
+    rels: string[];
+};
+/** A record that still holds, pointing at one that does not. */
+type KbStaleReference = {
+    from: string;
+    target: string;
+    /** Always `superseded` or `rejected` — the standings that stopped holding. */
+    targetStanding: Extract<KbStanding, "superseded" | "rejected">;
+    rels: string[];
+    /** The replacement chain, nearest first, limited to ids the bundle holds. */
+    replacedBy: string[];
+};
+/** A record that still holds, pointing at the record being reassessed. */
+type KbLiveReference = {
+    from: string;
+    title: string | null;
+    standing: KbStanding;
+    rels: string[];
+};
+
+/**
+ * Every record this one points at through `strauss_links`, each target once,
+ * with every distinct rel. An unknown rel is skipped, as every walk skips it;
+ * shared anchors and sources are co-location, not reference.
+ */
+declare function outboundReferences(record: KbRecord): KbOutboundReference[];
+
+/**
+ * Every stale reference in the bundle, in bundle order, then in each record's
+ * own reference order.
+ */
+declare function staleReferences(bundle: KbRecord[], standings: Map<string, KbStanding>): KbStaleReference[];
+/**
+ * One record's stale references.
+ *
+ * A record already out of force is asked nothing: what a superseded record
+ * points at is history, and repairing it would put a finding on every record
+ * the base has already replaced.
+ */
+declare function staleReferencesFrom(record: KbRecord, byId: Map<string, KbRecord>, standings: Map<string, KbStanding>): KbStaleReference[];
+/**
+ * Who still points at this record, among the records that still hold: one hop
+ * and every rel, where `kb_impact` walks causal dependence transitively.
+ */
+declare function liveReferencesTo(targetId: string, bundle: KbRecord[], standings: Map<string, KbStanding>): KbLiveReference[];
+
 /** `error` fails the check; `warning` does not. */
 type KbValidationSeverity = "error" | "warning";
 type KbValidationProblem = {
@@ -2710,6 +2741,11 @@ type KbDoctorFinding = {
     status: KbRecordStatus;
     /** Why this record is in this group, in one phrase a reader can act on. */
     note: string;
+    /**
+     * The edge behind a `superseded-but-cited` finding, for a consumer that acts
+     * on it rather than prints it. Absent on every other check.
+     */
+    reference?: KbStaleReference;
 };
 type KbDoctorGroup = {
     check: KbDoctorCheck;
@@ -3215,6 +3251,20 @@ type KbReassessAnchor = {
  * reading, and naming the lean is what keeps it arguable.
  */
 type KbReassessDefault = "presumed-invalidated" | "rationale-may-survive" | "review";
+/**
+ * The reference half of a reassessment, kept apart from the anchor half: two
+ * readings, two repairs, and either present without the other.
+ */
+type KbPacketReferences = {
+    /** What this record points at that no longer holds. */
+    outgoing: KbStaleReference[];
+    /**
+     * Who still points at this record, asked only of a record that has itself
+     * stopped holding. Contextual and one hop — `impact` is the causal walk and
+     * is not changed by this.
+     */
+    incoming: KbLiveReference[];
+};
 type KbReassessPacket = {
     conceptId: string;
     title: string | null;
@@ -3239,6 +3289,7 @@ type KbReassessPacket = {
         depth: number;
     }[];
     impactTruncated: boolean;
+    references: KbPacketReferences;
     default: KbReassessDefault;
     defaultNote: string;
 };
@@ -3247,14 +3298,13 @@ type PacketOptions = ClassifyOptions & {
     withDiff?: boolean;
     impact?: KbImpactResult;
     standing?: KbStanding;
+    /** Computed by the caller, which holds the bundle; the packet stays a shaper. */
+    references?: KbPacketReferences;
 };
 /**
- * One record's packet, or `null` when nothing survived classification.
- *
- * A record whose every drifted anchor turned out to be `moved` or `cosmetic`
- * is a record with no reassessment work, and emitting an empty packet for it
- * would put it back in front of the reader the classification just cleared it
- * from.
+ * One record's packet, or `null` when there is nothing for a reader to do:
+ * every drifted anchor classified `moved` or `cosmetic`, and no unresolved
+ * reference. Either half alone is reassessment work.
  */
 declare function reassessPacket(repoRoot: string, record: KbRecord, entries: readonly KbAnchorDriftEntry[], options?: PacketOptions): Promise<{
     packet: KbReassessPacket | null;
@@ -3393,4 +3443,4 @@ declare function parseMarkdownWithFrontmatter<S extends z.ZodType>(text: string,
     frontmatter: ReturnType<S["safeParse"]>;
 };
 
-export { type AnchorResolution, type AnchorResolver, type AnchorResolverName, type AnchorSetInput, BaseError, CONTEXT_BEGIN, CONTEXT_END, CONTEXT_PROFILES, type ClassifiedAnchor, type ComposeInput, type ComposeLink, type ComposedRecord, DECISION_TYPE, DEFAULT_AGING_DAYS, DEFAULT_EXPIRING_DAYS, DEFAULT_LOAD_BUDGET, DEFAULT_PACK_HOPS, DEFAULT_PACK_MAX_NODES, DEFAULT_THRESHOLDS, DEFAULT_TYPED_LINK_RELS, DEFAULT_UNVERIFIED_DAYS, type DecisionInput, type DiffFile, type DiffHunk, type DiffMatch, type ErrorDetails, type ErrorProps, ErrorTypes, Fault, type Grammar, type GrammarManifest, type GrammarOptions, INDEX_FILE, KB_CAUSAL_LINK_RELS, KB_CLASSES, KB_COMMANDS, KB_COMMANDS_BY_NAME, KB_CONCEPT_ID_PATTERN, KB_CONFIDENCES, KB_DIR, KB_DOCTOR_CHECKS, KB_EDGE_KINDS, KB_LINK_RELS, KB_MATERIALITIES, KB_RECORD_STATUSES, KB_RECORD_TYPES, KB_SLUG_PATTERN, type KbActorStamp, type KbAdjudicated, type KbAnchor, type KbAnchorChange, type KbAnchorDriftEntry, type KbAnchorLocator, KbAnchorSetDuplicateError, type KbAnchorSetOutcome, type KbAnchorSetResult, type KbAnchorSpan, type KbAnchorWrite, type KbBacklink, type KbBacklinksResult, KbBaseFrozenError, type KbCatalogEntry, type KbCatalogResult, type KbClass, type KbClassifiedFile, type KbClassifiedHunk, type KbClassifyFile, KbClassifyInputError, type KbClassifyOptions, type KbClassifyResult, type KbClassifyThresholds, type KbCommand, type KbCommandContext, type KbContextBudgets, type KbContextOptions, type KbContextResult, type KbDoctorCheck, type KbDoctorFinding, type KbDoctorGroup, type KbDoctorOptions, type KbDoctorReport, type KbDoctorThresholds, type KbDroppedLink, type KbEdgeKind, type KbExportForeignFile, type KbExportResult, type KbExportedDecision, type KbImpactOptions, type KbImpactResult, type KbImpactedRecord, type KbInboundEdge, KbInvalidConceptIdError, type KbLink, type KbLinkEdge, type KbLinkRel, type KbLinkRelSpec, type KbLoadResult, type KbLogAnchorChange, type KbLogEntry, type KbLogReadResult, type KbLogger, type KbMatch, type KbMatchRecord, type KbMergedPin, type KbMergedPins, KbMissingFlagValueError, type KbNeighbour, KbPackBudgetExceededError, type KbPackOptions, type KbPackResult, type KbPackedRecord, type KbPin, type KbPinLayer, type KbPinOptions, type KbPinResult, type KbPinStatus, KbPinsMalformedError, type KbPinsManifest, type KbPromoteCandidate, KbPromoteCollisionError, type KbPromoteResult, KbPromoteSelfError, KbPromoteStandingError, KbPromoteStoppedError, type KbPromotedRecord, type KbReassessAnchor, type KbReassessDefault, type KbReassessDiff, type KbReassessPacket, type KbRecord, KbRecordAlreadyExistsError, type KbRecordFrontmatter, KbRecordNotFoundError, type KbRecordStatus, type KbRecordType, type KbRecordTypeSpec, type KbSearchLogger, KbSelfVerificationError, type KbSource, type KbStanding, KbStore, type KbSupersededStub, type KbSyncResult, type KbTagFilter, type KbTraceEdge, type KbTraceOptions, type KbTraceStep, KbUnknownLinkRelError, type KbValidationProblem, type KbValidationSeverity, type KbVerdict, type KbVerifiedEvent, type KbWarning, KbWriteConflictError, type KbWriteInput, LINK_RELS, LOG_FILE, type MatchOptions, NO_DECISION_SLUG, PINS_FILE, PINS_LOCAL_FILE, PIN_LAYERS, PROMOTION_SOURCE_ID, type QmdModule, RECORD_TYPES, type RemoteAnchorState, type RemoteOptions, type RemoteRead, type ResolvedSymbol, type ResolverAttempt, type ResolverAttemptOptions, SEARCH_INDEX_FILE, type SearchHit, type SearchOptions, type SymbolRange, type SymbolRangeIndex, TRACE_EDGES, TreeSitterResolver, adjudicate, anchorFilePath, anchorOnHunk, anchorSetInputSchema, applyAnchorSet, assertBaseNotFrozen, backlinks, buildContext, carry, catalog, classifyDiff, classifyDrift, composeDecisionRecord, composeInputSchema, composeLinkSchema, composeNoDecisionRecord, composeRecord, contextProfileBudgets, createKbMcpServer, decisionInputSchema, defaultAnchorResolvers, detectAnchorDrift, doctor, edgeNeighbours, ensureGrammar, grammarHints, grammarManifest, grammarsCacheRoot, hashAnchorText, impact, inboundIndex, indexIsStale, isCanonicalRepoUrl, isKbLinkRel, isKbRecordType, isNoDecisionRecord, isReviewTag, kbActorStampSchema, kbAnchorLocatorSchema, kbAnchorSchema, kbAnchorSpanSchema, kbAnchorWriteSchema, kbConceptIdSchema, kbJsonSchemas, kbLinkSchema, kbLogAnchorChangeSchema, kbLogEntrySchema, kbLogEntryWriteSchema, kbRecordFrontmatterSchema, kbSourceSchema, kbVerifiedEventSchema, languageForFile, listPins, loadQmd, locatorOf, matchToDiff, matchesTags, mergedContextBudgets, neighbours, pack, parseLog, parseMarkdownWithFrontmatter, pinBase, prepareResolvers, promoteCandidates, promoteInputSchema, readMergedPins, readPinsLayer, readRemoteAnchors, reassessPacket, regexResolver, renderCatalogLine, renderIndex, renderIndexLine, renderLogEntry, repoCacheDir, resolveAnchor, resolveAnchorSpan, resolveHeads, resolveHits, resolvePinPath, runKbCli, runKbMcpServer, searchBase, selectDecisions, splitMarkdownFrontmatter, stringifyMarkdownWithFrontmatter, symbolRangeIndex, syncInstructions, toHookJson, trace, treeSitterLanguages, unifiedDiff, unpinBase, validateBundle };
+export { type AnchorResolution, type AnchorResolver, type AnchorResolverName, type AnchorSetInput, BaseError, CONTEXT_BEGIN, CONTEXT_END, CONTEXT_PROFILES, type ClassifiedAnchor, type ComposeInput, type ComposeLink, type ComposedRecord, DECISION_TYPE, DEFAULT_AGING_DAYS, DEFAULT_EXPIRING_DAYS, DEFAULT_LOAD_BUDGET, DEFAULT_PACK_HOPS, DEFAULT_PACK_MAX_NODES, DEFAULT_THRESHOLDS, DEFAULT_TYPED_LINK_RELS, DEFAULT_UNVERIFIED_DAYS, type DecisionInput, type DiffFile, type DiffHunk, type DiffMatch, type ErrorDetails, type ErrorProps, ErrorTypes, Fault, type Grammar, type GrammarManifest, type GrammarOptions, INDEX_FILE, KB_CAUSAL_LINK_RELS, KB_CLASSES, KB_COMMANDS, KB_COMMANDS_BY_NAME, KB_CONCEPT_ID_PATTERN, KB_CONFIDENCES, KB_DIR, KB_DOCTOR_CHECKS, KB_EDGE_KINDS, KB_LINK_RELS, KB_MATERIALITIES, KB_RECORD_STATUSES, KB_RECORD_TYPES, KB_SLUG_PATTERN, type KbActorStamp, type KbAdjudicated, type KbAnchor, type KbAnchorChange, type KbAnchorDriftEntry, type KbAnchorLocator, KbAnchorSetDuplicateError, type KbAnchorSetOutcome, type KbAnchorSetResult, type KbAnchorSpan, type KbAnchorWrite, type KbBacklink, type KbBacklinksResult, KbBaseFrozenError, type KbCatalogEntry, type KbCatalogResult, type KbClass, type KbClassifiedFile, type KbClassifiedHunk, type KbClassifyFile, KbClassifyInputError, type KbClassifyOptions, type KbClassifyResult, type KbClassifyThresholds, type KbCommand, type KbCommandContext, type KbContextBudgets, type KbContextOptions, type KbContextResult, type KbDoctorCheck, type KbDoctorFinding, type KbDoctorGroup, type KbDoctorOptions, type KbDoctorReport, type KbDoctorThresholds, type KbDroppedLink, type KbEdgeKind, type KbExportForeignFile, type KbExportResult, type KbExportedDecision, type KbImpactOptions, type KbImpactResult, type KbImpactedRecord, type KbInboundEdge, KbInvalidConceptIdError, type KbLink, type KbLinkEdge, type KbLinkRel, type KbLinkRelSpec, type KbLiveReference, type KbLoadResult, type KbLogAnchorChange, type KbLogEntry, type KbLogReadResult, type KbLogger, type KbMatch, type KbMatchRecord, type KbMergedPin, type KbMergedPins, KbMissingFlagValueError, type KbNeighbour, type KbOutboundReference, KbPackBudgetExceededError, type KbPackOptions, type KbPackResult, type KbPackedRecord, type KbPin, type KbPinLayer, type KbPinOptions, type KbPinResult, type KbPinStatus, KbPinsMalformedError, type KbPinsManifest, type KbPromoteCandidate, KbPromoteCollisionError, type KbPromoteResult, KbPromoteSelfError, KbPromoteStandingError, KbPromoteStoppedError, type KbPromotedRecord, type KbReassessAnchor, type KbReassessDefault, type KbReassessDiff, type KbReassessPacket, type KbRecord, KbRecordAlreadyExistsError, type KbRecordFrontmatter, KbRecordNotFoundError, type KbRecordStatus, type KbRecordType, type KbRecordTypeSpec, type KbSearchLogger, KbSelfVerificationError, type KbSource, type KbStaleReference, type KbStanding, KbStore, type KbSupersededStub, type KbSyncResult, type KbTagFilter, type KbTraceEdge, type KbTraceOptions, type KbTraceStep, KbUnknownLinkRelError, type KbValidationProblem, type KbValidationSeverity, type KbVerdict, type KbVerifiedEvent, type KbWarning, KbWriteConflictError, type KbWriteInput, LINK_RELS, LOG_FILE, type MatchOptions, NO_DECISION_SLUG, PINS_FILE, PINS_LOCAL_FILE, PIN_LAYERS, PROMOTION_SOURCE_ID, type QmdModule, RECORD_TYPES, type RemoteAnchorState, type RemoteOptions, type RemoteRead, type ResolvedSymbol, type ResolverAttempt, type ResolverAttemptOptions, SEARCH_INDEX_FILE, type SearchHit, type SearchOptions, type SymbolRange, type SymbolRangeIndex, TRACE_EDGES, TreeSitterResolver, adjudicate, anchorFilePath, anchorOnHunk, anchorSetInputSchema, applyAnchorSet, assertBaseNotFrozen, backlinks, bodyCitations, buildContext, carry, catalog, classifyDiff, classifyDrift, composeDecisionRecord, composeInputSchema, composeLinkSchema, composeNoDecisionRecord, composeRecord, contextProfileBudgets, createKbMcpServer, decisionInputSchema, defaultAnchorResolvers, detectAnchorDrift, doctor, edgeNeighbours, ensureGrammar, grammarHints, grammarManifest, grammarsCacheRoot, hashAnchorText, impact, inboundIndex, indexIsStale, isCanonicalRepoUrl, isKbLinkRel, isKbRecordType, isNoDecisionRecord, isReviewTag, kbActorStampSchema, kbAnchorLocatorSchema, kbAnchorSchema, kbAnchorSpanSchema, kbAnchorWriteSchema, kbConceptIdSchema, kbJsonSchemas, kbLinkSchema, kbLogAnchorChangeSchema, kbLogEntrySchema, kbLogEntryWriteSchema, kbRecordFrontmatterSchema, kbSourceSchema, kbVerifiedEventSchema, languageForFile, listPins, liveReferencesTo, loadQmd, locatorOf, matchToDiff, matchesTags, mergedContextBudgets, neighbours, outboundReferences, pack, parseLog, parseMarkdownWithFrontmatter, pinBase, prepareResolvers, promoteCandidates, promoteInputSchema, readMergedPins, readPinsLayer, readRemoteAnchors, reassessPacket, regexResolver, renderCatalogLine, renderIndex, renderIndexLine, renderLogEntry, repoCacheDir, resolveAnchor, resolveAnchorSpan, resolveHeads, resolveHits, resolvePinPath, runKbCli, runKbMcpServer, searchBase, selectDecisions, splitMarkdownFrontmatter, staleReferences, staleReferencesFrom, stringifyMarkdownWithFrontmatter, symbolRangeIndex, syncInstructions, toHookJson, trace, treeSitterLanguages, unifiedDiff, unpinBase, validateBundle };

package/dist/index.js

@@ -1,10 +1,10 @@
 import {
   runKbCli
-} from "./chunk-5IPQVXCM.js";
+} from "./chunk-4AJGI6WN.js";
 import {
   createKbMcpServer,
   runKbMcpServer
-} from "./chunk-3EZ3PAPA.js";
+} from "./chunk-EOSRZHWY.js";
 import {
   BaseError,
   CONTEXT_BEGIN,
@@ -71,6 +71,7 @@ import {
   applyAnchorSet,
   assertBaseNotFrozen,
   backlinks,
+  bodyCitations,
   buildContext,
   carry,
   catalog,
@@ -116,12 +117,14 @@ import {
   kbVerifiedEventSchema,
   languageForFile,
   listPins,
+  liveReferencesTo,
   loadQmd,
   locatorOf,
   matchToDiff,
   matchesTags,
   mergedContextBudgets,
   neighbours,
+  outboundReferences,
   pack,
   parseLog,
   parseMarkdownWithFrontmatter,
@@ -147,6 +150,8 @@ import {
   searchBase,
   selectDecisions,
   splitMarkdownFrontmatter,
+  staleReferences,
+  staleReferencesFrom,
   stringifyMarkdownWithFrontmatter,
   symbolRangeIndex,
   syncInstructions,
@@ -156,7 +161,7 @@ import {
   unifiedDiff,
   unpinBase,
   validateBundle
-} from "./chunk-XENLCPL5.js";
+} from "./chunk-MC5LUSZ3.js";
 export {
   BaseError,
   CONTEXT_BEGIN,
@@ -223,6 +228,7 @@ export {
   applyAnchorSet,
   assertBaseNotFrozen,
   backlinks,
+  bodyCitations,
   buildContext,
   carry,
   catalog,
@@ -269,12 +275,14 @@ export {
   kbVerifiedEventSchema,
   languageForFile,
   listPins,
+  liveReferencesTo,
   loadQmd,
   locatorOf,
   matchToDiff,
   matchesTags,
   mergedContextBudgets,
   neighbours,
+  outboundReferences,
   pack,
   parseLog,
   parseMarkdownWithFrontmatter,
@@ -302,6 +310,8 @@ export {
   searchBase,
   selectDecisions,
   splitMarkdownFrontmatter,
+  staleReferences,
+  staleReferencesFrom,
   stringifyMarkdownWithFrontmatter,
   symbolRangeIndex,
   syncInstructions,