Self-host M2: spine native link fails — Expr_ArrowFunction in lib/JIT/BootstrapCompileSmokeM3Emit.php #2679

Milestone

M2 — compiler_lib_spine_smoke native link on critical path to #1492 / #1498

Problem

BOOTSTRAP_LIB_SPINE_SMOKE=1 make bootstrap-selfhost-lib-spine-smoke fails during Zend compile of the 717-file spine bundle (not LLVM link yet):

parseAndCompile failure: target=/compiler/test/selfhost/compiler_lib_spine_smoke/main.php
PHP Fatal error: Uncaught LogicException: Unknown variable op found: Expr_ArrowFunction
  in vendor/ircmaxell/php-types/lib/PHPTypes/TypeReconstructor.php:303

First offender (source): lib/JIT/BootstrapCompileSmokeM3Emit.php line ~128 — static fn (Context $ctx, …) => … passed to M3EmitTuTrivialEchoAot::emitParseAndCompileWithTrivialFallback.

php script/bootstrap-spine-php-cfg-parse-check.php is green (php-cfg overlay accepts arrow syntax); failure is php-types during Runtime::parse() → TypeReconstructor::resolveVarOp().

This regresses M4 full make bootstrap-loop-probe at the M2 spine prerequisite (exit 1).

Scope

Out of scope: full VM/JIT arrow lowering (#142); this issue unblocks honest spine link only.

Repro

./script/docker-exec.sh -- BOOTSTRAP_LIB_SPINE_SMOKE=1 make bootstrap-selfhost-lib-spine-smoke
# exit 2 — Unknown variable op: Expr_ArrowFunction

./script/docker-exec.sh -- ./script/bootstrap-loop-probe.sh
# exit 1 — M2 lib spine smoke failed (same stack)

Done when

• BOOTSTRAP_LIB_SPINE_SMOKE=1 make bootstrap-selfhost-lib-spine-smoke prints compiler_lib_spine_smoke bundle OK
• make bootstrap-loop-probe passes M2 spine step (full mode can proceed to gen-1/gen-2)
• Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492 M2 spine row = ✅ (re-verify on harness)

Labels

self-host, bootstrap, IMPORTANT

Links

#1492 · #1498 · #142 (full language) · #2664 (full spine gen-1 emit)