kibi-cli 0.14.0 → 0.16.1

package/dist/public/impact/requirement-quality.js

@@ -21,16 +21,6 @@ const BROAD_REQUIREMENT_THRESHOLDS = {
     tests: 8,
     dependentRequirements: 5,
 };
-const NORMATIVE_INDICATOR_PATTERNS = [
-    ["must", /\bmust\b/i],
-    ["only", /\bonly\b/i],
-    ["never", /\bnever\b/i],
-    ["limit", /\blimits?\b/i],
-    ["minimum", /\bminimum\b/i],
-    ["maximum", /\bmaximum\b/i],
-    ["at least", /\bat\s+least\b/i],
-    ["at most", /\bat\s+most\b/i],
-];
 function isRequirement(result) {
     return result.entity.type === "req";
 }
@@ -172,24 +162,18 @@ function strictRelationshipTypes(result) {
         .filter((relationship) => STRICT_RELATIONSHIP_TYPES.has(relationship.type))
         .map((relationship) => relationship.type));
 }
-function matchedNormativeIndicators(text) {
-    return NORMATIVE_INDICATOR_PATTERNS.filter((entry) => entry[1].test(text)).map((entry) => entry[0]);
-}
-function createStrictFactModelingDiagnostics(options) {
+function createLogicalCoverageDiagnostics(options) {
     return options.manifestResults.flatMap((result) => {
         if (!isCurrentRequirement(result))
             return [];
         if (options.hardViolationEntityIds?.has(result.entity.id))
             return [];
         const relationshipTypes = strictRelationshipTypes(result);
-        if (relationshipTypes.length > 0)
-            return [];
-        const indicators = matchedNormativeIndicators(result.entity.title);
-        if (indicators.length === 0)
+        if ((result.entity.logic_claims?.length ?? 0) > 0)
             return [];
         return [
             {
-                id: "strict_fact_modeling_review",
+                id: "logical_coverage_review",
                 severity: "review",
                 blocking: false,
                 category: "fact",
@@ -197,10 +181,9 @@ function createStrictFactModelingDiagnostics(options) {
                 source: result.entity.source,
                 files: [result.entity.source],
                 docs: ["docs/modeling-cheatsheet.md", "docs/error-reference.md"],
-                message: `Requirement ${result.entity.id} contains normative prose but has no strict fact or predicate relationship.`,
-                suggestion: "Use kb_model_requirement for strict property facts, or kb_suggest_predicates when the claim fits a predicate schema.",
+                message: `Current requirement ${result.entity.id} has no atomic logic_claims manifest, so prose and existing fact links cannot prove complete logical coverage.`,
+                suggestion: "Call kb_semantic_advisor with the complete requirement prose and atomic clauses, ground each returned claim key through kb_model_requirement or kb_suggest_predicates, and persist all keys in logic_claims.",
                 evidence: {
-                    matchedIndicators: indicators,
                     strictRelationshipTypes: relationshipTypes,
                 },
             },
@@ -211,6 +194,6 @@ export function createRequirementQualityDiagnostics(options) {
     return [
         ...createBroadRequirementDiagnostics(options.manifestResults),
         ...createRequirementStatusDiagnostics(options.manifestResults),
-        ...createStrictFactModelingDiagnostics(options),
+        ...createLogicalCoverageDiagnostics(options),
     ];
 }