Skip to content

Trust: add socket_select.php to selfhost spine (#19390) - #19401

Merged
PurHur merged 1 commit into
masterfrom
agent/issue-10533-spine-socket-select
Jul 16, 2026
Merged

PurHur merged 1 commit into
masterfrom
agent/issue-10533-spine-socket-select

Conversation

@PurHur

@PurHur PurHur commented Jul 16, 2026

Copy link
Copy Markdown
Owner

Summary

  • Stdlib: socket_select() via poll(2) thin FFI (#6395) #19390 added ext/sockets/socket_select.php to the vm.php inventory path but omitted the compiler_lib_spine_smoke require_once, which red-failed Pillar 1 (spine-coverage + north-star5-verify-fast).
  • Add the spine require next to the other sockets units and regenerate docs/bootstrap-inventory.md to 5030/5030.
  • No Lane B parity claim this run — all open implementation-ready tickets in % 3 == 1 are owned by STD Lib / Ext / PHP Runtime (or meta). This is a trust-gate repair so parity workers are unblocked.

Test plan

  • php script/check-selfhost-spine-coverage-sync.php → OK (5030/5030)
  • php script/bootstrap-inventory.php --check → OK 5030/5030
  • ./script/docker-exec.sh -- bash -lc 'make north-star5-verify-fast' → OK (fast)
  • ./script/release-readiness.sh --json → confirm user_release_ready: yes after this PR

Refs: #19390, #10533 (Pillar 1 trust)

Made with Cursor

#19390 landed socket_select on the vm.php inventory path without a
compiler_lib_spine_smoke require, which red-failed spine-coverage and
north-star5-verify-fast. Sync inventory doc to 5030/5030.

Co-authored-by: Cursor <cursoragent@cursor.com>
@PurHur
PurHur merged commit da3300d into master Jul 16, 2026
1 check failed
@PurHur
PurHur deleted the agent/issue-10533-spine-socket-select branch July 16, 2026 02:23
PurHur added a commit that referenced this pull request Jul 16, 2026
#19406)

#19401 added socket_select.php twice under merge race, leaving spine 5031/5030
and stale assertSame/README trackers. Restore honest 5030/5030 coverage.

Co-authored-by: PurHur <PurHur@users.noreply.github.com>
Co-authored-by: Cursor <cursoragent@cursor.com>
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