Checking in framework implementation, co-designed with Sorrachai