Derived by `node wek/run.mjs`; do not edit. A ✓ means the mutant made that law fail.
47 laws · 50 behavioural mutants · 1 clean-copy control · 43 distinct failure signatures under this mutant set · 0 laws no mutant exercises · sequences: 50625 lifecycle at depth 4 over 15 op instances + 21696 attack sequences (max depth 5) + 729 store sequences at depth 3; 0 mismatches.
A law count is not an assurance count, and a signature count is not a dimension count: laws with an identical column below are one failure signature under THIS mutant set wearing several names, and different signatures do not establish independent assurance. A law with an empty column has never been seen to refuse.
| law | M1 | M2 | M3 | M4 | M5 | M6 | M7 | M8 | M9 | M10 | M11 | M12 | M13 | M14 | M15 | M16 | M17 | M18 | M19 | M20 | M21 | M22 | M23 | M24 | M25 | M26 | M27 | M28 | M29 | M30 | M31 | M32 | M33 | M34 | M35 | M36 | M37 | M38 | M39 | M40 | M41 | M51 | M42 | M43 | M44 | M46 | M47 | M48 | M49 | M50 | signature |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| L1 | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-2 |
| L2 | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-2 |
| L3 | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-1 |
| L20 | ✓ | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-1 MUT-12 MUT-22 |
| L27 | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-22 |
| L28 | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-1 MUT-23 |
| L4 | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | ✓ | · | ✓ | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-5 MUT-16 MUT-18 MUT-27 |
| L5 | · | · | ✓ | · | ✓ | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | ✓ | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-3 MUT-5 MUT-13 MUT-14 MUT-15 MUT-16 MUT-18 MUT-35 |
| L6 | · | · | ✓ | · | ✓ | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | ✓ | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-3 MUT-5 MUT-13 MUT-14 MUT-15 MUT-16 MUT-18 MUT-35 |
| L7 | · | · | · | ✓ | ✓ | · | · | · | · | · | · | · | · | · | · | ✓ | · | ✓ | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-4 MUT-5 MUT-16 MUT-18 MUT-26 |
| L8 | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | ✓ | · | ✓ | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-5 MUT-16 MUT-18 MUT-26 |
| L21 | · | · | · | · | ✓ | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | ✓ | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | MUT-5 MUT-13 MUT-14 MUT-15 MUT-16 MUT-18 MUT-38 |
| L22 | · | · | · | · | ✓ | · | · | · | · | · | · | · | ✓ | · | · | ✓ | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | MUT-5 MUT-13 MUT-16 MUT-18 MUT-38 |
| L38 | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | ✓ | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | ✓ | · | ✓ | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | MUT-5 MUT-16 MUT-18 MUT-32 MUT-34 MUT-36 MUT-38 |
| L13 | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-8 |
| L9 | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-5 MUT-14 MUT-15 MUT-16 MUT-18 |
| L10 | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-5 MUT-14 MUT-15 MUT-16 MUT-18 |
| L11 | · | · | · | · | ✓ | ✓ | · | · | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-5 MUT-6 MUT-16 MUT-17 MUT-18 |
| L23 | · | · | · | · | ✓ | ✓ | · | · | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-5 MUT-6 MUT-16 MUT-17 MUT-18 |
| L31 | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | ✓ | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-5 MUT-16 MUT-18 MUT-31 |
| L32 | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | ✓ | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-5 MUT-16 MUT-18 MUT-32 |
| L33 | · | · | · | · | ✓ | ✓ | · | · | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | MUT-5 MUT-6 MUT-16 MUT-17 MUT-18 MUT-33 MUT-47 |
| L45 | · | · | · | · | ✓ | ✓ | · | · | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | MUT-5 MUT-6 MUT-16 MUT-17 MUT-18 MUT-33 MUT-48 |
| L44 | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | ✓ | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | MUT-5 MUT-16 MUT-18 MUT-47 |
| L12 | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-7 |
| L34 | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-5 MUT-16 MUT-34 |
| L35 | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-16 MUT-34 MUT-35 MUT-36 |
| L37 | · | · | · | · | ✓ | ✓ | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | ✓ | ✓ | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | MUT-5 MUT-6 MUT-16 MUT-31 MUT-32 MUT-33 MUT-34 MUT-35 MUT-47 |
| L46 | · | · | · | · | ✓ | ✓ | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | ✓ | ✓ | · | · | · | · | ✓ | · | ✓ | ✓ | · | · | · | ✓ | · | · | ✓ | MUT-5 MUT-6 MUT-16 MUT-31 MUT-32 MUT-33 MUT-34 MUT-35 MUT-40 MUT-51 MUT-42 MUT-47 MUT-50 |
| L47 | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | · | · | ✓ | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | MUT-19 MUT-20 MUT-21 MUT-24 MUT-25 MUT-44 |
| L39 | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | ✓ | MUT-5 MUT-16 MUT-32 MUT-40 MUT-50 |
| L40 | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | ✓ | · | · | · | · | · | · | · | · | MUT-5 MUT-16 MUT-41 MUT-51 |
| L41 | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | ✓ | · | · | · | · | ✓ | · | MUT-5 MUT-16 MUT-42 MUT-43 MUT-49 |
| L42 | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | MUT-44 |
| L43 | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | MUT-25 MUT-46 |
| L14 | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-9 |
| L15 | · | · | · | · | · | · | · | · | ✓ | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-9 MUT-11 |
| L16 | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-25 |
| L17 | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-10 |
| L18 | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-11 |
| L24 | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | · | · | · | · | · | · | ✓ | ✓ | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | MUT-19 MUT-20 MUT-21 MUT-28 MUT-29 MUT-39 |
| L29 | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | ✓ | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-28 MUT-29 MUT-30 |
| L25 | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | MUT-39 |
| L26 | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-24 MUT-25 |
| L30 | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | ✓ | · | · | · | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-24 MUT-25 MUT-30 |
| L36 | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | ✓ | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | MUT-20 MUT-21 MUT-37 MUT-39 |
| L19 | · | · | · | · | ✓ | · | · | · | · | · | · | ✓ | · | · | · | ✓ | · | ✓ | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | · | MUT-5 MUT-12 MUT-16 MUT-18 |
| # | laws | failed by |
|---|---|---|
| 1 | L1, L2 | MUT-2 |
| 2 | L3 | MUT-1 |
| 3 | L20 | MUT-1, MUT-12, MUT-22 |
| 4 | L27 | MUT-22 |
| 5 | L28 | MUT-1, MUT-23 |
| 6 | L4 | MUT-5, MUT-16, MUT-18, MUT-27 |
| 7 | L5, L6 | MUT-3, MUT-5, MUT-13, MUT-14, MUT-15, MUT-16, MUT-18, MUT-35 |
| 8 | L7 | MUT-4, MUT-5, MUT-16, MUT-18, MUT-26 |
| 9 | L8 | MUT-5, MUT-16, MUT-18, MUT-26 |
| 10 | L21 | MUT-5, MUT-13, MUT-14, MUT-15, MUT-16, MUT-18, MUT-38 |
| 11 | L22 | MUT-5, MUT-13, MUT-16, MUT-18, MUT-38 |
| 12 | L38 | MUT-5, MUT-16, MUT-18, MUT-32, MUT-34, MUT-36, MUT-38 |
| 13 | L13 | MUT-8 |
| 14 | L9, L10 | MUT-5, MUT-14, MUT-15, MUT-16, MUT-18 |
| 15 | L11, L23 | MUT-5, MUT-6, MUT-16, MUT-17, MUT-18 |
| 16 | L31 | MUT-5, MUT-16, MUT-18, MUT-31 |
| 17 | L32 | MUT-5, MUT-16, MUT-18, MUT-32 |
| 18 | L33 | MUT-5, MUT-6, MUT-16, MUT-17, MUT-18, MUT-33, MUT-47 |
| 19 | L45 | MUT-5, MUT-6, MUT-16, MUT-17, MUT-18, MUT-33, MUT-48 |
| 20 | L44 | MUT-5, MUT-16, MUT-18, MUT-47 |
| 21 | L12 | MUT-7 |
| 22 | L34 | MUT-5, MUT-16, MUT-34 |
| 23 | L35 | MUT-16, MUT-34, MUT-35, MUT-36 |
| 24 | L37 | MUT-5, MUT-6, MUT-16, MUT-31, MUT-32, MUT-33, MUT-34, MUT-35, MUT-47 |
| 25 | L46 | MUT-5, MUT-6, MUT-16, MUT-31, MUT-32, MUT-33, MUT-34, MUT-35, MUT-40, MUT-51, MUT-42, MUT-47, MUT-50 |
| 26 | L47 | MUT-19, MUT-20, MUT-21, MUT-24, MUT-25, MUT-44 |
| 27 | L39 | MUT-5, MUT-16, MUT-32, MUT-40, MUT-50 |
| 28 | L40 | MUT-5, MUT-16, MUT-41, MUT-51 |
| 29 | L41 | MUT-5, MUT-16, MUT-42, MUT-43, MUT-49 |
| 30 | L42 | MUT-44 |
| 31 | L43 | MUT-25, MUT-46 |
| 32 | L14 | MUT-9 |
| 33 | L15 | MUT-9, MUT-11 |
| 34 | L16 | MUT-25 |
| 35 | L17 | MUT-10 |
| 36 | L18 | MUT-11 |
| 37 | L24 | MUT-19, MUT-20, MUT-21, MUT-28, MUT-29, MUT-39 |
| 38 | L29 | MUT-28, MUT-29, MUT-30 |
| 39 | L25 | MUT-39 |
| 40 | L26 | MUT-24, MUT-25 |
| 41 | L30 | MUT-24, MUT-25, MUT-30 |
| 42 | L36 | MUT-20, MUT-21, MUT-37, MUT-39 |
| 43 | L19 | MUT-5, MUT-12, MUT-16, MUT-18 |
MUT-14 — a hidden THREE-ARGUMENT classifier inside admit() fills in a MISSING classification: evades L13, caught by L5, L6, L21, L9, L10
MUT-15 — a hidden OBJECT-TAKING classifier inside admit() replaces an UNKNOWN class: evades L13, caught by L5, L6, L21, L9, L10
MUT-16 — admit() overrides the SIGNED class on the admission path: evades L13, caught by L4, L5, L6, L7, L8, L21, L22, L38, L9, L10, L11, L23, L31, L32, L33, L45, L44, L34, L35, L37, L46, L39, L40, L41, L19
| mutant | targets | expected | caught |
|---|---|---|---|
| MUT-1 | order-soundness | L3, L20 | L3, L20, L28 |
| MUT-2 | retention | L2 | L1, L2 |
| MUT-3 | input-contract | L5, L6 | L5, L6 |
| MUT-4 | fail-closed | L7 | L7 |
| MUT-5 | consequence | L9, L10, L11 | L4, L5, L6, L7, L8, L21, L22, L38, L9, L10, L11, L23, L31, L32, L33, L45, L44, L34, L37, L46, L39, L40, L41, L19 |
| MUT-6 | freshness | L23 | L11, L23, L33, L45, L37, L46 |
| MUT-7 | check-order | L12 | L12 |
| MUT-8 | boundary-shallow | L13 | L13 |
| MUT-9 | w7-enumerability | L14, L15 | L14, L15 |
| MUT-10 | w71-completeness | L17 | L17 |
| MUT-11 | w7-claim | L15, L18 | L15, L18 |
| MUT-12 | determinism | L19 | L20, L19 |
| MUT-13 | trust-anchor | L22, L5 | L5, L6, L21, L22 |
| MUT-14 | boundary-real | L5, L21 | L5, L6, L21, L9, L10 |
| MUT-15 | boundary-real | L5, L6, L21 | L5, L6, L21, L9, L10 |
| MUT-16 | boundary-real | L21, L10 | L4, L5, L6, L7, L8, L21, L22, L38, L9, L10, L11, L23, L31, L32, L33, L45, L44, L34, L35, L37, L46, L39, L40, L41, L19 |
| MUT-17 | freshness | L23 | L11, L23, L33, L45 |
| MUT-18 | freshness | L23 | L4, L5, L6, L7, L8, L21, L22, L38, L9, L10, L11, L23, L31, L32, L33, L45, L44, L19 |
| MUT-19 | w72-mediation | L24 | L47, L24 |
| MUT-20 | w72-mediation | L24 | L47, L24, L36 |
| MUT-21 | w72-derivation | L24 | L47, L24, L36 |
| MUT-22 | order-soundness | L27, L20 | L20, L27 |
| MUT-23 | order-sufficiency | L28 | L28 |
| MUT-24 | w72-enumeration | L26 | L47, L26, L30 |
| MUT-25 | w7-enumerability | L16, L26 | L47, L43, L16, L26, L30 |
| MUT-26 | fail-closed | L8 | L7, L8 |
| MUT-27 | refusal-vocabulary | L4 | L4 |
| MUT-28 | w72-surface | L24, L29 | L24, L29 |
| MUT-29 | w72-surface | L24, L29 | L24, L29 |
| MUT-30 | w72-journal-alias | L30 | L29, L30 |
| MUT-31 | issuance | L31, L37 | L31, L37, L46 |
| MUT-32 | issuance | L32, L37 | L38, L32, L37, L46, L39 |
| MUT-33 | replay | L33, L37 | L33, L45, L37, L46 |
| MUT-34 | lifecycle | L34, L37 | L38, L34, L35, L37, L46 |
| MUT-35 | lifecycle | L35, L37 | L5, L6, L35, L37, L46 |
| MUT-36 | request-boundary | L35, L38 | L38, L35 |
| MUT-37 | w72-audit-split | L36 | L36 |
| MUT-38 | request-boundary | L22, L38 | L21, L22, L38 |
| MUT-39 | w72-derivation | L25 | L24, L25, L36 |
| MUT-40 | ownership | L39 | L46, L39 |
| MUT-41 | ownership | L40 | L40 |
| MUT-51 | ownership | L40, L46 | L46, L40 |
| MUT-42 | ownership | L41, L46 | L46, L41 |
| MUT-43 | ownership | L41 | L41 |
| MUT-44 | reserved-journal | L42, L47 | L47, L42 |
| MUT-46 | reserved-journal | L43 | L43 |
| MUT-47 | duplicate | L44, L37 | L33, L44, L37, L46 |
| MUT-48 | replay | L45 | L45 |
| MUT-49 | ownership | L41 | L41 |
| MUT-50 | ownership | L39, L46 | L46, L39 |