History starts around here, while there were other scattered prior discussions, this is where it started to centralize, and the reason it started out with the name “Stricter TypeGuard” was very much in line with actually requiring it to be type safe narrowing: PEP 724: Stricter Type Guards