refactor(core): improvements on merged topics#347

Draft

Guikingone wants to merge 34 commits into

illegalstudio:mainfrom

Guikingone:fix/audit-remediation

Commits on Jun 8, 2026

fix: gate foreach-var heap release on slot ownership
Guikingone
committed
fix: follow PHP/IEEE NaN rules in float comparisons on all targets
Guikingone
committed
fix: fold PHP_INT_MIN % -1 to 0 instead of panicking the compiler
Guikingone
committed
fix: cast precedence and name resolution in expression assignments
Guikingone
committed
fix: array_merge of string arrays no longer corrupts elements
Guikingone
committed
fix: keep bare-statement builtins that can raise a PHP fatal
Guikingone
committed
fix: substr negative length drops characters from the end
Guikingone
committed
fix: sort float arrays by numeric value, not bit-pattern
Guikingone
committed
fix: array_sum/array_product return float for float arrays
Guikingone
committed
fix: division and modulo by zero raise a fatal instead of 0/INF
Guikingone
committed
fix: single-argument math builtins coerce Mixed/Union args to float
Guikingone
committed
fix: multi-argument math builtins coerce Mixed/Union args to float
Guikingone
committed
fix: floatval() parses strings and unboxes Mixed args (H2)
Guikingone
committed
fix: is_a()/is_subclass_of() resolve a Mixed/Union receiver at runtime (H4)
Guikingone
committed
fix: settype() coerces string and Mixed sources per PHP rules (L2)
Guikingone
committed
fix: str_split() rejects length<1 and returns [""] for an empty string (L3)
Guikingone
committed
fix: array literal auto-increment seeds from negative explicit keys (L4)
Guikingone
committed
fix: align codegen local-type inference with emitters for array_chunk/column/map/rand (M8)
Guikingone
committed
fix: support variadic array_merge/diff/intersect (3+ args) via left-fold desugar (H9)
Guikingone
committed
fix: in_array()/array_search() accept the $strict flag (H10)
Guikingone
committed
fix: sort builtins accept the optional SORT_* $flags argument (H7)
Guikingone
committed
fix: round() accepts the $mode argument with HALF_UP and HALF_EVEN (M5)
Guikingone
committed
perf: avoid per-ancestor String clone in is_subclass_of (T9 P4)
Guikingone
committed
docs: document NaN ordering incompatibilities for <=> and min/max (L5)
Guikingone
committed
docs: reflect variadic array_merge/diff/intersect and in_array/array_search $strict
Guikingone
committed
fix: array_slice() preserve_keys for scalar arrays (M6)
Guikingone
committed
fix: min()/max() coerce boxed Mixed operands instead of comparing pointers (H1-part-3)
Guikingone
committed
perf: emit @src statement comment without per-statement String alloc (T9 P3)
Guikingone
committed
fix: number_format() supports multi-byte decimal/thousands separators (M4)
Guikingone
committed
feat: array_map() with two input arrays (H11, increment 1)
Guikingone
committed
feat: array_map() two-array form supports capturing closures (H11, increment 2)
Guikingone
committed
feat: array_map() two-array form accepts a variable holding a closure (H11, increment 3)
Guikingone
committed
fix: array_map() specializes untyped inline closure params to the element type
Guikingone
committed
feat: array_map() two-array form supports string arrays (H11, string elements)
Guikingone
committed