Commit 679d72c
committed
security(origin-gate): make the reserved-prefix set registry-exact, both ways
Adversarial verification of the previous two commits found that the prefix set
was a selection presented as "the remaining" ones, and that two of its
boundaries were untested. Both are fixed here.
Under-blocking closed — these carry "Globally Reachable: False" and were still
accepted:
::ffff:0:0/96 IPv4-mapped (RFC 4291) — accepted whenever the
embedded IPv4 was public; a mapped literal is not a routable
IPv6 origin regardless of what it wraps
2001::/23 IETF Protocol Assignments (RFC 2928) — the unassigned
remainder (2001:5::/32, 2001:100::/24, …) was reachable
2001::/23 is refused minus the sub-blocks the registry re-delegates as
individually reachable: 2001::/32 (Teredo), 2001:1::1-3/128 (PCP/TURN/DNS-SD
anycast, exactly those three addresses), 2001:3::/32 (AMT), 2001:4:112::/48
(AS112-v6), 2001:20::/28 (ORCHIDv2), 2001:30::/28 (Drone Remote ID). This
subsumes the separate 2001:2::/48 and 2001:10::/28 predicates.
Test gap closed — two over-blocking mutations survived the whole suite:
3fff::/20 widened to /16 → was green, now 189/1 (added 3fff:1000::1 accept)
2001:2::/48 widened → was green, now 189/1 (added 2001:2:1::1 reject)
Both edges were "adjacent" cases that sat outside the widened range and so
could not discriminate it. The suite now kills all 8 mutations tried, in both
directions: removing a rule → red, removing a carve-out → red.
CHANGELOG entries added for this and the two preceding commits; the repo
requires one per notable change and all three were missing. The entry names the
Forwardable-vs-Globally-Reachable column trap explicitly, since that is what
produced the ORCHIDv2 error in the first place.
190/190.1 parent d064da4 commit 679d72c
3 files changed
Lines changed: 86 additions & 6 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
30 | 30 | | |
31 | 31 | | |
32 | 32 | | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
33 | 64 | | |
34 | 65 | | |
35 | 66 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
499 | 499 | | |
500 | 500 | | |
501 | 501 | | |
| 502 | + | |
| 503 | + | |
| 504 | + | |
| 505 | + | |
| 506 | + | |
| 507 | + | |
| 508 | + | |
| 509 | + | |
| 510 | + | |
| 511 | + | |
| 512 | + | |
| 513 | + | |
| 514 | + | |
| 515 | + | |
| 516 | + | |
| 517 | + | |
| 518 | + | |
| 519 | + | |
| 520 | + | |
| 521 | + | |
| 522 | + | |
| 523 | + | |
| 524 | + | |
| 525 | + | |
| 526 | + | |
| 527 | + | |
| 528 | + | |
| 529 | + | |
| 530 | + | |
| 531 | + | |
| 532 | + | |
| 533 | + | |
| 534 | + | |
| 535 | + | |
| 536 | + | |
| 537 | + | |
502 | 538 | | |
503 | 539 | | |
504 | 540 | | |
| |||
510 | 546 | | |
511 | 547 | | |
512 | 548 | | |
513 | | - | |
| 549 | + | |
514 | 550 | | |
515 | 551 | | |
516 | 552 | | |
| |||
538 | 574 | | |
539 | 575 | | |
540 | 576 | | |
| 577 | + | |
| 578 | + | |
| 579 | + | |
| 580 | + | |
541 | 581 | | |
542 | 582 | | |
543 | 583 | | |
544 | | - | |
545 | | - | |
546 | | - | |
547 | | - | |
548 | | - | |
| 584 | + | |
549 | 585 | | |
550 | 586 | | |
551 | 587 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
137 | 137 | | |
138 | 138 | | |
139 | 139 | | |
| 140 | + | |
140 | 141 | | |
| 142 | + | |
141 | 143 | | |
142 | 144 | | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
143 | 149 | | |
144 | 150 | | |
145 | 151 | | |
| |||
163 | 169 | | |
164 | 170 | | |
165 | 171 | | |
| 172 | + | |
166 | 173 | | |
167 | 174 | | |
168 | 175 | | |
169 | 176 | | |
| 177 | + | |
| 178 | + | |
| 179 | + | |
| 180 | + | |
| 181 | + | |
| 182 | + | |
170 | 183 | | |
171 | 184 | | |
172 | 185 | | |
| |||
0 commit comments