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

[Calls] Reconstruct bounded recursive and executable object state without flattening it

Đang mở
  • Có gì không ổn?
#495 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ó
5/5
Thời gian dự kiến
Hơn một tuần
Mức phù hợp với người mới
8/100
Loại issue
Tính năng
Độ rõ ràng
Cần làm rõ
Mức độ hoạt động
Sôi nổi
Công nghệ
java, javascript, kotlin
Lĩnh vực
devtools

Hướng nghiên cứu

This is design work spanning the class/domain transport, generators and native/symbolic state observation, with explicit dependencies on USVM #298, #467 and #462. Start by reading the frozen v7 ledger and V7_INFRASTRUCTURE_FRONTIER.md referenced in the issue, not by changing code. Done would mean a coordinated design for a bounded object-graph contract, agreed with the owners of the linked issues.

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

Mô tả

Part of https://github.com/UnitTestBot/usvm/issues/483.

Observed boundary

Priority: P2. confirmed follow-on/engine-suited domain gaps; not an extra count among the 197 first rejections.

These examples belong to the separately selected side corpus; they must not be added to original first-gate counts.

Implementation scope

Extend the existing class/domain transport in independently reviewable slices: bounded recursive object graphs with aliases/cycles and prototypes; then source-attested callable/accessor-backed state where needed by real classes. Align generators, symbolic heap projection, input extraction and native/symbolic state observations. Observe descriptors without accidentally executing accessors; callable inputs/storage reuse their owning engine issues.

Acceptance criteria

  • Graph, SinglyLinkedList and DoublyLinkedList have a bounded graph contract preserving node identity, aliases, cycles and source-proven constructors.
  • SubstringIndex/MxCache state is represented or precisely classified without removing callable/accessor fields such as clear.
  • Original and instrumented native executions preserve mutation and observation order; unsupported executable shapes remain explicit.
  • Reuse USVM #298/#467 for callable storage and #462 for callable input synthesis. No parallel generic serialization/model framework or arbitrary closure snapshot claim.

Existing work to reuse or coordinate

Evidence and delivery rules

Use the frozen v7 200-class ledger and the source-linked reproducer; do not overwrite sealed experiment output. Reuse existing loaders, domain projection, source instrumentation, candidate/replay contracts and bounded observations. Keep original class members and independently frozen domain policies. Run focused source/native checks for the changed contract and leave broad suites to CI; unsupported and newly exposed later gates remain recorded.

Local evidence: iccq2026-paper/experiments/class-coverage-round-robin-20261002/real-class-campaign-20261014/{original/selection-ledger-v7.json,V7_INFRASTRUCTURE_FRONTIER.md} and real-class-machine-diagnostic-20261014/revised-protocol-v8/README.md.

Ngôn ngữ chính
Kotlin
Star
33
Fork
27
Merge trung bình
3 ngày 21 giờ
Pull request đã merge (30 ngày)
88

Chuẩn bị môi trường

Dự án này không cung cấp dev container, Dockerfile hay hướng dẫn đóng góp, nên bạn cần tự thiết lập môi trường: hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.

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 UnitTestBot/usvm

Tất cả issue của UnitTestBot/usvm

Issue tương tự

Thêm issue về Kotlin

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.