Feat/global participant search

client/src/app/api/fn/workspace/tease-course-phase-course-phase-id-save-post.ts

@@ -0,0 +1,44 @@
+/* tslint:disable */
+/* eslint-disable */
+import { HttpClient, HttpContext, HttpResponse } from '@angular/common/http';
+import { Observable } from 'rxjs';
+import { filter, map } from 'rxjs/operators';
+import { StrictHttpResponse } from '../../strict-http-response';
+import { RequestBuilder } from '../../request-builder';
+
+import { TeaseSaveRequest, TeaseWorkspace } from '../../models/tease-workspace';
+
+export interface TeaseCoursePhaseCoursePhaseIdSavePost$Params {
+  /**
+   * Unique identifier of the course phase
+   */
+  coursePhaseId: string;
+  body?: TeaseSaveRequest;
+}
+
+/**
+ * Publish the Tease workspace + finalised allocations to PROMPT in a single
+ * atomic transaction via `POST /tease/course_phase/{coursePhaseId}/save`.
+ * Returns the server-stamped workspace (with updated `lastExportedAt`).
+ */
+export function teaseCoursePhaseCoursePhaseIdSavePost(
+  http: HttpClient,
+  rootUrl: string,
+  params: TeaseCoursePhaseCoursePhaseIdSavePost$Params,
+  context?: HttpContext
+): Observable<StrictHttpResponse<TeaseWorkspace>> {
+  const rb = new RequestBuilder(rootUrl, teaseCoursePhaseCoursePhaseIdSavePost.PATH, 'post');
+  if (params) {
+    rb.path('coursePhaseId', params.coursePhaseId, {});
+    rb.body(params.body, 'application/json');
+  }
+
+  return http.request(rb.build({ responseType: 'json', accept: 'application/json', context })).pipe(
+    filter((r: any): r is HttpResponse<any> => r instanceof HttpResponse),
+    map((r: HttpResponse<any>) => {
+      return r as StrictHttpResponse<TeaseWorkspace>;
+    })
+  );
+}
+
+teaseCoursePhaseCoursePhaseIdSavePost.PATH = '/tease/course_phase/{coursePhaseId}/save';

client/src/app/api/fn/workspace/tease-course-phase-course-phase-id-workspace-get.ts

@@ -0,0 +1,42 @@
+/* tslint:disable */
+/* eslint-disable */
+import { HttpClient, HttpContext, HttpResponse } from '@angular/common/http';
+import { Observable } from 'rxjs';
+import { filter, map } from 'rxjs/operators';
+import { StrictHttpResponse } from '../../strict-http-response';
+import { RequestBuilder } from '../../request-builder';
+
+import { TeaseWorkspace } from '../../models/tease-workspace';
+
+export interface TeaseCoursePhaseCoursePhaseIdWorkspaceGet$Params {
+  /**
+   * Unique identifier of the course phase
+   */
+  coursePhaseId: string;
+}
+
+/**
+ * Fetch the persisted Tease workspace for a course phase via
+ * `GET /tease/course_phase/{coursePhaseId}/workspace`. Returns an empty
+ * default workspace when the course phase has no saved state yet.
+ */
+export function teaseCoursePhaseCoursePhaseIdWorkspaceGet(
+  http: HttpClient,
+  rootUrl: string,
+  params: TeaseCoursePhaseCoursePhaseIdWorkspaceGet$Params,
+  context?: HttpContext
+): Observable<StrictHttpResponse<TeaseWorkspace>> {
+  const rb = new RequestBuilder(rootUrl, teaseCoursePhaseCoursePhaseIdWorkspaceGet.PATH, 'get');
+  if (params) {
+    rb.path('coursePhaseId', params.coursePhaseId, {});
+  }
+
+  return http.request(rb.build({ responseType: 'json', accept: 'application/json', context })).pipe(
+    filter((r: any): r is HttpResponse<any> => r instanceof HttpResponse),
+    map((r: HttpResponse<any>) => {
+      return r as StrictHttpResponse<TeaseWorkspace>;
+    })
+  );
+}
+
+teaseCoursePhaseCoursePhaseIdWorkspaceGet.PATH = '/tease/course_phase/{coursePhaseId}/workspace';

client/src/app/api/fn/workspace/tease-course-phase-course-phase-id-workspace-put.ts

@@ -0,0 +1,44 @@
+/* tslint:disable */
+/* eslint-disable */
+import { HttpClient, HttpContext, HttpResponse } from '@angular/common/http';
+import { Observable } from 'rxjs';
+import { filter, map } from 'rxjs/operators';
+import { StrictHttpResponse } from '../../strict-http-response';
+import { RequestBuilder } from '../../request-builder';
+
+import { TeaseWorkspace, TeaseWorkspaceUpsert } from '../../models/tease-workspace';
+
+export interface TeaseCoursePhaseCoursePhaseIdWorkspacePut$Params {
+  /**
+   * Unique identifier of the course phase
+   */
+  coursePhaseId: string;
+  body?: TeaseWorkspaceUpsert;
+}
+
+/**
+ * Upsert the Tease workspace draft for a course phase via
+ * `PUT /tease/course_phase/{coursePhaseId}/workspace`. Idempotent — used
+ * by the client-side autosave loop. Does not touch the allocations table.
+ */
+export function teaseCoursePhaseCoursePhaseIdWorkspacePut(
+  http: HttpClient,
+  rootUrl: string,
+  params: TeaseCoursePhaseCoursePhaseIdWorkspacePut$Params,
+  context?: HttpContext
+): Observable<StrictHttpResponse<TeaseWorkspace>> {
+  const rb = new RequestBuilder(rootUrl, teaseCoursePhaseCoursePhaseIdWorkspacePut.PATH, 'put');
+  if (params) {
+    rb.path('coursePhaseId', params.coursePhaseId, {});
+    rb.body(params.body, 'application/json');
+  }
+
+  return http.request(rb.build({ responseType: 'json', accept: 'application/json', context })).pipe(
+    filter((r: any): r is HttpResponse<any> => r instanceof HttpResponse),
+    map((r: HttpResponse<any>) => {
+      return r as StrictHttpResponse<TeaseWorkspace>;
+    })
+  );
+}
+
+teaseCoursePhaseCoursePhaseIdWorkspacePut.PATH = '/tease/course_phase/{coursePhaseId}/workspace';

client/src/app/api/models/tease-workspace.ts

@@ -0,0 +1,38 @@
+/* tslint:disable */
+/* eslint-disable */
+import { Allocation } from './allocation';
+import { ConstraintWrapper } from '../../shared/matching/constraints/constraint';
+
+/**
+ * Persisted Tease workspace for a course phase, stored by PROMPT in
+ * team_allocation.tease_workspace.
+ */
+export interface TeaseWorkspace {
+  coursePhaseId: string;
+  constraints: ConstraintWrapper[];
+  /** [studentId, projectId] pairs */
+  lockedStudents: Array<[string, string]>;
+  allocationsDraft: Allocation[];
+  algorithmType?: 'preferenceMaxLP' | 'constraintOnly' | null;
+  lastSavedAt?: string | null;
+  lastExportedAt?: string | null;
+  updatedBy?: string | null;
+}
+
+/**
+ * Request body for PUT /tease/course_phase/{id}/workspace.
+ * Excludes server-managed timestamps.
+ */
+export type TeaseWorkspaceUpsert = Omit<
+  TeaseWorkspace,
+  'lastSavedAt' | 'lastExportedAt' | 'updatedBy'
+>;
+
+/**
+ * Request body for POST /tease/course_phase/{id}/save — the workspace
+ * payload plus the finalised allocations that should be upserted into
+ * the allocations table as part of the same DB transaction.
+ */
+export interface TeaseSaveRequest extends TeaseWorkspaceUpsert {
+  allocations: Allocation[];
+}

client/src/app/app.component.html

@@ -1,6 +1,10 @@
-@if (dataLoaded) {
+@if (mode === 'picker') {
+  <app-project-picker (coursePhaseSelected)="onCoursePhaseSelected($event)"></app-project-picker>
+} @else if (dataLoaded) {
   <div class="bg-bright h-100 d-flex flex-column">
-    <app-navigation-bar [allocationData]="allocationData"></app-navigation-bar>
+    <app-navigation-bar
+      [allocationData]="allocationData"
+      (coursePhaseSelected)="onCoursePhaseSelected($event)"></app-navigation-bar>
     <app-projects class="flex-grow-1 overflow-hidden" [projectsData]="allocationData.projectsData"></app-projects>
     <div
       class="resizable"