Theory
TASEP: particles hop right with rate p (if empty ahead), inject at left with rate α, extract at right with rate β.
Phases (p=1):
• LD (α < β, α < ½): ρ = α, J = α(1−α)
• HD (β < α, β < ½): ρ = 1−β, J = β(1−β)
• MC (α,β ≥ ½): ρ = ½, J = ¼
Shock: coexistence line α = β < ½