All pull requests

Pull requests

• [Calls] Use a coherent TypeScript frontend dependency snapshot

  #633·CaelmBleidd opened Oct 20, 2026Member·

  ·

• [Calls] Configure frozen class probe models budgets and search receipts

  #628·CaelmBleidd opened Oct 20, 2026Member·

  ·

• [TS] Support explicitly bounded symbolic Map and Set inputs

  #627·CaelmBleidd opened Oct 20, 2026Member·

  ·

• [TS] Recognize strict optional Array constructor signatures

  #626·CaelmBleidd opened Oct 20, 2026Member·

  ·

• [TS] Model collection iterators and array callbacks

  #625·CaelmBleidd opened Oct 20, 2026Member·

  ·

• [TS] Model bounded native Map and Set operations

  #624·CaelmBleidd opened Oct 20, 2026Member·

  ·

• [Calls] Preserve engine failure evidence during witness extraction

  #623·CaelmBleidd opened Oct 20, 2026Member·

  ·

• [TS] Preserve Promise executor closures and settlement arguments

  #622·CaelmBleidd opened Oct 20, 2026Member·

  ·

• [TS] Propagate failed value materialization through callers

  #621·CaelmBleidd opened Oct 20, 2026Member·

  ·

• Validate completed symbolic inputs during search

  #620·CaelmBleidd opened Oct 17, 2026Member·

  ·

• Verify complete class inputs after campaign budget expiry

  #619·CaelmBleidd opened Oct 17, 2026Member·

  ·

• [Calls] Replay saved concrete input environments

  #617·CaelmBleidd opened Oct 17, 2026Member·

  ·

• Preserve the experiment caller deadline through campaign startup

  #616·CaelmBleidd opened Oct 17, 2026Member·

  ·

• [TS PBT] Honor caller cutoff in campaign-file

  #615·CaelmBleidd opened Oct 17, 2026Member·

  ·

• [TS PBT] Save campaign artifacts before stdout publication

  #614·CaelmBleidd opened Oct 17, 2026Member·

  ·

• Account for checked auxiliary inputs in PBT experiments

  #611·CaelmBleidd opened Oct 16, 2026Member·

  ·

• [TS PBT] Keep complete bounded samples usable for relation guidance

  #610·CaelmBleidd opened Oct 16, 2026Member·

  ·

• Preserve extracted native Object.assign identity

  #609·CaelmBleidd opened Oct 16, 2026Member·

  ·

• [TS PBT] Retain residual unknown-call diagnostics in property results

  #608·CaelmBleidd opened Oct 16, 2026Member·

  ·

• Allow explicitly larger compact input exports without changing default bounds

  #607·CaelmBleidd opened Oct 16, 2026Member·

  ·

• [JVM] Unbox lambda invocation arguments before implementation dispatch

  #606·CaelmBleidd opened Oct 16, 2026Member·

  ·

• Support exact literal and bounded decimal numeric conversion

  #605·CaelmBleidd opened Oct 16, 2026Member·

  ·

• Guide one USVM phase with bounded empirical relation challenges

  #603·CaelmBleidd opened Oct 16, 2026Member·

  ·

• Compose published relation consumers with the public PBT campaign

  #602·CaelmBleidd opened Oct 16, 2026Member·

  ·

• [PBT] Exclude pure static empty caches from class statement coverage

  #601·CaelmBleidd opened Oct 16, 2026Member·

  ·