feat: transfer star-related instances across equivalences
#114760
| Job | Run time |
|---|---|
| 4s | |
| 4s |
star-related instances across equivalences
#114760
| Job | Run time |
|---|---|
| 4s | |
| 4s |