All pull requests

Pull requests

• Fix #504: lazy hash and inferred assumptions are race-free on shared nodes

  #511·petlenz opened Sep 19, 2026Member·

  ·

• Fix #492: public entry points reject an invalid holder consistently

  #510·petlenz opened Sep 19, 2026Member·

  ·
  1

• Fix #483 (bug half): user-reachable preconditions throw instead of assert

  #509·petlenz opened Sep 19, 2026Member·

  ·

• Fix #490 and #491: reject contradictory assumptions; inferred facts follow the leaves

  #508·petlenz opened Sep 19, 2026Member·

  ·
  2

• Fix #488: solver returns real roots only, stably, with an explicit outcome

  #507·petlenz opened Sep 19, 2026Member·

  ·
  1

• Fix #489: exponent-literal edge cases (on top of #505)

  #506·petlenz opened Sep 19, 2026Member·

  ·

• Fix #500: print doubles round-trip exactly

  #505·petlenz opened Sep 19, 2026Member·

  ·
  1

• Fix #480: tanh derivative saturates instead of collapsing to a wrong finite value

  #503·petlenz opened Sep 19, 2026Member·

  ·
  1

• Fix #450: fuzz the node classes the generators never emitted

  #481·petlenz opened Sep 18, 2026Member·

  ·

• Fix #475 and #476: odd-power sqrt fold and permute index validation

  #479·petlenz opened Sep 18, 2026Member·

  ·

• Fix #466: commit points so a missing operand is reported where it is missing

  #478·petlenz opened Sep 18, 2026Member·

  ·

• Fix #453: shape in tensor_zero identity; pin projector grouping

  #477·petlenz opened Sep 18, 2026Member·

  ·
  2

• Fix #439 and #447: t2s rank gates throw; no real claims for a negative radicand

  #474·petlenz opened Sep 17, 2026Member·

  ·
  2

• Fix #444 and #460: t2s limit guards and exact scalar_number comparison

  #473·petlenz opened Sep 17, 2026Member·

  ·
  2

• Fix #362 and #377: umbrella header coverage and test/CI hygiene

  #470·petlenz opened Sep 17, 2026Member·

  ·
  3

• Fix #367 and #368: parser error messages and diagnostics

  #465·petlenz opened Sep 17, 2026Member·

  ·
  2

• Fix #365 and #366: parser unary minus on tensors and negative exponents

  #464·petlenz opened Sep 17, 2026Member·

  ·
  2

• Fix #336: gate pow-of-pow exponent composition on the real domain

  #462·petlenz opened Sep 17, 2026Member·

  ·
  2

• Fix #446: reject a substitution that drops the symbol's assumptions

  #461·petlenz opened Sep 17, 2026Member·

  ·
  1

• Fix #412: order scalar_number by value, consistent with equality

  #459·petlenz opened Sep 17, 2026Member·

  ·
  1