Skip to content

fix(python): mypy-strict guard in codespar.mandate — unblock PyPI 0.11.0#117

Merged
fabianocruz merged 1 commit into
mainfrom
fix/python-mandate-mypy
Jul 5, 2026
Merged

fix(python): mypy-strict guard in codespar.mandate — unblock PyPI 0.11.0#117
fabianocruz merged 1 commit into
mainfrom
fix/python-mandate-mypy

Conversation

@fabianocruz

Copy link
Copy Markdown
Member

Second publish-gate fix: mypy strict rejects int(Any | None) at the format_version coercion. or 0 keeps identical behavior for well-formed tokens (decode rejects non-numeric format_version upstream; 0 takes the V2 path in the >= 3 gate). After merge: re-run publish-python.yml.

🤖 Generated with Claude Code

…PI publish)

int(fields.get(...)) rejects Any | None under strict mode; a missing
format_version now coerces to 0, which the version >= 3 gate already
treats as V2 (no V3 tail) — same behavior for every well-formed token,
since decode_mandate_token rejects tokens without a numeric
format_version before this code can run.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@fabianocruz fabianocruz merged commit c224dd3 into main Jul 5, 2026
10 checks passed
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