Platelet steady-state: P_ss = λ/k; τ = 1/k; t_half = ln(2)/k; lim_{t→∞} P(t) = λ/k

Sympy-exact symbolic witness of the platelet-dynamics steady-state, relaxation, and half-life anchors. Setup: first-order linear ODE dP/dt = λ − k·P with λ, k, P₀ positive symbols; solve via dsolve with initial condition P(0) = P₀ to…