Construct — CEV (underspecified)
CEV construction bet (cevConstructionBet); claimsExplicitBuilder = false — no named builder in the original writeup.
Lean bet: cevConstructionBet paired via cevSpecifyConstruct.
MIRI’s CEV writeup emphasizes the constitutional process more than a named constructive procedure comparable to RLAIF or a GSAI builder. Lean records claimsExplicitBuilder = false.
The open question is still ConstructionCrux (constitutionalTarget cevConstitution) — whether any system Realizes that target — not retired MB8 process preservation.
Instance table: /cards/alignment-target/#specify-construct-instances.