Lean proof spine

Spine IV: Selection ecology and normative limits

Source: context/lean_proof_graphs/04-selection-limits.dot

Rendered with Graphviz (same sources as the book). Click a node for details; sub-spine boxes (Spine I–IV) open the matching sub-diagram.

Nodes in this graph

P12 Coordination bottleneck (proof)
P31 Safe agent selected against (proof)
P32 Cooperativity threshold (proof)
P33 No open edges (proof)
P34 Host-capacity aliasing (proof)
P41 Value preservation ≠ legitimacy (proof)
P42 Continuity criteria disagree (proof)
P43 Small-step drift (proof)
P44 Invariants ≠ legitimacy (proof)
P45 Philosophical boundary (proof)
MB6a Percolation evidence ⇒ basin (bridge)
MB6b Basin ⇒ correction (bridge)
MB7d Inferential-UAD detector validity (bridge)
Exports: Percolation evidence / basin (MB6a), CorrectionIntegrity via MB6b, selection counterexamples, normative limits on P02 (other)
PAC (other)