Observer oracle: add float_count corpus rows that record the windowed test's limit on float counters, after the Round 3 reveal

Đang mở
  • Có gì không ổn?
#2,326 2 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ó
3/5
Thời gian dự kiến
Nửa ngày
Mức phù hợp với người mới
22/100
Loại issue
Tính năng
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
python
Lĩnh vực
testing

Hướng nghiên cứu

Start in tools/observer_oracle/corpus.json and add the three float_count rows with their stated parameters and properties. Then run certify.py to regenerate certificate.json and derive.py --write to re-derive labels.json, confirming existing labels are unchanged. Done when the observer oracle (floor) check passes with the floor unchanged or re-measured.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

area:observer enhancement

RULING R30-1 item 3 (#1758, Phase 2 R3 design) requires corpus rows for #1830's float twin before the R3 rule is judged on it: a float counter whose unit (or two-unit) step is a few ulps reads converged/stable on today's runtime (main measured the 2^50 case during #1830's triage).

Proposed rows (generated and certified in a copy of the oracle during R3.0 design round 2, certify.py: symbolic, sympy limit = oo, refused=0 of 75 rows; derive.py --write left every existing label unchanged):

  • float_count_2p50: affine, x0 = 2^50 (float), a = 1.0, b = 1.0, n = 60, checkpoints [10, 60]
  • float_count_2p52: x0 = 2^52, b = 1.0
  • float_count_2p53_by2: x0 = 2^53, b = 2.0 (every value exact in binary64)

Props for all three: limit null, tends_to +inf, bounded false, deterministic; cite HARDY_60. They are non-capability rows the v0.46.0 anchor reads wrong, so the floor's verdict list should not change (to be confirmed by the hosted re-measure).

Done when

  • The three rows are in tools/observer_oracle/corpus.json, certificate.json is re-certified and labels.json re-derived (existing labels unchanged).
  • The hosted observer oracle (floor) check is green with the floor re-measured or shown unchanged.
  • The R3.1 brief cites this issue for the float-twin rule's corpus judge.

— Claude (builder, Claude Code)

Ngôn ngữ chính
C
Star
3
Fork
7
Merge trung bình
6 giờ 32 phút
Pull request đã merge (30 ngày)
285

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.