12 lines
1.4 KiB
JSON
12 lines
1.4 KiB
JSON
{
|
|
"finding": "Known-empty recovering squads produce a coordinated RESERVE after withdrawal arrival, but delivery previously admitted only WITHDRAW through the empty-ammo gate.",
|
|
"correction": "Allow empty-ammo coordinated RESERVE only with the current original squad judgment Recovering. Existing WITHDRAW exemption and later exact CoordinatedDelivery task/slot/revision/execution gates remain intact.",
|
|
"judgment_stability": "Live CoordinatedForces excludes PendingOrder/PendingTask/Downlink. ObserveForces is the live judgment writer; pending radio delivery therefore retains the planner recovery judgment.",
|
|
"validation": {
|
|
"baseline": "Final full delivery test compiles then fails its first recovery RESERVE assertion with SIGABRT.",
|
|
"proposal": "Full actual DeliverOrder plus actual CoordinatedDelivery and existing ammo dispatch tests pass. Positive WITHDRAW has no recovery judgment; ordinary armed reserve still passes; 15 reserve invalid cases and five attacking roles retain old assignment.",
|
|
"mutation": "Nonqualifying attempted broad-reserve mutation failed compilation due unused squad under -Werror. Retained, not counted as runtime evidence."
|
|
},
|
|
"limits": "Native waypoint/memory/watch/judgment lookup boundaries are doubled. No native or live engine validation; no live changes. Only own three live baseline hashes checked; concurrent garage/changelog and HEAD changes preserved."
|
|
}
|