jakub
6a667d8deb
Include the current addon, terrain integrations, tools, regression tests and recorded development evidence.
17 lines
2.4 KiB
JSON
17 lines
2.4 KiB
JSON
{
|
|
"finding": "Ordinary rifle cleanup releases shared recipient and truck claims while an accepted native magazine move or empty return remains unresolved. A newer delivered report after shared180000ms cooldown admits another original truck; the actual unchanged leaf can then submit the same still-carried empty to a different donor storage.",
|
|
"historical_scope": "Existing test_infantry_resupply_coordinator explicitly expected ordinary rifle Stop to release the claims. Mine and launcher quarantine increments preserved rifle behavior by scope; docs/evidence/rifle-transfer-cancellation-2026-10-02 and docs/infantry-resupply.md explicitly left uncertainty behavior unchanged. No documented cross-truck exclusion guarantee was found that makes the released recipient claim safe.",
|
|
"change": "Only existing ERR_InfantryResupply Finish and PollTransfers conditions generalize state7 to every unresolved magazine leaf; audit wording describes existing leaf settlement. No change to transfer leaf, stock ledger, negative callback semantics, native operation, retries or refunds.",
|
|
"proof": {
|
|
"planning": "Actual Bind/TryPlan/Finish/HQ ReserveLogistics/ReleaseLogistics; two convoy slots0/1, tokens100001/100129, fresh report2 at180001ms after report1/cooldown180000. Baseline compiles then fails second-truck refusal; proposal keeps report2 untouched until settlement then admits it.",
|
|
"interference": "Unchanged actual transfer leaf executes two accepted empty-return submissions with the same original empty identity and distinct original donor storage. Original operation is stopped before second submission at180001ms. One physical completion proves only first donor custody, leaving the competing submitted operation unresolved.",
|
|
"cleanup": "Actual Stop/PollTransfers keeps original claims, clears only owned waypoints, then releases exactly once after leaf settlement; stopped service performs no new work."
|
|
},
|
|
"limits": [
|
|
"Native inventory and radio/group boundaries are doubles; no physical reproduction, native compilation, multiplayer or performance qualification.",
|
|
"Rifle Unresolved remains acceptance-based and a terminal negative callback retains its existing settlement semantics; this does not add launcher-style RefusedAtSource proof.",
|
|
"Unknown accepted operation can retain force claims indefinitely as existing mine/launcher quarantine does; no unsafe timeout release."
|
|
],
|
|
"target_and_original_untouched": true
|
|
}
|