Λ = Conjecture 1  The Ouroboros iteration bound is derived from Λ, which is currently advisory (conjecture) — not a proven theorem. Plans using this bound are clearly labelled as best-effort estimates.