Skip to content

mirth-lab: port the last Python (research scripts); none left - #31

Merged
zmaril merged 2 commits into
mirth/oracles2from
mirth/no-python
Oct 10, 2026
Merged

zmaril merged 2 commits into
mirth/oracles2from
mirth/no-python

Conversation

@zmaril

@zmaril zmaril commented Oct 10, 2026

Copy link
Copy Markdown
Contributor

Stacked on #30. After this there is no Python left in the repository.

Ported to mirth-lab subcommands

Python Rust How it was validated
docs/hunt/tests/lint-fixes/apply-one-suggestion.py apply-suggestions <file> <toolchain> Output and _fix<n>.rs files identical on all six lint-fix tests.
docs/motivating/make_doc.py motivating-doc Regenerates docs/motivating.md byte for byte, except one line that now names the new command. The prose and per-bug notes moved into docs/motivating/notes.json.
docs/motivating/run.py motivating-run [issue…] Outputs for #122859 and #162901 identical to the committed out/ files.
docs/survey/fetch.py, unroll.py survey-fetch [--count] [--end], survey-unroll Identical issues.json after unroll on a 60-issue sample. Before unroll, a commit in both a PR and its rollup can come back as either one, and unroll resolves that.
ur/verify-closed.py verify-closed <ur> [work] Fetches the same files. Both versions stop at the same step: the current ur no longer has rewrite --classify --report. This is noted in docs/ur-queries.md, and the Rust version now prints Ur's own error.

Also adds rustc/big-run.sh, which runs every check one after another from a frozen mirth-lab and writes a summary.

🤖 Generated with Claude Code

https://claude.ai/code/session_01QXiEXbESemwqMLYKaWLDbT

zmaril and others added 2 commits October 10, 2026 08:34
…th a summary

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01QXiEXbESemwqMLYKaWLDbT
… and per-bug notes now in docs/motivating/notes.json), survey-fetch/-unroll, verify-closed; no .py left in the repository

apply-suggestions: identical output and fix files on the six lint-fix tests. motivating-doc:
regenerates motivating.md byte for byte (one line now names the new command); motivating-run:
outputs for #122859 and #162901 identical to the committed ones. survey: identical issues.json
after unroll (60-issue sample; before unroll GitHub returns the PR or its rollup for a commit
in both). verify-closed: same fetched files; both versions stop at the same place because the
current ur has no --classify/--report (noted in docs/ur-queries.md).

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01QXiEXbESemwqMLYKaWLDbT
@zmaril
zmaril added this pull request to stack #32 October 10, 2026 08:50
@zmaril
zmaril merged commit 76ab15f into main Oct 10, 2026
0 of 3 checks passed
@zmaril
zmaril deleted the mirth/no-python branch October 10, 2026 08:52
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