{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.filip.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.x1: LRE 7.74 (min 6.0) \u2014 B1","expected":-2772.17959193342,"failure_class":null,"kind":"figure_lre","observed":7.741,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x2: LRE 7.73 (min 6.0) \u2014 B2","expected":-2316.37108160893,"failure_class":null,"kind":"figure_lre","observed":7.731,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x3: LRE 7.72 (min 6.0) \u2014 B3","expected":-1127.97394098372,"failure_class":null,"kind":"figure_lre","observed":7.72,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x4: LRE 7.71 (min 6.0) \u2014 B4","expected":-354.478233703349,"failure_class":null,"kind":"figure_lre","observed":7.708,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x5: LRE 7.70 (min 6.0) \u2014 B5","expected":-75.1242017393757,"failure_class":null,"kind":"figure_lre","observed":7.695,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x6: LRE 7.68 (min 6.0) \u2014 B6","expected":-10.8753180355343,"failure_class":null,"kind":"figure_lre","observed":7.681,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":7,"detail":"figure coef.x7: LRE 7.67 (min 6.0) \u2014 B7","expected":-1.06221498588947,"failure_class":null,"kind":"figure_lre","observed":7.666,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":8,"detail":"figure coef.x8: LRE 7.65 (min 6.0) \u2014 B8","expected":-0.0670191154593408,"failure_class":null,"kind":"figure_lre","observed":7.65,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":9,"detail":"figure coef.x9: LRE 7.63 (min 6.0) \u2014 B9","expected":-0.00246781078275479,"failure_class":null,"kind":"figure_lre","observed":7.632,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":10,"detail":"figure coef.x10: LRE 7.61 (min 6.0) \u2014 B10","expected":-4.02962525080404e-05,"failure_class":null,"kind":"figure_lre","observed":7.614,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":11,"detail":"figure coef.x1.se: LRE 7.23 (min 6.0) \u2014 SE of B1","expected":559.77986547495,"failure_class":null,"kind":"figure_lre","observed":7.234,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":12,"detail":"figure coef.x2.se: LRE 7.23 (min 6.0) \u2014 SE of B2","expected":466.477572127796,"failure_class":null,"kind":"figure_lre","observed":7.226,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":13,"detail":"figure coef.x3.se: LRE 7.22 (min 6.0) \u2014 SE of B3","expected":227.204274477751,"failure_class":null,"kind":"figure_lre","observed":7.218,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":14,"detail":"figure coef.x4.se: LRE 7.21 (min 6.0) \u2014 SE of B4","expected":71.6478660875927,"failure_class":null,"kind":"figure_lre","observed":7.212,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":15,"detail":"figure coef.x5.se: LRE 7.21 (min 6.0) \u2014 SE of B5","expected":15.28971787474,"failure_class":null,"kind":"figure_lre","observed":7.206,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":16,"detail":"figure coef.x6.se: LRE 7.20 (min 6.0) \u2014 SE of B6","expected":2.23691159816033,"failure_class":null,"kind":"figure_lre","observed":7.201,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":17,"detail":"figure coef.x7.se: LRE 7.20 (min 6.0) \u2014 SE of B7","expected":0.221624321934227,"failure_class":null,"kind":"figure_lre","observed":7.196,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":18,"detail":"figure coef.x8.se: LRE 7.19 (min 6.0) \u2014 SE of B8","expected":0.0142363763154724,"failure_class":null,"kind":"figure_lre","observed":7.193,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":19,"detail":"figure coef.x9.se: LRE 7.19 (min 6.0) \u2014 SE of B9","expected":0.000535617408889821,"failure_class":null,"kind":"figure_lre","observed":7.189,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":20,"detail":"figure coef.x10.se: LRE 7.19 (min 6.0) \u2014 SE of B10","expected":8.96632837373868e-06,"failure_class":null,"kind":"figure_lre","observed":7.187,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":21,"detail":"accurate to 6 digits \u2014 documented exception: LRE \u2265 min or a collinearity flag","expected":"accurate or flagged","failure_class":null,"kind":"diagnostic","observed":true,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":4.8333751037716866,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.558893Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.99672741618562,"certified_residual_sd":0.00334801051324544,"collinearity_exception":true,"difficulty":"higher","min_lre":6,"path":"default","problem":"Filip"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","higher","collinear"],"target":"tool","task_id":"strd.filip","task_sha256":"ab3ca35da664d0162602f37e3bb5c6cc1805ae6cf2625e086d6e167e20aba437","tools_called":["infer.ols"],"trace":"traces/strd.filip.e1.a1.jsonl","trace_file":"traces/strd.filip.e1.a1.jsonl","trajectory":"trajectories/strd.filip.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.filip.explicit_constant.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.const: LRE 7.75 (min 6.0) \u2014 B0","expected":-1467.4896142298,"failure_class":null,"kind":"figure_lre","observed":7.749,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x1: LRE 7.74 (min 6.0) \u2014 B1","expected":-2772.17959193342,"failure_class":null,"kind":"figure_lre","observed":7.741,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x2: LRE 7.73 (min 6.0) \u2014 B2","expected":-2316.37108160893,"failure_class":null,"kind":"figure_lre","observed":7.731,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x3: LRE 7.72 (min 6.0) \u2014 B3","expected":-1127.97394098372,"failure_class":null,"kind":"figure_lre","observed":7.72,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x4: LRE 7.71 (min 6.0) \u2014 B4","expected":-354.478233703349,"failure_class":null,"kind":"figure_lre","observed":7.708,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x5: LRE 7.70 (min 6.0) \u2014 B5","expected":-75.1242017393757,"failure_class":null,"kind":"figure_lre","observed":7.695,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":7,"detail":"figure coef.x6: LRE 7.68 (min 6.0) \u2014 B6","expected":-10.8753180355343,"failure_class":null,"kind":"figure_lre","observed":7.681,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":8,"detail":"figure coef.x7: LRE 7.67 (min 6.0) \u2014 B7","expected":-1.06221498588947,"failure_class":null,"kind":"figure_lre","observed":7.666,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":9,"detail":"figure coef.x8: LRE 7.65 (min 6.0) \u2014 B8","expected":-0.0670191154593408,"failure_class":null,"kind":"figure_lre","observed":7.65,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":10,"detail":"figure coef.x9: LRE 7.63 (min 6.0) \u2014 B9","expected":-0.00246781078275479,"failure_class":null,"kind":"figure_lre","observed":7.632,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":11,"detail":"figure coef.x10: LRE 7.61 (min 6.0) \u2014 B10","expected":-4.02962525080404e-05,"failure_class":null,"kind":"figure_lre","observed":7.614,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":12,"detail":"figure coef.const.se: LRE 7.29 (min 6.0) \u2014 SE of B0","expected":298.084530995537,"failure_class":null,"kind":"figure_lre","observed":7.286,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":13,"detail":"figure coef.x1.se: LRE 7.28 (min 6.0) \u2014 SE of B1","expected":559.77986547495,"failure_class":null,"kind":"figure_lre","observed":7.277,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":14,"detail":"figure coef.x2.se: LRE 7.27 (min 6.0) \u2014 SE of B2","expected":466.477572127796,"failure_class":null,"kind":"figure_lre","observed":7.27,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":15,"detail":"figure coef.x3.se: LRE 7.27 (min 6.0) \u2014 SE of B3","expected":227.204274477751,"failure_class":null,"kind":"figure_lre","observed":7.265,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":16,"detail":"figure coef.x4.se: LRE 7.26 (min 6.0) \u2014 SE of B4","expected":71.6478660875927,"failure_class":null,"kind":"figure_lre","observed":7.261,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":17,"detail":"figure coef.x5.se: LRE 7.26 (min 6.0) \u2014 SE of B5","expected":15.28971787474,"failure_class":null,"kind":"figure_lre","observed":7.259,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":18,"detail":"figure coef.x6.se: LRE 7.26 (min 6.0) \u2014 SE of B6","expected":2.23691159816033,"failure_class":null,"kind":"figure_lre","observed":7.258,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":19,"detail":"figure coef.x7.se: LRE 7.26 (min 6.0) \u2014 SE of B7","expected":0.221624321934227,"failure_class":null,"kind":"figure_lre","observed":7.258,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":20,"detail":"figure coef.x8.se: LRE 7.26 (min 6.0) \u2014 SE of B8","expected":0.0142363763154724,"failure_class":null,"kind":"figure_lre","observed":7.26,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":21,"detail":"figure coef.x9.se: LRE 7.26 (min 6.0) \u2014 SE of B9","expected":0.000535617408889821,"failure_class":null,"kind":"figure_lre","observed":7.262,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":22,"detail":"figure coef.x10.se: LRE 7.27 (min 6.0) \u2014 SE of B10","expected":8.96632837373868e-06,"failure_class":null,"kind":"figure_lre","observed":7.265,"passed":true,"required":false,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":23,"detail":"accurate to 6 digits \u2014 documented exception: LRE \u2265 min or a collinearity flag","expected":"accurate or flagged","failure_class":null,"kind":"diagnostic","observed":true,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":4.634709097445011,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.563546Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.99672741618562,"certified_residual_sd":0.00334801051324544,"collinearity_exception":true,"difficulty":"higher","min_lre":6,"path":"explicit_constant","problem":"Filip"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","higher","collinear","explicit_constant"],"target":"tool","task_id":"strd.filip.explicit_constant","task_sha256":"4ab3d37aff357a6d2c6652cdc546ef20c4c940616b8ee97f9f27cc4b6811fdd5","tools_called":["infer.ols"],"trace":"traces/strd.filip.explicit_constant.e1.a1.jsonl","trace_file":"traces/strd.filip.explicit_constant.e1.a1.jsonl","trajectory":"trajectories/strd.filip.explicit_constant.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.longley.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.x1: LRE 14.81 (min 6.0) \u2014 B1","expected":15.0618722713733,"failure_class":null,"kind":"figure_lre","observed":14.814,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x2: LRE 15.00 (min 6.0) \u2014 B2","expected":-0.035819179292591,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x3: LRE 14.62 (min 6.0) \u2014 B3","expected":-2.02022980381683,"failure_class":null,"kind":"figure_lre","observed":14.617,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x4: LRE 14.71 (min 6.0) \u2014 B4","expected":-1.03322686717359,"failure_class":null,"kind":"figure_lre","observed":14.714,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x5: LRE 15.00 (min 6.0) \u2014 B5","expected":-0.0511041056535807,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x6: LRE 14.95 (min 6.0) \u2014 B6","expected":1829.15146461355,"failure_class":null,"kind":"figure_lre","observed":14.951,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":7,"detail":"figure coef.x1.se: LRE 15.00 (min 6.0) \u2014 SE of B1","expected":84.9149257747669,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":8,"detail":"figure coef.x2.se: LRE 15.00 (min 6.0) \u2014 SE of B2","expected":0.0334910077722432,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":9,"detail":"figure coef.x3.se: LRE 15.00 (min 6.0) \u2014 SE of B3","expected":0.488399681651699,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":10,"detail":"figure coef.x4.se: LRE 14.93 (min 6.0) \u2014 SE of B4","expected":0.214274163161675,"failure_class":null,"kind":"figure_lre","observed":14.933,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":11,"detail":"figure coef.x5.se: LRE 15.00 (min 6.0) \u2014 SE of B5","expected":0.22607320006937,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":12,"detail":"figure coef.x6.se: LRE 15.00 (min 6.0) \u2014 SE of B6","expected":455.478499142212,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":3.6243749782443047,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.567208Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.995479004577296,"certified_residual_sd":304.854073561965,"collinearity_exception":false,"difficulty":"higher","min_lre":6,"path":"default","problem":"Longley"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","higher"],"target":"tool","task_id":"strd.longley","task_sha256":"74167422f8d2a3a09b5b251ed9c9cd3603c0848fb9e8438f1fe6aaae4805962f","tools_called":["infer.ols"],"trace":"traces/strd.longley.e1.a1.jsonl","trace_file":"traces/strd.longley.e1.a1.jsonl","trajectory":"trajectories/strd.longley.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.longley.explicit_constant.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.const: LRE 15.00 (min 6.0) \u2014 B0","expected":-3482258.63459582,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x1: LRE 14.81 (min 6.0) \u2014 B1","expected":15.0618722713733,"failure_class":null,"kind":"figure_lre","observed":14.814,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x2: LRE 15.00 (min 6.0) \u2014 B2","expected":-0.035819179292591,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x3: LRE 14.62 (min 6.0) \u2014 B3","expected":-2.02022980381683,"failure_class":null,"kind":"figure_lre","observed":14.617,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x4: LRE 14.71 (min 6.0) \u2014 B4","expected":-1.03322686717359,"failure_class":null,"kind":"figure_lre","observed":14.714,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x5: LRE 15.00 (min 6.0) \u2014 B5","expected":-0.0511041056535807,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":7,"detail":"figure coef.x6: LRE 14.95 (min 6.0) \u2014 B6","expected":1829.15146461355,"failure_class":null,"kind":"figure_lre","observed":14.951,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":8,"detail":"figure coef.const.se: LRE 13.00 (min 6.0) \u2014 SE of B0","expected":890420.383607373,"failure_class":null,"kind":"figure_lre","observed":13.002,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":9,"detail":"figure coef.x1.se: LRE 12.92 (min 6.0) \u2014 SE of B1","expected":84.9149257747669,"failure_class":null,"kind":"figure_lre","observed":12.917,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":10,"detail":"figure coef.x2.se: LRE 13.05 (min 6.0) \u2014 SE of B2","expected":0.0334910077722432,"failure_class":null,"kind":"figure_lre","observed":13.051,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":11,"detail":"figure coef.x3.se: LRE 12.53 (min 6.0) \u2014 SE of B3","expected":0.488399681651699,"failure_class":null,"kind":"figure_lre","observed":12.535,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":12,"detail":"figure coef.x4.se: LRE 12.66 (min 6.0) \u2014 SE of B4","expected":0.214274163161675,"failure_class":null,"kind":"figure_lre","observed":12.656,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":13,"detail":"figure coef.x5.se: LRE 12.72 (min 6.0) \u2014 SE of B5","expected":0.22607320006937,"failure_class":null,"kind":"figure_lre","observed":12.718,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":14,"detail":"figure coef.x6.se: LRE 13.03 (min 6.0) \u2014 SE of B6","expected":455.478499142212,"failure_class":null,"kind":"figure_lre","observed":13.029,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":3.380000125616789,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.570613Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.995479004577296,"certified_residual_sd":304.854073561965,"collinearity_exception":false,"difficulty":"higher","min_lre":6,"path":"explicit_constant","problem":"Longley"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","higher","explicit_constant"],"target":"tool","task_id":"strd.longley.explicit_constant","task_sha256":"f790c3dede13ad2bff7a5b4e3f41e492b9fe24edd7111b495963ae421b261074","tools_called":["infer.ols"],"trace":"traces/strd.longley.explicit_constant.e1.a1.jsonl","trace_file":"traces/strd.longley.explicit_constant.e1.a1.jsonl","trajectory":"trajectories/strd.longley.explicit_constant.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.noint1.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.x1: LRE 14.72 (min 9.0) \u2014 B1","expected":2.07438016528926,"failure_class":null,"kind":"figure_lre","observed":14.715,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x1.se: LRE 15.00 (min 9.0) \u2014 SE of B1","expected":0.0165289256198347,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":1.693124882876873,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.552603Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.999365492298663,"certified_residual_sd":3.56753034006338,"collinearity_exception":false,"difficulty":"average","min_lre":9,"path":"no_intercept","problem":"NoInt1"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","average"],"target":"tool","task_id":"strd.noint1","task_sha256":"f64305c0c4e51a1655e17346532eabab939aa6248216ca5b109befb4be71f8e1","tools_called":["infer.ols"],"trace":"traces/strd.noint1.e1.a1.jsonl","trace_file":"traces/strd.noint1.e1.a1.jsonl","trajectory":"trajectories/strd.noint1.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.noint2.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.x1: LRE 15.00 (min 9.0) \u2014 B1","expected":0.727272727272727,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x1.se: LRE 14.94 (min 9.0) \u2014 SE of B1","expected":0.0420827318078432,"failure_class":null,"kind":"figure_lre","observed":14.938,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":1.448208000510931,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.554071Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.993348115299335,"certified_residual_sd":0.369274472937998,"collinearity_exception":false,"difficulty":"average","min_lre":9,"path":"no_intercept","problem":"NoInt2"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","average"],"target":"tool","task_id":"strd.noint2","task_sha256":"e4d21182ca2d9ad9b51ee0da06ea970c62494a5a5a325a9f93f043f209ab0463","tools_called":["infer.ols"],"trace":"traces/strd.noint2.e1.a1.jsonl","trace_file":"traces/strd.noint2.e1.a1.jsonl","trajectory":"trajectories/strd.noint2.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.norris.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.x1: LRE 14.35 (min 9.0) \u2014 B1","expected":1.00211681802045,"failure_class":null,"kind":"figure_lre","observed":14.353,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x1.se: LRE 14.02 (min 9.0) \u2014 SE of B1","expected":0.000429796848199937,"failure_class":null,"kind":"figure_lre","observed":14.018,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":79.88974987529218,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.542108Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.999993745883712,"certified_residual_sd":0.884796396144373,"collinearity_exception":false,"difficulty":"lower","min_lre":9,"path":"default","problem":"Norris"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","lower"],"target":"tool","task_id":"strd.norris","task_sha256":"0eff6a3269ea55864f5044ba806817376138aea0e2903b6ecb8380152ccfed55","tools_called":["infer.ols"],"trace":"traces/strd.norris.e1.a1.jsonl","trace_file":"traces/strd.norris.e1.a1.jsonl","trajectory":"trajectories/strd.norris.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.norris.explicit_constant.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.const: LRE 14.06 (min 9.0) \u2014 B0","expected":-0.262323073774029,"failure_class":null,"kind":"figure_lre","observed":14.062,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x1: LRE 14.35 (min 9.0) \u2014 B1","expected":1.00211681802045,"failure_class":null,"kind":"figure_lre","observed":14.353,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.const.se: LRE 13.92 (min 9.0) \u2014 SE of B0","expected":0.232818234301152,"failure_class":null,"kind":"figure_lre","observed":13.915,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x1.se: LRE 14.02 (min 9.0) \u2014 SE of B1","expected":0.000429796848199937,"failure_class":null,"kind":"figure_lre","observed":14.018,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":2.2418329026550055,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.544446Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.999993745883712,"certified_residual_sd":0.884796396144373,"collinearity_exception":false,"difficulty":"lower","min_lre":9,"path":"explicit_constant","problem":"Norris"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","lower","explicit_constant"],"target":"tool","task_id":"strd.norris.explicit_constant","task_sha256":"be46088fea39d7e9823717a13bc14d4d977bcdd13c9fbef2f6cd00014f756a51","tools_called":["infer.ols"],"trace":"traces/strd.norris.explicit_constant.e1.a1.jsonl","trace_file":"traces/strd.norris.explicit_constant.e1.a1.jsonl","trajectory":"trajectories/strd.norris.explicit_constant.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.pontius.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.x1: LRE 15.00 (min 9.0) \u2014 B1","expected":7.32059160401003e-07,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x2: LRE 14.31 (min 9.0) \u2014 B2","expected":-3.16081871345029e-15,"failure_class":null,"kind":"figure_lre","observed":14.313,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x1.se: LRE 13.76 (min 9.0) \u2014 SE of B1","expected":1.57817399981659e-10,"failure_class":null,"kind":"figure_lre","observed":13.756,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x2.se: LRE 13.82 (min 9.0) \u2014 SE of B2","expected":4.86652849992036e-17,"failure_class":null,"kind":"figure_lre","observed":13.818,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":3.642332972958684,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.548108Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.999999900178537,"certified_residual_sd":0.000205177424076185,"collinearity_exception":false,"difficulty":"lower","min_lre":9,"path":"default","problem":"Pontius"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","lower"],"target":"tool","task_id":"strd.pontius","task_sha256":"4c689b405c789d4cc1374c300c7e4c91f4ef14fa1f0be133432e62fccdada0cf","tools_called":["infer.ols"],"trace":"traces/strd.pontius.e1.a1.jsonl","trace_file":"traces/strd.pontius.e1.a1.jsonl","trajectory":"trajectories/strd.pontius.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.pontius.explicit_constant.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.const: LRE 13.51 (min 9.0) \u2014 B0","expected":0.000673565789473684,"failure_class":null,"kind":"figure_lre","observed":13.51,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x1: LRE 15.00 (min 9.0) \u2014 B1","expected":7.32059160401003e-07,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x2: LRE 14.31 (min 9.0) \u2014 B2","expected":-3.16081871345029e-15,"failure_class":null,"kind":"figure_lre","observed":14.313,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.const.se: LRE 13.82 (min 9.0) \u2014 SE of B0","expected":0.000107938612033077,"failure_class":null,"kind":"figure_lre","observed":13.818,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x1.se: LRE 13.77 (min 9.0) \u2014 SE of B1","expected":1.57817399981659e-10,"failure_class":null,"kind":"figure_lre","observed":13.769,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x2.se: LRE 13.83 (min 9.0) \u2014 SE of B2","expected":4.86652849992036e-17,"failure_class":null,"kind":"figure_lre","observed":13.826,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":2.7076671831309795,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.550871Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.999999900178537,"certified_residual_sd":0.000205177424076185,"collinearity_exception":false,"difficulty":"lower","min_lre":9,"path":"explicit_constant","problem":"Pontius"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","lower","explicit_constant"],"target":"tool","task_id":"strd.pontius.explicit_constant","task_sha256":"86abde91d50f6b8537f361b4a006751e3592cbe4a7241cd765cae65282d6f637","tools_called":["infer.ols"],"trace":"traces/strd.pontius.explicit_constant.e1.a1.jsonl","trace_file":"traces/strd.pontius.explicit_constant.e1.a1.jsonl","trajectory":"trajectories/strd.pontius.explicit_constant.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.wampler1.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.x1: LRE 15.00 (min 6.0) \u2014 B1","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x2: LRE 15.00 (min 6.0) \u2014 B2","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x3: LRE 15.00 (min 6.0) \u2014 B3","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x4: LRE 15.00 (min 6.0) \u2014 B4","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x5: LRE 15.00 (min 6.0) \u2014 B5","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x1.se: LRE 15.00 (min 6.0) \u2014 SE of B1","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":7,"detail":"figure coef.x2.se: LRE 15.00 (min 6.0) \u2014 SE of B2","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":8,"detail":"figure coef.x3.se: LRE 15.00 (min 6.0) \u2014 SE of B3","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":9,"detail":"figure coef.x4.se: LRE 15.00 (min 6.0) \u2014 SE of B4","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":10,"detail":"figure coef.x5.se: LRE 15.00 (min 6.0) \u2014 SE of B5","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":3.37349995970726,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.574002Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":1.0,"certified_residual_sd":0.0,"collinearity_exception":false,"difficulty":"higher","min_lre":6,"path":"default","problem":"Wampler1"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","higher"],"target":"tool","task_id":"strd.wampler1","task_sha256":"1e90674d45edc1bbb586e4e8b358c282ec1fc9125e0236db9e401e6ef2e83aa2","tools_called":["infer.ols"],"trace":"traces/strd.wampler1.e1.a1.jsonl","trace_file":"traces/strd.wampler1.e1.a1.jsonl","trajectory":"trajectories/strd.wampler1.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.wampler1.explicit_constant.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.const: LRE 15.00 (min 6.0) \u2014 B0","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x1: LRE 15.00 (min 6.0) \u2014 B1","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x2: LRE 15.00 (min 6.0) \u2014 B2","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x3: LRE 15.00 (min 6.0) \u2014 B3","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x4: LRE 15.00 (min 6.0) \u2014 B4","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x5: LRE 15.00 (min 6.0) \u2014 B5","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":7,"detail":"figure coef.const.se: LRE 15.00 (min 6.0) \u2014 SE of B0","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":8,"detail":"figure coef.x1.se: LRE 15.00 (min 6.0) \u2014 SE of B1","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":9,"detail":"figure coef.x2.se: LRE 15.00 (min 6.0) \u2014 SE of B2","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":10,"detail":"figure coef.x3.se: LRE 15.00 (min 6.0) \u2014 SE of B3","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":11,"detail":"figure coef.x4.se: LRE 15.00 (min 6.0) \u2014 SE of B4","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":12,"detail":"figure coef.x5.se: LRE 15.00 (min 6.0) \u2014 SE of B5","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":3.083291929215193,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.577105Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":1.0,"certified_residual_sd":0.0,"collinearity_exception":false,"difficulty":"higher","min_lre":6,"path":"explicit_constant","problem":"Wampler1"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","higher","explicit_constant"],"target":"tool","task_id":"strd.wampler1.explicit_constant","task_sha256":"9415ab97924840ccbdd7a663ac6a1428f6ff9f33e1b26c2c139914f4de467dbd","tools_called":["infer.ols"],"trace":"traces/strd.wampler1.explicit_constant.e1.a1.jsonl","trace_file":"traces/strd.wampler1.explicit_constant.e1.a1.jsonl","trajectory":"trajectories/strd.wampler1.explicit_constant.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.wampler2.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.x1: LRE 14.09 (min 6.0) \u2014 B1","expected":0.1,"failure_class":null,"kind":"figure_lre","observed":14.094,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x2: LRE 13.42 (min 6.0) \u2014 B2","expected":0.01,"failure_class":null,"kind":"figure_lre","observed":13.416,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x3: LRE 13.20 (min 6.0) \u2014 B3","expected":0.001,"failure_class":null,"kind":"figure_lre","observed":13.201,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x4: LRE 13.39 (min 6.0) \u2014 B4","expected":0.0001,"failure_class":null,"kind":"figure_lre","observed":13.385,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x5: LRE 14.05 (min 6.0) \u2014 B5","expected":1e-05,"failure_class":null,"kind":"figure_lre","observed":14.047,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x1.se: LRE 15.00 (min 6.0) \u2014 SE of B1","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":7,"detail":"figure coef.x2.se: LRE 15.00 (min 6.0) \u2014 SE of B2","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":8,"detail":"figure coef.x3.se: LRE 15.00 (min 6.0) \u2014 SE of B3","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":9,"detail":"figure coef.x4.se: LRE 15.00 (min 6.0) \u2014 SE of B4","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":10,"detail":"figure coef.x5.se: LRE 15.00 (min 6.0) \u2014 SE of B5","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":3.098374931141734,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.580217Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":1.0,"certified_residual_sd":0.0,"collinearity_exception":false,"difficulty":"higher","min_lre":6,"path":"default","problem":"Wampler2"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","higher"],"target":"tool","task_id":"strd.wampler2","task_sha256":"5b848b6656a63b1c141ff08eb0ce17a40ceb985fa281298787d4477b616d03ab","tools_called":["infer.ols"],"trace":"traces/strd.wampler2.e1.a1.jsonl","trace_file":"traces/strd.wampler2.e1.a1.jsonl","trajectory":"trajectories/strd.wampler2.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.wampler2.explicit_constant.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.const: LRE 15.00 (min 6.0) \u2014 B0","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x1: LRE 14.09 (min 6.0) \u2014 B1","expected":0.1,"failure_class":null,"kind":"figure_lre","observed":14.094,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x2: LRE 13.42 (min 6.0) \u2014 B2","expected":0.01,"failure_class":null,"kind":"figure_lre","observed":13.416,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x3: LRE 13.20 (min 6.0) \u2014 B3","expected":0.001,"failure_class":null,"kind":"figure_lre","observed":13.201,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x4: LRE 13.39 (min 6.0) \u2014 B4","expected":0.0001,"failure_class":null,"kind":"figure_lre","observed":13.385,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x5: LRE 14.05 (min 6.0) \u2014 B5","expected":1e-05,"failure_class":null,"kind":"figure_lre","observed":14.047,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":7,"detail":"figure coef.const.se: LRE 15.00 (min 6.0) \u2014 SE of B0","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":8,"detail":"figure coef.x1.se: LRE 15.00 (min 6.0) \u2014 SE of B1","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":9,"detail":"figure coef.x2.se: LRE 15.00 (min 6.0) \u2014 SE of B2","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":10,"detail":"figure coef.x3.se: LRE 15.00 (min 6.0) \u2014 SE of B3","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":11,"detail":"figure coef.x4.se: LRE 15.00 (min 6.0) \u2014 SE of B4","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":12,"detail":"figure coef.x5.se: LRE 15.00 (min 6.0) \u2014 SE of B5","expected":0.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":3.2106670551002026,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.583472Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":1.0,"certified_residual_sd":0.0,"collinearity_exception":false,"difficulty":"higher","min_lre":6,"path":"explicit_constant","problem":"Wampler2"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","higher","explicit_constant"],"target":"tool","task_id":"strd.wampler2.explicit_constant","task_sha256":"78538e572fb0fbaf72993dfd7889b397d041782ba43a68b2246132ba6bbdbdb9","tools_called":["infer.ols"],"trace":"traces/strd.wampler2.explicit_constant.e1.a1.jsonl","trace_file":"traces/strd.wampler2.explicit_constant.e1.a1.jsonl","trajectory":"trajectories/strd.wampler2.explicit_constant.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.wampler3.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.x1: LRE 15.00 (min 6.0) \u2014 B1","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x2: LRE 15.00 (min 6.0) \u2014 B2","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x3: LRE 15.00 (min 6.0) \u2014 B3","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x4: LRE 15.00 (min 6.0) \u2014 B4","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x5: LRE 15.00 (min 6.0) \u2014 B5","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x1.se: LRE 15.00 (min 6.0) \u2014 SE of B1","expected":2363.55173469681,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":7,"detail":"figure coef.x2.se: LRE 14.46 (min 6.0) \u2014 SE of B2","expected":779.343524331583,"failure_class":null,"kind":"figure_lre","observed":14.456,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":8,"detail":"figure coef.x3.se: LRE 14.11 (min 6.0) \u2014 SE of B3","expected":101.47550755035,"failure_class":null,"kind":"figure_lre","observed":14.106,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":9,"detail":"figure coef.x4.se: LRE 14.33 (min 6.0) \u2014 SE of B4","expected":5.64566512170752,"failure_class":null,"kind":"figure_lre","observed":14.326,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":10,"detail":"figure coef.x5.se: LRE 14.53 (min 6.0) \u2014 SE of B5","expected":0.112324854679312,"failure_class":null,"kind":"figure_lre","observed":14.528,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":3.056334098801017,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.586549Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.99999555902582,"certified_residual_sd":2360.14502379268,"collinearity_exception":false,"difficulty":"higher","min_lre":6,"path":"default","problem":"Wampler3"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","higher"],"target":"tool","task_id":"strd.wampler3","task_sha256":"6051ce5541976a66623ce690390d97cb3db2f2b59a4ab7a66e6167d6b43b397d","tools_called":["infer.ols"],"trace":"traces/strd.wampler3.e1.a1.jsonl","trace_file":"traces/strd.wampler3.e1.a1.jsonl","trajectory":"trajectories/strd.wampler3.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.wampler3.explicit_constant.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.const: LRE 15.00 (min 6.0) \u2014 B0","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x1: LRE 15.00 (min 6.0) \u2014 B1","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x2: LRE 15.00 (min 6.0) \u2014 B2","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x3: LRE 15.00 (min 6.0) \u2014 B3","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x4: LRE 15.00 (min 6.0) \u2014 B4","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x5: LRE 15.00 (min 6.0) \u2014 B5","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":7,"detail":"figure coef.const.se: LRE 14.14 (min 6.0) \u2014 SE of B0","expected":2152.3262467817,"failure_class":null,"kind":"figure_lre","observed":14.144,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":8,"detail":"figure coef.x1.se: LRE 13.78 (min 6.0) \u2014 SE of B1","expected":2363.55173469681,"failure_class":null,"kind":"figure_lre","observed":13.776,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":9,"detail":"figure coef.x2.se: LRE 13.74 (min 6.0) \u2014 SE of B2","expected":779.343524331583,"failure_class":null,"kind":"figure_lre","observed":13.736,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":10,"detail":"figure coef.x3.se: LRE 13.64 (min 6.0) \u2014 SE of B3","expected":101.47550755035,"failure_class":null,"kind":"figure_lre","observed":13.639,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":11,"detail":"figure coef.x4.se: LRE 13.70 (min 6.0) \u2014 SE of B4","expected":5.64566512170752,"failure_class":null,"kind":"figure_lre","observed":13.696,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":12,"detail":"figure coef.x5.se: LRE 13.70 (min 6.0) \u2014 SE of B5","expected":0.112324854679312,"failure_class":null,"kind":"figure_lre","observed":13.696,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":3.1333749648183584,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.589717Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.99999555902582,"certified_residual_sd":2360.14502379268,"collinearity_exception":false,"difficulty":"higher","min_lre":6,"path":"explicit_constant","problem":"Wampler3"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","higher","explicit_constant"],"target":"tool","task_id":"strd.wampler3.explicit_constant","task_sha256":"91a3acc74b470b6cf29293916a6653bb2cdcc47263f156853161f5334b90c162","tools_called":["infer.ols"],"trace":"traces/strd.wampler3.explicit_constant.e1.a1.jsonl","trace_file":"traces/strd.wampler3.explicit_constant.e1.a1.jsonl","trajectory":"trajectories/strd.wampler3.explicit_constant.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.wampler4.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.x1: LRE 15.00 (min 6.0) \u2014 B1","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x2: LRE 15.00 (min 6.0) \u2014 B2","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x3: LRE 15.00 (min 6.0) \u2014 B3","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x4: LRE 15.00 (min 6.0) \u2014 B4","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x5: LRE 15.00 (min 6.0) \u2014 B5","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x1.se: LRE 15.00 (min 6.0) \u2014 SE of B1","expected":236355.173469681,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":7,"detail":"figure coef.x2.se: LRE 14.47 (min 6.0) \u2014 SE of B2","expected":77934.3524331583,"failure_class":null,"kind":"figure_lre","observed":14.474,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":8,"detail":"figure coef.x3.se: LRE 14.11 (min 6.0) \u2014 SE of B3","expected":10147.550755035,"failure_class":null,"kind":"figure_lre","observed":14.113,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":9,"detail":"figure coef.x4.se: LRE 14.32 (min 6.0) \u2014 SE of B4","expected":564.566512170752,"failure_class":null,"kind":"figure_lre","observed":14.316,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":10,"detail":"figure coef.x5.se: LRE 14.52 (min 6.0) \u2014 SE of B5","expected":11.2324854679312,"failure_class":null,"kind":"figure_lre","observed":14.522,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":3.481915919110179,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.593214Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.957478440825662,"certified_residual_sd":236014.502379268,"collinearity_exception":false,"difficulty":"higher","min_lre":6,"path":"default","problem":"Wampler4"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","higher"],"target":"tool","task_id":"strd.wampler4","task_sha256":"2594d7512c0ab3cbfaa08390c7a14d13ca549a973c31b56810d08be4533ee1e7","tools_called":["infer.ols"],"trace":"traces/strd.wampler4.e1.a1.jsonl","trace_file":"traces/strd.wampler4.e1.a1.jsonl","trajectory":"trajectories/strd.wampler4.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.wampler4.explicit_constant.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.const: LRE 15.00 (min 6.0) \u2014 B0","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x1: LRE 15.00 (min 6.0) \u2014 B1","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x2: LRE 15.00 (min 6.0) \u2014 B2","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x3: LRE 15.00 (min 6.0) \u2014 B3","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x4: LRE 15.00 (min 6.0) \u2014 B4","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x5: LRE 15.00 (min 6.0) \u2014 B5","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":7,"detail":"figure coef.const.se: LRE 14.14 (min 6.0) \u2014 SE of B0","expected":215232.62467817,"failure_class":null,"kind":"figure_lre","observed":14.145,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":8,"detail":"figure coef.x1.se: LRE 13.77 (min 6.0) \u2014 SE of B1","expected":236355.173469681,"failure_class":null,"kind":"figure_lre","observed":13.773,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":9,"detail":"figure coef.x2.se: LRE 13.73 (min 6.0) \u2014 SE of B2","expected":77934.3524331583,"failure_class":null,"kind":"figure_lre","observed":13.733,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":10,"detail":"figure coef.x3.se: LRE 13.64 (min 6.0) \u2014 SE of B3","expected":10147.550755035,"failure_class":null,"kind":"figure_lre","observed":13.643,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":11,"detail":"figure coef.x4.se: LRE 13.69 (min 6.0) \u2014 SE of B4","expected":564.566512170752,"failure_class":null,"kind":"figure_lre","observed":13.692,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":12,"detail":"figure coef.x5.se: LRE 13.70 (min 6.0) \u2014 SE of B5","expected":11.2324854679312,"failure_class":null,"kind":"figure_lre","observed":13.697,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":2.953333081677556,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.596194Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.957478440825662,"certified_residual_sd":236014.502379268,"collinearity_exception":false,"difficulty":"higher","min_lre":6,"path":"explicit_constant","problem":"Wampler4"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","higher","explicit_constant"],"target":"tool","task_id":"strd.wampler4.explicit_constant","task_sha256":"3f30f6941d21165bf2783499b38b9a4c8f6f07ce8440f9e9e84934a92a06eaa3","tools_called":["infer.ols"],"trace":"traces/strd.wampler4.explicit_constant.e1.a1.jsonl","trace_file":"traces/strd.wampler4.explicit_constant.e1.a1.jsonl","trajectory":"trajectories/strd.wampler4.explicit_constant.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.wampler5.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.x1: LRE 15.00 (min 6.0) \u2014 B1","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x2: LRE 15.00 (min 6.0) \u2014 B2","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x3: LRE 15.00 (min 6.0) \u2014 B3","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x4: LRE 15.00 (min 6.0) \u2014 B4","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x5: LRE 15.00 (min 6.0) \u2014 B5","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x1.se: LRE 15.00 (min 6.0) \u2014 SE of B1","expected":23635517.3469681,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":7,"detail":"figure coef.x2.se: LRE 14.48 (min 6.0) \u2014 SE of B2","expected":7793435.24331583,"failure_class":null,"kind":"figure_lre","observed":14.475,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":8,"detail":"figure coef.x3.se: LRE 14.11 (min 6.0) \u2014 SE of B3","expected":1014755.0755035,"failure_class":null,"kind":"figure_lre","observed":14.108,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":9,"detail":"figure coef.x4.se: LRE 14.31 (min 6.0) \u2014 SE of B4","expected":56456.6512170752,"failure_class":null,"kind":"figure_lre","observed":14.31,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":10,"detail":"figure coef.x5.se: LRE 14.52 (min 6.0) \u2014 SE of B5","expected":1123.24854679312,"failure_class":null,"kind":"figure_lre","observed":14.518,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":3.3215838484466076,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.599523Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.0022466892157494,"certified_residual_sd":23601450.2379268,"collinearity_exception":false,"difficulty":"higher","min_lre":6,"path":"default","problem":"Wampler5"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","higher"],"target":"tool","task_id":"strd.wampler5","task_sha256":"bcb3e288eaf998784b65a604568f7baa589f033b5d3da46e7f7f1424fbce3c8d","tools_called":["infer.ols"],"trace":"traces/strd.wampler5.e1.a1.jsonl","trace_file":"traces/strd.wampler5.e1.a1.jsonl","trajectory":"trajectories/strd.wampler5.e1.a1.jsonl","unbacked":[],"usage":{}}
{"answer":"","attempt":1,"attempts":[{"attempt":1,"error":null,"error_kind":null,"trace":"traces/strd.wampler5.explicit_constant.e1.a1.jsonl","usage":{}}],"caveats":[],"checks":[{"check_index":0,"detail":"status ok","expected":"ok","failure_class":null,"kind":"status","observed":"ok","passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":1,"detail":"figure coef.const: LRE 15.00 (min 6.0) \u2014 B0","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":2,"detail":"figure coef.x1: LRE 15.00 (min 6.0) \u2014 B1","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":3,"detail":"figure coef.x2: LRE 15.00 (min 6.0) \u2014 B2","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":4,"detail":"figure coef.x3: LRE 15.00 (min 6.0) \u2014 B3","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":5,"detail":"figure coef.x4: LRE 15.00 (min 6.0) \u2014 B4","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":6,"detail":"figure coef.x5: LRE 15.00 (min 6.0) \u2014 B5","expected":1.0,"failure_class":null,"kind":"figure_lre","observed":15.0,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":7,"detail":"figure coef.const.se: LRE 14.14 (min 6.0) \u2014 SE of B0","expected":21523262.467817,"failure_class":null,"kind":"figure_lre","observed":14.138,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":8,"detail":"figure coef.x1.se: LRE 13.77 (min 6.0) \u2014 SE of B1","expected":23635517.3469681,"failure_class":null,"kind":"figure_lre","observed":13.773,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":9,"detail":"figure coef.x2.se: LRE 13.74 (min 6.0) \u2014 SE of B2","expected":7793435.24331583,"failure_class":null,"kind":"figure_lre","observed":13.735,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":10,"detail":"figure coef.x3.se: LRE 13.64 (min 6.0) \u2014 SE of B3","expected":1014755.0755035,"failure_class":null,"kind":"figure_lre","observed":13.641,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":11,"detail":"figure coef.x4.se: LRE 13.69 (min 6.0) \u2014 SE of B4","expected":56456.6512170752,"failure_class":null,"kind":"figure_lre","observed":13.694,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0},{"check_index":12,"detail":"figure coef.x5.se: LRE 13.69 (min 6.0) \u2014 SE of B5","expected":1123.24854679312,"failure_class":null,"kind":"figure_lre","observed":13.694,"passed":true,"required":true,"source_id":null,"tolerance":null,"trace_call_id":null,"weight":1.0}],"decided_by_check":null,"diagnosed_class":null,"duration_ms":2.9507919680327177,"epoch":1,"error_kind":null,"failure_class":null,"figure_refs":[],"finished_at":"2026-10-15T17:12:52.602492Z","first_estimate":null,"isolation":"pass","meta":{"certified_r_squared":0.0022466892157494,"certified_residual_sd":23601450.2379268,"collinearity_exception":false,"difficulty":"higher","min_lre":6,"path":"explicit_constant","problem":"Wampler5"},"model":null,"n_estimator_calls_before_answer":null,"native":{},"provider":null,"reason":"","score":1.0,"split":"public","status":"passed","stopped":null,"suite":"strd","tags":["fast","linreg","nist","higher","explicit_constant"],"target":"tool","task_id":"strd.wampler5.explicit_constant","task_sha256":"afae0c5efc013911c42452b9368348e4ab544469bf0efcb9f62d4932d5e96cf1","tools_called":["infer.ols"],"trace":"traces/strd.wampler5.explicit_constant.e1.a1.jsonl","trace_file":"traces/strd.wampler5.explicit_constant.e1.a1.jsonl","trajectory":"trajectories/strd.wampler5.explicit_constant.e1.a1.jsonl","unbacked":[],"usage":{}}