ISS-Certified Sampled Optimizer Wrapper / report_bench_2026-08-31T121904.md
Failed on benchmark
Стенд-проверка (stage-2) · промт оператора:
(универсальный)
Ответ агента:
{ "worked": false, "confidence": 9, "verdict": "Implemented the ISS-certified sampled optimizer as a local modified training loop on the structurally matched dynamics track using rnn_small, paired seeds, equal-budget learning-rate sweeps, and trained-model Lyapunov measurements. The certificate was satisfied on every checked update, so no updates were rejected and the idea matched baseline exactly: delta_mean=0 and permutation p=1.0. This is no neural-training win.", "metrics": { "baseline": "dynamics/rnn_small; best Adam lr=0.01; test MSE mean=0.0005546553857, std=0.0002139676899", "idea": "ISS-certified loop; best shared-grid lr=0.01, M=1; test MSE mean=0.0005546553857, std=0.0002139676899; paired delta=0.0, p=1.0", "mechanism_signature": "Across 8 seeds, every seed had 72 accepted, 0 rejected, and 0 certificate violations. Mean certificate values ranged from -0.5226766 to -0.4818276; prediction that rejected updates would be observed was not confirmed." }, "bench_report": { "bench_version": 1, "track": "dynamics", "model": "rnn_small", "metric_direction": "lower is better", "n_seeds": 8, "baseline": { "best_cfg": { "lr": 0.01, "M": 1 }, "sweep": [ { "cfg": { "lr": 0.001, "M": 1 }, "mean": 0.001921573159052059 }, { "cfg": { "lr": 0.003, "M": 1 }, "mean": 0.0011179699067724869 }, { "cfg": { "lr": 0.01, "M": 1 }, "mean": 0.0006299250526353717 } ], "full": { "mean": 0.0005546553857129766, "std": 0.00021396768993230646, "per_seed": [ 0.0004971042508259416, 0.0004999673110432923, 0.00046853424282744527, 0.0010540944058448076, 0.0005468997405841947, 0.00023900401720311493, 0.0006055250996723771, 0.0005261140177026391 ], "n": 8 } }, "idea": { "best_cfg": { "lr": 0.01, "M": 1 }, "mean": 0.0005546553857129766, "std": 0.00021396768993230646, "per_seed": [ 0.0004971042508259416, 0.0004999673110432923, 0.00046853424282744527, 0.0010540944058448076, 0.0005468997405841947, 0.00023900401720311493, 0.0006055250996723771, 0.0005261140177026391 ], "n": 8, "sweep": [ { "cfg": { "lr": 0.001, "M": 1 }, "mean": 0.001921573159052059 }, { "cfg": { "lr": 0.003, "M": 1 }, "mean": 0.0011179699067724869 }, { "cfg": { "lr": 0.01, "M": 1 }, "mean": 0.0006299250526353717 } ] }, "comparison": { "delta_mean": 0.0, "idea_wins": 0, "n_pairs": 8, "per_seed_diffs": [ 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "p_value": 1.0, "mde": 0.0, "mde_rel_pct": 0.0, "verdict": "no measurable effect", "system_worked": false }, "mechanism_signature": { "prediction": "Lyapunov certificate filters sampled updates; rejected proposals should have positive certificate and accepted proposals nonpositive.", "trained_model_measurements": [ { "accepted": 72, "rejected": 0, "checks": 72, "violations": 0, "violation_rate": 0.0, "mean_certificate": -0.49112362704343265 }, { "accepted": 72, "rejected": 0, "checks": 72, "violations": 0, "violation_rate": 0.0, "mean_certificate": -0.4969692817992634 }, { "accepted": 72, "rejected": 0, "checks": 72, "violations": 0, "violation_rate": 0.0, "mean_certificate": -0.5120618219176928 }, { "accepted": 72, "rejected": 0, "checks": 72, "violations": 0, "violation_rate": 0.0, "mean_certificate": -0.5117074669235282 }, { "accepted": 72, "rejected": 0, "checks": 72, "violations": 0, "violation_rate": 0.0, "mean_certificate": -0.5226765928996934 }, { "accepted": 72, "rejected": 0, "checks": 72, "violations": 0, "violation_rate": 0.0, "mean_certificate": -0.48182762745353913 }, { "accepted": 72, "rejected": 0, "checks": 72, "violations": 0, "violation_rate": 0.0, "mean_certificate": -0.4946398569477929 }, { "accepted": 72, "rejected": 0, "checks": 72, "violations": 0, "violation_rate": 0.0, "mean_certificate": -0.508300371054146 } ], "confirmed": false }, "protocol_notes": "Baseline and idea share rnn_small, dynamics data, epochs, batch size, Adam, and the same learning-rate grid; only certificate rejection differs." }, "how_to_run": "/home/maxwelhelp/main/bin/python3 stage2_iss_bench.py", "files": [ "stage2_iss_bench.py", "bench_report.json" ], "limitations": "Only the built-in dynamics track, rnn_small model, M=1, and 18 epochs were tested. The certificate did not encounter aggressive or unstable proposals, so larger sampling intervals, stronger updates, learned P, disturbances, and transient-state stability under held-out rollouts were not evaluated.", "system_verdict": "failed", "practical_verdict": "no_effect", "mechanism_ok": 0, "system_judged": true }