test(zigux): add lane17 bench live patch applier proof

[adybag14-cyber]

Summary

• add zigux/tests/lane17_phase1_bench_live_step_patch_applier.zig as a Zig proof for the exact Phase 1 bench workflow handoff patch
• add zigux/tests/lane17_phase1_bench_live_step_patch_applier_build.zig so the proof has a dedicated runnable build route
• prove the missing live bench check is inserted immediately after the existing bench checker self-test and before the find-bit bench self-test/check pair, while rejecting duplicate, missing-anchor, and reordered-anchor cases

Why This Lane

• Lane 17 owns Phase 1 workflow viability hardening
• live master still has Self-test current Phase 1 bench checker and the find-bit bench self-test/check pair, but lacks Check current Phase 1 bench packet
• this branch keeps the current workflow-edit intent reviewable and executable in Zig while the direct no-checkout workflow update path remains awkward in scheduled runs

Validation

• authenticated current-master workflow reread confirmed .github/workflows/zigux-bootstrap.yml still lacks Check current Phase 1 bench packet
• authenticated branch reread confirmed the new build shard path was absent before stacking
• focused local validation used the attached Zigux-master.zip scaffold plus the attached Zig 0.17.0-dev.87+9b177a7d2 toolchain
• zig fmt --check zigux/tests/lane17_phase1_bench_live_step_patch_applier.zig zigux/tests/lane17_phase1_bench_live_step_patch_applier_build.zig
• cd zigux/tests && zig build lane17-phase1-bench-live-step-patch-applier --build-file lane17_phase1_bench_live_step_patch_applier_build.zig --summary all
  • result: Build Summary: 3/3 steps succeeded; 4/4 tests passed
• authenticated compare after publication:
  • changed files: 2
  • ahead_by: 2
  • behind_by: 0
  • status: ahead

Scope

• lane: Lane 17 — Phase 1 workflow viability hardening
• session issues: #14748, #14805
• branch: zigux-builder/lane17-bench-live-patch-applier-20260529t0540z
• files:
  • zigux/tests/lane17_phase1_bench_live_step_patch_applier.zig
  • zigux/tests/lane17_phase1_bench_live_step_patch_applier_build.zig
• intentionally no edits to .github/workflows/zigux-bootstrap.yml, scripts/zigux/check-phase1-bench.py, shared test wiring, docs, fixtures, or Makefiles

Follow-up

• once a checkout-capable or binary-safe exact workflow write path is available, apply the proven insertion to .github/workflows/zigux-bootstrap.yml by adding:
  • name: Check current Phase 1 bench packet
  • run: python3 scripts/zigux/check-phase1-bench.py

[coderabbitai]

Important

Review skipped

Draft detected.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro

Run ID: 467ceb92-0ac0-41a6-a7cc-b20ff835b380

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch zigux-builder/lane17-bench-live-patch-applier-20260529t0540z

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[adybag14-cyber]

Follow-up from Lane 17 session #15029:

• added a plain test build alias to zigux/tests/lane17_phase1_bench_live_step_patch_applier_build.zig
• kept the existing named lane17-phase1-bench-live-step-patch-applier route and default step intact
• focused validation passed locally with the attached Zig 0.17.0-dev.87+9b177a7d2 toolchain:
  • zig fmt --check zigux/tests/lane17_phase1_bench_live_step_patch_applier.zig zigux/tests/lane17_phase1_bench_live_step_patch_applier_build.zig
  • zig test zigux/tests/lane17_phase1_bench_live_step_patch_applier.zig with 4/4 tests passed
  • zig build --build-file lane17_phase1_bench_live_step_patch_applier_build.zig --list-steps, exposing both lane17-phase1-bench-live-step-patch-applier and test
  • zig build lane17-phase1-bench-live-step-patch-applier --build-file lane17_phase1_bench_live_step_patch_applier_build.zig --summary all with 3/3 steps and 4/4 tests passed
  • zig build test --build-file lane17_phase1_bench_live_step_patch_applier_build.zig --summary all with 3/3 steps and 4/4 tests passed

Authenticated compare after publication: ahead_by: 3, behind_by: 0, status: ahead; changed files remain the two intended Lane 17 patch-applier files.