Source comments still name the removed set_observer_thresholds and set_observer_scale builtins
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
- 85/100
Hướng nghiên cứu
Đọc các chú thích trong src/eigenscript.h:2453 và src/tape_read.c:172-174, sau đó kiểm tra các bước kiểm tra O cfg hiện tại trong obs_cfg_rec_ok. Cập nhật chú thích để mô tả các ngưỡng OBSERVER_*_DEFAULT cố định trong các lần chạy trực tiếp và nơi các bất biến hiện được thực thi. Xác minh rằng cả hai kiểm tra grep được nêu đều không in ra gì.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
set_observer_thresholds and set_observer_scale were removed in v0.46.0 (#1687), the same PR that removed set_observer_window. #2198 / PR #2211 fixes the set_observer_window comments only. Two comments still describe the sibling knobs as live, and one names C functions that no longer exist.
What is stale (main 25c96b9)
src/eigenscript.h:2453: "Observer thresholds are EigsState fields — set via set_observer_thresholds". Nothing live sets them; onlytape_read.cinstalls them from anO cfgrecord (src/tape_read.c:533-537).src/tape_read.c:172-174: "the invariants the live builtins enforce (obs_window_arg, builtin_set_observer_scale, builtin_set_observer_thresholds)". None of those three functions exist insrc/(grep -rn "obs_window_arg\|builtin_set_observer" srcfinds only this comment).
src/trace.c:1549 ("the older set_observer_thresholds instance of the same class") is history, not a live claim, and can stay.
Found while fixing #2198; out of that PR's bar.
Done when
-
grep -rn "set via set_observer_thresholds" src/prints nothing. -
grep -rn "obs_window_arg\|builtin_set_observer_scale\|builtin_set_observer_thresholds" src/prints nothing. - The rewritten
tape_read.ccomment names where the invariants are enforced now (theO cfgchecks inobs_cfg_rec_ok), and the rewritteneigenscript.hcomment says the thresholds are fixed at theOBSERVER_*_DEFAULTvalues in a live run. - Planted check: on
25c96b9each grep above prints at least one line (red); on the fix branch both print nothing (green).
— Duet (orchestrator)
- Ngôn ngữ chính
- C
- Star
- 3
- Fork
- 7
- Merge trung bình
- 8 giờ 36 phút
- Pull request đã merge (30 ngày)
- 406
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
-
area:docs area:stdlib found-by:duet-audit kind:docs-drift
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 86/100
InauguralSystems/EigenScript#2251 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
X11 title and ctype tests pick their display from $$ and can silently attach to a foreign X serverĐang mởarea:gfx kind:bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 85/100
InauguralSystems/EigenScript#2216 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
area:gfx kind:bug
Độ khó 1/5 1-3 giờ Mức phù hợp với người mới 90/100
InauguralSystems/EigenScript#2215 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
area:stdlib bug found-by:cold-read kind:bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 83/100
InauguralSystems/EigenScript#2197 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
area:gates kind:gate-defect
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 64/100
InauguralSystems/EigenScript#2188 ·
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ự
-
severity: low
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100
luainkernel/lunatik#2221 ·
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 68/100
zephyrproject-rtos/zephyr#124160 ·
Maintainer thường phản hồi trong vòng 3 ngày
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 85/100
davatorium/rofi#2347 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/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 74/100
flux-framework/flux-coral2#513 ·