Self-host: bootstrap-selfhost-helloworld fails (compile_driver) — parseAndCompile 'Unknown type encountered'

[PurHur]

Category

bootstrap — M3 helloworld self-host gate (blocks #1492 ladder)

Problem

make bootstrap-selfhost-helloworld fails while AOT-linking the inventory compile_driver emit helper. Runtime::parseAndCompile() aborts with Unknown type encountered on both compile_driver.php and main.php in the helloworld smoke tree.

php-src reference

N/A — compile-pipeline / type-lowering gap during self-host AOT (not Zend runtime parity).

Repro

# Full gate (Docker, ~minutes):
./script/docker-exec.sh -- bash -lc 'make bootstrap-selfhost-helloworld'

# Observed failure (2026-06-17):
# parseAndCompile failure: target=/compiler/test/selfhost/compiler_helloworld_smoke/compile_driver.php: Unknown type encountered
# parseAndCompile failure: target=/compiler/test/selfhost/compiler_helloworld_smoke/main.php: Unknown type encountered
# make: *** [Makefile:355: bootstrap-selfhost-helloworld] Error 1

# Link-only step (faster triage):
./script/docker-exec.sh -- bash -lc '
  BOOTSTRAP_M3_LINK_COMPILE_DRIVER=1 \
  BOOTSTRAP_M3_COMPILE_DRIVER_REAL_LOWERING=1 \
  BOOTSTRAP_M3_RUNTIME_COMPILE=1 \
  BOOTSTRAP_M3_HELLOWORLD_STRICT=1 \
  ./script/bootstrap-selfhost-helloworld-probe.sh
'

# Prerequisite check — link stage passes, helloworld fails:
./script/docker-exec.sh -- bash -lc 'make bootstrap-selfhost-link'

Shrink goal: bisect compile_driver.php / main.php with bin/compile.php or bin/vm.php -l until a minimal -r snippet triggers the same Unknown type encountered without the full helloworld Makefile.

Scope (this repo)

Path	Work
test/selfhost/compiler_helloworld_smoke/compile_driver.php	Failing compile unit
test/selfhost/compiler_helloworld_smoke/main.php	Secondary failure
lib/Runtime.php	Runtime::parseAndCompile() type dispatch
lib/Compiler.php	Type lowering gap surfacing as "Unknown type encountered"
lib/JIT.php	AOT emit of inventory compile driver

Done when

• make bootstrap-selfhost-helloworld passes in Docker
• Minimal repro PHPT or self-host guard added so regression fails before full helloworld link
• If compile-only fast path applies, document proof gate (php-compiler-strict) in PR — default CI remains php-src-strict elsewhere

Related

• Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492 self-host north star
• Self-host M3/M5: delete retired *_m3_emit_native_entry.php after inventory emit driver green #3032 inventory compile_driver path
• ./script/bootstrap-selfhost-helloworld-probe.sh

Notes

• make bootstrap-selfhost-link: OK (link stage alone passes)
• Fails specifically on helloworld probe emit-helper link with real lowering enabled

[PurHur]

Bootstrap snapshot (local, Docker):\n- bootstrap-selfhost-link: OK (gen-0 native emit failed → recovered via sidecar)\n- bootstrap-selfhost-helloworld: FAIL while linking emit helper (inventory compile_driver)\n - PHP Startup warning: unable to load intl.so (libicuio.so.72 missing)\n - parseAndCompile target test/selfhost/compiler_helloworld_smoke/compile_driver.php: 'Unknown type encountered'\n- bootstrap-inventory --check: fails because docs/bootstrap-inventory.md is stale (lib/Compiler.php warnings 333→335)

[PurHur]

Follow-up: ultimately fails with:\n- intl extension load warning: because is missing in the environment\n- then for BOTH:\n - \n - \n - message: \n- gate summary:

[PurHur]

Follow-up: bootstrap-selfhost-gate.sh helloworld fails with:

• PHP Startup warning: unable to load intl.so because libicuio.so.72 is missing in the environment.
• Then parseAndCompile failure for BOTH:
  • test/selfhost/compiler_helloworld_smoke/compile_driver.php
  • test/selfhost/compiler_helloworld_smoke/main.php
  • message: Unknown type encountered
• Gate summary: bootstrap-selfhost-helloworld-probe: link bundle failed

[PurHur]

claim: worker-lane-c — starting this run

[PurHur]

claim: worker-lane-c — continuing this run (branch agent/issue-9068-helloworld-unknown-type)

[PurHur]

claim: worker-lane-c — continuing this run (verify helloworld gate + merge if green)

[PurHur]

claim: worker-lane-c — continuing this run (repro + fix Unknown type in helloworld compile_driver)

[PurHur]

claim: cursor-agent — continuing PR #9082 verification and merge this run

[PurHur]

Maintainer triage 2026-06-16: PR #9088 syncs prelinked removeType() empty-union but helloworld gate still red locally (Unknown type encountered on compile_driver.php). See PR #9082 review — additional php-types throw sites remain. Gate status: link green, helloworld red.

[PurHur]

Maintainer gate check 2026-06-16: #9082 (prelinked removeType fix) does not clear helloworld yet — bootstrap-selfhost-helloworld still fails parseAndCompile … Unknown type encountered on compile_driver.php. Link gate green. Holding #9082 merge until helloworld improves.