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

[TS] Convert supported symbolic numeric values to strings across shared language routes

Ouverte
  • Quelque chose ne va pas ?
#496 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
12/100
Type d'issue
Fonctionnalité
Clarté
À clarifier
Activité
Active
Stack technique
kotlin, typescript
Domaine
testing

Piste de recherche

Start with the frozen ledger original/selection-ledger-v7.json and V7_INFRASTRUCTURE_FRONTIER.md under the real-class-campaign directory, then find the Stats caller that reports STRING_CONCAT_OPERAND_CONVERSION. The issue asks for a shared numeric-to-string conversion for concatenation, String(value) and Number.toString, plus a focused regression. Coordinate with #436 and #310 before writing code, since the issue says not to treat the concrete 42 example as the whole change.

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: P1. confirmed Stats runtime boundary after admission.

Stats is admitted; this is execution/model capability work, not an explanation of the 197 pre-machine rejections.

Implementation scope

Implement a common supported numeric-to-string conversion for concatenation and String(value), and expose it to Number.toString where applicable. Start with explicitly bounded/proven numeric domains and preserve JavaScript formatting rules, including negative zero and nonfinite values in the supported contract. An unsupported formatting case must keep its feasible prefix, not become a fabricated exact string or false/UNSAT. Keep mandatory language behavior invariant across experiment profiles.

Acceptance criteria

  • The exact Stats caller that reports STRING_CONCAT_OPERAND_CONVERSION has a focused source/native regression for a supported symbolic numeric domain.
  • String(value), string + value and value + string use compatible semantics; symbolic fractions/exponent formatting outside support remain precise limitations.
  • Coordinate with #436 for receiver-proven Number.toString and #310 for mixed-kind addition; do not treat the concrete 42 example alone as this implementation.

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.