github.com/golang-jwt/jwt/v5 — module validation summary
Every package of this module whose Go tests go2cs converted and validated, summed from the proof pages beside this file. Generated by the converter; regenerate rather than edit.
Both sides of every reading were built with -tags purego,math_big_pure_go,safe.
| Package | Matched | Disclosed | Input digest | Proof |
|---|---|---|---|---|
github.com/golang-jwt/jwt/v5 |
186 | 0 | sha256-9647af3692e22d534f884f8a59f731746d35bc4c31966ad54c405af23b24eb78 |
index.md |
github.com/golang-jwt/jwt/v5/request |
3 | 0 | sha256-4a1b7eb540934d7a448b0026aa284ce46c76fb8391dfd946258d9647b2c0f8cb |
request.md |
Total: 189 matched · 0 disclosed across 2 package(s).
Excluded declarations
23 declaration(s) were excluded from both sides of the comparison and are not counted above; each package’s proof page gives the reason for its own.
github.com/golang-jwt/jwt/v5: BenchmarkECDSAParsing (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: BenchmarkECDSASigning (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: BenchmarkHS256Signing (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: BenchmarkHS384Signing (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: BenchmarkHS512Signing (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: BenchmarkParseUnverified (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: BenchmarkRS256Signing (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: BenchmarkRS384Signing (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: BenchmarkRS512Signing (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: BenchmarkRSAParsing (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: BenchmarkToken_SigningString (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: ExampleNewWithClaims_customClaimsType (example): example execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: ExampleNewWithClaims_hmac (example): example execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: ExampleNewWithClaims_registeredClaims (example): example execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: ExampleParseWithClaims_customClaimsType (example): example execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: ExampleParseWithClaims_customValidation (example): example execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: ExampleParseWithClaims_validationOptions (example): example execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: ExampleParse_errorChecking (example): example execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: ExampleParse_hmac (example): example execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: Example_getTokenViaHTTP (example): example execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5: Example_useTokenViaHTTP (example): example execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5/request: ExampleArgumentExtractor (example): example execution is deferred to Phase 4Dgithub.com/golang-jwt/jwt/v5/request: ExampleHeaderExtractor (example): example execution is deferred to Phase 4D