Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

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

Abierto
  • ¿Algo no está bien?
#496 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Los mantenedores suelen responder en 1 día

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
5/5
Tiempo estimado
Más de una semana
Aptitud para principiantes
12/100
Tipo de issue
Nueva funcionalidad
Claridad
Necesita aclaración
Estado de actividad
Activo
Stack tecnológico
kotlin, typescript
Área
testing

Línea de trabajo

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.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

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.

Lenguaje dominante
Kotlin
Estrellas
33
Forks
27
Merge medio
3 d 21 h
PR fusionados (30 d)
88

Preparar el entorno

Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de UnitTestBot/usvm

Todos los issues de UnitTestBot/usvm

Issues similares

Más issues de Kotlin

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.