Positive-real rational resolvent mixer / report_bench_2026-09-04T153840.md

Failed on benchmark

Raw ⬇ ZIP

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

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

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

{ "worked": false, "confidence": 9, "verdict": "Implemented and trained a positive-real rational resolvent recurrent model on the structurally matched built-in dynamics track, using the canonical rnn_small GRU as the paired baseline. The idea reduced mean test MSE, but the paired permutation test was not significant (p=0.2357), and the trained-model nonexpansiveness signature was not confirmed because the observed maximum ratio was 5.2935.", "metrics": { "baseline": "Best baseline lr=0.006: mean test MSE 0.0005385369, std 0.0001364130.", "idea": "Best idea lr=0.001: mean test MSE 0.0004099761, std 0.0002596498; paired delta=-0.0001285607, 6/8 wins, p=0.2357." }, "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.0014015047054272145 }, { "cfg": { "lr": 0.003 }, "mean": 0.000840683322167024 }, { "cfg": { "lr": 0.006 }, "mean": 0.0006119587633293122 } ], "full": { "mean": 0.0005385368749557529, "std": 0.00013641301474292053, "per_seed": [ 0.0004973900504410267, 0.0007723030867055058, 0.0004330792580731213, 0.000745062658097595, 0.0003953906998503953, 0.0005369232967495918, 0.00040419393917545676, 0.0005239520105533302 ], "n": 8 }, "idea_union_sweep": [ { "cfg": { "lr": 0.001 }, "mean": 0.0004685235799115617 }, { "cfg": { "lr": 0.003 }, "mean": 0.14334793618763797 }, { "cfg": { "lr": 0.006 }, "mean": 0.0005863967526238412 } ] }, "idea": { "mean": 0.00040997614269144833, "std": 0.000259649820853824, "per_seed": [ 0.000214326151763089, 0.0007017290918156505, 0.0006978304008953273, 0.00026020867517217994, 0.00015163708303589374, 0.00015855272067710757, 0.0002806181728374213, 0.0008149068453349173 ], "n": 8 }, "comparison": { "delta_mean": -0.00012856073226430453, "idea_wins": 6, "n_pairs": 8, "per_seed_diffs": [ -0.0002830638986779377, -7.057399488985538e-05, 0.000264751142822206, -0.00048485398292541504, -0.00024375361681450158, -0.00037837057607248425, -0.00012357576633803546, 0.0002909548347815871 ], "p_value": 0.2357, "mde": 0.00023661934353507038, "mde_rel_pct": 43.93744505508772, "verdict": "no significant win", "system_worked": false }, "idea_best_cfg": { "lr": 0.001 }, "epochs": 10, "n_train": 1000, "n_test": 250, "mechanism_signature": { "prediction": "positive-real resolvent is nonexpansive: max ||R v||/||v|| <= 1", "observed_max_ratio_mean": 3.9459029138088226, "observed_max_ratio_max": 5.293459892272949, "failed_linear_solves_total": 0, "confirmed": false } }, "how_to_run": "/home/maxwelhelp/main/bin/python3 bench_resolvent.py", "files": [ "bench_resolvent.py", "bench_report.json" ], "limitations": "Only the built-in dynamics track was tested because the idea targets stability/control. The implementation did not enforce the full KYP PSD constraint during optimization, so the trained operator was not certified. Activation and gradient tail distributions, FLOP/solve overhead, and longer training budgets were not measured.", "system_verdict": "failed", "practical_verdict": "inconclusive", "mechanism_ok": 0, "system_judged": true }