| ID | Claim | Value | Verified |
|---|---|---|---|
| F1-001 | With 2 channels per side, 2 crossings are parity-consistent | 2 | holds |
| F1-002 | With 3 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-003 | With 4 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-004 | With 5 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-005 | With 6 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-006 | With 2 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-007 | With 3 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-008 | With 4 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-009 | With 5 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-010 | With 6 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-011 | With 2 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-012 | With 3 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-013 | With 4 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-014 | With 5 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-015 | With 6 channels per side, 2 crossings are parity-consistent | 2 | holds |
| F1-016 | With 2 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-017 | With 3 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-018 | With 4 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-019 | With 5 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-020 | With 6 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-021 | With 2 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-022 | With 3 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-023 | With 4 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-024 | With 5 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-025 | With 6 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-026 | With 2 channels per side, 2 crossings are parity-consistent | 2 | holds |
| F1-027 | With 3 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-028 | With 4 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-029 | With 5 channels per side, 2 crossings are parity-consistent | 2 | holds |
| F1-030 | With 6 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-031 | With 2 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-032 | With 3 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-033 | With 4 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-034 | With 5 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-035 | With 6 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-036 | With 2 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-037 | With 3 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-038 | With 4 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-039 | With 5 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-040 | With 6 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-041 | With 2 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-042 | With 3 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-043 | With 4 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-044 | With 5 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-045 | With 6 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-046 | With 2 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-047 | With 3 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-048 | With 4 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-049 | With 5 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-050 | With 6 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-051 | With 2 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-052 | With 3 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-053 | With 4 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-054 | With 5 channels per side, 2 crossings are parity-consistent | 2 | holds |
| F1-055 | With 6 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-056 | With 2 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-057 | With 3 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-058 | With 4 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-059 | With 5 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-060 | With 6 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-061 | With 2 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-062 | With 3 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-063 | With 4 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-064 | With 5 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-065 | With 6 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-066 | With 2 channels per side, 2 crossings are parity-consistent | 2 | holds |
| F1-067 | With 3 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-068 | With 4 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-069 | With 5 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-070 | With 6 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-071 | With 2 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-072 | With 3 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-073 | With 4 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-074 | With 5 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-075 | With 6 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-076 | With 2 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-077 | With 3 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-078 | With 4 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-079 | With 5 channels per side, 3 crossings are parity-consistent | 3 | holds |
| F1-080 | With 6 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-081 | With 2 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-082 | With 3 channels per side, 2 crossings are parity-consistent | 2 | holds |
| F1-083 | With 4 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-084 | With 5 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-085 | With 6 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-086 | With 2 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-087 | With 3 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-088 | With 4 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-089 | With 5 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-090 | With 6 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-091 | With 2 channels per side, 2 crossings are parity-consistent | 2 | holds |
| F1-092 | With 3 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-093 | With 4 channels per side, 2 crossings are parity-consistent | 2 | holds |
| F1-094 | With 5 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-095 | With 6 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-096 | With 2 channels per side, 0 crossings are parity-consistent | 0 | holds |
| F1-097 | With 3 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-098 | With 4 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-099 | With 5 channels per side, 1 crossings are parity-consistent | 1 | holds |
| F1-100 | With 6 channels per side, 1 crossings are parity-consistent | 1 | holds |
A failing entry is not a defect in the code — it is a case where the stated inequality does not hold over the full range, which bounds the claim's domain of validity. Those cases are kept.
Incoprea Research · study 10, 1,000 verified claims · 3 November 2026. Computation only.