kibi-cli 2.0.0 → 2.2.0

package/dist/operations/proof/prune-receipts.js

@@ -15,7 +15,7 @@
  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 { loadEntities } from "../../public/operations/discovery-entities.js";
+import { loadEntities, loadEntitiesPaged, } from "../../public/operations/discovery-entities.js";
 import { proofReceiptHistoryErrors, } from "../../public/proof-receipt.js";
 import { projectEntityProperties } from "../mutation/entity-projection.js";
 import { executeUpsert } from "../mutation/upsert.js";
@@ -37,17 +37,19 @@ function parseKeep(value) {
  * with the prune carve-out (append-only validation is skipped for exactly
  * this maintenance action).
  */
-// implements REQ-kibi-proof-evidence-protocol
+// implements REQ-kibi-verification-evidence-contract
 export async function executePruneReceipts(args, context) {
     if (!context.prolog)
         throw new Error("Proof prune requires a Prolog runtime");
     if (context.fs === undefined)
         throw new Error("Proof prune failed: this maintenance action rewrites authored test documents and requires a filesystem-capable runtime");
     const keep = parseKeep(args.keep);
-    const tests = await loadEntities(context.prolog, {
-        type: "test",
-        ...(args.testId === undefined ? {} : { id: args.testId }),
-    });
+    // A bulk run pages full entities: receipt histories are exactly what this
+    // maintenance action reads, and loading all of them at once can exceed the
+    // bounded Prolog output capacity on long-lived stores.
+    const tests = args.testId === undefined
+        ? await loadEntitiesPaged(context.prolog, "test")
+        : await loadEntities(context.prolog, { type: "test", id: args.testId });
     if (args.testId !== undefined && tests.length === 0) {
         throw new Error(`Proof prune failed: test ${args.testId} was not found`);
     }

package/dist/operations/proof/receipt-document.js

@@ -25,7 +25,7 @@ import { dump as dumpYaml } from "js-yaml";
  * Used by proof maintenance to drop legacy `verification_receipts` blocks
  * once a `proof_contract` exists, without canonicalizing the document.
  */
-// implements REQ-kibi-proof-evidence-protocol
+// implements REQ-kibi-verification-evidence-contract
 export function removeFrontmatterBlock(content, key) {
     const lines = content.match(/[^\n]*\n|[^\n]+$/g) ?? [];
     if (lines.length === 0 || lines[0]?.trim() !== "---")
@@ -75,7 +75,7 @@ export function removeFrontmatterBlock(content, key) {
  * patcher can safely splice; the caller then falls back to the canonical
  * render.
  */
-// implements REQ-kibi-proof-evidence-protocol
+// implements REQ-kibi-verification-evidence-contract
 export function patchReceiptsIntoDocument(content, receipts) {
     const lines = content.match(/[^\n]*\n|[^\n]+$/g) ?? [];
     if (lines.length === 0 || lines[0]?.trim() !== "---")

package/dist/operations/semantic-advisor/analysis-receipt.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analysis-receipt.d.ts","sourceRoot":"","sources":["../../../src/operations/semantic-advisor/analysis-receipt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EACL,KAAK,OAAO,EAMb,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EACV,6BAA6B,EAI7B,4BAA4B,EAC5B,0BAA0B,EAC1B,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACf,MAAM,YAAY,CAAC;AA0CpB,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,OAAO,EAAE,OAAO,EAChB,WAAW,EAAE,SAAS,0BAA0B,EAAE,EAClD,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,YAAY,EAAE,SAAS,mBAAmB,EAAE,EAC5C,eAAe,EAAE,SAAS,4BAA4B,EAAE,EACxD,cAAc,EAAE,SAAS,iBAAiB,EAAE,GAC3C,6BAA6B,CAkH/B"}
+{"version":3,"file":"analysis-receipt.d.ts","sourceRoot":"","sources":["../../../src/operations/semantic-advisor/analysis-receipt.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EACL,KAAK,OAAO,EAMb,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EACV,6BAA6B,EAI7B,4BAA4B,EAC5B,0BAA0B,EAC1B,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACf,MAAM,YAAY,CAAC;AAyBpB,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,OAAO,EAAE,OAAO,EAChB,WAAW,EAAE,SAAS,0BAA0B,EAAE,EAClD,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,YAAY,EAAE,SAAS,mBAAmB,EAAE,EAC5C,eAAe,EAAE,SAAS,4BAA4B,EAAE,EACxD,cAAc,EAAE,SAAS,iBAAiB,EAAE,GAC3C,6BAA6B,CAkH/B"}

package/dist/operations/semantic-advisor/analysis-receipt.js

@@ -1,14 +1,8 @@
+import { chooseLane as chooseBuiltinLane } from "kibi-plugin-builtin";
 import { SEMANTIC_INVENTORY_VERSION, payloadHash, propertiesOf, semanticSourceHash, semanticSourceOf, } from "./shared.js";
+/** Builtin classifier is the single source of signal→lane selection. */
 function chooseLane(signals) {
-    if (signals.some(({ kind }) => kind === "numeric_cardinality" || kind === "numeric_threshold"))
-        return "strict_property";
-    if (signals.some(({ kind }) => kind === "conditional" ||
-        kind === "permission" ||
-        kind === "state_or_default"))
-        return "predicate";
-    return signals.some(({ kind }) => kind === "normative_modal")
-        ? "observation_review"
-        : "none";
+    return chooseBuiltinLane(signals);
 }
 function summary(readiness, lane) {
     if (readiness === "modeled")

package/dist/operations/semantic-advisor/analyze-prose.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analyze-prose.d.ts","sourceRoot":"","sources":["../../../src/operations/semantic-advisor/analyze-prose.ts"],"names":[],"mappings":"AAmCA,OAAO,KAAK,EACV,6BAA6B,EAC7B,oBAAoB,EAWrB,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,wBAAwB,wBAAwB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAI1D;AAo3BD,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,oBAAoB,GAC1B,6BAA6B,CA+D/B"}
+{"version":3,"file":"analyze-prose.d.ts","sourceRoot":"","sources":["../../../src/operations/semantic-advisor/analyze-prose.ts"],"names":[],"mappings":"AAkCA,OAAO,KAAK,EACV,6BAA6B,EAC7B,oBAAoB,EAWrB,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,wBAAwB,wBAAwB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAI1D;AAg0BD,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,oBAAoB,GAC1B,6BAA6B,CA+D/B"}

package/dist/operations/semantic-advisor/analyze-prose.js

@@ -1,15 +1,10 @@
+import { createBuiltinOntologyPack, detectSignals as detectBuiltinSignals, } from "kibi-plugin-builtin";
 import { utf8Span, validateLogicIr, } from "../../logic/ir.js";
 import { logicRuleFactId } from "../modeling/logic-modeling.js";
 import { buildAdvisorResult } from "./analysis-receipt.js";
 import { extractSemanticClauses, semanticClaimKey, } from "./clauses.js";
 import { observationPlan } from "./observation-plan.js";
-import { detectPredicateRules } from "./predicate-rule.js";
-import { CORE_PREDICATE_RULES } from "./predicate-rules-core.js";
-import { LAUNCHER_PREDICATE_RULES } from "./predicate-rules-launcher.js";
-import { POLICY_PREDICATE_RULES } from "./predicate-rules-policy.js";
-import { PRODUCT_TAIL_PREDICATE_RULES } from "./predicate-rules-product-tail.js";
-import { PRODUCT_PREDICATE_RULES } from "./predicate-rules-product.js";
-import { isRecord, payloadHash, propertiesOf, relationship, semanticClausesOf, semanticSourceHash, semanticSourceOf, sourceOf, statementOf, stringValue, } from "./shared.js";
+import { predicateSuggestion as buildPredicateSuggestion, isRecord, payloadHash, propertiesOf, relationship, semanticClausesOf, semanticSourceHash, semanticSourceOf, sourceOf, statementOf, stringValue, } from "./shared.js";
 import { detectStrictSuggestion } from "./strict-rules.js";
 export const SEMANTIC_ADVISOR_VERSION = "semantic-advisor-v2";
 export { semanticClaimKey } from "./clauses.js";
@@ -18,46 +13,6 @@ export function stringLogicClaims(value) {
         ? value.filter((entry) => typeof entry === "string")
         : [];
 }
-const SIGNAL_PATTERNS = [
-    {
-        kind: "numeric_cardinality",
-        candidateLane: "strict_property",
-        confidence: 0.92,
-        pattern: /\b(?:(?:at\s+most|at\s+least|exactly|no\s+more\s+than|up\s+to|cap(?:ped)?\s+at)\s+)?(?:\d+|zero|one|two|three|four|five|six|seven|eight|nine|ten)\b/i,
-    },
-    {
-        kind: "numeric_threshold",
-        candidateLane: "strict_property",
-        confidence: 0.86,
-        pattern: /\b(?:maximum|minimum|under|within|below|above|expires?|retained\s+for)\s+(?:\d+|zero|one|two|three|four|five|six|seven|eight|nine|ten)\b/i,
-    },
-    {
-        kind: "conditional",
-        candidateLane: "predicate",
-        confidence: 0.82,
-        pattern: /\b(?:if|when|unless|except|only\s+if|provided\s+that)\b/i,
-    },
-    {
-        kind: "permission",
-        candidateLane: "predicate",
-        confidence: 0.8,
-        pattern: /\b(?:only|may|can|allowed|denied|forbidden|must\s+not|cannot|can't)\b/i,
-    },
-    {
-        kind: "state_or_default",
-        candidateLane: "predicate",
-        confidence: 0.74,
-        pattern: /\b(?:state|mode|defaults?\s+to|ready|disabled|enabled|terminal)\b/i,
-    },
-    {
-        kind: "normative_modal",
-        candidateLane: "observation_review",
-        confidence: 0.65,
-        // Modal-free validity, rejection, prohibition, and failure-outcome
-        // assertions are normative even when they omit must/shall.
-        pattern: /\b(?:must|shall|should|may|must\s+not|cannot|can't|invalid|unresolved|reject(?:ed|ion)?|prohibited|forbidden|fail(?:s|ed|ure)?\s+(?:clearly|explicitly|with)|required\s+outcome)\b/i,
-    },
-];
 function proseOf(payload) {
     const properties = propertiesOf(payload);
     return [
@@ -106,22 +61,14 @@ function isModeled(payload, expectedClaimKeys) {
             types.has("requires_predicate") ||
             types.has("requires_rule")));
 }
+/** Builtin semantic classifier is the single source of signal/lane detection. */
 function detectSignals(prose) {
-    const seen = new Set();
-    return SIGNAL_PATTERNS.flatMap((candidate) => {
-        const evidence = prose.match(candidate.pattern)?.[0];
-        if (!evidence || seen.has(candidate.kind))
-            return [];
-        seen.add(candidate.kind);
-        return [
-            {
-                kind: candidate.kind,
-                evidence,
-                candidate_lane: candidate.candidateLane,
-                confidence: candidate.confidence,
-            },
-        ];
-    });
+    return detectBuiltinSignals(prose).map((signal) => ({
+        kind: signal.kind,
+        evidence: signal.evidence,
+        candidate_lane: signal.candidateLane,
+        confidence: signal.confidence,
+    }));
 }
 function ambiguitySuggestion(payload, statement) {
     const match = statement.match(/\b(?<value>\d+|zero|one|two|three|four|five|six|seven|eight|nine|ten)\s+(?<resource>active\s+sessions?|sessions?)\b/i);
@@ -169,11 +116,15 @@ function ontologyGapSuggestion(payload, statement) {
     };
 }
 function predicateSuggestion(payload, statement) {
-    return (detectPredicateRules(payload, statement, LAUNCHER_PREDICATE_RULES) ??
-        detectPredicateRules(payload, statement, CORE_PREDICATE_RULES) ??
-        detectPredicateRules(payload, statement, POLICY_PREDICATE_RULES) ??
-        detectPredicateRules(payload, statement, PRODUCT_PREDICATE_RULES) ??
-        detectPredicateRules(payload, statement, PRODUCT_TAIL_PREDICATE_RULES));
+    // Deterministic builtin pack — never loads external plugins on sync paths.
+    const matches = createBuiltinOntologyPack().match({
+        claimKey: "",
+        statement,
+    });
+    const hit = matches[0];
+    if (!hit)
+        return null;
+    return buildPredicateSuggestion(payload, hit.evidence, hit.predicateName, hit.arguments, hit.rationale ?? "", hit.polarity);
 }
 function ruleSuggestion(payload, candidate) {
     const validation = validateLogicIr(candidate.ir);

package/dist/operations/semantic-advisor/plugin-orchestration.d.ts

@@ -0,0 +1,63 @@
+import type { PluginProviderStamp, SemanticClassificationDecision, SemanticClassifierInput } from "kibi-plugin-sdk";
+import { type ComposedOntologyCatalog, type StampedOntologyCandidate } from "../../plugins/compose-ontology-packs.js";
+import { type ComposedSemanticClassifierResult } from "../../plugins/compose-semantic-classifier.js";
+import type { CapabilityRegistry } from "../../plugins/registry.js";
+import type { OperationContext } from "../../public/operations/runtime-types.js";
+import type { SemanticAdvisorAnalysisResult, SemanticAdvisorInput } from "./types.js";
+export type SemanticPluginOrchestrationResult = Readonly<{
+    analysis: SemanticAdvisorAnalysisResult;
+    classification: ComposedSemanticClassifierResult | null;
+    ontologyCatalog: ComposedOntologyCatalog | null;
+    ontologyMatches: readonly StampedOntologyCandidate[];
+    ontologyShadowMatches: readonly StampedOntologyCandidate[];
+    stamps: readonly PluginProviderStamp[];
+}>;
+/**
+ * Drop sync-path builtin ontology `predicate` suggestions.
+ *
+ * `analyzeSemanticAdvisorInput` always consults the builtin pack for
+ * maintenance-safe deterministic matching. When a replace ontology pack is
+ * active, those suggestions must not survive into the public receipt —
+ * including when the replace pack abstains with a valid empty match set.
+ */
+export declare function stripSyncBuiltinOntologySuggestions(analysis: SemanticAdvisorAnalysisResult): SemanticAdvisorAnalysisResult;
+/**
+ * Host-construct advisory modeling suggestions from validated ontology matches.
+ *
+ * When `replaced` is true, matches replace any remaining claim-keyed
+ * suggestion for the matched claim (after sync builtin predicates were
+ * stripped). When false (augment/builtin), matches only fill claims that
+ * lack a suggestion.
+ */
+export declare function applyOntologyMatchSuggestions(analysis: SemanticAdvisorAnalysisResult, ontologyMatches: readonly StampedOntologyCandidate[], options?: Readonly<{
+    replaced: boolean;
+}>): SemanticAdvisorAnalysisResult;
+/**
+ * Apply host-validated classifier decisions as a bounded routing seam.
+ *
+ * Plugins may influence per-proposition routing, candidate lane, suggested
+ * next tools, and advisory ambiguity metadata. They must not delete
+ * propositions, erase assertive unresolved obligations, downgrade modeled
+ * completeness, manufacture typed grounding, or invent mutation/proof.
+ */
+export declare function applyClassificationRouting(analysis: SemanticAdvisorAnalysisResult, classification: ComposedSemanticClassifierResult, ontologyMatches?: readonly StampedOntologyCandidate[], options?: Readonly<{
+    replaced?: boolean;
+    /** True when a replace semantic classifier succeeded (not builtin fallback). */
+    classifierReplaced?: boolean;
+}>): SemanticAdvisorAnalysisResult;
+/**
+ * Async orchestration for allowlisted semantic operations.
+ * Maintenance paths must keep calling sync `analyzeSemanticAdvisorInput`.
+ */
+export declare function analyzeSemanticAdvisorInputWithPlugins(input: SemanticAdvisorInput, options: Readonly<{
+    ensurePlugins?: () => Promise<CapabilityRegistry>;
+    operationName: string;
+}>): Promise<SemanticPluginOrchestrationResult>;
+/**
+ * Run allowlisted semantic classifier composition without re-running advisor
+ * analysis.
+ */
+export declare function composeSemanticClassificationForOperation(context: OperationContext | undefined, operationName: string, input: SemanticClassifierInput): Promise<ComposedSemanticClassifierResult | null>;
+export declare function composeOntologyCatalogForOperation(context: OperationContext | undefined, operationName: string): Promise<ComposedOntologyCatalog | null>;
+export type { SemanticClassificationDecision };
+//# sourceMappingURL=plugin-orchestration.d.ts.map

package/dist/operations/semantic-advisor/plugin-orchestration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin-orchestration.d.ts","sourceRoot":"","sources":["../../../src/operations/semantic-advisor/plugin-orchestration.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAEV,mBAAmB,EACnB,8BAA8B,EAC9B,uBAAuB,EAExB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,KAAK,uBAAuB,EAC5B,KAAK,wBAAwB,EAG9B,MAAM,yCAAyC,CAAC;AACjD,OAAO,EACL,KAAK,gCAAgC,EAEtC,MAAM,8CAA8C,CAAC;AAEtD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AACpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAEjF,OAAO,KAAK,EACV,6BAA6B,EAC7B,oBAAoB,EAKrB,MAAM,YAAY,CAAC;AAGpB,MAAM,MAAM,iCAAiC,GAAG,QAAQ,CAAC;IACvD,QAAQ,EAAE,6BAA6B,CAAC;IACxC,cAAc,EAAE,gCAAgC,GAAG,IAAI,CAAC;IACxD,eAAe,EAAE,uBAAuB,GAAG,IAAI,CAAC;IAChD,eAAe,EAAE,SAAS,wBAAwB,EAAE,CAAC;IACrD,qBAAqB,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC3D,MAAM,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACxC,CAAC,CAAC;AAmDH;;;;;;;GAOG;AAEH,wBAAgB,mCAAmC,CACjD,QAAQ,EAAE,6BAA6B,GACtC,6BAA6B,CAkB/B;AAED;;;;;;;GAOG;AAEH,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,6BAA6B,EACvC,eAAe,EAAE,SAAS,wBAAwB,EAAE,EACpD,OAAO,GAAE,QAAQ,CAAC;IAAE,QAAQ,EAAE,OAAO,CAAA;CAAE,CAAuB,GAC7D,6BAA6B,CAiG/B;AAED;;;;;;;GAOG;AAEH,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,6BAA6B,EACvC,cAAc,EAAE,gCAAgC,EAChD,eAAe,GAAE,SAAS,wBAAwB,EAAO,EACzD,OAAO,GAAE,QAAQ,CAAC;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,gFAAgF;IAChF,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B,CAAM,GACN,6BAA6B,CAqM/B;AAED;;;GAGG;AAEH,wBAAsB,sCAAsC,CAC1D,KAAK,EAAE,oBAAoB,EAC3B,OAAO,EAAE,QAAQ,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAClD,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC,GACD,OAAO,CAAC,iCAAiC,CAAC,CA8H5C;AAED;;;GAGG;AAEH,wBAAsB,yCAAyC,CAC7D,OAAO,EAAE,gBAAgB,GAAG,SAAS,EACrC,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,uBAAuB,GAC7B,OAAO,CAAC,gCAAgC,GAAG,IAAI,CAAC,CAOlD;AAGD,wBAAsB,kCAAkC,CACtD,OAAO,EAAE,gBAAgB,GAAG,SAAS,EACrC,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,uBAAuB,GAAG,IAAI,CAAC,CAOzC;AAED,YAAY,EAAE,8BAA8B,EAAE,CAAC"}