phase2-numbers design §6 restates stale counts: 230 numeric, 51 other, 42 LOSS with the six bit_* (table and inventory: 231, 52, 36)
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 2/5
- 見積もり時間
- 1〜3時間
- 初心者へのやさしさ
- 76/100
- issue の種類
- バグ
- 明瞭さ
- 明確に書かれている
- 活発さ
- 活発
- 領域
- documentation, testing
調査の方向性
docs/design/phase2-numbers.mdの§6を対応する表およびdocs/design/phase2-inventory.txtのヘッダーと併せて読み、その後、tools/phase2_inventory.pyを調べて、文章の内容をチェックできるか確認してください。段落をインベントリに合わせて更新するか、重複する数値を削除してそのヘッダーを参照するようにしてください。チェックを追加する場合は、不一致があると失敗することを証明するplantを含めてください。説明にあるとおり、古くなった数値とビット単位の主張が修正またはチェックされたら完了です。
索引モデルが issue の本文から書いたものです。
説明
Found while writing #1758's R1.6 per-builtin behaviour table, 2026-10-20.
Finding
docs/design/phase2-numbers.md on phase2-numbers (tip 4ac31e67) restates counts in its §6 prose that its own table and the inventory contradict:
| §6 prose | the table between the builtin-table markers / docs/design/phase2-inventory.txt |
|---|---|
| line 1324: "230 numeric builtins" | 231 (registered=312 numeric=231 classified=231) |
| line 1326: "51 other" | 52 (classes: ... other=52; num_type joined as other) |
| line 1331: "42 are LOSS" | 36 (LOSS (36)) |
line 1335: "bitwise: the six bit_*, sign_extend, hex" |
the six bit_* rows are marked - (their loss closed in R1.5, N8); only sign_extend and hex are LOSS |
The paragraph says the counts are "checked by tools/phase2_inventory.py, which prints them". The script prints the right numbers, but nothing compares them with the prose, so the prose drifted while the gate stayed green.
Done when
- §6's counts paragraph agrees with the table: 231 numeric, 52 other, 36 LOSS, and a bitwise line without the six
bit_*. - Either
tools/phase2_inventory.pycompares the paragraph's figures with the table and fails on a mismatch (with one plant that shows it fires), or the paragraph stops restating the figures and points to the inventory file's header.
Generated by Claude Code
- 主要言語
- C
- スター
- 3
- フォーク
- 7
- 平均マージ
- 11時間 45分
- マージ済み PR（30日）
- 273
環境構築
このプロジェクトの開発コンテナを、あなたの GitHub アカウントでブラウザ上に起動します。
- Dockerfile または Docker Compose ファイルあり
- プルリクエストのテンプレートあり
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
InauguralSystems/EigenScript のほかの issue
-
area:stdlib kind:silent-wrong
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
InauguralSystems/EigenScript#1878 ·
メンテナーはふだん 1 日以内に返信
-
phase2: test_bitwise.eigs cites ctl.scan.* rows; the MAP's refusal controls are ctl.N8.refuse-*オープンarea:gates kind:docs-drift
難易度 1/5 1時間未満 初心者へのやさしさ 86/100
InauguralSystems/EigenScript#1851 ·
メンテナーはふだん 1 日以内に返信
-
area:gates area:gfx found-by:critic kind:gate-defect
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
InauguralSystems/EigenScript#1825 ·
メンテナーはふだん 1 日以内に返信
-
UB: (int) cast of a user double outside int range in dispatch / vm_index_is_int / flat_index_atオープンarea:runtime-vm kind:silent-wrong
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
InauguralSystems/EigenScript#1748 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
area:gfx bug
難易度 2/5 1〜3時間 初心者へのやさしさ 66/100
InauguralSystems/EigenScript#1684 ·
メンテナーはふだん 1 日以内に返信
InauguralSystems/EigenScript の issue をすべて見る
似ている issue
-
v9.6.0: CMake incorrectly enforces presence of libevdev対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 67/100
メンテナーはふだん 1 日以内に返信
-
IoTSDK
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
Azure/azure-iot-sdk-c#2776 ·
メンテナーはふだん 2 日以内に返信
-
[Bug] Unhandled ValueError terminates watchdog thread when GISRC value contains multiple colonsオープンbug
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
メンテナーはふだん 1 日以内に返信
-
bug Component component: net
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
RT-Thread/rt-thread#11913 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
contiki-ng/contiki-ng#3289 ·
メンテナーはふだん 3 日以内に返信