kibi-core 0.15.0 → 0.15.2

package/README.md

@@ -0,0 +1,21 @@
+# kibi-core
+
+The Prolog knowledge-base core of [Kibi](https://looted.github.io/kibi/): the entity and relationship schema, validation rules, inference, contradiction and proof checks that `kibi-cli` and `kibi-mcp` run against a repository's `.kb/` directory.
+
+This package ships Prolog sources only (`src/kb.pl` is the entry module). You do not call it directly; install it with the CLI and MCP server:
+
+```bash
+npm install --save-dev kibi-core kibi-cli kibi-mcp
+```
+
+The [entity schema](https://looted.github.io/kibi/reference/entity-schema.html) and [inference rules](https://looted.github.io/kibi/reference/inference-rules.html) references describe what it encodes.
+
+## Links
+
+- [Documentation](https://looted.github.io/kibi/)
+- [Source](https://github.com/Looted/kibi)
+- [Issues](https://github.com/Looted/kibi/issues)
+
+## License
+
+AGPL-3.0-or-later

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-core",
-  "version": "0.15.0",
+  "version": "0.15.2",
   "private": false,
   "description": "Core Prolog modules and RDF graph logic for Kibi",
   "type": "module",
@@ -8,14 +8,16 @@
     "node": ">=18"
   },
   "main": "./src/kb.pl",
-  "files": [
-    "src/**/*.pl",
-    "schema/**/*.pl"
-  ],
+  "files": ["src/**/*.pl", "schema/**/*.pl"],
   "license": "AGPL-3.0-or-later",
   "author": "Piotr Franczyk",
+  "homepage": "https://looted.github.io/kibi/",
   "repository": {
     "type": "git",
-    "url": "https://github.com/Looted/kibi.git"
+    "url": "https://github.com/Looted/kibi.git",
+    "directory": "packages/core"
+  },
+  "bugs": {
+    "url": "https://github.com/Looted/kibi/issues"
   }
 }

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/kb.pl

@@ -26,6 +26,7 @@
     kb_query_entities/8,
     kb_search_entities/6,
     kb_list_search_candidates/5,
+    kb_list_search_candidates/6,
     kb_entity_ids/1,
     kb_rebuild_indexes/0,
     kb_entity/3,
@@ -1816,14 +1817,22 @@ kb_search_entities(TypeFilter, Query, Limit, Offset, Rows, Count) :-
 % candidate rows, ordered by id. Semantic discovery uses it when no lexical
 % token can pre-filter the candidate set.
 kb_list_search_candidates(TypeFilter, Limit, Offset, Rows, Count) :-
+    kb_list_search_candidates(TypeFilter, none, Limit, Offset, Rows, Count).
+
+%% kb_list_search_candidates(+Type, +Source, +Limit, +Offset, -Rows, -Count)
+% As kb_list_search_candidates/5, optionally restricted to entities whose
+% indexed source contains Source (the kb_query_entities/8 source filter).
+% Source-located search uses it so candidates stay projected rows instead of
+% complete entities.
+% implements REQ-mcp-search-discovery, REQ-kibi-intent-aware-source-discovery
+kb_list_search_candidates(TypeFilter, SourceFilter, Limit, Offset, Rows, Count) :-
     integer(Limit),
     integer(Offset),
     Limit >= 0,
     Offset >= 0,
     kb_ensure_indexes,
     findall(Id,
-            ( kb_index_entity(Id, _),
-              (TypeFilter == none -> true ; kb_index_type(TypeFilter, Id)) ),
+            indexed_entity_match(TypeFilter, none, [], SourceFilter, Id),
             RawIds),
     sort(RawIds, Ids),
     length(Ids, Count),

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').