fix(threads): rayon multithread verification + cgroup-aware thread cap (#263)#265

Merged

d-laub merged 13 commits into

mainfrom

worktree-rayon-multithread-verification

Jul 1, 2026

Commits on Jul 1, 2026

docs(spec): rayon multithread verification harness + thread-cap fix

d-laub
and
claude
committed
docs(spec): fold pre-existing pyrefly parity fixes into rayon initiative

d-laub
and
claude
committed
docs(plan): rayon multithread verification + thread-cap fix implementation plan

d-laub
and
claude
committed
test(parity): mark pytest.skip except-branches NoReturn for pyrefly

d-laub
and
claude
committed
feat(threads): add GVL_FORCE_PARALLEL to bypass the size gate

d-laub
and
claude
committed
fix(threads): honor CFS cpu quota in CPU detection (#263)

d-laub
and
claude
committed
fix(threads): overwrite ambient RAYON_NUM_THREADS with resolved cap (#263)

d-laub
and
claude
committed
perf(ffi): release the GIL around rayon parallel regions

d-laub
and
claude
committed
test(integration): forced-parallel getitem == serial (end-to-end)

d-laub
and
claude
committed
test(integration): compare ragged offsets in forced-parallel equivalence

d-laub
and
claude
committed
test(integration): spawn-worker rayon deadlock stress reproducer (#263)

d-laub
and
claude
committed
test(integration): mark stress-test fail branch NoReturn for pyrefly

d-laub
and
claude
committed
test(integration): pin stress-worker rayon threads via GVL_NUM_THREADS

d-laub
and
claude
committed