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

[Calls] Preserve complete symbolic exceptional observations for class replay diagnostics

Offen
  • Stimmt etwas nicht?
#497 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, kotlin
Bereich
testing-qa

Rechercherichtung

This is internal symbolic-execution work in the usvm engine with a frozen experiment ledger and multiple gating contracts, so it is not a starting point for a first contribution. The payload names the sealed ledger selection-ledger-v7.json and V7_INFRASTRUCTURE_FRONTIER.md, which must not be overwritten. Done would mean exceptional observations match the exact native outcome, which the issue leaves to the maintainers to define.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

Part of https://github.com/UnitTestBot/usvm/issues/483.

Observed boundary

Priority: P2. strict symbolic observation gap; native primary coverage already fixed in MR #479.

The original EMPTY_FRESH HashMap reproduction had five symbolic THREW candidates with incomplete strict snapshots; their native coverage was real.

Implementation scope

Provide comparable bounded exceptional observations for symbolic class scenarios: actual thrown kind/value and observable receiver state/effects at the throw point, including constructor failure. Reuse native error/value snapshots and existing engine catch semantics. Suspended prefixes must remain input-only and never acquire an invented terminal observation.

Acceptance criteria

  • Source cases throwing a primitive or modeled Error retain the observable state/effects and compare against the exact native outcome.
  • Constructor failures distinguish an unavailable external receiver from an incomplete observation; no invented successful construction.
  • Strict applicability/rejection is separate from complete agreeing native coverage. This work must not restore the old gate that discarded genuine native coverage on symbolic mismatch.

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.