Observer oracle: cite a verified source for uniform-step random-walk recurrence in the instrument itself, after the Round 3 reveal (family 10)

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

Hướng nghiên cứu

Start with tools/observer_oracle/families.py, where family 10's manual block cites RW_RECURRENT, and with corpus.json's sources table, which currently holds only that VERIFIED entry. Check how derive.load_corpus validates sources and how certify.py --corpus is run. Done means a Chung–Fuchs or Durrett recurrence source is added as VERIFIED, family 10 cites it, the sha re-freeze is recorded as a Deviation, and a dry H1 certify run reports refused=0.

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

Mô tả

area:observer enhancement

tools/observer_oracle/families.py family 10 is a random walk with iid uniform steps (gen kind uwalk). Its manual blocks argue that the walk has no limit, does not tend to ±inf, and is unbounded, because a mean-zero walk with iid non-degenerate bounded steps is recurrent (Chung–Fuchs 1951).

The corpus's VERIFIED source table has only RW_RECURRENT, which covers the simple ±1 walk. derive.load_corpus refuses unverified sources, so the blocks cite RW_RECURRENT, and RW_RECURRENT does not cover this case. H1 is labelled at the reveal, with its manual blocks reviewed blind, and family 10 is in H1.

Done when

  • A source for recurrence of 1-D mean-zero iid-step walks (Chung–Fuchs, or a textbook statement such as Durrett, Probability: Theory and Examples, the recurrence theorem) is fetched, read and added to corpus.json's sources with a VERIFIED status.
  • families.f10's manual block cites it, and the R3.0-I instrument re-freezes families.py's sha (a recorded Deviation).
  • A dry H1 draw certifies with the new citation (certify.py --corpus, refused=0).

— 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.