Fusion - the Fusion 360 Bridge

@@ -8890,20 +8890,45 @@ COMMAND_HANDLERS["list_library"] = _handle_list_library   -def _handle_prove_library(fusion_info: dict, args: dict) -> dict:-    """PROVE a .lbr is real: symbol + footprint + 3D chip, with one evidence screenshot.+def _prove_capture(label: str, view: str) -> dict:+    """Settle, capture full-screen, and MEASURE the frame. A capture is evidence only if it+    is app-sized: a 237x39 title-bar sliver once passed a byte-size check and got reported as+    a screenshot, so every evidence frame is decoded and measured here."""+    import time as _t+    for _ in range(40):                       # let the editor finish drawing before capturing+        try:+            if _proxy_to_addin("get_app_state", {}, timeout=6).get("success"):+                break+        except Exception:+            pass+        _t.sleep(3)+    _t.sleep(2.0)                             # paint beat: the canvas lands after the thread frees+    out = {"step": label, "view": view, "ok": False, "screenshot": None}+    try:+        shot = _handle_screenshot_fusion({}, {})+        p = shot.get("savedTo") or shot.get("localSafePath")+        if shot.get("success") and p:+            out["screenshot"] = p+            w, h = shot.get("width"), shot.get("height")+            out["width"], out["height"] = w, h+            out["ok"] = not (w and h) or (int(w) >= 400 and int(h) >= 300)+    except Exception as e:+        out["error"] = str(e)[:120]+    return out+ -    John, 2026-08-21: the Component Properties view - symbol pane, footprint preview, 3D-    preview - "is final evidence of a working fusion lbr and it should be showing the symbol,-    footprint, and 3d chip all perfectly rendered". This verb produces exactly that view AND-    judges it, because the view alone can lie:+def _handle_prove_library(fusion_info: dict, args: dict) -> dict:+    """PROVE a .lbr with the FOUR evidence images John specified (2026-08-21): -      - Fusion ticks Mapped even when Package is "Placeholder", so a caller reading the-        checkmark concludes the 3D is bound when it is a grey slab (page issue #42).-      - A screenshot of a Placeholder photographs like success.+      1. the symbol,    full screen in the Symbol editor+      2. the footprint, full screen in the Footprint editor+      3. the 3D chip,   full screen in the 3D editor+      4. the ganged Library Manager view: symbol + footprint + 3D chip + pin connections -    So the artifacts are verified from the .lbr FIRST (offline, before any rendering), and the-    screenshot is evidence attached to a verdict rather than the verdict itself.+    The artifacts are verified from the .lbr FIRST, offline, because the view can lie: Fusion+    ticks Mapped even when Package is "Placeholder", and a grey Placeholder slab photographs+    exactly like a bound model (page issue #42). So `proven` is decided by what EXISTS, and+    the four frames are the evidence attached to that verdict - never the verdict itself.     """     lbr = (args.get("libraryPath") or args.get("filePath") or "").replace("\\", "/") or _last_library()     if not lbr:@@ -8913,10 +8938,8 @@ def _handle_prove_library(fusion_info: dict, args: dict) -> dict:     if not names:         return {"success": False, "error": "Could not read or parse that .lbr: %s" % lbr,                 "errorCode": "library_unreadable"}-    want = (args.get("name") or "").strip()     devs = names.get("dev", [])-    if not want:-        want = devs[0] if devs else ""+    want = (args.get("name") or "").strip() or (devs[0] if devs else "")     artifacts = {         "symbol":    {"present": bool(names.get("sym")), "names": names.get("sym", [])[:10]},         "footprint": {"present": bool(names.get("pac")), "names": names.get("pac", [])[:10]},@@ -8930,42 +8953,61 @@ def _handle_prove_library(fusion_info: dict, args: dict) -> dict:         return {"success": False, "error": "open_lbr failed: " + str(opened.get("error")),                 "errorCode": "library_open_failed", "artifacts": artifacts}     _LAST_LIBRARY[0] = lbr-    shot = None-    if want:-        # The DEVICE view is the one that shows all three panes at once - that is the frame-        # John calls final evidence.-        view = _show_library_view(want, "dev", lbr)-        shot = view.get("screenshot")-    if not shot:-        try:-            r = _handle_screenshot_fusion({}, {})-            shot = r.get("savedTo") or r.get("localSafePath")-        except Exception:-            pass -    proven = not missing-    out = {-        "success": proven,-        "proven": proven,-        "libraryPath": lbr,-        "deviceset": want,-        "artifacts": artifacts,-        "missing": missing,-        "screenshot": shot,-        "view": "component-properties",-    }+    evidence = []+    # 1 + 2: the two editors, each full screen.+    for label, suffix, view in (("symbol", "sym", "symbol-editor"),+                                ("footprint", "pac", "footprint-editor")):+        r = _show_library_view(want, suffix, lbr)+        if not r.get("success"):+            evidence.append({"step": label, "view": view, "ok": False,+                             "error": str(r.get("error"))[:160]})+            continue+        evidence.append(_prove_capture(label, view))+    # 3: the 3D editor. Only reachable when a real package3d is bound - with none, Fusion+    #    shows its Placeholder, which is exactly the false pass this verb exists to prevent.+    if artifacts["package3d"]["present"]:+        cp = _proxy_to_addin("execute_text_command",+                             {"command": "Electron.Create3DPackage %s" % lbr}, timeout=90)+        if cp.get("success"):+            evidence.append(_prove_capture("package3d", "3d-editor"))+        else:+            evidence.append({"step": "package3d", "view": "3d-editor", "ok": False,+                             "error": "Create3DPackage failed: " + str(cp.get("error"))[:120]})+    else:+        evidence.append({"step": "package3d", "view": "3d-editor", "ok": False,+                         "error": "No package3d bound - the 3D editor would only show Fusion's "+                                  "grey Placeholder, which is not evidence."})+    # 4: the ganged Library Manager view - symbol, footprint, 3D and pin connections at once.+    r = _show_library_view(want, "dev", lbr)+    if r.get("success"):+        evidence.append(_prove_capture("ganged", "library-manager"))+    else:+        evidence.append({"step": "ganged", "view": "library-manager", "ok": False,+                         "error": str(r.get("error"))[:160]})++    captured = [e for e in evidence if e.get("ok") and e.get("screenshot")]+    proven = (not missing) and len(captured) == 4+    out = {"success": proven, "proven": proven, "libraryPath": lbr, "deviceset": want,+           "artifacts": artifacts, "missing": missing,+           "evidence": evidence, "imagesCaptured": len(captured), "imagesRequired": 4}     if proven:-        out["_hint"] = ("All three artifacts exist in the .lbr and the Component Properties view "-                        "is captured in `screenshot` - symbol pane, footprint preview and 3D "-                        "preview. This is the evidence frame; attach it as proof.")+        out["_hint"] = ("PROVEN: all three artifacts exist and all FOUR evidence frames were "+                        "captured app-sized - symbol editor, footprint editor, 3D editor, and "+                        "the ganged Library Manager view with pin connections. Attach "+                        "evidence[].screenshot in that order.")     else:-        out["error"] = ("NOT proven: the library is missing %s. Fusion would still render the "-                        "Component Properties view and tick Mapped, with a grey Placeholder where "-                        "the 3D chip belongs." % ", ".join(missing))+        why = []+        if missing:+            why.append("missing artifacts: " + ", ".join(missing))+        if len(captured) != 4:+            why.append("only %d of 4 evidence frames captured" % len(captured))+        out["error"] = "NOT proven - " + "; ".join(why)         out["errorCode"] = "library_not_proven"-        out["_hint"] = ("Do NOT treat the screenshot as proof while `missing` is non-empty - a "-                        "Placeholder photographs exactly like a bound model. Bind the 3D with "-                        "fusion_show_3d_package {stepPath}, then re-run this verb.")+        out["_hint"] = ("Do NOT present these frames as proof. A missing package3d renders as a "+                        "grey Placeholder that photographs like a real chip, and a frame that "+                        "failed its size check is not evidence of anything. Bind the 3D with "+                        "fusion_show_3d_package {stepPath} and re-run.")     return out