"docs/proof_guide.md" did not exist on "125aecf0e662002df0f65600d27d0d44aa63b528"