Pruve - 検証可能な理由とソースリンクで、あらゆるコード行が存在する理由を理解する。