Finite-Candidate Neural Reference Shield / report_bench_2026-09-01T235711.md
Mechanism confirmed, baseline not beaten
Стенд-проверка (stage-2) · промт оператора:
(универсальный)
Ответ агента:
{ "worked": false, "confidence": 10, "verdict": "Built an end-to-end finite-candidate interval KKT shield around the shared rnn_small dynamics model and ran 8 paired seeds with baseline and idea learning-rate sweeps. The mechanism signature held quantitatively: interior identity error 0, maximum constraint violation 0, and 72% of trained test outputs interior. However, the shielded system had much worse test MSE, 0.05243537 versus 0.000635578 for baseline, with paired delta +0.05179979 and permutation p=0.0081; it was a significant loss.", "metrics": { "baseline": "dynamics/rnn_small, best lr=0.005: mean test MSE 0.0006355784, std 0.0001856246", "idea": "Finite-candidate interval shield, best lr=0.005: mean test MSE 0.0524353655, std 0.0088831963; paired delta +0.0517997871, p=0.0081, idea wins 0/8" }, "bench_report": { "bench_version": 1, "track": "dynamics", "model": "rnn_small", "metric_direction": "lower is better", "n_seeds": 8, "baseline": { "best_cfg": { "lr": 0.005 }, "sweep": [ { "cfg": { "lr": 0.001 }, "mean": 0.0014035784406587481 }, { "cfg": { "lr": 0.003 }, "mean": 0.000857145045301877 }, { "cfg": { "lr": 0.005 }, "mean": 0.000637838282273151 } ], "full": { "mean": 0.0006355784062179737, "std": 0.00018562462201799073, "per_seed": [ 0.0005684797652065754, 0.0006359252729453146, 0.0004176601651124656, 0.0009292879258282483, 0.0004875308950431645, 0.0004790188977494836, 0.0006295977509580553, 0.0009371265769004822 ], "n": 8 } }, "idea": { "best_lr": 0.005, "mean": 0.05243536550551653, "std": 0.008883196341761043, "per_seed": [ 0.04108409211039543, 0.05810997262597084, 0.05400923267006874, 0.06831105798482895, 0.05535797029733658, 0.03811589255928993, 0.053262870758771896, 0.051231835037469864 ], "n": 8 }, "comparison": { "delta_mean": 0.051799787099298555, "idea_wins": 0, "n_pairs": 8, "p_value": 0.0081, "verdict": "idea worse (significant)", "system_worked": false }, "mechanism_signature": { "bound": 1.0, "n_test": 400, "interior_fraction": 0.72, "interior_identity_max_error": 0.0, "max_constraint_violation": 0.0, "mean_shaping_distance": 0.08201595395803452, "predicted_interior_error": 0.0, "predicted_max_violation": 0.0, "confirmed": true, "math_check": { "max_error_vs_slsqp": 1.8546459140785727e-08, "max_constraint_violation": 3.3306690737504697e-16, "interior_identity_max_error": 0.0, "n_reference": 90 } } }, "how_to_run": "/home/maxwelhelp/main/bin/python3 stage2_bench.py", "files": [ "stage2_bench.py", "bench_report.json" ], "limitations": "Only the built-in dynamics task and a scalar interval shield were tested; general higher-dimensional nonlinear active sets, state-dependent constraints, implicit differentiation, noisy or mismatched dynamics, and deployment latency were not evaluated.", "system_verdict": "partial", "practical_verdict": "harms", "mechanism_ok": 1, "system_judged": true }