Maybe they should, but I'd ask a different question. Did your company not give them the ADRs? ADRs are supposed to be high level decisions, like the decision to use REST or gRPC across an enterprise as a public or private API standard. If an application was built to a spec by your company, I'd assume they'd be making decisions like that.