kibi-core 0.15.1 → 0.16.0

package/package.json

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

package/schema/validation.pl

@@ -225,15 +225,27 @@ valid_strict_polarity_in_props(Props) :-
 valid_predicate_polarity_in_props(Props) :-
     ( memberchk(polarity=P, Props) -> valid_predicate_polarity(P) ; true ).
 
-% claim_key and claim_text form one auditable provenance pair.
+% claim_key and claim_text form one auditable provenance pair. An observation
+% or meta fact is a non-grounding review note: it may quote the claim it is
+% about in claim_text without claiming that claim's key.
 valid_claim_provenance(Props) :-
     (   memberchk(claim_key=Key, Props)
     ->  memberchk(claim_text=Text, Props),
         nonempty_claim_value(Key),
         nonempty_claim_value(Text)
-    ;   \+ memberchk(claim_text=_, Props)
+    ;   memberchk(claim_text=Text, Props)
+    ->  review_note_fact(Props),
+        nonempty_claim_value(Text)
+    ;   true
     ).
 
+review_note_fact(Props) :-
+    memberchk(fact_kind=RawKind, Props),
+    (   atom(RawKind) -> Kind = RawKind
+    ;   string(RawKind) -> atom_string(Kind, RawKind)
+    ),
+    memberchk(Kind, [observation, meta]).
+
 nonempty_claim_value(Value) :- string(Value), Value \= "", !.
 nonempty_claim_value(Value) :- atom(Value), Value \= '', !.
 

package/src/rule_registry.pl

@@ -55,6 +55,8 @@ known_rule('symbol-owner-superseded').
 known_rule('adr-unlinked').
 known_rule('adr-proposed').
 known_rule('predicate-schema-conformance').
+known_rule('entity-context-missing').
+known_rule('entity-context-acknowledged').
 
 rule_enforcement_class('must-priority-coverage', canonical).
 rule_enforcement_class('symbol-coverage', canonical).
@@ -97,6 +99,8 @@ rule_enforcement_class('symbol-owner-superseded', advisory).
 rule_enforcement_class('adr-unlinked', advisory).
 rule_enforcement_class('adr-proposed', advisory).
 rule_enforcement_class('predicate-schema-conformance', advisory).
+rule_enforcement_class('entity-context-missing', canonical).
+rule_enforcement_class('entity-context-acknowledged', advisory).
 
 rule_implementation('must-priority-coverage', prolog).
 rule_implementation('symbol-coverage', prolog).
@@ -139,6 +143,8 @@ rule_implementation('symbol-owner-superseded', prolog).
 rule_implementation('adr-unlinked', prolog).
 rule_implementation('adr-proposed', prolog).
 rule_implementation('predicate-schema-conformance', typescript).
+rule_implementation('entity-context-missing', typescript).
+rule_implementation('entity-context-acknowledged', typescript).
 
 rule_predicate('must-priority-coverage', check_must_priority_coverage).
 rule_predicate('symbol-coverage', check_symbol_coverage).
@@ -249,3 +255,5 @@ rule_description('symbol-owner-superseded', 'Advisory: a symbol whose every impl
 rule_description('adr-unlinked', 'Advisory: an accepted ADR that no requirement or other ADR is linked with (relates_to, supersedes or any typed edge, in either direction)').
 rule_description('adr-proposed', 'Informational: an ADR that is still proposed and not superseded, so nobody accepted or withdrew the decision').
 rule_description('predicate-schema-conformance', 'Predicate facts match a predicate_schema (project-local, or the built-in catalog in the default namespace) and use its declared argument constants').
+rule_description('entity-context-missing', 'A current requirement, scenario, test, ADR or observation/meta fact must carry body context: at least 12 words of prose (requirements: under a Context, Rationale, Why, Background, Source, Notes or Evidence heading) that do not restate the title or semantic_text; entities tagged review:context-missing are acknowledged legacy and exempt').
+rule_description('entity-context-acknowledged', 'Informational: how many current entities carry the review:context-missing tag, so the legacy context backlog stays visible; one summary finding per check').