Bypasses
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
| Id | Severity | Status | Invariants |
|---|---|---|---|
| B-1 | High | Closed (544de86) | I22 |
| B-10 | Medium | Open (v4.5 §10) | I20 |
| B-11 | Medium | Closed (c84075d) | I13 |
| B-12 | Medium | Closed (cc86ca5) | I2 |
| B-13 | Low | Closed (cc86ca5) | I14 |
| B-14 | Low | Closed (e49c37a) | all |
| B-15 | Low | Closed (db5b0f4) | — |
| B-16 | Low | Closed (db5b0f4) | I14 |
| B-17 | Low | Closed (8bf52c9) | — |
| B-18 | Medium | Open (v4.5 §20, I9) | I9 |
| B-19 | Medium | Open | I16 |
| B-2 | High | Closed (d2e173b) | I16 |
| B-20 | High | Closed (8231a07) | I24 |
| B-21 | Medium | Closed (lane-nix/network-tool #38, with netwatch #42) | — |
| B-22 | Medium | Open, temporary, and closes before the Phase A gate (coordinator, Nov 2: Medium on that condition): closed by lane-change-path’s B-22 follow-up PR (after the journal-versions PR and the move-probe PR, coordinator, Nov 3) (resolved and proxy watches; generic-netlink WireGuard endpoints) | — |
| B-23 | Medium | Open | — |
| B-24 | Medium | Open, temporary: closed by lane-change-path’s move-probe PR (fexit on __dev_change_net_namespace: the move becomes an Interface claim for the mover, cleared when the device goes), after the journal-versions PR and before the B-22 follow-up (coordinator, Nov 3) | — |
| B-25 | Medium | Open, temporary: closed by lane-nix’s acquirable-capabilities PR (with before/after tool counts and boot time) | — |
| B-26 | Medium | Open, temporary: closed by the initrd-watch work (lane-change-path and lane-nix: pinned bpffs links and maps, layout and build-hash check, root 0700 pins, ring sized from a measured event count) | — |
| B-3 | Medium | Closed (725f290) | I8, I19 |
| B-4 | Medium | Open (v4.5 §17a) | I14, I21, I22 |
| B-5 | Medium | Closed (02ba283) | I21, I22 |
| B-6 | Medium | Closed (725f290) | I21 |
| B-7 | Medium | Closed (89eb2b4) | I8 |
| B-8 | Medium | Open (v4.5 I18, §12c) | I18 |
| B-9 | Medium | Open (v4.5 §12d) | I20 |
| X-1 | Accepted | Accepted | all |
| X-10 | Accepted | Accepted | I22, I24 |
| X-11 | Accepted | Accepted | I22 |
| X-12 | Accepted | Accepted | I23 |
| X-13 | Accepted | Accepted | I15, I21 |
| X-2 | Accepted | Accepted | all |
| X-3 | Accepted | Accepted | I2, I20 |
| X-4 | Accepted | Accepted | all |
| X-5 | Accepted | Accepted | I4 |
| X-6 | Accepted | Accepted | all |
| X-7 | Accepted | Accepted | all |
| X-8 | Accepted | Accepted | I8 |
| X-9 | Accepted | Accepted | — |