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;
}
|