Generated by SBOL2_UPDATE_NEGATIVE_COVERAGE=1 cargo test -p sbol2 --test validation_rules negative_coverage_matrix_matches_committed_file. CI runs the same test without the variable as a freshness gate.
Every one of the 222 machine-checkable rules has at least one negative fixture (a violating document asserted to report the rule at its catalog severity) and at least one positive fixture (a valid instance asserted not to report it), all evaluated under ValidationConfig::all_on().
| Rule | Section | Status | Normative | Negatives | Positives |
|---|---|---|---|---|---|
| sbol2-10101 | 10 | Error | Must | 1 | 1 |
| sbol2-10201 | 7.4 | Error | Must | 1 | 1 |
| sbol2-10203 | 7.4 | Error | Must | 1 | 1 |
| sbol2-10204 | 7.4 | Error | Must | 1 | 1 |
| sbol2-10206 | 7.4 | Error | Must | 1 | 1 |
| sbol2-10208 | 7.4 | Error | Must | 1 | 1 |
| sbol2-10212 | 7.4 | Error | Must | 1 | 1 |
| sbol2-10213 | 7.4 | Error | Must | 1 | 1 |
| sbol2-10215 | 12.3 | Error | Must | 1 | 1 |
| sbol2-10216 | 12.3 | Error | Must | 1 | 1 |
| sbol2-10217 | 12.3 | Error | Must | 1 | 1 |
| sbol2-10218 | 12.3 | Error | Must | 1 | 1 |
| sbol2-10219 | 12.3 | Error | Must | 1 | 1 |
| sbol2-10220 | 7.4 | Configurable | Must | 1 | 1 |
| sbol2-10221 | 12.8 | Error | Must | 1 | 1 |
| sbol2-10222 | 12.8 | Configurable | Must | 1 | 1 |
| sbol2-10223 | 12.8 | Error | Must | 1 | 1 |
| sbol2-10224 | 12.8 | Warning | Should | 1 | 1 |
| sbol2-10225 | 12.8 | Warning | Should | 1 | 1 |
| sbol2-10226 | 12.8 | Warning | Should | 1 | 1 |
| sbol2-10227 | 12.8 | Warning | Should | 1 | 1 |
| sbol2-10228 | 7.4 | Error | Must | 1 | 1 |
| sbol2-10302 | 7.4 | Warning | Should | 1 | 1 |
| sbol2-10303 | 7.4 | Error | Must | 1 | 1 |
| sbol2-10304 | 7.4 | Error | Must | 1 | 1 |
| sbol2-10306 | 7.5 | Error | Must | 1 | 1 |
| sbol2-10307 | 7.5 | Configurable | Must | 1 | 1 |
| sbol2-10401 | 7.6 | Error | Must | 1 | 1 |
| sbol2-10402 | 7.6 | Error | Must | 1 | 1 |
| sbol2-10403 | 7.6 | Error | Must | 1 | 1 |
| sbol2-10405 | 7.6 | Error | Must | 1 | 1 |
| sbol2-10407 | 7.6 | Configurable | Should | 1 | 1 |
| sbol2-10501 | 7.7 | Error | Must | 1 | 1 |
| sbol2-10502 | 7.7 | Error | Must | 1 | 1 |
| sbol2-10503 | 7.7 | Error | Must | 1 | 1 |
| sbol2-10507 | 7.7 | Error | Must | 1 | 1 |
| sbol2-10511 | 7.7 | Configurable | Should | 1 | 1 |
| sbol2-10512 | 7.7 | Error | Must | 1 | 1 |
| sbol2-10513 | 7.7 | Configurable | Must | 1 | 1 |
| sbol2-10516 | 7.7 | Error | Must | 1 | 1 |
| sbol2-10518 | 7.7 | Warning | Should | 1 | 1 |
| sbol2-10519 | 7.7 | Error | Must | 1 | 1 |
| sbol2-10520 | 7.7 | Warning | Should | 1 | 1 |
| sbol2-10521 | 7.7 | Error | Must | 1 | 1 |
| sbol2-10522 | 7.7 | Error | Must | 1 | 1 |
| sbol2-10523 | 7.7 | Warning | Should | 1 | 1 |
| sbol2-10524 | 7.7 | Error | Must | 1 | 1 |
| sbol2-10525 | 7.7 | Configurable | Should | 1 | 1 |
| sbol2-10526 | 7.7 | Error | Must | 1 | 1 |
| sbol2-10527 | 7.7 | Configurable | Should | 1 | 1 |
| sbol2-10528 | 7.7 | Configurable | Should | 1 | 1 |
| sbol2-10529 | 7.7 | Configurable | Should | 1 | 1 |
| sbol2-10602 | 7.7.1 | Error | Must | 1 | 1 |
| sbol2-10603 | 7.7.1 | Error | Must | 1 | 1 |
| sbol2-10604 | 7.7.1 | Configurable | Must | 1 | 1 |
| sbol2-10605 | 7.7.1 | Error | Must | 1 | 1 |
| sbol2-10606 | 7.7.1 | Error | Must | 1 | 1 |
| sbol2-10607 | 7.7.1 | Error | Must | 1 | 1 |
| sbol2-10608 | 7.7.1 | Error | Must | 1 | 1 |
| sbol2-10701 | 7.7.1 | Error | Must | 1 | 1 |
| sbol2-10702 | 7.7.2 | Error | Must | 1 | 1 |
| sbol2-10706 | 7.7.2 | Configurable | Should | 1 | 1 |
| sbol2-10707 | 7.7.2 | Configurable | Should | 1 | 1 |
| sbol2-10708 | 7.7.2 | Error | Must | 1 | 1 |
| sbol2-10709 | 7.7.2 | Error | Must | 1 | 1 |
| sbol2-10710 | 7.7.2 | Error | Must | 1 | 1 |
| sbol2-10711 | 7.7.2 | Warning | Should | 1 | 1 |
| sbol2-10712 | 7.7.2 | Warning | Should | 1 | 1 |
| sbol2-10801 | 7.7.3 | Error | Must | 1 | 1 |
| sbol2-10802 | 7.7.3 | Error | Must | 1 | 1 |
| sbol2-10803 | 7.7.3 | Error | Must | 1 | 1 |
| sbol2-10804 | 7.7.3 | Error | Must | 1 | 1 |
| sbol2-10805 | 7.7.3 | Error | Must | 1 | 1 |
| sbol2-10807 | 7.7.3 | Configurable | Must | 1 | 1 |
| sbol2-10810 | 7.7.3 | Error | Must | 1 | 1 |
| sbol2-10901 | 7.7.4 | Error | Must | 1 | 1 |
| sbol2-10902 | 7.7.4 | Error | Must | 1 | 1 |
| sbol2-10903 | 7.7.4 | Warning | Should | 1 | 1 |
| sbol2-10904 | 7.7.4 | Error | Must | 1 | 1 |
| sbol2-10905 | 7.7.4 | Error | Must | 1 | 1 |
| sbol2-10906 | 7.7.4 | Error | Must | 1 | 1 |
| sbol2-10909 | 7.7.4 | Error | Must | 1 | 1 |
| sbol2-11002 | 7.7.5 | Error | Must | 1 | 1 |
| sbol2-11003 | 7.7.5 | Error | Must | 1 | 1 |
| sbol2-11101 | 7.7.5 | Error | Must | 1 | 1 |
| sbol2-11102 | 7.7.5 | Error | Must | 1 | 1 |
| sbol2-11103 | 7.7.5 | Error | Must | 1 | 1 |
| sbol2-11104 | 7.7.5 | Error | Must | 1 | 1 |
| sbol2-11201 | 7.7.5 | Error | Must | 1 | 1 |
| sbol2-11202 | 7.7.5 | Error | Must | 1 | 1 |
| sbol2-11301 | 7.7.5 | Error | Must | 1 | 1 |
| sbol2-11401 | 7.7.6 | Error | Must | 1 | 1 |
| sbol2-11402 | 7.7.6 | Error | Must | 1 | 1 |
| sbol2-11403 | 7.7.6 | Error | Must | 1 | 1 |
| sbol2-11404 | 7.7.6 | Error | Must | 1 | 1 |
| sbol2-11405 | 7.7.6 | Error | Must | 1 | 1 |
| sbol2-11406 | 7.7.6 | Error | Must | 1 | 1 |
| sbol2-11407 | 7.7.6 | Error | Must | 1 | 1 |
| sbol2-11409 | 7.7.6 | Error | Must | 1 | 1 |
| sbol2-11410 | 7.7.6 | Error | Must | 1 | 1 |
| sbol2-11411 | 7.7.6 | Error | Must | 1 | 1 |
| sbol2-11412 | 7.7.6 | Configurable | Should | 1 | 1 |
| sbol2-11413 | 7.7.6 | Error | Must | 1 | 1 |
| sbol2-11414 | 7.7.6 | Error | Must | 1 | 1 |
| sbol2-11501 | 7.8 | Error | Must | 1 | 1 |
| sbol2-11502 | 7.8 | Error | Must | 1 | 1 |
| sbol2-11504 | 7.8 | Error | Must | 1 | 1 |
| sbol2-11507 | 7.8 | Configurable | Should | 1 | 1 |
| sbol2-11508 | 7.8 | Error | Must | 1 | 1 |
| sbol2-11511 | 7.8 | Configurable | Should | 1 | 1 |
| sbol2-11601 | 7.9 | Error | Must | 1 | 1 |
| sbol2-11602 | 7.9 | Error | Must | 1 | 1 |
| sbol2-11604 | 7.9 | Error | Must | 1 | 1 |
| sbol2-11605 | 7.9 | Error | Must | 1 | 1 |
| sbol2-11606 | 7.9 | Error | Must | 1 | 1 |
| sbol2-11607 | 7.9 | Error | Must | 1 | 1 |
| sbol2-11608 | 7.9 | Configurable | Must | 1 | 1 |
| sbol2-11609 | 7.7.3 | Error | Must | 1 | 1 |
| sbol2-11701 | 7.9.1 | Error | Must | 1 | 1 |
| sbol2-11702 | 7.9.1 | Error | Must | 1 | 1 |
| sbol2-11703 | 7.9.1 | Configurable | Must | 1 | 1 |
| sbol2-11704 | 7.9.1 | Error | Must | 1 | 1 |
| sbol2-11705 | 7.9.1 | Error | Must | 1 | 1 |
| sbol2-11706 | 7.9.1 | Error | Must | 1 | 1 |
| sbol2-11707 | 7.9.1 | Error | Must | 1 | 1 |
| sbol2-11801 | 7.7.1 | Error | Must | 1 | 1 |
| sbol2-11802 | 7.9.2 | Error | Must | 1 | 1 |
| sbol2-11901 | 7.9.3 | Error | Must | 1 | 1 |
| sbol2-11902 | 7.9.3 | Error | Must | 1 | 1 |
| sbol2-11905 | 7.9.3 | Configurable | Should | 1 | 1 |
| sbol2-11906 | 7.9.3 | Error | Must | 1 | 1 |
| sbol2-11907 | 7.9.4 | Configurable | Should | 1 | 1 |
| sbol2-11908 | 7.7.1 | Error | Must | 1 | 1 |
| sbol2-12001 | 7.9.4 | Error | Must | 1 | 1 |
| sbol2-12002 | 7.9.4 | Error | Must | 1 | 1 |
| sbol2-12003 | 7.9.4 | Error | Must | 1 | 1 |
| sbol2-12004 | 7.9.4 | Error | Must | 1 | 1 |
| sbol2-12007 | 7.9.4 | Configurable | Should | 1 | 1 |
| sbol2-12008 | 7.9.4 | Error | Must | 1 | 1 |
| sbol2-12101 | 7.10 | Error | Must | 1 | 1 |
| sbol2-12102 | 7.10 | Error | Must | 1 | 1 |
| sbol2-12103 | 7.10 | Configurable | Must | 1 | 1 |
| sbol2-12301 | 7.14.2 | Error | Must | 1 | 1 |
| sbol2-12302 | 7.14.2 | Error | Must | 1 | 1 |
| sbol2-12303 | 7.14.2 | Error | Must | 1 | 1 |
| sbol2-12401 | 12.8.1 | Error | Must | 1 | 1 |
| sbol2-12402 | 12.8.1 | Error | Must | 1 | 1 |
| sbol2-12403 | 12.8.1 | Error | Must | 1 | 1 |
| sbol2-12404 | 12.8.1 | Error | Must | 1 | 1 |
| sbol2-12405 | 12.8.1 | Error | Must | 1 | 1 |
| sbol2-12406 | 12.8.1 | Error | Must | 1 | 1 |
| sbol2-12407 | 12.8.1 | Configurable | Must | 1 | 1 |
| sbol2-12408 | 12.8.1 | Warning | Should | 1 | 1 |
| sbol2-12409 | 12.8.1 | Warning | Should | 1 | 1 |
| sbol2-12410 | 12.8.1 | Warning | Should | 1 | 1 |
| sbol2-12411 | 12.8.1 | Warning | Should | 1 | 1 |
| sbol2-12412 | 12.8.1 | Error | Must | 1 | 1 |
| sbol2-12501 | 12.8.3 | Error | Must | 1 | 1 |
| sbol2-12502 | 12.8.3 | Error | Must | 1 | 1 |
| sbol2-12503 | 12.8.3 | Error | Must | 1 | 1 |
| sbol2-12504 | 12.8.3 | Warning | Should | 1 | 1 |
| sbol2-12505 | 12.8.3 | Warning | Should | 1 | 1 |
| sbol2-12506 | 12.8.3 | Warning | Should | 1 | 1 |
| sbol2-12507 | 12.8.3 | Warning | Should | 1 | 1 |
| sbol2-12601 | 12.8.2 | Error | Must | 1 | 1 |
| sbol2-12602 | 12.8.2 | Error | Must | 1 | 1 |
| sbol2-12603 | 12.8.2 | Error | Must | 1 | 1 |
| sbol2-12604 | 12.8.2 | Configurable | Must | 1 | 1 |
| sbol2-12605 | 12.8.2 | Error | Must | 1 | 1 |
| sbol2-12606 | 12.8.2 | Configurable | Must | 1 | 1 |
| sbol2-12701 | 12.8.4 | Error | Must | 1 | 1 |
| sbol2-12801 | 12.8.5 | Error | Must | 1 | 1 |
| sbol2-12901 | 7.11 | Error | Must | 1 | 1 |
| sbol2-12902 | 7.11 | Error | Must | 1 | 1 |
| sbol2-12903 | 7.11 | Error | Must | 1 | 1 |
| sbol2-12904 | 7.11 | Error | Must | 1 | 1 |
| sbol2-12905 | 7.11 | Configurable | Must | 1 | 1 |
| sbol2-12906 | 7.11 | Error | Must | 1 | 1 |
| sbol2-12907 | 7.11 | Error | Must | 1 | 1 |
| sbol2-12909 | 7.11 | Warning | Should | 1 | 1 |
| sbol2-12910 | 7.11 | Warning | Should | 1 | 1 |
| sbol2-12911 | 7.11 | Warning | Should | 1 | 1 |
| sbol2-12912 | 7.11 | Warning | Should | 1 | 1 |
| sbol2-12913 | 7.11 | Warning | Should | 1 | 1 |
| sbol2-12914 | 7.11 | Error | Must | 1 | 1 |
| sbol2-13001 | 7.11.1 | Error | Must | 1 | 1 |
| sbol2-13002 | 7.11.1 | Error | Must | 1 | 1 |
| sbol2-13003 | 7.11.1 | Error | Must | 1 | 1 |
| sbol2-13004 | 7.11.1 | Error | Must | 1 | 1 |
| sbol2-13006 | 7.11.1 | Warning | Should | 1 | 1 |
| sbol2-13007 | 7.11.1 | Error | Must | 1 | 1 |
| sbol2-13008 | 7.11.1 | Configurable | Must | 1 | 1 |
| sbol2-13009 | 7.11.1 | Error | Must | 1 | 1 |
| sbol2-13010 | 7.11.1 | Configurable | Must | 1 | 1 |
| sbol2-13012 | 7.11.1 | Configurable | Must | 1 | 1 |
| sbol2-13013 | 7.11.1 | Error | Must | 1 | 1 |
| sbol2-13014 | 7.11.1 | Configurable | Must | 1 | 1 |
| sbol2-13015 | 7.11.1 | Error | Must | 1 | 1 |
| sbol2-13018 | 7.11.1 | Warning | Should | 1 | 1 |
| sbol2-13019 | 7.11.1 | Warning | Should | 1 | 1 |
| sbol2-13020 | 7.11.1 | Warning | Should | 1 | 1 |
| sbol2-13021 | 7.11.1 | Warning | Should | 1 | 1 |
| sbol2-13022 | 7.11.1 | Warning | Should | 1 | 1 |
| sbol2-13101 | 7.12 | Error | Must | 1 | 1 |
| sbol2-13102 | 7.12 | Error | Must | 1 | 1 |
| sbol2-13103 | 7.12 | Configurable | Must | 1 | 1 |
| sbol2-13201 | 7.13 | Error | Must | 1 | 1 |
| sbol2-13202 | 7.13 | Error | Must | 1 | 1 |
| sbol2-13204 | 7.13 | Error | Must | 1 | 1 |
| sbol2-13206 | 7.13 | Configurable | Should | 1 | 1 |
| sbol2-13207 | 7.13 | Error | Must | 1 | 1 |
| sbol2-13208 | 7.13 | Error | Must | 1 | 1 |
| sbol2-13301 | 7.14 | Error | Must | 1 | 1 |
| sbol2-13401 | 7.15 | Error | Must | 1 | 1 |
| sbol2-13402 | 7.15 | Error | Must | 1 | 1 |
| sbol2-13404 | 7.15 | Error | Must | 1 | 1 |
| sbol2-13501 | 13.2.1 | Error | Must | 1 | 1 |
| sbol2-13502 | 13.2.1 | Error | Must | 1 | 1 |
| sbol2-13503 | 13.2.1 | Error | Must | 1 | 1 |
| sbol2-13504 | 13.2.1 | Error | Must | 1 | 1 |
| sbol2-13505 | 13.2.1 | Configurable | Should | 1 | 1 |
| sbol2-13506 | 13.2.1 | Error | Must | 1 | 1 |
Totals: 222 machine-checkable rules, 222 negative cases, 222 positive cases.