checkConsistent

TODO.md

@@ -1,11 +1,11 @@
-`MergeConflict` 移至 `merge-conflict/` -- 正与 `nothing/` 相同
-
 `barometer-belief.test` -- 在测试中增加书中的叙述 -- 与对 belief-system 的测试相同
 
 # 4.3 Dependencies Explain Contradictions
 
 > https://github.com/cicada-lang/propagator/issues/9
 
+`MergeConflict` 移至 `merge-conflict/` -- 正与 `nothing/` 相同
+
 # 4.4 Dependencies Improve Search
 
 > https://github.com/cicada-lang/propagator/issues/4

src/belief-system/beliefSystemMerge.ts

@@ -2,6 +2,7 @@ import { type MergeConflict } from "../merge/index.js"
 import { assimilateBelief } from "./assimilateBelief.js"
 import { assimilateBeliefSystem } from "./assimilateBeliefSystem.js"
 import { BeliefSystem } from "./BeliefSystem.js"
+import { checkConsistent } from "./checkConsistent.js"
 import { strongestBelief } from "./strongestBelief.js"
 
 // Asking the belief system to deduce all the consequences of all its
@@ -16,5 +17,6 @@ export function beliefSystemMerge<A, B>(
 ): BeliefSystem<A | B> | MergeConflict {
   const candidate = assimilateBeliefSystem(content, increment)
   const consequence = strongestBelief(candidate.beliefs)
+  checkConsistent(consequence)
   return assimilateBelief(candidate, consequence)
 }

src/belief-system/beliefSystemQuery.ts

@@ -1,7 +1,8 @@
-import type { Belief } from "../belief/index.js"
+import { type Belief } from "../belief/index.js"
 import type { Nothing } from "../nothing/Nothing.js"
 import type { BeliefSystem } from "./BeliefSystem.js"
 import { assimilateBelief } from "./assimilateBelief.js"
+import { checkConsistent } from "./checkConsistent.js"
 import { strongestBelief } from "./strongestBelief.js"
 
 export function beliefSystemQuery<A>(
@@ -13,5 +14,6 @@ export function beliefSystemQuery<A>(
     beliefSystem.beliefs = betterBeliefSystem.beliefs
   }
 
+  checkConsistent(answer)
   return answer
 }

src/belief-system/checkConsistent.ts

@@ -0,0 +1,12 @@
+import { detectMergeConflict } from "../merge/detectMergeConflict.js"
+import { clearScheduledPropagators } from "../scheduler/schedule.js"
+import { log } from "../utils/log.js"
+
+export function checkConsistent(value: any): void {
+  if (detectMergeConflict(value)) {
+    const who = "checkConsistent"
+    const message = "inconsistent value"
+    log({ who, message, value })
+    clearScheduledPropagators()
+  }
+}

src/belief/beliefCheckConsistent.ts

@@ -0,0 +1,13 @@
+import { detectMergeConflict } from "../merge/detectMergeConflict.js"
+import { clearScheduledPropagators } from "../scheduler/schedule.js"
+import { log } from "../utils/log.js"
+import type { Belief } from "./Belief.js"
+
+export function beliefCheckConsistent<A>(belief: Belief<A>): void {
+  if (detectMergeConflict(belief)) {
+    const who = "beliefCheckConsistent"
+    const message = "inconsistent belief"
+    log({ who, message, belief })
+    clearScheduledPropagators()
+  }
+}

src/belief/index.ts

@@ -1,3 +1,4 @@
 export * from "./Belief.js"
+export * from "./beliefCheckConsistent.js"
 export * from "./beliefEqual.js"
 export * from "./beliefMerge.js"