Depositions reveal how a Trump efficiency team used AI to help scan federal grant descriptions for diversity language.