mirror of
https://github.com/kevinveenbirkenbach/computer-playbook.git
synced 2026-11-06 19:01:54 +00:00
The guarantees were asserted against the declared swarm and data pair, so they proved two meshes work rather than that the planner works. A deployment declares its own, and the review asks for any number of them with the nodes arranged however the client wants. The same invariants now run over generated topologies: one to eight meshes, three arrangements each, hosts dealt out so some belong to several meshes and some to none. 2247 subtests, four seconds, and the planner needed no change to pass them.