I'm behind on the implementation, I'm writing about It because the math checksout ... you can read about it #ecai the equations are pretty basic ...
you can follow the code on https://github.com/damagebdd/damagebdd.git
#ecai emerges from deterministic verification, so far I only have primitives and I'm pushing to get some implementation