Hacktoberfest 2026 : les issues que les mainteneurs ont marquées pour octobre, ouvertes et accessibles aux débutants. Parcourir les issues Hacktoberfest

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

Ouverte
  • Quelque chose ne va pas ?
#495 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Les mainteneurs répondent en général sous 1 jour

Personne n'a encore pris cette issue.

Évaluation

Difficulté
5/5
Temps estimé
Plus d'une semaine
Accessibilité débutants
8/100
Type d'issue
Fonctionnalité
Clarté
À clarifier
Activité
Active
Stack technique
java, javascript, kotlin
Domaine
devtools

Piste de recherche

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.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

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.

Langage dominant
Kotlin
Étoiles
33
Forks
27
Merge moyen
3 j 21 h
PR mergées (30 j)
88

Préparer son environnement

Ce projet ne fournit ni conteneur de développement, ni Dockerfile, ni guide de contribution : l'installation est à votre charge. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de UnitTestBot/usvm

Toutes les issues de UnitTestBot/usvm

Issues similaires

Plus d'issues Kotlin

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.