Constraint Shield for Learned Interaction Dynamics / verification_report.json

Mechanism failed

Raw ⬇ ZIP
 1{
 2  "predictions": [
 3    {
 4      "claim": "static force boundary penetration = F_safe / stiffness",
 5      "predicted": [
 6        0.25,
 7        0.1,
 8        0.05,
 9        0.025,
10        0.0125
11      ],
12      "observed": [
13        0.25,
14        0.1,
15        0.05,
16        0.025,
17        0.0125
18      ],
19      "max_abs_error": 0.0,
20      "pass": true
21    },
22    {
23      "claim": "nominal violation starts near target = F_safe / stiffness",
24      "predicted": 0.05,
25      "observed_grid_first_violation": 0.08,
26      "absolute_error": 0.03,
27      "pass": false
28    },
29    {
30      "claim": "shield keeps predicted/actual force below safety level when feasible",
31      "safety_level_with_margin": 0.48,
32      "max_observed_shield_peak_force": 0.4086472494106363,
33      "max_shield_violation_rate": 0.0,
34      "pass": true
35    },
36    {
37      "claim": "unshielded peak force scales as stiffness times target penetration",
38      "max_abs_scaling_error": 5.684747707856985e-05,
39      "pass": false
40    }
41  ],
42  "summary": {
43    "baseline_target_high_force_violation_rates": {
44      "0.08": 0.78,
45      "0.12": 0.82,
46      "0.2": 0.84,
47      "0.3": 0.84
48    },
49    "shield_target_high_force_violation_rates": {
50      "0.08": 0.0,
51      "0.12": 0.0,
52      "0.2": 0.0,
53      "0.3": 0.0
54    },
55    "shield_feasible_rate_min": 1.0
56  }
57}