"Tiling agents" would be the most arguably relevant. Provably correct agents that approve the construction of other probably correct agents obeying similar invariants.
Is "probably" there meant to be "provably"? I assume so, but I'm not sure.
Probably.
Thanks! Looks very interesting!
Sorry, not qualified to have an opinion. Opening this question to the floor?