Towards Superintelligence Alignment
conceptframework

Construct — RLAIF / Constitutional AI

RLAIF principles-as-feedback as caiConstructionBet; catalog builder claim ≠ ConstructionCrux discharge.

Lean bet: caiConstructionBet with claimsExplicitBuilder = true.

The agenda’s constructive hypothesis: train models with principles-as-feedback (RLAIF) so the resulting system tracks the stated constitution. That is an explicit builder claim in the catalog sense.

fin_claimed_builder_without_realization separates catalog flags from ConstructionCrux: a claimed builder does not discharge the open ∃-system crux.

Instance table: /cards/alignment-target/#specify-construct-instances.