Commit 2d6a95d
committed
FullCharge: Stop the carried-basis KDoc from claiming a closed retirement set
The lifetime sentence listed the out-of-band check, reset, and trigger
consumption as the only ways a carried arming basis is retired. Reconnect
window expiry, a replug that re-derives to nothing, and the any-level
revocation retire it too, so the list was not exhaustive. Describe the
retirement paths without asserting closure, keeping the load-bearing
point: the basis carries no timestamp, so a retry is deliberately not
bounded by the original reconnect window.
Fixes review finding F5.1 parent 627fde8 commit 2d6a95d
1 file changed
Lines changed: 5 additions & 3 deletions
Lines changed: 5 additions & 3 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
23 | 23 | | |
24 | 24 | | |
25 | 25 | | |
26 | | - | |
27 | | - | |
28 | | - | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
29 | 31 | | |
30 | 32 | | |
31 | 33 | | |
| |||
0 commit comments