DailyInfo Summary
揭示Verus中正确性反馈可能抹除完整性证据的问题，并提出阶段分离的审计方法来保留并检查证明完整性。
Original Source
摘要用于研究导航；结论、版本与引用信息请以原始来源为准。
技术信息
Stable ID: arxiv-2610.20676
Canonical URL: https://iheadwater.github.io/dailyinfo-web/arxiv/arxiv-2610.20676/
arXiv
When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus
Original Evidence
- Source
- arxiv_cs_ai（外部链接）
- Published
- Technical ID
2610.20676