Documenting LDB-F08 and Retest Proof