Repository navigation

[TS] Model Math and Number builtins - #442

Merged

CaelmBleidd merged 5 commits into

mainfrom

caelmbleidd/stdlib-numeric-pr391

Oct 12, 2026

Merged

[TS] Model Math and Number builtins#442
CaelmBleidd merged 5 commits into
mainfrom
caelmbleidd/stdlib-numeric-pr391

Commits on Oct 12, 2026
- Model numeric builtins with verified global ownership
  CaelmBleidd
  committed
  bb04e0c
- Count array-removal decisions independently of numeric models
  CaelmBleidd
  committed
  e00afe0
- Preserve numeric builtin owners through captured pointer calls
  CaelmBleidd
  committed
  c09f3a4
- Name builtin owner arguments explicitly
  CaelmBleidd
  committed
  9305204
- Fix compatibility adapter lint
  CaelmBleidd
  committed
  1706fa2