CI: BOOTSTRAP_M3_COMPILE_SMOKE_STRICT_GATE opt-in in ci-local after #1937

[PurHur]

Problem

#1493 ✅ closed strict HelloWorld native emit. The next M3 slice is #1937 — native emit for compiler_compile_smoke (real Compiler → JIT → AOT path beyond one-line echo).

Today BOOTSTRAP_M3_HELLOWORLD_STRICT_GATE exists (#1866 follow-up), but there is no ci-local hook for a compile-smoke strict probe once #1937 lands. Contributors must remember script/bootstrap-selfhost-compile-smoke-probe.sh manually during M3→M4 work.

Goal

After #1937 probe exits 0 on harness:

1. Add BOOTSTRAP_M3_COMPILE_SMOKE_STRICT_GATE to script/ci-defaults.env (default 0)
2. In script/ci-common.sh, when gate =1 and LLVM ready, run compile-smoke strict probe (wrap existing script — no duplicate logic)
3. Document in docs/local-ci-matrix.md and phpc doctor --gates
4. Follow-up: default =1 in ci-local.sh after stable (sibling to CI: Default BOOTSTRAP_M3_HELLOWORLD_STRICT_GATE=1 in ci-local after #1493 #1866)

Implementation hints

Piece	Path	Notes
Probe	script/bootstrap-selfhost-compile-smoke-probe.sh (new or extend helloworld probe)	Env BOOTSTRAP_M3_COMPILE_SMOKE_STRICT=1
Fixture	test/selfhost/compiler_compile_smoke/main.php	Already in docs/bootstrap-selfhost.md
CI	script/ci-common.sh ci_run_bootstrap_m3_compile_smoke_strict()	After ci_run_bootstrap_m3_helloworld_strict() block
JIT policy	lib/JIT/SelfHostBuiltinPolicy.php	May need allowlist entries for compile-smoke symbols

Suggested probe contract

BOOTSTRAP_M3_COMPILE_SMOKE_STRICT=1 ./script/bootstrap-selfhost-compile-smoke-probe.sh
# exit 0: native binary emits compile-smoke without Zend bin/compile.php fallback

Acceptance criteria

• BOOTSTRAP_M3_COMPILE_SMOKE_STRICT_GATE=1 ./script/ci-local.sh runs probe when LLVM present
• Default remains 0 until Self-host M3: Native emit for compiler compile-smoke fixture (post-#1493) #1937 green
• test/unit/CiScriptsTest.php documents env var
• Clear skip message when LLVM missing

Verification (local / Docker only)

make docker-build-22
BOOTSTRAP_M3_COMPILE_SMOKE_STRICT_GATE=1 ./script/ci-local.sh
# Docker:
docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev \
  env BOOTSTRAP_M3_COMPILE_SMOKE_STRICT_GATE=1 ./script/ci-local.sh

No GitHub Actions (#394 ✅).

Dependencies

• M3: BOOTSTRAP_M3_HELLOWORLD_STRICT — native HelloWorld emit (no Zend fallback) #1493 ✅ — HelloWorld strict emit precedent
• Self-host M3: Native emit for compiler compile-smoke fixture (post-#1493) #1937 — compile-smoke native emit (blocker)
• CI: Default BOOTSTRAP_M3_HELLOWORLD_STRICT_GATE=1 in ci-local after #1493 #1866 — HelloWorld strict ci-local default (parallel ladder)
• DevEx: phpc test --bootstrap — self-host gate subset for iteration #1961 — phpc test --bootstrap may call subset

Links

• Epic Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492 M3→M4
• docs/self-host-target.md M1 compile-smoke row
• ROADMAP #78 Phase 5 Self-host

[PurHur]

Opt-in gate — flip to default-on in #2165 after this path is green on make test-harness.

Probe: BOOTSTRAP_M3_COMPILE_SMOKE_STRICT_GATE=1 ./script/ci-local.sh (or ./script/docker-ci-local.sh).

Depends #1937 ✅, #1768 symbol batches.

[PurHur]

Harness note (backlog): Prefer verification via:

make test-harness
# or:
BOOTSTRAP_M3_COMPILE_SMOKE_STRICT_GATE=1 ./script/docker-ci-local.sh
./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && BOOTSTRAP_M3_COMPILE_SMOKE_STRICT_GATE=1 ./script/ci-local.sh'

Avoid raw docker run -v "$(pwd):/compiler" on Runforge — empty bind-mount (#272 ✅). Default-on promotion remains #2165 after this opt-in gate is green.

[PurHur]

Staged pair (do not merge with #2165)

This issue = opt-in BOOTSTRAP_M3_COMPILE_SMOKE_STRICT_GATE=:-0 in ci-local.sh.

#2165 = default-on flip (:-1) after this lands green on harness Docker.

Canonical verification: make test-harness or ./script/docker-ci-local.sh — not GitHub Actions (#394 ✅). Not #174 (LLVM toolchain only).

ROADMAP #78 de-dupe table lists both.

[PurHur]

Harness 2026-05-27: make bootstrap-selfhost-compile-smoke-strict is green (emit_path=native). Safe to flip BOOTSTRAP_M3_COMPILE_SMOKE_STRICT_GATE=1 default in ci-local.sh per issue scope.

[PurHur]

Closing: #1937 strict compile-smoke emit is green on harness 2026-05-27 (make bootstrap-selfhost-compile-smoke-strict → emit_path=native). Opt-in CI wiring landed; follow #2165 for default-on BOOTSTRAP_M3_COMPILE_SMOKE_STRICT_GATE=1 in ci-local.sh. Epic #1492.