kibi-cli 0.14.0 → 0.16.1

package/dist/operations/semantic-advisor/strict-rules.js

@@ -0,0 +1,106 @@
+import { normalizeSubjectKey, strictSuggestion, } from "./shared.js";
+import { detectCountStrictSuggestion } from "./strict-count-rules.js";
+function suggestion(payload, match, claim, rationale, confidence, evidence = match[0]) {
+    return strictSuggestion(payload, evidence, claim, rationale, confidence);
+}
+// implements REQ-mcp-semantic-advisor-preflight
+export function detectStrictSuggestion(payload, statement) {
+    const expiry = statement.match(/^(?<subject>.+?)\s+expir(?:e|es)\s+after\s+(?<value>\d+)\s+(?<unit>days?|months?|years?|hours?|minutes?)\.?$/i);
+    if (expiry?.groups?.subject && expiry.groups.value && expiry.groups.unit) {
+        const unit = expiry.groups.unit.toLowerCase().replace(/s?$/, "s");
+        return suggestion(payload, expiry, {
+            subject_key: normalizeSubjectKey(expiry.groups.subject),
+            property_key: `expiry_${unit}`,
+            operator: "eq",
+            value_type: "int",
+            value_int: Number(expiry.groups.value),
+            unit,
+        }, "Expiry duration is a scalar strict property and should be explicit.", 0.88, `expire after ${expiry.groups.value} ${expiry.groups.unit}`);
+    }
+    const comparative = statement.match(/^(?<subject>.+?)\s+(?:must|shall|should)\s+be\s+(?<operator>less\s+than|greater\s+than|below|above|minimum|maximum|at\s+least|at\s+most)\s+(?<value>\d+)\.?$/i);
+    if (comparative?.groups?.subject &&
+        comparative.groups.operator &&
+        comparative.groups.value) {
+        const operatorText = comparative.groups.operator.toLowerCase();
+        const operator = /less|below/.test(operatorText)
+            ? "lt"
+            : /greater|above/.test(operatorText)
+                ? "gt"
+                : /minimum|least/.test(operatorText)
+                    ? "gte"
+                    : "lte";
+        return suggestion(payload, comparative, {
+            subject_key: normalizeSubjectKey(comparative.groups.subject),
+            property_key: "value",
+            operator,
+            value_type: "int",
+            value_int: Number(comparative.groups.value),
+        }, "Comparative numeric prose is a strict property constraint.", 0.86, `${comparative.groups.operator} ${comparative.groups.value}`);
+    }
+    const precision = statement.match(/^.+?\s+(?:must|shall|should)\s+normalize\s+into\s+canonical\s+integer\s+decisecond\s+(?<subject>[a-z][a-z0-9_-]*)\s+values?\.?$/i);
+    if (precision?.groups?.subject) {
+        return suggestion(payload, precision, {
+            subject_key: normalizeSubjectKey(precision.groups.subject),
+            property_key: "slot_precision",
+            operator: "eq",
+            value_type: "string",
+            value_string: "decisecond",
+        }, "Canonical decisecond slot prose is a strict precision property.", 0.9);
+    }
+    const threshold = statement.match(/^(?<subject>.+?)\s+(?:must|shall|should)\s+return\s+within\s+(?<value>\d+)\s+(?<unit>ms|milliseconds?|s|sec|secs|seconds?)\.?$/i);
+    if (threshold?.groups?.subject &&
+        threshold.groups.value &&
+        threshold.groups.unit) {
+        const unit = threshold.groups.unit.toLowerCase().startsWith("m")
+            ? "ms"
+            : "seconds";
+        return suggestion(payload, threshold, {
+            subject_key: normalizeSubjectKey(threshold.groups.subject),
+            property_key: unit === "ms" ? "latency_ms" : "latency_seconds",
+            operator: "lte",
+            value_type: "int",
+            value_int: Number(threshold.groups.value),
+            unit,
+        }, "Response-time thresholds are bounded numeric properties and should be modeled explicitly.", 0.88, `within ${threshold.groups.value} ${threshold.groups.unit}`);
+    }
+    const booleanState = statement.match(/^(?<subject>.+?)\s+(?:must|shall|should)\s+be\s+(?<state>enabled|disabled)\.?$/i);
+    if (booleanState?.groups?.subject && booleanState.groups.state) {
+        return suggestion(payload, booleanState, {
+            subject_key: normalizeSubjectKey(booleanState.groups.subject),
+            property_key: "enabled",
+            operator: "eq",
+            value_type: "bool",
+            value_bool: booleanState.groups.state.toLowerCase() === "enabled",
+        }, "Enabled/disabled requirements are boolean properties and can participate in strict checks.", 0.88, `be ${booleanState.groups.state}`);
+    }
+    const retention = statement.match(/^(?<subject>.+?)\s+(?:must|shall|should)\s+be\s+retained\s+for\s+(?<value>\d+)\s+(?<unit>days?|months?|years?)\.?$/i);
+    if (retention?.groups?.subject &&
+        retention.groups.value &&
+        retention.groups.unit) {
+        const unit = retention.groups.unit.toLowerCase().replace(/s$/, "s");
+        return suggestion(payload, retention, {
+            subject_key: normalizeSubjectKey(retention.groups.subject),
+            property_key: `retention_${unit}`,
+            operator: "eq",
+            value_type: "int",
+            value_int: Number(retention.groups.value),
+            unit,
+        }, "Retention duration is a scalar strict property and can participate in contradiction checks.", 0.92, `retained for ${retention.groups.value} ${retention.groups.unit}`);
+    }
+    const enumSet = statement.match(/^(?<subject>.+?)\s+(?:must|shall|should)\s+be\s+one\s+of\s+(?<values>.+?)\.?$/i);
+    if (enumSet?.groups?.subject && enumSet.groups.values) {
+        const values = enumSet.groups.values
+            .split(/,|\bor\b/i)
+            .map((value) => value.trim())
+            .filter(Boolean);
+        if (values.length > 1)
+            return suggestion(payload, enumSet, {
+                subject_key: normalizeSubjectKey(enumSet.groups.subject),
+                property_key: "allowed_values",
+                operator: "eq",
+                value_type: "string",
+                value_string: values.join("|"),
+            }, "Allowed enum sets are explicit property values and should not remain prose-only.", 0.86, `one of ${enumSet.groups.values}`);
+    }
+    return detectCountStrictSuggestion(payload, statement);
+}

package/dist/operations/semantic-advisor/types.d.ts

@@ -0,0 +1,135 @@
+export type SemanticAdvisorLane = "strict_property" | "predicate" | "observation_review" | "none";
+export type SemanticAdvisorReadiness = "modeled" | "needs_modeling" | "not_applicable";
+export type SemanticLogicCoverageStatus = "complete" | "partial" | "unverified" | "not_applicable";
+export type SemanticSignalKind = "normative_modal" | "numeric_cardinality" | "numeric_threshold" | "conditional" | "permission" | "state_or_default";
+export interface SemanticSignal {
+    readonly kind: SemanticSignalKind;
+    readonly evidence: string;
+    readonly candidate_lane: SemanticAdvisorLane;
+    readonly confidence: number;
+}
+export interface SemanticAmbiguityWitness {
+    readonly signal_kind: SemanticSignalKind;
+    readonly evidence: string;
+    readonly interpretations: readonly string[];
+    readonly message: string;
+}
+export interface SemanticStrictPropertyClaim {
+    readonly subject_key: string;
+    readonly property_key: string;
+    readonly operator: "eq" | "neq" | "lt" | "lte" | "gt" | "gte";
+    readonly value_type: "string" | "int" | "number" | "bool";
+    readonly value_string?: string;
+    readonly value_int?: number;
+    readonly value_number?: number;
+    readonly value_bool?: boolean;
+    readonly unit?: string;
+}
+export interface SemanticPredicateClaim {
+    readonly predicate_name: string;
+    readonly predicate_args: readonly string[];
+    readonly canonical_key: string;
+    readonly polarity: "assert" | "deny";
+}
+export type SemanticModelingSuggestion = {
+    readonly kind: "strict_property";
+    readonly claim_key: string;
+    readonly claim_text: string;
+    readonly confidence: number;
+    readonly evidence: string;
+    readonly rationale: string;
+    readonly suggested_next_tool: "kb_model_requirement";
+    readonly claim: SemanticStrictPropertyClaim;
+    readonly rejected_alternatives: readonly string[];
+    readonly applyPlan: readonly Readonly<Record<string, unknown>>[];
+} | {
+    readonly kind: "predicate";
+    readonly claim_key: string;
+    readonly claim_text: string;
+    readonly confidence: number;
+    readonly evidence: string;
+    readonly rationale: string;
+    readonly suggested_next_tool: "kb_suggest_predicates";
+    readonly predicate: SemanticPredicateClaim;
+    readonly rejected_alternatives: readonly string[];
+    readonly applyPlan: readonly Readonly<Record<string, unknown>>[];
+    readonly relationshipPlan: Readonly<Record<string, unknown>> | null;
+} | {
+    readonly kind: "ambiguity_observation";
+    readonly claim_key: string;
+    readonly claim_text: string;
+    readonly confidence: number;
+    readonly evidence: string;
+    readonly rationale: string;
+    readonly ambiguity: readonly string[];
+    readonly suggested_next_tool: "kb_model_requirement" | "kb_suggest_predicates";
+    readonly applyPlan: readonly Readonly<Record<string, unknown>>[];
+} | {
+    readonly kind: "ontology_gap";
+    readonly claim_key: string;
+    readonly claim_text: string;
+    readonly confidence: number;
+    readonly evidence: string;
+    readonly rationale: string;
+    readonly suggested_next_tool: "kb_suggest_predicates";
+    readonly recommendedPredicateSchema: {
+        readonly predicate_name: string;
+        readonly argument_names: readonly string[];
+        readonly argument_types: readonly string[];
+    } | null;
+    readonly applyPlan: readonly Readonly<Record<string, unknown>>[];
+};
+export interface SemanticAdvisorReceipt {
+    readonly version: string;
+    readonly payload_hash: string;
+    readonly logic_readiness: SemanticAdvisorReadiness;
+    readonly candidate_lane: SemanticAdvisorLane;
+    readonly signals: readonly SemanticSignal[];
+    readonly ambiguity_witnesses: readonly SemanticAmbiguityWitness[];
+    readonly suggestions: readonly SemanticModelingSuggestion[];
+    readonly clauses: readonly {
+        readonly claim_key: string;
+        readonly text: string;
+        readonly index: number;
+        readonly normative: boolean;
+        readonly source: "detected" | "supplied";
+        readonly suggestion_indexes: readonly number[];
+    }[];
+    readonly logic_coverage: {
+        readonly status: SemanticLogicCoverageStatus;
+        readonly expected_claim_keys: readonly string[];
+        readonly declared_claim_keys: readonly string[];
+        readonly missing_claim_keys: readonly string[];
+        readonly unresolved_claim_keys: readonly string[];
+    };
+    readonly suggested_next_tools: readonly string[];
+    readonly summary: string;
+}
+export interface SemanticAdvisorInput {
+    readonly payload: Readonly<Record<string, unknown>>;
+    readonly clauses?: readonly string[];
+}
+export interface SemanticAdvisorAnalysisResult {
+    readonly receipt: SemanticAdvisorReceipt;
+    readonly warnings: readonly string[];
+}
+export interface SemanticAdvisorArgs {
+    readonly text: string;
+    readonly clauses?: readonly string[];
+    readonly type?: string;
+    readonly id?: string;
+    readonly title?: string;
+    readonly source?: string;
+    readonly status?: string;
+}
+export interface SemanticAdvisorOperationResult {
+    readonly content: readonly {
+        readonly type: "text";
+        readonly text: string;
+    }[];
+    readonly structuredContent: {
+        readonly receipt: SemanticAdvisorReceipt;
+        readonly warnings: readonly string[];
+    };
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/operations/semantic-advisor/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/operations/semantic-advisor/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,mBAAmB,GAC3B,iBAAiB,GACjB,WAAW,GACX,oBAAoB,GACpB,MAAM,CAAC;AAEX,MAAM,MAAM,wBAAwB,GAChC,SAAS,GACT,gBAAgB,GAChB,gBAAgB,CAAC;AACrB,MAAM,MAAM,2BAA2B,GACnC,UAAU,GACV,SAAS,GACT,YAAY,GACZ,gBAAgB,CAAC;AACrB,MAAM,MAAM,kBAAkB,GAC1B,iBAAiB,GACjB,qBAAqB,GACrB,mBAAmB,GACnB,aAAa,GACb,YAAY,GACZ,kBAAkB,CAAC;AAEvB,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,mBAAmB,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IAC9D,QAAQ,CAAC,UAAU,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAC1D,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC;CACtC;AAED,MAAM,MAAM,0BAA0B,GAClC;IACE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,mBAAmB,EAAE,sBAAsB,CAAC;IACrD,QAAQ,CAAC,KAAK,EAAE,2BAA2B,CAAC;IAC5C,QAAQ,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;IAClD,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CAClE,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,mBAAmB,EAAE,uBAAuB,CAAC;IACtD,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;IAC3C,QAAQ,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;IAClD,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IACjE,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;CACrE,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,mBAAmB,EACxB,sBAAsB,GACtB,uBAAuB,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CAClE,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,mBAAmB,EAAE,uBAAuB,CAAC;IACtD,QAAQ,CAAC,0BAA0B,EAAE;QACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;QAChC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;QAC3C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5C,GAAG,IAAI,CAAC;IACT,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CAClE,CAAC;AAEN,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,eAAe,EAAE,wBAAwB,CAAC;IACnD,QAAQ,CAAC,cAAc,EAAE,mBAAmB,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,mBAAmB,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAClE,QAAQ,CAAC,WAAW,EAAE,SAAS,0BAA0B,EAAE,CAAC;IAC5D,QAAQ,CAAC,OAAO,EAAE,SAAS;QACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;QAC5B,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,CAAC;QACzC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;KAChD,EAAE,CAAC;IACJ,QAAQ,CAAC,cAAc,EAAE;QACvB,QAAQ,CAAC,MAAM,EAAE,2BAA2B,CAAC;QAC7C,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;QAChD,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;QAChD,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;QAC/C,QAAQ,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;KACnD,CAAC;IACF,QAAQ,CAAC,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC9E,QAAQ,CAAC,iBAAiB,EAAE;QAC1B,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;QACzC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;KACtC,CAAC;CACH"}

package/dist/operations/semantic-advisor/types.js

@@ -0,0 +1 @@
+export {};

package/dist/prolog/codec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/prolog/codec.ts"],"names":[],"mappings":"AAUA;;;GAGG;AAEH;;;GAGG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGhD;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAMlD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CASpD;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGvD;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CA8C5D;AAED,wBAAgB,sBAAsB,CAEpC,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAoBzB;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAqB3E;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA8B3E;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CA8F5D;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAoD7E;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAGtE;AAqBD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAenD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAmBlE;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAoBzE;AAuDD;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,EAAE,CA6DjE"}
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/prolog/codec.ts"],"names":[],"mappings":"AAUA;;;GAGG;AAEH;;;GAGG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGhD;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAMlD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CASpD;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGvD;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CA8C5D;AAED,wBAAgB,sBAAsB,CAEpC,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAoBzB;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAqB3E;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAqC3E;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CA8F5D;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAoD7E;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAGtE;AAqBD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAenD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAmBlE;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAoBzE;AAuDD;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,EAAE,CA6DjE"}

package/dist/prolog/codec.js

@@ -138,7 +138,7 @@ export function parseEntityFromList(data) {
     return { ...props, id: normalizeEntityId(stripOuterQuotes(id)), type };
 }
 export function parsePropertyList(propsStr) {
-    // implements REQ-009
+    // implements REQ-009, REQ-skillopt-logical-evidence-fidelity
     const props = {};
     let cleaned = propsStr.trim();
     if (cleaned.startsWith("[")) {
@@ -158,7 +158,14 @@ export function parsePropertyList(propsStr) {
             continue;
         }
         const parsed = parsePrologValue(value);
-        props[key] = parsed;
+        if (!Object.hasOwn(props, key)) {
+            props[key] = parsed;
+            continue;
+        }
+        const existing = props[key];
+        props[key] = Array.isArray(existing)
+            ? [...existing, parsed]
+            : [existing, parsed];
     }
     return props;
 }

package/dist/prolog.d.ts

@@ -13,7 +13,10 @@ export declare class PrologProcess {
     private swiplPath;
     private timeout;
     private outputBuffer;
+    private outputBufferBytes;
+    private outputOverflowed;
     private errorBuffer;
+    private errorBufferBytes;
     private cache;
     private interactiveQueryTail;
     private terminationPromise;
@@ -32,6 +35,8 @@ export declare class PrologProcess {
     private execOneShot;
     private normalizeGoal;
     private clearQueryBuffers;
+    private appendOutputChunk;
+    private appendErrorChunk;
     private isProcessUsable;
     private extractBindings;
     private translateError;

package/dist/prolog.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prolog.d.ts","sourceRoot":"","sources":["../src/prolog.ts"],"names":[],"mappings":"AA4BA,wBAAgB,eAAe,IAAI,MAAM,CAsCxC;AACD,MAAM,WAAW,aAAa;IAC5B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,qBAAa,aAAa;IACxB,OAAO,CAAC,OAAO,CAA6B;IAC5C,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,YAAY,CAAM;IAC1B,OAAO,CAAC,WAAW,CAAM;IACzB,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,oBAAoB,CAAoC;IAChE,OAAO,CAAC,kBAAkB,CAA8B;IACxD,OAAO,CAAC,cAAc,CACyC;IAC/D,OAAO,CAAC,cAAc,CAAuB;IAC7C,OAAO,CAAC,aAAa,CAA6B;gBAEtC,OAAO,GAAE,aAAkB;IAKjC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;YAuCd,YAAY;IA2CpB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAyK1D,eAAe,IAAI,IAAI;IAIvB,OAAO,CAAC,eAAe;IAavB,OAAO,CAAC,cAAc;IAStB,OAAO,CAAC,kBAAkB;YAIZ,YAAY;IA2C1B,OAAO,CAAC,WAAW;IAsGnB,OAAO,CAAC,aAAa;IAIrB,OAAO,CAAC,iBAAiB;IAMzB,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,eAAe;IAkBvB,OAAO,CAAC,cAAc;IA6DtB,SAAS,IAAI,OAAO;IAMpB,MAAM,IAAI,MAAM;IAIV,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;CAwCjC"}
+{"version":3,"file":"prolog.d.ts","sourceRoot":"","sources":["../src/prolog.ts"],"names":[],"mappings":"AAgCA,wBAAgB,eAAe,IAAI,MAAM,CAsCxC;AACD,MAAM,WAAW,aAAa;IAC5B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,qBAAa,aAAa;IACxB,OAAO,CAAC,OAAO,CAA6B;IAC5C,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,YAAY,CAAM;IAC1B,OAAO,CAAC,iBAAiB,CAAK;IAC9B,OAAO,CAAC,gBAAgB,CAAS;IACjC,OAAO,CAAC,WAAW,CAAM;IACzB,OAAO,CAAC,gBAAgB,CAAK;IAC7B,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,oBAAoB,CAAoC;IAChE,OAAO,CAAC,kBAAkB,CAA8B;IACxD,OAAO,CAAC,cAAc,CACyC;IAC/D,OAAO,CAAC,cAAc,CAAuB;IAC7C,OAAO,CAAC,aAAa,CAA6B;gBAEtC,OAAO,GAAE,aAAkB;IAKjC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;YAuCd,YAAY;IAyCpB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAgL1D,eAAe,IAAI,IAAI;IAIvB,OAAO,CAAC,eAAe;IAavB,OAAO,CAAC,cAAc;IAStB,OAAO,CAAC,kBAAkB;YAIZ,YAAY;IA2C1B,OAAO,CAAC,WAAW;IA+GnB,OAAO,CAAC,aAAa;IAIrB,OAAO,CAAC,iBAAiB;IAQzB,OAAO,CAAC,iBAAiB;IAazB,OAAO,CAAC,gBAAgB;IAcxB,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,eAAe;IAkBvB,OAAO,CAAC,cAAc;IA6DtB,SAAS,IAAI,OAAO;IAMpB,MAAM,IAAI,MAAM;IAIV,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;CAwCjC"}

package/dist/prolog.js

@@ -22,6 +22,9 @@ import path from "node:path";
 import { fileURLToPath } from "node:url";
 import { getKbPlPathOverride, isPrologDebugEnabled } from "./env.js";
 const importMetaDir = path.dirname(fileURLToPath(import.meta.url));
+const PROLOG_OUTPUT_MAX_BUFFER_BYTES = 8 * 1024 * 1024;
+const PROLOG_OUTPUT_OVERFLOW_ERROR = "Query exceeded bounded Prolog output capacity (ENOBUFS); narrow the operation or reduce stored entity size";
+const INTERACTIVE_QUERY_FRAME_END = "__KIBI_QUERY_FRAME_END__";
 const require = createRequire(import.meta.url);
 export function resolveKbPlPath() {
     // implements REQ-009
@@ -64,7 +67,10 @@ export class PrologProcess {
     swiplPath;
     timeout;
     outputBuffer = "";
+    outputBufferBytes = 0;
+    outputOverflowed = false;
     errorBuffer = "";
+    errorBufferBytes = 0;
     cache = new Map();
     interactiveQueryTail = Promise.resolve();
     terminationPromise = null;
@@ -90,10 +96,10 @@ export class PrologProcess {
             throw new Error("Failed to spawn Prolog process");
         }
         this.process.stdout.on("data", (chunk) => {
-            this.outputBuffer += chunk.toString();
+            this.appendOutputChunk(chunk);
         });
         this.process.stderr.on("data", (chunk) => {
-            this.errorBuffer += chunk.toString();
+            this.appendErrorChunk(chunk);
         });
         this.process.stdin.write("true.\n");
         if (!this.onProcessExit) {
@@ -118,8 +124,7 @@ export class PrologProcess {
                 throw new Error(`Failed to load kb module: ${this.translateError(this.errorBuffer)}`);
             }
             if (this.outputBuffer.includes("true.")) {
-                this.outputBuffer = "";
-                this.errorBuffer = "";
+                this.clearQueryBuffers();
                 return;
             }
             // brief pause
@@ -130,8 +135,7 @@ export class PrologProcess {
         if (this.errorBuffer.includes("ERROR")) {
             throw new Error(`Failed to load kb module: ${this.translateError(this.errorBuffer)}`);
         }
-        this.outputBuffer = "";
-        this.errorBuffer = "";
+        this.clearQueryBuffers();
     }
     // implements REQ-core-prolog-process-management
     async query(goal) {
@@ -172,7 +176,7 @@ export class PrologProcess {
             if (debug) {
                 console.error(`[prolog debug] start query: ${normalizedGoal}`);
             }
-            this.process?.stdin?.write(`${wrappedGoal}.\n`);
+            this.process?.stdin?.write(`${wrappedGoal}.\nwriteln('${INTERACTIVE_QUERY_FRAME_END}').\n`);
             return new Promise((resolve, reject) => {
                 let settled = false;
                 const timeoutId = setTimeout(() => {
@@ -193,6 +197,28 @@ export class PrologProcess {
                     if (settled) {
                         return;
                     }
+                    if (this.outputOverflowed) {
+                        clearTimeout(timeoutId);
+                        settled = true;
+                        void this.terminate().finally(() => {
+                            resolve({
+                                success: false,
+                                bindings: {},
+                                error: PROLOG_OUTPUT_OVERFLOW_ERROR,
+                            });
+                        });
+                        return;
+                    }
+                    if (!this.isProcessUsable()) {
+                        clearTimeout(timeoutId);
+                        settled = true;
+                        resolve({
+                            success: false,
+                            bindings: {},
+                            error: "Query interrupted because the Prolog process terminated",
+                        });
+                        return;
+                    }
                     if (this.errorBuffer.length > 0 &&
                         this.errorBuffer.includes("ERROR")) {
                         clearTimeout(timeoutId);
@@ -207,14 +233,22 @@ export class PrologProcess {
                         });
                         return;
                     }
-                    if (this.outputBuffer.includes("true.") ||
-                        this.outputBuffer.match(/^[A-Z_][A-Za-z0-9_]*\s*=\s*.+\./m) ||
-                        this.outputBuffer.match(/\]\s*$/m)) {
+                    const frameEnd = this.outputBuffer.indexOf(INTERACTIVE_QUERY_FRAME_END);
+                    if (frameEnd >= 0) {
                         clearTimeout(timeoutId);
                         settled = true;
+                        const framedOutput = this.outputBuffer.slice(0, frameEnd).trimEnd();
+                        if (/(?:^|\n)(?:false|fail)\.\s*$/.test(framedOutput)) {
+                            resolve({
+                                success: false,
+                                bindings: {},
+                                error: "Query failed",
+                            });
+                            return;
+                        }
                         const result = {
                             success: true,
-                            bindings: this.extractBindings(this.outputBuffer),
+                            bindings: this.extractBindings(framedOutput),
                         };
                         // Treat any batch/compound goal as non-cacheable to preserve
                         // read-after-write consistency. A batch goal is produced when
@@ -234,25 +268,6 @@ export class PrologProcess {
                         resolve(result);
                         return;
                     }
-                    if (this.outputBuffer.includes("false.") ||
-                        this.outputBuffer.includes("fail.")) {
-                        clearTimeout(timeoutId);
-                        settled = true;
-                        if (debug) {
-                            console.error(`[prolog debug] query failed (false): ${normalizedGoal}`);
-                        }
-                        // Check errorBuffer first — Prolog catch/3 writes ERROR to stderr
-                        // then fail to stdout. If stderr has the real error, surface it.
-                        const errorMessage = this.errorBuffer.length > 0 && this.errorBuffer.includes("ERROR")
-                            ? this.translateError(this.errorBuffer)
-                            : "Query failed";
-                        resolve({
-                            success: false,
-                            bindings: {},
-                            error: errorMessage,
-                        });
-                        return;
-                    }
                     setTimeout(checkResult, 50);
                 };
                 checkResult();
@@ -369,6 +384,7 @@ export class PrologProcess {
         const result = spawnSync(this.swiplPath, ["-q", "-g", prologGoal, "-t", "halt"], {
             encoding: "utf8",
             timeout: this.timeout,
+            maxBuffer: PROLOG_OUTPUT_MAX_BUFFER_BYTES,
             env: {
                 ...process.env,
                 KIBI_GOAL: combinedGoal,
@@ -382,6 +398,13 @@ export class PrologProcess {
                 result.error.message.includes("ETIMEDOUT"))) {
             throw new Error(`Query timeout after ${this.timeout / 1000}s`);
         }
+        if (result.error?.message.includes("ENOBUFS")) {
+            return {
+                success: false,
+                bindings: {},
+                error: PROLOG_OUTPUT_OVERFLOW_ERROR,
+            };
+        }
         const stdout = result.stdout ?? "";
         const stderr = result.stderr ?? "";
         if (stderr.includes("ERROR")) {
@@ -419,7 +442,36 @@ export class PrologProcess {
     }
     clearQueryBuffers() {
         this.outputBuffer = "";
+        this.outputBufferBytes = 0;
+        this.outputOverflowed = false;
         this.errorBuffer = "";
+        this.errorBufferBytes = 0;
+    }
+    appendOutputChunk(chunk) {
+        if (this.outputOverflowed)
+            return;
+        const remaining = PROLOG_OUTPUT_MAX_BUFFER_BYTES - this.outputBufferBytes;
+        if (chunk.byteLength > remaining) {
+            this.outputBuffer += chunk.subarray(0, remaining).toString();
+            this.outputBufferBytes = PROLOG_OUTPUT_MAX_BUFFER_BYTES;
+            this.outputOverflowed = true;
+            return;
+        }
+        this.outputBuffer += chunk.toString();
+        this.outputBufferBytes += chunk.byteLength;
+    }
+    appendErrorChunk(chunk) {
+        if (this.outputOverflowed)
+            return;
+        const remaining = PROLOG_OUTPUT_MAX_BUFFER_BYTES - this.errorBufferBytes;
+        if (chunk.byteLength > remaining) {
+            this.errorBuffer += chunk.subarray(0, remaining).toString();
+            this.errorBufferBytes = PROLOG_OUTPUT_MAX_BUFFER_BYTES;
+            this.outputOverflowed = true;
+            return;
+        }
+        this.errorBuffer += chunk.toString();
+        this.errorBufferBytes += chunk.byteLength;
     }
     // implements REQ-009
     isProcessUsable() {

package/dist/public/impact/diagnostics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../../src/public/impact/diagnostics.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAWrF,OAAO,KAAK,EACV,iBAAiB,EACjB,gCAAgC,EAChC,mCAAmC,EACpC,MAAM,YAAY,CAAC;AAoFpB,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,mCAAmC,GAC3C,oBAAoB,EAAE,CA+CxB;AAED,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,gCAAgC,GACxC,oBAAoB,EAAE,CAsBxB;AAED,wBAAgB,4BAA4B,CAC1C,WAAW,EAAE,SAAS,oBAAoB,EAAE,GAC3C,OAAO,CAET;AAED,wBAAgB,6BAA6B,CAC3C,WAAW,EAAE,SAAS,iBAAiB,EAAE,GACxC,OAAO,CAIT"}
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../../src/public/impact/diagnostics.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAWrF,OAAO,KAAK,EACV,iBAAiB,EACjB,gCAAgC,EAChC,mCAAmC,EACpC,MAAM,YAAY,CAAC;AA2FpB,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,mCAAmC,GAC3C,oBAAoB,EAAE,CA+CxB;AAED,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,gCAAgC,GACxC,oBAAoB,EAAE,CAsBxB;AAED,wBAAgB,4BAA4B,CAC1C,WAAW,EAAE,SAAS,oBAAoB,EAAE,GAC3C,OAAO,CAET;AAED,wBAAgB,6BAA6B,CAC3C,WAAW,EAAE,SAAS,iBAAiB,EAAE,GACxC,OAAO,CAIT"}

package/dist/public/impact/diagnostics.js

@@ -38,8 +38,12 @@ function readSourceSymbols(sourceFile, sourceContentByFile, workspaceRoot) {
     });
 }
 function getGranularSymbolsForSourceFile(sourceFile, options) {
-    return (options.symbolsByFile.get(sourceFile) ??
-        readSourceSymbols(sourceFile, options.sourceContentByFile, options.workspaceRoot ?? process.cwd()));
+    const sourceSymbols = readSourceSymbols(sourceFile, options.sourceContentByFile, options.workspaceRoot ?? process.cwd());
+    const changedSymbols = options.symbolsByFile.get(sourceFile);
+    return {
+        candidateSymbols: changedSymbols ?? sourceSymbols,
+        sourceSymbols: sourceSymbols.length > 0 ? sourceSymbols : (changedSymbols ?? []),
+    };
 }
 function formatRelationshipTargets(symbol) {
     const targets = [
@@ -69,8 +73,8 @@ export function createSymbolGranularityDiagnostics(options) {
             continue;
         if (hasValidGranularityReason(result))
             continue;
-        const granularSymbols = getGranularSymbolsForSourceFile(result.sourceFile, options);
-        const narrowerSymbols = granularSymbols.filter((symbol) => isNarrowerSymbol(result.entity.title, symbol, granularSymbols));
+        const { candidateSymbols, sourceSymbols } = getGranularSymbolsForSourceFile(result.sourceFile, options);
+        const narrowerSymbols = candidateSymbols.filter((symbol) => isNarrowerSymbol(result.entity.title, symbol, sourceSymbols));
         if (narrowerSymbols.length === 0)
             continue;
         const behavioralNames = getBehavioralSymbolNames(narrowerSymbols);

package/dist/public/impact/full-kb-quality.d.ts

@@ -1,7 +1,7 @@
 import type { PrologProcess } from "../../prolog.js";
 import type { QualityDiagnostic } from "./types.js";
 type FullKbQualityDiagnosticsOptions = {
-    readonly prolog: PrologProcess;
+    readonly prolog: Pick<PrologProcess, "query">;
     readonly hardViolationEntityIds?: ReadonlySet<string>;
     readonly maxDiagnostics?: number;
 };

package/dist/public/impact/full-kb-quality.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"full-kb-quality.d.ts","sourceRoot":"","sources":["../../../src/public/impact/full-kb-quality.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AASrD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAqBpD,KAAK,+BAA+B,GAAG;IACrC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,sBAAsB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtD,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC,CAAC;AA+IF,wBAAsB,+BAA+B,CACnD,OAAO,EAAE,+BAA+B,GACvC,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CAmBvC"}
+{"version":3,"file":"full-kb-quality.d.ts","sourceRoot":"","sources":["../../../src/public/impact/full-kb-quality.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AASrD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAqBpD,KAAK,+BAA+B,GAAG;IACrC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IAC9C,QAAQ,CAAC,sBAAsB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtD,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC,CAAC;AA0KF,wBAAsB,+BAA+B,CACnD,OAAO,EAAE,+BAA+B,GACvC,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CAmBvC"}

package/dist/public/impact/full-kb-quality.js

@@ -63,6 +63,9 @@ function toExtractedEntity(entity) {
     const textRef = optionalStringField(entity, "text_ref");
     if (textRef !== undefined)
         extracted.text_ref = textRef;
+    const logicClaims = optionalStringArrayField(entity, "logic_claims");
+    if (logicClaims !== undefined)
+        extracted.logic_claims = logicClaims;
     const granularityReason = optionalStringField(entity, "granularity_reason");
     if (granularityReason !== undefined) {
         extracted.granularity_reason = granularityReason;
@@ -95,9 +98,39 @@ function toExtractedEntity(entity) {
     if (factKind === "subject" ||
         factKind === "property_value" ||
         factKind === "observation" ||
-        factKind === "meta") {
+        factKind === "meta" ||
+        factKind === "predicate_schema" ||
+        factKind === "predicate") {
         extracted.fact_kind = factKind;
     }
+    const claimKey = optionalStringField(entity, "claim_key");
+    if (claimKey !== undefined)
+        extracted.claim_key = claimKey;
+    const claimText = optionalStringField(entity, "claim_text");
+    if (claimText !== undefined)
+        extracted.claim_text = claimText;
+    const predicateName = optionalStringField(entity, "predicate_name");
+    if (predicateName !== undefined)
+        extracted.predicate_name = predicateName;
+    const predicateNamespace = optionalStringField(entity, "predicate_namespace");
+    if (predicateNamespace !== undefined) {
+        extracted.predicate_namespace = predicateNamespace;
+    }
+    const predicateArity = optionalNumberField(entity, "predicate_arity");
+    if (predicateArity !== undefined)
+        extracted.predicate_arity = predicateArity;
+    for (const field of [
+        "argument_names",
+        "argument_types",
+        "argument_descriptions",
+        "aliases",
+        "examples",
+        "predicate_args",
+    ]) {
+        const values = optionalStringArrayField(entity, field);
+        if (values !== undefined)
+            extracted[field] = values;
+    }
     return extracted;
 }
 function sourceFileFor(entity) {

package/dist/public/impact/requirement-quality.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"requirement-quality.d.ts","sourceRoot":"","sources":["../../../src/public/impact/requirement-quality.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AACrF,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,YAAY,CAAC;AA+QvE,wBAAgB,mCAAmC,CACjD,OAAO,EAAE,oCAAoC,GAC5C,oBAAoB,EAAE,CAMxB"}
+{"version":3,"file":"requirement-quality.d.ts","sourceRoot":"","sources":["../../../src/public/impact/requirement-quality.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AACrF,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,YAAY,CAAC;AA2PvE,wBAAgB,mCAAmC,CACjD,OAAO,EAAE,oCAAoC,GAC5C,oBAAoB,EAAE,CAMxB"}