Skip to content

Bootstrap: spine coverage + inventory regen after nextafter (#15017) #15023

Closed

Description

@PurHur

Problem

After #15017 merged ext/standard/nextafter.php, bootstrap gates regressed:

  • php script/bootstrap-inventory.php --check — stale docs/bootstrap-inventory.md (3685→3686 files)
  • make north-star5-verify-fast step 2 — spine missing ext/standard/nextafter.php

Fix

  1. Regenerate docs/bootstrap-inventory.md
  2. Add require_once for ext/standard/nextafter.php to test/selfhost/compiler_lib_spine_smoke/main.php

Verification

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

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

make north-star5-verify-fast
# north-star5-verify: OK (fast)

make bootstrap-selfhost-link
# bootstrap-selfhost-link: OK

Refs #1492, follow-up to #15017.

Activity

  1. added
    implementation-readySpec complete: repro, php-src ref, done-when — safe for workers to claim
    on Jul 2, 2026
  2. PurHur commented on Jul 2, 2026

    @PurHur
    OwnerAuthor

    claim: cursor-agent-lane-b — bootstrap fallback after #15017 spine/inventory drift (refs #1492)

  3. PurHur commented on Jul 2, 2026

    @PurHur
    OwnerAuthor

    Merged via #15024.

    Verification (pre-merge on branch):

    • php script/bootstrap-inventory.php --check → OK 3686/3686
    • php script/check-selfhost-spine-coverage-sync.php → OK (3686/3686)
    • make north-star5-verify-fast → OK (fast)
    • make bootstrap-selfhost-link → OK
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    implementation-readySpec complete: repro, php-src ref, done-when — safe for workers to claimphase-0:FoundationPhase 0 – foundation & DevEx

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions