Skip to content

feat(python): execute type checkers#240

Closed
EivMeyer wants to merge 8 commits into
mainfrom
dev
Closed

feat(python): execute type checkers#240
EivMeyer wants to merge 8 commits into
mainfrom
dev

Conversation

@EivMeyer

Copy link
Copy Markdown
Contributor

Problem

python.types still reported deferred coverage on the release branch path. Type errors in Python after-state content need to fail validation once mypy or pyright is available.

Approach

Promote the dev fix from #239 to main.

Verification

Feature PR checks
PR #239: CodeQL, check, and provenance passed before merge to dev.
Local: timeout 1800 bash ./scripts/ci/run-local-ci-equivalent.sh passed.

Fixes #208

EivMeyer and others added 8 commits July 13, 2026 17:31
Opcore ship runs depend on setup being idempotent in a fresh worktree. Add a CI guard that runs setup in a throwaway worktree and fails if it leaves dirty files.
Align Opcore Zeroshot defaults with the enforced branch workflow: feature runs target dev and dev promotes to main.
Fix #210 by resolving Python validation tools from the repository under check before falling back to PATH.

Routes repoRoot through Python validation status, reports resolved command/source/config metadata, and keeps missing type tools degraded rather than silently passing. Also fixes release package inspection ordering so forbidden public bins fail with the intended diagnostic before packlist checks.
Co-authored-by: Eivind <eivindcovibes.ai@Eivinds-MacBook-Pro.local>
@EivMeyer

Copy link
Copy Markdown
Contributor Author

Closing this promotion PR because squash-merged dev history replays older commits already present on main and causes conflicts. Replacing it with a main-based PR that contains only the #239 delta.

@EivMeyer EivMeyer closed this Jul 14, 2026
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.

feat(python): execute mypy or pyright for python.types

1 participant