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

Reduce explorer memory per state and evaluate partial-order and symmetry reduction

Đang mở
  • Có gì không ổn?
#37 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

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
25/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ệ
node.js, typescript
Lĩnh vực
performance, testing-qa

Hướng nghiên cứu

Start with packages/engine/src/explore.ts and packages/engine/src/relevance.ts to understand state exploration and relevance reduction; then read packages/engine/test/explore-perf.test.ts and its synthetic fixture. Profile the existing packs and drop pass before evaluating memory encodings and reduction approaches. Done means recording before and after measurements, documenting reduction decisions and soundness where applicable, and clarifying unreached-content handling in spec section 14.

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

Mô tả

area: engine priority: medium type: research

Context

The explorer uses about 1.8 KB of heap per state; 200,000 states took about 6 to 9 s and 400 MB in Node when measured during v0.1. The relevance reduction removes flavour state, but independent relevant state (parallel puzzle strands, visited sets) still multiplies. Since v0.1, lexvm check also runs a second exploration that drops carried items (up to 20 times the main state count), and an incomplete exploration is an error, so the state limit matters more. Exploration in the browser (import, workshop) needs far less memory. Unreached rules and dialogue options are reported only where the result is conclusive under the relevance reduction (coverageCheck in relevance.ts), so some content that never fires goes unreported, and spec section 14 does not say so.

Scope

  • Profile memory per state; candidates: a compact binary state encoding (bit sets for flags, visited rooms and object state), interned keys, and a smaller frontier representation.
  • Evaluate partial-order reduction for independent commands (for example learning clues in different rooms) and symmetry reduction. Any reduction must stay sound for dead-end detection under offered actions.
  • Make unreached-content reporting complete, or document in spec section 14 that rules and options whose firing depends on reduced state are not reported.
  • Extend explore-perf.test.ts with the noir pack and a synthetic pack with parallel strands; measure the drop pass as well.

Acceptance criteria

  • Memory per state and run time are measured before and after for both packs and the synthetic pack, and recorded here.
  • Every optimisation that is merged gives identical results for all packs and fixtures.
  • Partial-order and symmetry reduction are implemented or rejected, with the reasons recorded here; a merged reduction has its soundness argument in the header of explore.ts and tests for dead ends that only appear in specific command orders.
  • Spec section 14 states how unreached content is treated.

References

  • packages/engine/src/explore.ts
  • packages/engine/src/relevance.ts
  • packages/cli/src/exploration.ts
  • packages/engine/test/explore-perf.test.ts
  • packages/engine/test/fixtures/runtime/synthetic.ts
  • docs/adr/0005-forgiving-policy-verified-by-exploration.md
Ngôn ngữ chính
TypeScript
Star
0
Fork
0
Merge trung bình
28 phút
Pull request đã merge (30 ngày)
2

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

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 nullthrone/lexvm

Tất cả issue của nullthrone/lexvm

Issue tương tự

Thêm issue về TypeScript

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.