kibi-cli 2.0.0 → 2.1.0

package/dist/operations/modeling/suggest-predicates.js

@@ -1,5 +1,6 @@
 import { analyzeSemanticAdvisorInput } from "../semantic-advisor/analyze-prose.js";
 import { semanticClaimKey } from "../semantic-advisor/clauses.js";
+import { composeOntologyCatalogForOperation } from "../semantic-advisor/plugin-orchestration.js";
 import { STRONG_APPLICABILITY_SCORE, WEAK_CANDIDATE_MARGIN, evaluateSemanticApplicability, } from "./predicate-applicability.js";
 import { buildGapApplyPlan, buildPredicateApplyPlan, buildPredicateSchemaDraft, buildRelationshipPlan, buildSuggestion, } from "./predicate-applyplan.js";
 import { BUILT_IN_PREDICATE_SCHEMAS } from "./predicate-catalog.js";
@@ -89,6 +90,20 @@ function uniqueSchemas(schemas) {
         return true;
     });
 }
+function ontologyPackSchemasToCandidates(schemas) {
+    return schemas.map((schema) => ({
+        id: schema.schemaId,
+        predicate_name: schema.predicateName,
+        title: schema.title ?? schema.predicateName,
+        description: schema.description ?? schema.predicateName,
+        argument_names: [...schema.argumentNames],
+        argument_types: [...schema.argumentTypes],
+        keywords: [schema.predicateName, ...(schema.aliases ?? [])],
+        ...(schema.aliases ? { aliases: [...schema.aliases] } : {}),
+        examples: [],
+        tags: ["ontology-pack"],
+    }));
+}
 export function compareEligibleByApplicabilityThenName(left, right) {
     if (right.applicability_score !== left.applicability_score)
         return right.applicability_score - left.applicability_score;
@@ -129,7 +144,7 @@ function withMarginRejection(candidates) {
     });
 }
 // implements REQ-mcp-suggest-predicates
-export async function handleKbSuggestPredicates(prolog, args) {
+export async function handleKbSuggestPredicates(prolog, args, context) {
     const text = normalizeText(args.text);
     const subject = inferSubject(text, args.subjectHint);
     const propositions = analyzeInputPropositions(text);
@@ -144,9 +159,21 @@ export async function handleKbSuggestPredicates(prolog, args) {
     const minScore = clampScore(args.minScore ?? DEFAULT_MIN_SCORE);
     const warnings = [];
     const existingSchemas = await loadExistingPredicateSchemas(prolog, args.includeExistingSchemas ?? true, warnings);
+    const composedCatalog = await composeOntologyCatalogForOperation(context, "kb_suggest_predicates");
+    const packSchemas = composedCatalog
+        ? ontologyPackSchemasToCandidates(composedCatalog.schemas)
+        : [];
+    // When ontology resolution is in replace mode and the replace pack
+    // successfully supplied its catalog, do not silently re-append the builtin
+    // *provider* catalog. Persisted/project KB schemas remain available.
+    const includeBuiltinProviderCatalog = !(composedCatalog?.replaced === true);
+    if (composedCatalog?.diagnostics?.length) {
+        warnings.push(...composedCatalog.diagnostics);
+    }
     const schemas = uniqueSchemas([
         ...existingSchemas,
-        ...BUILT_IN_PREDICATE_SCHEMAS,
+        ...(includeBuiltinProviderCatalog ? BUILT_IN_PREDICATE_SCHEMAS : []),
+        ...packSchemas,
     ]);
     const selectedSchemas = args.schemaId
         ? schemas.filter((schema) => schema.id === args.schemaId)
@@ -255,5 +282,5 @@ export async function handleKbSuggestPredicates(prolog, args) {
     };
 }
 export async function executeSuggestPredicates(args, context) {
-    return handleKbSuggestPredicates(context.prolog ?? null, args);
+    return handleKbSuggestPredicates(context.prolog ?? null, args, context);
 }

package/dist/operations/mutation/symbol-granularity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbol-granularity.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/symbol-granularity.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAWjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AA+FpD,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,aAAa,EAAE,SAAS,iBAAiB,EAAE,EAC3C,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,IAAI,CAAC,CAuCf"}
+{"version":3,"file":"symbol-granularity.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/symbol-granularity.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAWjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AA2BpD,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,aAAa,EAAE,SAAS,iBAAiB,EAAE,EAC3C,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,IAAI,CAAC,CAuCf"}

package/dist/operations/mutation/symbol-granularity.js

@@ -1,96 +1,18 @@
 import path from "node:path";
-import { Project, ScriptKind, SyntaxKind } from "ts-morph";
+import { collectGranularityCandidates } from "kibi-plugin-builtin";
 import { ALLOWED_GRANULARITY_REASONS_PROSE, getBehavioralSymbolNames, getNonBehavioralSymbolNames, inferSymbolRole, isAllowedGranularityReason, isTraceabilityRelationshipType, } from "../../public/symbol-granularity.js";
-function scriptKind(filePath) {
-    const extension = path.extname(filePath).toLowerCase();
-    if (extension === ".tsx")
-        return ScriptKind.TSX;
-    if ([".ts", ".mts", ".cts"].includes(extension))
-        return ScriptKind.TS;
-    if (extension === ".jsx")
-        return ScriptKind.JSX;
-    return ScriptKind.JS;
-}
 function candidate(name, kind) {
     return { name, kind, role: inferSymbolRole(kind) };
 }
+/**
+ * Granularity candidates must include bare unique method names (parity with
+ * the pre-plugin `collectGranularityCandidates` behavior). The extractor
+ * symbol list alone is too narrow and rejects previously-valid upserts.
+ */
 function candidates(filePath, content) {
-    const source = new Project({
-        skipAddingFilesFromTsConfig: true,
-    }).createSourceFile(`${filePath}::granularity`, content, {
-        overwrite: true,
-        scriptKind: scriptKind(filePath),
-    });
-    const found = [];
-    const methodCounts = new Map();
-    const bareMethods = new Map();
-    for (const fn of source.getFunctions()) {
-        const name = fn.getName();
-        if (fn.isExported() && name)
-            found.push(candidate(name, "function"));
-    }
-    for (const cls of source.getClasses()) {
-        if (!cls.isExported())
-            continue;
-        const className = cls.getName();
-        if (className)
-            found.push(candidate(className, "class"));
-        for (const method of cls.getMethods()) {
-            if (isPrivateClassMember(method))
-                continue;
-            const name = method.getName();
-            if (className)
-                found.push(candidate(`${className}.${name}`, "method"));
-            bareMethods.set(name, candidate(name, "method"));
-            methodCounts.set(name, (methodCounts.get(name) ?? 0) + 1);
-        }
-        for (const property of cls.getProperties()) {
-            if (isPrivateClassMember(property))
-                continue;
-            const name = property.getName();
-            if (className)
-                found.push(candidate(`${className}.${name}`, "property"));
-        }
-        for (const accessor of [
-            ...cls.getGetAccessors(),
-            ...cls.getSetAccessors(),
-        ]) {
-            if (isPrivateClassMember(accessor))
-                continue;
-            const name = accessor.getName();
-            if (className)
-                found.push(candidate(`${className}.${name}`, "accessor"));
-        }
-    }
-    for (const [name, count] of methodCounts) {
-        const method = bareMethods.get(name);
-        if (count === 1 && method)
-            found.push(method);
-    }
-    for (const item of source.getInterfaces()) {
-        if (item.isExported())
-            found.push(candidate(item.getName(), "interface"));
-    }
-    for (const item of source.getTypeAliases()) {
-        if (item.isExported())
-            found.push(candidate(item.getName(), "type"));
-    }
-    for (const item of source.getEnums()) {
-        if (item.isExported())
-            found.push(candidate(item.getName(), "enum"));
-    }
-    for (const statement of source.getVariableStatements()) {
-        if (!statement.isExported())
-            continue;
-        for (const declaration of statement.getDeclarations()) {
-            found.push(candidate(declaration.getName(), "variable"));
-        }
-    }
-    return found.sort((left, right) => left.name.localeCompare(right.name));
-}
-function isPrivateClassMember(member) {
-    return (member.hasModifier(SyntaxKind.PrivateKeyword) ||
-        member.getName().startsWith("#"));
+    return collectGranularityCandidates(filePath, content)
+        .map((item) => candidate(item.name, item.kind))
+        .sort((left, right) => left.name.localeCompare(right.name));
 }
 function summarized(names) {
     const shown = names.slice(0, 10);

package/dist/operations/planning/compile-intent.d.ts

@@ -90,6 +90,55 @@ export type CompilePlanV1 = Readonly<{
     steps: readonly PlanStep[];
     sourceWrites: readonly SourceWritePlan[];
     diagnostics: readonly string[];
+    /** Bounded replace/augment/shadow provenance; never changes canonical steps. */
+    capabilityPlugins?: Readonly<{
+        stamps: readonly {
+            pluginId: string;
+            pluginVersion: string;
+            capability: string;
+            mode: string;
+            external: boolean;
+            network: boolean;
+            metered: boolean;
+            fallbackUsed?: boolean;
+            model?: string;
+        }[];
+        classification: Readonly<{
+            fallbackUsed: boolean;
+            decisions: readonly {
+                claimKey: string;
+                lane: string;
+                confidence: number;
+            }[];
+            shadowComparisons: readonly {
+                pluginId: string;
+                pluginVersion: string;
+                capability: string;
+                mode: string;
+                external: boolean;
+                network: boolean;
+                metered: boolean;
+                fallbackUsed?: boolean;
+                model?: string;
+                decisions: readonly {
+                    claimKey: string;
+                    lane: string;
+                    confidence: number;
+                }[];
+            }[];
+        }> | null;
+        ontology: Readonly<{
+            replaced: boolean;
+            matchCount: number;
+            shadowMatchCount: number;
+            shadowMatches: readonly {
+                packId: string;
+                schemaId: string;
+                predicateName: string;
+                confidence: number;
+            }[];
+        }>;
+    }>;
 }>;
 export type SourceWritePlan = Readonly<{
     path: string;

package/dist/operations/planning/compile-intent.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compile-intent.d.ts","sourceRoot":"","sources":["../../../src/operations/planning/compile-intent.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EAEpB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,KAAK,EACV,gBAAgB,EAEjB,MAAM,0CAA0C,CAAC;AAIlD,OAAO,KAAK,EAEV,2BAA2B,EAE5B,MAAM,8BAA8B,CAAC;AAGtC,eAAO,MAAM,oBAAoB,EAAG,sBAA+B,CAAC;AAGpE,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC1B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,cAAc,CAAC,EAAE,kBAAkB,CAAC;IACpC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,eAAe,CAAC,EAAE,SAAS,2BAA2B,EAAE,CAAC;IACzD,cAAc,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC1C,UAAU,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IAClC,iBAAiB,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACjD,CAAC,CAAC;AAGH,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd,CAAC,CAAC;AAGH,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,iEAAiE;IACjE,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,iBAAiB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC1D,uBAAuB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;CACnD,CAAC,CAAC;AAGH,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,QAAQ,GAAG,QAAQ,CAAC;CAC/B,CAAC,CAAC;AAGH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAGH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACnE,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,QAAQ,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;CAC3C,CAAC,CAAC;AAGH,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAGzD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtC,MAAM,CAGR;AAGD,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,OAAO,EAAE,OAAO,oBAAoB,CAAC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,OAAO,GAAG,kBAAkB,GAAG,SAAS,CAAC;IACjD,QAAQ,EAAE;QACR,MAAM,EAAE,MAAM,CAAC;QACf,YAAY,EAAE,MAAM,CAAC;QACrB,iBAAiB,EAAE,MAAM,CAAC;QAC1B,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;KACvD,CAAC;IACF,MAAM,EAAE;QACN,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAC;QAC1B,aAAa,EAAE,MAAM,CAAC;QACtB,eAAe,EAAE,MAAM,CAAC;KACzB,CAAC;IACF,SAAS,EAAE;QACT,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;QACzC,SAAS,EAAE,OAAO,CAAC;KACpB,CAAC;IACF,YAAY,EAAE,SAAS;QACrB,QAAQ,EAAE,MAAM,CAAC;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QACrC,WAAW,EACP,iBAAiB,GACjB,WAAW,GACX,MAAM,GACN,aAAa,GACb,YAAY,CAAC;QACjB,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,cAAc,GAAG,YAAY,CAAC;QAChE,MAAM,EAAE,MAAM,GAAG,eAAe,CAAC;KAClC,EAAE,CAAC;IACJ,qBAAqB,EAAE;QACrB,OAAO,EAAE,aAAa,GAAG,UAAU,GAAG,YAAY,CAAC;QACnD,SAAS,EAAE,SAAS,oBAAoB,EAAE,CAAC;KAC5C,CAAC;IACF,SAAS,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC3C,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC3B,YAAY,EAAE,SAAS,eAAe,EAAE,CAAC;IACzC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC,CAAC,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,GAAG,QAAQ,CAAC;IACzB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC,CAAC;AA0eH,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC;IACT,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE,aAAa,CAAC;CAClC,CAAC,CA0RD"}
+{"version":3,"file":"compile-intent.d.ts","sourceRoot":"","sources":["../../../src/operations/planning/compile-intent.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EAEpB,MAAM,wBAAwB,CAAC;AAKhC,OAAO,KAAK,EACV,gBAAgB,EAEjB,MAAM,0CAA0C,CAAC;AAIlD,OAAO,KAAK,EAEV,2BAA2B,EAE5B,MAAM,8BAA8B,CAAC;AAGtC,eAAO,MAAM,oBAAoB,EAAG,sBAA+B,CAAC;AAGpE,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC1B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,cAAc,CAAC,EAAE,kBAAkB,CAAC;IACpC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,eAAe,CAAC,EAAE,SAAS,2BAA2B,EAAE,CAAC;IACzD,cAAc,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC1C,UAAU,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IAClC,iBAAiB,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACjD,CAAC,CAAC;AAGH,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd,CAAC,CAAC;AAGH,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,iEAAiE;IACjE,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,iBAAiB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC1D,uBAAuB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;CACnD,CAAC,CAAC;AAGH,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,QAAQ,GAAG,QAAQ,CAAC;CAC/B,CAAC,CAAC;AAGH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAGH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACnE,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,QAAQ,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;CAC3C,CAAC,CAAC;AAGH,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAGzD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtC,MAAM,CAGR;AAGD,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,OAAO,EAAE,OAAO,oBAAoB,CAAC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,OAAO,GAAG,kBAAkB,GAAG,SAAS,CAAC;IACjD,QAAQ,EAAE;QACR,MAAM,EAAE,MAAM,CAAC;QACf,YAAY,EAAE,MAAM,CAAC;QACrB,iBAAiB,EAAE,MAAM,CAAC;QAC1B,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;KACvD,CAAC;IACF,MAAM,EAAE;QACN,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAC;QAC1B,aAAa,EAAE,MAAM,CAAC;QACtB,eAAe,EAAE,MAAM,CAAC;KACzB,CAAC;IACF,SAAS,EAAE;QACT,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;QACzC,SAAS,EAAE,OAAO,CAAC;KACpB,CAAC;IACF,YAAY,EAAE,SAAS;QACrB,QAAQ,EAAE,MAAM,CAAC;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QACrC,WAAW,EACP,iBAAiB,GACjB,WAAW,GACX,MAAM,GACN,aAAa,GACb,YAAY,CAAC;QACjB,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,cAAc,GAAG,YAAY,CAAC;QAChE,MAAM,EAAE,MAAM,GAAG,eAAe,CAAC;KAClC,EAAE,CAAC;IACJ,qBAAqB,EAAE;QACrB,OAAO,EAAE,aAAa,GAAG,UAAU,GAAG,YAAY,CAAC;QACnD,SAAS,EAAE,SAAS,oBAAoB,EAAE,CAAC;KAC5C,CAAC;IACF,SAAS,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC3C,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC3B,YAAY,EAAE,SAAS,eAAe,EAAE,CAAC;IACzC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,gFAAgF;IAChF,iBAAiB,CAAC,EAAE,QAAQ,CAAC;QAC3B,MAAM,EAAE,SAAS;YACf,QAAQ,EAAE,MAAM,CAAC;YACjB,aAAa,EAAE,MAAM,CAAC;YACtB,UAAU,EAAE,MAAM,CAAC;YACnB,IAAI,EAAE,MAAM,CAAC;YACb,QAAQ,EAAE,OAAO,CAAC;YAClB,OAAO,EAAE,OAAO,CAAC;YACjB,OAAO,EAAE,OAAO,CAAC;YACjB,YAAY,CAAC,EAAE,OAAO,CAAC;YACvB,KAAK,CAAC,EAAE,MAAM,CAAC;SAChB,EAAE,CAAC;QACJ,cAAc,EAAE,QAAQ,CAAC;YACvB,YAAY,EAAE,OAAO,CAAC;YACtB,SAAS,EAAE,SAAS;gBAClB,QAAQ,EAAE,MAAM,CAAC;gBACjB,IAAI,EAAE,MAAM,CAAC;gBACb,UAAU,EAAE,MAAM,CAAC;aACpB,EAAE,CAAC;YACJ,iBAAiB,EAAE,SAAS;gBAC1B,QAAQ,EAAE,MAAM,CAAC;gBACjB,aAAa,EAAE,MAAM,CAAC;gBACtB,UAAU,EAAE,MAAM,CAAC;gBACnB,IAAI,EAAE,MAAM,CAAC;gBACb,QAAQ,EAAE,OAAO,CAAC;gBAClB,OAAO,EAAE,OAAO,CAAC;gBACjB,OAAO,EAAE,OAAO,CAAC;gBACjB,YAAY,CAAC,EAAE,OAAO,CAAC;gBACvB,KAAK,CAAC,EAAE,MAAM,CAAC;gBACf,SAAS,EAAE,SAAS;oBAClB,QAAQ,EAAE,MAAM,CAAC;oBACjB,IAAI,EAAE,MAAM,CAAC;oBACb,UAAU,EAAE,MAAM,CAAC;iBACpB,EAAE,CAAC;aACL,EAAE,CAAC;SACL,CAAC,GAAG,IAAI,CAAC;QACV,QAAQ,EAAE,QAAQ,CAAC;YACjB,QAAQ,EAAE,OAAO,CAAC;YAClB,UAAU,EAAE,MAAM,CAAC;YACnB,gBAAgB,EAAE,MAAM,CAAC;YACzB,aAAa,EAAE,SAAS;gBACtB,MAAM,EAAE,MAAM,CAAC;gBACf,QAAQ,EAAE,MAAM,CAAC;gBACjB,aAAa,EAAE,MAAM,CAAC;gBACtB,UAAU,EAAE,MAAM,CAAC;aACpB,EAAE,CAAC;SACL,CAAC,CAAC;KACJ,CAAC,CAAC;CACJ,CAAC,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,GAAG,QAAQ,CAAC;IACzB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC,CAAC;AA0eH,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC;IACT,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE,aAAa,CAAC;CAClC,CAAC,CAyWD"}

package/dist/operations/planning/compile-intent.js

@@ -2,11 +2,12 @@ import { createHash } from "node:crypto";
 import path from "node:path";
 import { dump as dumpYaml } from "js-yaml";
 import { executeIntentSearch, } from "../../intent-search.js";
+import { publicCapabilityStamp } from "../../plugins/compose-semantic-classifier.js";
 import { normalizeEntityId, parseTriples } from "../../prolog/codec.js";
 import { loadEntities } from "../../public/operations/discovery-entities.js";
 import { executeStatus } from "../../public/operations/discovery-executors.js";
 import { configuredSourceTarget } from "../mutation/source-authoring.js";
-import { analyzeSemanticAdvisorInput } from "../semantic-advisor/analyze-prose.js";
+import { analyzeSemanticAdvisorInputWithPlugins } from "../semantic-advisor/plugin-orchestration.js";
 import { canonicalize } from "../semantic-advisor/shared.js";
 // implements REQ-kibi-change-to-proof-plan-compiler
 export const COMPILE_PLAN_VERSION = "kibi.compile-plan.v1";
@@ -471,7 +472,7 @@ export async function executeCompileIntent(args, context) {
     const source = text(args.sourceLocations?.[0]?.path) ||
         text(existingEntity.source) ||
         "mcp://kibi/compile-intent";
-    const advisor = analyzeSemanticAdvisorInput({
+    const orchestrated = await analyzeSemanticAdvisorInputWithPlugins({
         payload: {
             type: "req",
             id: requirementId,
@@ -486,9 +487,65 @@ export async function executeCompileIntent(args, context) {
             },
         },
         ...(args.clauses ? { clauses: args.clauses } : {}),
-        ...(args.interpretations ? { interpretations: args.interpretations } : {}),
+        ...(args.interpretations
+            ? { interpretations: args.interpretations }
+            : {}),
+    }, {
+        operationName: "kb_compile_intent",
+        ...(context.ensurePlugins
+            ? { ensurePlugins: context.ensurePlugins }
+            : {}),
     });
+    const advisor = orchestrated.analysis;
     diagnostics.push(...advisor.warnings);
+    if (orchestrated.stamps.length > 0) {
+        diagnostics.push(`Capability plugins consulted: ${orchestrated.stamps
+            .map((stamp) => `${stamp.pluginId}/${stamp.capability}`)
+            .join(", ")}.`);
+    }
+    const semanticShadowCount = orchestrated.classification?.shadowComparisons.length ?? 0;
+    if (semanticShadowCount > 0) {
+        diagnostics.push(`Semantic classifier shadow comparisons observed (${semanticShadowCount}); canonical compile plan unchanged.`);
+    }
+    if (orchestrated.ontologyShadowMatches.length > 0) {
+        diagnostics.push(`Ontology pack shadow matches observed (${orchestrated.ontologyShadowMatches.length}); canonical compile plan unchanged.`);
+    }
+    const capabilityPlugins = orchestrated.stamps.length > 0 ||
+        semanticShadowCount > 0 ||
+        orchestrated.ontologyShadowMatches.length > 0
+        ? {
+            stamps: orchestrated.stamps.map((stamp) => publicCapabilityStamp(stamp)),
+            classification: orchestrated.classification
+                ? {
+                    fallbackUsed: orchestrated.classification.fallbackUsed,
+                    decisions: orchestrated.classification.decisions.map((decision) => ({
+                        claimKey: decision.claimKey,
+                        lane: decision.lane,
+                        confidence: decision.confidence,
+                    })),
+                    shadowComparisons: orchestrated.classification.shadowComparisons.map((comparison) => ({
+                        ...publicCapabilityStamp(comparison.stamp),
+                        decisions: comparison.decisions.map((decision) => ({
+                            claimKey: decision.claimKey,
+                            lane: decision.lane,
+                            confidence: decision.confidence,
+                        })),
+                    })),
+                }
+                : null,
+            ontology: {
+                replaced: orchestrated.ontologyCatalog?.replaced ?? false,
+                matchCount: orchestrated.ontologyMatches.length,
+                shadowMatchCount: orchestrated.ontologyShadowMatches.length,
+                shadowMatches: orchestrated.ontologyShadowMatches.map((candidate) => ({
+                    packId: candidate.packId,
+                    schemaId: candidate.schemaId,
+                    predicateName: candidate.predicateName,
+                    confidence: candidate.confidence,
+                })),
+            },
+        }
+        : undefined;
     const suggestionByClaim = new Map(advisor.receipt.suggestions.map((suggestion) => [
         suggestion.claim_key,
         suggestion,
@@ -602,8 +659,11 @@ export async function executeCompileIntent(args, context) {
         sourceWrites,
         diagnostics,
     };
+    // Shadow/provenance metadata is returned for observation but must not enter
+    // planHash — shadow providers never affect canonical apply identity.
     const plan = {
         ...planBody,
+        ...(capabilityPlugins ? { capabilityPlugins } : {}),
         planHash: compilePlanHash(planBody),
     };
     return {

package/dist/operations/proof/baseline-diff.d.ts

@@ -0,0 +1,41 @@
+export declare const PROOF_BASELINE_VERSION = "kibi.proof-baseline.v2";
+export type RequirementFingerprint = {
+    readonly proofStatus: string;
+    readonly gaps: readonly string[];
+    readonly uncoveredSymbols: readonly string[];
+};
+export type RequirementFingerprints = Readonly<Record<string, RequirementFingerprint>>;
+export type CoverageRowLike = {
+    readonly id?: unknown;
+    readonly proofStatus?: unknown;
+    readonly proofGaps?: unknown;
+    readonly proofStages?: {
+        readonly productionSymbols?: {
+            readonly uncoveredSymbols?: unknown;
+            readonly explanations?: unknown;
+        };
+    };
+};
+export type FingerprintChange = {
+    readonly id: string;
+    readonly kind: "added" | "removed" | "changed";
+    readonly before?: RequirementFingerprint;
+    readonly after?: RequirementFingerprint;
+};
+export declare function fingerprintRequirements(rows: readonly CoverageRowLike[]): RequirementFingerprints;
+export declare function diffFingerprints(baseline: RequirementFingerprints | undefined, current: RequirementFingerprints): FingerprintChange[];
+type ExplanationLike = {
+    readonly symbolId?: unknown;
+    readonly reason?: unknown;
+    readonly coverageCandidates?: unknown;
+};
+export declare function explanationsForRequirement(rows: readonly CoverageRowLike[], requirementId: string): readonly ExplanationLike[];
+export declare function renderRequirementDiffs(changes: readonly FingerprintChange[], rows?: readonly CoverageRowLike[]): string;
+export declare function parseSpawnJson(result: {
+    readonly error?: unknown;
+    readonly status?: number | null;
+    readonly stdout?: string | null;
+    readonly stderr?: string | null;
+}): unknown;
+export {};
+//# sourceMappingURL=baseline-diff.d.ts.map

package/dist/operations/proof/baseline-diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"baseline-diff.d.ts","sourceRoot":"","sources":["../../../src/operations/proof/baseline-diff.ts"],"names":[],"mappings":"AAWA,eAAO,MAAM,sBAAsB,2BAA2B,CAAC;AAE/D,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAC5C,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CACvC,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE;QACrB,QAAQ,CAAC,iBAAiB,CAAC,EAAE;YAC3B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;YACpC,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;SACjC,CAAC;KACH,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC;IAC/C,QAAQ,CAAC,MAAM,CAAC,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,sBAAsB,CAAC;CACzC,CAAC;AAUF,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,SAAS,eAAe,EAAE,GAC/B,uBAAuB,CAgBzB;AAGD,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,uBAAuB,GAAG,SAAS,EAC7C,OAAO,EAAE,uBAAuB,GAC/B,iBAAiB,EAAE,CA4BrB;AASD,KAAK,eAAe,GAAG;IACrB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;CACvC,CAAC;AAEF,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,SAAS,eAAe,EAAE,EAChC,aAAa,EAAE,MAAM,GACpB,SAAS,eAAe,EAAE,CAM5B;AAgBD,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,SAAS,iBAAiB,EAAE,EACrC,IAAI,GAAE,SAAS,eAAe,EAAO,GACpC,MAAM,CAwDR;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE;IACrC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC,GAAG,OAAO,CAYV"}

package/dist/operations/proof/baseline-diff.js

@@ -0,0 +1,153 @@
+/*
+ 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.
+ */
+// implements REQ-kibi-verification-evidence-contract
+export const PROOF_BASELINE_VERSION = "kibi.proof-baseline.v2";
+function asStringArray(value) {
+    if (!Array.isArray(value))
+        return [];
+    return value
+        .map((item) => (typeof item === "string" ? item : String(item)))
+        .sort();
+}
+// implements REQ-kibi-verification-evidence-contract
+export function fingerprintRequirements(rows) {
+    const requirements = {};
+    for (const row of rows) {
+        const id = typeof row.id === "string" ? row.id : "";
+        const proofStatus = typeof row.proofStatus === "string" ? row.proofStatus : "";
+        if (id === "" || proofStatus === "not_applicable")
+            continue;
+        requirements[id] = {
+            proofStatus,
+            gaps: asStringArray(row.proofGaps),
+            uncoveredSymbols: asStringArray(row.proofStages?.productionSymbols?.uncoveredSymbols),
+        };
+    }
+    return requirements;
+}
+// implements REQ-kibi-verification-evidence-contract
+export function diffFingerprints(baseline, current) {
+    const before = baseline ?? {};
+    const ids = [
+        ...new Set([...Object.keys(before), ...Object.keys(current)]),
+    ].sort();
+    const changes = [];
+    for (const id of ids) {
+        const left = before[id];
+        const right = current[id];
+        if (left === undefined && right !== undefined) {
+            changes.push({ id, kind: "added", after: right });
+            continue;
+        }
+        if (left !== undefined && right === undefined) {
+            changes.push({ id, kind: "removed", before: left });
+            continue;
+        }
+        if (left === undefined || right === undefined)
+            continue;
+        if (left.proofStatus !== right.proofStatus ||
+            JSON.stringify(left.gaps) !== JSON.stringify(right.gaps) ||
+            JSON.stringify(left.uncoveredSymbols) !==
+                JSON.stringify(right.uncoveredSymbols)) {
+            changes.push({ id, kind: "changed", before: left, after: right });
+        }
+    }
+    return changes;
+}
+export function explanationsForRequirement(rows, requirementId) {
+    const row = rows.find((item) => item.id === requirementId);
+    const explanations = row?.proofStages?.productionSymbols?.explanations;
+    return Array.isArray(explanations)
+        ? explanations
+        : [];
+}
+function renderCandidate(candidate) {
+    const testId = typeof candidate.testId === "string" ? candidate.testId : "?";
+    const reason = typeof candidate.reason === "string" ? candidate.reason : "";
+    const secondaries = Array.isArray(candidate.secondaryReasons)
+        ? candidate.secondaryReasons.filter((item) => typeof item === "string")
+        : [];
+    const secondaryText = secondaries.length > 0 ? ` secondary=${secondaries.join(",")}` : "";
+    return `      covered_by ${testId}: ${reason}${secondaryText}`;
+}
+// implements REQ-kibi-verification-evidence-contract
+export function renderRequirementDiffs(changes, rows = []) {
+    if (changes.length === 0)
+        return "";
+    const lines = [
+        "Requirement fingerprint diffs vs committed proof/baseline.json:",
+    ];
+    for (const change of changes) {
+        if (change.kind === "added" && change.after) {
+            lines.push(`  ${change.id}: added (${change.after.proofStatus}; gaps=${change.after.gaps.join(",") || "none"})`);
+        }
+        else if (change.kind === "removed" && change.before) {
+            lines.push(`  ${change.id}: removed (was ${change.before.proofStatus})`);
+        }
+        else if (change.kind === "changed" && change.before && change.after) {
+            if (change.before.proofStatus !== change.after.proofStatus) {
+                lines.push(`  ${change.id}: ${change.before.proofStatus} -> ${change.after.proofStatus}`);
+            }
+            else {
+                lines.push(`  ${change.id}: fingerprint changed`);
+            }
+            const beforeGaps = new Set(change.before.gaps);
+            const afterGaps = new Set(change.after.gaps);
+            for (const gap of change.after.gaps) {
+                if (!beforeGaps.has(gap))
+                    lines.push(`    gap added: ${gap}`);
+            }
+            for (const gap of change.before.gaps) {
+                if (!afterGaps.has(gap))
+                    lines.push(`    gap removed: ${gap}`);
+            }
+            const beforeSymbols = new Set(change.before.uncoveredSymbols);
+            const afterSymbols = new Set(change.after.uncoveredSymbols);
+            for (const symbol of change.after.uncoveredSymbols) {
+                if (!beforeSymbols.has(symbol))
+                    lines.push(`    uncovered symbol added: ${symbol}`);
+            }
+            for (const symbol of change.before.uncoveredSymbols) {
+                if (!afterSymbols.has(symbol))
+                    lines.push(`    uncovered symbol removed: ${symbol}`);
+            }
+        }
+        const explanations = explanationsForRequirement(rows, change.id);
+        for (const explanation of explanations) {
+            const symbolId = typeof explanation.symbolId === "string" ? explanation.symbolId : "";
+            const reason = typeof explanation.reason === "string" ? explanation.reason : "";
+            if (symbolId !== "")
+                lines.push(`    ${symbolId}: ${reason}`);
+            const candidates = Array.isArray(explanation.coverageCandidates)
+                ? explanation.coverageCandidates
+                : [];
+            for (const candidate of candidates) {
+                if (candidate && typeof candidate === "object")
+                    lines.push(renderCandidate(candidate));
+            }
+        }
+    }
+    return `${lines.join("\n")}\n`;
+}
+export function parseSpawnJson(result) {
+    if (result.error)
+        throw result.error;
+    const text = `${result.stdout ?? ""}`.trim();
+    try {
+        return JSON.parse(text);
+    }
+    catch (error) {
+        const detail = `${result.stderr || result.stdout || ""}`.trim();
+        if (result.status !== 0 && result.status !== null) {
+            throw new Error(detail || String(error));
+        }
+        throw error;
+    }
+}

package/dist/operations/proof/explain.d.ts

@@ -0,0 +1,75 @@
+import type { OperationContext } from "../../public/operations/runtime-types.js";
+export type ProofExplainKind = "requirement" | "symbol";
+export type ProofResolutionRef = {
+    readonly id?: string;
+    readonly sourceFile?: string;
+    readonly path?: string;
+    readonly role?: string;
+    readonly exists?: boolean;
+};
+export type ProofCoverageCandidate = {
+    readonly testId: string;
+    readonly relationship: string;
+    readonly qualifies: boolean;
+    readonly reason: string;
+    readonly reasonText?: string;
+    readonly secondaryReasons: readonly string[];
+    readonly scope?: string;
+    readonly receiptState?: string;
+};
+export type ProofExplainTestBlock = {
+    readonly testId: string;
+    readonly requiredProofs: readonly ProofResolutionRef[];
+    readonly executableFor: readonly ProofResolutionRef[];
+};
+export type ProofExplainSymbolBlock = {
+    readonly symbolId: string;
+    readonly classification: string;
+    readonly status: string;
+    readonly reason: string;
+    readonly reasonText?: string;
+    readonly coverageCandidates: readonly ProofCoverageCandidate[];
+};
+export type RequirementProofExplainView = {
+    readonly kind: "requirement";
+    readonly id: string;
+    readonly proofVersion: string;
+    readonly proofStatus: string;
+    readonly proofGaps: readonly string[];
+    readonly scenarios: readonly {
+        id: string;
+        tests: readonly string[];
+    }[];
+    readonly tests: readonly ProofExplainTestBlock[];
+    readonly productionSymbols: readonly ProofExplainSymbolBlock[];
+    readonly structuralSymbols: readonly ProofExplainSymbolBlock[];
+};
+export type SymbolProofExplainView = {
+    readonly kind: "symbol";
+    readonly id: string;
+    readonly role: string;
+    readonly executableTest: boolean;
+    readonly implementingRequirements: readonly string[];
+    readonly executableFor: readonly string[];
+    readonly coveredBy: readonly string[];
+    readonly proofs: readonly RequirementProofExplainView[];
+};
+export type ProofExplainView = RequirementProofExplainView | SymbolProofExplainView;
+export declare function projectRequirementExplain(proof: Record<string, unknown>): RequirementProofExplainView;
+export declare function projectSymbolExplain(payload: Record<string, unknown>): SymbolProofExplainView;
+export declare function renderProofExplain(view: ProofExplainView): string;
+export declare function classifyExplainTarget(id: string | undefined, options: {
+    requirement?: string;
+    symbol?: string;
+}): {
+    kind: ProofExplainKind;
+    id: string;
+};
+export declare function executeProofExplain(target: {
+    kind: ProofExplainKind;
+    id: string;
+}, context: OperationContext): Promise<{
+    view: ProofExplainView;
+    payload: Record<string, unknown>;
+}>;
+//# sourceMappingURL=explain.d.ts.map

package/dist/operations/proof/explain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"explain.d.ts","sourceRoot":"","sources":["../../../src/operations/proof/explain.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EACV,gBAAgB,EAEjB,MAAM,0CAA0C,CAAC;AAQlD,MAAM,MAAM,gBAAgB,GAAG,aAAa,GAAG,QAAQ,CAAC;AAExD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,cAAc,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACvD,QAAQ,CAAC,aAAa,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACvD,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,kBAAkB,EAAE,SAAS,sBAAsB,EAAE,CAAC;CAChE,CAAC;AAEF,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IACxE,QAAQ,CAAC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACjD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,uBAAuB,EAAE,CAAC;IAC/D,QAAQ,CAAC,iBAAiB,EAAE,SAAS,uBAAuB,EAAE,CAAC;CAChE,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,wBAAwB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrD,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,SAAS,2BAA2B,EAAE,CAAC;CACzD,CAAC;AAEF,MAAM,MAAM,gBAAgB,GACxB,2BAA2B,GAC3B,sBAAsB,CAAC;AA8E3B,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7B,2BAA2B,CAsE7B;AAGD,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B,sBAAsB,CAcxB;AAGD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CAGjE;AAgGD,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,MAAM,GAAG,SAAS,EACtB,OAAO,EAAE;IAAE,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAcxC;AAwBD,wBAAsB,mBAAmB,CACvC,MAAM,EAAE;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,EAC9C,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAAC,CAmBvE"}