RHLGA-1 G2c: workspace tests pass on any host (HOSTDEP-1, RAWIDENT-2, GLOBALSHADOW-1, RETUNIT-1, BLOCKFOR-1)

[noahgift]

RHLGA-1 G2c: the workspace test suite passes on any host

Stacked on #246 (G2b). Once #246 merges, this PR's diff is the three commits after 1e82f210.

G2 acceptance met: at ba96b2dd on intel, cargo nextest run --workspace --no-fail-fast ran 28138 tests: 28138 passed, 2492 skipped, exit 0. The follow-up commit feb1d2c5 changes only a test that is ignored by default.

Changes

• HOSTDEP-1: six test binaries ran whatever ruchy was on PATH. They now spawn env!("CARGO_BIN_EXE_ruchy"). Two checks that need a host tool are named-environment ignores:

  • renacer (tooling_002 test 01);
  • llvm-profdata (opt_global_001 test 03). This test now merges the collected profiles and asserts success.

  The cli_unify_003 determinism properties now run 1,000 cases, down from 10,000.

• RAWIDENT-2 (behaviour): a name that is a Rust reserved word (box, do, typeof, extern, …) is emitted as a raw identifier in every binding position.

• GLOBALSHADOW-1 (behaviour): a parameter, closure/for/pattern binder, or let that has the same name as a mutable global now reads and writes the local.

  • Before, the body read the global, and a parameter failed to compile (E0530).
  • The static for global x is now __global_x.
  • x += x on a global no longer takes a second lock.

• RETUNIT-1: a function named like arithmetic (add, double) no longer gets -> i32 when its body ends in an assignment.

• BLOCKFOR-1: { expr⏎ for x in xs { … } } parses as a block, not as a failed set comprehension.

• Filed to the backlog: SETCOMP-1 (SETCOMP-1: interpreter has no SetComprehension evaluation ({x * 2 for x in xs}) #247), the interpreter has no set comprehension.

Tests

• tests/g2b_transfix_7.rs: 21 tests (RED first). Each checks that compiled and interpreted output match.
• Local gate: fmt, clippy -D warnings, lib (20890 passed), and 16 transfix/runfix/deadlock suites.

Quorum

Brief sha 0d6aae48…, diff sha 96500bf6…, head ba96b2dd, author opus-5.5.

Seat	Verdict
claude-sonnet-5	PASS
claude-haiku-4-5	PASS
gemini-3.1-pro-high (agy)	FAIL, 1 finding: PGO test 03 passed a literal glob and asserted only that the process spawned. Fixed in feb1d2c5.

Receipt: /mnt/nvme-raid0/tmp/g2c-quorum/receipt.json.

🤖 Generated with Claude Code

[noahgift]

quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "RHLGA-1",
 "head": "feb1d2c5b7b9ce8554bae492a4ce3e007451a934",
 "width": 3,
 "executor": "agy",
 "agreed": false,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "FAIL",
   "findings": 3
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 8
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 5
  }
 ]
}

[noahgift]

quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "RHLGA-1",
 "head": "feb1d2c5b7b9ce8554bae492a4ce3e007451a934",
 "width": 3,
 "executor": "agy",
 "agreed": false,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "FAIL",
   "findings": 1
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 9
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 7
  }
 ]
}

[noahgift]

quorum-review (AD-04): three PASS — agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "RHLGA-1",
 "head": "bb8b7ec012d329295f28a65393785e139d6aecb1",
 "width": 3,
 "executor": "agy",
 "agreed": true,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "PASS",
   "findings": 5
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 10
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 10
  }
 ]
}