[cyc6221]

Summary

• The maintainer merged the whole p17 chain (#4440, #4441, #4446, #4447, #4453, #4455, #4470, #4478, #4479) together with about 60 other PRs. #4359 (kappa = 0.0023) is still the selected result, so these stay candidates.
• Note: the status table now lists the merged candidates #4416 (0.00268647) and #4470 (0.00302015, the highest), the #4440 to #4470 section is renamed and reworded as merged, #4479 is added (same kappa, smaller sufficient uniform rank), and the tracking table and caption no longer mention open PRs.
• Card: "Highest open claim: #4470" becomes "Highest merged but not selected: #4470".
• Card: the Status item now carries its update date, "Status (updated 2026-10-22):".
• Repo-stats snapshot for CrocSwap/integer-mult-bounds: 6,229 commits, last commit 2026-10-22.

Commits

1. Mark the p16/p17 candidates (#4440 to #4479) as merged
2. Refresh the repo-stats snapshot for CrocSwap/integer-mult-bounds
3. Show #4470 as merged but not selected on the card
4. Add the update date to the card's Status item
5. Drop the leftover Open wording from the tracking table caption
6. Describe the merged candidates by their ledger status
7. Restore the space before the GitHub link on the #4470 item

Test plan

• bundle exec jekyll build --strict_front_matter passes
• Built pages checked: no leftover "Open candidate" or "Highest open" text, stats show 6,229 commits
• Check the note's status table and the card's Status list after the deploy

Checked against CrocSwap/integer-mult-bounds on 2026-10-22: selected-result.json still says #4359, and the merge timestamps of the p17 chain are 2026-10-22 02:49 UTC.

🤖 Generated with Claude Code

[Copilot]

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

[cyc6221]

Code review

已檢查 PR 的 4 個 commit（integer-mult-bounds.md、repo_stats.yml、OpenAIMath.html），並對照 CrocSwap/integer-mult-bounds 查核。

已驗證

• #4440、#4441、#4446、#4447、#4453、#4455、#4470、#4478、#4479 皆於 UTC 10/22 02:49:06 被合併，與 PR 描述一致；selected-result.json 仍為 #4359（$\kappa=0.0023$），所以它們仍是 candidate，不是 selected。
• #4479：sufficient uniform rank 由 $2^{64215200000000}$ 縮小到 $2^{558100005581}$，$\kappa$ 維持 $0.00302015$，controller 與 invoice 不變，與筆記的描述一致。
• repo_stats.yml 的 6229 commits 與 API 的最後一頁數相符，最後 commit 日期 2026-10-22。
• 目前沒有 $\kappa$ 更高的 open PR，「已 merge 的最高 candidate：#4470（$0.00302015$）」成立；卡片 Status (updated 2026-10-22) 與筆記的狀態表一致。
• CI（jekyll-build）通過，分支已包含最新 main（含 Record the current #109 status on the openai/math card #39）。

建議修正

1. 說明文字沒改乾淨：「追蹤的 PR」表格下方的說明仍寫「Open 表示尚未進入 main」（integer-mult-bounds.md 約第 391 行）。表格已沒有 Open 狀態，這半句可以刪掉；PR 描述寫的是 caption 不再提到 open PR，但這一行沒有改到。

小處（可不改）

• 「尚待 maintainer review」（約第 84、280 行）比實際重：專案 ledger 對 #4440、#4447、#4470 的狀態是 partially reviewed，intake 已有 maintainer 的處置紀錄，只是沒有升為 selected。可改成「partially reviewed，未升為 selected」之類。
• 卡片新的一項寫成 #4470<a class="gh-link"…>，其他項目都是 #4416 <a …>（多一個空格）。.gh-link 有 margin-left: 8px，視覺差異很小，但與其他項目不一致。

尚待確認

• 瀏覽器目視：筆記的狀態表與卡片的 Status 清單。

[cyc6221]

已依上面的 Code review 修正三點，並 push 到這個 PR：

1. 說明文字（37e12b2）：刪掉「追蹤的 PR」表格下方的「Open 表示尚未進入 main」，句子改以「Candidate 是尚未升為 selected 的更大 $\kappa$ 宣稱。」結尾。
2. 措辭（79f52f4）：兩處「尚待 maintainer review」（原第 84、280 行）改成 ledger 的狀態 partially reviewed。已對照 pr-ledger.json：#4405、#4411 到 #4414、#4416、#4440、#4441、#4447、#4453、#4470、#4479 皆為 partially_reviewed；$\kappa$ 仍標為 author-checked 的 conditional 宣稱，selected 不變。
3. 卡片空格（8929cdd）：#4470 後補回空格，與 #1094、#4359、#4416 三項一致。

bundle exec jekyll build --strict_front_matter 通過，build 出來的頁面已沒有「Open 表示」與「尚待 maintainer review」，CI（jekyll-build）也通過。

尚待確認的仍是瀏覽器目視：筆記的狀態表與卡片的 Status 清單。

🤖 Generated with Claude Code

[cyc6221]

Code review（第二輪）

已重新檢查 8929cdd，上一輪的項目都已處理，沒有發現新問題。

上一輪項目

• 說明文字（37e12b2）：「追蹤的 PR」表格下方的「Open 表示尚未進入 main」已刪除；搜尋筆記與卡片，已無「尚待」「Open 表示」「Open candidate」「Highest open」等殘留。
• 措辭（79f52f4）：兩處「尚待 maintainer review」改為「在專案 ledger 中的狀態是 partially reviewed」。對照 pr-ledger.md，#4405、#4411 至 #4414、#4416、#4440、#4441、#4447、#4453、#4470、#4479（以及 #4455、#4478）皆為 partially reviewed；$\kappa$ 仍為 author-checked 的 conditional 宣稱、selected 不變的敘述也正確。
• 卡片空格（8929cdd）：#4470 後已補回空格，與其他三項一致。

已驗證

• 與 main 的差異只剩三個檔案：筆記、repo_stats.yml（6229 commits）、OpenAIMath.html（兩行）。
• 上一輪驗證的事實不變：#4440 至 #4479 於 UTC 10/22 02:49:06 合併、selected 仍為 #4359、#4479 的 rank 數字、目前沒有 $\kappa$ 更高的 open PR。
• CI（jekyll-build）通過，分支已包含最新 main，狀態 CLEAN。

尚待確認

• 瀏覽器目視：筆記的狀態表與卡片的 Status 清單。