«доки» - это сокращение какого слова?

"Доки" - это, по контексту:
1) мн.ч. от "док" (помещение для строительства или ремонта судов);
2) мн.ч. от "дока" (большой знаток какого-либо вопроса)
3) сокращение для "документы" (ср. англ. docs);
4) сокращение для "доктора" (ср. англ. docs).

доки это места где лечат кораблики, причём безо всяких сокращений.

вещдоки = вещественные доказательства

Доктора