kibi-cli 2.21.0 → 2.22.0

package/dist/decision-firmness.js

@@ -0,0 +1,115 @@
+/*
+ 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/>.
+*/
+/**
+ * Decision firmness: how firmly a requirement or ADR was decided, which tells
+ * a later agent whether it may supersede the decision on evidence or must ask
+ * a human first. This module is the one place that knows the values, the
+ * default and what a supersede must explain, so extraction, checks, search,
+ * query and migration agree.
+ */
+import { parseBodySections } from "./entity-body-context.js";
+/** Firmness values, firmest first. */
+// implements REQ-kb-decision-firmness
+export const FIRMNESS_VALUES = ["firm", "default", "exploratory"];
+/** The firmness of a decision that does not state one. */
+// implements REQ-kb-decision-firmness
+export const DEFAULT_FIRMNESS = "default";
+/** Entity types that carry firmness. */
+// implements REQ-kb-decision-firmness
+export const FIRMNESS_TYPES = ["req", "adr"];
+/** A supersede must explain itself under a heading starting with this. */
+// implements REQ-kb-decision-firmness
+export const WHY_THIS_CHANGED_HEADING = "Why this changed";
+/** The explanation needs at least this many words of prose. */
+// implements REQ-kb-decision-firmness
+export const MIN_WHY_CHANGED_WORDS = 12;
+const WHY_THIS_CHANGED = /^why\s+this\s+changed\b/i;
+/**
+ * How the manifest records one acknowledged supersede edge. Edges, not ids,
+ * are acknowledged, so a supersede added later to the same entity still has
+ * to explain itself.
+ */
+// implements REQ-kb-decision-firmness
+export function supersedeAcknowledgement(from, to) {
+    return `${from} -> ${to}`;
+}
+// implements REQ-kb-decision-firmness
+export function isFirmness(value) {
+    return (typeof value === "string" &&
+        FIRMNESS_VALUES.includes(value));
+}
+// implements REQ-kb-decision-firmness
+export function carriesFirmness(type) {
+    return (typeof type === "string" &&
+        FIRMNESS_TYPES.includes(type));
+}
+/**
+ * The firmness a decision is read with: the authored value, else `default`.
+ * Undefined for types that carry no firmness.
+ */
+// implements REQ-kb-decision-firmness
+export function effectiveFirmness(type, value) {
+    if (!carriesFirmness(type))
+        return undefined;
+    return isFirmness(value) ? value : DEFAULT_FIRMNESS;
+}
+/**
+ * The reference that makes a firm decision traceable to a human's words:
+ * `origin.ref`, or `approval_ref` on a requirement.
+ */
+// implements REQ-kb-decision-firmness
+export function firmnessRef(entity) {
+    const origin = entity.origin;
+    if (origin !== null && typeof origin === "object") {
+        const ref = origin.ref;
+        if (typeof ref === "string" && ref.trim() !== "")
+            return ref.trim();
+    }
+    if (entity.type === "req" &&
+        typeof entity.approval_ref === "string" &&
+        entity.approval_ref.trim() !== "") {
+        return entity.approval_ref.trim();
+    }
+    return undefined;
+}
+function wordCount(text) {
+    return text.split(/\s+/).filter((word) => /[\p{L}\p{N}]/u.test(word)).length;
+}
+/**
+ * Words of prose under the body's "Why this changed" heading (nested
+ * headings included), or 0 when the body has no such section.
+ */
+// implements REQ-kb-decision-firmness
+export function whyThisChangedWords(body) {
+    const sections = parseBodySections(body);
+    let level = null;
+    let words = 0;
+    for (const section of sections) {
+        if (level !== null && section.level > 0 && section.level <= level) {
+            level = null;
+        }
+        if (level === null &&
+            section.level > 0 &&
+            WHY_THIS_CHANGED.test(section.heading.replace(/^[*_`\s]+/, ""))) {
+            level = section.level;
+        }
+        if (level !== null)
+            words += wordCount(section.text);
+    }
+    return words;
+}

package/dist/extractors/markdown.d.ts

@@ -1,3 +1,4 @@
+import { type Firmness } from "../decision-firmness.js";
 import { type EntityOrigin } from "../public/entity-origin.js";
 import { type ProofBinding, type ProofContract } from "../public/proof-protocol.js";
 import { type ProofReceipt } from "../public/proof-receipt.js";
@@ -15,6 +16,7 @@ export interface ExtractedEntity {
     severity?: string;
     text_ref?: string;
     origin?: EntityOrigin;
+    firmness?: Firmness;
     semantic_text?: string;
     logic_claims?: string[];
     semantic_clauses?: string[];

package/dist/extractors/markdown.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../src/extractors/markdown.ts"],"names":[],"mappings":"AA2BA,OAAO,EACL,KAAK,YAAY,EAElB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAGL,KAAK,YAAY,EACjB,KAAK,aAAa,EACnB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,KAAK,YAAY,EAElB,MAAM,4BAA4B,CAAC;AAuEpC,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,0BAA0B,CAAC,EAAE,4BAA4B,CAAC;IAC1D,qBAAqB,CAAC,EAAE,eAAe,GAAG,UAAU,GAAG,OAAO,CAAC;IAC/D,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACnD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,OAAO,CAAC,EAAE,SAAS,GAAG,WAAW,GAAG,OAAO,CAAC;IAC5C,cAAc,CAAC,EAAE,aAAa,CAAC;IAC/B,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAEzC,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,GACX,aAAa,GACb,MAAM,CAAC;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IACtD,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9C,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,kBAAkB,CAAC,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;CACzD;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,eAAe,CAAC;IACxB,aAAa,EAAE,qBAAqB,EAAE,CAAC;IACvC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAuMD,qBAAa,gBAAiB,SAAQ,KAAK;IAOhC,QAAQ,EAAE,MAAM;IANlB,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,CAAC,EAAE,MAAM,CAAC;gBAG5B,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM,EACvB,OAAO,CAAC,EAAE;QACR,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB;IAYM,QAAQ;CAUlB;AA8CD;;;;;GAKG;AAEH,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQlE;AAED;;;;;GAKG;AAEH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE5D;AAkBD,wBAAgB,sBAAsB,CAEpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CAkDV;AA4hBD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,CAElB;AAGD,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,CAatE;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CASjE;AASD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAQpE"}
+{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../src/extractors/markdown.ts"],"names":[],"mappings":"AAsBA,OAAO,EAEL,KAAK,QAAQ,EAGd,MAAM,yBAAyB,CAAC;AAMjC,OAAO,EACL,KAAK,YAAY,EAElB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAGL,KAAK,YAAY,EACjB,KAAK,aAAa,EACnB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,KAAK,YAAY,EAElB,MAAM,4BAA4B,CAAC;AAuEpC,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,0BAA0B,CAAC,EAAE,4BAA4B,CAAC;IAC1D,qBAAqB,CAAC,EAAE,eAAe,GAAG,UAAU,GAAG,OAAO,CAAC;IAC/D,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACnD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,OAAO,CAAC,EAAE,SAAS,GAAG,WAAW,GAAG,OAAO,CAAC;IAC5C,cAAc,CAAC,EAAE,aAAa,CAAC;IAC/B,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAEzC,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,GACX,aAAa,GACb,MAAM,CAAC;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IACtD,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9C,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,kBAAkB,CAAC,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;CACzD;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,eAAe,CAAC;IACxB,aAAa,EAAE,qBAAqB,EAAE,CAAC;IACvC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAuMD,qBAAa,gBAAiB,SAAQ,KAAK;IAOhC,QAAQ,EAAE,MAAM;IANlB,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,CAAC,EAAE,MAAM,CAAC;gBAG5B,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM,EACvB,OAAO,CAAC,EAAE;QACR,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB;IAYM,QAAQ;CAUlB;AA8CD;;;;;GAKG;AAEH,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQlE;AAED;;;;;GAKG;AAEH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE5D;AAkBD,wBAAgB,sBAAsB,CAEpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CAkDV;AA6iBD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,CAElB;AAGD,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,CAatE;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CASjE;AASD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAQpE"}

package/dist/extractors/markdown.js

@@ -19,6 +19,7 @@ import { createHash } from "node:crypto";
 import { readFileSync } from "node:fs";
 import Ajv from "ajv";
 import { load as yamlLoad } from "js-yaml";
+import { FIRMNESS_VALUES, carriesFirmness, isFirmness, } from "../decision-firmness.js";
 import { withoutContextSections } from "../entity-body-context.js";
 import { deriveFactClaimKey, semanticClaimKey, } from "../operations/semantic-advisor/clauses.js";
 import { normalizeEntityOrigin, } from "../public/entity-origin.js";
@@ -511,6 +512,19 @@ function extractFromMarkdownContent(content, filePath) {
             }
             entity.rationale = data.rationale;
         }
+        // implements REQ-kb-decision-firmness
+        // How firmly a requirement or ADR was decided; absent reads as default.
+        if (data.firmness !== undefined) {
+            if (!carriesFirmness(type) || !isFirmness(data.firmness)) {
+                throw new FrontmatterError(carriesFirmness(type)
+                    ? `Invalid firmness; expected one of ${FIRMNESS_VALUES.join(", ")}`
+                    : "firmness is only allowed on type: req or adr", filePath, {
+                    classification: "Invalid Firmness",
+                    hint: "Use firm only for a rule a human stated (with origin.ref to their words), default for a delegated or agent choice, exploratory for a flagged guess; remove the field from other entity types.",
+                });
+            }
+            entity.firmness = data.firmness;
+        }
         if (type === "req" && Array.isArray(data.exempts_claims)) {
             entity.exempts_claims = data.exempts_claims.filter((value) => typeof value === "string");
         }

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"}