区分工作流声明与实际令牌权限

先让声明审查有用，再得出结论

把权限声明写明确是一项具体维护任务。Viper 问题涉及三个工作流中的六个 job；本地审查可以指出哪些 job 继承策略、哪些有自己的映射，却不能证明报告者的漏洞主张、检查实际令牌或在未记录仓库设置的文件里补出设置。

T303 记录单份真实快照及其哈希。这个边界有实际价值：未知默认值成为可见待审项，不是猜测授权；用户默认值带着未经验证的来源标志。交给了解仓库配置的维护者时，结果仍然可以正确理解。

策略替换与累积授权不同

workflow 和 job 映射不是两份可以求并集的清单。已核验样本里，deploy 要求 id-token: write，不继承 workflow 的 contents: read，省略的 contents 为 none。empty 使用 {}，具有明确的全部 none 策略。简单收集每个权限词会丢掉这种语义。

被选中的策略旁应保留来源。全局模式也要保留字面声明：read-all 或 write-all 的 scopes=null 说明工具没有假装枚举实时权限。策略可以声明完整，同时运行限制仍未知。

未解依赖也值得一条记录

删除缺失目标或矩阵表达式会让图看起来整洁，却让审查不准确。完整导出保留所有 needs，区分缺失/表达式问题和精确已有 ID 的边。每个 job/step uses、原条件和矩阵同样保留，不运行。

六 job 示例包含一个两成员环和一个下游依赖；只有 cycleA/cycleB 属于环。下游仍需检查，因为它引用了缺失 job 与未解表达式。交接时这些问题应保持可区分。

• 把包括 run 文本的原 job 映射与推导字段一同保留。
• 形成声明报告不需要访问本地或远程动作路径。
• 把用户默认值当作上下文，而非已验证的仓库设置。
• 不同工作流使用不同快照，不推断跨文件运行行为。

有界预览仍可交付完整审查

较大工作流的数据可能超过窄屏能展示的范围。预览限制行和单元格，下载 JSON/CSV 保留所有 job。独立读回会重算权限来源、全部声明/边/uses，检查每个 CSV 行，包括真实合并的 1,000 job/10,000 边/10,000 uses 输入。

明确拒绝同样是可靠交接的一部分。不支持集合、重复键与循环别名不能变成貌似空的成功。多文档整体失败，不会静默忽略后面的工作流。5MiB 以内的源文件仍可能超过独立的 10MiB 下载预算。失败或真实取消后修正源文件，或重跑同一支持输入；不会提供部分成功工件。