mirth: second batch of checks; all Python ported to mirth-lab (Rust) by zmaril · Pull Request #30 · PowderworksCode/mirth

suggest-diff.py (check 18: every machine-applicable suggestion applied and compiled); finding 29: lint fixes that break builds

zmaril

and

claude

committed

87c1ba9

diag-check.py (check 13: debug output in diagnostics, spans out of bounds, errors without a location, duplicates); finding 30

zmaril

and

claude

committed

3c3caed

repro-diff.py (check 15: repeat, path, threads, decoy); nothing new beyond the known parallel-frontend issues

zmaril

and

claude

committed

3ab63d9

gate-check.py (check 17: unstable attributes and library items from stable code); finding 31

zmaril

and

claude

committed

c5fb4b4

instr-check.py (check 21: PGO and coverage round trips), xlink.py + xlink-probe (check 5: build-std and link for every target)

zmaril

and

claude

committed

761747d

scale-check.py (check 10: growth exponents of compile time, memory, future size and stack frames over size-parameterized programs)

zmaril

and

claude

committed

72ec92c

mirth-lab: the checks in Rust. Core library (uitest, rustc with typed JSON diagnostics and timeouts, driver with the frontier options, artifacts, miri, normalize) and opt-diff, solver-diff, crash-d…

zmaril

and

claude

committed

cfcebd3

mirth-lab: miri-diff, rewrite-diff (mirth-rewrite in process), suggest-diff (identical to the Python sweep: 7,357 suggestions, 159 tests with findings)

zmaril

and

claude

committed

ea44297

mirth-lab: repro-diff, gate-check, instr-check (validated: same results as Python, instr-check with the harness artifacts it surfaced fixed); spawn retried on ETXTBSY

zmaril

and

claude

committed

91ff272

mirth-lab: release-diff, xlink, scale-check (wait4 rusage through libc), abi-diff (typed differences; known and undecided classes labelled by variant); all 14 oracle tools ported

zmaril

and

claude

committed

82f27a9

The Python oracle scripts removed (ported to mirth-lab and validated); docs name the mirth-lab subcommands; how to run them in checks.md

zmaril

and

claude

committed

542bf98

mirth-lab callgraph: the reachability analysis in Rust (same counts and gap lists as callgraph.py on build-blk; ties ordered differently); coverage-report.sh uses it

zmaril

and

claude

committed

fe84b18

instr-check: executable-no-mangle-strip is expected under IR PGO (clang -fprofile-generate fails the same link)

zmaril

and

claude

committed

40a3634

mirth-lab ui-fuzz, and the mutations and Cargo-artifact comparison in the library; ui-solver-diff.py removed (solver-diff covers it)

zmaril

and

claude

committed

5652f80

Merge branch 'mirth/port-ui' into mirth/oracles2

zmaril

committed

be91dbd

wip: flag tools

zmaril

committed

fbfab72

mirth-lab: coverage, coverage-compact, coverage-generators, grammar-coverage, ui-coverage (validated against the Python scripts); shell callers build and use mirth-lab

zmaril

and

claude

committed

cb6d4d4

Cargo.lock: mirth-lab's libc dependency

zmaril

and

claude

committed

4d64d8f

Merge mirth/port-ui (shared artifacts and mutations modules) into the flag-tools port

zmaril

and

claude

committed

f0e2154

Merge branch 'mirth/port-ui' into mirth/port-cov

zmaril

committed

0554367

wip: fuzz, fuzz-replay, replay in mirth-lab (own mutations and cargo modules, to reconcile with port-ui)

zmaril

and

claude

committed

16110ec

coverage, coverage-compact, coverage-generators, grammar-coverage and ui-coverage scripts removed (ported to mirth-lab); docs name the subcommands

zmaril

and

claude

committed

8a94b82

Merge branch 'mirth/port-cov' into mirth/oracles2

zmaril

committed

f4db9b7

mirth-lab fuzz, fuzz-replay, replay; the Python versions, mutations.py and artifacts.py removed

zmaril

and

claude

committed

20c0667

mirth-lab flag-universe, flag-model, flag-rows, flag-walk, flag-min, flag-fuzz, audit-options, coverage-flags; the Python versions removed

zmaril

and

claude

committed

71cb5a9

rustc/coverage-flags.py removed (ported to mirth-lab coverage-flags)

zmaril

and

claude

committed

cde950a

Merge branch 'mirth/port-fuzz' into mirth/oracles2

zmaril

committed

8723b09

Merge branch 'mirth/port-flags' into mirth/oracles2; the last Python in rustc/ removed (artifacts.py, mutations.py); references updated

zmaril

and

claude

committed

f1143ef

xlink: a timed-out build is its own result class

zmaril

and

claude

committed

6a16adf

Finding 32: new-solver compile-time regression on long iterator chains, bisected to nightly-2026-08-04 (#160254 the only solver PR in range); facts and the 200-map test

zmaril

and

claude

committed

e9f04a3

flag-walk, flag-fuzz, coverage-flags: --rows must be lo:hi (a malformed value ran every row; Python raised)

zmaril

and

claude

committed

c91ebda

Navigation Menu

Repository navigation

mirth: second batch of checks; all Python ported to mirth-lab (Rust) - #30

mirth: second batch of checks; all Python ported to mirth-lab (Rust)#30
zmaril merged 31 commits into
mirth/oraclesfrom
mirth/oracles2

Commits on Oct 10, 2026

suggest-diff.py (check 18: every machine-applicable suggestion applied and compiled); finding 29: lint fixes that break builds

diag-check.py (check 13: debug output in diagnostics, spans out of bounds, errors without a location, duplicates); finding 30

repro-diff.py (check 15: repeat, path, threads, decoy); nothing new beyond the known parallel-frontend issues

gate-check.py (check 17: unstable attributes and library items from stable code); finding 31

instr-check.py (check 21: PGO and coverage round trips), xlink.py + xlink-probe (check 5: build-std and link for every target)

scale-check.py (check 10: growth exponents of compile time, memory, future size and stack frames over size-parameterized programs)

mirth-lab: the checks in Rust. Core library (uitest, rustc with typed JSON diagnostics and timeouts, driver with the frontier options, artifacts, miri, normalize) and opt-diff, solver-diff, crash-d…

mirth-lab: miri-diff, rewrite-diff (mirth-rewrite in process), suggest-diff (identical to the Python sweep: 7,357 suggestions, 159 tests with findings)

mirth-lab: repro-diff, gate-check, instr-check (validated: same results as Python, instr-check with the harness artifacts it surfaced fixed); spawn retried on ETXTBSY

mirth-lab: release-diff, xlink, scale-check (wait4 rusage through libc), abi-diff (typed differences; known and undecided classes labelled by variant); all 14 oracle tools ported

The Python oracle scripts removed (ported to mirth-lab and validated); docs name the mirth-lab subcommands; how to run them in checks.md

mirth-lab callgraph: the reachability analysis in Rust (same counts and gap lists as callgraph.py on build-blk; ties ordered differently); coverage-report.sh uses it

instr-check: executable-no-mangle-strip is expected under IR PGO (clang -fprofile-generate fails the same link)

mirth-lab ui-fuzz, and the mutations and Cargo-artifact comparison in the library; ui-solver-diff.py removed (solver-diff covers it)

Merge branch 'mirth/port-ui' into mirth/oracles2

wip: flag tools

mirth-lab: coverage, coverage-compact, coverage-generators, grammar-coverage, ui-coverage (validated against the Python scripts); shell callers build and use mirth-lab

Cargo.lock: mirth-lab's libc dependency

Merge mirth/port-ui (shared artifacts and mutations modules) into the flag-tools port

Merge branch 'mirth/port-ui' into mirth/port-cov

wip: fuzz, fuzz-replay, replay in mirth-lab (own mutations and cargo modules, to reconcile with port-ui)

coverage, coverage-compact, coverage-generators, grammar-coverage and ui-coverage scripts removed (ported to mirth-lab); docs name the subcommands

Merge branch 'mirth/port-cov' into mirth/oracles2

mirth-lab fuzz, fuzz-replay, replay; the Python versions, mutations.py and artifacts.py removed

mirth-lab flag-universe, flag-model, flag-rows, flag-walk, flag-min, flag-fuzz, audit-options, coverage-flags; the Python versions removed

rustc/coverage-flags.py removed (ported to mirth-lab coverage-flags)

Merge branch 'mirth/port-fuzz' into mirth/oracles2

Merge branch 'mirth/port-flags' into mirth/oracles2; the last Python in rustc/ removed (artifacts.py, mutations.py); references updated

xlink: a timed-out build is its own result class

Finding 32: new-solver compile-time regression on long iterator chains, bisected to nightly-2026-08-04 (#160254 the only solver PR in range); facts and the 200-map test

flag-walk, flag-fuzz, coverage-flags: --rows must be lo:hi (a malformed value ran every row; Python raised)