Constraint Shield for Learned Interaction Dynamics / verification_report.json
Mechanism failed
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}