This is very good work One of my ideas is "lazy invariant maintenance". It should be possible to layer the tip of execution (what should go on next) with lazy

This is very good work One of my ideas is "lazy invariant maintenance". It should be possible to layer the tip of execution (what should go on next) with lazy incremental materialized invariants. Let the computer decide what is the most efficient approach to solving the computational problem. In other words everything is a query and queries are layered ontop of eachother in arbitrary directions. I think storage or source of truth should be decided by the software. It might be more efficient to arrange data a certain way to sustain multiple types of queries. https://github.com/samsquire/ideas4#20-lazy-arrange-or-invariant-maintenance https://github.com/samsquire/ideas4#20-lazy-arrange-or-invar...