kibi-cli 2.6.0 → 2.6.1

package/dist/entity-body-context.js

@@ -0,0 +1,382 @@
+/*
+ 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/>.
+*/
+/**
+ * Entity Markdown bodies carry human and agent context next to, not inside,
+ * the checked meaning. This module is the one place that knows which body
+ * text is context, so the extractor, the strict check, compile-intent,
+ * bootstrap, the migration and search all agree.
+ */
+/** Heading words whose sections hold context rather than normative text. */
+// implements REQ-kb-entity-body-context
+export const CONTEXT_HEADING_WORDS = [
+    "context",
+    "rationale",
+    "why",
+    "background",
+    "source",
+    "notes",
+    "evidence",
+];
+/** A context section needs at least this many words of prose. */
+// implements REQ-kb-entity-body-context
+export const MIN_CONTEXT_WORDS = 12;
+/** Token-set Jaccard at or above this value counts as a restatement. */
+// implements REQ-kb-entity-body-context
+export const RESTATEMENT_JACCARD = 0.8;
+/** Tag that marks legacy entities acknowledged as lacking context. */
+// implements REQ-kb-entity-body-context
+export const CONTEXT_MISSING_TAG = "review:context-missing";
+const HEADING_LINE = /^\s{0,3}(#{1,6})(?:[ \t]+(.*?))?[ \t]*$/;
+const CONTEXT_HEADING = new RegExp(`^(?:${CONTEXT_HEADING_WORDS.join("|")})\\b`, "i");
+/** True when a heading's text starts with a context heading word. */
+// implements REQ-kb-entity-body-context
+export function isContextHeading(heading) {
+    return CONTEXT_HEADING.test(heading.trim().replace(/^[*_`\s]+/, ""));
+}
+/**
+ * Classify every line of a body. A line under a context heading stays in
+ * context until the next heading of the same or a higher level, so
+ * `### Constraints` below `## Context` is still context.
+ */
+function classifyLines(body) {
+    const classified = [];
+    let contextLevel = null;
+    for (const line of body.replace(/\r\n?/g, "\n").split("\n")) {
+        const match = HEADING_LINE.exec(line);
+        if (match === null) {
+            classified.push({
+                line,
+                level: 0,
+                heading: "",
+                inContext: contextLevel !== null,
+            });
+            continue;
+        }
+        const level = match[1]?.length ?? 1;
+        const heading = (match[2] ?? "").replace(/[ \t]+#+$/, "").trim();
+        if (contextLevel !== null && level <= contextLevel)
+            contextLevel = null;
+        if (contextLevel === null && isContextHeading(heading)) {
+            contextLevel = level;
+        }
+        classified.push({ line, level, heading, inContext: contextLevel !== null });
+    }
+    return classified;
+}
+/** Split a Markdown body (front matter removed) into sections by ATX headings. */
+// implements REQ-kb-entity-body-context
+export function parseBodySections(body) {
+    const sections = [];
+    let current = {
+        level: 0,
+        heading: "",
+        isContext: false,
+    };
+    let lines = [];
+    const flush = () => {
+        const text = lines.join("\n").trim();
+        if (current.level > 0 || text !== "")
+            sections.push({ ...current, text });
+        lines = [];
+    };
+    for (const row of classifyLines(body)) {
+        if (row.level === 0) {
+            lines.push(row.line);
+            continue;
+        }
+        flush();
+        current = {
+            level: row.level,
+            heading: row.heading,
+            isContext: row.inContext,
+        };
+    }
+    flush();
+    return sections;
+}
+/**
+ * The body with every line of its context sections removed (other lines are
+ * untouched), for deriving the checked meaning.
+ */
+// implements REQ-kb-entity-body-context
+export function withoutContextSections(body) {
+    return classifyLines(body)
+        .filter((row) => !row.inContext)
+        .map((row) => row.line)
+        .join("\n");
+}
+/** Text of the context sections of a body, headings excluded. */
+// implements REQ-kb-entity-body-context
+export function contextSectionText(body) {
+    return parseBodySections(body)
+        .filter((section) => section.isContext && section.text !== "")
+        .map((section) => section.text)
+        .join("\n\n");
+}
+/** Types whose entities must carry body context. */
+// implements REQ-kb-entity-body-context
+export const CONTEXT_REQUIRED_TYPES = [
+    "req",
+    "scenario",
+    "test",
+    "adr",
+    "fact",
+];
+/**
+ * True when the type needs no body context: symbols, flags and events, and
+ * facts of any fact_kind other than observation or meta (their front matter
+ * is the content).
+ */
+// implements REQ-kb-entity-body-context
+export function isContextExempt(type, entity) {
+    if (type === "fact") {
+        return entity.fact_kind !== "observation" && entity.fact_kind !== "meta";
+    }
+    return !CONTEXT_REQUIRED_TYPES.includes(type);
+}
+function proseWithoutHeadings(body) {
+    return parseBodySections(body)
+        .map((section) => section.text)
+        .filter((text) => text !== "")
+        .join("\n");
+}
+/**
+ * The body prose that counts as context. Requirements: only text under
+ * context headings. Scenarios, tests, ADRs and observation or meta facts:
+ * all body prose outside headings.
+ */
+// implements REQ-kb-entity-body-context
+export function contextProse(type, body, _entity = {}) {
+    return type === "req" ? contextSectionText(body) : proseWithoutHeadings(body);
+}
+function tokens(text) {
+    return text
+        .toLowerCase()
+        .split(/[^\p{L}\p{N}]+/u)
+        .filter((token) => token !== "");
+}
+/** Normalized token-set Jaccard similarity of two texts (0 when both empty). */
+// implements REQ-kb-entity-body-context
+export function tokenSetJaccard(left, right) {
+    const a = new Set(tokens(left));
+    const b = new Set(tokens(right));
+    if (a.size === 0 && b.size === 0)
+        return 0;
+    let shared = 0;
+    for (const token of a)
+        if (b.has(token))
+            shared += 1;
+    return shared / (a.size + b.size - shared);
+}
+/**
+ * Judge an entity's body context: at least MIN_CONTEXT_WORDS words of
+ * context prose that do not restate the title (or, for requirements, the
+ * semantic text). Exempt types always pass.
+ */
+// implements REQ-kb-entity-body-context
+export function assessContext(type, body, entity) {
+    if (isContextExempt(type, entity))
+        return { ok: true, words: 0 };
+    const prose = contextProse(type, body, entity);
+    const words = tokens(prose).length;
+    if (words === 0)
+        return { ok: false, reason: "none", words };
+    if (words < MIN_CONTEXT_WORDS)
+        return { ok: false, reason: "too_short", words };
+    const references = [
+        typeof entity.title === "string" ? entity.title : "",
+        type === "req" && typeof entity.semantic_text === "string"
+            ? entity.semantic_text
+            : "",
+    ].filter((text) => text.trim() !== "");
+    if (references.some((reference) => tokenSetJaccard(prose, reference) >= RESTATEMENT_JACCARD)) {
+        return { ok: false, reason: "restatement", words };
+    }
+    return { ok: true, words };
+}
+/** True when the entity's body states context that is not a restatement. */
+// implements REQ-kb-entity-body-context
+export function hasContext(type, body, entity) {
+    return assessContext(type, body, entity).ok;
+}
+const TYPE_LABEL = {
+    req: "requirement",
+    scenario: "scenario",
+    test: "test",
+    adr: "ADR",
+    fact: "observation fact",
+};
+/**
+ * The finding for an entity whose body lacks context, or null when it has
+ * context, is exempt, or is acknowledged by the schema 8 migration
+ * (`acknowledged`, true only for ids the migration recorded in the manifest;
+ * the tag alone never exempts). The strict check and the kb_upsert warning
+ * share it.
+ */
+// implements REQ-kb-entity-body-context
+export function contextFinding(type, id, body, entity, acknowledged = false) {
+    const assessment = assessContext(type, body, entity);
+    if (assessment.ok || assessment.reason === undefined)
+        return null;
+    if (acknowledged)
+        return null;
+    return {
+        type,
+        id,
+        reason: assessment.reason,
+        words: assessment.words,
+        description: `${TYPE_LABEL[type] ?? type} ${id} has no body context: ${missingContextDescription(type, assessment.reason)}`,
+        suggestion: CONTEXT_MISSING_HINT,
+    };
+}
+/** True when the entity's tags acknowledge missing context as legacy. */
+// implements REQ-kb-entity-body-context
+export function isContextAcknowledged(tags) {
+    return Array.isArray(tags) && tags.includes(CONTEXT_MISSING_TAG);
+}
+/** What is missing for a type, in the words the check and warnings use. */
+// implements REQ-kb-entity-body-context
+export function missingContextDescription(type, reason) {
+    const where = type === "req"
+        ? "a '## Context' (or Rationale, Why, Background, Source, Notes, Evidence) section"
+        : "body prose";
+    const what = reason === "restatement"
+        ? "only restates the title or statement"
+        : reason === "too_short"
+            ? `is shorter than ${MIN_CONTEXT_WORDS} words`
+            : "is missing";
+    return `${where} that states why this exists ${what}`;
+}
+/** Hint shared by the check finding and the kb_upsert warning. */
+// implements REQ-kb-entity-body-context
+export const CONTEXT_MISSING_HINT = "Add a '## Context' section (requirements) or a prose body (scenarios, tests, ADRs, observation facts) stating why this exists, who asked, the source and anything that does not fit the front matter. Never invent a reason the requester did not give: write who asked, the source and 'Reason not stated' in the Context section instead.";
+/** Suggestion for a review:context-missing tag the schema 8 migration did not set. */
+// implements REQ-kb-entity-body-context
+export const RESERVED_TAG_HINT = "review:context-missing is reserved for entities acknowledged by the schema 8 migration; add context instead: write who asked, the source and 'Reason not stated' in the Context section, and remove the tag.";
+function blockquote(text) {
+    return text
+        .replace(/\r\n?/g, "\n")
+        .trim()
+        .split("\n")
+        .map((line) => (line.trim() === "" ? ">" : `> ${line}`))
+        .join("\n");
+}
+function contextSectionBlock(context) {
+    return `## Context\n\n${context.trim()}`;
+}
+function sourceSectionBlock(source) {
+    const sourceLines = [];
+    const excerpt = source?.excerpt?.trim();
+    if (excerpt)
+        sourceLines.push(blockquote(excerpt));
+    const reference = [source?.title?.trim(), source?.reference?.trim()]
+        .filter((part) => part !== undefined && part !== "")
+        .join(" - ");
+    if (reference)
+        sourceLines.push(`Source: ${reference}`);
+    return sourceLines.length > 0
+        ? `## Source\n\n${sourceLines.join("\n\n")}`
+        : null;
+}
+/**
+ * Render a requirement body: the statement, then `## Context` and
+ * `## Source` when given. The statement stays the first, heading-free block
+ * so it remains the derived meaning when no `semantic_text` is pinned.
+ */
+// implements REQ-kb-entity-body-context
+export function renderRequirementBody(input) {
+    const blocks = [input.statement.trim()];
+    const context = input.context?.trim();
+    if (context)
+        blocks.push(contextSectionBlock(context));
+    const source = sourceSectionBlock(input.source);
+    if (source !== null)
+        blocks.push(source);
+    return `${blocks.join("\n\n")}\n`;
+}
+/**
+ * Revise a requirement body for a changed statement. The non-context part is
+ * replaced by the new statement; every context section is kept byte for byte,
+ * except that a supplied `context` replaces the `## Context` section and a
+ * supplied source replaces the `## Source` section (each is appended when the
+ * body had none).
+ */
+// implements REQ-kb-entity-body-context
+export function reviseRequirementBody(input) {
+    const replacements = new Map();
+    const context = input.context?.trim();
+    if (context)
+        replacements.set("context", contextSectionBlock(context));
+    const source = sourceSectionBlock(input.source);
+    if (source !== null)
+        replacements.set("source", source);
+    const blocks = [];
+    let open = null;
+    let openLevel = 0;
+    for (const row of classifyLines(input.existingBody)) {
+        if (!row.inContext) {
+            open = null;
+            continue;
+        }
+        const startsBlock = row.level > 0 &&
+            isContextHeading(row.heading) &&
+            (open === null || row.level <= openLevel);
+        if (startsBlock) {
+            const word = row.heading
+                .trim()
+                .replace(/^[*_`\s]+/, "")
+                .split(/\W+/, 1)[0];
+            open = { key: (word ?? "").toLowerCase(), lines: [] };
+            openLevel = row.level;
+            blocks.push(open);
+        }
+        open?.lines.push(row.line);
+    }
+    const used = new Set();
+    const parts = [input.statement.trim()];
+    for (const block of blocks) {
+        const replacement = replacements.get(block.key);
+        if (replacement !== undefined && !used.has(block.key)) {
+            used.add(block.key);
+            parts.push(replacement);
+        }
+        else if (replacement === undefined) {
+            parts.push(block.lines.join("\n").replace(/\n+$/, ""));
+        }
+    }
+    for (const [key, replacement] of replacements) {
+        if (!used.has(key))
+            parts.push(replacement);
+    }
+    return `${parts.join("\n\n")}\n`;
+}
+function firstLine(text) {
+    return text
+        .split(/\r?\n/)
+        .map((line) => line.trim())
+        .find(Boolean);
+}
+/**
+ * The line a search row shows for a body: the first line of the context
+ * prose when the body has any, else the first non-blank body line. With a
+ * statement-only body the first line would repeat the title.
+ */
+// implements REQ-kb-entity-body-context
+export function bodySnippetLine(type, body, entity = {}) {
+    return firstLine(contextProse(type, body, entity)) ?? firstLine(body);
+}

package/dist/extractors/markdown.d.ts

@@ -101,6 +101,19 @@ export declare class FrontmatterError extends Error {
     });
     toString(): string;
 }
+/**
+ * The checked meaning derived from a requirement body before schema 8: every
+ * line except headings, with list and quote markers removed. Context
+ * sections were part of it. Schema 8 pins this value as `semantic_text` for
+ * requirements that never stated one, so claim spans and hashes do not move.
+ */
+export declare function legacyRequirementSemanticText(body: string): string;
+/**
+ * The checked meaning derived from a requirement body: the legacy derivation
+ * over the body with its context sections (Context, Rationale, Why,
+ * Background, Source, Notes, Evidence) removed, so context never changes
+ * what a requirement means.
+ */
 export declare function requirementSemanticText(body: string): string;
 export declare function detectEmbeddedEntities(data: Record<string, unknown>, entityType: string): string[];
 export declare function extractFromMarkdownString(content: string, filePath: string): ExtractionResult;

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

@@ -1 +1 @@
-{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../src/extractors/markdown.ts"],"names":[],"mappings":"AAuBA,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;AA+CD,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQ5D;AAkBD,wBAAgB,sBAAsB,CAEpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CAkDV;AA2hBD,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":"AAwBA,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;AA2hBD,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 { withoutContextSections } from "../entity-body-context.js";
 import { semanticClaimKey } from "../operations/semantic-advisor/clauses.js";
 import { normalizeEntityOrigin, } from "../public/entity-origin.js";
 import { PROOF_BINDINGS_SCHEMA, PROOF_CONTRACT_SCHEMA, } from "../public/proof-protocol.js";
@@ -251,8 +252,14 @@ function parseFrontmatter(content) {
         content: parts.slice(2).join("---"),
     };
 }
-// implements REQ-kibi-legacy-migration-preview-v2
-export function requirementSemanticText(body) {
+/**
+ * The checked meaning derived from a requirement body before schema 8: every
+ * line except headings, with list and quote markers removed. Context
+ * sections were part of it. Schema 8 pins this value as `semantic_text` for
+ * requirements that never stated one, so claim spans and hashes do not move.
+ */
+// implements REQ-kibi-legacy-migration-preview-v2, REQ-kb-entity-body-context
+export function legacyRequirementSemanticText(body) {
     return body
         .replace(/\r\n?/g, "\n")
         .split("\n")
@@ -261,6 +268,16 @@ export function requirementSemanticText(body) {
         .join("\n")
         .trim();
 }
+/**
+ * The checked meaning derived from a requirement body: the legacy derivation
+ * over the body with its context sections (Context, Rationale, Why,
+ * Background, Source, Notes, Evidence) removed, so context never changes
+ * what a requirement means.
+ */
+// implements REQ-kibi-legacy-migration-preview-v2, REQ-kb-entity-body-context
+export function requirementSemanticText(body) {
+    return legacyRequirementSemanticText(withoutContextSections(body));
+}
 function hasLikelyUnquotedColonInTitle(content) {
     if (!content.trim().startsWith("---")) {
         return false;

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

@@ -1 +1 @@
-{"version":3,"file":"intent-search.d.ts","sourceRoot":"","sources":["../src/intent-search.ts"],"names":[],"mappings":"AAGA,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,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;AAobH,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,CAsG7B;AAED,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":"AAIA,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,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;AAobH,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,CAsG7B;AAED,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

@@ -1,4 +1,5 @@
 import path from "node:path";
+import { bodySnippetLine } from "./entity-body-context.js";
 import { escapeAtom, normalizeEntityId, parseTriples } from "./prolog/codec.js";
 import { listSearchCandidates, loadEntityRows, loadSearchCandidates, } from "./public/operations/discovery-entities.js";
 import { loadMarkdownBody } from "./search-ranking.js";
@@ -418,10 +419,9 @@ export async function rankIntentEntities(entities, options, workspaceRoot, graph
         const scored = scoreEntity(entity, allTokens, facets, sourceEvidence, graphEvidence, documentFrequency, entities.length, body, supersededIds.has(entityId));
         if (scored.score < minScore)
             continue;
-        const snippet = body
-            ?.split(/\r?\n/)
-            .map((line) => line.trim())
-            .find(Boolean);
+        const snippet = body === null
+            ? undefined
+            : bodySnippetLine(String(entity.type ?? ""), body, entity);
         ranked.push({
             entity,
             score: scored.score,

package/dist/operations/bootstrap/candidate-helpers.d.ts

@@ -10,4 +10,22 @@ export declare function upsert<T extends {
     readonly to: string;
 }[]): Readonly<Record<string, unknown>>;
 export declare function strictPlan(writeSet: StrictWriteSet): readonly Readonly<Record<string, unknown>>[];
+/**
+ * Attach an authored body to an upsert step so the entity document carries
+ * more than its front matter.
+ */
+export declare function withDocumentBody(step: Readonly<Record<string, unknown>>, body: string): Readonly<Record<string, unknown>>;
+/**
+ * Where a deterministic bootstrap provider found an entry. No reason was
+ * stated in the source, so the sentence records provenance instead of
+ * inventing one; later schema versions and reviewers keep the origin.
+ */
+export declare function bootstrapProvenance(provider: string, location: string, confidence: number): string;
+/** Body for a non-requirement entity: its title, then its provenance. */
+export declare function provenanceBody(title: string, provenance: string): string;
+/**
+ * Body for a requirement found in prose: the statement, the provenance as
+ * its Context and the quoted statement with its location as its Source.
+ */
+export declare function provenanceRequirementBody(statement: string, provenance: string, reference: string): string;
 //# sourceMappingURL=candidate-helpers.d.ts.map

package/dist/operations/bootstrap/candidate-helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"candidate-helpers.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/candidate-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAIrE,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED,wBAAgB,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,SAAK,GAAG,MAAM,CAMtD;AAED,wBAAgB,MAAM,CACpB,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAA;CAAE,EAE5D,MAAM,EAAE,CAAC,EACT,aAAa,GAAE,SAAS;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,EAAO,GACP,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAQnC;AAED,wBAAgB,UAAU,CACxB,QAAQ,EAAE,cAAc,GACvB,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CA0C9C"}
+{"version":3,"file":"candidate-helpers.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/candidate-helpers.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAIrE,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED,wBAAgB,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,SAAK,GAAG,MAAM,CAMtD;AAED,wBAAgB,MAAM,CACpB,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAA;CAAE,EAE5D,MAAM,EAAE,CAAC,EACT,aAAa,GAAE,SAAS;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,EAAO,GACP,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAQnC;AAED,wBAAgB,UAAU,CACxB,QAAQ,EAAE,cAAc,GACvB,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CA0C9C;AAED;;;GAGG;AAEH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACvC,IAAI,EAAE,MAAM,GACX,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAEnC;AAED;;;;GAIG;AAEH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,GACjB,MAAM,CAER;AAED,yEAAyE;AAEzE,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAExE;AAED;;;GAGG;AAEH,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,GAChB,MAAM,CAMR"}

package/dist/operations/bootstrap/candidate-helpers.js

@@ -1,3 +1,4 @@
+import { renderRequirementBody } from "../../entity-body-context.js";
 import { annotateModelRequirementStep } from "../modeling/model-requirement.js";
 import { semanticClaimKey } from "../semantic-advisor/clauses.js";
 export function confidenceBand(value) {
@@ -60,3 +61,37 @@ export function strictPlan(writeSet) {
         logicClaims: [claimKey],
     }));
 }
+/**
+ * Attach an authored body to an upsert step so the entity document carries
+ * more than its front matter.
+ */
+// implements REQ-kb-entity-body-context
+export function withDocumentBody(step, body) {
+    return { ...step, document: { body } };
+}
+/**
+ * Where a deterministic bootstrap provider found an entry. No reason was
+ * stated in the source, so the sentence records provenance instead of
+ * inventing one; later schema versions and reviewers keep the origin.
+ */
+// implements REQ-kb-entity-body-context
+export function bootstrapProvenance(provider, location, confidence) {
+    return `Recorded deterministically by the ${provider} bootstrap provider from ${location} (confidence ${confidence.toFixed(2)}). The source states no reason for this entry, so it preserves where the knowledge came from for later schema versions and reviewers.`;
+}
+/** Body for a non-requirement entity: its title, then its provenance. */
+// implements REQ-kb-entity-body-context
+export function provenanceBody(title, provenance) {
+    return `${title.trim()}\n\n${provenance}\n`;
+}
+/**
+ * Body for a requirement found in prose: the statement, the provenance as
+ * its Context and the quoted statement with its location as its Source.
+ */
+// implements REQ-kb-entity-body-context
+export function provenanceRequirementBody(statement, provenance, reference) {
+    return renderRequirementBody({
+        statement,
+        context: provenance,
+        source: { excerpt: statement, reference },
+    });
+}

package/dist/operations/bootstrap/candidates.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"candidates.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/candidates.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,KAAK,oBAAoB,EAE1B,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,iBAAiB,EAGlB,MAAM,YAAY,CAAC;AA+GpB,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,EACtC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,EACrB,sBAAsB,EAAE,OAAO,GAC9B,oBAAoB,CA4DtB"}
+{"version":3,"file":"candidates.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/candidates.ts"],"names":[],"mappings":"AAYA,OAAO,EACL,KAAK,oBAAoB,EAE1B,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,iBAAiB,EAGlB,MAAM,YAAY,CAAC;AAuHpB,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,EACtC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,EACrB,sBAAsB,EAAE,OAAO,GAC9B,oBAAoB,CA4DtB"}

package/dist/operations/bootstrap/candidates.js

@@ -1,7 +1,7 @@
 import path from "node:path";
 import { extractFromManifestString } from "../../extractors/manifest.js";
 import { extractFromMarkdownString } from "../../extractors/markdown.js";
-import { confidenceBand, slug, upsert } from "./candidate-helpers.js";
+import { bootstrapProvenance, confidenceBand, provenanceBody, slug, upsert, withDocumentBody, } from "./candidate-helpers.js";
 import { markdownCandidates, } from "./markdown-candidates.js";
 function typedCandidates(item, existingIds) {
     const results = item.kind === "symbol_manifest"
@@ -82,7 +82,9 @@ function providerCandidate(item, existingIds, minConfidence) {
             confidenceBand: confidenceBand(confidence),
             evidence,
             relationships: [],
-            applyPlan: [upsert(entity)],
+            applyPlan: [
+                withDocumentBody(upsert(entity), provenanceBody(title, `${bootstrapProvenance(item.provider, relativePath, confidence)}${evidence.length > 0 ? ` Evidence: ${evidence.join("; ")}.` : ""}`)),
+            ],
         },
     ];
 }

package/dist/operations/bootstrap/intent-claims.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"intent-claims.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/intent-claims.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,wBAAwB,EAGxB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAQpB,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxD,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAClE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,CAAC;AAuKF;;;;;;;GAOG;AAEH,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,wBAAwB,EAClC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,GACpB,sBAAsB,CA8HxB"}
+{"version":3,"file":"intent-claims.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/intent-claims.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,wBAAwB,EAGxB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAQpB,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxD,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAClE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,CAAC;AA0NF;;;;;;;GAOG;AAEH,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,wBAAwB,EAClC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,GACpB,sBAAsB,CAmJxB"}