Parity Matrix Coverage¶
Which serialization behaviours are covered by tests in every target language, and which are not. A cell is a (backend, behaviour) pair.
Generated by tools/convergence/parity_matrix_report.py.
Summary¶
| Backend | Score | Covered / Total |
|---|---|---|
c |
100 |
8 / 8 |
cpp |
100 |
8 / 8 |
go |
100 |
8 / 8 |
python |
100 |
8 / 8 |
rust |
100 |
8 / 8 |
ts |
100 |
8 / 8 |
Overall matrix score: 100
Integration test names scanned: 200
Test-source scan: ctest --test-dir build/matrix/ci
Gating mode: structural — coverage is inferred from registered test names. Supply --ctest-junit for behavioral (executed pass/fail) gating.
Mode meanings:
fixture: category-specific lane(s) exist for this backend/family.corpus: broad corpus parity lane used as coverage evidence for this family.
c¶
| Family | Mode | Status | Evidence |
|---|---|---|---|
Scalar |
fixture |
covered |
llvmdsdl-signed-narrow-c-python-parity, llvmdsdl-signed-narrow-c-python-parity-optimized, llvmdsdl-signed-narrow-c-python-parity-runtime-fast, llvmdsdl-signed-narrow-c-ts-parity, llvmdsdl-signed-narrow-c-ts-parity-optimized |
Fixed array |
fixture |
covered |
llvmdsdl-fixtures-c-python-fixed-array-parity, llvmdsdl-fixtures-c-python-fixed-array-parity-optimized, llvmdsdl-fixtures-c-ts-composite-fixed-array-parity |
Variable array |
fixture |
covered |
llvmdsdl-fixtures-c-python-variable-array-parity, llvmdsdl-fixtures-c-python-variable-array-parity-optimized, llvmdsdl-fixtures-c-ts-variable-array-parity |
Union |
fixture |
covered |
llvmdsdl-fixtures-c-python-union-parity, llvmdsdl-fixtures-c-python-union-parity-optimized, llvmdsdl-fixtures-c-ts-union-parity |
Delimited |
fixture |
covered |
llvmdsdl-fixtures-c-python-delimited-parity, llvmdsdl-fixtures-c-python-delimited-parity-optimized, llvmdsdl-fixtures-c-ts-delimited-parity |
Service |
fixture |
covered |
llvmdsdl-fixtures-c-python-service-parity, llvmdsdl-fixtures-c-python-service-parity-optimized, llvmdsdl-fixtures-c-ts-service-parity |
Truncated decode |
fixture |
covered |
llvmdsdl-fixtures-c-python-truncated-decode-parity, llvmdsdl-fixtures-c-python-truncated-decode-parity-optimized, llvmdsdl-fixtures-c-ts-truncated-decode-parity |
Padding/alignment |
fixture |
covered |
llvmdsdl-fixtures-c-python-padding-alignment-parity, llvmdsdl-fixtures-c-python-padding-alignment-parity-optimized, llvmdsdl-fixtures-c-ts-padding-alignment-parity |
cpp¶
| Family | Mode | Status | Evidence |
|---|---|---|---|
Scalar |
fixture |
covered |
llvmdsdl-signed-narrow-cpp-c-parity, llvmdsdl-signed-narrow-cpp-c-parity-optimized |
Fixed array |
corpus |
covered |
llvmdsdl-uavcan-cpp-c-parity, llvmdsdl-uavcan-cpp-c-parity-optimized |
Variable array |
corpus |
covered |
llvmdsdl-uavcan-cpp-c-parity, llvmdsdl-uavcan-cpp-c-parity-optimized |
Union |
corpus |
covered |
llvmdsdl-uavcan-cpp-c-parity, llvmdsdl-uavcan-cpp-c-parity-optimized |
Delimited |
corpus |
covered |
llvmdsdl-uavcan-cpp-c-parity, llvmdsdl-uavcan-cpp-c-parity-optimized |
Service |
corpus |
covered |
llvmdsdl-uavcan-cpp-c-parity, llvmdsdl-uavcan-cpp-c-parity-optimized |
Truncated decode |
corpus |
covered |
llvmdsdl-uavcan-cpp-c-parity, llvmdsdl-uavcan-cpp-c-parity-optimized |
Padding/alignment |
corpus |
covered |
llvmdsdl-uavcan-cpp-c-parity, llvmdsdl-uavcan-cpp-c-parity-optimized |
go¶
| Family | Mode | Status | Evidence |
|---|---|---|---|
Scalar |
fixture |
covered |
llvmdsdl-signed-narrow-c-go-parity, llvmdsdl-signed-narrow-c-go-parity-optimized |
Fixed array |
corpus |
covered |
llvmdsdl-uavcan-c-go-parity, llvmdsdl-uavcan-c-go-parity-optimized |
Variable array |
corpus |
covered |
llvmdsdl-uavcan-c-go-parity, llvmdsdl-uavcan-c-go-parity-optimized |
Union |
corpus |
covered |
llvmdsdl-uavcan-c-go-parity, llvmdsdl-uavcan-c-go-parity-optimized |
Delimited |
corpus |
covered |
llvmdsdl-uavcan-c-go-parity, llvmdsdl-uavcan-c-go-parity-optimized |
Service |
corpus |
covered |
llvmdsdl-uavcan-c-go-parity, llvmdsdl-uavcan-c-go-parity-optimized |
Truncated decode |
corpus |
covered |
llvmdsdl-uavcan-c-go-parity, llvmdsdl-uavcan-c-go-parity-optimized |
Padding/alignment |
corpus |
covered |
llvmdsdl-uavcan-c-go-parity, llvmdsdl-uavcan-c-go-parity-optimized |
python¶
| Family | Mode | Status | Evidence |
|---|---|---|---|
Scalar |
fixture |
covered |
llvmdsdl-fixtures-c-python-bigint-parity, llvmdsdl-fixtures-c-python-bigint-parity-optimized, llvmdsdl-fixtures-c-python-float-parity, llvmdsdl-fixtures-c-python-float-parity-optimized, llvmdsdl-signed-narrow-c-python-parity, llvmdsdl-signed-narrow-c-python-parity-optimized, llvmdsdl-signed-narrow-c-python-parity-runtime-fast |
Fixed array |
fixture |
covered |
llvmdsdl-fixtures-c-python-fixed-array-parity, llvmdsdl-fixtures-c-python-fixed-array-parity-optimized |
Variable array |
fixture |
covered |
llvmdsdl-fixtures-c-python-variable-array-parity, llvmdsdl-fixtures-c-python-variable-array-parity-optimized |
Union |
fixture |
covered |
llvmdsdl-fixtures-c-python-union-parity, llvmdsdl-fixtures-c-python-union-parity-optimized |
Delimited |
fixture |
covered |
llvmdsdl-fixtures-c-python-delimited-parity, llvmdsdl-fixtures-c-python-delimited-parity-optimized |
Service |
fixture |
covered |
llvmdsdl-fixtures-c-python-service-parity, llvmdsdl-fixtures-c-python-service-parity-optimized |
Truncated decode |
fixture |
covered |
llvmdsdl-fixtures-c-python-truncated-decode-parity, llvmdsdl-fixtures-c-python-truncated-decode-parity-optimized |
Padding/alignment |
fixture |
covered |
llvmdsdl-fixtures-c-python-padding-alignment-parity, llvmdsdl-fixtures-c-python-padding-alignment-parity-optimized |
rust¶
| Family | Mode | Status | Evidence |
|---|---|---|---|
Scalar |
fixture |
covered |
llvmdsdl-signed-narrow-c-rust-parity, llvmdsdl-signed-narrow-c-rust-parity-inline-then-pool, llvmdsdl-signed-narrow-c-rust-parity-no-std-alloc, llvmdsdl-signed-narrow-c-rust-parity-no-std-runtime-fast-inline-then-pool, llvmdsdl-signed-narrow-c-rust-parity-optimized, llvmdsdl-signed-narrow-c-rust-parity-runtime-fast |
Fixed array |
corpus |
covered |
llvmdsdl-uavcan-c-rust-parity, llvmdsdl-uavcan-c-rust-parity-inline-then-pool, llvmdsdl-uavcan-c-rust-parity-no-std-alloc, llvmdsdl-uavcan-c-rust-parity-no-std-runtime-fast, llvmdsdl-uavcan-c-rust-parity-no-std-runtime-fast-inline-then-pool, llvmdsdl-uavcan-c-rust-parity-optimized, llvmdsdl-uavcan-c-rust-parity-runtime-fast |
Variable array |
corpus |
covered |
llvmdsdl-uavcan-c-rust-parity, llvmdsdl-uavcan-c-rust-parity-inline-then-pool, llvmdsdl-uavcan-c-rust-parity-no-std-alloc, llvmdsdl-uavcan-c-rust-parity-no-std-runtime-fast, llvmdsdl-uavcan-c-rust-parity-no-std-runtime-fast-inline-then-pool, llvmdsdl-uavcan-c-rust-parity-optimized, llvmdsdl-uavcan-c-rust-parity-runtime-fast |
Union |
corpus |
covered |
llvmdsdl-uavcan-c-rust-parity, llvmdsdl-uavcan-c-rust-parity-inline-then-pool, llvmdsdl-uavcan-c-rust-parity-no-std-alloc, llvmdsdl-uavcan-c-rust-parity-no-std-runtime-fast, llvmdsdl-uavcan-c-rust-parity-no-std-runtime-fast-inline-then-pool, llvmdsdl-uavcan-c-rust-parity-optimized, llvmdsdl-uavcan-c-rust-parity-runtime-fast |
Delimited |
corpus |
covered |
llvmdsdl-uavcan-c-rust-parity, llvmdsdl-uavcan-c-rust-parity-inline-then-pool, llvmdsdl-uavcan-c-rust-parity-no-std-alloc, llvmdsdl-uavcan-c-rust-parity-no-std-runtime-fast, llvmdsdl-uavcan-c-rust-parity-no-std-runtime-fast-inline-then-pool, llvmdsdl-uavcan-c-rust-parity-optimized, llvmdsdl-uavcan-c-rust-parity-runtime-fast |
Service |
corpus |
covered |
llvmdsdl-uavcan-c-rust-parity, llvmdsdl-uavcan-c-rust-parity-inline-then-pool, llvmdsdl-uavcan-c-rust-parity-no-std-alloc, llvmdsdl-uavcan-c-rust-parity-no-std-runtime-fast, llvmdsdl-uavcan-c-rust-parity-no-std-runtime-fast-inline-then-pool, llvmdsdl-uavcan-c-rust-parity-optimized, llvmdsdl-uavcan-c-rust-parity-runtime-fast |
Truncated decode |
corpus |
covered |
llvmdsdl-uavcan-c-rust-parity, llvmdsdl-uavcan-c-rust-parity-inline-then-pool, llvmdsdl-uavcan-c-rust-parity-no-std-alloc, llvmdsdl-uavcan-c-rust-parity-no-std-runtime-fast, llvmdsdl-uavcan-c-rust-parity-no-std-runtime-fast-inline-then-pool, llvmdsdl-uavcan-c-rust-parity-optimized, llvmdsdl-uavcan-c-rust-parity-runtime-fast |
Padding/alignment |
corpus |
covered |
llvmdsdl-uavcan-c-rust-parity, llvmdsdl-uavcan-c-rust-parity-inline-then-pool, llvmdsdl-uavcan-c-rust-parity-no-std-alloc, llvmdsdl-uavcan-c-rust-parity-no-std-runtime-fast, llvmdsdl-uavcan-c-rust-parity-no-std-runtime-fast-inline-then-pool, llvmdsdl-uavcan-c-rust-parity-optimized, llvmdsdl-uavcan-c-rust-parity-runtime-fast |
ts¶
| Family | Mode | Status | Evidence |
|---|---|---|---|
Scalar |
fixture |
covered |
llvmdsdl-fixtures-c-ts-bigint-parity, llvmdsdl-fixtures-c-ts-float-parity |
Fixed array |
fixture |
covered |
llvmdsdl-fixtures-c-ts-composite-fixed-array-parity |
Variable array |
fixture |
covered |
llvmdsdl-fixtures-c-ts-composite-variable-array-parity, llvmdsdl-fixtures-c-ts-variable-array-parity |
Union |
fixture |
covered |
llvmdsdl-fixtures-c-ts-union-array-parity, llvmdsdl-fixtures-c-ts-union-composite-parity, llvmdsdl-fixtures-c-ts-union-parity |
Delimited |
fixture |
covered |
llvmdsdl-fixtures-c-ts-delimited-invalid-header-parity, llvmdsdl-fixtures-c-ts-delimited-parity |
Service |
fixture |
covered |
llvmdsdl-fixtures-c-ts-service-parity |
Truncated decode |
fixture |
covered |
llvmdsdl-fixtures-c-ts-truncated-decode-parity |
Padding/alignment |
fixture |
covered |
llvmdsdl-fixtures-c-ts-padding-alignment-parity |
Missing Cells¶
None.