Pretraining scaling laws treat training data as a one-dimensional quantity: a token count. Agentic reinforcement learning (RL) inherits this scalar abstraction, but modern synthesis pipelines now generate tasks, environments, and trajectories independently and at very different costs, turning data into a structured design space. This raises a question pretraining never had to answer: given a synthesis budget, which axis should be scaled? We address this question end-to-end with three tightly coupled contributions. First, we decompose agentic data into three cardinality axes (task, environment, trajectory), plus a reward-density control variable, and fit per-axis scaling relations on different large language models (LLMs) across math+code, SWE, web, and UI/tool application domains. Across all model sizes, model families, domains, and RL algorithms (PPO and GRPO) we measured, the scaling exponents order as environment > task > trajectory. When environment diversity is decomposed into world and environment-structure diversity, its advantage is mainly driven by the former, while the latter is just comparable to the task diversity. Second, we use the fitted laws as a common ruler to price synthesis methods, capturing each method's efficiency as a per-axis discount factor and identifying critical synthetic-to-real ratios at which collapse begins; these ratios differ by an order of magnitude across axes. Third, we cast budget allocation as a constrained optimization under our laws and discounts, deriving a Chinchilla-style compute-optimal recipe and validating it at held-out scale. The empirical results demonstrate that following the recipe yields up to 1.7× compute efficiency over the dominant ``scale-the-trajectories'' practice.
Figures & tables
Figure 1: Same compute, very different outcomes. Two GRPO runs on Qwen3-8B with identical total rollout tokens and gradient FLOPs, differing only in how the data budget is split across the task, environment, and trajectory axes and the reward control. Left: task success rate on AppWorld, ALFWorld, WebShop, and a held-out math suite. Right: the corresponding allocation pies.
Level
What varies
Example
Exponent
L0: content
seed or initial state within the same repository and harness
a new AIME problem; a new issue on the same repository
0.07±0.02 (placebo)
L1: structure
tool/API surface, state schema, transition semantics, verifier
stateless vs. persistent REPL; pytest vs. tox output grammar
αV=0.28±0.03 ( 0.41 on math+code)
L2: world ( DW )
repository, corpus, app, or site with its own state
a repository or app unseen in training
αW=0.44±0.04
Table 1: Three levels of environment variation (Section 4.4 ). Only L1 and L2 create new instances.
Figure 2: Per-axis scaling laws under controlled sweeps. Each panel sweeps one axis with the other two held at saturation; symbols are mean ± SE over 3 seeds, lines are weighted log-log fits. Across all three model sizes, environment scaling is the steepest, trajectory scaling the flattest. The exponent ordering αE>αT>ατ holds with non-overlapping 95% CIs at every model size.
Figure 3: Cross-axis interaction. Heatmap of held-out success on Qwen3-8B (math+code) over a (DE,DT) grid at fixed Dτ=8 . Iso-cost contours (dashed) reveal a Pareto ridge: at low DE , scaling DT has near-zero return. Environment diversity is a prerequisite for task diversity to matter.
Model
Algo.
Domain
αE
αT
ατ
Qwen3-4B
GRPO
Math+Code †
0.38±0.04
0.23±0.03
0.10±0.02
GRPO
SWE
0.36±0.05
0.21±0.04
0.09±0.03
GRPO
Web
0.43±0.04
0.26±0.03
0.12±0.02
PPO
Math+Code †
0.35±0.04
0.21±0.03
0.10±0.02
Qwen3-8B
GRPO
Math+Code †
0.41±0.03
0.26±0.02
0.11±0.02
GRPO
SWE
0.39±0.03
0.24±0.02
0.10±0.02
Table 2: Fitted exponents across model sizes, algorithms, and domains. Numbers are mean ± bootstrap 95% CI half-width over 3 seeds. Note the ordering αE>αT>ατ holds in all 18 settings. † No separable world axis: αE is a structure exponent (Section 4.4 ).
Method
Primary axis
κ @ r=1
r⋆
Cost/unit
AWM [ 50 ]
DE
0.71±0.05
9.4±0.9
4.10 USD/env
GenEnv [ 14 ]
DE
0.66±0.06
8.1±1.0
3.80 USD/env
DreamGym [ 4 ]
DE+Dτ
0.59±0.05
6.2±0.8
0.04 USD/traj
AutoPlay [ 36 ]
DT
0.54±0.04
3.1±0.4
0.18 USD/task
SCA [ 59 ]
DT
0.51±0.05
2.8±0.4
0.21 USD/task
RLVE [ 56 ]
DT
0.57±0.04
3.4±0.4
0.15 USD/task
Table 3: Synthesis taxonomy along the data axes. Rows: representative synthesis methods, all run through one common harness (Appendix I ). Columns: which axis each primarily scales, the effective discount κ measured at r=Ds/Dr=1 (equal real and synthetic), the axis-specific collapse ratio r⋆ , and rough cost per “unit” (1k tasks, 1 environment, or 1 trajectory) on Qwen3-8B. The estimator of Section 5.2 gives r⋆=9.4 , 3.4 , 1.4 for AWM, AutoPlay, SWiRL.
Figure 4: Synthesis collapse, per axis. x -axis: synthetic-to-real ratio r=Ds/Dr (log scale). y -axis: agent success rate on a held-out evaluation, normalized to the r=0 (real-only) value of the same seed group. Vertical dashed lines mark fitted r⋆ , the ratio at which the curve drops 5% below the real-only baseline. Environment synthesis remains net-positive up to r≈9 , while trajectory synthesis collapses by r≈1.4 .
Figure 5: Compute-optimal allocation derived from the decomposed law. (a) The Lagrangian-optimal values of the four design variables (N,DE,DT,Dτ) scale as power laws in total compute C (Eq. 8 ). Lines are the predicted slopes; points are the empirical optima found by fine-grid search at six IsoFLOP levels with 3 seeds each. (b) Held-out task success rate vs. compute under three allocation strategies, all sharing the same budget C at every point: our recipe (Eq. 8 , solid blue), a Chinchilla-transferred baseline that treats D=DE+DT+Dτ as a scalar (dashed orange), and the dominant “naive” practice of pouring budget into trajectory rollouts (dotted grey). Smooth curves are predictions of Eq. 1 under each recipe’s allocation; markers with error bars are 3-seed measurements at the IsoFLOP grid points; the black star is the held-out validation run on Qwen3-14B at C=32C0 .
Appendix figures & tables18 assets
Supplementary material from the paper’s appendix.
Appendix
Axis
Values
Held-out success (%)
Selected
DE
64 / 128 / 256 / 512
28.1 / 30.4 / 31.2 / 31.5
256
DT
2.6k / 5.1k / 10.2k / 20.5k
27.9 / 29.8 / 30.9 / 31.2
10,240
Dτ
2 / 4 / 8 / 16 / 32
25.4 / 28.6 / 30.6 / 31.0 / 31.2
8
Appendix
Table 4: Calibration sweep that fixed the held-axis values (Qwen3-8B, math+code). It was run before any exponent was fitted, under the pre-specified criterion of Appendix A .
Held (DE,DT,Dτ)
αE
αT
ατ
Default (256,10,240,8)
0.41
0.26
0.11
Half (128,5,120,4)
0.39
0.25
0.11
Double (512,20,480,16)
0.42
0.27
0.12
Quarter (64,2,560,2)
0.36
0.22
0.10
Appendix
Table 5: Fitted exponents (Qwen3-8B, math+code) when the held axes are set to a quarter, a half, or double the calibrated values.
Domain
DE
Jacc. tools
Jacc. schema
Trans. div.
S3
S2
S1
Raw → distinct
Math+code
256
0.61
0.54
0.33
94 (37%)
88 (34%)
74 (29%)
2,048 → 256
SWE
128
0.47
0.70
0.45
43 (34%)
52 (41%)
33 (26%)
1,024 → 128
Web
96
0.73
0.82
0.57
41 (43%)
34 (35%)
21 (22%)
768 → 96
UI/tool
224
0.80
0.85
0.60
108 (48%)
71 (32%)
45 (20%)
1,792 → 224
Appendix
Table 6: Environment pools at the largest grid point of each domain. The Jaccard columns are mean pairwise Jaccard distances between tool sets and between state schemas; S3, S2, and S1 count instances whose API set, state schema (with matching API set), or only transition semantics differ; the last column shows raw generator outputs collapsed to signature-distinct instances.
Pool construction
αE
Default pool (Table 2 )
0.41±0.03
Strict signature deduplication, levels S1 to S3
0.39±0.03
Levels S2 and S3 only (API set or schema differs)
0.40±0.04
Level S3 only (API set differs)
0.42±0.04
Placebo: signature fixed, procedural seeds scaled from 8 to 256
0.07±0.02
Reference: trajectory exponent ατ
0.11±0.02
Appendix
Table 7: Environment exponent under alternative pool constructions (Qwen3-8B, math+code).
Domain
(1,64)
(2,32)
(4,16)
(8,8)
ΔL per doubling of W
SWE
18.0±0.4
22.4±0.3
25.2±0.4
26.1±0.6
0.219, 0.118, 0.035
UI/tool
28.1±0.2
32.8±0.4
35.6±0.3
36.5±0.4
0.158, 0.082, 0.025
Web
24.0±0.5
28.5±0.4
31.3±0.5
n/a
0.172, 0.094
Appendix
Table 8: Held-out-world success (%) as budget moves from structural variants per world ( V ) to worlds ( W ) at fixed DE=W×V and fixed compute (3 seeds, bootstrap 95% CI half-widths). Column headers give (W,V) . Web has five sites, so its grid stops at W=4 (n/a). The last column gives the reduction ΔL of L=−logpsuccess at each successive doubling of W .
DE
Cells
Tasks
Trajectories
Rollout tok.
Gradient tok.
Updates
FLOPs
8
256,000
10,240
2.048M
5.18B
3.19B
1,000
0.98
32
256,000
10,240
2.048M
5.24B
3.23B
1,000
0.99
128
256,000
10,240
2.048M
5.33B
3.28B
1,000
1.01
256
256,000
10,240
2.048M
5.38B
3.31B
1,000
1.02
Appendix
Table 9: Training-signal accounting along the DE sweep (Qwen3-8B, math+code) at four grid points spanning its full range. Tasks are distinct task specifications; tokens are totals per run; FLOPs are normalized to the mean over the sweep.
Convention
αE
αT
ατ
Fixed cells and updates (default)
0.41±0.03
0.26±0.02
0.11±0.02
Exact rollout-token cap (5.2B tokens per run)
0.40±0.03
0.26±0.02
0.08±0.02
Iso-FLOP (1.00 normalized FLOPs per run)
0.40±0.04
0.25±0.03
0.07±0.02
Appendix
Table 10: Fitted exponents (Qwen3-8B, math+code) under three training-budget conventions.
Axis
Range
α (6 points)
α (8 points)
R2
Max. leave-one-out shift
DE
4 to 384 ( 96× )
0.41±0.03
0.40±0.02
0.981
0.015
DT
160 to 20,480 ( 128× )
0.26±0.02
0.26±0.02
0.984
0.011
Dτ
1 to 48 ( 48× )
0.11±0.02
0.12±0.01
0.986
0.009
Appendix
Table 11: Six-point versus eight-point fits (Qwen3-8B, math+code). The last column is the largest change in α when any single grid point is left out.
Segment
1
2
3
4
5
6
7
DE
0.44
0.42
0.41
0.40
0.38
0.37
0.36
DT
0.29
0.28
0.26
0.25
0.24
0.23
0.22
Dτ
0.14
0.13
0.12
0.11
0.10
0.09
0.08
Appendix
Table 12: Fit-free local log-log slopes sj between adjacent grid points of the 8-point grids (Qwen3-8B, math+code).
Setting
αE
αT
ατ
Qwen3-8B (reference, Table 2 )
0.41±0.03
0.26±0.02
0.11±0.02
Llama-3.1-8B (new family)
0.36±0.05
0.23±0.04
0.09±0.03
Qwen2.5-7B (earlier generation)
0.38±0.05
0.24±0.04
0.10±0.03
Search agent (new domain, Qwen3-8B)
0.42±0.05
0.25±0.04
0.12±0.03
Appendix
Table 13: Fitted exponents on further model families and a new domain (reduced 4-point sweeps).
θ
Effective DT at Draw=10,240
αT
R2
0.05
9,820
0.245±0.02
0.974
0.10
9,310
0.254±0.02
0.978
0.15 (default)
8,460
0.261±0.02
0.978
0.20
7,210
0.268±0.02
0.972
0.30
5,380
0.272±0.03
0.968
Appendix
Table 14: Ablation of the task-deduplication threshold θ . Effective DT is the count of unique tasks remaining after deduplication at each threshold; fitted αT is robust across the range.
Table 15: Fitted task exponent under alternative definitions of a distinct task (Qwen3-8B, math+code). Effective DT is the number of distinct tasks at Draw=10,240 .
Method
Axis
κ (Table 3 )
κ (common core)
r⋆ (Table 3 )
r⋆ (common core)
AWM
DE
0.71
0.68±0.05
9.4
8.7±1.0
GenEnv
DE
0.66
0.65±0.06
8.1
7.9±1.1
AutoPlay
DT
0.54
0.55±0.04
3.1
3.2±0.5
SCA
DT
0.51
0.52±0.05
2.8
2.9±0.5
RLVE
DT
0.57
0.56±0.04
3.4
3.3±0.5
SWiRL
Dτ
0.34
0.36±0.06
1.4
1.5±0.3
Appendix
Table 16: Discount and collapse ratio of each single-axis method as reported in Table 3 and after reduction to a common generate, filter, and train core.
Criterion
rE⋆ (AWM)
rT⋆ (AutoPlay)
rτ⋆ (SWiRL)
Crossing of 0.95 by the fitted logistic (default)
9.4
3.4
1.4
Crossing of the real-only baseline (1.00)
8.5
4.0
1.1
Peak of the curve
2.4
1.1
0.4
Appendix
Table 17: Collapse ratio of the three representative synthesis methods (Qwen3-8B, math+code) under alternative definitions of collapse.
Domain
H
Rollout tokens/traj
Env latency/call
Verifier/traj
f
η
Math+code
3.4
2.6k
0.9 s
0.4 s
0.07
0.61
SWE
18.2
11.4k
6.3 s
41 s
0.19
0.38
Web
12.7
7.9k
2.4 s
1.8 s
0.14
0.44
UI/tool
9.6
5.2k
1.1 s
0.9 s
0.11
0.52
Appendix
Table 18: Measured cost drivers per domain: average horizon H (steps), rollout tokens per trajectory, environment latency per call, verifier time per trajectory, failed-rollout fraction f , and accelerator utilization η .
Cost model
DE exp.
DT exp.
Dτ exp.
N exp.
Linear-additive (Eq. 5 )
0.34
0.27
0.13
0.26
+ bilinear rollout term c⋅N⋅Dτ
0.33
0.27
0.14
0.26
+ tool and environment latency, verifier cost
0.31
0.28
0.15
0.26
+ failed-rollout overhead 1/(1−f)
0.30
0.28
0.16
0.26
+ batching and utilization η
0.30
0.28
0.16
0.26
Full model, SWE coefficients (worst case for DE )
Table 20: Recipe exponents per domain. The qualitative ordering DE⋆>DT⋆>Dτ⋆ is preserved in every domain, and absolute exponents shift by less than ±0.04 from the math+code reference.
Perturbation
DE exp.
DT exp.
Dτ exp.
N exp.
Default
0.340
0.270
0.130
0.260
cE×1.5
0.305
0.291
0.142
0.262
cE×0.5
0.388
0.244
0.115
0.253
cT×1.5
0.348
0.243
0.144
0.265
cT×0.5
0.328
0.305
0.114
0.253
cτ×1.5
0.346
0.275
0.111
0.268
Appendix
Table 21: Recipe-exponent sensitivity to ±50% perturbations of cost coefficients (math+code, 8B). All shifts are <0.05 on every axis.