{"anchors": [], "axis_coords": {"axis": "electrical", "dimensions": ["conservation_balance", "physical_substance", "reasoning", "time_sequence"]}, "content_hash": "1ee0d3ed486453eee0967146a531984888709198b39fb16a7b2c2a5f58ef1b73", "gate_results": [{"details": {"broken_at": null, "confirmed_steps": 7, "gap_at": null, "steps": 7, "verdict": "HOLDS"}, "gate": "RED", "reasons": ["derivation verdict: HOLDS"], "status": "PASS"}], "overall": "PASS", "schema_version": "2.0", "verifier_results": [{"data": {"claim": "", "domain": "electrical", "link_ok": true, "uses": []}, "detail": "electrical.ohms_law: V = 0.5·24.0 = 12.0 (matches claim 12.0)", "name": "r1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "electrical", "link_ok": true, "uses": ["r1"]}, "detail": "electrical.rc_time_constant: v(1.0) = 5.0·(1 − e^(−1.0/1)) = 3.1606 V (matches claim 3.1606)", "name": "c1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["c1"]}, "detail": "exp(x+log(2)) = 2*exp(x); both sides reduce to 2*exp(x)", "name": "d1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["d1"]}, "detail": "floor(10000*log(2)*2585/100000) = 179; both sides reduce to 179", "name": "d2", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["d2"]}, "detail": "floor(1/(2*pi*sqrt((1/10**4)*(1/10**10)))/1000) = 1591; both sides reduce to 1591", "name": "o1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["o1"]}, "detail": "1/sqrt(1/2) = sqrt(2); both sides reduce to sqrt(2)", "name": "v1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["v1"]}, "detail": "floor(299792458*2*pi/10**7) = 188; both sides reduce to 188", "name": "w1", "status": "CONFIRMED"}]}