kibi-core 0.14.0 → 0.14.1

package/package.json

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

package/src/kb.pl

@@ -288,15 +288,16 @@ kb_write_lock_owner(Directory) :-
     ;   BootId = ""
     ),
     get_time(Now),
-    format_time(atom(StartedAt), '%FT%TZ', Now),
+    stamp_date_time(Now, NowUTC, 'UTC'),
+    format_time(atom(StartedAt), '%FT%TZ', NowUTC),
     atom_concat(Path, '.tmp', TmpPath),
     setup_call_cleanup(
         open(TmpPath, write, Stream),
         json_write_dict(Stream,
-                        json([pid:Pid,
-                              workspaceRoot:Directory,
-                              bootId:BootId,
-                              startedAt:StartedAt]),
+                        _{pid:Pid,
+                          workspaceRoot:Directory,
+                          bootId:BootId,
+                          startedAt:StartedAt},
                         []),
         (close(Stream), rename_file(TmpPath, Path))).
 

package/src/requirement_proof.pl

@@ -939,10 +939,10 @@ receipt_for_current_mode(TestId, Context, Receipts, SnapshotReceipts) :-
     (   Context.proofBindingMode == per_contract,
         get_dict(TestId, Context.proofTestBindings, CurrentBinding)
     ->  include(receipt_with_binding_hash, Receipts, BoundReceipts),
-        include(receipt_for_binding(CurrentBinding), BoundReceipts, SnapshotReceipts),
-        (   SnapshotReceipts == []
+        include(receipt_for_binding(CurrentBinding), BoundReceipts, BindingReceipts),
+        (   BindingReceipts == []
         ->  include(receipt_for_snapshot(Context.proofSnapshot), Receipts, SnapshotReceipts)
-        ;   true
+        ;   SnapshotReceipts = BindingReceipts
         )
     ;   include(receipt_for_snapshot(Context.proofSnapshot), Receipts, SnapshotReceipts)
     ).

package/src/status.pl

@@ -99,7 +99,8 @@ synced_at(DataFile, SyncedAt) :-
     exists_file(DataFile),
     !,
     time_file(DataFile, Timestamp),
-    format_time(atom(SyncedAt), '%FT%TZ', Timestamp).
+    stamp_date_time(Timestamp, TimestampUTC, 'UTC'),
+    format_time(atom(SyncedAt), '%FT%TZ', TimestampUTC).
 % Before the first successful sync there is no kb.rdf, so the public JSON contract must expose syncedAt: null.
 synced_at(_, null).
 
@@ -263,6 +264,7 @@ directory_tree_newer(Path, SnapshotTime) :-
     !.
 
 directory_tree_newer(Path, SnapshotTime) :-
+    \+ ignored_documentation_file(Path),
     exists_directory(Path),
     directory_files(Path, Entries),
     member(Entry, Entries),
@@ -275,6 +277,7 @@ directory_tree_newer(Path, SnapshotTime) :-
 directory_tree_newer_path(Path, SnapshotTime, Path) :-
     newer_entity_documentation_file(Path, SnapshotTime).
 directory_tree_newer_path(Path, SnapshotTime, ChildPath) :-
+    \+ ignored_documentation_file(Path),
     exists_directory(Path),
     directory_files(Path, Entries),
     member(Entry, Entries),
@@ -377,8 +380,12 @@ ignored_documentation_file(Path) :-
     file_base_name(Path, 'README.md').
 ignored_documentation_file(Path) :-
     sub_atom(Path, _, _, _, '/tests/e2e/').
+ignored_documentation_file(Path) :-
+    sub_atom(Path, _, _, 0, '/tests/e2e').
 ignored_documentation_file(Path) :-
     sub_atom(Path, _, _, _, '/tests/benchmarks/').
+ignored_documentation_file(Path) :-
+    sub_atom(Path, _, _, 0, '/tests/benchmarks').
 
 %% newer_entity_documentation_file(+Path, +SnapshotTime) is semidet.
 % Cheap path and mtime tests run before the file is read, and the content
@@ -395,6 +402,8 @@ newer_entity_documentation_file(Path, SnapshotTime) :-
 entity_documentation_file(Path) :-
     read_file_to_string(Path, Content, []),
     sub_string(Content, 0, 3, _, "---"),
+    % These are existence checks, not generators. Repeated metadata examples
+    % must not multiply freshness reasons or cause Cartesian backtracking.
     once(sub_string(Content, _, _, _, "id:")),
     once(sub_string(Content, _, _, _, "title:")),
     once(sub_string(Content, _, _, _, "status:")).