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

[TS PBT] Challenge context-scoped observed function summaries during symbolic search

Đang mở
  • Có gì không ổn?
#403 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
30/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ệ
kotlin, typescript
Lĩnh vực
devtools, testing-qa

Hướng nghiên cứu

Start by reading the completed core contracts from #355 and the assessment required by #405, then inspect the existing call-policy implementation and the work in #397/#398. Define a separately identifiable extension configuration and compare it with the extension disabled. Done means a context-specific helper relation is challenged and refined or refuted, misuse and stale or side-effecting cases are covered, and results are reported separately through #357.

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

Mô tả

Implementation child of #345 and a required stage-two bounded extension. Owns helper-summary integration with the completed #355 core; it is not a core completion blocker. Builds on #397/#398 and the existing call-policy implementation; do not reopen or duplicate the TS Calls experiment in #360/#385.

Delivery stage

This is a stage-two extension of #345. Complete and record the core assessment in #405 before accepting this extension's end-to-end integration and results. Literature, interface design and focused experiments may start earlier; the extension never blocks #355 or #405.

Reuse the completed core contracts. This issue owns any extension-specific changes to observation, binding, scheduling, replay, shrinking and feedback integration, with focused follow-up PRs; do not retroactively broaden #351/#352 or require already completed core issues to reopen. A negative or inconclusive pilot is recorded honestly and informs design; it does not silently cancel this full-roadmap obligation.

Publish a separately identifiable extension configuration and evaluate it against the same original oracle with the extension disabled. Its final held-out evaluation belongs to #357 and is reported separately from the development pilot.

Goal

Test whether property-relevant observations at internal call boundaries can improve interprocedural search without promoting sampled behavior to a trusted universal contract.

Scope

  • Implement a bounded subset of deterministic pure helpers with supported scalar/collection-length relations. Record callee/source hash, call site, caller/property context, input support and observed result relation.
  • Derive summaries from original-runtime observations through #397. Preserve alias/mutation/read dependencies by restricting unsupported cases explicitly; do not model side-effecting helpers as pure.
  • Primary use: prioritize call contexts and generate counterexample goals to a summary at the real helper implementation via #398.
  • Evaluate speculative summary substitution only as an isolated explicit mode. It must carry assumptions into every candidate, have original-runtime replay and a budgeted no-summary search path. It cannot prove absence of bugs or justify marking paths infeasible.
  • Refine/invalidate summaries with replay counterexamples and source/context changes. Keep different call contexts separate; one context's evidence cannot constrain another without justification.
  • Reuse existing TS call models/policies and record them in configuration. Hold these policies constant across PBT-feedback comparisons so gains are not attributed to unrelated semantic-model improvements.

Definition of Done

  • At least one context-specific helper relation is observed, challenged in USVM and refined or concretely refuted.
  • A fixture detects misuse across call sites or outside observed input support; side effects and stale revisions are explicit.
  • Required challenge/prioritization mode works without trusting summaries as hard contracts.
  • #357 measures whether context-scoped summaries add to entry-only relations, including cost and misleading-summary cases. Speculative substitution may be rejected by evidence, with the negative result retained.
Ngôn ngữ chính
Kotlin
Star
33
Fork
27
Merge trung bình
2 ngày 20 giờ
Pull request đã merge (30 ngày)
9

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.