[openfuture]

I am working on something like this. Having a money in the system is a pretty hard problem (quantitative type theory-ish / lifted inference).

You can get around that with culture and using existing systems as settlement layer (for the time being).

Even then there is only one cryptocurrency that has a proper mechanism design for oracles (amoveo) - which you need if you want a trustless layer 2.

Datalisp (@ for telegram .is for binge-written PDF) is this project (that I just started) it's basically a vector clock for wrapping interfaces in authenticated data structures and Bayesian inference with logic programming for estimating / inferring trust.

By giving a useful framework for refining reproducibility we can build trust. Trust we need if we want a system to serve as a foundation for digital societies.

Francis Bacon said knowledge was possible and science could establish trust. Now we need that, automated.