User blog comment:Moooosey/dco + decord sequence/@comment-43798125-20191014193224/@comment-35470197-20191014224420

Right. your rule is aplicable to phi_0(a) only when a is smaller than e_0. It suffices to add a new rule to define a fundamental sequence for it.