Siblings of #4725: readiness report inputs
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
調査の方向性
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分
- マージ済み PR（30日）
- 974
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートあり
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- 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 1週間以上 初心者へのやさしさ 8/100
squid-protocol/gitgalaxy#7455 ·
メンテナーはふだん 1 日以内に返信
-
priority: medium refactor scope:infra
難易度 5/5 1週間以上 初心者へのやさしさ 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時間 初心者へのやさしさ 62/100
huggingface/smolagents#3106 ·
メンテナーはふだん 2 日以内に返信
-
area:scripts area:tests bug priority:later
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
Ikalus1988/MisakaNet#4358 ·
メンテナーはふだん 1 日以内に返信
-
Discovered ports from service discovery are never propagated to modules in Module.load()対応中かも @vishalmore90 が今日担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
OWASP/Nettacker#1828 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
aws-samples/sample-per-model-bedrock#708 ·
メンテナーはふだん 1 日以内に返信
-
maintenance
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100