Composed Trusted Reachable Families for Recurrent Networks / report_bench_2026-09-01T195600.md

Failed on benchmark

Raw ⬇ ZIP

Стенд-проверка (stage-2) · промт оператора:

(универсальный)

Ответ агента:

{ "worked": false, "confidence": 9, "verdict": "The matched dynamics/rnn_small benchmark completed successfully with the canonical registered track, equal learning-rate union, tuned baseline, and 8 paired seeds. The reachability-penalty idea reduced mean MSE from 0.0021058194 to 0.0017431348, but permutation p=0.2468, so it is not a significant win and worked=false. The trained-model mechanism signature did confirm quadratic violation scaling: observed slope 1.9886 versus predicted 2.0.", "metrics": { "baseline": "Best lr=0.006; 8-seed mean MSE 0.0021058194252.", "idea": "Best lr=0.006, alpha=0.02; 8-seed mean MSE 0.0017431347951; paired delta=-0.0003626846301; p=0.2468; 4/8 paired wins." }, "bench_report": { "bench_version": 1, "track": "dynamics", "model": "rnn_small", "metric_direction": "lower is better", "n_seeds": 8, "baseline": { "best_cfg": { "lr": 0.006 }, "sweep": [ { "cfg": { "lr": 0.001 }, "mean": 0.004298779065720737 }, { "cfg": { "lr": 0.003 }, "mean": 0.0034615940821822733 }, { "cfg": { "lr": 0.006 }, "mean": 0.0018282315868418664 } ], "full": { "mean": 0.002105819425196387, "std": 0.000389436566226016, "per_seed": [ 0.002004395006224513, 0.001437882543541491, 0.0015748648438602686, 0.002295783953741193, 0.0024020641576498747, 0.0024898042902350426, 0.0020851334556937218, 0.0025566271506249905 ], "n": 8 } }, "idea": { "mean": 0.001743134795106016, "std": 0.0006819343183841201, "per_seed": [ 0.002026122761890292, 0.0009872562950477004, 0.00172160635702312, 0.003036356531083584, 0.0009595885640010238, 0.0010313111124560237, 0.002219313522800803, 0.001963523216545582 ], "n": 8 }, "comparison": { "delta_mean": -0.0003626846300903708, "idea_wins": 4, "n_pairs": 8, "per_seed_diffs": [ 2.1727755665779114e-05, -0.0004506262484937906, 0.00014674151316285133, 0.000740572577342391, -0.001442475593648851, -0.0014584931777790189, 0.0001341800671070814, -0.0005931039340794086 ], "p_value": 0.2468, "mde": 0.0006552640413442428, "mde_rel_pct": 31.116820060824228, "verdict": "no significant win", "system_worked": false }, "mechanism_signature": { "method": "multi_step_affine_reachability_penalty", "alpha": 0.02, "signature": { "radii": [ 0.02, 0.04, 0.08 ], "observed_violation": [ 8.657040780235548e-06, 3.4265096473973244e-05, 0.00013634731294587255 ], "observed_log_slope": 1.9886342514929614, "predicted_slope": 2.0, "confirmed": true }, "idea_lr_results": { "0.001": { "mean": 0.005559288372751325, "std": 0.002875018990704497, "per_seed": [ 0.0068917470052838326, 0.0023556745145469904, 0.0028747664764523506, 0.003830716712400317, 0.0052271741442382336, 0.003931319806724787, 0.007791006471961737, 0.011571901850402355 ], "n": 8 }, "0.003": { "mean": 0.0027528391947271302, "std": 0.0013131710105052272, "per_seed": [ 0.0018411790952086449, 0.0037763440050184727, 0.0017155342502519488, 0.005654776003211737, 0.0015558436280116439, 0.0030924330931156874, 0.002543396782130003, 0.0018432067008689046 ], "n": 8 }, "0.006": { "mean": 0.001743134795106016, "std": 0.0006819343183841201, "per_seed": [ 0.002026122761890292, 0.0009872562950477004, 0.00172160635702312, 0.003036356531083584, 0.0009595885640010238, 0.0010313111124560237, 0.002219313522800803, 0.001963523216545582 ], "n": 8 } } } }, "how_to_run": "/home/maxwelhelp/main/bin/python3 stage2_bench.py", "files": [ "stage2_bench.py", "bench_report.json" ], "limitations": "Only the registered built-in dynamics track was tested, using 400 training samples, 200 test samples, and 12 epochs. The implementation used finite-difference directional Jacobian-vector estimates and initial-state uncertainty; full input-direction polytopes, adaptive block re-centering, adversarial probes, long-horizon inference monitoring, wall-clock overhead, and broader optimizer/weight-decay sweeps were not tested.", "system_verdict": "failed", "practical_verdict": "inconclusive", "mechanism_ok": 0, "system_judged": true }