Automated Speciation (Bifurcation)

Automated Speciation (Bifurcation)

When the Regulator returns UNSAT (identifying that performance and diversity constraints are mutually exclusive), the system triggers a Bifurcation Event. This partitions the population into specialized sub-cradles, proved by Lean 4 to be Pareto-optimal transitions.

1. JAX-Native Parallelism

Implementation utilizes JAX collective operations for O(1) scaling across multi-GPU/TPU nodes. The Symbolic Tier (Z3/Lean) runs asynchronously on CPU nodes, maintaining high-throughput JaxMARL environment rollouts.