Trajectory-level credit assignment can localize which module of a tool-using LLM agent causes failures using only verifiable signals. We ask whether such failure credit should route a fixed zeroth-order/evolution-strategies (ZO/ES) perturbation budget. Across a synthetic environment and frozen Qwen2.5-1.5B/3B and SmolLM2-1.7B agents, three task families, six allocation schemes, a credit-noise sweep, paired seeds, and exact sign-flip tests, we find no statistically detectable improvement over uniform allocation in any on-pool comparison (no gain of at least 2 percentage points). The joint soft-plus-sigma scheme is equivalent to uniform within a +/- 0.02 AUC margin on 1.5B and 3B; concentrating the full budget on the credit argmax is marginally equivalent on 1.5B, where that module is the verified bottleneck, and significantly worse on 3B. Inverse-propensity debiasing does not rescue routing, and misrouting costs up to -0.074 AUC in-house and -0.118 end-to-end on the BFCL-derived family. Across six fixed-step schedules, loss is linear in bottleneck starvation rate (R^2 = 0.94, descriptive), and a preregistered credit-free coverage floor removes detected harm. Matched-budget burst and step-compensating catch-up schedules are consistent with harm arising from insufficient cumulative parameter movement rather than update frequency. Our primary estimand is optimization efficiency on a fixed task pool. On unseen BFCL functions, the study's one exception is that soft routing exceeds uniform on held-out endpoints (+0.047, p = 0.031, n = 6). A plausible but untested reading is that routing-favored caller improvements transfer while uniform's on-pool gains reflect a synthesizer behavior specific to our harness. We report this exception explicitly and document three failure modes that can silently invalidate ZO/ES experiments on frozen LLMs.
Figures & tables
Figure 1: (a) Arms optimize a frozen Qwen2.5-1.5B agent from success 0.734 to 0.90–0.92 (last-five-generation means; uniform reaches ≈0.92 , final generation 0.945); only the misrouted arm lags. (b) Loss vs uniform is linear in the bottleneck starvation rate ( R2=0.94 ); error bars are 95% CIs of paired differences.
arm
conc.
AUC
Δ vs uniform
p (perm.)
TOST ±0.02
uniform
0.25
0.8418±0.0250
—
—
—
soft+ σ
0.64
0.8280±0.0145
−0.0139
0.156
✗
hard ( argmax credit)
1.00
0.8389±0.0215
−0.0030
0.766
✓
random module
1.00
0.7675±0.0075
−0.0743
0.008
—
Table 1: Main experiment (Qwen2.5-1.5B, n=8 , paired; ± is SD across seeds in this table). “Conc.” is the mean per-generation fraction of budget on the most-funded module. TOST column: ✓ equivalence certified within ±0.02 ; ✗ not certified at n=8 (soft is certified on the 12-seed replication below); — not applicable. Hard’s equivalence is marginal under paired- t TOST (weaker one-sided p=0.0497 ).
Figure 2: (a) Corrupting the routing signal with probability q degrades hard routing monotonically; the endpoints q=0 and q=1 are the hard and random arms of Table 1 . (b) A credit-free coverage floor removes 80% of hard ∼ 0.5’s penalty (a ratio with a noisy denominator; § 5.8 ), landing inside the shaded band, which marks the preregistered prediction ∣Δ∣<0.015 (narrower than the ±0.02 TOST margin).
arm
predicted
observed
hard ∼ 0.5, no floor
≈−0.034
−0.0273±0.0332 (5/6 neg.)
hard ∼ 0.5, floor =1
∣Δ∣<0.015
−0.0056±0.0124 , TOST p=0.002/0.018
Table 2: Floor test vs preregistered predictions ( ± is SD across seeds).
Figure 3: BFCL-derived task family ( n=6 , paired; diamonds: mean with 95% CI; dots: per-seed differences; soft/random/hard at 4 pairs/generation, hard + floor at 6; its DiD baseline, the un-floored 6-pair hard arm at −0.107 , is not drawn). Every routing scheme underperforms uniform—hard most severely ( −0.118 , p=0.031 , net learning +0.013 vs uniform’s +0.132 )—and a credit-free coverage floor removes the detected harm ( +0.026 vs uniform, n.s.). End-to-end success on the training pool; the arm gaps are carried by the synthesizer relay (§ 5.11 ).
arm
success
caller accuracy
relay
untrained ( θ=0 )
0.583
0.698
0.836
uniform
0.696±0.031
0.696±0.031
1.000±0.000
soft+ σ
0.743±0.016
0.745±0.014
0.998±0.006
random
0.717±0.022
0.727±0.019
0.986±0.022
hard
0.660±0.043
0.733±0.025
0.901±0.059
Table 3: Held-out BFCL evaluation (96 unseen functions; generation-30 coefficients; n=6 , ± SD across seeds). Relay is P(success∣call ok) , the synthesizer’s rate of relaying the constant answer. Bold marks the best value per column (point estimates; only soft’s differences from uniform are individually significant). The untrained row has no seed variance because θ=0 is deterministic under greedy decoding.
Appendix figures & tables4 assets
Supplementary material from the paper’s appendix.
Appendix
#
Preregistered prediction
Commit
Date
Outcome
1
Sparse: Δ∈[−0.035,−0.015] vs uniform †
3b87179
08-19
miss ( −0.043 )
2
Floor F1: un-floored hard ∼ 0.5 ≈−0.034
3b87179
08-19
hit
3
Floor F2: floored ∣Δ∣<0.015 (removes ≥ 60%)
3b87179
08-19
hit
4
Shaping G1: random ( w=1 ) ≤−0.04 & sig.
11762e7
08-20
hit
4b
Shaping G1: hard ( w=1 ) ∣Δ∣<0.02
11762e7
08-20
hit ( +0.001 ; TOST n.c.)
5
Shaping G2: shaping necessary ( w=0 AUC <0.78 )
11762e7
08-20
miss (0.841)
Appendix
Table 4: Preregistration ledger (28 scored: 19 hit, 9 miss; row 25 inert, reported as a control; row 26 unscored). ‡ O2’s “no upside” criterion held; the significant loss was unpredicted and is reported as such (§ 6 , multiple comparisons). § The capacity-matched burst clip never binds, so the arm is bit-identical to plain burst—an inert manipulation, not a scored hit/miss. ¶ The catch-up arm was specified before it ran as a diagnostic whose two outcomes had opposite readings, without a directional prediction; O and Q were preregistered at n=8 and run at n=6 . † The sparse prediction was an informal analogy recorded in the analysis commit rather than a separately time-stamped preregistration; it is counted as a miss.
Table 6: Synthetic pre-study, ΔAUC vs uniform. ∗ paired sign-flip p<0.05 . Oracle vs uniform passes ±0.02 TOST in three of four regimes ( pupper/plower : <0.001/0.021 , <0.001/<0.001 , 0.006/0.057 , <0.001/<0.001 , in row order; the non-stationary/tight regime is not certified). Per-seed values are in the released results dataset.
sweep
backbone / tasks
arms
n
gens
pairs
floor
w
reported
synthetic pre-study
mock, 4 regimes
uniform, oracle, soft, hard, random
10
120
4 / 8
0
—
§ 5.1 , App. C
main
1.5B / in-house
uniform, soft+ σ , hard, random
8
45
4
0
0.5
§ 5.2
seed extension
1.5B / in-house
uniform, soft+ σ
12
45
4
0
0.5
§ 5.2
credit noise
1.5B / in-house
hard ∼ 0.25, 0.5, 0.75
8
45
4
0
0.5
§ 5.7
sparse
1.5B / in-house
uniform, sparse
8
45
4
0
0.5
§ 5.7
floor
1.5B / in-house
uniform, hard ∼ 0.5, hard ∼ 0.5+floor
6
45
6
0 / 1
0.5
§ 5.8
Appendix
Table 7: Experiment overview. “BFCL-48” is the 48-task training pool; “BFCL-96 unseen” the held-out set with disjoint questions and function names. Per-module clip is 0.5 except where noted. Synthetic regimes use 4 pairs (tight) or 8 (wide) and module dimensions 16, 8, 16, 32 in the row order of Table 6 .