devagent-physical-engine 1.8.5__tar.gz → 1.8.8__tar.gz

{devagent_physical_engine-1.8.5/src/devagent_physical_engine.egg-info → devagent_physical_engine-1.8.8}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: devagent-physical-engine
-Version: 1.8.5
+Version: 1.8.8
 Summary: Verification-first robotics commissioning runtime with exact-Twin evidence, qualified UR5e Gazebo/MoveIt report execution, truthful robot support tiers, selective verification, replay, regression, and FAT reporting.
 Author: Tom Ha
 License: All Rights Reserved
@@ -76,7 +76,7 @@ regression + FAT report + Evidence Viewer
 Python 3.11+ is required.
 
 ```bash
-python -m pip install --upgrade devagent-physical-engine==1.8.5
+python -m pip install --upgrade devagent-physical-engine==1.8.8
 ```
 
 Verify the installed package:
@@ -88,7 +88,7 @@ python -c "import devagent_physical_engine as d; print(d.__version__)"
 Expected:
 
 ```text
-1.8.5
+1.8.8
 ```
 
 Run the normal customer workflow:
@@ -426,6 +426,28 @@ MoveIt round-trips attached-object rotations through Eigen. Unit quaternions `q`
 
 Verification remains strict for attachment identity, link, geometry contract, position, and physical rotation. This is not a tolerance-based PASS and does not change target geometry, TCP, collision policy, planner types, motion speeds, controller binding, Twin lineage, site qualification, or real-execution authority. If a hash mismatch remains, DevAgent records expected and observed hashes plus canonical expected/object/primitive/effective attachment poses for target diagnosis.
 
+## v1.8.6 canonical semantic workpiece lifecycle
+
+A clean v1.8.5 UR5e target-stack run again reached all five industrial preflight groups and executed `approach_pick`, while GRASP still failed with `workpiece_attachment_hash_mismatch`. That target evidence proved raw SHA equality of floating pose representations was too brittle to remain physical PASS authority.
+
+v1.8.6 uses MoveIt's canonical existing-object lifecycle. Before GRASP, DevAgent reads back and semantically verifies the exact world workpiece. Attach then sends an ID-only `AttachedCollisionObject.ADD`; MoveIt transfers the already-verified world object's geometry and pose into the AttachedBody on the verified tool link. Release sends an ID-only attached-object REMOVE; MoveIt restores that same AttachedBody to the world at its current global pose.
+
+The lifecycle remains fail-closed. Attach requires exact object identity, exact attached link, exact touch-link set, exact geometry kind, dimensions within `1e-9 m`, position error no greater than `0.1 mm`, and orientation error no greater than `1e-4 rad`. Detach similarly verifies restored world identity, geometry, destination frame, position, and orientation. Representation hashes remain recorded for audit diagnostics but do not override the explicit physical-semantic checks.
+
+Every lifecycle transition persists a deterministic receipt containing probe stdout/stderr plus expected/observed semantic diagnostics. Any failure includes the receipt path so the next target-stack blocker can be diagnosed directly instead of being collapsed to a generic lifecycle code.
+
+This release does not disable collision checking, change the verified tool/workpiece geometry, modify motion targets, planner types or speeds, detach early, grant site qualification, or expand real-execution authority.
+
+## v1.8.8 canonical world integrity gate before GRASP
+
+v1.8.8 packages the latest workpiece-lifecycle diagnostics as an unambiguous release version so target acceptance no longer runs newer code while reporting `1.8.6`.
+
+Before ATTACH, DevAgent now reasserts the exact canonical Twin workpiece into the live MoveIt world, synchronously reads the object back, normalizes ROS `uint8/octet` primitive representations safely, and requires exact identity/frame/geometry plus bounded pose agreement before attachment is attempted. Primitive type `0` remains invalid; DevAgent does not infer BOX/CYLINDER from dimensions or weaken collision checking.
+
+The lifecycle receipt records the pre/post primitive type representation, canonical-world reassert result, semantic verification, and the exact inner failure code. Existing target poses, conservative Pilz motion limits, tool/workpiece geometry, site-qualification boundaries, and `real_execution_allowed = false` remain unchanged.
+
+Hosted CI qualifies the software/build/install contract. The ROS/Gazebo/MoveIt workstation still requires a fresh target acceptance run of the released 1.8.8 artifact before this specific workpiece path can be called physically qualified.
+
 ## Qualified visual-execution scope
 
 Measured report-test execution remains intentionally narrow:
@@ -626,9 +648,9 @@ devagent-physical-ai optional provider-backed engineering front end
 
 # Project status
 
-**v1.8.5 — Production/Stable software workflow**
+**v1.8.8 — Production/Stable software workflow**
 
-v1.8.5 retains v1.8.4 PyPI metadata compliance, v1.8.3 synchronous service-safe workpiece attachment, v1.8.2 scoped destination-support place contact, v1.8.1 direct UR5e controller/action binding, truthful robot support tiers, and the ABB IRB1200 experimental visual runtime. It makes strict workpiece attachment verification invariant to the mathematically equivalent quaternion representations `q` and `-q` and persists exact pose/hash diagnostics for any remaining mismatch.
+v1.8.8 retains the v1.8.6 semantic lifecycle and the target-candidate improvements layered after it, while making the package/version identity explicit. The current GRASP path adds ROS-octet-safe diagnostics and a synchronous canonical-world reassert/readback gate before attachment. This release is intended to make the next workstation qualification run reproducible and attributable to one exact installable artifact.
 
 Production-oriented software capabilities include:
 
@@ -643,8 +665,8 @@ exact Requirement → Mapping → Verification Plan → Case provenance
 truthful robot support tiers
 qualified UR5e report-test visual execution contract
 direct UR5e controller-manager/action readiness binding
-synchronous verified workpiece attach/detach lifecycle
-quaternion-invariant strict attachment hashing
+canonical MoveIt workpiece lifecycle with world-integrity gate
+semantic workpiece pose/geometry verification with persistent diagnostics
 scoped destination-support place contact
 experimental exact ABB IRB1200 Gazebo/MoveIt/RViz preview
 industrial Pilz PTP / LIN planning

{devagent_physical_engine-1.8.5 → devagent_physical_engine-1.8.8}/README.md

@@ -35,7 +35,7 @@ regression + FAT report + Evidence Viewer
 Python 3.11+ is required.
 
 ```bash
-python -m pip install --upgrade devagent-physical-engine==1.8.5
+python -m pip install --upgrade devagent-physical-engine==1.8.8
 ```
 
 Verify the installed package:
@@ -47,7 +47,7 @@ python -c "import devagent_physical_engine as d; print(d.__version__)"
 Expected:
 
 ```text
-1.8.5
+1.8.8
 ```
 
 Run the normal customer workflow:
@@ -385,6 +385,28 @@ MoveIt round-trips attached-object rotations through Eigen. Unit quaternions `q`
 
 Verification remains strict for attachment identity, link, geometry contract, position, and physical rotation. This is not a tolerance-based PASS and does not change target geometry, TCP, collision policy, planner types, motion speeds, controller binding, Twin lineage, site qualification, or real-execution authority. If a hash mismatch remains, DevAgent records expected and observed hashes plus canonical expected/object/primitive/effective attachment poses for target diagnosis.
 
+## v1.8.6 canonical semantic workpiece lifecycle
+
+A clean v1.8.5 UR5e target-stack run again reached all five industrial preflight groups and executed `approach_pick`, while GRASP still failed with `workpiece_attachment_hash_mismatch`. That target evidence proved raw SHA equality of floating pose representations was too brittle to remain physical PASS authority.
+
+v1.8.6 uses MoveIt's canonical existing-object lifecycle. Before GRASP, DevAgent reads back and semantically verifies the exact world workpiece. Attach then sends an ID-only `AttachedCollisionObject.ADD`; MoveIt transfers the already-verified world object's geometry and pose into the AttachedBody on the verified tool link. Release sends an ID-only attached-object REMOVE; MoveIt restores that same AttachedBody to the world at its current global pose.
+
+The lifecycle remains fail-closed. Attach requires exact object identity, exact attached link, exact touch-link set, exact geometry kind, dimensions within `1e-9 m`, position error no greater than `0.1 mm`, and orientation error no greater than `1e-4 rad`. Detach similarly verifies restored world identity, geometry, destination frame, position, and orientation. Representation hashes remain recorded for audit diagnostics but do not override the explicit physical-semantic checks.
+
+Every lifecycle transition persists a deterministic receipt containing probe stdout/stderr plus expected/observed semantic diagnostics. Any failure includes the receipt path so the next target-stack blocker can be diagnosed directly instead of being collapsed to a generic lifecycle code.
+
+This release does not disable collision checking, change the verified tool/workpiece geometry, modify motion targets, planner types or speeds, detach early, grant site qualification, or expand real-execution authority.
+
+## v1.8.8 canonical world integrity gate before GRASP
+
+v1.8.8 packages the latest workpiece-lifecycle diagnostics as an unambiguous release version so target acceptance no longer runs newer code while reporting `1.8.6`.
+
+Before ATTACH, DevAgent now reasserts the exact canonical Twin workpiece into the live MoveIt world, synchronously reads the object back, normalizes ROS `uint8/octet` primitive representations safely, and requires exact identity/frame/geometry plus bounded pose agreement before attachment is attempted. Primitive type `0` remains invalid; DevAgent does not infer BOX/CYLINDER from dimensions or weaken collision checking.
+
+The lifecycle receipt records the pre/post primitive type representation, canonical-world reassert result, semantic verification, and the exact inner failure code. Existing target poses, conservative Pilz motion limits, tool/workpiece geometry, site-qualification boundaries, and `real_execution_allowed = false` remain unchanged.
+
+Hosted CI qualifies the software/build/install contract. The ROS/Gazebo/MoveIt workstation still requires a fresh target acceptance run of the released 1.8.8 artifact before this specific workpiece path can be called physically qualified.
+
 ## Qualified visual-execution scope
 
 Measured report-test execution remains intentionally narrow:
@@ -585,9 +607,9 @@ devagent-physical-ai optional provider-backed engineering front end
 
 # Project status
 
-**v1.8.5 — Production/Stable software workflow**
+**v1.8.8 — Production/Stable software workflow**
 
-v1.8.5 retains v1.8.4 PyPI metadata compliance, v1.8.3 synchronous service-safe workpiece attachment, v1.8.2 scoped destination-support place contact, v1.8.1 direct UR5e controller/action binding, truthful robot support tiers, and the ABB IRB1200 experimental visual runtime. It makes strict workpiece attachment verification invariant to the mathematically equivalent quaternion representations `q` and `-q` and persists exact pose/hash diagnostics for any remaining mismatch.
+v1.8.8 retains the v1.8.6 semantic lifecycle and the target-candidate improvements layered after it, while making the package/version identity explicit. The current GRASP path adds ROS-octet-safe diagnostics and a synchronous canonical-world reassert/readback gate before attachment. This release is intended to make the next workstation qualification run reproducible and attributable to one exact installable artifact.
 
 Production-oriented software capabilities include:
 
@@ -602,8 +624,8 @@ exact Requirement → Mapping → Verification Plan → Case provenance
 truthful robot support tiers
 qualified UR5e report-test visual execution contract
 direct UR5e controller-manager/action readiness binding
-synchronous verified workpiece attach/detach lifecycle
-quaternion-invariant strict attachment hashing
+canonical MoveIt workpiece lifecycle with world-integrity gate
+semantic workpiece pose/geometry verification with persistent diagnostics
 scoped destination-support place contact
 experimental exact ABB IRB1200 Gazebo/MoveIt/RViz preview
 industrial Pilz PTP / LIN planning
@@ -657,4 +679,4 @@ Original creator: Tom Ha
 Original project: https://github.com/tomha85/devagent-physical-engine  
 All rights reserved.
 
-See repository `LICENSE`, `NOTICE`, and `COPYRIGHT` for complete ownership and usage terms.
+See repository `LICENSE`, `NOTICE`, and `COPYRIGHT` for complete ownership and usage terms.

{devagent_physical_engine-1.8.5 → devagent_physical_engine-1.8.8}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "devagent-physical-engine"
-version = "1.8.5"
+version = "1.8.8"
 description = "Verification-first robotics commissioning runtime with exact-Twin evidence, qualified UR5e Gazebo/MoveIt report execution, truthful robot support tiers, selective verification, replay, regression, and FAT reporting."
 readme = { file = "README.md", content-type = "text/markdown" }
 requires-python = ">=3.11"
@@ -65,6 +65,9 @@ omit = [
   # simulator, move_group, TF, controller actions, or gz services.
   # Pure contracts/reference-workcell logic remains inside the hosted coverage gate.
   "src/devagent_physical_engine/ros2/*_probe.py",
+  "src/devagent_physical_engine/ros2/workpiece_scene_probe_v186.py",
+  "src/devagent_physical_engine/ros2/workpiece_scene_probe_v187.py",
+  "src/devagent_physical_engine/ros2/workpiece_scene_probe_v188.py",
   "src/devagent_physical_engine/ros2/qualification*.py",
   "src/devagent_physical_engine/ros2/joint_state_recorder.py",
   "src/devagent_physical_engine/ros2/ur5e_adapter.py",

{devagent_physical_engine-1.8.5 → devagent_physical_engine-1.8.8}/src/devagent_physical_engine/__init__.py

@@ -219,4 +219,4 @@ install_industrial_motion_v170()
 install_controller_runtime_hotfix_v181()
 install_one_command_runtime()
 
-__version__ = "1.8.5"
+__version__ = "1.8.8"

{devagent_physical_engine-1.8.5 → devagent_physical_engine-1.8.8}/src/devagent_physical_engine/ros2/workpiece_scene.py

@@ -38,6 +38,30 @@ class MoveItWorkpieceLifecycleBridge:
             raise SimulationPlatformError("workpiece_materialization_missing_or_ambiguous")
         return matches[0]
 
+    @staticmethod
+    def _persist_probe_receipt(
+        path: Path,
+        *,
+        operation: WorkpieceOperation,
+        result,
+        output: dict[str, object] | None,
+    ) -> None:
+        record = {
+            "operation": operation.value,
+            "command_ok": bool(result.ok),
+            "returncode": int(getattr(result, "returncode", 0 if result.ok else 1)),
+            "duration_s": float(getattr(result, "duration_s", 0.0)),
+            "stdout": str(getattr(result, "stdout", "")),
+            "stderr": str(getattr(result, "stderr", "")),
+            "probe_output": output,
+        }
+        temporary = path.with_suffix(path.suffix + ".tmp")
+        temporary.write_text(
+            json.dumps(record, indent=2, sort_keys=True, allow_nan=False) + "\n",
+            encoding="utf-8",
+        )
+        temporary.replace(path)
+
     def _transition(
         self,
         *,
@@ -63,7 +87,11 @@ class MoveItWorkpieceLifecycleBridge:
                 raise SimulationPlatformError("workpiece_world_pose_override_non_finite")
 
         workpiece = self._workpiece(materialization, workpiece_entity_id)
-        position = tuple(world_position_m) if world_position_m is not None else workpiece.position_m
+        position = (
+            tuple(world_position_m)
+            if world_position_m is not None
+            else workpiece.position_m
+        )
         quaternion = (
             tuple(world_quaternion_xyzw)
             if world_quaternion_xyzw is not None
@@ -86,7 +114,9 @@ class MoveItWorkpieceLifecycleBridge:
                 },
             },
         }
-        payload_path = self.work_dir / f"{materialization.fingerprint}.{operation.value}.{workpiece.backend_id}.json"
+        payload_path = self.work_dir / (
+            f"{materialization.fingerprint}.{operation.value}.{workpiece.backend_id}.json"
+        )
         temporary = payload_path.with_suffix(payload_path.suffix + ".tmp")
         temporary.write_text(
             json.dumps(payload, sort_keys=True, separators=(",", ":"), allow_nan=False),
@@ -94,7 +124,7 @@ class MoveItWorkpieceLifecycleBridge:
         )
         temporary.replace(payload_path)
 
-        helper = Path(__file__).with_name("workpiece_scene_probe.py").resolve()
+        helper = Path(__file__).with_name("workpiece_scene_probe_v188.py").resolve()
         result = self.runner.run(
             (
                 "python3",
@@ -107,14 +137,43 @@ class MoveItWorkpieceLifecycleBridge:
             ),
             timeout_s=self.timeout_s + 10.0,
         )
+        probe_receipt_path = payload_path.with_name(payload_path.name + ".receipt.json")
+        output: dict[str, object] | None = None
         try:
-            output = json.loads(result.stdout.strip().splitlines()[-1])
-        except (IndexError, json.JSONDecodeError) as exc:
-            raise SimulationPlatformError("workpiece_scene_probe_output_invalid") from exc
-        if not isinstance(output, dict):
-            raise SimulationPlatformError("workpiece_scene_probe_output_invalid")
+            decoded = json.loads(result.stdout.strip().splitlines()[-1])
+            if isinstance(decoded, dict):
+                output = decoded
+        except (IndexError, json.JSONDecodeError):
+            output = None
+        self._persist_probe_receipt(
+            probe_receipt_path,
+            operation=operation,
+            result=result,
+            output=output,
+        )
+        if output is None:
+            raise SimulationPlatformError(
+                f"workpiece_scene_probe_output_invalid:evidence={probe_receipt_path}"
+            )
 
         verified = bool(output.get("success")) and result.ok
+        semantic_key = (
+            "attachment_semantics"
+            if operation is WorkpieceOperation.ATTACH
+            else "world_semantics"
+        )
+        semantic = output.get(semantic_key)
+        semantic_payload = semantic if isinstance(semantic, dict) else {}
+        observed_world_present = (
+            bool(output["observed_world_present"])
+            if "observed_world_present" in output
+            else int(output.get("observed_world_count") or 0) > 0
+        )
+        observed_attached_link = (
+            str(output["observed_attached_link"])
+            if output.get("observed_attached_link") is not None
+            else None
+        )
         receipt = WorkpieceLifecycleReceipt(
             operation=operation,
             verified=verified,
@@ -133,20 +192,52 @@ class MoveItWorkpieceLifecycleBridge:
                 if operation is WorkpieceOperation.ATTACH
                 else WorkpieceState.WORLD
             ),
-            observed_world_present=bool(output.get("observed_world_present")),
-            observed_attached_link=(
-                str(output["observed_attached_link"])
-                if output.get("observed_attached_link") is not None
-                else None
-            ),
+            observed_world_present=observed_world_present,
+            observed_attached_link=observed_attached_link,
             attachment_hash=(
                 str(output["attachment_hash"])
                 if output.get("attachment_hash") is not None
                 else None
             ),
+            observed_attachment_hash=(
+                str(output["observed_attachment_hash"])
+                if output.get("observed_attachment_hash") is not None
+                else None
+            ),
+            representation_hash_match=(
+                bool(output["representation_hash_match"])
+                if output.get("representation_hash_match") is not None
+                else None
+            ),
+            semantic_verified=(
+                bool(semantic_payload.get("success")) if semantic_payload else None
+            ),
+            position_error_m=(
+                float(semantic_payload["position_error_m"])
+                if semantic_payload.get("position_error_m") is not None
+                else None
+            ),
+            orientation_error_rad=(
+                float(semantic_payload["orientation_error_rad"])
+                if semantic_payload.get("orientation_error_rad") is not None
+                else None
+            ),
+            position_tolerance_m=(
+                float(semantic_payload["position_tolerance_m"])
+                if semantic_payload.get("position_tolerance_m") is not None
+                else None
+            ),
+            orientation_tolerance_rad=(
+                float(semantic_payload["orientation_tolerance_rad"])
+                if semantic_payload.get("orientation_tolerance_rad") is not None
+                else None
+            ),
+            diagnostic_path=str(probe_receipt_path),
         )
         if not receipt.verified:
-            raise SimulationPlatformError(f"workpiece_lifecycle_failed:{receipt.code}")
+            raise SimulationPlatformError(
+                f"workpiece_lifecycle_failed:{receipt.code}:evidence={probe_receipt_path}"
+            )
         return receipt
 
     def attach(