Open procedure (CEV)
An unset output whose legitimacy may attach to the procedure, not only to a scored endpoint.
Role. Target. Graph node cev.
In poetic terms, our coherent extrapolated volition is our wish if we knew more, thought faster, were more the people we wished we were, had grown up farther together; where the extrapolation converges rather than diverges, where our wishes cohere rather than interfere; extrapolated as we wish that extrapolated, interpreted as we wish that interpreted.
— Yudkowsky, Coherent Extrapolated Volition (2004)
CEV/CBV can be read as producing a specification or as valuing the procedure. Encoding “score only the output” drops revisability. The orange limit edge reads a forced halt as scoring the output at the halt step: a well-defined state score only where the outputs converge (forced_halt_converges, forced_halt_depends_on_time). Lean treats CEV as an AlignmentTarget instance; live MB8 is retired from the certification path.