Repository navigation

feat(ts): model typed allocation as a fresh JS array - #418

Merged

moq-bot[bot] merged 64 commits into

mainfrom

ts-unsafe/typed-alloc

Nov 2, 2026

Merged

feat(ts): model typed allocation as a fresh JS array#418
moq-bot[bot] merged 64 commits into
mainfrom
ts-unsafe/typed-alloc

Commits on Nov 1, 2026
- chore(quest): claim quest/m3/ts-unsafe.md
  kixelated
  committed
  dd2ebf5
- feat(ts): translate pointers into arrays as rt.AtIndex
  
  kixelated
  and
  claude
  committed
  3bafa03
- fix(ts): refuse a pointer to an element of an array its variable or holder replaces
  
  kixelated
  and
  claude
  committed
  9988c74
- Merge remote-tracking branch 'origin/main' into model-unsafe-operations
  kixelated
  committed
  3548e24
- chore(ts): refresh the lang harness snapshot after merging main
  
  kixelated
  and
  claude
  committed
  2d8439e
- fix(ts): keep element pointers exact at wrapped addresses, lone values, views, and empty slices
  
  kixelated
  and
  claude
  committed
  f2ed825
- fix(ts): copy only a shared slice of a lone byte, and keep a lone value's pointer in an empty slice
  
  kixelated
  and
  claude
  committed
  ca0d3aa
- Merge remote-tracking branch 'origin/main' into model-unsafe-operations
  kixelated
  committed
  981806c
- chore(ts): refresh the lang harness snapshot after merging main
  
  kixelated
  and
  claude
  committed
  505dcde
- Merge remote-tracking branch 'origin/main' into model-unsafe-operations
  kixelated
  committed
  c82cad5
- feat(ts): refuse pointers a body shows crossing what JS keeps apart
  
  kixelated
  and
  claude
  committed
  762bbd9
- fix(ts): trace slices from raw parts, and type arguments past lifetimes
  
  kixelated
  and
  claude
  committed
  7b65f42
- chore(ts): refresh the lang snapshot for a shared part's pointers
  
  kixelated
  and
  claude
  committed
  42894ef
- feat(ts): model typed allocation as a fresh JS array
  
  kixelated
  and
  claude
  committed
  f5176ec
Commits on Nov 2, 2026
- fix(ts): key memory from alloc by its type, and snapshot the heap cases
  
  kixelated
  and
  claude
  committed
  9fe6969
- style(ts): format the alloc refusal
  
  kixelated
  and
  claude
  committed
  5ff200e
- fix(ts): trace only std's pointer functions, copy unwritten memory, and wrap null
  
  kixelated
  and
  claude
  committed
  08da9f2
- chore(ts): refresh the lang snapshot for the pointer fixes
  
  kixelated
  and
  claude
  committed
  c7beaa5
- fix(ts): move null and dangling pointers by address
  
  kixelated
  and
  claude
  committed
  41ee462
- style(ts): format the dangling cases
  
  kixelated
  and
  claude
  committed
  923432e
- chore(ts): refresh the lang snapshot for dangling pointers
  
  kixelated
  and
  claude
  committed
  fadfdfa
- fix(ts): measure equal addresses as none apart
  
  kixelated
  and
  claude
  committed
  8a6e1f3
- style(ts): format the equal addresses case
  
  kixelated
  and
  claude
  committed
  16d086b
- chore(ts): refresh the lang snapshot for equal addresses
  
  kixelated
  and
  claude
  committed
  19bb6ee
- Merge remote-tracking branch 'origin/main' into model-unsafe-operations
  kixelated
  committed
  2726e72
- chore(ts): refresh the snapshots after merging main
  
  kixelated
  and
  claude
  committed
  1fff10c
- Merge branch 'model-unsafe-operations' into ts-unsafe/typed-alloc
  kixelated
  committed
  fc68973
- fix(ts): key alloc memory by what a MaybeUninit holds, and keep the values that fit
  
  kixelated
  and
  claude
  committed
  cd6c8e3
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe
  
  kixelated
  and
  claude
  committed
  ffd4087
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe
  
  kixelated
  and
  claude
  committed
  21e4090
- fix(ts): free alloc memory through cast and as_ptr
  
  kixelated
  and
  claude
  committed
  39a0a39
- Merge remote-tracking branch 'origin/quest/m3/ts-unsafe' into ts-unsafe/typed-alloc
  kixelated
  committed
  763e2c5
- Merge remote-tracking branch 'origin/main' into ts-unsafe/typed-alloc
  kixelated
  committed
  300d578
- chore(ts): refresh the reject snapshot after merging main
  
  kixelated
  and
  claude
  committed
  c88a91f
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe
  
  kixelated
  and
  claude
  committed
  d6b4f5f
- test(ts): accept wasm32's fma a last place off where the translation is exact
  
  kixelated
  and
  claude
  committed
  f1ff2f4
- fix(ts): refuse offset_from across array fields, fail on dangling elements, keep null array casts null
  
  kixelated
  and
  claude
  committed
  ca5ef08
- chore(ts): regenerate the reject census after merging main
  
  kixelated
  and
  claude
  committed
  a4b0bc3
- fix(ts): normalize pointers through mutable parts, keep null and dangling in empty raw slices
  
  kixelated
  and
  claude
  committed
  19af103
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe
  
  kixelated
  and
  claude
  committed
  702c5a1
- fix(ts): keep the empty byte slices' sentinels tree-shakeable, regenerate elements
  
  kixelated
  and
  claude
  committed
  c209b23
- fix(ts): keep the pointer an empty slice from no array was made from
  
  kixelated
  and
  claude
  committed
  b091e2e
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe
  
  kixelated
  and
  claude
  committed
  6e3c854
- fix(ts): find an empty slice's null pointer, which ?? passes over
  
  kixelated
  and
  claude
  committed
  33d0b07
- fix(ts): unsize a raw pointer to an array as the place of its slice, keep empty parts' pointers
  
  kixelated
  and
  claude
  committed
  1c170e3
- test(ts): read an unsized raw slice pointer through a cast
  
  kixelated
  and
  claude
  committed
  a15976e
- chore(ts): regenerate the elements snapshot
  
  kixelated
  and
  claude
  committed
  b47bb4c
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe
  
  kixelated
  and
  claude
  committed
  b7e835e
- feat(ts): keep a raw slice pointer as its start and length
  
  kixelated
  and
  claude
  committed
  f270a35
- perf(ts): keep the slice a raw slice pointer's first read makes
  
  kixelated
  and
  claude
  committed
  010d1ad
- fix(ts): fail a raw slice read past an array that shrank
  
  kixelated
  and
  claude
  committed
  b71eb2f
- fix(ts): read through NonNull::as_mut of a slice
  
  kixelated
  and
  claude
  committed
  2224ffe
- Merge remote-tracking branch 'origin/main' into t3/3bf18645
  kixelated
  committed
  bbfa2a4
- Merge remote-tracking branch 'origin/main' into t3/3bf18645
  kixelated
  committed
  f3d30f7
- fix(ts): keep the pointer of an empty slice of a lone byte
  
  kixelated
  and
  claude
  committed
  4c5c4a7
- Merge commit '4c5c4a72' into t3/ta-418
  kixelated
  committed
  f3803a6
- chore(ts): regenerate snapshots after merging #400's raw slices
  
  kixelated
  and
  claude
  committed
  1d82ffa
- Merge remote-tracking branch 'origin/main' into t3/ta-418
  kixelated
  committed
  3d1675e
- chore(quest): record offset_from across views of one byte buffer
  
  kixelated
  and
  claude
  committed
  3c4b7c8
- Merge remote-tracking branch 'origin/main' into t3/ta-418
  kixelated
  committed
  aa24f66
- fix(ts): refuse memory from alloc cast to two types in one body
  
  kixelated
  and
  claude
  committed
  43d032c
- fix(ts): trace an allocation's type through realloc in one body
  
  kixelated
  and
  claude
  committed
  a816bfb
- Merge remote-tracking branch 'origin/main' into t3/ta-418
  kixelated
  committed
  d91b4e8
- fix(ts): trace an allocation through pointer cast calls
  
  kixelated
  and
  claude
  committed
  7236720

Commits

Commits on Nov 1, 2026

Commits on Nov 2, 2026