Notes on Claude 4 System Card — LessWrong