Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jun 13, 2026

• fix(checker): publish alias bodies with params atomically (#13255) (#13408)

  Show description for b6914ea
  mohsen1

  authored
  b6914ea

  Copy full SHA for b6914ea

• refactor(checker): fold assignability true-override gates into a checker-final cached relation funnel (#13243 step 4) (#13405)

  Show description for 9f094fc
  mohsen1

  authored
  9f094fc

  Copy full SHA for 9f094fc

• perf(solver): avoid cloning application args in inference probe (#8356) (#13427)

  Show description for 0821ef9
  mohsen1

  authored
  0821ef9

  Copy full SHA for 0821ef9

• refactor(core): table-drive non-strict option fan-out, unify the three merge engines (#13062) (#13407)

  Show description for e89f06d
  mohsen1

  authored
  e89f06d

  Copy full SHA for e89f06d

• bench(corpus): register ts-pattern as a canary row (#13402) (#13403)

  Show description for cdc7ca5
  mohsen1

  authored
  cdc7ca5

  Copy full SHA for cdc7ca5

• perf(checker): skip disjoint flow assignment roots (#13393) (#13404)

  Show description for 0924c4a
  mohsen1

  authored
  0924c4a

  Copy full SHA for 0924c4a

• ci(conformance): pin weighted shard planning inputs (#13397) (#13398)

  Show description for 0bbf286
  mohsen1

  authored
  0bbf286

  Copy full SHA for 0bbf286

• perf(binder): key atom lookups by arena provenance (#13389) (#13392)

  Show description for 9760be6
  mohsen1

  authored
  9760be6

  Copy full SHA for 9760be6

• refactor(binder): derive declaration spans, shrink Symbol (#13072) (#13401)

  Show description for d675016
  mohsen1

  authored
  d675016

  Copy full SHA for d675016

• refactor(solver): delegate application variance to the single fast path (#13051) (#13399)

  Show description for 65dbfa8
  mohsen1

  authored
  65dbfa8

  Copy full SHA for 65dbfa8

• perf(cli): clear batch caches after residency probe (#13390)

  Show description for 2e0c69c
  mohsen1

  authored
  2e0c69c

  Copy full SHA for 2e0c69c

• ci(health): add main-red sentinel that tracks a wedged merge queue (#13396)

  Show description for 0fd3169
  mohsen1

  authored
  0fd3169

  Copy full SHA for 0fd3169

• perf(checker): stop display object normalization after budget exhaustion (#13040) (#13386)

  Show description for 36b954b
  mohsen1

  authored
  36b954b

  Copy full SHA for 36b954b

• perf(solver): expose union normalize cache entries (#13387)

  Show description for f72e400
  mohsen1

  authored
  f72e400

  Copy full SHA for f72e400

• perf(checker): checkpoint property access visited branches (#13385)

  Show description for 85b1a72
  mohsen1

  authored
  85b1a72

  Copy full SHA for 85b1a72

• fix(checker,solver): converge two more #13255 parallel channels — lib-origin program_globals + symbol-less app def identity (#13391)

  Show description for d96993e
  mohsen1

  authored
  d96993e

  Copy full SHA for d96993e

• perf(solver): use query-backed inference shape probes (#8356) (#13384)

  Show description for 11fe5fc
  mohsen1

  authored
  11fe5fc

  Copy full SHA for 11fe5fc

• perf(core): skip dropped lib prefix during densify (#13047) (#13382)

  Show description for c16a750
  mohsen1

  authored
  c16a750

  Copy full SHA for c16a750

• perf(solver): pin shared cache opt-in witnesses (#13240) (#13377)

  Show description for 643490b
  mohsen1

  authored
  643490b

  Copy full SHA for 643490b

• perf(bench): surface attribution attempt status (#13247) (#13376)

  Show description for a377983
  mohsen1

  authored
  a377983

  Copy full SHA for a377983

• perf(checker): cache generic-scope type nodes (#13305)

  Show description for ccf1912
  mohsen1

  authored
  ccf1912

  Copy full SHA for ccf1912

• refactor(checker): bundle FlowAnalyzer shared caches (#13060) (#13349)

  Show description for 10dd8ce
  mohsen1

  authored
  10dd8ce

  Copy full SHA for 10dd8ce

• perf(checker): skip no-op diagnostic rollback work (#13243) (#13350)

  Show description for 0746456
  mohsen1

  authored
  0746456

  Copy full SHA for 0746456

• perf(tools): check default-path schedule determinism (#13381)

  Show description for 38d8dc4
  mohsen1

  authored
  38d8dc4

  Copy full SHA for 38d8dc4

• perf(checker): truncate display normalization after eval fuel (#13379)

  Show description for cc1368a
  mohsen1

  authored
  cc1368a

  Copy full SHA for cc1368a

• perf(checker): memo condition antecedent deferral checks (#13378)

  Show description for db59458
  mohsen1

  authored
  db59458

  Copy full SHA for db59458

• perf(tools): show reset cache byte share (#13380)

  Show description for 8eb0739
  mohsen1

  authored
  8eb0739

  Copy full SHA for 8eb0739

• perf(solver): delay instantiation member list allocation (#13242) (#13374)

  Show description for 17e4b1d
  mohsen1

  authored
  17e4b1d

  Copy full SHA for 17e4b1d

• perf(solver): log infer-pattern visited branches (#8356) (#13373)

  Show description for 241b19c
  mohsen1

  authored
  241b19c

  Copy full SHA for 241b19c

• refactor(checker): route CheckerContext constructors through one build path (#13077) (#13346)

  Show description for 0edebbc
  mohsen1

  authored
  0edebbc

  Copy full SHA for 0edebbc

• refactor(binder): retire dead ScopeContext tracking onto the scope arena (#13059) (#13360)

  Show description for ee0bb8d
  mohsen1

  authored
  ee0bb8d

  Copy full SHA for ee0bb8d

• perf(checker): cache lazy lib member lookups (#12101) (#13362)

  Show description for 5f424e6
  mohsen1

  authored
  5f424e6

  Copy full SHA for 5f424e6

• perf(cli): gate batch residency diagnostics (#13249) (#13358)

  Show description for 015398a
  mohsen1

  authored
  015398a

  Copy full SHA for 015398a

• perf(checker): centralize flow analyzer cache wiring (#13060) (#13323)

  Show description for d0420a5
  mohsen1

  authored
  d0420a5

  Copy full SHA for d0420a5

• refactor(emitter): consume solver visitor boundary for declaration type walks (#13021) (#13355)

  Show description for 33362db
  mohsen1

  authored
  33362db

  Copy full SHA for 33362db