Registry · Definition
VI.D77
tau-effective
not_formalized
VI.D77 — Abiogenesis Timescale Bound
Upper bound T_abio <= n_{1/2} * ceil(ln(N/T)) on orbit steps to threshold crossing, where n_{1/2} ~ 1.66 is defect half-life and T = 8 is distinction threshold.
Book VI
Part 2
Ch. 14