47.9 Mass Repair tech-selection settings not working as intended?

[gsparks3]

Environment

Version 47.9
Windows 10
Java version 1.8.0_261

Description

To me, it seems like certain Mass Repair/Mass Salvage settings are not working as expected, but it is possible that the behavior is intended. Please clarify if the behavior is intended, or investigate the issue if it is not intended.

Reproduction steps:

1. Load the supplied campaign file and open the MRMS menu in the Repair Bay.
2. Adjust the settings as specified below.
3. Select the STK-3F (which has a single repair that can be performed, a blown-off arm that needs to be reattached) and press Start Mass Repair/Salvage.

Note that all repairs at set to allow techs from a skill level of Ultra-Green to Elite, and a minimum/maximum BTH of 4, with "Use Extra Time to reach min BTH" and "Use Rush Job to reach max BTH" both active.

Setting 1: "Allow tasks to carry over to the next day(s)" unchecked.
Result: Task is assigned to a Regular-skill technician at Extra Time (x4) to meet the BTH requirement, despite there being multiple Elite techs available that could complete the task today at Normal or Extra Time (x2).

This violates my expectation that under this option, no tasks should be attempted that would require more time than is currently available given the other restrictions, which might result in certain tasks simply not being performed. Is that not the intended behavior? Even under the assumption that carry-over tasks would be allowed if no techs were available that could finish the task today, this does not match the observed behavior, since there are such techs available.

Setting 2: "Allow tasks to carry over to the next day(s)" checked and "Optimize technician selection to complete actions today" checked.
Result: Same as above - task is assigned to a technician who cannot complete the task today, contrary to the description of the "Optimize technician selection to complete actions today" option, given that there are techs available who can complete the task today.

Setting 3: "Allow tasks to carry over to the next day(s)" checked, and "Optimize technician selection to complete actions today" unchecked.
Result: Same as above, except this selection no longer violates the specified options. Selection of a Regular-skill technician with a high Extra Time setting might be intended to reserve higher-skill techs for future tasks where lower-skilled technicians cannot reach the specified BTH even with the maximum Extra Time setting? Regardless of intent, this setting might reasonably be expected to have a different result than the other two specified settings. It is possibly worth noting that the technician selected in this case is actually the same technician as for the other settings.

Files

Coppercoats.zip
No custom units or other files.

[gsparks3]

Second potential issue, demonstrated in the save below: Max BTH setting is 4+, and attempting to mass-repair a Gyro with two hits causes no work to be done, as if no valid techs are available. This task is 5+ for an Elite tech at Extra Time(x4), which is indeed out of range, but there are several Elite (Internal Specialist) techs available for whom the task is 4+. Possibly the tech SPAs are not being taken into account, given that they were added relatively recently?

Reproduction steps: Load attached campaign, go to the Repair Bay, select the Griffin with a damaged Gyro that is not currently being worked on, then right click -> Mass Repair. Alternately, use the MRMS menu for the same result.

Coppercoats.zip
Other details are the same as before.