Skip to content

fix(effect, python): validate date and time formats - #3512

Open
schani wants to merge 2 commits into
agent/zod-date-time-validation-v2from
agent/effect-date-time-validation-v2
Open

fix(effect, python): validate date and time formats#3512
schani wants to merge 2 commits into
agent/zod-date-time-validation-v2from
agent/effect-date-time-validation-v2

Conversation

@schani

@schani schani commented Sep 7, 2026

Copy link
Copy Markdown
Member

Effect schemas accepted impossible dates and out-of-range times because their patterns only checked digit counts. Validate date, time, and date-time bounds while retaining lowercase RFC 3339 separators.

Python's generated parser also used permissive parsing that accepted malformed values such as "1". Use ISO-specific parsers for generated date, time, and date-time conversion.

Depends on #3505 and exercises its shared date/time cases. Python #3518 was merged into this branch.

Production diff: Effect 6 lines; Python 4 lines.

Validation:

  • focused shared date-time fixtures pass for Effect and Python
  • full Effect fixtures: 145/145 pass
  • full Python fixtures: 88/88 pass
  • build and lint pass

@schani
schani force-pushed the agent/effect-date-time-validation-v2 branch 2 times, most recently from aa8150b to d48f728 Compare September 7, 2026 14:49
@schani
schani force-pushed the agent/javascript-prototype-map branch from eb56530 to 3287732 Compare September 7, 2026 14:52
@schani
schani force-pushed the agent/effect-date-time-validation-v2 branch from d48f728 to d04cf44 Compare September 7, 2026 14:52
@github-actions

github-actions Bot commented Sep 7, 2026

Copy link
Copy Markdown

Generated-output differences

67 files differ — 67 modified, 0 new, 0 deleted
254 changed lines — +127 / −127

Open the generated-output report →

@schani
schani force-pushed the agent/javascript-prototype-map branch from 3287732 to 78b0921 Compare September 7, 2026 15:05
@schani
schani force-pushed the agent/effect-date-time-validation-v2 branch from d04cf44 to a60f469 Compare September 7, 2026 15:06
@schani
schani force-pushed the agent/javascript-prototype-map branch from 78b0921 to a3a3db9 Compare September 7, 2026 15:08
@schani
schani force-pushed the agent/effect-date-time-validation-v2 branch from a60f469 to da03633 Compare September 7, 2026 15:08
@github-actions

github-actions Bot commented Sep 7, 2026

Copy link
Copy Markdown

Generated-output differences

67 files differ — 67 modified, 0 new, 0 deleted
254 changed lines — +127 / −127

Open the generated-output report →

@schani
schani force-pushed the agent/javascript-prototype-map branch 2 times, most recently from 5e700f5 to 345ba7c Compare September 7, 2026 15:20
@schani
schani force-pushed the agent/effect-date-time-validation-v2 branch from da03633 to 7d7a498 Compare September 7, 2026 15:21
@github-actions

github-actions Bot commented Sep 7, 2026

Copy link
Copy Markdown

Generated-output differences

67 files differ — 67 modified, 0 new, 0 deleted
254 changed lines — +127 / −127

Open the generated-output report →

@schani
schani force-pushed the agent/javascript-prototype-map branch from 345ba7c to d7cb7d8 Compare September 7, 2026 15:25
@schani
schani force-pushed the agent/effect-date-time-validation-v2 branch from 7d7a498 to 6a364ab Compare September 7, 2026 15:25
@github-actions

github-actions Bot commented Sep 7, 2026

Copy link
Copy Markdown

Generated-output differences

67 files differ — 67 modified, 0 new, 0 deleted
254 changed lines — +127 / −127

Open the generated-output report →

@schani
schani force-pushed the agent/effect-date-time-validation-v2 branch from 6a364ab to 86e638b Compare September 7, 2026 17:55
@schani
schani changed the base branch from agent/javascript-prototype-map to agent/zod-date-time-validation-v2 September 7, 2026 17:55
@github-actions

github-actions Bot commented Sep 7, 2026

Copy link
Copy Markdown

Generated-output differences

68 files differ — 67 modified, 1 new, 0 deleted
383 changed lines — +256 / −127

Open the generated-output report →

@schani
schani force-pushed the agent/effect-date-time-validation-v2 branch from 86e638b to 97aadbe Compare September 7, 2026 18:01
@github-actions

github-actions Bot commented Sep 7, 2026

Copy link
Copy Markdown

Generated-output differences

67 files differ — 67 modified, 0 new, 0 deleted
254 changed lines — +127 / −127

Open the generated-output report →

@github-actions

github-actions Bot commented Sep 8, 2026

Copy link
Copy Markdown

Generated-output differences

101 files differ — 101 modified, 0 new, 0 deleted
326 changed lines — +163 / −163

Open the generated-output report →

@schani schani changed the title fix(typescript-effect-schema): validate date and time formats fix(effect-schema, python): validate date and time formats Sep 8, 2026
@schani
schani force-pushed the agent/zod-date-time-validation-v2 branch from d328bcc to 31267ac Compare September 8, 2026 02:44
@schani
schani force-pushed the agent/effect-date-time-validation-v2 branch from 2eeb64d to 94441d5 Compare September 8, 2026 02:45
@schani schani changed the title fix(effect-schema, python): validate date and time formats fix(effect, python): validate date and time formats Sep 8, 2026
@github-actions

github-actions Bot commented Sep 8, 2026

Copy link
Copy Markdown

Generated-output differences

101 files differ — 101 modified, 0 new, 0 deleted
326 changed lines — +163 / −163

Open the generated-output report →

@schani
schani force-pushed the agent/effect-date-time-validation-v2 branch from 94441d5 to 4ba516e Compare September 8, 2026 03:05
@github-actions

github-actions Bot commented Sep 8, 2026

Copy link
Copy Markdown

Generated-output differences

101 files differ — 101 modified, 0 new, 0 deleted
326 changed lines — +163 / −163

Open the generated-output report →

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant