| CIRL / scalar reward inferencegem | Scalar reward inference is exactly k=1 bundle inference; full transport implies cooperative readability. | The Value-Bundle Model, What Values Apply To, The End of Unconscious Value Drift |
| Shutdown / off-switchgem | Shutdown is a one-bit projection of correction-channel integrity; the converse fails. | Correction Is a Causal Channel, Correction Channels under Adversarial Pressure, The End of Unconscious Value Drift |
| Safe interruptibilitygem | Orseau–Armstrong interrupt neutrality is weaker than preserving usable correction bandwidth. | Correction Is a Causal Channel, Beyond Following Instruction, The End of Unconscious Value Drift |
| Christiano corrigibilitygem | Corrigibility is a dynamical correction invariant (basin contraction + capacity floor), not local act satisfaction. | Beyond Following Instruction, The End of Unconscious Value Drift |
| AUP / relative reachabilitygem | Option preservation and low-impact penalties are separable from trajectory correction integrity. | Correction Channels under Adversarial Pressure, When Value Change Is the Thing at Stake, The End of Unconscious Value Drift |
| Quantilizersgem | Local quantile safety does not imply trajectory-level correction integrity. | Correction Channels under Adversarial Pressure, The End of Unconscious Value Drift |
| Debategem | Local truth selection need not preserve the judge's correction channel. | Manipulation, Domestication, and False Consent, Checking a System at Every Level, The End of Unconscious Value Drift |
| ELKgem | Latent readout is an epistemic subchannel, not correction uptake. | What Values Apply To, What Survives an Adversary: Verifiability and Representability, The End of Unconscious Value Drift |