Mike got back to me on both cases. Regarding irreducible complexity he agrees that the definition that I lifted from your reference from Bio Logos is correct.
He said to me he is not attempting to prove a negative “so evolution cannot work” is not his claim. Quoting him:
He also said he is going to expand his claims of IC in his next book that I think is due in February of next year.