Language: numeric-string <=> via zendi_smart_strcmp (#22848)

[PurHur]

Summary

• String↔string <=> (and ordered </> on the VM) used lexicographic strcmp; Zend uses zendi_smart_strcmp so both-is_numeric operands compare as numbers ("10"<=>"2" === 1).
• Shared SSOT: CompareJitHelperScalars::stringSpaceship (NestedJIT / __value__spaceship); VM Variable::spaceshipOp / string relational; native JIT VmStringCompare::smartStrcmp.
• php-src-strict; no new C runtime logic.

Closes #22848

php-src reference

• Zend/zend_operators.c — zendi_smart_strcmp / is_numeric_string_ex

Test plan

• Issue repro: php bin/vm.php test/repro/issue_22848_numeric_spaceship.php matches Zend
• vendor/bin/phpunit --filter SpaceshipCompareJitHelperTest
• Docker JIT/AOT with PHP_COMPILER_HELPER_RUNTIME_O=1 (lock contended — will paste)
• Compliance spaceship_numeric_string.phpt

Verification (VM)

php bin/vm.php test/repro/issue_22848_numeric_spaceship.php
'10'<=>'2' => 1
'2'<=>'10' => -1
'1e1'<=>'10' => 0
'0'<=>'00' => 0
' 10'<=>'10' => 0
'10 '<=>'10' => 0
'a'<=>'b' => -1

Made with Cursor

[PurHur]

Verification (this run)

Trust probe (before claim): inventory OK 6512/6512; north-star5-fast red on gen-0 fingerprint (#22642 / PR #22717 — not this lane).

VM (php bin/vm.php test/repro/issue_22848_numeric_spaceship.php) — matches Zend:

'10'<=>'2' => 1
'2'<=>'10' => -1
'1e1'<=>'10' => 0
'0'<=>'00' => 0

JIT (PHP_COMPILER_HELPER_RUNTIME_O=1 php bin/jit.php …) — same output as Zend/VM.

PHPUnit: SpaceshipCompareJitHelperTest + spaceship_numeric_string — OK (7 tests).

AOT: native literal path shares VmStringCompare::smartStrcmp / NestedJIT CompareJitHelperScalars::stringSpaceship; cold helper-runtime rebuild contended on host — not blocking (JIT exercised the same lowering).