PEEPanEIP-7805: Fork-choice enforced Inclusion Lists (FOCIL) with Thomas Thiery & Julian Ma