Skip to content

MALFORMED_INPUT_CONTRACT_MATRIX.md

Latest commit

 

History

History
81 lines (59 loc) · 4.11 KB

MALFORMED_INPUT_CONTRACT_MATRIX.md

File metadata and controls

81 lines (59 loc) · 4.11 KB
Raw

Malformed-Input Contract Matrix

Generated by tools/convergence/malformed_contract_matrix_report.py.

Summary

Backend mode family Score Covered / Total
native_c_cpp_go_boundaries 100 5 / 5
python_portable_fast_accel 100 5 / 5
rust_portable_fast 100 5 / 5
ts_portable_fast 100 5 / 5

Overall matrix score: 100 Integration test names scanned: 174 Test-source scan: ctest --test-dir build/matrix/dev-homebrew Gating mode: structural — coverage is inferred from registered test names. Supply --ctest-junit for behavioral (executed pass/fail) gating.

native_c_cpp_go_boundaries

Native C/C++/Go parity lanes enforce malformed decode/capacity behavior compatibility.

Category Status Evidence
Out-of-range bit read/copy handling covered llvmdsdl-uavcan-c-go-parity, llvmdsdl-uavcan-cpp-c-parity
Bit-copy range violation handling covered llvmdsdl-uavcan-c-go-parity, llvmdsdl-uavcan-cpp-c-parity
Invalid union-tag handling covered llvmdsdl-uavcan-c-go-parity, llvmdsdl-uavcan-cpp-c-parity
Invalid delimited-header handling covered llvmdsdl-uavcan-c-go-parity, llvmdsdl-uavcan-cpp-c-parity
Section serialization-capacity precheck covered llvmdsdl-uavcan-c-go-parity, llvmdsdl-uavcan-cpp-c-parity

python_portable_fast_accel

Mode-specific malformed contract validated (portable|fast|accel) with fuzz/parity lanes.

Category Status Evidence
Out-of-range bit read/copy handling covered llvmdsdl-fixtures-python-malformed-decode-fuzz-parity, llvmdsdl-fixtures-python-malformed-input-contract
Bit-copy range violation handling covered llvmdsdl-fixtures-python-malformed-decode-fuzz-parity, llvmdsdl-fixtures-python-malformed-input-contract
Invalid union-tag handling covered llvmdsdl-fixtures-c-python-union-parity
Invalid delimited-header handling covered llvmdsdl-fixtures-c-python-delimited-parity
Section serialization-capacity precheck covered llvmdsdl-fixtures-python-runtime-parity

rust_portable_fast

Rust runtime contract unit tests plus cross-language parity lanes enforce malformed behavior classes.

Category Status Evidence
Out-of-range bit read/copy handling covered llvmdsdl-fixtures-rust-runtime-unit-tests, llvmdsdl-fixtures-rust-runtime-unit-tests-no-std-pool
Bit-copy range violation handling covered llvmdsdl-fixtures-rust-runtime-unit-tests, llvmdsdl-fixtures-rust-runtime-unit-tests-no-std-pool
Invalid union-tag handling covered llvmdsdl-uavcan-c-rust-parity
Invalid delimited-header handling covered llvmdsdl-uavcan-c-rust-parity
Section serialization-capacity precheck covered llvmdsdl-fixtures-rust-runtime-unit-tests

ts_portable_fast

Error-throwing runtime paths validated by TS smoke/parity lanes.

Category Status Evidence
Out-of-range bit read/copy handling covered llvmdsdl-fixtures-c-ts-truncated-decode-parity, llvmdsdl-ts-runtime-truncated-decode-smoke
Bit-copy range violation handling covered llvmdsdl-fixtures-c-ts-truncated-decode-parity, llvmdsdl-ts-runtime-truncated-decode-smoke
Invalid union-tag handling covered llvmdsdl-fixtures-c-ts-union-parity
Invalid delimited-header handling covered llvmdsdl-fixtures-c-ts-delimited-invalid-header-parity, llvmdsdl-ts-runtime-delimited-invalid-header-smoke
Section serialization-capacity precheck covered llvmdsdl-fixtures-c-ts-runtime-parity

Missing Cells

None.

Native Behavior Guards

All checks passed: True

Guard Status Notes
c_go_directed_coverage_summary pass script test/integration/RunCGoParity.cmake
c_rust_directed_markers pass script test/integration/RunCRustParity.cmake
cpp_c_directed_markers pass script test/integration/RunCppCParity.cmake
cpp_c_vs_c_rust_marker_alignment pass -