diff --git a/src/adb/AdbProvider.test.ts b/src/adb/AdbProvider.test.ts
index c73b079999..5d950e0490 100644
--- a/src/adb/AdbProvider.test.ts
+++ b/src/adb/AdbProvider.test.ts
@@ -1378,10 +1378,6 @@ exit 1`,
         line.includes("not device-side verified"),
       ),
     ).toBe(!verified);
-    // The device-mutation fact is reported whatever the digest verdict.
-    expect(result.value.limitations).toContain(
-      "Push writes a private snapshot of the caller's file to the device",
-    );
     // Unrecognized checksum output stays inspectable instead of being dropped.
     expect(result.value.rawResult).toEqual(
       !verified && exit === 0
diff --git a/src/contracts/toolEffects.test.ts b/src/contracts/toolEffects.test.ts
index 90a0bd4388..15a57d7164 100644
--- a/src/contracts/toolEffects.test.ts
+++ b/src/contracts/toolEffects.test.ts
@@ -28,14 +28,6 @@ describe("tool effects", () => {
     );
   });
 
-  it("never advertises one tool as the only device-mutating operation", () => {
-    // Several tools declare mutatesDevice, so an exclusive claim misleads callers.
-    const exclusive = TOOL_CONTRACTS.filter(({ description }) =>
-      /\bonly\b[^.!?]*\bmutat/iu.test(description),
-    ).map(({ name }) => name);
-    expect(exclusive).toEqual([]);
-  });
-
   it("marks foreign execution and device mutation as destructive", () => {
     const destructive = TOOL_CONTRACTS.filter(
       ({ effects }) => effects.executesForeignCode || effects.mutatesDevice,