31 lines
1.4 KiB
JSON
31 lines
1.4 KiB
JSON
[
|
|
{
|
|
"elf": "firmware\\build\\Debug\\AMI_Controller.elf",
|
|
"sha256": "cd3d9ce38757938a9ba898dd9f41dadbb0ee3b484e6de847d26b4c58be2f2d71",
|
|
"result": "passed",
|
|
"checks": [
|
|
"boot unknown speed: grey zero, UART terminator verified",
|
|
"CAN1: 9 zero, asymmetric, rounding and saturation vectors",
|
|
"CAN2: 9 zero, asymmetric, rounding and saturation vectors",
|
|
"8 invalid DLC/format/legacy frames reject without overwriting or refreshing expiry",
|
|
"unrelated SDC/BMS/VCU traffic cannot renew; same-value recovery and white zero work",
|
|
"tick zero and uint32 wrap: independent timeout boundary works"
|
|
],
|
|
"evidence": "ARM emulation with mocked HAL, not physical CAN/HMI"
|
|
},
|
|
{
|
|
"elf": "firmware\\build\\Release\\AMI_Controller.elf",
|
|
"sha256": "4fd3023757769d6cf5ae7bc81f277082abbc4c3db77d779684d536707a206d08",
|
|
"result": "passed",
|
|
"checks": [
|
|
"boot unknown speed: grey zero, UART terminator verified",
|
|
"CAN1: 9 zero, asymmetric, rounding and saturation vectors",
|
|
"CAN2: 9 zero, asymmetric, rounding and saturation vectors",
|
|
"8 invalid DLC/format/legacy frames reject without overwriting or refreshing expiry",
|
|
"unrelated SDC/BMS/VCU traffic cannot renew; same-value recovery and white zero work",
|
|
"tick zero and uint32 wrap: independent timeout boundary works"
|
|
],
|
|
"evidence": "ARM emulation with mocked HAL, not physical CAN/HMI"
|
|
}
|
|
]
|