作者提供了源代码、执行日志和复现驱动，使整个证明过程可被独立验证。