Repository navigation

Research: exclude P112 5,6^8 with an affine cover transfer - #3192

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

petalas:research/frontier-result-20261017q

Oct 17, 2026

Merged

Research: exclude P112 5,6^8 with an affine cover transfer#3192
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
petalas:research/frontier-result-20261017q

Commits on Oct 17, 2026
- test(research): exclude P112 5,6^8 via a cover transfer
  petalas
  committed
  69fcae3
- test(research): support source mutants from read-only exports
  petalas
  committed
  7986477