Skip to content

Trust: dedupe socket_select spine require and sync 5030/5030 footnotes - #19406

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

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

Conversation

@PurHur

@PurHur PurHur commented Jul 16, 2026

Copy link
Copy Markdown
Owner

Summary

  • Pillar 1 trust fix: #19401 left a duplicate ext/sockets/socket_select.php require_once in compiler_lib_spine_smoke (merge race after #19390), so the spine counted 5031/5030.
  • Remove the duplicate require, rewrite spine footnotes + BootstrapSelfhostBundleTest assert to 5030/5030, refresh inventory construct-flag line numbers.

Context

Worker lane A had no eligible language/parity issue this run (open implementation-ready Lane A tickets are stdlib/ext/php-in-php/meta). Pillar 1 was red on spine count drift — fixed here instead of claiming another lane.

Test plan

  • php script/check-selfhost-spine-coverage-sync.php → OK (5030/5030)
  • php script/check-selfhost-spine-count-sync.php → OK
  • php script/bootstrap-inventory.php --check → OK 5030/5030
  • php script/bootstrap-spine-count.php → 5030/5030
  • single socket_select.php require in spine (grep -c → 1)
  • ./script/release-readiness.sh --json after merge (expect user_release_ready: yes)

Refs #19390 #19401 #10533

Made with Cursor

#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: Cursor <cursoragent@cursor.com>
@PurHur
PurHur merged commit ca954a5 into master Jul 16, 2026
1 check failed
@PurHur
PurHur deleted the agent/spine-socket-select-coverage branch July 16, 2026 02:42
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