fix(teacher): 独立刷新老师目录以缩短配置更新延迟

src/lib/coding-teacher.ts

@@ -37,6 +37,7 @@ export const teacherApi = {
   sendConversation: (projectId: string, agentId: string, input: TeacherSend) => hostApiFetch<TeacherTopic>(
     teacherConversationsPath(projectId) + '/' + encodeURIComponent(agentId) + '/messages', { method: 'POST', body: JSON.stringify(input) }),
   catalog: () => hostApiFetch<TeacherCatalog>('/api/coding/teacher/teachers'),
+  catalogRevision: () => hostApiFetch<{ revision: number }>('/api/coding/teacher/teachers/revision'),
   checkIn: (projectId: string, input: TeacherCheckInInput) =>
     hostApiFetch<TeacherCheckInResult>(`/api/coding/projects/${encodeURIComponent(projectId)}/teacher-check-in`, {
       method: 'POST',