BLD-6 is met by halcompat::isCompatible(); diagram says where a mismatch is rejected
Make requirement IDs clickable: anchor each row, link every reference
Link every open ticket; BLD-5 met (linux_binder_idl#62 fixed by PR #63)
Say released, not frozen: every version is released the same way; the era changes the compatibility rule
VER-5 is met; build files out of the snapshot are VER-9 (#828)
Fold the requirements into HAL Version Use Cases; remove the separate page
Add HAL Version Requirements (draft); tag each use case with its requirements
Add HAL Version Use Cases; write the Presentation skew diagram in 4-part versions