File size: 513 Bytes
adea8c3
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
export interface HealthResponse {
  status: string;
  active_episodes: number;
  dashboard_url: string;
}

export interface StatsResponse {
  total_episodes: number;
  avg_score: number;
}

export interface LeaderboardEntry {
  rank: number;
  agent_name: string;
  score: number;
  seed: number;
  submitted_at: string;
}

export type TaskId = "bug_detection" | "security_audit" | "architectural_review";

export interface WsEvent {
  episode_id: string;
  type: string;
  reward: number;
  timestamp: string;
}