phase2-numbers design §6 restates stale counts: 230 numeric, 51 other, 42 LOSS with the six bit_* (table and inventory: 231, 52, 36)
Maintainer thường phản hồi trong vòng 1 ngày
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 2/5
- Thời gian dự kiến
- 1-3 giờ
- Mức phù hợp với người mới
- 76/100
- Loại issue
- Lỗi
- Độ rõ ràng
- Đặc tả rõ ràng
- Mức độ hoạt động
- Sôi nổi
- Lĩnh vực
- documentation, testing
Hướng nghiên cứu
Đọc §6 trong docs/design/phase2-numbers.md cùng với bảng tương ứng và tiêu đề của docs/design/phase2-inventory.txt, sau đó kiểm tra tools/phase2_inventory.py để xem liệu nó có thể kiểm tra phần văn xuôi hay không. Cập nhật đoạn văn cho khớp với bản kiểm kê hoặc xóa các số đếm lặp lại và dẫn chiếu đến tiêu đề của bản kiểm kê; nếu thêm bước kiểm tra, hãy đưa vào một plant chứng minh rằng bước đó thất bại khi có sai lệch. Công việc hoàn tất khi các số đếm đã cũ và khẳng định về bitwise được sửa hoặc kiểm tra như mô tả.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
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
- Ngôn ngữ chính
- C
- Star
- 3
- Fork
- 7
- Merge trung bình
- 11 giờ 40 phút
- Pull request đã merge (30 ngày)
- 270
Chuẩn bị môi trường
Khởi chạy dev container của dự án ngay trên trình duyệt, bằng tài khoản GitHub của bạn.
- Có Dockerfile hoặc tệp Docker Compose
- Có mẫu pull request
- Đọc hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của InauguralSystems/EigenScript
-
lib/eigen.eigs lexes "\r" as "r": under eigen_run, "a\rb" == "arb" is true (the VM says false)Đang mởarea:stdlib kind:silent-wrong
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 88/100
InauguralSystems/EigenScript#1878 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
phase2: test_bitwise.eigs cites ctl.scan.* rows; the MAP's refusal controls are ctl.N8.refuse-*Đang mởarea:gates kind:docs-drift
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 86/100
InauguralSystems/EigenScript#1851 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
area:gates area:gfx found-by:critic kind:gate-defect
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
InauguralSystems/EigenScript#1825 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
UB: (int) cast of a user double outside int range in dispatch / vm_index_is_int / flat_index_atĐang mởarea:runtime-vm kind:silent-wrong
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
InauguralSystems/EigenScript#1748 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
area:gfx bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 66/100
InauguralSystems/EigenScript#1684 ·
Maintainer thường phản hồi trong vòng 1 ngày
Tất cả issue của InauguralSystems/EigenScript
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
sumatrapdfreader/sumatrapdf#6403 ·
-
followup
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 83/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100
oetiker/rrdtool-1.x#1392 ·
-
bottomless: finished S3 upload tasks are never reaped, so sqld memory grows by ~10 KB per WAL batchĐang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 83/100
tursodatabase/libsql#2298 ·
-
enhancement good first issue
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 85/100