Skip to content

Bootstrap: spine sync for AOT exec/ob capture LLVM helpers (#10492)#17464

Merged
PurHur merged 1 commit into
masterfrom
agent/bootstrap-spine-jit-exec-capture-lane-b
Jul 8, 2026
Merged

Bootstrap: spine sync for AOT exec/ob capture LLVM helpers (#10492)#17464
PurHur merged 1 commit into
masterfrom
agent/bootstrap-spine-jit-exec-capture-lane-b

Conversation

@PurHur

@PurHur PurHur commented Jul 8, 2026

Copy link
Copy Markdown
Owner

Summary

  • Add three user-script AOT LLVM helpers to compiler_lib_spine_smoke so spine coverage matches the 4287-file Phase A inventory:
    • lib/JIT/Builtin/ObOutputExecCaptureLlvm.php
    • lib/JIT/Builtin/ProcessExecCaptureLlvm.php
    • lib/JIT/Builtin/ProcessShellExecLibc.php
  • Refresh gen-0 sidecar stamp and spine footnotes (4284/4284 → 4287/4287)

Root cause

ci-fast spine-coverage-sync failed: the three JIT files landed on the bin/vm.php require path (#10492 / #15407) but were never added to the M2 spine bundle.

Verification

php script/bootstrap-inventory.php --check
# OK 4287/4287

php script/check-selfhost-spine-coverage-sync.php
# OK (spine covers all 4287 inventory files)

php script/check-selfhost-spine-count-sync.php
# OK (spine 4287/4287)

php script/check-selfhost-spine-sidecar-sync.php
# OK (stamp matches spine entry SHA-1 afec2ee9...)

./script/phpunit.sh test/unit/BootstrapSelfhostBundleTest.php
# OK (4 tests)

make bootstrap-selfhost-vm-driver-execute-probe
# OK

./script/docker-exec.sh -- bash -lc 'make bootstrap-selfhost-link'
# bootstrap-selfhost-link: OK

Refs #10492, #10249 (parity tracker note)

Made with Cursor

Add ObOutputExecCaptureLlvm, ProcessExecCaptureLlvm, and ProcessShellExecLibc
to compiler_lib_spine_smoke so spine-coverage-sync matches the 4287-file
inventory; refresh gen-0 sidecar stamp and spine footnotes.

Co-authored-by: Cursor <cursoragent@cursor.com>
@PurHur PurHur merged commit aa1b478 into master Jul 8, 2026
1 check failed
@PurHur PurHur deleted the agent/bootstrap-spine-jit-exec-capture-lane-b branch July 8, 2026 20:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant