Hacktoberfest 2026: die Issues, die Maintainer für den Oktober markiert haben – offen und einsteigerfreundlich. Hacktoberfest-Issues durchsuchen

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

Offen
  • Stimmt etwas nicht?
#495 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Maintainer antworten meist innerhalb von 1 Tag

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit
5/5
Geschätzter Aufwand
Über eine Woche
Anfängerfreundlichkeit
8/100
Issue-Typ
Feature
Klarheit
Muss geklärt werden
Aktivitätsstatus
Aktiv
Tech-Stack
java, javascript, kotlin
Bereich
devtools

Rechercherichtung

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.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

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.

Vorherrschende Sprache
Kotlin
Sterne
33
Forks
27
Ø Merge
3 T. 21 Std.
Gemergte PRs (30 T.)
88

Entwicklungsumgebung

Dieses Projekt bietet weder Dev-Container noch Dockerfile noch Beitragsleitfaden – die Einrichtung liegt bei Ihnen. Beginnen Sie mit der README; die allgemeinen Schritte stehen in unserem Leitfaden für den ersten Beitrag.

Erste Schritte

  1. Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
  3. Forken Sie das Repository und arbeiten Sie in einem Branch.
  4. Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus UnitTestBot/usvm

Alle Issues in UnitTestBot/usvm

Ähnliche Issues

Weitere Issues zu Kotlin

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.