qedgen-auditor

用途：对 Solana 程序做安全审计，覆盖 Anchor、Pinocchio、原生 Rust 以及 qedgen 生成的程序，核心原则是不把未验证的模式匹配当作已确认漏洞，并将证据状态与影响分级分开。\n\n主要能力：提供标准、快速、高保障三类审计配置；按源码审查、普通探测、编译、Mollusk、Miri、Crucible 等独立通道记录结果，单一通道失败不会取消不变量提取，也不等于不存在缺陷。可从源码、测试与文档中提取领域档案（domain dossier），生成并校验 domain-dossier.json、run-manifest.json、spec-handoff.json、domain-sequences.json 等工件；使用 qedgen probe、ratify、verify 等命令推进工作流。\n\n使用方式：先指定具体程序根目录并运行 preflight 脚本，例如 <skill-root>/scripts/preflight.sh --root <program-root> [--spec <path>] [--qedgen <binary>]，编译检测需追加 --compile。随后按 qedgen probe --spec <path> 或 qedgen probe --bootstrap --root <program-root> 建立工作清单，并用 <skill-root>/scripts/check-domain-artifacts.sh 校验各工件。HIGH 与 CRITICAL 发现需在 target/qedgen-repros/audit/<finding-id>.rs 写复现器，再运行 qedgen verify --probe-repros --json。\n\n适用场景：需要对 Solana 程序做系统化安全审查、复现验证与规范回归保护的团队。\n\n限制：缺少或过期的 QEDGen 会将审计降级为只读源码审查；程序构建失败会阻止 Mollusk 复现器运行，但不抹除源码已建立的证据；并行审计工作器仅在场地允许且获授权时使用；不得发布第三方高危发现，应建议负责任披露；未获用户另行要求，不得修改被审计程序。部分工件结构与厂商策略等事实暂未提供。