section_plan --print-weights accepts a runner with zero section labels (label floor collapses to 0)
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
- 难度
- 3/5
- 预计耗时
- 1-2 天
- 新手友好度
- 78/100
- Issue 类型
- 缺陷
- 描述清晰度
- 描述清楚
- 活跃度
- 活跃
- 技术栈
- shell
- 领域
- testing-qa, tooling
调研方向
Start with tools/section_plan.sh and run the supplied Python reproduction to confirm the zero-label case. Inspect the script's --print-weights and --selftest paths; done means a zero-label runner or log below the fixed floor returns rc 1 with "vacuous", and a selftest covers the zero-label runner.
由索引模型根据 Issue 内容生成。
描述
Found by a blind critic on PR #1310. The same result on main 7706607: this is pre-existing.
tools/section_plan.sh --print-weights derives its distinct-label floor from the runner. When the runner has zero section labels, the threshold collapses to zero. A fabricated 50-row timing log is then accepted, and a weights table is emitted for a runner with nothing in it.
Repro: python3 /tmp/sp-critic/repro_vacuity.py tools/section_plan.sh (rc 0 on head and on base).
Done when:
-
--print-weightsrefuses (rc 1, "vacuous") when the runner yields zero labels, or when the log matches fewer than a fixed floor of the runner's labels - a
--selftestcase plants the zero-label runner and names this check
- 主要语言
- C
- 星标
- 3
- 派生
- 7
- 平均合并
- 4 小时 15 分钟
- 30 天内合并 PR
- 106
环境准备
在浏览器里用你自己的 GitHub 账号启动这个项目的开发容器。
- 提供 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
InauguralSystems/EigenScript 的其他 Issue
-
area:lint-tooling bug
难度 2/5 1-3 小时 新手友好度 88/100
InauguralSystems/EigenScript#1340 ·
维护者通常 1 天内回复
-
area:stdlib found-by:code-review kind:silent-wrong
难度 2/5 1-3 小时 新手友好度 88/100
InauguralSystems/EigenScript#1338 ·
维护者通常 1 天内回复
-
area:lint-tooling found-by:critic kind:docs-drift
难度 2/5 1-3 小时 新手友好度 76/100
InauguralSystems/EigenScript#1335 ·
维护者通常 1 天内回复
-
area:ci found-by:critic kind:gate-defect
难度 2/5 1-3 小时 新手友好度 86/100
InauguralSystems/EigenScript#1311 ·
维护者通常 1 天内回复
-
enrolment: decide test_gc_runner_controls.py (exempt vs enrol) and whether floors need a ratchet未关闭area:gates found-by:critic kind:decision
难度 2/5 1-3 小时 新手友好度 65/100
InauguralSystems/EigenScript#1280 · 1 条评论 ·
维护者通常 1 天内回复
查看 InauguralSystems/EigenScript 的全部 Issue
相似的 Issue
-
bug needs triage
难度 2/5 1-3 小时 新手友好度 78/100
netdata/netdata#24062 · 1 条评论 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 76/100
-
难度 2/5 1-3 小时 新手友好度 88/100
BasedHardware/omi#19463 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 72/100
EchoTools/nevr-runtime#30 ·
-
难度 2/5 1-3 小时 新手友好度 88/100
riscv-software-src/riscv-isa-sim#2448 ·
维护者通常 2 天内回复