kibi-cli 2.21.2 → 2.22.0

package/dist/commands/sync/manifest.js

@@ -63,6 +63,8 @@ const GENERATED_COORD_FIELDS = [
 const GENERATED_MANIFEST_FIELDS = new Set([
     ...GENERATED_COORD_FIELDS,
     "coordinatesGeneratedAt",
+    // Transient refresh outcome from the coordinate enricher; never authored.
+    "coordinateRefreshFailure",
 ]);
 /**
  * Coarse symbol anchors for which AST per-declaration coordinates are not
@@ -159,7 +161,14 @@ function manifestEntryIdentity(entry) {
  * granularity_reason (so the whole-file fallback is gated off) or the
  * fallback itself produced no span.
  */
+// implements REQ-generated-coordinate-persistence
 function coarseAnchorFailureReason(entry) {
+    // The enricher names the cause when the title is a declaration the symbol
+    // extractor never produces (a private class member): no refresh can bind
+    // it, so the remedy is to re-point or remove the symbol.
+    if (typeof entry.coordinateRefreshFailure === "string") {
+        return entry.coordinateRefreshFailure;
+    }
     const reason = entry.granularity_reason;
     if (!isCoarseGranularityReason(reason)) {
         return `extractor produced no coordinates; add symbol_role and granularity_reason ${COARSE_GRANULARITY_REASONS_PARENTHESIZED} to enable the whole-file coarse fallback`;

package/dist/extractors/symbols-coordinator.js

@@ -191,6 +191,7 @@ function withoutGeneratedCoordinates(entry) {
         "sourceEndLine",
         "sourceEndColumn",
         "coordinatesGeneratedAt",
+        "coordinateRefreshFailure",
     ]);
     return Object.fromEntries(Object.entries(entry).filter(([field]) => !generatedFields.has(field)));
 }

package/dist/intent-search.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"intent-search.d.ts","sourceRoot":"","sources":["../src/intent-search.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,KAAK,kBAAkB,EAIxB,MAAM,2CAA2C,CAAC;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAIvD,MAAM,MAAM,qBAAqB,GAC7B,QAAQ,GACR,SAAS,GACT,SAAS,GACT,aAAa,GACb,SAAS,CAAC;AAGd,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CACvC,OAAO,CAAC,MAAM,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAC1D,CAAC;AAGF,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC,CAAC;AAGH,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;IACpD,cAAc,CAAC,EAAE,kBAAkB,CAAC;IACpC,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC,CAAC;AAGH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC,CAAC;AAGH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AAGH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC5C,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IACvC,kBAAkB,EAAE,OAAO,CAAC;CAC7B,CAAC,CAAC;AAGH,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG;IAC5C,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;CACzC,CAAC;AAGF,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,WAAW,EAAE,WAAW,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B;;;;;OAKG;IACH,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC,CAAC;AAGH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,QAAQ,EAAE,oBAAoB,CAAC;CAChC,CAAC,CAAC;AAEH,KAAK,SAAS,GAAG,QAAQ,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AA2bH,2EAA2E;AAE3E,MAAM,MAAM,iBAAiB,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;AA8B3D,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAC5C,OAAO,EAAE,mBAAmB,EAC5B,aAAa,EAAE,MAAM,EACrB,UAAU,GAAE,SAAS,SAAS,EAAO,EACrC,SAAS,GAAE,iBAA6B,GACvC,OAAO,CAAC,kBAAkB,CAAC,CA8I7B;AAoCD,wBAAgB,SAAS,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,GAAG,MAAM,CAO1E;AA8FD,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,mBAAmB,EAC5B,MAAM,EAAE,UAAU,EAClB,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,kBAAkB,CAAC,CAoD7B;AAGD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,mBAAmB,GAAG,IAAI,CA0C1E"}
+{"version":3,"file":"intent-search.d.ts","sourceRoot":"","sources":["../src/intent-search.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,KAAK,kBAAkB,EAIxB,MAAM,2CAA2C,CAAC;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAIvD,MAAM,MAAM,qBAAqB,GAC7B,QAAQ,GACR,SAAS,GACT,SAAS,GACT,aAAa,GACb,SAAS,CAAC;AAGd,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CACvC,OAAO,CAAC,MAAM,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAC1D,CAAC;AAGF,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC,CAAC;AAGH,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;IACpD,cAAc,CAAC,EAAE,kBAAkB,CAAC;IACpC,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC,CAAC;AAGH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC,CAAC;AAGH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AAGH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC5C,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IACvC,kBAAkB,EAAE,OAAO,CAAC;CAC7B,CAAC,CAAC;AAGH,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG;IAC5C,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;CACzC,CAAC;AAGF,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,WAAW,EAAE,WAAW,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B;;;;;OAKG;IACH,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC,CAAC;AAGH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,QAAQ,EAAE,oBAAoB,CAAC;CAChC,CAAC,CAAC;AAEH,KAAK,SAAS,GAAG,QAAQ,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AA6cH,2EAA2E;AAE3E,MAAM,MAAM,iBAAiB,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;AA8B3D,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAC5C,OAAO,EAAE,mBAAmB,EAC5B,aAAa,EAAE,MAAM,EACrB,UAAU,GAAE,SAAS,SAAS,EAAO,EACrC,SAAS,GAAE,iBAA6B,GACvC,OAAO,CAAC,kBAAkB,CAAC,CAoJ7B;AAoCD,wBAAgB,SAAS,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,GAAG,MAAM,CAO1E;AA8FD,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,mBAAmB,EAC5B,MAAM,EAAE,UAAU,EAClB,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,kBAAkB,CAAC,CAoD7B;AAGD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,mBAAmB,GAAG,IAAI,CA0C1E"}

package/dist/intent-search.js

@@ -153,6 +153,22 @@ function tokens(value) {
         .split(" ")
         .filter((token) => token.length > 0 && !STOP_WORDS.has(token))));
 }
+// Clause boundaries an agent writes when it packs several questions into one
+// query: "user roles: how many can a user have, support role".
+const CLAUSE_SEPARATOR = /[;:,!?\n]+|\.(?=\s|$)|\s[-\u2013\u2014]\s/;
+const MIN_CLAUSE_TOKENS = 2;
+/**
+ * The token sets of a compound query's clauses, or none for a single clause.
+ * A clause needs two signal tokens: one word alone matches too broadly to
+ * stand in for the question.
+ */
+function queryClauses(query) {
+    const clauses = query
+        .split(CLAUSE_SEPARATOR)
+        .map((clause) => tokens(clause))
+        .filter((clause) => clause.length >= MIN_CLAUSE_TOKENS);
+    return clauses.length > 1 ? clauses : [];
+}
 function stringValues(value) {
     if (typeof value === "string")
         return value.trim() ? [value] : [];
@@ -392,10 +408,11 @@ async function readBodies(entities, workspaceRoot, cache) {
 export async function rankIntentEntities(entities, options, workspaceRoot, graphEdges = [], bodyCache = new Map()) {
     const queryTokens = tokens(options.query);
     const facets = facetValues(options.semanticFacets);
-    const allTokens = Array.from(new Set([
-        ...queryTokens,
-        ...facets.flatMap((facet) => tokens(facet.value)),
-    ]));
+    const facetTokens = facets.flatMap((facet) => tokens(facet.value));
+    const allTokens = Array.from(new Set([...queryTokens, ...facetTokens]));
+    // Each clause of a compound question is also scored on its own, so the
+    // words of one clause do not dilute a match on another.
+    const clauseTokenSets = queryClauses(options.query).map((clause) => Array.from(new Set([...clause, ...facetTokens])));
     const bodies = await readBodies(entities, workspaceRoot, bodyCache);
     const documentFrequency = buildDocumentFrequency(entities, bodies);
     const supersededIds = new Set(graphEdges
@@ -428,8 +445,13 @@ export async function rankIntentEntities(entities, options, workspaceRoot, graph
         // already capped; unbounded parallel paths only add noise to receipts.
         const graphEvidence = (graphByEntity.get(entityId) ?? []).slice(0, 8);
         const body = bodies.get(entity) ?? null;
-        const scored = scoreEntity(entity, allTokens, facets, sourceEvidence, graphEvidence, documentFrequency, entities.length, body, supersededIds.has(entityId), isProvenanceStub(entity));
-        if (scored.score < minScore)
+        let scored;
+        for (const signalTokens of [allTokens, ...clauseTokenSets]) {
+            const candidate = scoreEntity(entity, signalTokens, facets, sourceEvidence, graphEvidence, documentFrequency, entities.length, body, supersededIds.has(entityId), isProvenanceStub(entity));
+            if (scored === undefined || candidate.score > scored.score)
+                scored = candidate;
+        }
+        if (scored === undefined || scored.score < minScore)
             continue;
         const snippet = body === null
             ? undefined

package/dist/operations/migration/inventory-rederive.d.ts

@@ -51,6 +51,26 @@ export type InventoryRederivation = Readonly<{
     contract: InventoryContract;
     /** SHA-256 of the canonical re-derived contract; the apply step re-checks it. */
     contractHash: string;
+    /**
+     * Grounding links (requires_*) whose target no longer grounds a modeled
+     * claim of the re-derived inventory. Empty for a safe re-derivation.
+     */
+    orphanedGrounding: readonly OrphanedGroundingLink[];
+    /**
+     * True when an unsafe re-derivation passes ingestion once exactly the
+     * orphaned grounding links are removed from the requirement's front
+     * matter. A person approves that explicitly; it is never automatic.
+     */
+    rederivableByDroppingGrounding: boolean;
+}>;
+/** A grounding link the re-derived inventory no longer supports. */
+export type OrphanedGroundingLink = Readonly<{
+    type: string;
+    target: string;
+    /** The target fact's claim_key; null when it declares none. */
+    claimKey: string | null;
+    /** Declared in the requirement's front matter `links` (not a shard). */
+    inFrontMatter: boolean;
 }>;
 /**
  * Every current requirement whose stored inventory contract no longer matches
@@ -58,7 +78,14 @@ export type InventoryRederivation = Readonly<{
  * reports all of them instead of stopping at the first. `onlyId` limits the
  * scan to one requirement.
  */
-export declare function planInventoryRederivation(workspaceRoot: string, onlyId?: string): InventoryRederivation[];
+export declare function planInventoryRederivation(workspaceRoot: string, onlyId?: string, options?: Readonly<{
+    /**
+     * Plan as if the requirement had this status: a requirement whose status
+     * is outside the current vocabulary is not validated, so its drift only
+     * shows once the status is mapped.
+     */
+    status?: string;
+}>): InventoryRederivation[];
 export type InventoryRederivationOutcome = Readonly<{
     requirementId: string;
     path: string;
@@ -72,6 +99,18 @@ export type InventoryRederivationOutcome = Readonly<{
  * left unchanged, so repeated runs are no-ops.
  */
 export declare function applyInventoryRederivation(workspaceRoot: string, requirementId: string, expectedContractHash?: string): InventoryRederivationOutcome;
+/**
+ * Apply an unsafe re-derivation a person approved: write the re-derived
+ * contract and remove exactly `expectedDrops`, the orphaned grounding links
+ * the plan listed, from the requirement's front matter. The current plan must
+ * still produce the approved contract hash and the same orphaned links, and
+ * the rewritten requirement must pass ingestion before anything is written;
+ * the grounding facts themselves are left alone.
+ */
+export declare function applyInventoryRederivationDroppingGrounding(workspaceRoot: string, requirementId: string, expectedContractHash: string, expectedDrops: readonly Readonly<{
+    type: string;
+    target: string;
+}>[]): InventoryRederivationOutcome;
 /** Apply every safe re-derivation; unsafe ones are returned untouched. */
 export declare function applySafeInventoryRederivations(workspaceRoot: string): {
     rederived: InventoryRederivationOutcome[];

package/dist/operations/migration/inventory-rederive.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"inventory-rederive.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/inventory-rederive.ts"],"names":[],"mappings":"AA2EA,KAAK,cAAc,GAAG;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IACrC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,gDAAgD;AAEhD,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EACF,MAAM,GACN,cAAc,GACd,cAAc,GACd,gBAAgB,GAChB,aAAa,GACb,gBAAgB,GAChB,aAAa,GACb,SAAS,CAAC;IACd,MAAM,CAAC,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpD,KAAK,CAAC,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACpD,CAAC,CAAC;AAGH,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,iBAAiB,EAAE,MAAM,CAAC;CAC3B,CAAC,CAAC;AAEH,oEAAoE;AAEpE,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,0BAA0B,EAAE,MAAM,CAAC;IACnC,qBAAqB,EAAE,MAAM,CAAC;IAC9B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kBAAkB,EAAE,SAAS,cAAc,EAAE,CAAC;IAC9C,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC,CAAC,CAAC;AAGH,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,4DAA4D;IAC5D,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,IAAI,EAAE,OAAO,CAAC;IACd,+DAA+D;IAC/D,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,OAAO,EAAE,4BAA4B,CAAC;IACtC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACzC,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,iFAAiF;IACjF,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC,CAAC;AA2UH;;;;;GAKG;AAEH,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,EACrB,MAAM,CAAC,EAAE,MAAM,GACd,qBAAqB,EAAE,CA+BzB;AA0FD,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,WAAW,GAAG,WAAW,CAAC;IACnC,OAAO,CAAC,EAAE,4BAA4B,CAAC;CACxC,CAAC,CAAC;AAEH;;;;;GAKG;AAEH,wBAAgB,0BAA0B,CACxC,aAAa,EAAE,MAAM,EACrB,aAAa,EAAE,MAAM,EACrB,oBAAoB,CAAC,EAAE,MAAM,GAC5B,4BAA4B,CA0C9B;AAED,0EAA0E;AAE1E,wBAAgB,+BAA+B,CAAC,aAAa,EAAE,MAAM,GAAG;IACtE,SAAS,EAAE,4BAA4B,EAAE,CAAC;IAC1C,MAAM,EAAE,qBAAqB,EAAE,CAAC;CACjC,CAaA"}
+{"version":3,"file":"inventory-rederive.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/inventory-rederive.ts"],"names":[],"mappings":"AA2EA,KAAK,cAAc,GAAG;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IACrC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,gDAAgD;AAEhD,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EACF,MAAM,GACN,cAAc,GACd,cAAc,GACd,gBAAgB,GAChB,aAAa,GACb,gBAAgB,GAChB,aAAa,GACb,SAAS,CAAC;IACd,MAAM,CAAC,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpD,KAAK,CAAC,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACpD,CAAC,CAAC;AAGH,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,iBAAiB,EAAE,MAAM,CAAC;CAC3B,CAAC,CAAC;AAEH,oEAAoE;AAEpE,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,0BAA0B,EAAE,MAAM,CAAC;IACnC,qBAAqB,EAAE,MAAM,CAAC;IAC9B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kBAAkB,EAAE,SAAS,cAAc,EAAE,CAAC;IAC9C,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC,CAAC,CAAC;AAGH,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,4DAA4D;IAC5D,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,IAAI,EAAE,OAAO,CAAC;IACd,+DAA+D;IAC/D,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,OAAO,EAAE,4BAA4B,CAAC;IACtC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACzC,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,iFAAiF;IACjF,YAAY,EAAE,MAAM,CAAC;IACrB;;;OAGG;IACH,iBAAiB,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACpD;;;;OAIG;IACH,8BAA8B,EAAE,OAAO,CAAC;CACzC,CAAC,CAAC;AAEH,oEAAoE;AAEpE,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,+DAA+D;IAC/D,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,wEAAwE;IACxE,aAAa,EAAE,OAAO,CAAC;CACxB,CAAC,CAAC;AAmXH;;;;;GAKG;AAEH,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,EACrB,MAAM,CAAC,EAAE,MAAM,EACf,OAAO,GAAE,QAAQ,CAAC;IAChB;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAM,GACN,qBAAqB,EAAE,CAiCzB;AAmHD,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,WAAW,GAAG,WAAW,CAAC;IACnC,OAAO,CAAC,EAAE,4BAA4B,CAAC;CACxC,CAAC,CAAC;AAEH;;;;;GAKG;AAEH,wBAAgB,0BAA0B,CACxC,aAAa,EAAE,MAAM,EACrB,aAAa,EAAE,MAAM,EACrB,oBAAoB,CAAC,EAAE,MAAM,GAC5B,4BAA4B,CA0C9B;AAUD;;;;;;;GAOG;AAEH,wBAAgB,2CAA2C,CACzD,aAAa,EAAE,MAAM,EACrB,aAAa,EAAE,MAAM,EACrB,oBAAoB,EAAE,MAAM,EAC5B,aAAa,EAAE,SAAS,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,GACnE,4BAA4B,CA+C9B;AAED,0EAA0E;AAE1E,wBAAgB,+BAA+B,CAAC,aAAa,EAAE,MAAM,GAAG;IACtE,SAAS,EAAE,4BAA4B,EAAE,CAAC;IAC1C,MAAM,EAAE,qBAAqB,EAAE,CAAC;CACjC,CAaA"}

package/dist/operations/migration/inventory-rederive.js

@@ -138,7 +138,7 @@ function relationshipsFor(id, extracted, shards) {
     for (const relationship of [...extracted, ...shards]) {
         if (relationship.from !== id)
             continue;
-        unique.set(`${relationship.type}\u0000${relationship.from}\u0000${relationship.to}`, relationship);
+        unique.set(relationshipKey(relationship), relationship);
     }
     return [...unique.values()];
 }
@@ -267,20 +267,32 @@ function planOne(workspaceRoot, relativePath, entity, extracted, shards, facts)
     for (const claimKey of modeledBecameContext) {
         reasons.push(`modeled claim ${claimKey} is now classified as context (${inventory.find((entry) => entry.claim_key === claimKey)?.role ?? "context"}); its grounding cannot stay`);
     }
+    const modeledKeys = inventory
+        .filter((entry) => entry.status === "modeled")
+        .map((entry) => entry.claim_key);
+    const declared = new Set(extracted
+        .filter((relationship) => relationship.from === entity.id)
+        .map(relationshipKey));
     const groundingKeys = [];
+    const orphanedGrounding = [];
     for (const relationship of relationships) {
         if (!GROUNDING_RELATIONSHIPS.has(relationship.type))
             continue;
         const claimKey = facts.claimKey(relationship.to);
+        if (claimKey === undefined || !modeledKeys.includes(claimKey)) {
+            orphanedGrounding.push({
+                type: relationship.type,
+                target: relationship.to,
+                claimKey: claimKey ?? null,
+                inFrontMatter: declared.has(relationshipKey(relationship)),
+            });
+        }
         if (claimKey === undefined) {
             reasons.push(`grounding target ${relationship.to} (${relationship.type}) declares no claim_key`);
             continue;
         }
         groundingKeys.push(claimKey);
     }
-    const modeledKeys = inventory
-        .filter((entry) => entry.status === "modeled")
-        .map((entry) => entry.claim_key);
     for (const claimKey of new Set(groundingKeys)) {
         if (modeledKeys.includes(claimKey))
             continue;
@@ -298,6 +310,14 @@ function planOne(workspaceRoot, relativePath, entity, extracted, shards, facts)
     for (const error of after.errors) {
         reasons.push(`re-derived inventory would still fail ingestion: ${error}`);
     }
+    const orphaned = new Set(orphanedGrounding.map((link) => relationshipKey({ type: link.type, from: entity.id, to: link.target })));
+    const rederivableByDroppingGrounding = reasons.length > 0 &&
+        orphanedGrounding.length > 0 &&
+        // A target without claim_key may ground something else (a property
+        // value, for example); only links to a claim that is no longer modeled
+        // are dropped, and only from the requirement's own front matter.
+        orphanedGrounding.every((link) => link.inFrontMatter && link.claimKey !== null) &&
+        validateSemanticInventoryBoundary(nextPayload, relationships.filter((relationship) => !orphaned.has(relationshipKey(relationship))), analyzeSemanticAdvisorInput({ payload: nextPayload }).receipt).errors.length === 0;
     return {
         requirementId: entity.id,
         path: relativePath,
@@ -310,8 +330,13 @@ function planOne(workspaceRoot, relativePath, entity, extracted, shards, facts)
         contractHash: createHash("sha256")
             .update(canonicalJson(contract))
             .digest("hex"),
+        orphanedGrounding,
+        rederivableByDroppingGrounding,
     };
 }
+function relationshipKey(relationship) {
+    return `${relationship.type}\u0000${relationship.from}\u0000${relationship.to}`;
+}
 function readShardRelationships(workspaceRoot) {
     try {
         return readAllShards(path.join(workspaceRoot, ".kb")).map(({ type, from, to }) => ({ type, from, to }));
@@ -328,7 +353,7 @@ function readShardRelationships(workspaceRoot) {
  * scan to one requirement.
  */
 // implements REQ-kibi-proposition-complete-ingestion, REQ-cli-schema-migration
-export function planInventoryRederivation(workspaceRoot, onlyId) {
+export function planInventoryRederivation(workspaceRoot, onlyId, options = {}) {
     const shards = readShardRelationships(workspaceRoot);
     const facts = new FactClaimIndex(workspaceRoot);
     const plans = [];
@@ -347,7 +372,9 @@ export function planInventoryRederivation(workspaceRoot, onlyId) {
         }
         if (onlyId !== undefined && result.entity.id !== onlyId)
             continue;
-        const plan = planOne(workspaceRoot, file.relativePath, result.entity, result.relationships, shards, facts);
+        const plan = planOne(workspaceRoot, file.relativePath, options.status === undefined
+            ? result.entity
+            : { ...result.entity, status: options.status }, result.relationships, shards, facts);
         if (plan !== null)
             plans.push(plan);
     }
@@ -357,7 +384,7 @@ export function planInventoryRederivation(workspaceRoot, onlyId) {
  * Rewrite the inventory contract keys of one requirement's frontmatter and
  * confirm every other frontmatter field reads back unchanged.
  */
-function rewriteContract(content, contract) {
+function rewriteContract(content, contract, dropLinks = []) {
     const slice = sliceFrontmatter(content);
     if (slice === null)
         return null;
@@ -365,6 +392,24 @@ function rewriteContract(content, contract) {
     if (document.errors.length > 0)
         return null;
     const current = document.toJS();
+    const dropped = (link) => isRecord(link) &&
+        dropLinks.some((drop) => drop.type === link.type && drop.target === link.target);
+    const keptLinks = Array.isArray(current.links)
+        ? current.links.filter((link) => !dropped(link))
+        : current.links;
+    if (dropLinks.length > 0) {
+        if (!Array.isArray(current.links))
+            return null;
+        if (current.links.length - keptLinks.length !==
+            dropLinks.length)
+            return null;
+        for (let index = current.links.length - 1; index >= 0; index--) {
+            if (dropped(current.links[index]))
+                document.deleteIn(["links", index]);
+        }
+        if (keptLinks.length === 0)
+            document.delete("links");
+    }
     const flowSpan = (span) => {
         const node = document.createNode(span);
         node.flow = true;
@@ -425,7 +470,11 @@ function rewriteContract(content, contract) {
         ])) {
             const expected = key in contract
                 ? contract[key]
-                : before[key];
+                : key === "links" && dropLinks.length > 0
+                    ? keptLinks.length > 0
+                        ? keptLinks
+                        : undefined
+                    : before[key];
             if (!isDeepStrictEqual(after[key], expected))
                 return null;
         }
@@ -472,6 +521,48 @@ export function applyInventoryRederivation(workspaceRoot, requirementId, expecte
         summary: plan.summary,
     };
 }
+function linkKeys(links) {
+    return JSON.stringify(links.map((link) => `${link.type}\u0000${link.target}`).sort());
+}
+/**
+ * Apply an unsafe re-derivation a person approved: write the re-derived
+ * contract and remove exactly `expectedDrops`, the orphaned grounding links
+ * the plan listed, from the requirement's front matter. The current plan must
+ * still produce the approved contract hash and the same orphaned links, and
+ * the rewritten requirement must pass ingestion before anything is written;
+ * the grounding facts themselves are left alone.
+ */
+// implements REQ-kibi-proposition-complete-ingestion, REQ-cli-schema-migration
+export function applyInventoryRederivationDroppingGrounding(workspaceRoot, requirementId, expectedContractHash, expectedDrops) {
+    const plan = planInventoryRederivation(workspaceRoot, requirementId).find((candidate) => candidate.requirementId === requirementId);
+    if (plan === undefined ||
+        !plan.rederivableByDroppingGrounding ||
+        plan.contractHash !== expectedContractHash ||
+        linkKeys(plan.orphanedGrounding) !== linkKeys(expectedDrops)) {
+        throw new Error(`Requirement ${requirementId} changed since planning; rerun kibi migrate and approve the new plan.`);
+    }
+    const absolute = path.join(workspaceRoot, plan.path);
+    const content = readText(absolute);
+    const next = content === null
+        ? null
+        : rewriteContract(content, plan.contract, plan.orphanedGrounding);
+    if (next === null) {
+        throw new Error(`Requirement ${requirementId}: the re-derived inventory and the dropped grounding links could not be written without changing other frontmatter fields.`);
+    }
+    // Fail closed: the rewritten requirement must pass ingestion as sync sees it.
+    const reread = extractFromMarkdownString(next, absolute);
+    const remaining = planOne(workspaceRoot, plan.path, reread.entity, reread.relationships, readShardRelationships(workspaceRoot), new FactClaimIndex(workspaceRoot));
+    if (remaining !== null) {
+        throw new Error(`Requirement ${requirementId}: the rewrite would still fail ingestion (${remaining.errors.join("; ")}); nothing was written.`);
+    }
+    writeFileAtomically(absolute, next);
+    return {
+        requirementId,
+        path: plan.path,
+        outcome: "rederived",
+        summary: plan.summary,
+    };
+}
 /** Apply every safe re-derivation; unsafe ones are returned untouched. */
 // implements REQ-kibi-proposition-complete-ingestion, REQ-cli-schema-migration
 export function applySafeInventoryRederivations(workspaceRoot) {

package/dist/operations/migration/requirement-status.d.ts

@@ -0,0 +1,25 @@
+import { type InventoryRederivation } from "./inventory-rederive.js";
+/**
+ * Suggested current status for ADR or lifecycle vocabulary found on
+ * requirements: decided or still-proposed intent stays `open`; retired
+ * intent is `closed`.
+ */
+export declare const SUGGESTED_REQUIREMENT_STATUS: Readonly<Record<string, string>>;
+/** One requirement whose status is outside the vocabulary. */
+export type RequirementStatusFinding = Readonly<{
+    requirementId: string;
+    path: string;
+    status: string;
+    /** The suggested current status; null when Kibi has no suggestion. */
+    suggestedStatus: string | null;
+    /** Inventory drift the requirement shows once it has the suggested status. */
+    latentDrift: InventoryRederivation | null;
+}>;
+/** Every requirement whose authored status is outside the vocabulary. */
+export declare function planRequirementStatusMappings(workspaceRoot: string): RequirementStatusFinding[];
+/**
+ * Set the status of one requirement from `from` to `to`, replacing only its
+ * `status` line. Refuses when the authored status is no longer `from`.
+ */
+export declare function applyRequirementStatusMapping(workspaceRoot: string, relativePath: string, from: string, to: string): void;
+//# sourceMappingURL=requirement-status.d.ts.map

package/dist/operations/migration/requirement-status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"requirement-status.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/requirement-status.ts"],"names":[],"mappings":"AAmBA,OAAO,EACL,KAAK,qBAAqB,EAE3B,MAAM,yBAAyB,CAAC;AA8BjC;;;;GAIG;AAEH,eAAO,MAAM,4BAA4B,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAOzE,CAAC;AAEF,8DAA8D;AAE9D,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,sEAAsE;IACtE,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,8EAA8E;IAC9E,WAAW,EAAE,qBAAqB,GAAG,IAAI,CAAC;CAC3C,CAAC,CAAC;AAYH,yEAAyE;AAEzE,wBAAgB,6BAA6B,CAC3C,aAAa,EAAE,MAAM,GACpB,wBAAwB,EAAE,CA8B5B;AAED;;;GAGG;AAEH,wBAAgB,6BAA6B,CAC3C,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,GACT,IAAI,CAaN"}

package/dist/operations/migration/requirement-status.js

@@ -0,0 +1,105 @@
+/*
+ Kibi — repo-local, per-branch, queryable long-term memory for software projects
+ Copyright (C) 2026 Piotr Franczyk
+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU Affero General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ GNU Affero General Public License for more details.
+
+ You should have received a copy of the GNU Affero General Public License
+ along with this program.  If not, see <https://www.gnu.org/licenses/>.
+*/
+import path from "node:path";
+import { planInventoryRederivation, } from "./inventory-rederive.js";
+import { listLaneMarkdownFiles, readText, readTopLevelField, sliceFrontmatter, withTopLevelField, writeFileAtomically, } from "./kb-sources.js";
+/**
+ * Requirement statuses outside the current vocabulary (`req-status-vocabulary`).
+ *
+ * A requirement with ADR vocabulary such as `status: accepted` compiles, but
+ * it is not a current requirement: the proof ladder skips it and the
+ * ingestion boundary does not validate its semantic inventory, so inventory
+ * drift stays hidden until someone maps the status. Which current status a
+ * legacy one means is a semantic choice, so the mapping is only suggested;
+ * the latent drift is computed as if the suggestion were applied.
+ */
+/** Statuses `kibi check` accepts on a requirement (canonical and legacy). */
+const REQUIREMENT_STATUSES = new Set([
+    "open",
+    "in_progress",
+    "closed",
+    "active",
+    "approved",
+]);
+/**
+ * Suggested current status for ADR or lifecycle vocabulary found on
+ * requirements: decided or still-proposed intent stays `open`; retired
+ * intent is `closed`.
+ */
+// implements REQ-cli-schema-migration
+export const SUGGESTED_REQUIREMENT_STATUS = {
+    accepted: "open",
+    proposed: "open",
+    draft: "open",
+    deprecated: "closed",
+    superseded: "closed",
+    rejected: "closed",
+};
+function statusOf(content) {
+    const slice = sliceFrontmatter(content);
+    return slice === null ? undefined : readTopLevelField(slice.text, "status");
+}
+function idOf(content) {
+    const slice = sliceFrontmatter(content);
+    return slice === null ? undefined : readTopLevelField(slice.text, "id");
+}
+/** Every requirement whose authored status is outside the vocabulary. */
+// implements REQ-cli-schema-migration
+export function planRequirementStatusMappings(workspaceRoot) {
+    const findings = [];
+    for (const file of listLaneMarkdownFiles(workspaceRoot, ["requirements"])) {
+        const content = readText(file.absolutePath);
+        if (content === null)
+            continue;
+        const status = statusOf(content);
+        if (typeof status !== "string" || REQUIREMENT_STATUSES.has(status))
+            continue;
+        const id = idOf(content);
+        const requirementId = typeof id === "string" && id.length > 0
+            ? id
+            : path.basename(file.relativePath, ".md");
+        const suggestedStatus = SUGGESTED_REQUIREMENT_STATUS[status] ?? null;
+        findings.push({
+            requirementId,
+            path: file.relativePath,
+            status,
+            suggestedStatus,
+            latentDrift: suggestedStatus === null
+                ? null
+                : (planInventoryRederivation(workspaceRoot, requirementId, {
+                    status: suggestedStatus,
+                }).find((plan) => plan.requirementId === requirementId) ?? null),
+        });
+    }
+    return findings.sort((left, right) => left.requirementId.localeCompare(right.requirementId));
+}
+/**
+ * Set the status of one requirement from `from` to `to`, replacing only its
+ * `status` line. Refuses when the authored status is no longer `from`.
+ */
+// implements REQ-cli-schema-migration
+export function applyRequirementStatusMapping(workspaceRoot, relativePath, from, to) {
+    const absolute = path.join(workspaceRoot, relativePath);
+    const content = readText(absolute);
+    if (content === null || statusOf(content) !== from)
+        throw new Error(`${relativePath} no longer has status ${from}; rerun kibi migrate and approve the new plan.`);
+    const next = withTopLevelField(content, "status", to);
+    if (next === null)
+        throw new Error(`${relativePath}: status could not be set to ${to} without changing other frontmatter fields; set it by hand.`);
+    writeFileAtomically(absolute, next);
+}

package/dist/operations/migration/schema6.d.ts

@@ -10,10 +10,25 @@ export declare const DECISION_FIRMNESS_SCHEMA_VERSION = 9;
 export declare const SEMANTIC_INVENTORY_REDERIVE_CODE = "semantic_inventory_rederive";
 /** Review: a drifted inventory Kibi cannot re-derive safely. */
 export declare const SEMANTIC_INVENTORY_REVIEW_CODE = "semantic_inventory_review";
+/**
+ * Review, applied only when approved by id: re-derive a drifted inventory and
+ * drop the grounding links that no longer ground a modeled claim.
+ */
+export declare const SEMANTIC_INVENTORY_REDERIVE_DROP_GROUNDING_CODE = "semantic_inventory_rederive_drop_grounding";
+/** Review, applied only when approved by id: map a legacy requirement status. */
+export declare const REQ_STATUS_VOCABULARY_MAP_CODE = "req_status_vocabulary_map";
 /** Automatic: stamp `origin: {kind: migration}` on authored entities. */
 export declare const ENTITY_ORIGIN_BACKFILL_CODE = "entity_origin_backfill";
 export declare const ENTITY_ORIGIN_BACKFILL_ACTION_ID = "entity-origin-backfill";
 export { CLOSE_SUPERSEDED_REQUIREMENTS_CODE, MIGRATION_SYNC_ACTION_ID, MIGRATION_SYNC_CODE, SOURCE_PATH_REWRITE_CODE, };
+/**
+ * One action per requirement whose status is outside the vocabulary: a
+ * review (the target status is a semantic choice) carrying the suggested
+ * mapping and the inventory drift the requirement shows once mapped. With a
+ * suggestion it is executable when approved by id; the re-derivation of the
+ * latent drift depends on it.
+ */
+export declare function requirementStatusActions(workspaceRoot: string): MigrationAction[];
 /**
  * Exceptions without approved_by, read from authored sources so the list is
  * available before the KB compiles.
@@ -51,6 +66,11 @@ export declare function buildLifecycleRepairActions(workspaceRoot: string): {
     actions: MigrationAction[];
     sourceRewriteActionIds: string[];
 };
+/**
+ * The automatic legacy-link pass over `.kb/symbols.yaml`, bound to the
+ * manifest bytes it was planned from; null when no link needs a mark.
+ */
+export declare function symbolLegacyLinkAction(workspaceRoot: string): MigrationAction | null;
 /** The sync that recompiles sources rewritten by earlier actions. */
 export declare function migrationSyncAction(dependsOn: readonly string[]): MigrationAction;
 type ApplyContext = Readonly<{
@@ -59,5 +79,10 @@ type ApplyContext = Readonly<{
 }>;
 /** Execute one automatic action produced by this module. */
 export declare function applySchema6MigrationAction(action: MigrationAction, context: ApplyContext): Promise<void>;
+/**
+ * Review actions Kibi can execute, but only when a person approves them by
+ * id (`--approved-action`): `--apply-safe` selects automatic actions alone.
+ */
+export declare const SCHEMA6_APPROVABLE_REVIEW_CODES: ReadonlySet<string>;
 export declare const SCHEMA6_AUTOMATIC_CODES: ReadonlySet<string>;
 //# sourceMappingURL=schema6.d.ts.map

package/dist/operations/migration/schema6.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema6.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/schema6.ts"],"names":[],"mappings":"AAuBA,OAAO,EACL,KAAK,eAAe,EAErB,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAEL,kCAAkC,EAClC,wBAAwB,EACxB,mBAAmB,EAEnB,wBAAwB,EAOzB,MAAM,kDAAkD,CAAC;AAyC1D,gEAAgE;AAEhE,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAEvC,+EAA+E;AAE/E,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C,4DAA4D;AAE5D,eAAO,MAAM,gCAAgC,IAAI,CAAC;AAElD,yEAAyE;AAEzE,eAAO,MAAM,gCAAgC,gCAAgC,CAAC;AAC9E,gEAAgE;AAEhE,eAAO,MAAM,8BAA8B,8BAA8B,CAAC;AAC1E,yEAAyE;AAEzE,eAAO,MAAM,2BAA2B,2BAA2B,CAAC;AAEpE,eAAO,MAAM,gCAAgC,2BAA2B,CAAC;AACzE,OAAO,EACL,kCAAkC,EAClC,wBAAwB,EACxB,mBAAmB,EACnB,wBAAwB,GACzB,CAAC;AAwEF;;;GAGG;AAEH,wBAAgB,+BAA+B,CAC7C,aAAa,EAAE,MAAM,GACpB,KAAK,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAsDnE;AAGD,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IACpC,uDAAuD;IACvD,sBAAsB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC,CAAC,CAAC;AAEH;;;;;;GAMG;AAEH,wBAAgB,6BAA6B,CAAC,KAAK,EAAE;IACnD,aAAa,EAAE,MAAM,CAAC;IACtB,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;CACrC,GAAG,wBAAwB,CAoM3B;AAED;;;;;;GAMG;AAEH,wBAAgB,2BAA2B,CAAC,aAAa,EAAE,MAAM,GAAG;IAClE,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,sBAAsB,EAAE,MAAM,EAAE,CAAC;CAClC,CAoCA;AAED,qEAAqE;AAErE,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,eAAe,CAEjB;AA0CD,KAAK,YAAY,GAAG,QAAQ,CAAC;IAC3B,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,MAAM,IAAI,CAAC;CACnB,CAAC,CAAC;AAEH,4DAA4D;AAE5D,wBAAsB,2BAA2B,CAC/C,MAAM,EAAE,eAAe,EACvB,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC,IAAI,CAAC,CA0Ef;AAGD,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAUtD,CAAC"}
+{"version":3,"file":"schema6.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/schema6.ts"],"names":[],"mappings":"AAuBA,OAAO,EACL,KAAK,eAAe,EAErB,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAEL,kCAAkC,EAClC,wBAAwB,EACxB,mBAAmB,EAEnB,wBAAwB,EAOzB,MAAM,kDAAkD,CAAC;AAoD1D,gEAAgE;AAEhE,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAEvC,+EAA+E;AAE/E,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C,4DAA4D;AAE5D,eAAO,MAAM,gCAAgC,IAAI,CAAC;AAElD,yEAAyE;AAEzE,eAAO,MAAM,gCAAgC,gCAAgC,CAAC;AAC9E,gEAAgE;AAEhE,eAAO,MAAM,8BAA8B,8BAA8B,CAAC;AAC1E;;;GAGG;AAEH,eAAO,MAAM,+CAA+C,+CACd,CAAC;AAC/C,iFAAiF;AAEjF,eAAO,MAAM,8BAA8B,8BAA8B,CAAC;AAC1E,yEAAyE;AAEzE,eAAO,MAAM,2BAA2B,2BAA2B,CAAC;AAEpE,eAAO,MAAM,gCAAgC,2BAA2B,CAAC;AACzE,OAAO,EACL,kCAAkC,EAClC,wBAAwB,EACxB,mBAAmB,EACnB,wBAAwB,GACzB,CAAC;AAgLF;;;;;;GAMG;AAEH,wBAAgB,wBAAwB,CACtC,aAAa,EAAE,MAAM,GACpB,eAAe,EAAE,CAqEnB;AAyBD;;;GAGG;AAEH,wBAAgB,+BAA+B,CAC7C,aAAa,EAAE,MAAM,GACpB,KAAK,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAsDnE;AAGD,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IACpC,uDAAuD;IACvD,sBAAsB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC,CAAC,CAAC;AAEH;;;;;;GAMG;AAEH,wBAAgB,6BAA6B,CAAC,KAAK,EAAE;IACnD,aAAa,EAAE,MAAM,CAAC;IACtB,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;CACrC,GAAG,wBAAwB,CAgN3B;AAED;;;;;;GAMG;AAEH,wBAAgB,2BAA2B,CAAC,aAAa,EAAE,MAAM,GAAG;IAClE,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,sBAAsB,EAAE,MAAM,EAAE,CAAC;CAClC,CAoCA;AAED;;;GAGG;AAEH,wBAAgB,sBAAsB,CACpC,aAAa,EAAE,MAAM,GACpB,eAAe,GAAG,IAAI,CAqBxB;AAED,qEAAqE;AAErE,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,eAAe,CAEjB;AA0CD,KAAK,YAAY,GAAG,QAAQ,CAAC;IAC3B,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,MAAM,IAAI,CAAC;CACnB,CAAC,CAAC;AAEH,4DAA4D;AAE5D,wBAAsB,2BAA2B,CAC/C,MAAM,EAAE,eAAe,EACvB,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC,IAAI,CAAC,CAgHf;AAED;;;GAGG;AAEH,eAAO,MAAM,+BAA+B,EAAE,WAAW,CAAC,MAAM,CAK9D,CAAC;AAGH,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAWtD,CAAC"}