mirror of
https://github.com/deepseek-ai/deepseek-harness
synced 2026-08-15 21:04:50 +00:00
clarify timing projection schema cast
This commit is contained in:
@@ -19,8 +19,8 @@ interface TimingState {
|
||||
descriptorSeen: boolean
|
||||
}
|
||||
|
||||
// Cast for the optional values: under exactOptionalPropertyTypes zod infers
|
||||
// `number | undefined` where the interface declares absent-or-number fields.
|
||||
// Zod's optional output includes explicit `undefined`; with
|
||||
// exactOptionalPropertyTypes the public interface permits omission only.
|
||||
const projectionSchema = z.object({
|
||||
settledMs: z.number().int().nonnegative(),
|
||||
active: z.object({
|
||||
|
||||
Reference in New Issue
Block a user