feat: upgrade to uv/ruff/ty + depyler Rust parity#18
Merged
Conversation
Implements docs/specifications/upgrade-spec.md (P0-P4): - P0: uv-managed pyproject.toml + uv.lock; ruff (lint+format) and ty (type-check) replace pip/pylint. New Makefile is uv-only. CI grep blocks reintroducing pip/pylint/black/mypy/poetry/pipenv. - P1: icontract pre/post on funclib + hypothesis property tests; 100% branch coverage enforced. pmat comply check reports COMPLIANT. - P2: rust/ Cargo workspace with hand-curated funclib twin (proptest parity, clippy -D warnings clean). make depyler regenerates the transpiled artifact. - P3: README leads with the PAIML course catalog + toolchain badges and a Quality Gates table. - P4: 96 code cells extracted from Section 1-4 notebooks into notebooks/_snippets/, lint-clean under ruff, 96/96 transpile via depyler. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
The previous grep flagged the spec doc (which lists banned tools as prose) and .venv/ contents. Restrict to executable locations only: Makefile, pyproject.toml, scripts/*.py. Also delete .circleci/config.yml (Python 3.6, references deleted requirements.txt). Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
noahgift
added a commit
that referenced
this pull request
May 23, 2026
Apply the README-only changes that were left behind when PR #18 merged at a stale head SHA. README now contains only the links from https://github.com/paiml/.github/blob/main/profile/README.md. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
docs/specifications/upgrade-spec.mdphases P0–P4.funclib,icontractpre/post +hypothesisproperty tests,pmat complyCOMPLIANT.rust/Cargo workspace with hand-curatedfunclibtwin +proptestparity,clippy -D warningsclean.notebooks/_snippets/, all lint-clean, all transpile viadepyler.Test plan
make fmt-checkmake lintmake typemake cover(100%)make rust(cargo fmt + clippy + 6 proptest+unit tests)make snippets(96 cells lint-clean)pmat comply checkreports COMPLIANTciworkflow green🤖 Generated with Claude Code