Fusion - the Fusion 360 Bridge

@@ -11426,9 +11426,19 @@ def _handle_prove_library(fusion_info: dict, args: dict) -> dict:     _LAST_LIBRARY[0] = lbr      evidence = []+    # SHARED PACKAGE, PROVE ONCE (John, 2026-08-30: "once you have a correctly defined+    # footprint with 3d attached, you don't need to re-bind each time ... this process+    # literally took you all night"). The bind was already once per package; the PROOF was+    # not: nine symbol variants on one SOIC-16 re-opened the same footprint and the same+    # cloud 3D design nine times. The chain now passes _skipSteps for a deviceset whose+    # package was proved earlier in the run; only its symbol and ganged frames are taken.+    _skip = set(args.get("_skipSteps") or [])+    _shared_with = args.get("_sharedWith")     # 1 + 2: the two editors, each full screen.     for label, suffix, view in (("symbol", "sym", "symbol-editor"),                                 ("footprint", "pac", "footprint-editor")):+        if label in _skip:+            continue         r = _show_library_view(want, suffix, lbr)         if not r.get("success"):             evidence.append(_emit({"step": label, "view": view, "ok": False,@@ -11437,7 +11447,7 @@ def _handle_prove_library(fusion_info: dict, args: dict) -> dict:         evidence.append(_emit(_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"]:+    if artifacts["package3d"]["present"] and "package3d" not in _skip:         # THE BOUND MODEL, NOT THE GENERATOR (caught by the bodies gate, run be27c38d034e:         # Create3DPackage opens the empty Package3D GENERATOR for an already-bound library -         # bodies=0, a frame of nothing). The evidence is the f3d the package3d urn points@@ -11574,7 +11584,7 @@ def _handle_prove_library(fusion_info: dict, args: dict) -> dict:                              "error": "Could not open the bound f3d (%s): %s" % (                                  _p3d_urn[-30:] if _p3d_urn else "no urn",                                  str((opened3d or {}).get("error"))[:100])}))-    else:+    elif "package3d" not in _skip:         evidence.append(_emit({"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."}))@@ -11624,9 +11634,11 @@ def _handle_prove_library(fusion_info: dict, args: dict) -> dict:     # of every message began - "Fusion offere[d ...]" - and cost the reporter a diagnosis)     missing += ["frame:%s(%s)" % (e.get("step"), str(e.get("error")))                 for e in evidence if not (e.get("ok") and e.get("screenshot"))]-    proven = (not missing) and len(captured) == 4+    _expected = 4 - len(_skip & {"symbol", "footprint", "package3d", "ganged"})+    proven = (not missing) and len(captured) == _expected     out = {"success": proven, "proven": proven, "libraryPath": lbr, "deviceset": want,            "artifacts": artifacts, "missing": missing,+           "stepsSkipped": sorted(_skip), "sharedPackageProof": _shared_with,            "evidence": evidence, "imagesCaptured": len(captured), "imagesRequired": 4}     if thumb_unverified:         out["thumbnailUnverified"] = thumb_unverified@@ -12993,7 +13005,7 @@ def _handle_create_library(fusion_info: dict, args: dict) -> dict:                 # Total is parts x 4, not a literal 4: on the first real 2-part run this                 # read "captured symbol (5 of 4)" - a narration line the front end renders                 # under the progress bar, reading nonsense from part two onward.-                _tot = 4 * max(1, int(state.get("partsToProve") or state.get("partsTotal") or 1))+                _tot = int(state.get("framesExpected") or 0) or 4 * max(1, int(state.get("partsToProve") or state.get("partsTotal") or 1))                 state["stageLabel"] = ("part %s of %s: captured %s (frame %d of %d)"                                        % (state.get("partIndex") or "?", state.get("partsToProve") or "?",                                           entry.get("step"), len(ev), _tot))@@ -13025,6 +13037,18 @@ def _handle_create_library(fusion_info: dict, args: dict) -> dict:             state["provedParts"] = []             _prove_results, _all_ok = [], True             _last_beat = [_tc.time()]+            # ONE FOOTPRINT + 3D PROOF PER PACKAGE (John, 2026-08-30). Devicesets that share a+            # package (symbol variants, value clones) get only their symbol and ganged frames;+            # the footprint and the cloud 3D design were proved with the first deviceset on+            # that package. Nine CH340G variants: 20 frames instead of 36, and the slow 3D+            # open happens once instead of nine times.+            try:+                _dev_pac = _library_artifact_names(target_lbr).get("dev_pac") or {}+            except Exception:+                _dev_pac = {}+            _pkg_proved_by = {}+            _uniq_pkgs = len({tuple(v) for v in _dev_pac.values()}) or len(_targets)+            state["framesExpected"] = 4 * min(_uniq_pkgs, len(_targets)) + 2 * max(0, len(_targets) - _uniq_pkgs)             for _pi, _dev in enumerate(_targets, 1):                 # A RUN MUST NOT OUTLIVE A SLEEP (John, 2026-08-30: "it seems odd to me that                 # its the next morning and you're still running this job"). The chain lives@@ -13067,14 +13091,21 @@ def _handle_create_library(fusion_info: dict, args: dict) -> dict:                     entry["kind"] = "proof"     # vs "main"/"popup" from fusion_live_feed                     return _publish_frame(entry) +                _pk_key = tuple(_dev_pac.get(_dev) or [])+                _shared = _pkg_proved_by.get(_pk_key) if _pk_key else None                 _r = _handle_prove_library(fusion_info, {                     "libraryPath": target_lbr, "name": _dev,                     # the bind just told us exactly which f3d holds the geometry - hand it                     # on so the 3D frame never depends on re-parsing the lbr for it                     "f3dUrn": ((state.get("bind") or {}).get("wip_urn") or ""),+                    "_skipSteps": (["footprint", "package3d"] if _shared else []),+                    "_sharedWith": _shared,                     "_onFrame": _frame_for})                 _prove_results.append({"part": _dev, "proven": bool(_r.get("proven")),-                                       "error": _r.get("error")})+                                       "error": _r.get("error"),+                                       "sharedPackageProof": _shared})+                if _r.get("proven") and _pk_key and not _shared:+                    _pkg_proved_by[_pk_key] = _dev                 state["provedParts"] = _prove_results                 _all_ok = _all_ok and bool(_r.get("proven"))                 # Close what THIS deviceset's frames opened (the 3D frame's design, any