diff --git a/package-lock.json b/package-lock.json
index 2f2fd5d..d287f1a 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -16,7 +16,7 @@
         "@noble/post-quantum": "0.6.1",
         "@types/node": "^26.1.1",
         "eslint": "^9.18.0",
-        "prettier": "^3.4.2",
+        "prettier": "^3.9.6",
         "tsx": "^4.23.1",
         "typescript": "^5.7.2",
         "typescript-eslint": "^8.20.0"
@@ -1888,9 +1888,9 @@
       }
     },
     "node_modules/prettier": {
-      "version": "3.8.3",
-      "resolved": "https://registry.npmjs.org/prettier/-/prettier-3.8.3.tgz",
-      "integrity": "sha512-7igPTM53cGHMW8xWuVTydi2KO233VFiTNyF5hLJqpilHfmn8C8gPf+PS7dUT64YcXFbiMGZxS9pCSxL/Dxm/Jw==",
+      "version": "3.9.6",
+      "resolved": "https://registry.npmjs.org/prettier/-/prettier-3.9.6.tgz",
+      "integrity": "sha512-OpN0zzVdiaiAhxpuuj5efpIS4sY9j7bY6uR5mnj5yPzGkdkjNKSJeUThPb60Jw29QuAZgA4o+/iB49kFiaBX6g==",
       "dev": true,
       "license": "MIT",
       "bin": {
@@ -2177,7 +2177,7 @@
     },
     "packages/mcp": {
       "name": "@quantakrypto/mcp",
-      "version": "0.5.1",
+      "version": "0.5.2",
       "license": "Apache-2.0",
       "dependencies": {
         "@quantakrypto/core": "0.5.0",
diff --git a/package.json b/package.json
index 2195b60..21ce018 100644
--- a/package.json
+++ b/package.json
@@ -47,7 +47,7 @@
     "@noble/post-quantum": "0.6.1",
     "@types/node": "^26.1.1",
     "eslint": "^9.18.0",
-    "prettier": "^3.4.2",
+    "prettier": "^3.9.6",
     "tsx": "^4.23.1",
     "typescript": "^5.7.2",
     "typescript-eslint": "^8.20.0"
diff --git a/packages/core/src/types.ts b/packages/core/src/types.ts
index d9fa9fd..fe8552c 100644
--- a/packages/core/src/types.ts
+++ b/packages/core/src/types.ts
@@ -25,16 +25,7 @@ export type FindingCategory =
 
 /** Classical asymmetric algorithm families that are not quantum-safe. */
 export type AlgorithmFamily =
-  | "RSA"
-  | "ECDH"
-  | "ECDSA"
-  | "EdDSA"
-  | "DH"
-  | "DSA"
-  | "X25519"
-  | "X448"
-  | "ECIES"
-  | "unknown";
+  "RSA" | "ECDH" | "ECDSA" | "EdDSA" | "DH" | "DSA" | "X25519" | "X448" | "ECIES" | "unknown";
 
 /** A precise location inside a scanned file. */
 export interface SourceLocation {
diff --git a/packages/sieve/src/categories/correctness.ts b/packages/sieve/src/categories/correctness.ts
index 1c7ab7a..1edfa75 100644
--- a/packages/sieve/src/categories/correctness.ts
+++ b/packages/sieve/src/categories/correctness.ts
@@ -23,9 +23,7 @@ import { toB64 } from "../protocol.js";
 
 /** Outcome of one round-trip iteration. */
 type Outcome =
-  | { kind: "ok" }
-  | { kind: "mismatch"; detail: string }
-  | { kind: "error"; detail: string };
+  { kind: "ok" } | { kind: "mismatch"; detail: string } | { kind: "error"; detail: string };
 
 export const correctness: Category = async (ctx): Promise<CategoryResult> => {
   const checks: Check[] = [];
diff --git a/packages/sieve/src/protocol.ts b/packages/sieve/src/protocol.ts
index 80698da..52e9db1 100644
--- a/packages/sieve/src/protocol.ts
+++ b/packages/sieve/src/protocol.ts
@@ -164,12 +164,7 @@ interface ErrorResult {
 
 /** Any response the SUT may emit. */
 export type Response =
-  | KeygenResult
-  | EncapsResult
-  | DecapsResult
-  | SignResult
-  | VerifyResult
-  | ErrorResult;
+  KeygenResult | EncapsResult | DecapsResult | SignResult | VerifyResult | ErrorResult;
 
 // ---------------------------------------------------------------------------
 // Serialization