Scenarios (kernel-checked)
Build a coalition
Toggle agents to form a coalition. Presets are the instances proven in Lean; any other combination is computed in-browser and labelled accordingly.
Capability closure
held by coalition
emergent (via closure)
forbidden & reached
not reached
AND-rule
Verdict
—
Closure Cl(A):