Skip to content

docs: clarify remote chonk bench transport#23135

Merged
ludamad merged 1 commit intonextfrom
cb/profile-chonk-binary-bencher-contract
May 10, 2026
Merged

docs: clarify remote chonk bench transport#23135
ludamad merged 1 commit intonextfrom
cb/profile-chonk-binary-bencher-contract

Conversation

@AztecBot
Copy link
Copy Markdown
Collaborator

@AztecBot AztecBot commented May 10, 2026

Summary

  • Clarify that /profile-chonk and /remote-bench build native/WASM bb locally, then copy only binaries and pinned inputs to the bencher.
  • Explicitly forbid git bundles, remote worktrees, private GitHub fetches on the bencher, and per-session WASI SDK/toolchain installs on the shared bencher.
  • Tell agents to treat missing local emcc, WASI SDK, or other build tooling as a devbox/copy-base bootstrap gap rather than mutating the bencher.

Validation

  • git diff --check
  • Verified root AGENTS.md on current next indexes profile-chonk and remote-bench, so Codex can discover the skill paths.
  • Verified both skill files contain the no-git-bundle/no-remote-worktree/no-per-session-WASI contract.

This is a docs-only correction for the canonical profiling workflow.

@AztecBot AztecBot marked this pull request as ready for review May 10, 2026 15:59
@ludamad ludamad enabled auto-merge May 10, 2026 16:14
@ludamad ludamad added this pull request to the merge queue May 10, 2026
Merged via the queue into next with commit a2eae19 May 10, 2026
33 checks passed
@ludamad ludamad deleted the cb/profile-chonk-binary-bencher-contract branch May 10, 2026 16:56
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.

2 participants