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

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

Offen
  • Stimmt etwas nicht?
#496 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
12/100
Issue-Typ
Feature
Klarheit
Muss geklärt werden
Aktivitätsstatus
Aktiv
Tech-Stack
kotlin, typescript
Bereich
testing

Rechercherichtung

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.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

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.

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.