flux-pr-3535
Zod (TypeScript) · W2 · GPT-5.1 Codex Mini
Tests passed. 3/3 commands passed. Strength: strong.
yarn buildfind . -name vitest.config.ts -exec sed -i 's/test: {/test: { testTimeout: 30000,/' {} +yarn testPartial score: 3/3
Trajectory
unknown · partial order onlyCanonical trajectory missing; showing coarse derived order only.
Quality
Equivalence Reasoning
behavioral
The patch does allow readonly inputs, but it weakens the `create` type constraint from a non-empty tuple to `ReadonlyArray<...>`. That drops an existing typing guarantee (non-empty options, and stricter tuple-based shape), so it does not fully preserve the intended type-safety guarantees.
Code Review
The patch is close but likely does not fully satisfy the intended change because it relaxes `create` too far; readonly support was added, but the non-empty tuple typing guarantee was lost.
The `create` generic changed from a non-empty tuple (`[first, ...rest]`) to `ReadonlyArray`, which permits empty arrays and weakens the intended typing guarantees for discriminated union construction.