kibi-cli 2.5.2 → 2.6.1

package/dist/operations/bootstrap/types.js

@@ -31,6 +31,16 @@ export const KNOWLEDGE_SOURCE_AUTHORITIES = [
     "supporting",
     "stale",
 ];
+/**
+ * What a harvested claim is: intended behavior, an observation about how
+ * things are today, or a question the sources leave open. Only intent can
+ * become a requirement; the others stay explicit review facts.
+ */
+export const INTENT_CLAIM_KINDS = [
+    "intent",
+    "observation",
+    "open_question",
+];
 export const BOOTSTRAP_PROVIDER_ORDER = [
     "typed_kibi_docs",
     "generic_repo_docs",

package/dist/operations/migration/entity-body-context.d.ts

@@ -0,0 +1,57 @@
+/** Schema 8: pin the checked meaning of requirements that never stated one. */
+export declare const SEMANTIC_TEXT_PIN_CODE = "semantic_text_pin";
+/** Schema 8: acknowledge current entities that lack body context. */
+export declare const CONTEXT_MISSING_TAG_CODE = "context_missing_tag";
+/** One authored file the schema 8 migration rewrites (front matter only). */
+export type BodyContextTarget = Readonly<{
+    id: string;
+    type: string;
+    path: string;
+    before: string;
+    after: string;
+}>;
+export type BodyContextPlan = Readonly<{
+    targets: readonly BodyContextTarget[];
+    /** Files Kibi cannot edit safely, with the reason. */
+    skipped: readonly Readonly<{
+        id: string;
+        path: string;
+        reason: string;
+    }>[];
+    /** Context-less entities that already carried the tag before migration. */
+    alreadyTagged?: readonly string[];
+}>;
+/**
+ * Ids the schema 8 migration acknowledges: every context-less entity it tags
+ * plus those that already carried the tag. Recorded in the manifest, which is
+ * the only thing that makes the tag honored by `entity-context-missing`.
+ */
+export declare function acknowledgedContextIds(plan: BodyContextPlan): string[];
+/**
+ * Requirements without a front-matter `semantic_text`, pinned to the value
+ * the pre-schema-8 derivation produces from the body (context sections
+ * included), so claim spans and hashes do not move when the extractor stops
+ * reading context sections. Read-only.
+ */
+export declare function planSemanticTextPins(workspaceRoot: string): BodyContextPlan;
+/**
+ * Add one tag to a document's front matter, leaving every other byte
+ * unchanged. Handles an absent key, a one-line flow list and a block list of
+ * plain items; returns null for anything else or when the edit would not read
+ * back as exactly that one added tag.
+ */
+export declare function withAddedTag(content: string, tag: string): string | null;
+/**
+ * Current requirements, scenarios, tests, ADRs and observation facts whose
+ * body fails the context check and that are not yet tagged, to be tagged
+ * `review:context-missing`. No prose is written: the tag only acknowledges the
+ * gap. Read-only.
+ */
+export declare function planContextMissingTags(workspaceRoot: string): BodyContextPlan;
+/** Count targets by entity type, sorted by type. */
+export declare function countByType(targets: readonly Pick<BodyContextTarget, "type">[]): Record<string, number>;
+/** Pin semantic_text, then return how many requirements were rewritten. */
+export declare function applySemanticTextPins(workspaceRoot: string): number;
+/** Tag entities that lack context, then return how many were rewritten. */
+export declare function applyContextMissingTags(workspaceRoot: string): number;
+//# sourceMappingURL=entity-body-context.d.ts.map

package/dist/operations/migration/entity-body-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"entity-body-context.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/entity-body-context.ts"],"names":[],"mappings":"AA0CA,+EAA+E;AAE/E,eAAO,MAAM,sBAAsB,sBAAsB,CAAC;AAC1D,qEAAqE;AAErE,eAAO,MAAM,wBAAwB,wBAAwB,CAAC;AAE9D,6EAA6E;AAE7E,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;CACf,CAAC,CAAC;AAGH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,sDAAsD;IACtD,OAAO,EAAE,SAAS,QAAQ,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAAC;IAC3E,2EAA2E;IAC3E,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC,CAAC;AAEH;;;;GAIG;AAEH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,eAAe,GAAG,MAAM,EAAE,CAOtE;AAED;;;;;GAKG;AAEH,wBAAgB,oBAAoB,CAAC,aAAa,EAAE,MAAM,GAAG,eAAe,CA8B3E;AAMD;;;;;GAKG;AAEH,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAmExE;AAED;;;;;GAKG;AAEH,wBAAgB,sBAAsB,CAAC,aAAa,EAAE,MAAM,GAAG,eAAe,CAkC7E;AAED,oDAAoD;AAEpD,wBAAgB,WAAW,CACzB,OAAO,EAAE,SAAS,IAAI,CAAC,iBAAiB,EAAE,MAAM,CAAC,EAAE,GAClD,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAQxB;AASD,2EAA2E;AAE3E,wBAAgB,qBAAqB,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAEnE;AAED,2EAA2E;AAE3E,wBAAgB,uBAAuB,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAKrE"}

package/dist/operations/migration/entity-body-context.js

@@ -0,0 +1,261 @@
+/*
+ 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 { isDeepStrictEqual } from "node:util";
+import { load as loadYaml } from "js-yaml";
+import { CONTEXT_MISSING_TAG, assessContext, isContextAcknowledged, } from "../../entity-body-context.js";
+import { legacyRequirementSemanticText } from "../../extractors/markdown.js";
+import { authoredSupersededIds, contextEntityOf, isCurrentAuthoredEntity, listContextAuthoredEntities, readAuthoredEntity, } from "../../public/operations/entity-context.js";
+import { readKbManifest, writeKbManifest } from "../../utils/kb-manifest.js";
+import { listLaneMarkdownFiles, readText, sliceFrontmatter, withTopLevelField, writeFileAtomically, } from "./kb-sources.js";
+/** Schema 8: pin the checked meaning of requirements that never stated one. */
+// implements REQ-kb-entity-body-context, REQ-cli-schema-migration
+export const SEMANTIC_TEXT_PIN_CODE = "semantic_text_pin";
+/** Schema 8: acknowledge current entities that lack body context. */
+// implements REQ-kb-entity-body-context, REQ-cli-schema-migration
+export const CONTEXT_MISSING_TAG_CODE = "context_missing_tag";
+/**
+ * Ids the schema 8 migration acknowledges: every context-less entity it tags
+ * plus those that already carried the tag. Recorded in the manifest, which is
+ * the only thing that makes the tag honored by `entity-context-missing`.
+ */
+// implements REQ-kb-entity-body-context, REQ-cli-schema-migration
+export function acknowledgedContextIds(plan) {
+    return [
+        ...new Set([
+            ...plan.targets.map((target) => target.id),
+            ...(plan.alreadyTagged ?? []),
+        ]),
+    ].sort();
+}
+/**
+ * Requirements without a front-matter `semantic_text`, pinned to the value
+ * the pre-schema-8 derivation produces from the body (context sections
+ * included), so claim spans and hashes do not move when the extractor stops
+ * reading context sections. Read-only.
+ */
+// implements REQ-kb-entity-body-context, REQ-cli-schema-migration
+export function planSemanticTextPins(workspaceRoot) {
+    const targets = [];
+    const skipped = [];
+    for (const file of listLaneMarkdownFiles(workspaceRoot, ["requirements"])) {
+        const before = readText(file.absolutePath);
+        if (before === null)
+            continue;
+        const entity = readAuthoredEntity(before, file.relativePath);
+        if (entity === null || entity.type !== "req")
+            continue;
+        const pinned = entity.data.semantic_text;
+        if (typeof pinned === "string" && pinned.trim() !== "")
+            continue;
+        const derived = legacyRequirementSemanticText(entity.body);
+        if (derived === "")
+            continue;
+        const after = withTopLevelField(before, "semantic_text", derived);
+        if (after === null) {
+            skipped.push({
+                id: entity.id,
+                path: file.relativePath,
+                reason: "semantic_text could not be edited safely",
+            });
+            continue;
+        }
+        targets.push({
+            id: entity.id,
+            type: entity.type,
+            path: file.relativePath,
+            before,
+            after,
+        });
+    }
+    return { targets, skipped };
+}
+function isRecord(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value);
+}
+/**
+ * Add one tag to a document's front matter, leaving every other byte
+ * unchanged. Handles an absent key, a one-line flow list and a block list of
+ * plain items; returns null for anything else or when the edit would not read
+ * back as exactly that one added tag.
+ */
+// implements REQ-kb-entity-body-context, REQ-cli-schema-migration
+export function withAddedTag(content, tag) {
+    const slice = sliceFrontmatter(content);
+    if (slice === null)
+        return null;
+    let before;
+    try {
+        before = loadYaml(slice.text);
+    }
+    catch {
+        return null;
+    }
+    if (!isRecord(before))
+        return null;
+    const existing = before.tags;
+    if (existing !== undefined && existing !== null && !Array.isArray(existing))
+        return null;
+    const eol = slice.eol;
+    const lines = slice.text.split(/\r?\n/);
+    // The text ends with a line break, so the last element is empty.
+    const body = lines.slice(0, -1);
+    const keyIndex = body.findIndex((line) => /^tags[ \t]*:/.test(line));
+    let next;
+    if (keyIndex < 0) {
+        next = [...body, "tags:", `  - ${tag}`];
+    }
+    else {
+        const line = body[keyIndex] ?? "";
+        const rest = line.slice(line.indexOf(":") + 1).trim();
+        if (rest.startsWith("[") && rest.endsWith("]")) {
+            const inner = rest.slice(1, -1).trim();
+            const edited = `${line.slice(0, line.indexOf(":") + 1)} [${inner === "" ? tag : `${inner}, ${tag}`}]`;
+            next = [...body.slice(0, keyIndex), edited, ...body.slice(keyIndex + 1)];
+        }
+        else if (rest === "" || rest === "null" || rest === "~") {
+            let end = keyIndex + 1;
+            let indent = "  ";
+            while (end < body.length) {
+                const item = /^([ \t]*)-[ \t]+\S/.exec(body[end] ?? "");
+                if (item === null)
+                    break;
+                if (end === keyIndex + 1)
+                    indent = item[1] ?? "";
+                end += 1;
+            }
+            const head = rest === "" ? line : `${line.slice(0, line.indexOf(":") + 1)}`;
+            next = [
+                ...body.slice(0, keyIndex),
+                head,
+                ...body.slice(keyIndex + 1, end),
+                `${indent}- ${tag}`,
+                ...body.slice(end),
+            ];
+        }
+        else {
+            return null;
+        }
+    }
+    const text = `${next.join(eol)}${eol}`;
+    try {
+        const after = loadYaml(text);
+        if (!isRecord(after))
+            return null;
+        const { tags: beforeTags, ...beforeRest } = before;
+        const { tags: afterTags, ...afterRest } = after;
+        const expected = [...(Array.isArray(beforeTags) ? beforeTags : []), tag];
+        if (!isDeepStrictEqual(afterTags, expected) ||
+            !isDeepStrictEqual(beforeRest, afterRest)) {
+            return null;
+        }
+    }
+    catch {
+        return null;
+    }
+    return `${slice.prefix}${text}${slice.suffix}`;
+}
+/**
+ * Current requirements, scenarios, tests, ADRs and observation facts whose
+ * body fails the context check and that are not yet tagged, to be tagged
+ * `review:context-missing`. No prose is written: the tag only acknowledges the
+ * gap. Read-only.
+ */
+// implements REQ-kb-entity-body-context, REQ-cli-schema-migration
+export function planContextMissingTags(workspaceRoot) {
+    const entities = listContextAuthoredEntities(workspaceRoot);
+    const superseded = authoredSupersededIds(workspaceRoot, entities);
+    const targets = [];
+    const skipped = [];
+    const alreadyTagged = [];
+    for (const entity of entities) {
+        if (!isCurrentAuthoredEntity(entity, superseded))
+            continue;
+        const view = contextEntityOf(entity);
+        if (assessContext(entity.type, entity.body, view).ok)
+            continue;
+        if (isContextAcknowledged(view.tags)) {
+            alreadyTagged.push(entity.id);
+            continue;
+        }
+        const before = readText(`${workspaceRoot}/${entity.path}`);
+        if (before === null)
+            continue;
+        const after = withAddedTag(before, CONTEXT_MISSING_TAG);
+        if (after === null) {
+            skipped.push({
+                id: entity.id,
+                path: entity.path,
+                reason: "tags could not be edited safely",
+            });
+            continue;
+        }
+        targets.push({
+            id: entity.id,
+            type: entity.type,
+            path: entity.path,
+            before,
+            after,
+        });
+    }
+    return { targets, skipped, alreadyTagged };
+}
+/** Count targets by entity type, sorted by type. */
+// implements REQ-kb-entity-body-context, REQ-cli-schema-migration
+export function countByType(targets) {
+    const counts = {};
+    for (const target of targets) {
+        counts[target.type] = (counts[target.type] ?? 0) + 1;
+    }
+    return Object.fromEntries(Object.entries(counts).sort(([left], [right]) => left.localeCompare(right)));
+}
+function applyPlan(workspaceRoot, plan) {
+    for (const target of plan.targets) {
+        writeFileAtomically(`${workspaceRoot}/${target.path}`, target.after);
+    }
+    return plan.targets.length;
+}
+/** Pin semantic_text, then return how many requirements were rewritten. */
+// implements REQ-kb-entity-body-context, REQ-cli-schema-migration
+export function applySemanticTextPins(workspaceRoot) {
+    return applyPlan(workspaceRoot, planSemanticTextPins(workspaceRoot));
+}
+/** Tag entities that lack context, then return how many were rewritten. */
+// implements REQ-kb-entity-body-context, REQ-cli-schema-migration
+export function applyContextMissingTags(workspaceRoot) {
+    const plan = planContextMissingTags(workspaceRoot);
+    const count = applyPlan(workspaceRoot, plan);
+    recordContextAcknowledged(workspaceRoot, acknowledgedContextIds(plan));
+    return count;
+}
+/**
+ * Record the acknowledged ids in the manifest. The tag alone is never honored
+ * by `entity-context-missing`; the manifest is what the migration vouches with.
+ */
+function recordContextAcknowledged(workspaceRoot, ids) {
+    if (ids.length === 0)
+        return;
+    const manifest = readKbManifest(workspaceRoot);
+    if (manifest === null)
+        return;
+    writeKbManifest(workspaceRoot, {
+        ...manifest,
+        contextAcknowledged: [
+            ...new Set([...(manifest.contextAcknowledged ?? []), ...ids]),
+        ].sort(),
+    });
+}

package/dist/operations/migration/polarity-values.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"polarity-values.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/polarity-values.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,4BAA4B,4BAA4B,CAAC;AAEtE,6EAA6E;AAE7E,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,GACpB,SAAS;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,CA+DxE;AAGD,wBAAgB,0BAA0B,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAKxE"}
+{"version":3,"file":"polarity-values.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/polarity-values.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,4BAA4B,4BAA4B,CAAC;AAEtE,6EAA6E;AAE7E,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,GACpB,SAAS;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,CAiExE;AAGD,wBAAgB,0BAA0B,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAKxE"}

package/dist/operations/migration/polarity-values.js

@@ -35,7 +35,10 @@ export function planPolarityValueBackfill(workspaceRoot) {
             typeof data.property_key !== "string")
             throw new Error(`Cannot migrate polarity fact ${file.relativePath}: subject_key and property_key are required`);
         const after = `${slice.prefix}${slice.text}operator: eq${slice.eol}value_type: bool${slice.eol}value_bool: true${slice.eol}${slice.suffix}`;
-        const parsed = loadYaml(sliceFrontmatter(after).text);
+        const afterFrontmatter = sliceFrontmatter(after);
+        if (!afterFrontmatter)
+            throw new Error(`Polarity migration could not verify ${file.relativePath}`);
+        const parsed = loadYaml(afterFrontmatter.text);
         if (parsed.operator !== "eq" ||
             parsed.value_type !== "bool" ||
             parsed.value_bool !== true)
@@ -43,7 +46,7 @@ export function planPolarityValueBackfill(workspaceRoot) {
         targets.push({
             id: typeof data.id === "string"
                 ? data.id
-                : file.relativePath.split("/").at(-1).slice(0, -3),
+                : (file.relativePath.split("/").at(-1) ?? "").slice(0, -3),
             path: file.relativePath,
             before,
             after,

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

@@ -2,6 +2,8 @@ import { type MigrationAction } from "../../public/operations/migration-plan.js"
 import { CLOSE_SUPERSEDED_REQUIREMENTS_CODE, MIGRATION_SYNC_ACTION_ID, MIGRATION_SYNC_CODE, SOURCE_PATH_REWRITE_CODE } from "../../public/operations/schema6-check-actions.js";
 /** The KB schema generation that introduced entity `origin`. */
 export declare const ORIGIN_SCHEMA_VERSION = 6;
+/** The KB schema generation that requires body context on current entities. */
+export declare const BODY_CONTEXT_SCHEMA_VERSION = 8;
 /** Automatic: re-derive a drifted inventory with the current advisor. */
 export declare const SEMANTIC_INVENTORY_REDERIVE_CODE = "semantic_inventory_rederive";
 /** Review: a drifted inventory Kibi cannot re-derive safely. */

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;AA2B1D,gEAAgE;AAEhE,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAEvC,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;AAsEF;;;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,CA8F3B;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,CA8Df;AAGD,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAOtD,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;AAoC1D,gEAAgE;AAEhE,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAEvC,+EAA+E;AAE/E,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C,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;AAsEF;;;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,CA6J3B;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,CAsEf;AAGD,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAStD,CAAC"}

package/dist/operations/migration/schema6.js

@@ -20,6 +20,7 @@ import { extractFromMarkdown, } from "../../extractors/markdown.js";
 import { migrationAction, } from "../../public/operations/migration-plan.js";
 import { CLOSE_SUPERSEDED_REQUIREMENTS_ACTION_ID, CLOSE_SUPERSEDED_REQUIREMENTS_CODE, MIGRATION_SYNC_ACTION_ID, MIGRATION_SYNC_CODE, SOURCE_PATH_REWRITE_ACTION_ID, SOURCE_PATH_REWRITE_CODE, closeSupersededRequirementsActionInput, exceptionUnapprovedActionInput, migrationSyncActionInput, sourcePathReviewActionInput, sourcePathRewriteActionInput, supersessionCycleReviewActionInput, } from "../../public/operations/schema6-check-actions.js";
 import { readAllShards } from "../../relationships/shards.js";
+import { CONTEXT_MISSING_TAG_CODE, SEMANTIC_TEXT_PIN_CODE, applyContextMissingTags, applySemanticTextPins, countByType, planContextMissingTags, planSemanticTextPins, } from "./entity-body-context.js";
 import { applyInventoryRederivation, planInventoryRederivation, } from "./inventory-rederive.js";
 import { listLaneMarkdownFiles } from "./kb-sources.js";
 import { applyOriginBackfill, planOriginBackfill } from "./origin-backfill.js";
@@ -29,6 +30,9 @@ import { applySupersededClosures, planSupersededClosures, } from "./superseded-c
 /** The KB schema generation that introduced entity `origin`. */
 // implements REQ-kibi-schema6-migration, REQ-cli-schema-migration
 export const ORIGIN_SCHEMA_VERSION = 6;
+/** The KB schema generation that requires body context on current entities. */
+// implements REQ-kb-entity-body-context, REQ-cli-schema-migration
+export const BODY_CONTEXT_SCHEMA_VERSION = 8;
 /** Automatic: re-derive a drifted inventory with the current advisor. */
 // implements REQ-kibi-schema6-migration, REQ-cli-schema-migration
 export const SEMANTIC_INVENTORY_REDERIVE_CODE = "semantic_inventory_rederive";
@@ -190,6 +194,61 @@ export function buildSchema6MigrationFragment(input) {
             },
         }));
     }
+    // Schema 8: pin the checked meaning, then acknowledge missing context. A
+    // missing or invalid version upgrades through every step, so it is planned.
+    if (input.currentSchemaVersion === null ||
+        input.currentSchemaVersion < BODY_CONTEXT_SCHEMA_VERSION) {
+        const pins = planSemanticTextPins(input.workspaceRoot);
+        if (pins.targets.length > 0) {
+            const id = "semantic-text-pin";
+            sourceRewriteActionIds.push(id);
+            actions.push(migrationAction({
+                id,
+                code: SEMANTIC_TEXT_PIN_CODE,
+                category: "schema",
+                safety: "automatic",
+                autoApplicable: true,
+                invocation: {
+                    kind: "cli",
+                    command_argv: ["kibi", "migrate", "--yes"],
+                },
+                affectedEntityIds: pins.targets.map((row) => row.id),
+                affectedFiles: pins.targets.map((row) => row.path),
+                postconditions: [{ requirementsWithoutSemanticText: 0 }],
+                evidence: {
+                    reason: "Schema 8 stops reading context sections (Context, Rationale, Why, Background, Source, Notes, Evidence) as part of a requirement's meaning. Requirements that never stated semantic_text get the value the old derivation produced, so claim spans and hashes do not move.",
+                    count: pins.targets.length,
+                    preserves: "every other front matter key and the body bytes",
+                },
+            }));
+        }
+        const tags = planContextMissingTags(input.workspaceRoot);
+        if (tags.targets.length > 0) {
+            const id = "context-missing-tag";
+            sourceRewriteActionIds.push(id);
+            actions.push(migrationAction({
+                id,
+                code: CONTEXT_MISSING_TAG_CODE,
+                category: "schema",
+                safety: "automatic",
+                autoApplicable: true,
+                invocation: {
+                    kind: "cli",
+                    command_argv: ["kibi", "migrate", "--yes"],
+                },
+                dependsOn: pins.targets.length > 0 ? ["semantic-text-pin"] : [],
+                affectedEntityIds: tags.targets.map((row) => row.id),
+                affectedFiles: tags.targets.map((row) => row.path),
+                postconditions: [{ rule: "entity-context-missing", findings: 0 }],
+                evidence: {
+                    reason: "Schema 8 blocks current requirements, scenarios, tests, ADRs and observation facts whose body states no context. Existing ones are tagged review:context-missing (acknowledged legacy, counted by entity-context-acknowledged); no prose is written and no reason is invented.",
+                    count: tags.targets.length,
+                    byType: countByType(tags.targets),
+                    preserves: "every other front matter key and the body bytes",
+                },
+            }));
+        }
+    }
     const drift = planInventoryRederivation(input.workspaceRoot);
     for (const plan of drift) {
         const action = plan.safe ? rederiveAction(plan) : reviewAction(plan);
@@ -330,6 +389,14 @@ export async function applySchema6MigrationAction(action, context) {
             applyPolarityValueBackfill(context.workspaceRoot);
             return;
         }
+        case SEMANTIC_TEXT_PIN_CODE: {
+            applySemanticTextPins(context.workspaceRoot);
+            return;
+        }
+        case CONTEXT_MISSING_TAG_CODE: {
+            applyContextMissingTags(context.workspaceRoot);
+            return;
+        }
         case SEMANTIC_INVENTORY_REDERIVE_CODE: {
             const requirementId = action.affectedEntityIds[0];
             if (requirementId === undefined)
@@ -371,6 +438,8 @@ export async function applySchema6MigrationAction(action, context) {
 // implements REQ-kibi-schema6-migration, REQ-cli-schema-migration
 export const SCHEMA6_AUTOMATIC_CODES = new Set([
     POLARITY_VALUE_BACKFILL_CODE,
+    SEMANTIC_TEXT_PIN_CODE,
+    CONTEXT_MISSING_TAG_CODE,
     SEMANTIC_INVENTORY_REDERIVE_CODE,
     ENTITY_ORIGIN_BACKFILL_CODE,
     CLOSE_SUPERSEDED_REQUIREMENTS_CODE,

package/dist/operations/modeling/logic-modeling.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"logic-modeling.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/logic-modeling.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,WAAW,EAIjB,MAAM,mBAAmB,CAAC;AAQ3B,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD;AAUD,wBAAgB,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,mBAAmB,GACzB,oBAAoB,CAkHtB"}
+{"version":3,"file":"logic-modeling.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/logic-modeling.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,WAAW,EAIjB,MAAM,mBAAmB,CAAC;AAS3B,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD;AAUD,wBAAgB,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,mBAAmB,GACzB,oBAAoB,CAoHtB"}

package/dist/operations/modeling/logic-modeling.js

@@ -1,6 +1,7 @@
 import { createHash } from "node:crypto";
 import { logicSemanticKey, utf8Span, validateLogicIr, } from "../../logic/ir.js";
 import { modeledClaimRole, normalizeSemanticClause, semanticClaimKey, } from "../semantic-advisor/clauses.js";
+import { advisorPropositionRole } from "../semantic-advisor/proposition-role.js";
 import { semanticSourceHash } from "../semantic-advisor/shared.js";
 function shortId(value) {
     return createHash("sha256")
@@ -98,7 +99,8 @@ export function buildLogicApplyPlan(input) {
                         {
                             claim_key: claimKey,
                             claim_text: claimText,
-                            role: modeledClaimRole(claimText, validation.normalized.modality),
+                            role: advisorPropositionRole(input.text.trim(), claimKey) ??
+                                modeledClaimRole(claimText, validation.normalized.modality),
                             status: "modeled",
                             span,
                             semantic_key: semanticKey,

package/dist/operations/modeling/model-requirement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"model-requirement.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/model-requirement.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAgBjF,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,oBAAoB,EACpB,sBAAsB,EACvB,MAAM,wBAAwB,CAAC;AAUhC,YAAY,EACV,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAkNhC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACvB,yBAAyB,EACzB,uBAAuB,GACxB,CAAC;AAIF,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,OAAO,EAAE;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,GACA,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA4CzB;AA+OD,wBAAsB,4BAA4B,CAChD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAIxB;AAED,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,oBAAoB,EAC1B,aAAa,EAAE,MAAM,EACrB,OAAO,CAAC,EAAE,gBAAgB,GACzB,OAAO,CAAC,sBAAsB,CAAC,CAgHjC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,oBAAoB,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,sBAAsB,CAAC,CAajC"}
+{"version":3,"file":"model-requirement.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/model-requirement.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAgBjF,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,oBAAoB,EACpB,sBAAsB,EACvB,MAAM,wBAAwB,CAAC;AAUhC,YAAY,EACV,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAkNhC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACvB,yBAAyB,EACzB,uBAAuB,GACxB,CAAC;AAIF,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,OAAO,EAAE;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,GACA,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA+CzB;AAwOD,wBAAsB,4BAA4B,CAChD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAIxB;AAED,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,oBAAoB,EAC1B,aAAa,EAAE,MAAM,EACrB,OAAO,CAAC,EAAE,gBAAgB,GACzB,OAAO,CAAC,sBAAsB,CAAC,CAgHjC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,oBAAoB,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,sBAAsB,CAAC,CAajC"}

package/dist/operations/modeling/model-requirement.js

@@ -1,9 +1,9 @@
 import { buildStrictWriteSet, } from "../../public/check-types.js";
 import { readKbManifestStatus } from "../../utils/kb-manifest.js";
 import { isConventionalSubjectKey, normalizeSubjectKey, } from "../../utils/strict-modeling.js";
-import { propositionRole } from "../semantic-advisor/analyze-prose.js";
-import { extractSemanticClauses, modeledClaimRole, normalizeSemanticClause, semanticClaimKey, } from "../semantic-advisor/clauses.js";
+import { modeledClaimRole, normalizeSemanticClause, semanticClaimKey, } from "../semantic-advisor/clauses.js";
 import { detectConditionalRule } from "../semantic-advisor/conditional-rules.js";
+import { advisorPropositionRole } from "../semantic-advisor/proposition-role.js";
 import { semanticSourceHash } from "../semantic-advisor/shared.js";
 import { buildLogicApplyPlan } from "./logic-modeling.js";
 import { strictWriteSetToApplyPlan, writeSetPrimaryEntityId, } from "./requirement-applyplan.js";
@@ -198,7 +198,9 @@ export function annotateModelRequirementStep(step, context) {
                     {
                         claim_key: context.claimKey,
                         claim_text: normalizedClaimText,
-                        role: modeledClaimRole(claimText),
+                        role: advisorPropositionRole(claimText, context.claimKey, [
+                            claimText,
+                        ]) ?? modeledClaimRole(claimText),
                         status: "modeled",
                         span: {
                             start: 0,
@@ -235,10 +237,6 @@ function unresolvedObservationStep(step) {
 // ingestion compares the persisted inventory with it. A rule modality alone
 // would call "X must not happen unless C" normative where the advisor reads an
 // exception, so the role comes from the advisor's own clause analysis.
-function advisorRole(semanticText, claimKey) {
-    const clause = extractSemanticClauses(semanticText).find((entry) => entry.claim_key === claimKey);
-    return clause ? propositionRole(clause.text, clause.normative) : null;
-}
 function withAdvisorRoles(plan) {
     return plan.map((step) => {
         if (step.type !== "req")
@@ -257,7 +255,7 @@ function withAdvisorRoles(plan) {
                         return entry;
                     const row = entry;
                     const role = typeof row.claim_key === "string"
-                        ? advisorRole(semanticText, row.claim_key)
+                        ? advisorPropositionRole(semanticText, row.claim_key)
                         : null;
                     return role === null ? row : { ...row, role };
                 }),
@@ -351,7 +349,7 @@ async function unresolvedConditionalResult(args, extracted, reason, workspaceRoo
                         {
                             claim_key: claimKey,
                             claim_text: claimText,
-                            role: advisorRole(semanticText, claimKey) ??
+                            role: advisorPropositionRole(semanticText, claimKey) ??
                                 modeledClaimRole(claimText),
                             status: "ontology_gap",
                             span: {

package/dist/operations/mutation/context-warning.d.ts

@@ -0,0 +1,13 @@
+import type { UpsertInput } from "./types.js";
+/**
+ * The body the authored document has, or will have, after this upsert: the
+ * written file when there is one, the supplied body, the preserved body of
+ * the entity's existing document, or the default a new requirement gets.
+ */
+export declare function upsertDocumentBody(input: UpsertInput, entity: Readonly<Record<string, unknown>>, workspaceRoot: string, writtenPath?: string): string;
+/**
+ * kb_upsert warning for a written entity whose body lacks context. The same
+ * finding blocks `kb_check` as entity-context-missing, so agents see it first.
+ */
+export declare function entityContextWarnings(input: UpsertInput, entity: Readonly<Record<string, unknown>>, workspaceRoot: string, writtenPath?: string): readonly string[];
+//# sourceMappingURL=context-warning.d.ts.map

package/dist/operations/mutation/context-warning.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-warning.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/context-warning.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAgB9C;;;;GAIG;AAEH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,aAAa,EAAE,MAAM,EACrB,WAAW,CAAC,EAAE,MAAM,GACnB,MAAM,CAYR;AAED;;;GAGG;AAEH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,aAAa,EAAE,MAAM,EACrB,WAAW,CAAC,EAAE,MAAM,GACnB,SAAS,MAAM,EAAE,CA2BnB"}