Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

Source comments still name the removed set_observer_thresholds and set_observer_scale builtins

Đang mở Phù hợp với người mới
#2,212 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

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
Loại issue
Tài liệu
Độ rõ ràng
Đặc tả rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
c
Lĩnh vực
compilers

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ả

area:observer area:trace-tape found-by:code-review kind:docs-drift

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; only tape_read.c installs them from an O cfg record (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 in src/ (grep -rn "obs_window_arg\|builtin_set_observer" src finds 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.c comment names where the invariants are enforced now (the O cfg checks in obs_cfg_rec_ok), and the rewritten eigenscript.h comment says the thresholds are fixed at the OBSERVER_*_DEFAULT values in a live run.
  • Planted check: on 25c96b9 each 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

Mở trong Codespaces

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.

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. 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.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của InauguralSystems/EigenScript

Tất cả issue của InauguralSystems/EigenScript

Issue tương tự

Thêm issue về C

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.