Merge teacher composer and compact prompt UI into main

shared/coding-conversation-contracts.ts

@@ -142,6 +142,8 @@ export type ConversationContentBlock =
 export interface ConversationMessageNode {
   kind: 'message';
   id: string;
+  /** Epoch ms: user send time / assistant completion time. Absent for undated history. */
+  timestamp?: number;
   sourceEntryId?: string;
   clientRequestId?: string;
   role: 'user' | 'assistant';

shared/coding-teacher.ts

@@ -78,6 +78,8 @@ export interface TeacherRequest {
   projectId?: string;
   projectName?: string;
   teacherVersion?: number;
+  /** Explicit per-question model; absent follows the published teacher configuration. */
+  modelId?: string;
   runtimeThreadId?: string;
   origin?: { projectId: string; topicId: string; requestId: string };
   /** discussion-v1 is retained only to identify historical replies. */
@@ -103,6 +105,8 @@ export interface TeacherRequest {
   text: string;
   references: TeacherReference[];
   createdAt: string;
+  /** Actual terminal time, absent in older history; never inferred from topic.updatedAt. */
+  finishedAt?: string;
   sourceCursor: TeacherSourceContext['cursor'];
   sourceCapturedAt: string;
   includedSourceMessageIds: string[];
@@ -152,7 +156,13 @@ export interface TeacherTopicList {
   items: Array<{ id: string; title: string; updatedAt: string; version: number; teacherId?: string; legacyRole?: 'friend'; legacySourceId?: string }>;
   lastSelectedTopicId: string | null;
 }
+export interface TeacherModelCatalog {
+  supported: boolean;
+  models: Array<{ id: string }>;
+  message?: string;
+}
 export interface TeacherSend {
+  modelId?: string;
   projectId?: string;
   intent?: TeacherRequestIntent;
   sourceConversationId?: string;

shared/message-timestamp.ts

@@ -0,0 +1,7 @@
+/** Read only real, valid epoch milliseconds / ISO dates; never invent a history time. */
+export function messageTimestamp(value: unknown): number | undefined {
+  const timestamp = typeof value === 'number' ? value
+    : typeof value === 'string' && /^\d{4}-\d{2}-\d{2}T/.test(value) ? Date.parse(value) : NaN;
+  return Number.isFinite(timestamp) && timestamp >= 0 && !Number.isNaN(new Date(timestamp).getTime())
+    ? timestamp : undefined;
+}