{"passport":{"unfragile":{"slug":"lib:pypi:z3-solver","name":"z3-solver","envelope":"library","verification":{"status":"static-verified","score":93,"checks":{"packageResolves":true,"remoteReachable":null,"repoAlive":true,"schemaExtracted":true,"licensePresent":null,"freshWithin180d":true,"installRuns":null},"verifiedAt":"2026-10-24T15:04:06.782Z","expiresAt":"2026-11-07T15:04:06.782Z"},"capabilities":{"source":"declared","count":5},"freshness":{"firstSeen":"2026-10-19T09:22:13.061Z","lastPublished":"2026-10-15T21:26:58.183927Z","lastVerified":"2026-10-24T15:04:06.782Z"},"official":false},"signature":"xrYZ6++Xw6N3my5hoUz+eX8wHWf8XR7ZzTu4/X0B3U5GZmPGjGgwLws5ON1BuRoCFDa4/InYzA6DuX5pMvtZAw==","signedAt":"2026-10-24T15:19:18.807Z","signedBy":"unfragile.ai","version":1},"_links":{"publicKey":"https://unfragile.ai/api/v1/trust-passport-public-key","spec":"https://unfragile.ai/trust"}}