Conformal Lower-Clearance Certificate for Neural Selectors / report_bench_2026-09-01T232458.md
Mechanism confirmed, baseline not beaten
Стенд-проверка (stage-2) · промт оператора:
(универсальный)
Ответ агента:
{ "worked": false, "confidence": 9, "verdict": "Implemented the conformal lower-clearance certificate on the matched dynamics RNN benchmark with paired seeds, equal learning-rate sweeps, empirical lower-tail CVaR, and conformal calibration. The trained-model mechanism signature was confirmed: mean clearance coverage was 0.90094 for the 0.90 target and the CVaR identity error was 1.11e-16. The standard task metric worsened significantly, however, with idea MSE 0.0112481 versus baseline 0.0058871, paired delta +0.0053610 and permutation p=0.0081; therefore the idea did not win.", "metrics": { "baseline": "dynamics/rnn_small MSE 0.0058870674, best lr 0.006; sweep means: lr 0.001=0.01659585, lr 0.003=0.01240547, lr 0.006=0.00576727", "idea": "dynamics/rnn_small MSE 0.0112481067, best lr 0.006; paired delta +0.0053610393, permutation p=0.0081; trained-model coverage 0.9009375, mean q 0.0517707, certificate nonnegative fraction 0.92, CVaR max error 1.11e-16" }, "how_to_run": "/home/maxwelhelp/main/bin/python3 bench_experiment.py", "files": [ "bench_experiment.py", "bench_report.json" ], "limitations": "The built-in dynamics task predicts terminal pendulum angle rather than an explicit planner-selected multi-step trajectory or OBB clearance, so clearance was operationalized as 1.5 minus absolute terminal angle. No real planner, collision geometry, distribution-shift stress test, or larger model was tested. The canonical training loop emitted a broadcasting warning because the K-head output was trained against a scalar target; both paired systems used the same setup, but this should be corrected in a follow-up experiment.", "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.01659585232846439 }, { "cfg": { "lr": 0.003 }, "mean": 0.012405469547957182 }, { "cfg": { "lr": 0.006 }, "mean": 0.005767271446529776 } ], "full": { "mean": 0.005887067440198734, "std": 0.0028623089080256525, "per_seed": [ 0.008059674873948097, 0.004038976971060038, 0.0031182977836579084, 0.00785213615745306, 0.003916425164788961, 0.0028475807048380375, 0.005657579749822617, 0.011605868116021156 ], "n": 8 }, "sweep_union": [ { "lr": 0.001 }, { "lr": 0.003 }, { "lr": 0.006 } ] }, "idea": { "mean": 0.011248106741367055, "std": 0.006258844122725869, "per_seed": [ 0.022217202194459013, 0.006783677271716304, 0.00541313520087919, 0.010822826067157683, 0.005995401958828461, 0.006209289870068991, 0.012061415767069159, 0.02048190560075764 ], "n": 8, "selected_cfg": { "lr": 0.006 } }, "comparison": { "delta_mean": 0.005361039301168321, "idea_wins": 0, "n_pairs": 8, "per_seed_diffs": [ 0.014157527320510916, 0.0027447003006562665, 0.002294837417221282, 0.0029706899097046227, 0.0020789767940394997, 0.003361709165230953, 0.006403836017246542, 0.008876037484736483 ], "p_value": 0.0081, "mde": 0.0035692628707567073, "mde_rel_pct": 60.628876890124715, "verdict": "idea worse (significant)", "system_worked": false }, "mechanism_signature": { "definition": "trained RNN predicted-vs-observed clearance coverage", "alpha": 0.1, "gamma": 0.25, "K": 8, "coverage_mean": 0.9009375, "coverage_per_seed": [ 0.92, 0.9175, 0.89, 0.8525, 0.88, 0.9225, 0.9075, 0.9175 ], "q_mean": 0.05177069455385208, "certificate_nonnegative_mean": 0.92, "target_coverage": 0.9, "confirmed": true, "math_check": { "cvar_max_abs_error": 1.1102230246251565e-16, "q_is_order_statistic": true, "q_rank": 29 }, "idea_sweep": [ { "cfg": { "lr": 0.001 }, "mean": 0.03188629204078374 }, { "cfg": { "lr": 0.003 }, "mean": 0.023879009760325764 }, { "cfg": { "lr": 0.006 }, "mean": 0.011309210183553048 } ] } }, "system_verdict": "partial", "practical_verdict": "harms", "mechanism_ok": 1, "system_judged": true }