Skip to content

Workspace harmonization and beartype-rollout enablement#5

Open
hmgaudecker wants to merge 22 commits into
mainfrom
beartype
Open

Workspace harmonization and beartype-rollout enablement#5
hmgaudecker wants to merge 22 commits into
mainfrom
beartype

Conversation

@hmgaudecker
Copy link
Copy Markdown
Contributor

Summary

Workspace-level (pixi) changes supporting the cross-repo beartype rollout.

  • Harmonize pyproject.toml across the four sub-projects; build env that can run all repos' tests.
  • ty rule customization for the sub-repos; boilerplate updates; lockfile refresh.
  • .gitmodules: .ai-instructions URL ssh->https, drop the make-submodule branch pin.
  • Bump the .ai-instructions submodule to 40e0ac6.
  • Track dags branch = main for beartype compatibility.

Test plan

  • pixi run -e py314 tests runs across all sub-projects.

Before merge

  • Confirm the dags tracking pin is release-appropriate.

MImmesberger and others added 20 commits January 24, 2026 16:44
Pin dags to the `main` branch (OSE PR #82 merged) rather than a fixed
rev, so beartype-compatibility fixes land automatically.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
…cha)

Folds in pending workspace-config tidy-ups:
- .gitmodules: .ai-instructions URL ssh->https, drop make-submodule branch pin
- AGENTS.md: update the @-referenced instruction-module list
- .pre-commit-config.yaml: pyproject-fmt v2.18.1->v2.19.0
- pre-commit: pyproject-fmt 2.19.0->2.21.2, ruff 0.15.6/0.15.12->0.15.14
- pixi.lock upgraded v6->v7 (pixi 0.69.0 format); dags 0.5.x->0.6.0

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Mirror the per-package `tests.activation.env` so a local
`pixi run -e py314 tests` from the workspace root matches the CI matrix
that activates `TTSIM_BEARTYPE_CLAW`, `GETTSIM_BEARTYPE_CLAW`, and
`GETTSIM_PERSONAS_BEARTYPE_CLAW` per package. Without these vars on the
workspace env, beartype-claw-dependent tests pass in CI but raise
`TypeError` (instead of the expected `BeartypeCallHintViolation`) when
run locally from the workspace.
hmgaudecker and others added 2 commits May 24, 2026 16:04
Track latest ty (0.0.39 currently). Matches the workspace child repos.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
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.

2 participants