Explicitly define W3CCredential type

.changeset/tired-cycles-tease.md

@@ -0,0 +1,5 @@
+---
+"@agentcommercekit/vc": patch
+---
+
+Define explicit W3CCredential type to resolve TS compiler issues with inferred return types

packages/vc/src/types.ts

@@ -1,8 +1,28 @@
-import type {
-  JwtCredentialPayload,
-  Verifiable,
-  W3CCredential
-} from "did-jwt-vc"
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import type { JwtCredentialPayload, Verifiable } from "did-jwt-vc"
+
+type Extensible<T> = T & Record<string, any>
+
+export interface CredentialStatus {
+  id: string
+  type: string
+}
+
+type W3CCredential = {
+  "@context": string[]
+  id?: string
+  type: string[]
+  issuer: Extensible<{ id: string }>
+  issuanceDate: string
+  expirationDate?: string
+  credentialSubject: Extensible<{
+    id?: string
+  }>
+  credentialStatus?: CredentialStatus
+
+  evidence?: any
+  termsOfUse?: any
+}
 
 export type CredentialSubject = W3CCredential["credentialSubject"]
 export type { JwtCredentialPayload, Verifiable, W3CCredential }

packages/vc/src/verification/verify-parsed-credential.ts

@@ -32,6 +32,7 @@ function isVerifiable(
 ): credential is Verifiable<W3CCredential> {
   return (
     "proof" in credential &&
+    credential.proof !== null &&
     typeof credential.proof === "object" &&
     "type" in credential.proof
   )