idz: Add SqlTimeAttackRepository

src/idz/model/base.ts

@@ -3,4 +3,5 @@
 
 export type BackgroundCode = number & { __brand: "backgroundCode" };
 export type ExtId<T> = number & { __extId: T };
+export type RouteNo = number & { __brand: "routeNo" };
 export type TitleCode = number & { __brand: "titleCode" };

src/idz/model/timeAttack.ts

@@ -1,8 +1,10 @@
+import { RouteNo } from "./base";
+
 export interface TimeAttackScore {
-  courseId: number;
-  timestamp: string; // hack
+  routeNo: RouteNo;
+  timestamp: Date;
   flags: number;
-  totalMsec: number;
-  stageMsec: number[];
+  totalTime: number;
+  sectionTimes: number[];
   grade: number;
 }