| Name | Modified | Size | Downloads / 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.