its almost as if its rules should be persisted, versioned and tested in a deterministic way. I also wonder if it might end up useful to try enforcing some kind of constraints to data (memory) itself. like if we could enforce atomicity, consistency, isolation AND durability. and transparency so no place for malware to hide. and deterministic execution, from fully reproducible builds...

er, nevermind. prob just crazy castles in the sky wistful dreams :-)