Skip to content

chore: capture the macOS leg's headroom and record a falsified ground - #1102

Merged
REPPL merged 1 commit into
mainfrom
chore/capture-macos-headroom
Oct 18, 2026
Merged

REPPL merged 1 commit into
mainfrom
chore/capture-macos-headroom

Conversation

@REPPL

@REPPL REPPL commented Oct 18, 2026

Copy link
Copy Markdown
Collaborator

What this changes

Records only, no code.

Why the claim changes did not show on CI

The git-process cut was measured in one drain test, 1,107 to 830. Across the whole of internal/core/implement/loop and internal/core/claim, a plain local run made 126,334 git calls before #1099 and 119,327 after #1100, which is 5.5% fewer. That is well inside the difference between CI runners: the macOS race pass's package times summed to between 5,738 and 8,050 seconds on the same tree. The package-wide figure goes into the record with the next change under iss-2610181711260494.

Evidence

  • make preflight passed on this commit (receipt minted).
  • The record gates (record-lint, lint-issues) report nothing new.

Refs: iss-2610181711260494
Refs: iss-2610180545134593

Assisted-by: Claude:claude-opus-5-5

Across nine merge-group runs on 2026-10-18 the check job's macOS leg took
35.2 to 49.4 minutes, the run of #1099 within 0.6 minutes of its 50-minute
warning; nearly all of it is the one race-enabled pass. Captured, minor,
so the leg is tracked before the warning fires.

The loop-speed record's grounds named what would show them wrong, a
merge-group race step no shorter than before, and the first two runs
after both of its changes showed it: the ubuntu race step took 20.8 and
20.6 minutes, at the top of its earlier range. The record now says so;
its cut in git processes stands where it was measured and is below the
difference between runners on CI.

Refs: iss-2610181711260494
Refs: iss-2610180545134593

Assisted-by: Claude:claude-opus-5-5
@REPPL
REPPL enabled auto-merge October 18, 2026 17:55
@REPPL
REPPL added this pull request to the merge queue Oct 18, 2026
Merged via the queue into main with commit 0ba75ce Oct 18, 2026
14 checks passed
@REPPL
REPPL deleted the chore/capture-macos-headroom branch October 18, 2026 18:59
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