kibi-cli 0.12.8 → 0.16.1

package/dist/commands/sync/persistence.js

@@ -36,9 +36,21 @@ const STRING_FIELDS = new Set([
     "valid_from",
     "valid_to",
     "canonical_key",
+    "claim_key",
+    "claim_text",
+    "predicate_name",
+    "predicate_namespace",
 ]);
-const NUMBER_FIELDS = new Set(["value_int", "value_number"]);
+const NUMBER_FIELDS = new Set(["value_int", "value_number", "predicate_arity"]);
 const BOOLEAN_FIELDS = new Set(["value_bool", "closed_world"]);
+const STRING_ARRAY_FIELDS = new Set([
+    "argument_names",
+    "argument_types",
+    "argument_descriptions",
+    "aliases",
+    "examples",
+    "predicate_args",
+]);
 function getEntityField(entity, field) {
     // ExtractedEntity declares all fact fields as optional properties, so indexing
     // via keyof is safe. The cast is confined to this single helper.
@@ -78,6 +90,12 @@ function serializeTypedFactFields(entity) {
             fields.push(`${field}=${value}`);
         }
     }
+    for (const field of STRING_ARRAY_FIELDS) {
+        const value = getEntityField(entity, field);
+        if (Array.isArray(value)) {
+            fields.push(`${field}=[${value.map((item) => toPrologString(String(item))).join(",")}]`);
+        }
+    }
     return fields;
 }
 function isQueryFailedError(error) {
@@ -147,6 +165,9 @@ prolog, results, entityIds) {
                 props.push(`severity=${toPrologAtom(entity.severity)}`);
             if (entity.text_ref)
                 props.push(`text_ref=${toPrologString(entity.text_ref)}`);
+            if (entity.type === "req" && entity.logic_claims) {
+                props.push(`logic_claims=[${entity.logic_claims.map(toPrologAtom).join(",")}]`);
+            }
             if (sourceFile)
                 props.push(`sourceFile=${toPrologString(sourceFile)}`);
             // Add typed fact fields for fact entities
@@ -154,6 +175,14 @@ prolog, results, entityIds) {
                 const factFields = serializeTypedFactFields(entity);
                 props.push(...factFields);
             }
+            if (entity.type === "test") {
+                if (entity.verification_scope !== undefined) {
+                    props.push(`verification_scope=${toPrologAtom(entity.verification_scope)}`);
+                }
+                if (entity.verification_perspective !== undefined) {
+                    props.push(`verification_perspective=${toPrologAtom(entity.verification_perspective)}`);
+                }
+            }
             const propsList = `[${props.join(", ")}]`;
             const goal = `kb_assert_entity(${entity.type}, ${propsList})`;
             const result = await prolog.query(goal);
@@ -165,11 +194,31 @@ prolog, results, entityIds) {
         }
         catch (error) {
             const message = error instanceof Error ? error.message : String(error);
-            throw new Error(`Failed to upsert entity ${entity.id}: ${message}`);
+            throw new Error(`Failed to upsert entity ${entity.id}: ${message}${semanticEntityContext(entity, sourceFile ?? entity.source)}`);
         }
     }
     return { entityCount, kbModified };
 }
+function semanticEntityContext(entity, sourceFile) {
+    const displaySource = path.isAbsolute(sourceFile)
+        ? path.relative(process.cwd(), sourceFile)
+        : sourceFile;
+    const details = [`source=${displaySource}`];
+    if (entity.type === "fact") {
+        const factKind = getEntityField(entity, "fact_kind");
+        if (factKind !== undefined && factKind !== null) {
+            details.push(`fact_kind=${String(factKind)}`);
+        }
+        if (factKind === "property_value" &&
+            getEntityField(entity, "value_string") === undefined &&
+            getEntityField(entity, "value_int") === undefined &&
+            getEntityField(entity, "value_number") === undefined &&
+            getEntityField(entity, "value_bool") === undefined) {
+            details.push("missing value field");
+        }
+    }
+    return ` (${details.join("; ")})`;
+}
 // implements REQ-core-persistence
 export async function persistRelationships(prolog, results, shardRelationships) {
     let relCount = 0;

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

@@ -1 +1 @@
-{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../src/extractors/manifest.ts"],"names":[],"mappings":"AA6BA,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,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;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;AA6JD,qBAAa,aAAc,SAAQ,KAAK;IAG7B,QAAQ,EAAE,MAAM;gBADvB,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM;CAK1B;AAED,MAAM,WAAW,oBAAoB;IACnC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,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,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,aAAa,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACxD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAqID,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,EAAE,CAmBpB;AAED,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,oBAAoB,EAAE,CAmBxB;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAKxE;AAsCD,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,EACpB,eAAe,CAAC,EAAE,MAAM,GACvB,oBAAoB,EAAE,CAWxB"}
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../src/extractors/manifest.ts"],"names":[],"mappings":"AA6BA,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,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;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;AA6JD,qBAAa,aAAc,SAAQ,KAAK;IAG7B,QAAQ,EAAE,MAAM;gBADvB,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM;CAK1B;AAED,MAAM,WAAW,oBAAoB;IACnC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,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,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,aAAa,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACxD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAuJD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,EAAE,CAmBpB;AAED,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,oBAAoB,EAAE,CAmBxB;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAKxE;AAsCD,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,EACpB,eAAe,CAAC,EAAE,MAAM,GACvB,oBAAoB,EAAE,CAWxB"}

package/dist/extractors/manifest.js

@@ -189,6 +189,24 @@ function extractFromManifestSymbolRecords(manifestSymbols, filePath) {
             ...(symbol.granularity_reason !== undefined
                 ? { granularity_reason: symbol.granularity_reason }
                 : {}),
+            ...(typeof symbol.symbol_kind === "string"
+                ? { symbol_kind: symbol.symbol_kind }
+                : {}),
+            ...(typeof symbol.symbol_role === "string"
+                ? { symbol_role: symbol.symbol_role }
+                : {}),
+            ...(typeof symbol.sourceLine === "number"
+                ? { sourceLine: symbol.sourceLine }
+                : {}),
+            ...(typeof symbol.sourceColumn === "number"
+                ? { sourceColumn: symbol.sourceColumn }
+                : {}),
+            ...(typeof symbol.sourceEndLine === "number"
+                ? { sourceEndLine: symbol.sourceEndLine }
+                : {}),
+            ...(typeof symbol.sourceEndColumn === "number"
+                ? { sourceEndColumn: symbol.sourceEndColumn }
+                : {}),
         };
         const sourceFile = symbol.sourceFile ?? symbol.source;
         return {

package/dist/extractors/markdown.d.ts

@@ -11,10 +11,17 @@ export interface ExtractedEntity {
     priority?: string;
     severity?: string;
     text_ref?: string;
+    logic_claims?: string[];
     granularity_reason?: string;
+    symbol_kind?: string;
+    symbol_role?: string;
+    sourceLine?: number;
+    sourceColumn?: number;
+    sourceEndLine?: number;
+    sourceEndColumn?: number;
     verification_scope?: "unit" | "integration" | "end_to_end";
     verification_perspective?: "internal" | "consumer";
-    fact_kind?: "subject" | "property_value" | "observation" | "meta";
+    fact_kind?: "subject" | "property_value" | "observation" | "meta" | "predicate_schema" | "predicate";
     subject_key?: string;
     property_key?: string;
     operator?: "eq" | "neq" | "lt" | "lte" | "gt" | "gte";
@@ -25,11 +32,22 @@ export interface ExtractedEntity {
     value_bool?: boolean;
     unit?: string;
     scope?: string;
-    polarity?: "require" | "forbid";
+    polarity?: "require" | "forbid" | "assert" | "deny";
     closed_world?: boolean;
     valid_from?: string;
     valid_to?: string;
     canonical_key?: string;
+    claim_key?: string;
+    claim_text?: string;
+    predicate_name?: string;
+    predicate_namespace?: string;
+    predicate_arity?: number;
+    argument_names?: string[];
+    argument_types?: string[];
+    argument_descriptions?: string[];
+    aliases?: string[];
+    examples?: string[];
+    predicate_args?: string[];
 }
 export interface ExtractedRelationship {
     type: string;

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

@@ -1 +1 @@
-{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../src/extractors/markdown.ts"],"names":[],"mappings":"AAwDA,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,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IAEnD,SAAS,CAAC,EAAE,SAAS,GAAG,gBAAgB,GAAG,aAAa,GAAG,MAAM,CAAC;IAClE,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,CAAC;IAChC,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;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;AA2LD,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;AA8DD,wBAAgB,sBAAsB,CAEpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CAkDV;AA0RD,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":"AA0EA,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,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,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;IAEnD,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,CAAC;IAChB,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,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;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;AA2LD,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;AA8DD,wBAAgB,sBAAsB,CAEpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CAkDV;AAyTD,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 { semanticClaimKey } from "../operations/semantic-advisor/clauses.js";
 import entitySchema from "../schemas/entity.schema.json" with { type: "json" };
 // Typed fact field constants for extraction
 const FACT_STRING_FIELDS = [
@@ -34,13 +35,30 @@ const FACT_STRING_FIELDS = [
     "valid_from",
     "valid_to",
     "canonical_key",
+    "claim_key",
+    "claim_text",
+    "predicate_name",
+    "predicate_namespace",
+];
+const FACT_NUMBER_FIELDS = [
+    "value_int",
+    "value_number",
+    "predicate_arity",
 ];
-const FACT_NUMBER_FIELDS = ["value_int", "value_number"];
 const FACT_BOOLEAN_FIELDS = ["value_bool", "closed_world"];
+const FACT_STRING_ARRAY_FIELDS = [
+    "argument_names",
+    "argument_types",
+    "argument_descriptions",
+    "aliases",
+    "examples",
+    "predicate_args",
+];
 const FACT_ONLY_FIELDS = [
     ...FACT_STRING_FIELDS,
     ...FACT_NUMBER_FIELDS,
     ...FACT_BOOLEAN_FIELDS,
+    ...FACT_STRING_ARRAY_FIELDS,
 ];
 const TEST_ENUM_FIELDS = [
     "verification_scope",
@@ -345,6 +363,9 @@ function extractFromMarkdownContent(content, filePath) {
             entity.severity = data.severity;
         if (data.text_ref !== undefined)
             entity.text_ref = data.text_ref;
+        if (type === "req" && Array.isArray(data.logic_claims)) {
+            entity.logic_claims = data.logic_claims.filter((value) => typeof value === "string");
+        }
         if (type !== "fact") {
             const invalidFactField = FACT_ONLY_FIELDS.find((field) => data[field] !== undefined);
             if (invalidFactField) {
@@ -417,6 +438,11 @@ function extractFromMarkdownContent(content, filePath) {
                     entity[field] = data[field];
                 }
             }
+            for (const field of FACT_STRING_ARRAY_FIELDS) {
+                if (Array.isArray(data[field])) {
+                    entity[field] = data[field].filter((value) => typeof value === "string");
+                }
+            }
         }
         if (!validateExtractedEntity(entity)) {
             const messages = (validateExtractedEntity.errors || [])
@@ -427,6 +453,17 @@ function extractFromMarkdownContent(content, filePath) {
                 hint: "Fix the entity fields so they match the public schema.",
             });
         }
+        if (entity.type === "fact" &&
+            entity.claim_key !== undefined &&
+            entity.claim_text !== undefined) {
+            const expectedClaimKey = semanticClaimKey(entity.claim_text);
+            if (entity.claim_key !== expectedClaimKey) {
+                throw new FrontmatterError(`Entity validation failed: claim_key must equal the stable key derived from claim_text (expected '${expectedClaimKey}')`, filePath, {
+                    classification: "Logical Claim Provenance Mismatch",
+                    hint: "Use the claim_key returned by kb_semantic_advisor for this exact atomic clause.",
+                });
+            }
+        }
         return {
             entity,
             relationships,

package/dist/extractors/symbols-coordinator.d.ts

@@ -1,7 +1,7 @@
 import { type ManifestSymbolEntry, enrichSymbolCoordinatesWithTsMorph } from "./symbols-ts.js";
 export type { ManifestSymbolEntry };
 export type SourceAnalysisMode = "parser" | "fallback";
-export type SourceSymbolKind = "function" | "class" | "method" | "interface" | "type" | "enum" | "variable" | "unknown";
+export type SourceSymbolKind = "function" | "class" | "method" | "property" | "accessor" | "interface" | "type" | "enum" | "variable" | "unknown";
 export interface SourceSymbolAnalysis {
     name: string;
     kind: SourceSymbolKind;

package/dist/extractors/symbols-coordinator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbols-coordinator.d.ts","sourceRoot":"","sources":["../../src/extractors/symbols-coordinator.ts"],"names":[],"mappings":"AAoBA,OAAO,EACL,KAAK,mBAAmB,EAExB,kCAAkC,EACnC,MAAM,iBAAiB,CAAC;AAazB,YAAY,EAAE,mBAAmB,EAAE,CAAC;AAEpC,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,UAAU,CAAC;AAEvD,MAAM,MAAM,gBAAgB,GACxB,UAAU,GACV,OAAO,GACP,QAAQ,GACR,WAAW,GACX,MAAM,GACN,MAAM,GACN,UAAU,GACV,SAAS,CAAC;AAEd,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,gBAAgB,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,kBAAkB,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,oBAAoB;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,OAAO,EAAE,oBAAoB,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC;IACxC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,oBAAoB,CAAC;CACtE;AAED,MAAM,WAAW,wBAAwB;IACvC,SAAS,CAAC,EAAE,sBAAsB,EAAE,CAAC;CACtC;AAED,UAAU,2BAA2B;IACnC,mBAAmB,EAAE,OAAO,kCAAkC,CAAC;CAChE;AA+BD,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;AAClC,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,wBAAwB,GACjC,oBAAoB,CAAC;AAkCxB,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAqChC"}
+{"version":3,"file":"symbols-coordinator.d.ts","sourceRoot":"","sources":["../../src/extractors/symbols-coordinator.ts"],"names":[],"mappings":"AAoBA,OAAO,EACL,KAAK,mBAAmB,EAExB,kCAAkC,EACnC,MAAM,iBAAiB,CAAC;AAazB,YAAY,EAAE,mBAAmB,EAAE,CAAC;AAEpC,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,UAAU,CAAC;AAEvD,MAAM,MAAM,gBAAgB,GACxB,UAAU,GACV,OAAO,GACP,QAAQ,GACR,UAAU,GACV,UAAU,GACV,WAAW,GACX,MAAM,GACN,MAAM,GACN,UAAU,GACV,SAAS,CAAC;AAEd,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,gBAAgB,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,kBAAkB,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,oBAAoB;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,OAAO,EAAE,oBAAoB,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC;IACxC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,oBAAoB,CAAC;CACtE;AAED,MAAM,WAAW,wBAAwB;IACvC,SAAS,CAAC,EAAE,sBAAsB,EAAE,CAAC;CACtC;AAED,UAAU,2BAA2B;IACnC,mBAAmB,EAAE,OAAO,kCAAkC,CAAC;CAChE;AA+BD,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;AAClC,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,wBAAwB,GACjC,oBAAoB,CAAC;AAkCxB,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAqChC"}

package/dist/extractors/symbols-ts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbols-ts.d.ts","sourceRoot":"","sources":["../../src/extractors/symbols-ts.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EACV,sBAAsB,EAIvB,MAAM,0BAA0B,CAAC;AAElC,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,sBAAsB,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAcD,wBAAgB,mCAAmC,IAAI,sBAAsB,CA+B5E;AAED,wBAAsB,kCAAkC,CACtD,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAuEhC"}
+{"version":3,"file":"symbols-ts.d.ts","sourceRoot":"","sources":["../../src/extractors/symbols-ts.ts"],"names":[],"mappings":"AA4BA,OAAO,KAAK,EACV,sBAAsB,EAIvB,MAAM,0BAA0B,CAAC;AAElC,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,sBAAsB,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAcD,wBAAgB,mCAAmC,IAAI,sBAAsB,CA+B5E;AAED,wBAAsB,kCAAkC,CACtD,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAuEhC"}

package/dist/extractors/symbols-ts.js

@@ -17,7 +17,7 @@
 */
 import { access, readFile } from "node:fs/promises";
 import * as path from "node:path";
-import { Project, ScriptKind, } from "ts-morph";
+import { Project, ScriptKind, SyntaxKind, } from "ts-morph";
 const SUPPORTED_SOURCE_EXTENSIONS = new Set([
     ".ts",
     ".tsx",
@@ -189,11 +189,32 @@ function collectSourceSymbols(sourceFile) {
             .map((doc) => doc.getFullText())
             .join("\n")));
         for (const method of decl.getMethods()) {
+            if (isPrivateClassMember(method))
+                continue;
             symbols.push(toSourceSymbolAnalysis(sourceFile, formatMethodSymbolName(decl.getName(), method.getName()), "method", method.getNameNode() ?? method, method, `${method.getFullText()}\n${method
                 .getJsDocs()
                 .map((doc) => doc.getFullText())
                 .join("\n")}`));
         }
+        for (const property of decl.getProperties()) {
+            if (isPrivateClassMember(property))
+                continue;
+            symbols.push(toSourceSymbolAnalysis(sourceFile, formatMethodSymbolName(decl.getName(), property.getName()), "property", property.getNameNode() ?? property, property, `${property.getFullText()}\n${property
+                .getJsDocs()
+                .map((doc) => doc.getFullText())
+                .join("\n")}`));
+        }
+        for (const accessor of [
+            ...decl.getGetAccessors(),
+            ...decl.getSetAccessors(),
+        ]) {
+            if (isPrivateClassMember(accessor))
+                continue;
+            symbols.push(toSourceSymbolAnalysis(sourceFile, formatMethodSymbolName(decl.getName(), accessor.getName()), "accessor", accessor.getNameNode() ?? accessor, accessor, `${accessor.getFullText()}\n${accessor
+                .getJsDocs()
+                .map((doc) => doc.getFullText())
+                .join("\n")}`));
+        }
     }
     for (const decl of sourceFile.getInterfaces()) {
         if (!decl.isExported())
@@ -219,6 +240,10 @@ function collectSourceSymbols(sourceFile) {
     }
     return symbols;
 }
+function isPrivateClassMember(member) {
+    return (member.hasModifier(SyntaxKind.PrivateKeyword) ||
+        member.getName().startsWith("#"));
+}
 function toSourceSymbolAnalysis(sourceFile, name, kind, startNode, endNode, directiveText) {
     const start = sourceFile.getLineAndColumnAtPos(startNode.getStart());
     const end = sourceFile.getLineAndColumnAtPos(endNode.getEnd());
@@ -274,6 +299,25 @@ function findNamedDeclaration(sourceFile, title) {
                     continue;
                 return { node: method, getNameNode: () => nameNode };
             }
+            for (const property of cls.getProperties()) {
+                if (property.getName() !== qualifiedMethod.methodName)
+                    continue;
+                const nameNode = property.getNameNode();
+                if (!nameNode)
+                    continue;
+                return { node: property, getNameNode: () => nameNode };
+            }
+            for (const accessor of [
+                ...cls.getGetAccessors(),
+                ...cls.getSetAccessors(),
+            ]) {
+                if (accessor.getName() !== qualifiedMethod.methodName)
+                    continue;
+                const nameNode = accessor.getNameNode();
+                if (!nameNode)
+                    continue;
+                return { node: accessor, getNameNode: () => nameNode };
+            }
         }
         return null;
     }
@@ -377,6 +421,34 @@ function findNamedDeclaration(sourceFile, title) {
                 return candidate;
             }
         }
+        const memberCandidates = [];
+        for (const cls of sourceFile.getClasses()) {
+            for (const property of cls.getProperties()) {
+                if (property.getName() !== title)
+                    continue;
+                const nameNode = property.getNameNode();
+                if (!nameNode)
+                    continue;
+                memberCandidates.push({ node: property, getNameNode: () => nameNode });
+            }
+            for (const accessor of [
+                ...cls.getGetAccessors(),
+                ...cls.getSetAccessors(),
+            ]) {
+                if (accessor.getName() !== title)
+                    continue;
+                const nameNode = accessor.getNameNode();
+                if (!nameNode)
+                    continue;
+                memberCandidates.push({ node: accessor, getNameNode: () => nameNode });
+            }
+        }
+        if (memberCandidates.length === 1) {
+            const candidate = memberCandidates[0];
+            if (candidate) {
+                return candidate;
+            }
+        }
         return null;
     }
     candidates.sort((a, b) => a.getNameNode().getStart() - b.getNameNode().getStart());

package/dist/operations/autopilot/activation.d.ts

@@ -0,0 +1,4 @@
+import type { OperationContext } from "../../public/operations/runtime-types.js";
+import type { ActivationPolicy } from "./types.js";
+export declare function classifyActivation(context: OperationContext, files: readonly string[]): Promise<ActivationPolicy>;
+//# sourceMappingURL=activation.d.ts.map

package/dist/operations/autopilot/activation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"activation.d.ts","sourceRoot":"","sources":["../../../src/operations/autopilot/activation.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,gBAAgB,EAAmB,MAAM,YAAY,CAAC;AA+FpE,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,OAAO,CAAC,gBAAgB,CAAC,CAuE3B"}

package/dist/operations/autopilot/activation.js

@@ -0,0 +1,130 @@
+import path from "node:path";
+function activationFor(state) {
+    switch (state) {
+        case "root_uninitialized":
+            return {
+                activationState: state,
+                activationMode: "cold_start_bootstrap",
+                applyBlocked: false,
+                allowCandidateGeneration: true,
+                reason: "Workspace has no attached root KB yet; run a cold-start bootstrap scan across repository evidence.",
+            };
+        case "root_partial":
+            return {
+                activationState: state,
+                activationMode: "repair_bootstrap",
+                applyBlocked: true,
+                allowCandidateGeneration: true,
+                reason: "Workspace root is only partially configured; run a repair bootstrap scan and keep apply blocked until the root is repaired.",
+            };
+        case "vendored_only":
+            return {
+                activationState: state,
+                activationMode: "vendored_blocked",
+                applyBlocked: true,
+                allowCandidateGeneration: false,
+                reason: "Workspace appears to contain vendored Kibi sources only; bootstrap generation is blocked in this posture.",
+                handoffMessage: "Vendored Kibi posture detected. Move to the real project root before attempting bootstrap.",
+            };
+        case "root_active_thin":
+            return {
+                activationState: state,
+                activationMode: "attached_thin_handoff",
+                applyBlocked: true,
+                allowCandidateGeneration: false,
+                reason: "Workspace already has an attached but thin KB; bootstrap synthesis is replaced by an explicit thin handoff.",
+                handoffMessage: "Attached thin KB detected. Review sparse KB coverage and continue with a handoff.",
+            };
+        case "root_active_seeded":
+            return {
+                activationState: state,
+                activationMode: "attached_seeded_handoff",
+                applyBlocked: true,
+                allowCandidateGeneration: false,
+                reason: "Workspace already has an attached seeded KB; bootstrap synthesis is replaced by an explicit seeded handoff.",
+                handoffMessage: "Attached seeded KB detected. Use existing KB context instead of generating bootstrap candidates.",
+            };
+    }
+}
+async function exists(context, target) {
+    try {
+        await context.fs?.stat(target);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+function coverageState(rows) {
+    const counts = Object.fromEntries(rows.map((row) => [row.type, Number(row.count)]));
+    const nonSymbols = [
+        "req",
+        "scenario",
+        "test",
+        "adr",
+        "flag",
+        "event",
+        "fact",
+    ].reduce((sum, type) => sum + Number(counts[type] ?? 0), 0);
+    const supporting = Number(counts.scenario ?? 0) +
+        Number(counts.test ?? 0) +
+        Number(counts.adr ?? 0) +
+        Number(counts.fact ?? 0);
+    return Number(counts.req ?? 0) >= 1 && nonSymbols >= 5 && supporting >= 1
+        ? "root_active_seeded"
+        : "root_active_thin";
+}
+export async function classifyActivation(context, files) {
+    const configPath = path.join(context.workspaceRoot, ".kb", "config.json");
+    if (!(await exists(context, configPath))) {
+        const vendored = files.some((file) => file.startsWith("kibi/"));
+        const projectSignal = files.some((file) => !file.startsWith("kibi/") &&
+            /^(README\.md|package\.json|src\/|app\/|packages\/|tests\/)/.test(file));
+        return activationFor(vendored && !projectSignal ? "vendored_only" : "root_uninitialized");
+    }
+    let config = {};
+    try {
+        config = JSON.parse((await context.fs?.readFile(configPath)) ?? "{}") ?? {};
+    }
+    catch {
+        return activationFor("root_partial");
+    }
+    const defaults = [
+        "documentation/requirements",
+        "documentation/scenarios",
+        "documentation/tests",
+        "documentation/adr",
+        "documentation/flags",
+        "documentation/events",
+        "documentation/facts",
+        "documentation/symbols.yaml",
+    ];
+    const configured = Object.values(config.paths ?? {});
+    const targets = configured.length >= 8 ? configured : defaults;
+    const resolved = await Promise.all(targets.map((target) => exists(context, path.resolve(context.workspaceRoot, target.replace(/[*?\[].*$/, "").replace(/\/$/, "")))));
+    if (resolved.some((value) => !value))
+        return activationFor("root_partial");
+    if (!context.prolog)
+        return activationFor("root_active_thin");
+    try {
+        const result = await context.prolog.query("discovery:coverage_report_json(type, [], true, false, 100, 0, JsonString)");
+        const parsed = JSON.parse(result.bindings.JsonString ?? '{"rows":[]}');
+        const rows = parsed !== null &&
+            typeof parsed === "object" &&
+            "rows" in parsed &&
+            Array.isArray(parsed.rows)
+            ? parsed.rows.flatMap((row) => row !== null &&
+                typeof row === "object" &&
+                "type" in row &&
+                "count" in row &&
+                typeof row.type === "string" &&
+                typeof row.count === "number"
+                ? [{ type: row.type, count: row.count }]
+                : [])
+            : [];
+        return activationFor(coverageState(rows));
+    }
+    catch {
+        return activationFor("root_active_thin");
+    }
+}

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

@@ -0,0 +1,13 @@
+import type { StrictWriteSet } from "../../utils/strict-modeling.js";
+export declare function confidenceBand(value: number): string;
+export declare function slug(value: string, limit?: number): string;
+export declare function upsert<T extends {
+    readonly type?: unknown;
+    readonly id?: unknown;
+}>(entity: T, relationships?: readonly {
+    readonly type: string;
+    readonly from: string;
+    readonly to: string;
+}[]): Readonly<Record<string, unknown>>;
+export declare function strictPlan(writeSet: StrictWriteSet): readonly Readonly<Record<string, unknown>>[];
+//# sourceMappingURL=candidate-helpers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"candidate-helpers.d.ts","sourceRoot":"","sources":["../../../src/operations/autopilot/candidate-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAErE,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,CAmC9C"}

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

@@ -0,0 +1,55 @@
+export function confidenceBand(value) {
+    return value >= 0.9 ? "high" : value >= 0.8 ? "medium" : "low";
+}
+export function slug(value, limit = 80) {
+    return value
+        .toLowerCase()
+        .replace(/[^a-z0-9]+/g, "-")
+        .replace(/(^-|-$)/g, "")
+        .slice(0, limit);
+}
+export function upsert(entity, relationships = []) {
+    const { type, id, ...properties } = entity;
+    return {
+        type: String(type ?? ""),
+        id: String(id ?? ""),
+        properties,
+        relationships,
+    };
+}
+export function strictPlan(writeSet) {
+    if (!writeSet.isStrict) {
+        return [
+            {
+                type: "fact",
+                id: writeSet.observationFact.id,
+                properties: writeSet.observationFact.properties,
+                relationships: [],
+            },
+        ];
+    }
+    return [
+        {
+            type: "fact",
+            id: writeSet.subjectFact.id,
+            properties: writeSet.subjectFact.properties,
+            relationships: [],
+        },
+        {
+            type: "fact",
+            id: writeSet.propertyFact.id,
+            properties: writeSet.propertyFact.properties,
+            relationships: [],
+        },
+        {
+            type: "req",
+            id: writeSet.req.id,
+            properties: writeSet.req.properties,
+            relationships: writeSet.relationships.map(({ type, from, to }) => ({
+                type,
+                from,
+                to,
+            })),
+        },
+    ];
+}

package/dist/operations/autopilot/candidates.d.ts

@@ -0,0 +1,4 @@
+import { type CandidateBuildResult } from "./markdown-candidates.js";
+import type { AutopilotEvidence } from "./types.js";
+export declare function buildAutopilotCandidates(evidence: readonly AutopilotEvidence[], existingIds: ReadonlySet<string>, minConfidence: number, includeGenericMarkdown: boolean): CandidateBuildResult;
+//# sourceMappingURL=candidates.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"candidates.d.ts","sourceRoot":"","sources":["../../../src/operations/autopilot/candidates.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,KAAK,oBAAoB,EAE1B,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,iBAAiB,EAGlB,MAAM,YAAY,CAAC;AAmHpB,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,CAqBtB"}