Siblings of #4725: readiness report inputs
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
调研方向
The work touches the per-estate readiness report, which reads from cics_census.blockers() and proof_blockers.py; the issue asks for a new proof-level ranking section and for narrowing the oracle-caveat list to reached entries. It depends on the evidence report described in definition_of_done.md section 3, which the payload does not show, and on the sibling issue #4725. Done means both sections render in the report and the caveat list reflects reached entries only, which likely needs a test on a burned estate.
由索引模型根据 Issue 内容生成。
描述
Siblings of #4725 (class: readiness report inputs — what the per-estate readiness report reads from committed tool outputs). Found in the review of PR #5228.
- Proof-level ranking: the report ranks the rules that stop programs translating whole (
cics_census.blockers()), but not what stops a whole program from being proven (proof_blockers.py). Add that ranking as its own section. (#6251) - Reached caveats: the oracle-caveat list is an upper bound (every register entry a program's commands name). Narrow it to the entries a program actually reaches once the evidence report measures that (definition_of_done.md section 3).
Not a gap (policy): non-burned estates get no per-program report.
Siblings: #4725
🤖 Generated with Claude Code
- 主要语言
- Python
- 星标
- 57
- 派生
- 11
- 平均合并
- 1 小时 26 分钟
- 30 天内合并 PR
- 974
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
squid-protocol/gitgalaxy 的其他 Issue
-
claim:melek scope:core
难度 4/5 3-5 天 新手友好度 28/100
squid-protocol/gitgalaxy#7475 · 1 条评论 ·
维护者通常 1 天内回复
-
enhancement priority: medium scope:infra
难度 5/5 一周以上 新手友好度 8/100
squid-protocol/gitgalaxy#7455 ·
维护者通常 1 天内回复
-
priority: medium refactor scope:infra
难度 5/5 一周以上 新手友好度 8/100
squid-protocol/gitgalaxy#7444 ·
维护者通常 1 天内回复
-
claim:melek legacy-modernization priority: high scope:core testing
难度 4/5 3-5 天 新手友好度 12/100
squid-protocol/gitgalaxy#7434 · 14 条评论 ·
维护者通常 1 天内回复
-
bug legacy-modernization priority: high scope:core
难度 3/5 1-2 天 新手友好度 63/100
squid-protocol/gitgalaxy#7375 ·
维护者通常 1 天内回复
查看 squid-protocol/gitgalaxy 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 75/100
sususweet/midea_auto_cloud#285 ·
维护者通常 1 天内回复
-
Short positive Table maxlen values produce oversized cells可能已有人在做 @Gambit-Checkmate 今天认领。 未关闭
难度 2/5 1-3 小时 新手友好度 72/100
维护者通常 18 天内回复
-
难度 1/5 1-3 小时 新手友好度 68/100
MangasMango/bound-to-rot#41 · 1 条评论 ·
-
breaking change
难度 2/5 1-3 小时 新手友好度 82/100
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 68/100
dwyl/english-words#244 ·