Issues

Issues

• [TS PBT] Preserve class verification after expected PBT budget expiry

  UnitTestBot/usvm#618 · opened on Oct 17, 2026

• [TS PBT] Align experiment and campaign-file deadline origins

  UnitTestBot/usvm#613 · opened on Oct 17, 2026

• [TS PBT] Save campaign-file artifacts before stdout publication

  UnitTestBot/usvm#612 · opened on Oct 17, 2026

• [TS] Model Float64Array(length) construction instead of an unresolved receiver

  UnitTestBot/usvm#604 · opened on Oct 16, 2026

• [TS] Produce replayable witnesses for unrefined any references selected as strings

  UnitTestBot/usvm#592 · opened on Oct 16, 2026

• [TS] Invoke declared class getters during property reads

  UnitTestBot/usvm#577 · opened on Oct 16, 2026
  1

• [TS] Integrate computed class members without mixing symbol and string keys

  UnitTestBot/usvm#575 · opened on Oct 16, 2026

• [TS PBT] Preserve runtime limitation reasons in property-search results

  UnitTestBot/usvm#555 · opened on Oct 16, 2026

• [Calls] Ship reusable class discovery and re-audit the same frozen 200-class population

  UnitTestBot/usvm#498 · opened on Oct 14, 2026

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

  UnitTestBot/usvm#497 · opened on Oct 14, 2026

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

  UnitTestBot/usvm#496 · opened on Oct 14, 2026

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

  UnitTestBot/usvm#495 · opened on Oct 14, 2026

• [Calls] Freeze explicit generic and union class input domains independently of outcomes

  UnitTestBot/usvm#494 · opened on Oct 14, 2026

• [Calls] Support bounded indexed-record inputs and complete class state snapshots

  UnitTestBot/usvm#493 · opened on Oct 14, 2026

• [Calls] Preserve destructured and rest class parameters in frozen scenarios

  UnitTestBot/usvm#492 · opened on Oct 14, 2026

• [Calls] Check private-member reachability through aliased and escaping receivers

  UnitTestBot/usvm#491 · opened on Oct 14, 2026

• [Calls] Measure inherited and static class lifecycle without foreign-class coverage

  UnitTestBot/usvm#490 · opened on Oct 14, 2026

• [Calls] Attribute nested closures and callbacks to a fixed class statement universe

  UnitTestBot/usvm#489 · opened on Oct 14, 2026

• [Calls] Preserve module identity and live bindings in cyclic source replay

  UnitTestBot/usvm#488 · opened on Oct 14, 2026

• [Calls] Execute bounded module initialization consistently in symbolic and native preparation

  UnitTestBot/usvm#487 · opened on Oct 14, 2026

• [Calls] Support source-attested literal JSON require and import in class projects

  UnitTestBot/usvm#486 · opened on Oct 14, 2026

• [Calls] Acquire and freeze generated sources and runtime assets for class preparation

  UnitTestBot/usvm#485 · opened on Oct 14, 2026

• [Calls] Resolve frozen real-project imports with tsconfig and package metadata

  UnitTestBot/usvm#484 · opened on Oct 14, 2026

• [Epic][Calls] Remove the infrastructure blockers found in the 200-class screen

  UnitTestBot/usvm#483 · opened on Oct 14, 2026

• [Paper] Discuss the engineering cost and type-domain limits of TypeScript models

  UnitTestBot/usvm#482 · opened on Oct 14, 2026