kibi-core 0.22.0 → 0.22.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-core",
-  "version": "0.22.0",
+  "version": "0.22.1",
   "private": false,
   "description": "Core Prolog modules and RDF graph logic for Kibi",
   "type": "module",

package/src/kb.pl

@@ -2466,12 +2466,36 @@ coverage_gap(Req, missing_test) :-
     has_scenario(Req),
     \+ has_test(Req).
 
+% implements REQ-core-validation-rules
+% Only a current must-priority requirement owes scenario and test coverage.
 must_requirement(Req) :-
     kb_entity(Req, req, Props),
     memberchk(priority=Priority, Props),
     normalize_term_atom(Priority, PriorityAtom),
     atom_string(PriorityAtom, PriorityStr),
-    sub_string(PriorityStr, _, 4, 0, "must").
+    sub_string(PriorityStr, _, 4, 0, "must"),
+    coverage_current_requirement(Req, Props).
+
+%% coverage_current_requirement(+Req, +Props)
+% A requirement is still owed coverage unless it is retired: superseded by
+% another requirement (the target of `supersedes`), carrying a retired status,
+% or `closed` without the `implemented` tag (a closed requirement is retired
+% work unless it records that it was implemented, the same rule the
+% coverage-depth review applies).  A requirement without a status keeps the
+% obligation.
+coverage_current_requirement(Req, Props) :-
+    \+ kb_relationship(supersedes, _, Req),
+    (   memberchk(status=RawStatus, Props)
+    ->  normalize_term_atom(RawStatus, Status)
+    ;   Status = missing
+    ),
+    \+ memberchk(Status, [deprecated, superseded, archived, removed, deleted, rejected]),
+    (   Status == closed
+    ->  memberchk(tags=RawTags, Props),
+        normalize_term_atom_list(RawTags, Tags),
+        memberchk(implemented, Tags)
+    ;   true
+    ).
 
 has_scenario(Req) :-
     once(kb_relationship(specified_by, Req, _)).

package/src/rule_registry.pl

@@ -243,7 +243,7 @@ rule_predicate_arity('symbol-owner-superseded', 1).
 rule_predicate_arity('adr-unlinked', 1).
 rule_predicate_arity('adr-proposed', 1).
 
-rule_description('must-priority-coverage', 'Every must-priority requirement must have a scenario and a test').
+rule_description('must-priority-coverage', 'Every current must-priority requirement (not superseded, retired, or closed without the implemented tag) must have a scenario and a test').
 rule_description('symbol-coverage', 'Production symbols need qualifying coverage via covered_by plus a canonical requirement/scenario test path').
 rule_description('symbol-traceability', 'Production symbols must directly implement requirements for ownership; covered_by is coverage only and executable_for is test identity only').
 rule_description('symbol-granularity', 'A symbol with traceability relationships must not link its source file coarsely while narrower behavioral symbols are available, unless it carries an allowed granularity_reason; the staged gate\'s symbol_granularity_violation evaluated KB-wide').