# Header7F executed AXI4-Lite trace evidence

Executed synthetic protocol trace monitor. Not RTL or hardware validation.

Reproduce: node scripts/generate-axi-evidence.mjs
Checker version: 0.1.0

## held-response-pass

Expected and observed: PASS_SELECTED_CHECKS
Input SHA-256: 9a34a9cbdb4fedeac44aa5d3beed18f131e7da458e6e522d0aac83ce6ee40938

No violation observed in the three selected checks.

## data-before-address-pass

Expected and observed: PASS_SELECTED_CHECKS
Input SHA-256: b4d4aa5732205b7b62e2eecf6ae6aa788c7444b52a342cf8c152f8c78def8811

No violation observed in the three selected checks.

## drop-bvalid-fail

Expected and observed: VIOLATIONS_FOUND
Input SHA-256: c61c32ffecab6fe8356c0d13f6181a25550a5d3dc28ca9a66b1d0b207a3aeacd

- Cycle 6: H7F_AXI_BVALID_HOLD — BVALID fell after cycle 5, which had BVALID=1 and BREADY=0.

## change-bresp-fail

Expected and observed: VIOLATIONS_FOUND
Input SHA-256: edddbbec66c4b1557904cc9ae207277b1f165772548584aaf6eac9e93bf95c33

- Cycle 6: H7F_AXI_BRESP_HOLD — BRESP changed from 0 to 2 while a response was awaiting acceptance.

## early-response-fail

Expected and observed: VIOLATIONS_FOUND
Input SHA-256: 6b76f2755ba292bd9af3dbd5979073e7043bd3534521bfd8a918887668cf26bb

- Cycle 3: H7F_AXI_B_AFTER_AW_W — BVALID is asserted without both earlier, unmatched AW and W handshakes.

Read axi-lite-README.txt for exact inputs, protocol references, scope and limitations.
