Download Latest Version Release 4.2.0 source code.zip (297.6 kB) Google Add to Preferred Sources
Home / v4.1.0
Name Modified Size InfoDownloads / Week
Parent folder
README.md 2026-07-03 733 Bytes
Release 4.1.0_ Full Dempster-Shafer Algebra source code.tar.gz 2026-07-03 188.6 kB
Release 4.1.0_ Full Dempster-Shafer Algebra source code.zip 2026-07-03 287.7 kB
Totals: 3 Items   477.1 kB 0

What shipps in 4.1.0

  • Dempster-Shafer, for real: replaced the noisy-OR (which was silently identical to CF) with genuine Dempster's rule of combination on the {H, ¬H} frame — conflict-K renormalization, disconfirming evidence, plausibility that actually drops below 1.0.
  • 18-rule MYCIN base with three disconfirming rules; fixed a DS crash on numeric beliefs; hardened the driver for parallel-tool models and fixed an invalid default model id.
  • A captured live transcript (docs/sample-session-ds-conflict.md) proving it end-to-end, with numbers matching the engine and Claude narrating the CF-vs-DS distinction.
  • All findings from a high-effort code review verified (one refuted as a false positive) and fixed.
Source: README.md, updated 2026-07-03