chore: remove type compatibility verification section

Remove the unused type check assertions at the end of types.ts.
These were compile-time only checks that didn't provide runtime value
and added maintenance burden.

The Infer<typeof> type exports remain as they're tied to local schemas
which have SDK-specific enhancements (AssertObjectSchema, z.preprocess, etc).

Types.ts: 1166 lines (down from 1209)

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>

Author: ochafik

src/types.ts

@@ -1164,46 +1164,3 @@ export type ServerRequest = Infer<typeof ServerRequestSchema>;
 export type ServerNotification = Infer<typeof ServerNotificationSchema>;
 export type ServerResult = Infer<typeof ServerResultSchema>;
 
-// =============================================================================
-// Type Compatibility Verification with Generated Types
-// =============================================================================
-// This section verifies that manually-defined types match generated types.
-// If there's a mismatch, TypeScript will error here, catching drift early.
-// Once verified, these can be progressively replaced with re-exports.
-
-import type * as Generated from './generated/sdk.types.js';
-
-// Helper types for bidirectional assignability checks
-type AssertAssignable<T, U> = T extends U ? true : false;
-type AssertEqual<T, U> = [T] extends [U] ? ([U] extends [T] ? true : false) : false;
-
-// Verify primitive types
-type _CheckProgressToken = AssertEqual<ProgressToken, Generated.ProgressToken>;
-type _CheckCursor = AssertEqual<Cursor, Generated.Cursor>;
-type _CheckRequestId = AssertEqual<RequestId, Generated.RequestId>;
-
-// Verify core message types
-type _CheckRequest = AssertAssignable<Request, Generated.Request>;
-type _CheckNotification = AssertAssignable<Notification, Generated.Notification>;
-type _CheckResult = AssertAssignable<Result, Generated.Result>;
-
-// Verify JSON-RPC types
-type _CheckJSONRPCRequest = AssertEqual<JSONRPCRequest, Generated.JSONRPCRequest>;
-type _CheckJSONRPCNotification = AssertEqual<JSONRPCNotification, Generated.JSONRPCNotification>;
-type _CheckJSONRPCResponse = AssertEqual<JSONRPCResponse, Generated.JSONRPCResponse>;
-
-// Verify commonly used types
-type _CheckTool = AssertAssignable<Tool, Generated.Tool>;
-type _CheckResource = AssertAssignable<Resource, Generated.Resource>;
-type _CheckPrompt = AssertAssignable<Prompt, Generated.Prompt>;
-type _CheckImplementation = AssertEqual<Implementation, Generated.Implementation>;
-
-// Verify content types
-type _CheckTextContent = AssertEqual<TextContent, Generated.TextContent>;
-type _CheckImageContent = AssertEqual<ImageContent, Generated.ImageContent>;
-type _CheckAudioContent = AssertEqual<AudioContent, Generated.AudioContent>;
-
-// Verify request/notification types (these should extend Request/Notification, not JSONRPC*)
-type _CheckInitializeRequest = AssertAssignable<InitializeRequest, Generated.InitializeRequest>;
-type _CheckCallToolRequest = AssertAssignable<CallToolRequest, Generated.CallToolRequest>;
-type _CheckCancelledNotification = AssertAssignable<CancelledNotification, Generated.CancelledNotification>;