kibi-cli 1.0.1 → 2.0.0

package/dist/operations/bootstrap/activation.js

@@ -1,6 +1,11 @@
 import path from "node:path";
 import { readKbManifestStatus } from "../../utils/kb-manifest.js";
 import { KB_PATHS } from "../../utils/kb-paths.js";
+// implements REQ-KIBI-BOOTSTRAP-PLAN
+// covered_by TEST-KIBI-BOOTSTRAP-PLAN-APPLY
+export function missingManifestActivation(vendored, projectSignal) {
+    return activationFor(vendored && !projectSignal ? "vendored_only" : "root_uninitialized");
+}
 function activationFor(state) {
     switch (state) {
         case "root_uninitialized":
@@ -93,12 +98,15 @@ function sourceCoverageState(files) {
     return coverageState(Object.entries(counts).map(([type, count]) => ({ type, count })));
 }
 // implements REQ-KIBI-BOOTSTRAP-PLAN
-export async function classifyActivation(context, files) {
+export async function classifyActivation(context, files = []) {
     // Discovery callers do not all use the same path base.  The CLI globber
     // returns workspace-relative paths, while host adapters may pass absolute
     // paths.  Normalize before source-lane classification so a seeded source
     // KB has the same posture on every peer surface.
-    const normalizedFiles = files.map((file) => {
+    // Hosts (and leaked fast-glob mocks) may omit or return a non-array; treat
+    // that as "no source files" rather than crashing status/bootstrap.
+    const sourceFiles = Array.isArray(files) ? files : [];
+    const normalizedFiles = sourceFiles.map((file) => {
         const relative = path.isAbsolute(file)
             ? path.relative(context.workspaceRoot, file)
             : file;
@@ -111,7 +119,7 @@ export async function classifyActivation(context, files) {
             /^(README\.md|package\.json|src\/|app\/|packages\/|tests\/)/.test(file));
         const projectSignalFromDirectories = await Promise.all(["README.md", "package.json", "src", "app", "packages", "tests"].map((target) => exists(context, path.resolve(context.workspaceRoot, target))));
         const projectSignal = projectSignalFromFiles || projectSignalFromDirectories.some(Boolean);
-        return activationFor(vendored && !projectSignal ? "vendored_only" : "root_uninitialized");
+        return missingManifestActivation(vendored, projectSignal);
     }
     if (manifestStatus.state !== "ok")
         return activationFor("root_partial");

package/dist/operations/bootstrap/generate.d.ts

@@ -1,5 +1,6 @@
 import type { OperationContext } from "../../public/operations/runtime-types.js";
-import type { Candidate, PlanBootstrapArgs, PlanBootstrapResult } from "./types.js";
+import type { Candidate, PlanBootstrapArgs, PlanBootstrapResult, SourceOnlySignal } from "./types.js";
+export declare function filterSourceOnlySignals(signals: readonly SourceOnlySignal[], entityTypes: readonly string[] | undefined): readonly SourceOnlySignal[];
 export declare function selectBootstrapCandidates(input: readonly Candidate[], existingIds: ReadonlySet<string>, entityTypes: readonly string[] | undefined, maximum: number): {
     readonly candidates: readonly Candidate[];
     readonly suppressed: readonly Readonly<Record<string, unknown>>[];

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

@@ -1 +1 @@
-{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/generate.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAKjF,OAAO,KAAK,EACV,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACpB,MAAM,YAAY,CAAC;AA2BpB,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,EAC1C,OAAO,EAAE,MAAM,GACd;IACD,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CACnE,CAiDA;AAkHD,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,mBAAmB,CAAC,CA2D9B"}
+{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/generate.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAKjF,OAAO,KAAK,EACV,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAEpB,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GACzC,SAAS,gBAAgB,EAAE,CAI7B;AA2BD,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,EAC1C,OAAO,EAAE,MAAM,GACd;IACD,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CACnE,CAiDA;AAgHD,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,mBAAmB,CAAC,CAyD9B"}

package/dist/operations/bootstrap/generate.js

@@ -6,6 +6,11 @@ import { readWorkspaceSnapshot } from "../../public/operations/workspace-snapsho
 import { buildBootstrapCandidates } from "./candidates.js";
 import { discoverBootstrap } from "./discovery.js";
 import { presentBootstrap } from "./presentation.js";
+export function filterSourceOnlySignals(signals, entityTypes) {
+    return entityTypes && entityTypes.length > 0
+        ? signals.filter((signal) => entityTypes.includes(signal.kind))
+        : signals;
+}
 import { bootstrapEmptyKbSnapshotId } from "./types.js";
 function clamp(value, minimum, maximum) {
     return Math.max(minimum, Math.min(maximum, value));
@@ -176,9 +181,7 @@ export async function executePlanBootstrap(args, context) {
     const built = discovery.activation.allowCandidateGeneration
         ? buildBootstrapCandidates(discovery.evidence, existingIds, minConfidence, includeGenericMarkdown)
         : { candidates: [], sourceOnlySignals: [] };
-    const filteredSignals = args.entityTypes && args.entityTypes.length > 0
-        ? built.sourceOnlySignals.filter((signal) => args.entityTypes?.includes(signal.kind))
-        : built.sourceOnlySignals;
+    const filteredSignals = filterSourceOnlySignals(built.sourceOnlySignals, args.entityTypes);
     const selected = selectBootstrapCandidates(built.candidates.filter((candidate) => candidate.confidence >= minConfidence), existingIds, args.entityTypes, maxCandidates);
     const ignored = discovery.ignoredSources.map((sourcePath) => ({
         candidateId: "",

package/dist/operations/bootstrap/guidance.d.ts

@@ -1,4 +1,5 @@
 import type { ActivationPolicy, BootstrapDeclaredContext, Candidate, SourceOnlySignal } from "./types.js";
+export declare function confidence(activation: ActivationPolicy, declared: BootstrapDeclaredContext, candidates: readonly Candidate[], signals: readonly SourceOnlySignal[], promptBlock: string): Readonly<Record<string, unknown>>;
 export declare function buildGuidance(input: {
     readonly root: string;
     readonly activation: ActivationPolicy;

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

@@ -1 +1 @@
-{"version":3,"file":"guidance.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/guidance.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,gBAAgB,EAChB,wBAAwB,EACxB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AA2JpB,wBAAgB,aAAa,CAAC,KAAK,EAAE;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,GAAG;IACF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACvD,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CAChE,CA0BA"}
+{"version":3,"file":"guidance.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/guidance.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,gBAAgB,EAChB,wBAAwB,EACxB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAkFpB,wBAAgB,UAAU,CACxB,UAAU,EAAE,gBAAgB,EAC5B,QAAQ,EAAE,wBAAwB,EAClC,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,WAAW,EAAE,MAAM,GAClB,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAgEnC;AAGD,wBAAgB,aAAa,CAAC,KAAK,EAAE;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,GAAG;IACF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACvD,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CAChE,CA0BA"}

package/dist/operations/bootstrap/guidance.js

@@ -57,7 +57,7 @@ function prompt(root, activation, declared, candidates, signals, warnings) {
         selected[selected.length - 1] = `${selected[selected.length - 1]}…`;
     return selected.join(" ").replaceAll(" - ", "\n- ");
 }
-function confidence(activation, declared, candidates, signals, promptBlock) {
+export function confidence(activation, declared, candidates, signals, promptBlock) {
     const reasons = [];
     let score = candidates.length > 0 ? 0.68 : 0.44;
     if (activation.applyBlocked) {

package/dist/operations/modeling/model-requirement.d.ts

@@ -4,6 +4,11 @@ import { estimateNormativeSignalConfidence, extractRequirementClaim } from "./re
 import type { ModelRequirementArgs, ModelRequirementResult } from "./requirement-types.js";
 export type { ModelRequirementArgs, ModelRequirementResult, } from "./requirement-types.js";
 export { estimateNormativeSignalConfidence, extractRequirementClaim, strictWriteSetToApplyPlan, writeSetPrimaryEntityId, };
+export declare function annotateModelRequirementStep(step: Record<string, unknown>, context: {
+    claimKey: string;
+    statement: string;
+    logicClaims: string[];
+}): Record<string, unknown>;
 export declare function getWorkspaceMigrationWarning(workspaceRoot: string): Promise<string | null>;
 export declare function handleKbModelRequirement(_prolog: unknown, args: ModelRequirementArgs, workspaceRoot: string): Promise<ModelRequirementResult>;
 export declare function executeModelRequirement(args: ModelRequirementArgs, context: OperationContext): Promise<ModelRequirementResult>;

package/dist/operations/modeling/model-requirement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"model-requirement.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/model-requirement.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAQjF,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,oBAAoB,EACpB,sBAAsB,EACvB,MAAM,wBAAwB,CAAC;AAMhC,YAAY,EACV,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACvB,yBAAyB,EACzB,uBAAuB,GACxB,CAAC;AAEF,wBAAsB,4BAA4B,CAChD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAIxB;AAED,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,oBAAoB,EAC1B,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,sBAAsB,CAAC,CAsKjC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,oBAAoB,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,sBAAsB,CAAC,CAEjC"}
+{"version":3,"file":"model-requirement.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/model-requirement.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAQjF,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,oBAAoB,EACpB,sBAAsB,EACvB,MAAM,wBAAwB,CAAC;AAMhC,YAAY,EACV,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACvB,yBAAyB,EACzB,uBAAuB,GACxB,CAAC;AAIF,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,OAAO,EAAE;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,GACA,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAgDzB;AAED,wBAAsB,4BAA4B,CAChD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAIxB;AAED,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,oBAAoB,EAC1B,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,sBAAsB,CAAC,CA4HjC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,oBAAoB,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,sBAAsB,CAAC,CAEjC"}

package/dist/operations/modeling/model-requirement.js

@@ -7,6 +7,54 @@ import { strictWriteSetToApplyPlan, writeSetPrimaryEntityId, } from "./requireme
 import { estimateNormativeSignalConfidence, extractRequirementClaim, } from "./requirement-modeler.js";
 import { normalizeOptionalString, normalizeSourceFiles, } from "./requirement-utils.js";
 export { estimateNormativeSignalConfidence, extractRequirementClaim, strictWriteSetToApplyPlan, writeSetPrimaryEntityId, };
+// implements REQ-kibi-logical-requirement-coverage
+// covered_by TEST-kibi-logical-requirement-coverage
+export function annotateModelRequirementStep(step, context) {
+    const properties = step.properties !== null && typeof step.properties === "object"
+        ? step.properties
+        : {};
+    if (step.type === "fact") {
+        return {
+            ...step,
+            properties: {
+                ...properties,
+                claim_key: context.claimKey,
+                claim_text: context.statement,
+            },
+        };
+    }
+    if (step.type === "req") {
+        const claimText = context.statement.trim();
+        const normalizedClaimText = normalizeSemanticClause(claimText);
+        return {
+            ...step,
+            properties: {
+                ...properties,
+                semantic_text: claimText,
+                logic_claims: context.logicClaims,
+                semantic_clauses: [claimText],
+                semantic_inventory_version: "kibi.semantic-inventory.v1",
+                semantic_source_field: "semantic_text",
+                semantic_source_hash: semanticSourceHash(claimText),
+                semantic_inventory: [
+                    {
+                        claim_key: context.claimKey,
+                        claim_text: normalizedClaimText,
+                        role: /\b(?:must|shall|should|required|requires?)\b/i.test(claimText)
+                            ? "normative"
+                            : "descriptive",
+                        status: "modeled",
+                        span: {
+                            start: 0,
+                            end: Buffer.byteLength(normalizedClaimText, "utf8"),
+                        },
+                    },
+                ],
+            },
+        };
+    }
+    return step;
+}
 export async function getWorkspaceMigrationWarning(workspaceRoot) {
     const status = readKbManifestStatus(workspaceRoot);
     if (status.state === "ok")
@@ -81,52 +129,11 @@ export async function handleKbModelRequirement(_prolog, args, workspaceRoot) {
     });
     const claimKey = semanticClaimKey(extracted.statement);
     const logicClaims = Array.from(new Set([...(args.existingLogicClaims ?? []), claimKey]));
-    const applyPlan = strictWriteSetToApplyPlan(writeSet).map((step) => {
-        const properties = step.properties !== null && typeof step.properties === "object"
-            ? step.properties
-            : {};
-        if (step.type === "fact") {
-            return {
-                ...step,
-                properties: {
-                    ...properties,
-                    claim_key: claimKey,
-                    claim_text: extracted.statement,
-                },
-            };
-        }
-        if (step.type === "req") {
-            const claimText = extracted.statement.trim();
-            const normalizedClaimText = normalizeSemanticClause(claimText);
-            return {
-                ...step,
-                properties: {
-                    ...properties,
-                    semantic_text: claimText,
-                    logic_claims: logicClaims,
-                    semantic_clauses: [claimText],
-                    semantic_inventory_version: "kibi.semantic-inventory.v1",
-                    semantic_source_field: "semantic_text",
-                    semantic_source_hash: semanticSourceHash(claimText),
-                    semantic_inventory: [
-                        {
-                            claim_key: claimKey,
-                            claim_text: normalizedClaimText,
-                            role: /\b(?:must|shall|should|required|requires?)\b/i.test(claimText)
-                                ? "normative"
-                                : "descriptive",
-                            status: "modeled",
-                            span: {
-                                start: 0,
-                                end: Buffer.byteLength(normalizedClaimText, "utf8"),
-                            },
-                        },
-                    ],
-                },
-            };
-        }
-        return step;
-    });
+    const applyPlan = strictWriteSetToApplyPlan(writeSet).map((step) => annotateModelRequirementStep(step, {
+        claimKey,
+        statement: extracted.statement,
+        logicClaims,
+    }));
     const migrationWarning = await getWorkspaceMigrationWarning(workspaceRoot);
     const warnings = writeSet.isStrict
         ? []

package/dist/operations/modeling/predicate-applicability.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-applicability.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-applicability.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,qBAAqB,EAE3B,MAAM,uBAAuB,CAAC;AAG/B,eAAO,MAAM,uBAAuB,OAAO,CAAC;AAC5C,eAAO,MAAM,0BAA0B,MAAM,CAAC;AAC9C,eAAO,MAAM,qBAAqB,OAAO,CAAC;AAwO1C,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AAED;;;;GAIG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,qBAAqB,EAC7B,IAAI,EAAE,MAAM,GACX,qBAAqB,CA2EvB"}
+{"version":3,"file":"predicate-applicability.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-applicability.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,qBAAqB,EAE3B,MAAM,uBAAuB,CAAC;AAG/B,eAAO,MAAM,uBAAuB,OAAO,CAAC;AAC5C,eAAO,MAAM,0BAA0B,MAAM,CAAC;AAC9C,eAAO,MAAM,qBAAqB,OAAO,CAAC;AA2U1C,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AAED;;;;GAIG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,qBAAqB,EAC7B,IAAI,EAAE,MAAM,GACX,qBAAqB,CA2EvB"}

package/dist/operations/modeling/predicate-applicability.js

@@ -64,14 +64,23 @@ const INTENT_RULES = {
     failure_behavior: {
         allOf: [
             [
-                /failure|fail|missing(?:\s+\S+){0,4}\s+dependenc|missing\s+(?:project[- ]local\s+)?(?:kibi[- ]mcp|package|module)|dependenc\w*\s+(?:is\s+)?missing|unavailable|exception|error\s+(?:behavior|outcome|handling)/i,
+                /failure|fail|missing(?:\s+\S+){0,4}\s+dependenc|missing\s+(?:project[- ]local\s+)?(?:kibi[- ]mcp|package|module)|dependenc\w*\s+(?:is\s+)?missing|unavailable|exception|error\s+(?:behavior|outcome|handling|occurs)|errors\s+(?:or|and)\s+(?:timeouts?|failures?)/i,
             ],
-            [/report|outcome|actionable|clear|return|surface|throw/i],
+            [/report|outcome|actionable|clear|return|surface|throw|leave|recover/i],
         ],
         prohibited: [
             /invalid\s+placeholder|ambiguous\s+root|ordered\s+source|child\s+process/i,
         ],
     },
+    abstraction_boundary_rule: {
+        allOf: [
+            [
+                /renderer[- ]neutral|vendor[- ]neutral|implementation[- ]neutral|swappable|abstraction/i,
+            ],
+            [/persist|contract|api\b|data|scene|replace|storage/i],
+        ],
+        prohibited: [/permission|delete|export/i],
+    },
     exception_rule: {
         // Package-manager wording can provide context for an exception, but it
         // is not itself an exception claim. Require an explicit exception
@@ -93,16 +102,25 @@ const INTENT_RULES = {
     resource_constraint: {
         allOf: [
             [
-                /latency|timeout|throughput|quota|memory|cpu|size|resource|response\s+time|upload|download|payload|attachment|file/i,
+                /latency|timeout|throughput|quota|memory|cpu|size|resource|response\s+time|upload|download|payload|attachment|file|complete[sd]?\s+in\b|duration|frame\s+rate|\bfps\b/i,
             ],
             [
-                /at\s+most|at\s+least|not\s+exceed|maximum|minimum|under|below|above|within|limit|bounded|enforced|\b\d+(?:\.\d+)?\s*(?:ms|milliseconds?|s|seconds?|mb|gb|%)?\b/i,
+                /at\s+most|at\s+least|not\s+exceed|maximum|minimum|under|below|above|within|limit|bounded|enforced|<[=>]?\s*\d|\b\d+(?:\.\d+)?\s*(?:ms|milliseconds?|s|seconds?|mb|gb|fps|%)?\b/i,
             ],
         ],
         prohibited: [
             /only|allowed|denied|forbidden|permission|authorize|must\s+not\s+(?:delete|export|access|write|update|remove|manage)/i,
         ],
     },
+    migration_boundary_rule: {
+        allOf: [
+            [/legacy|migration|fabricdata/i],
+            [
+                /canonical|migration\s+input|compatibility|only\s+(?:be\s+)?(?:read|used)|read\s+only/i,
+            ],
+        ],
+        prohibited: [/converted\s+once|no\s+data\s+loss|one[- ]time\s+conversion/i],
+    },
     uniqueness_constraint: {
         allOf: [[/at\s+most\s+one|unique|uniqueness/i], [/\bper\b|scope|within/i]],
         prohibited: [/rate\s+limit|per\s+(?:second|minute|hour|day|window)/i],
@@ -164,6 +182,87 @@ const INTENT_RULES = {
     absence_requirement: {
         anyOf: [/\bno\b|absent|removed|not\s+exist|must\s+not\s+exist/i],
     },
+    fail_closed_authorization_rule: {
+        allOf: [
+            [
+                /fail[- ]closed|deny|denied|reject|never\s+fall\s+back|without\s+(?:creating|falling)/i,
+            ],
+            [
+                /invalid|missing|unauthorized|unauthenticated|error|timeout|expired|fallback|role|credential/i,
+            ],
+        ],
+        prohibited: [
+            /defaults?\s+to\s+(?:a\s+)?(?:student|user|role|identity)\b(?!\s+must)/i,
+        ],
+    },
+    deployment_precondition_rule: {
+        allOf: [
+            [/deploy(?:ment|ed|ing)?|rollout|release/i],
+            [
+                /hold|block|abort|precondition|unsupported|before\s+(?:the\s+)?(?:release|deployment|rollout)/i,
+            ],
+        ],
+        prohibited: [/checkout|payment|fraud|workflow|capture/i],
+    },
+    data_migration_rule: {
+        allOf: [
+            [/conver(?:t|s(?:ion|ions))|migrat/i],
+            [/once|one[- ]time|no\s+data\s+loss|canonical|before/i],
+        ],
+        prohibited: [
+            /may\s+only\s+be\s+read|migration\s+input|never\s+fall\s+back|reads?\s+only/i,
+        ],
+    },
+    diagnostic_visibility_rule: {
+        allOf: [
+            [
+                /log(?:ged|ging)?|silent|not\s+shown|never\s+shown|internal\s+detail|raw/i,
+            ],
+            [/user|ui\b|friendly|actionable|shown|display|message|debugging/i],
+        ],
+        prohibited: [/audit\s+log|consent/i],
+    },
+    mutation_authority_rule: {
+        allOf: [
+            [/read[- ]only|server[- ]side|row[- ]level|\brls\b|trigger/i],
+            [/client|view|surface|api|table|service|notification|ui\b/i],
+        ],
+        prohibited: [/delete|export|remove|permission/i],
+    },
+    request_deduplication_rule: {
+        allOf: [
+            [/deduplicat|coalesc|in[- ]flight/i],
+            [/request|quer(?:y|ies)|fetch|call|parallel|redundant/i],
+        ],
+        prohibited: [/rate\s+limit|batch/i],
+    },
+    async_boundary_rule: {
+        allOf: [
+            [
+                /synchron(?:ous|ously)|not\s+await|defer|background|in\s+flight|non[- ]blocking/i,
+            ],
+            [/callback|handler|refresh|operation|work|action|ui\b/i],
+        ],
+        prohibited: [/timeout|rate\s+limit/i],
+    },
+    canonical_identifier_rule: {
+        allOf: [[/canonical/i], [/identifier|\bid\b|videoid|key|resolve/i]],
+        prohibited: [/renderer[- ]neutral|legacy/i],
+    },
+    responsive_breakpoint_rule: {
+        allOf: [
+            [/breakpoint|landscape|portrait|viewport|responsive/i],
+            [/mobile|desktop|tablet|width|height|px\b/i],
+        ],
+        prohibited: [/server|database/i],
+    },
+    operational_pause_rule: {
+        allOf: [
+            [/pause|halt|suspend|kill\s*switch|freeze/i],
+            [/block|new|preserve|existing|resumable|continue/i],
+        ],
+        prohibited: [/deletion|soft\s+delete/i],
+    },
 };
 function round(value) {
     return Math.round(Math.max(0, Math.min(0.98, value)) * 100) / 100;

package/dist/operations/modeling/predicate-catalog-2.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-catalog-2.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-2.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAkNzD,CAAC"}
+{"version":3,"file":"predicate-catalog-2.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-2.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAkOzD,CAAC"}

package/dist/operations/modeling/predicate-catalog-2.js

@@ -101,7 +101,12 @@ export const PREDICATE_CATALOG_2 = [
         description: "Legacy data or APIs may only be used for migration or compatibility input.",
         argument_names: ["subject", "allowed_action", "scope"],
         argument_types: ["entity", "action", "scope"],
-        keywords: ["legacy", "migration input", "only be read"],
+        keywords: ["legacy", "migration input", "only be read", "canonical-only"],
+        aliases: [
+            "canonical data only",
+            "never fall back to legacy",
+            "read canonical only",
+        ],
         examples: [
             "migration_boundary_rule(legacy_fabricdata, read, migration_input)",
         ],
@@ -175,7 +180,18 @@ export const PREDICATE_CATALOG_2 = [
         description: "Persisted data, APIs, or contracts must stay neutral to a renderer, vendor, runtime, or implementation detail.",
         argument_names: ["subject", "relation", "contract"],
         argument_types: ["entity", "relation", "contract"],
-        keywords: ["renderer-neutral", "contract", "runtime snapshots", "vendor"],
+        keywords: [
+            "renderer-neutral",
+            "contract",
+            "runtime snapshots",
+            "vendor",
+            "renderer replacements",
+            "swappable",
+        ],
+        aliases: [
+            "renderer-neutral persistence",
+            "loadable across renderer replacements",
+        ],
         examples: [
             "abstraction_boundary_rule(annotation_drawing_data, persisted_as, renderer-neutral_scene_contract)",
         ],

package/dist/operations/modeling/predicate-catalog-3.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-catalog-3.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-3.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EA0MzD,CAAC"}
+{"version":3,"file":"predicate-catalog-3.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-3.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EA0NzD,CAAC"}

package/dist/operations/modeling/predicate-catalog-3.js

@@ -186,7 +186,23 @@ export const PREDICATE_CATALOG_3 = [
         description: "A subject constrains a resource by operator, threshold, and unit.",
         argument_names: ["subject", "resource", "operator", "threshold", "unit"],
         argument_types: ["entity", "resource", "operator", "number", "unit"],
-        keywords: ["limit", "maximum", "minimum", "latency", "timeout", "size"],
+        keywords: [
+            "limit",
+            "maximum",
+            "minimum",
+            "latency",
+            "timeout",
+            "size",
+            "fps",
+            "frame rate",
+            "complete in",
+            "time budget",
+        ],
+        paraphrase_templates: [
+            "must complete in under a bounded duration",
+            "must stay at a bounded frame rate",
+            "must respond within a time budget",
+        ],
         examples: ["resource_constraint(api.search, latency, lte, 200, ms)"],
         tags: ["performance", "constraint"],
     },

package/dist/operations/modeling/predicate-catalog-5.d.ts

@@ -0,0 +1,10 @@
+import type { PredicateSchemaCandidate } from "./predicate-types.js";
+/**
+ * Predicate families added from consumer escalation evidence (Align
+ * dogfooding, 2026-08/09): fail-closed authorization, deployment
+ * preconditions, migration sequencing, diagnostic visibility, mutation
+ * authority, request deduplication, async boundaries, canonical
+ * identifiers, responsive breakpoints, and operational pauses.
+ */
+export declare const PREDICATE_CATALOG_5: PredicateSchemaCandidate[];
+//# sourceMappingURL=predicate-catalog-5.d.ts.map

package/dist/operations/modeling/predicate-catalog-5.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-catalog-5.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-5.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAErE;;;;;;GAMG;AAEH,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAoSzD,CAAC"}