证据包

证据包是一个自描述的目录，包含统计表、无障碍 SVG 图形，以及被排除或保留行的补充材料， 全部派生自一次已完成的活动并过滤到某一证据层。DispatchAtlas 将导出的证据组织进这些 分层的包中，使每个包仅暴露其证据层所允许的数据。

🪜 包层级

这四个层标识符来自一套固定的公开安全词汇。每一层都是一个可执行的披露策略，而非编辑性 标签：

每个包都从与其表格和图形相同的、经层过滤的数据集生成，因此低层导出无法显露高层机制、 部署主张或被保留的行。过滤器失败时关闭：一个会在较低层下暴露较后层机制的导出会抛出 错误，而非泄漏。某策略禁止的行将被排除，并连同原因写入一份补充排除清单。

📁 包内容

一个包包含：

• 统计表（求解器摘要、成对比较、排名、基准覆盖、不可行行），
• 无障碍 SVG 图形，并附一份图形清单，记录每个图形的角色、出处与无障碍说明，
• 一份补充材料，记录被排除或保留的行以及每个被路由到“局限”的方法，
• bundle.json，列出每个生成文件并对规范清单载荷进行哈希的清单。

完整的包布局以及每个表格与图形背后的统计方法，参见 分析导出。

⚙️ 包如何产生

一次活动通过导出命令为每一层导出一个包：

uv run dispatchatlas export `
  --campaign-dir .\experiments\results\smoke-pilot `
  --target-dir .\experiments `
  --authorized-output-root .\experiments `
  --tier core

该包落在目标工作区下的 evidence-bundles/{campaign_id}-{tier}/——即 实验工作区的策展层。在规模化时， tools/build_campaign_evidence.py 构建候选基准目录、运行已配置的活动、执行分析， 并从一份记录的配置为每一层写出包，外加一个门户数据集：

uv run python tools/build_campaign_evidence.py `
  --output-root .\experiments `
  --problem-count-per-profile 30 `
  --stochastic-seeds 10 `
  --campaign-suffix local

构建器将各阶段进度发往 stderr，涵盖目录物化、活动规划、执行、分析、包导出与报告写入， 并刻意将生成的证据写到 Git 跟踪的源树之外。

✅ 包如何验证

• 清单哈希。 bundle.json 列出每个生成文件并对规范清单载荷进行哈希，因此一个包的 内容可对照其自身清单进行核验。
• 确定性。 对相同输入重新运行相同导出会产生相同的 JSON、表格与图形载荷。
• 派生而非权威。 一个包始终派生自可复现性层中的运行级记录——绝非独立的真相来源—— 而那些记录本身经内容哈希，并可通过活动引擎进行重放验证。
• 受关卡的提升。 包仅通过发布就绪中所述的发布与披露 关卡才到达公开面。

这些证据层映射到 ACM 产物评审与徽章词汇表 1.1 版（2020），并与 López-Ibáñez、Branke 与 Paquete（2021）的随机优化指南对照阅读。任何一层的包，连同其内容哈希的 bundle.json 与 图形清单，都已就绪可获得“产物已评估——功能性（Artifacts Evaluated — Functional）”徽章； 一个通过公开门户发布的包已就绪可获得“产物可获取（Artifacts Available）”；一个完整活动包， 其可复现性清单钉住种子、环境、运行下限以及预算与调优对等，已就绪可获得“结果已复现 （Results Reproduced）”。“结果已复制（Results Replicated）”要求一个仅从书面方法描述构建的 独立实现，这是任何平台都无法对自身授予的——在此陈述以使该映射保持诚实。

🌐 门户消费什么

结果门户消费同一导出路径产生的门户数据集 （portal-results.json 加一个 CSV 索引）——可搜索标签、披露标签、目标值、运行 id 与 哈希关联的活动元数据——由 tools/build_site_assets.py 渲染为静态站点资产。门户从不 读取实验工作区，也不运行活动；它仅呈现已提交、经披露过滤的导出。