Keep NAT tuples exclusive across overlapping pools - #1707
Merged
daniel-noland merged 30 commits intoAug 10, 2026
DCO-2 / DCO
succeeded
Aug 10, 2026 in 0s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | 9ebfd2d | fix(masquerade): Clear released ports in the bitma... | Valid sign-off found |
| 🟢 | e31e5fd | feat(concurrency): Add model_test for generator-dr... | Valid sign-off found |
| 🟢 | 044159d | fix(masquerade): Share pools for identical public ... | Valid sign-off found |
| 🟢 | 89d0977 | fix(masquerade): Key NAT pools by source VPC as we... | Valid sign-off found |
| 🟢 | 843dfa6 | fix(masquerade): Split overlapping public ranges i... | Valid sign-off found |
| 🟢 | 77894e4 | fix(masquerade): Support nested private-prefix loo... | Valid sign-off found |
| 🟢 | b73d128 | test(masquerade): Model-check allocator replacemen... | Valid sign-off found |
| 🟢 | b977357 | fix(masquerade): Avoid self-deadlock during pool c... | Valid sign-off found |
| 🟢 | 950f34e | build(fuzz): Add libFuzzer campaign recipes | Valid sign-off found |
| 🟢 | 162a544 | fix(masquerade): Only fall through to the next reg... | Valid sign-off found |
| 🟢 | 6fe1632 | fix(masquerade): Reject unmappable IPv6 addresses | Valid sign-off found |
| 🟢 | 0662920 | fix(masquerade): Make allocations single-owner lea... | Valid sign-off found |
| 🟢 | 5af2572 | docs(masquerade): Document allocator invariants | Valid sign-off found |
| 🟢 | 8250554 | test(masquerade): Scale timeouts under emulation | Valid sign-off found |
| 🟢 | d7efa46 | test(masquerade): Cover private-prefix reuse acros... | Valid sign-off found |
| 🟢 | a4c2c7f | fix(nat): Reserve masquerade tuples used by port f... | Valid sign-off found |
| 🟢 | f9e3df1 | test(masquerade): Reuse released ports with live n... | Valid sign-off found |
| 🟢 | c9c4d66 | test(masquerade): Strengthen allocator exclusivity... | Valid sign-off found |
| 🟢 | 06aefd1 | fix(masquerade): Retry port-block handover | Valid sign-off found |
| 🟢 | b4e8c53 | test(masquerade): Verify allocator carry-over | Valid sign-off found |
| 🟢 | ec7d641 | refactor(masquerade): Remove unused address conver... | Valid sign-off found |
| 🟢 | 711f5a9 | test(masquerade): Cover IPv6 allocation and carry-... | Valid sign-off found |
| 🟢 | 77f9be9 | test(masquerade): Exercise pool exhaustion | Valid sign-off found |
| 🟢 | 363a9ee | test(masquerade): Cover flow invalidation on confi... | Valid sign-off found |
| 🟢 | cbf2d28 | test(masquerade): Cover port-block reuse | Valid sign-off found |
| 🟢 | ba061da | test(masquerade): Bound allocator tests under Miri | Valid sign-off found |
| 🟢 | 32705dc | build(coverage): Restore the local coverage report | Valid sign-off found |
| 🟢 | 7c8339a | test(masquerade): Cover allocator error mapping | Valid sign-off found |
| 🟢 | b7b6131 | test(masquerade): Cover graceful TCP close | Valid sign-off found |
| 🟢 | 1b089d7 | fix(masquerade): Handle missing VPC discriminants ... | Valid sign-off found |
Loading