Knowledge base: withdraw a clause's changed mark when its changing record's accepted links drop it, on every judgement and by a tool (stale marks)

2026-10-26 11:22:12 +01:00
parent c51a46b802
commit 447e6a13cd
6 changed files with 175 additions and 3 deletions
@@ -58,7 +58,8 @@
  ],
  "tools": [
    "knowledge_health",
-    "knowledge_highest"
+    "knowledge_highest",
+    "knowledge_marks"
  ],
  "emits": [
    "reserved",