kibi-core 0.15.0 → 0.15.1

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.1",
   "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/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),