Shannon Prover固定源码与项目级入口
源码声明支持游戏/辅助引理分解与证明搜索，提供安装、隔离benchmark及完整文件再检查入口。
原文位置：What does Shannon automate / Install / Project-level proving / Benchmark guide
不能据此推出：比v1论文任务更宽的源码能力声明须另验证；Linux严格评估需bubblewrap，未安装或调用。
核查 2026-10-20 · 所属资料版本 2026-10-21.workunits.2 · 来源ID WU-M-SHANNON-CODE
实际引用在哪里
密码安全论证包：威胁模型、协议与证明/攻击对照 →
当前实现可检查及运行入口。
关系：直接对应