kibi-cli 2.31.0 → 2.32.0

package/dist/commands/sync/manifest.js

@@ -21,9 +21,9 @@ import { dump as dumpYAML, load as parseYAML } from "js-yaml";
 import { isSeq, parseDocument } from "yaml";
 import { coarseCoordinateSpan, coordinateIdentityHash, coordinateSourceHash, parseCoordinateArtifact, writeCoordinateArtifact, } from "../../extractors/symbol-coordinates.js";
 import { enrichSymbolCoordinates, } from "../../extractors/symbols-coordinator.js";
-import { resolveWorkspaceSourceAbsolute } from "../../utils/repo-relative-path.js";
 import { COARSE_GRANULARITY_REASONS, COARSE_GRANULARITY_REASONS_PARENTHESIZED, isCoarseGranularityReason, } from "../../public/symbol-granularity.js";
 import { resolveSymbolsManifestPaths } from "../../utils/manifest-paths.js";
+import { resolveWorkspaceSourceAbsolute } from "../../utils/repo-relative-path.js";
 import { blockifySymbolManifest } from "../../utils/symbol-manifest-layout.js";
 function resolveDeps(overrides) {
     return {
@@ -55,6 +55,11 @@ export const SYMBOLS_MANIFEST_COMMENT_BLOCK = `# symbols.yaml
 #   coordinate entry at all and is reported as failed; add symbol_role and
 #   granularity_reason to opt it into the coarse fallback.
 `;
+function sameCoordinateSpan(stored, next) {
+    return (stored !== undefined &&
+        stored.sourceFile === next.sourceFile &&
+        GENERATED_COORD_FIELDS.every((field) => stored[field] === next[field]));
+}
 const GENERATED_COORD_FIELDS = [
     "sourceLine",
     "sourceColumn",
@@ -192,14 +197,20 @@ manifestPath, workspaceRoot, deps) {
         ? { ...entry }
         : {});
     let coordinatesPath = null;
+    // The stored artifact is the baseline a refresh is counted against: the
+    // authored manifest never holds coordinates, so comparing against it would
+    // report every symbol as refreshed.
+    let storedCoordinates = null;
     if (shouldRefreshCoordinates) {
         coordinatesPath =
             resolved.resolveSymbolsManifestPaths(workspaceRoot).coordinatesPath;
+        storedCoordinates = {};
         if (resolved.existsSync(coordinatesPath)) {
             const existing = parseCoordinateArtifact(String(resolved.readFileSync(coordinatesPath, "utf8")));
             if (existing.status === "invalid") {
                 throw new Error(`Failed to parse coordinate artifact ${coordinatesPath}: ${existing.reason}`);
             }
+            storedCoordinates = existing.coordinates;
         }
     }
     const enriched = await resolved.enrichSymbolCoordinates(before, workspaceRoot, shouldRefreshCoordinates
@@ -210,8 +221,8 @@ manifestPath, workspaceRoot, deps) {
     // partially published compiler dependency. Symbols without extractable
     // coordinates stay absent from the artifact; coverage keeps their gap visible.
     let refreshedArtifactBytes = null;
+    const boundEntries = {};
     if (shouldRefreshCoordinates) {
-        const boundEntries = {};
         for (const entry of enriched) {
             const id = typeof entry?.id === "string" ? entry.id : undefined;
             if (!id)
@@ -241,8 +252,13 @@ manifestPath, workspaceRoot, deps) {
     for (let i = 0; i < before.length; i++) {
         const previous = before[i] ?? {};
         const current = enriched[i] ?? previous;
-        const changed = GENERATED_COORD_FIELDS.some((field) => previous[field] !==
-            current[field]);
+        const id = typeof current.id === "string" ? current.id : undefined;
+        const changed = storedCoordinates === null
+            ? GENERATED_COORD_FIELDS.some((field) => previous[field] !==
+                current[field])
+            : id !== undefined &&
+                boundEntries[id] !== undefined &&
+                !sameCoordinateSpan(storedCoordinates[id], boundEntries[id]);
         if (changed) {
             refreshed++;
             continue;

package/dist/commands/sync/persistence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"persistence.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/persistence.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAEV,qBAAqB,EACrB,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AA2HrD,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;CACrB;AAuFD,iFAAiF;AACjF,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,EACrB,WAAW,EAAE,SAAS,MAAM,EAAE,GAC7B,OAAO,CAAC,MAAM,CAAC,CA+BjB;AAED,0EAA0E;AAC1E,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,OAAO,CAAC,MAAM,CAAC,CAmBjB;AAED,8EAA8E;AAC9E,wBAAsB,8BAA8B,CAClD,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,OAAO,CAAC,IAAI,CAAC,CAoBf;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,EACrB,aAAa,EAAE,SAAS,qBAAqB,EAAE,GAC9C,OAAO,CAAC,MAAM,CAAC,CAuBjB;AAmCD,6EAA6E;AAE7E,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC;IACjC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC,CAAC;AAEH;;;GAGG;AAEH,wBAAsB,gBAAgB,CACpC,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,GACnC,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAmBlC;AAED,wBAAsB,eAAe,CAEnC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EACtB,OAAO,GAAE;IAAE,qBAAqB,CAAC,EAAE,OAAO,CAAA;CAAO,GAChD,OAAO,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAoRvD;AA4BD,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,MAAM,GAAG,SAAS,EAC/B,UAAU,EAAE,MAAM,GAAG,SAAS,GAC7B,MAAM,CAER;AAGD,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,kBAAkB,EAAE,qBAAqB,EAAE,EAC3C,OAAO,GAAE;IAAE,aAAa,CAAC,EAAE,MAAM,CAAA;CAAO,GACvC,OAAO,CAAC;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAmO7D"}
+{"version":3,"file":"persistence.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/persistence.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAEV,qBAAqB,EACrB,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AA4HrD,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;CACrB;AAuFD,iFAAiF;AACjF,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,EACrB,WAAW,EAAE,SAAS,MAAM,EAAE,GAC7B,OAAO,CAAC,MAAM,CAAC,CA+BjB;AAED,0EAA0E;AAC1E,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,OAAO,CAAC,MAAM,CAAC,CAmBjB;AAED,8EAA8E;AAC9E,wBAAsB,8BAA8B,CAClD,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,OAAO,CAAC,IAAI,CAAC,CAoBf;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,EACrB,aAAa,EAAE,SAAS,qBAAqB,EAAE,GAC9C,OAAO,CAAC,MAAM,CAAC,CAuBjB;AAmCD,6EAA6E;AAE7E,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC;IACjC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC,CAAC;AAEH;;;GAGG;AAEH,wBAAsB,gBAAgB,CACpC,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,GACnC,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAmBlC;AAED,wBAAsB,eAAe,CAEnC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EACtB,OAAO,GAAE;IAAE,qBAAqB,CAAC,EAAE,OAAO,CAAA;CAAO,GAChD,OAAO,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAyRvD;AA4BD,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,MAAM,GAAG,SAAS,EAC/B,UAAU,EAAE,MAAM,GAAG,SAAS,GAC7B,MAAM,CAER;AAGD,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,kBAAkB,EAAE,qBAAqB,EAAE,EAC3C,OAAO,GAAE;IAAE,aAAa,CAAC,EAAE,MAAM,CAAA;CAAO,GACvC,OAAO,CAAC;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CA0O7D"}

package/dist/commands/sync/persistence.js

@@ -64,6 +64,7 @@ const STRING_ARRAY_FIELDS = new Set([
     "aliases",
     "examples",
     "predicate_args",
+    "value_set",
 ]);
 function getEntityField(entity, field) {
     // ExtractedEntity declares all fact fields as optional properties, so indexing
@@ -405,6 +406,9 @@ prolog, results, entityIds, options = {}) {
                 entity.firmness !== undefined) {
                 props.push(`firmness=${toPrologAtom(entity.firmness)}`);
             }
+            if (entity.type === "req" && entity.required_evidence !== undefined) {
+                props.push(`required_evidence=${toPrologAtom(entity.required_evidence)}`);
+            }
             if (entity.type === "scenario" && entity.expects !== undefined) {
                 props.push(`expects=${toPrologAtom(entity.expects)}`);
             }
@@ -546,7 +550,13 @@ export function relationshipFailureMessage(singleError, batchError) {
 }
 // implements REQ-core-persistence
 export async function persistRelationships(prolog, results, shardRelationships, options = {}) {
-    let relCount = 0;
+    // Distinct edges asserted: an edge stated in an entity's front matter and in
+    // a relationship shard, or extracted twice, is asserted more than once but
+    // stored once, so counting assert calls overstates what this sync added.
+    const assertedEdges = new Set();
+    const countEdge = (type, fromId, toId) => {
+        assertedEdges.add(`${type}|${fromId}|${toId}`);
+    };
     let kbModified = false;
     // Build ID lookup for relationship resolution
     const idLookup = new Map();
@@ -603,7 +613,8 @@ export async function persistRelationships(prolog, results, shardRelationships,
             ? await relationshipBatchRunner(chunk.map(({ goal }) => goal))
             : { success: false, error: "batch unsupported" };
         if (batch.success) {
-            relCount += chunk.length;
+            for (const item of chunk)
+                countEdge(item.rel.type, item.fromId, item.toId);
             kbModified = true;
             continue;
         }
@@ -611,7 +622,7 @@ export async function persistRelationships(prolog, results, shardRelationships,
             try {
                 const single = await prolog.query(item.goal);
                 if (single.success) {
-                    relCount++;
+                    countEdge(item.rel.type, item.fromId, item.toId);
                     kbModified = true;
                 }
                 else {
@@ -643,7 +654,7 @@ export async function persistRelationships(prolog, results, shardRelationships,
                 const goal = `kb_assert_relationship(${toPrologAtom(rel.type)}, ${toPrologAtom(fromId)}, ${toPrologAtom(toId)}, [])`;
                 const result = await prolog.query(goal);
                 if (result.success) {
-                    relCount++;
+                    countEdge(rel.type, fromId, toId);
                     kbModified = true;
                 }
                 else {
@@ -715,5 +726,5 @@ export async function persistRelationships(prolog, results, shardRelationships,
             console.warn("\nTip: Ensure target entities exist before creating relationships.");
         }
     }
-    return { relationshipCount: relCount, kbModified };
+    return { relationshipCount: assertedEdges.size, kbModified };
 }

package/dist/diagnostics.js

@@ -82,7 +82,7 @@ export function formatSyncSummary(summary) {
         lines.push(`KB Totals: ${entityTotal} entities`);
         pushCounts(lines, totals.entities);
         lines.push(`KB Relationships: ${totals.relationships}`);
-        lines.push(`Imported This Sync (changed sources only): ${imported} entities, ${summary.relationshipCount} relationship records`);
+        lines.push(`Imported This Sync (changed sources only): ${imported} entities, ${summary.relationshipCount} distinct relationships`);
         pushCounts(lines, summary.entityCounts);
     }
     lines.push("");

package/dist/engine.js

@@ -250,7 +250,7 @@ function safeEngineGoal(goal) {
     if (/\b(?:halt|abort|shell|system|process_create|consult|load_files|open|close|delete_file|rename_file|make_directory|thread_create|rdf_attach_db|rdf_load|rdf_save|assertz|asserta|retractall|set_prolog_flag)\s*\(/.test(executable)) {
         return false;
     }
-    return /(?:^|[(:,\s])(?:kb_|checks:|status:|discovery:|requirement_proof:|findall\(|aggregate_all\(|rdf_transaction\(|use_module\(|atom_json_dict\(|member\(|once\(|true\b|fail\b)/.test(goal.trim());
+    return /(?:^|[(:,\s])(?:kb_|checks:|status:|discovery:|requirement_proof:|code_certificates:|claim_obligations:|findall\(|aggregate_all\(|rdf_transaction\(|use_module\(|atom_json_dict\(|member\(|once\(|true\b|fail\b)/.test(goal.trim());
 }
 function frame(value) {
     const payload = Buffer.from(JSON.stringify(value), "utf8");

package/dist/extractors/markdown.d.ts

@@ -17,6 +17,7 @@ export interface ExtractedEntity {
     text_ref?: string;
     origin?: EntityOrigin;
     firmness?: Firmness;
+    required_evidence?: "proved" | "tested" | "asserted" | "unverified";
     semantic_text?: string;
     logic_claims?: string[];
     semantic_clauses?: string[];
@@ -46,8 +47,9 @@ export interface ExtractedEntity {
     subject_key?: string;
     property_key?: string;
     operator?: "eq" | "neq" | "lt" | "lte" | "gt" | "gte";
-    value_type?: "string" | "int" | "number" | "bool";
+    value_type?: "string" | "int" | "number" | "bool" | "set";
     value_string?: string;
+    value_set?: string[];
     value_int?: number;
     value_number?: number;
     value_bool?: boolean;

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

@@ -1 +1 @@
-{"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;AA2DD;;;;;GAKG;AAEH,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQlE;AAED;;;;;GAKG;AAEH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE5D;AAeD,wBAAgB,sBAAsB,CAEpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CAkDV;AAiiBD,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;AAEpC,OAAO,EAGL,KAAK,YAAY,EACjB,KAAK,aAAa,EACnB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,KAAK,YAAY,EAElB,MAAM,4BAA4B,CAAC;AAwEpC,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,iBAAiB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,UAAU,GAAG,YAAY,CAAC;IACpE,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,GAAG,KAAK,CAAC;IAC1D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,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;AA2DD;;;;;GAKG;AAEH,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQlE;AAED;;;;;GAKG;AAEH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE5D;AAeD,wBAAgB,sBAAsB,CAEpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CAkDV;AA0jBD,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

@@ -23,6 +23,7 @@ import { FIRMNESS_VALUES, carriesFirmness, isFirmness, } from "../decision-firmn
 import { withoutContextSections } from "../entity-body-context.js";
 import { deriveFactClaimKey, semanticClaimKey, } from "../operations/semantic-advisor/clauses.js";
 import { normalizeEntityOrigin, } from "../public/entity-origin.js";
+import { EVIDENCE_LEVELS } from "../public/evidence-levels.js";
 import { PROOF_BINDINGS_SCHEMA, PROOF_CONTRACT_SCHEMA, } from "../public/proof-protocol.js";
 import { proofReceiptHistoryErrors, } from "../public/proof-receipt.js";
 import entitySchema from "../schemas/entity.schema.json" with { type: "json" };
@@ -68,6 +69,7 @@ const FACT_STRING_ARRAY_FIELDS = [
     "aliases",
     "examples",
     "predicate_args",
+    "value_set",
 ];
 const FACT_ONLY_FIELDS = [
     ...FACT_STRING_FIELDS,
@@ -534,6 +536,21 @@ function extractFromMarkdownContent(content, filePath) {
             }
             entity.firmness = data.firmness;
         }
+        // implements REQ-kibi-evidence-floors
+        // The weakest evidence level the requirement accepts; the evidence-floor
+        // rule reads it, and derives it from firmness when absent.
+        if (data.required_evidence !== undefined) {
+            if (type !== "req" ||
+                !EVIDENCE_LEVELS.includes(data.required_evidence)) {
+                throw new FrontmatterError(type === "req"
+                    ? "Invalid required_evidence; expected one of proved, tested, asserted, unverified"
+                    : "required_evidence is only allowed on type: req", filePath, {
+                    classification: "Invalid Required Evidence",
+                    hint: "Set required_evidence to the weakest evidence level the requirement accepts (proved, tested, asserted or unverified), or remove the field to derive it from firmness.",
+                });
+            }
+            entity.required_evidence = data.required_evidence;
+        }
         if (type === "req" && Array.isArray(data.exempts_claims)) {
             entity.exempts_claims = data.exempts_claims.filter((value) => typeof value === "string");
         }

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

@@ -19,6 +19,9 @@ export declare function withDocumentBody(step: Readonly<Record<string, unknown>>
  * Record a requirement bootstrap read from a person's document as theirs: an
  * import with a reference to the passage, and `firmness: firm`, so an agent
  * asks before changing it instead of treating it as its own default choice.
+ * Nothing tests it yet, so its evidence floor is `asserted` (the document
+ * stands behind it), as `kibi migrate` sets for untested firm requirements;
+ * a freshly bootstrapped knowledge base passes `kibi check`.
  */
 export declare function asImportedRule(step: Readonly<Record<string, unknown>>, ref: string): Readonly<Record<string, unknown>>;
 /**

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":"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,cAAc,CAC5B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACvC,GAAG,EAAE,MAAM,GACV,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAanC;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,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAE5E;AAED;;;GAGG;AAEH,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,GAChB,MAAM,CAMR"}
+{"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;;;;;;;GAOG;AAEH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACvC,GAAG,EAAE,MAAM,GACV,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAcnC;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,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAE5E;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

@@ -73,6 +73,9 @@ export function withDocumentBody(step, body) {
  * Record a requirement bootstrap read from a person's document as theirs: an
  * import with a reference to the passage, and `firmness: firm`, so an agent
  * asks before changing it instead of treating it as its own default choice.
+ * Nothing tests it yet, so its evidence floor is `asserted` (the document
+ * stands behind it), as `kibi migrate` sets for untested firm requirements;
+ * a freshly bootstrapped knowledge base passes `kibi check`.
  */
 // implements REQ-kb-decision-firmness
 export function asImportedRule(step, ref) {
@@ -85,6 +88,7 @@ export function asImportedRule(step, ref) {
             ...properties,
             origin: { kind: "import", ref },
             firmness: "firm",
+            required_evidence: "asserted",
         },
     };
 }

package/dist/operations/migration/evidence-floor.d.ts

@@ -0,0 +1,41 @@
+import type { BodyContextPlan } from "./entity-body-context.js";
+/** Schema 11: record the floor of firm requirements that had no proof path. */
+export declare const EVIDENCE_FLOOR_PIN_CODE = "evidence_floor_pin";
+/** Pins to write, plus the firm requirements that keep the tested floor. */
+export type EvidenceFloorPlan = BodyContextPlan & Readonly<{
+    kept: readonly string[];
+    /**
+     * Whether the floors were decided by the evidence ladder on the compiled
+     * store (`ladder`) or only from authored receipts (`authored`), because
+     * no synced store could be read.
+     */
+    decidedBy: "ladder" | "authored";
+}>;
+/**
+ * The evidence ladder's verdict on the current store: requirement id to the
+ * evidence-floor status of every requirement below a tested floor
+ * (`below`, or `pending_reproof` when only receipts older than the code
+ * stand in the way). Requirements absent from the map meet the floor.
+ */
+export type LadderFloorVerdicts = ReadonlyMap<string, "below" | "pending_reproof">;
+/**
+ * Current firm requirements without required_evidence and without a proof
+ * path that has passed. From schema 11 a firm requirement needs tested
+ * evidence, which these have not reached, so the migration records their
+ * floor as asserted in the requirement itself, where a reviewer sees it and
+ * can raise it later. Requirements with a passing proof path keep the tested
+ * floor; `kept` lists them, since remaining gaps (a stale receipt, a missing
+ * covered_by) still show in kibi check. Read-only.
+ */
+export declare function planEvidenceFloorPins(workspaceRoot: string, ladder?: LadderFloorVerdicts | null): EvidenceFloorPlan;
+/** Write the planned floors; returns how many requirements were rewritten. */
+export declare function applyEvidenceFloorPins(workspaceRoot: string, ladder?: LadderFloorVerdicts | null): number;
+/**
+ * Read the evidence ladder's floor verdicts from the branch's compiled store,
+ * so the migration keeps the tested floor only where kibi check will accept
+ * it. Returns null when no healthy, synced store is attached (never synced,
+ * damaged, another branch's store) or the evaluation fails; the migration
+ * then decides from authored receipts alone and says so.
+ */
+export declare function readLadderFloorVerdicts(workspaceRoot: string): Promise<LadderFloorVerdicts | null>;
+//# sourceMappingURL=evidence-floor.d.ts.map

package/dist/operations/migration/evidence-floor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-floor.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/evidence-floor.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EACV,eAAe,EAEhB,MAAM,0BAA0B,CAAC;AAQlC,+EAA+E;AAE/E,eAAO,MAAM,uBAAuB,uBAAuB,CAAC;AAE5D,4EAA4E;AAC5E,MAAM,MAAM,iBAAiB,GAAG,eAAe,GAC7C,QAAQ,CAAC;IACP,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB;;;;OAIG;IACH,SAAS,EAAE,QAAQ,GAAG,UAAU,CAAC;CAClC,CAAC,CAAC;AAEL;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAAG,WAAW,CAC3C,MAAM,EACN,OAAO,GAAG,iBAAiB,CAC5B,CAAC;AA+GF;;;;;;;;GAQG;AAEH,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,MAAM,EACrB,MAAM,CAAC,EAAE,mBAAmB,GAAG,IAAI,GAClC,iBAAiB,CAsDnB;AAED,8EAA8E;AAE9E,wBAAgB,sBAAsB,CACpC,aAAa,EAAE,MAAM,EACrB,MAAM,CAAC,EAAE,mBAAmB,GAAG,IAAI,GAClC,MAAM,CAKR;AAED;;;;;;GAMG;AAEH,wBAAsB,uBAAuB,CAC3C,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC,CAuCrC"}

package/dist/operations/migration/evidence-floor.js

@@ -0,0 +1,230 @@
+/*
+ Kibi — repo-local, per-branch, queryable long-term memory for software projects
+ Copyright (C) 2026 Piotr Franczyk
+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU Affero General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ GNU Affero General Public License for more details.
+
+ You should have received a copy of the GNU Affero General Public License
+ along with this program.  If not, see <https://www.gnu.org/licenses/>.
+*/
+import path from "node:path";
+import { effectiveFirmness } from "../../decision-firmness.js";
+import { authoredSupersededIds, isCurrentAuthoredEntity, readAuthoredEntity, } from "../../public/operations/entity-context.js";
+import { readAllShards } from "../../relationships/shards.js";
+import { listLaneMarkdownFiles, readText, withTopLevelField, writeFileAtomically, } from "./kb-sources.js";
+/** Schema 11: record the floor of firm requirements that had no proof path. */
+// implements REQ-kibi-evidence-floors, REQ-cli-schema-migration
+export const EVIDENCE_FLOOR_PIN_CODE = "evidence_floor_pin";
+/** The floor the migration records: a person stands behind the requirement. */
+const PINNED_FLOOR = "asserted";
+function linkTargets(entity, type) {
+    const links = entity.data.links;
+    if (!Array.isArray(links))
+        return [];
+    return links.flatMap((link) => link !== null &&
+        typeof link === "object" &&
+        link.type === type &&
+        typeof link.target === "string"
+        ? [link.target]
+        : []);
+}
+function authoredEntities(workspaceRoot, lane) {
+    const entities = [];
+    for (const file of listLaneMarkdownFiles(workspaceRoot, [lane])) {
+        const content = readText(file.absolutePath);
+        if (content === null)
+            continue;
+        const entity = readAuthoredEntity(content, file.relativePath);
+        if (entity !== null)
+            entities.push({ entity, content, relativePath: file.relativePath });
+    }
+    return entities;
+}
+/**
+ * An end-to-end test with a proof contract whose newest receipt passed: the
+ * least a requirement needs to have been tested, judged on the receipt the
+ * evidence ladder reads. A contract that was never run through kibi prove,
+ * one whose latest run failed, or a unit-scoped one cannot reach tested.
+ */
+function hasPassingProof(entity) {
+    if (entity.data.proof_contract === undefined)
+        return false;
+    if (entity.data.verification_scope !== "end_to_end")
+        return false;
+    const receipts = entity.data.proof_receipts;
+    if (!Array.isArray(receipts) || receipts.length === 0)
+        return false;
+    const latest = receipts.reduce((best, receipt, index) => {
+        if (receipt === null || typeof receipt !== "object")
+            return best;
+        const record = receipt;
+        // Finish times increase strictly; history order is the fallback.
+        const at = typeof record.finished_at === "string"
+            ? record.finished_at
+            : String(index).padStart(12, "0");
+        return best === null || at >= best.at
+            ? { at, outcome: record.outcome }
+            : best;
+    }, null);
+    return latest?.outcome === "passed";
+}
+/**
+ * Requirement ids with a proof path: a linked scenario (specified_by) that an
+ * end-to-end test with a proof contract and a passing receipt verifies
+ * (scenario verified_by test, or test validates scenario), read from authored
+ * links and relationship shards.
+ */
+function requirementsWithProofPath(workspaceRoot, requirements) {
+    const scenariosOf = new Map();
+    const testsOf = new Map();
+    const add = (map, from, to) => {
+        const set = map.get(from) ?? new Set();
+        set.add(to);
+        map.set(from, set);
+    };
+    for (const requirement of requirements)
+        for (const target of linkTargets(requirement, "specified_by"))
+            add(scenariosOf, requirement.id, target);
+    for (const { entity } of authoredEntities(workspaceRoot, "scenarios"))
+        for (const target of linkTargets(entity, "verified_by"))
+            add(testsOf, entity.id, target);
+    const contracted = new Set();
+    for (const { entity } of authoredEntities(workspaceRoot, "tests")) {
+        if (hasPassingProof(entity))
+            contracted.add(entity.id);
+        for (const target of linkTargets(entity, "validates"))
+            add(testsOf, target, entity.id);
+    }
+    try {
+        for (const relationship of readAllShards(path.join(workspaceRoot, ".kb"))) {
+            if (relationship.type === "specified_by")
+                add(scenariosOf, relationship.from, relationship.to);
+            else if (relationship.type === "verified_by")
+                add(testsOf, relationship.from, relationship.to);
+            else if (relationship.type === "validates")
+                add(testsOf, relationship.to, relationship.from);
+        }
+    }
+    catch {
+        // Malformed shards fail sync with their own diagnostic.
+    }
+    const withPath = new Set();
+    for (const [requirementId, scenarios] of scenariosOf)
+        for (const scenarioId of scenarios)
+            for (const testId of testsOf.get(scenarioId) ?? [])
+                if (contracted.has(testId))
+                    withPath.add(requirementId);
+    return withPath;
+}
+/**
+ * Current firm requirements without required_evidence and without a proof
+ * path that has passed. From schema 11 a firm requirement needs tested
+ * evidence, which these have not reached, so the migration records their
+ * floor as asserted in the requirement itself, where a reviewer sees it and
+ * can raise it later. Requirements with a passing proof path keep the tested
+ * floor; `kept` lists them, since remaining gaps (a stale receipt, a missing
+ * covered_by) still show in kibi check. Read-only.
+ */
+// implements REQ-kibi-evidence-floors, REQ-cli-schema-migration
+export function planEvidenceFloorPins(workspaceRoot, ladder) {
+    const files = authoredEntities(workspaceRoot, "requirements").filter(({ entity }) => entity.type === "req");
+    const requirements = files.map(({ entity }) => entity);
+    const superseded = authoredSupersededIds(workspaceRoot, requirements);
+    const withPath = requirementsWithProofPath(workspaceRoot, requirements);
+    const targets = [];
+    const kept = [];
+    const skipped = [];
+    for (const { entity, content, relativePath } of files) {
+        if (entity.data.required_evidence !== undefined ||
+            entity.data.proof_exempt === true ||
+            !isCurrentAuthoredEntity(entity, superseded) ||
+            effectiveFirmness(entity.type, entity.data.firmness, entity.data.origin) !== "firm")
+            continue;
+        // The ladder on the compiled store judges every gap (failed latest
+        // receipts, missing coverage or coordinates), so a requirement it puts
+        // below the tested floor is pinned even with a passing receipt; one
+        // without any authored proof path is pinned whatever the store says,
+        // since the store may predate the authored sources.
+        if (withPath.has(entity.id) && ladder?.get(entity.id) !== "below") {
+            kept.push(entity.id);
+            continue;
+        }
+        const after = withTopLevelField(content, "required_evidence", PINNED_FLOOR);
+        if (after === null) {
+            skipped.push({
+                id: entity.id,
+                path: relativePath,
+                reason: "required_evidence could not be edited safely",
+            });
+            continue;
+        }
+        targets.push({
+            id: entity.id,
+            type: entity.type,
+            path: relativePath,
+            before: content,
+            after,
+        });
+    }
+    return {
+        targets,
+        skipped,
+        kept,
+        decidedBy: ladder === undefined || ladder === null ? "authored" : "ladder",
+    };
+}
+/** Write the planned floors; returns how many requirements were rewritten. */
+// implements REQ-kibi-evidence-floors, REQ-cli-schema-migration
+export function applyEvidenceFloorPins(workspaceRoot, ladder) {
+    const plan = planEvidenceFloorPins(workspaceRoot, ladder);
+    for (const target of plan.targets)
+        writeFileAtomically(path.join(workspaceRoot, target.path), target.after);
+    return plan.targets.length;
+}
+/**
+ * Read the evidence ladder's floor verdicts from the branch's compiled store,
+ * so the migration keeps the tested floor only where kibi check will accept
+ * it. Returns null when no healthy, synced store is attached (never synced,
+ * damaged, another branch's store) or the evaluation fails; the migration
+ * then decides from authored receipts alone and says so.
+ */
+// implements REQ-kibi-evidence-floors, REQ-cli-schema-migration
+export async function readLadderFloorVerdicts(workspaceRoot) {
+    try {
+        const [{ createCliRuntime }, { executeOperation }, { statusSpec }, { readEvidenceFloorRows },] = await Promise.all([
+            import("../../runtime/cli-runtime.js"),
+            import("../../public/operations/runtime-types.js"),
+            import("../../public/operations/specs/discovery.js"),
+            import("../../public/operations/evidence-floor.js"),
+        ]);
+        const runtime = createCliRuntime({ workspaceRoot });
+        const status = (await executeOperation(runtime, statusSpec, {}))
+            .structuredContent;
+        if (status?.branchStore?.state !== "healthy" ||
+            status?.snapshotId === "missing" ||
+            status?.branchAttachment?.kind !== "exact")
+            return null;
+        const rows = await executeOperation(runtime, {
+            name: "kb_migrate_evidence_floor_preview",
+            effects: ["kb-read"],
+            requiresProlog: true,
+            execute: (_input, context) => readEvidenceFloorRows(context),
+        }, {});
+        const verdicts = new Map();
+        for (const row of rows)
+            if (row.requiredEvidence === "tested")
+                verdicts.set(row.id, row.status);
+        return verdicts;
+    }
+    catch {
+        return null;
+    }
+}

package/dist/operations/migration/proof-contract-claims.d.ts

@@ -0,0 +1,59 @@
+import type { BodyContextTarget } from "./entity-body-context.js";
+/** Schema 12: pin proves on a certificate contract with one provable claim. */
+export declare const PROOF_CONTRACT_CLAIMS_PIN_CODE = "proof_contract_claims_pin";
+/** Schema 12: certificate contracts a person must bind to their claims. */
+export declare const PROOF_CONTRACT_CLAIMS_REVIEW_CODE = "proof_contract_claims_review";
+/** A claim a certificate contract could prove: its fact derives an obligation. */
+export type ClaimCandidate = Readonly<{
+    claim_key: string;
+    requirement_id: string;
+    fact_id: string;
+}>;
+/**
+ * A certificate-kind contract without proves, with the claims of the
+ * requirements its test reaches that its kind can derive an obligation for.
+ */
+export type ClaimCandidateRow = Readonly<{
+    test_id: string;
+    kind: string;
+    candidates: readonly ClaimCandidate[];
+}>;
+export type ProofContractClaimsPlan = Readonly<{
+    targets: readonly BodyContextTarget[];
+    /** Contracts left without proves: none or several candidates. */
+    review: readonly Readonly<{
+        id: string;
+        path: string;
+        kind: string;
+        candidates: readonly string[];
+    }>[];
+    skipped: readonly Readonly<{
+        id: string;
+        path: string;
+        reason: string;
+    }>[];
+}>;
+/**
+ * Add proves to a test's proof_contract block, leaving every other byte of
+ * the document unchanged: the list goes after the block's last line, at the
+ * indentation of its other keys. Returns null when the contract is not a
+ * block mapping, already names proves, or the edit would not read back as
+ * exactly that change.
+ */
+export declare function withProofContractProves(content: string, keys: readonly string[]): string | null;
+/**
+ * Certificate-kind contracts without proves, judged on the synced store: a
+ * contract whose test reaches exactly one claim its kind can derive an
+ * obligation for gets that claim pinned in proves; any other is left for a
+ * person to bind (review). Read-only.
+ */
+export declare function planProofContractClaimPins(workspaceRoot: string, rows: readonly ClaimCandidateRow[] | null): ProofContractClaimsPlan;
+export declare function applyProofContractClaimPins(workspaceRoot: string, rows: readonly ClaimCandidateRow[] | null): ProofContractClaimsPlan;
+/**
+ * The claim candidates of every certificate contract without proves, read
+ * from the branch's compiled store. Returns null when no healthy, synced
+ * store is attached or the evaluation fails; the migration then pins
+ * nothing, and proof-contract-claims lists the contracts.
+ */
+export declare function readProofContractClaimCandidates(workspaceRoot: string): Promise<readonly ClaimCandidateRow[] | null>;
+//# sourceMappingURL=proof-contract-claims.d.ts.map

package/dist/operations/migration/proof-contract-claims.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-contract-claims.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/proof-contract-claims.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAQlE,+EAA+E;AAE/E,eAAO,MAAM,8BAA8B,8BAA8B,CAAC;AAE1E,2EAA2E;AAE3E,eAAO,MAAM,iCAAiC,iCAAiC,CAAC;AAEhF,kFAAkF;AAClF,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;CACvC,CAAC,CAAC;AAEH,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAAC;IAC7C,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,iEAAiE;IACjE,MAAM,EAAE,SAAS,QAAQ,CAAC;QACxB,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;KAC/B,CAAC,EAAE,CAAC;IACL,OAAO,EAAE,SAAS,QAAQ,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAAC;CAC5E,CAAC,CAAC;AAMH;;;;;;GAMG;AAEH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB,MAAM,GAAG,IAAI,CAwCf;AAED;;;;;GAKG;AAEH,wBAAgB,0BAA0B,CACxC,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,SAAS,iBAAiB,EAAE,GAAG,IAAI,GACxC,uBAAuB,CA8CzB;AAGD,wBAAgB,2BAA2B,CACzC,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,SAAS,iBAAiB,EAAE,GAAG,IAAI,GACxC,uBAAuB,CAKzB;AAED;;;;;GAKG;AAEH,wBAAsB,gCAAgC,CACpD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,SAAS,iBAAiB,EAAE,GAAG,IAAI,CAAC,CA6C9C"}