0xc383c1b9 relies on unsafe/foreign
0xc383c1b95391d033028a0003fad190e5
no description
Anonymous package: import it by hash.
- Published
- 2026-09-18
- Size
- 20,411 bytes, 24 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 52 defs, 5 types
Import
import 0xc383c1b95391d033028a0003fad190e5/cachet.bend as Cachet import 0xc383c1b95391d033028a0003fad190e5/claims.bend as Claims import 0xc383c1b95391d033028a0003fad190e5/jwt.bend as Jwt import 0xc383c1b95391d033028a0003fad190e5/types.bend as Types
Modules
- cachet.bend 6 declarations
- claims.bend 23 declarations
- jwt.bend 21 declarations
- types.bend 12 declarations
Other files
- effs/base64url_decode.c 667 bytes
- effs/base64url_decode.js 126 bytes
- effs/base64url_encode.c 656 bytes
- effs/base64url_encode.js 126 bytes
- effs/claims_parse.c 899 bytes
- effs/claims_parse.js 110 bytes
- effs/hmac_sha256.c 1,024 bytes
- effs/hmac_sha256.js 129 bytes
- effs/pipe_field.c 824 bytes
- effs/pipe_field.js 118 bytes
- effs/sign_token.c 1,925 bytes
- effs/sign_token.js 116 bytes
- effs/token_parts.c 824 bytes
- effs/token_parts.js 110 bytes
- effs/u32_of_string.c 501 bytes
- effs/u32_of_string.js 115 bytes
- effs/unix_now.c 273 bytes
- effs/unix_now.js 104 bytes
- effs/verify_token.c 2,360 bytes
- effs/verify_token.js 116 bytes
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| cachet.bend | relies on unsafe/foreign | 6 defs rely on unsafe or foreign code defs: Codec.base64url_encode, Codec.base64url_decode, Crypto.hmac_sha256, Clock.unix_now, Pipe.field, Codec.u32_of_stringoutputSOME PROOFS FAIL Error: 6 defs rely on unsafe or foreign code: - Codec.base64url_encode - Codec.base64url_decode - Crypto.hmac_sha256 - Clock.unix_now - Pipe.field - Codec.u32_of_string | 0.8 s |
| claims.bend | relies on unsafe/foreign | 9 defs rely on unsafe or foreign code defs: 0xc383c1b95391d033028a0003fad190e5/cachet.Codec.base64url_encode, 0xc383c1b95391d033028a0003fad190e5/cachet.Codec.base64url_decode, 0xc383c1b95391d033028a0003fad190e5/cachet.Crypto.hmac_sha256, 0xc383c1b95391d033028a0003fad190e5/cachet.Clock.unix_now, 0xc383c1b95391d033028a0003fad190e5/cachet.Pipe.field, 0xc383c1b95391d033028a0003fad190e5/cachet.Codec.u32_of_string, Parse.pipe, Parse.raw, Parse.jsonoutputSOME PROOFS FAIL Error: 9 defs rely on unsafe or foreign code: - 0xc383c1b95391d033028a0003fad190e5/cachet.Codec.base64url_encode - 0xc383c1b95391d033028a0003fad190e5/cachet.Codec.base64url_decode - 0xc383c1b95391d033028a0003fad190e5/cachet.Crypto.hmac_sha256 - 0xc383c1b95391d033028a0003fad190e5/cachet.Clock.unix_now - 0xc383c1b95391d033028a0003fad190e5/cachet.Pipe.field - 0xc383c1b95391d033028a0003fad190e5/cachet.Codec.u32_of_string - Parse.pipe - Parse.raw - Parse.json | 0.9 s |
| jwt.bend | relies on unsafe/foreign | 17 defs rely on unsafe or foreign code defs: 0xc383c1b95391d033028a0003fad190e5/cachet.Codec.base64url_encode, 0xc383c1b95391d033028a0003fad190e5/cachet.Codec.base64url_decode, 0xc383c1b95391d033028a0003fad190e5/cachet.Crypto.hmac_sha256, 0xc383c1b95391d033028a0003fad190e5/cachet.Clock.unix_now, 0xc383c1b95391d033028a0003fad190e5/cachet.Pipe.field, 0xc383c1b95391d033028a0003fad190e5/cachet.Codec.u32_of_string, 0xc383c1b95391d033028a0003fad190e5/claims.Parse.pipe, 0xc383c1b95391d033028a0003fad190e5/claims.Parse.raw, 0xc383c1b95391d033028a0003fad190e5/claims.Parse.json, JWT.token_parts, JWT.parts_from_packed, JWT.verify_sig, JWT.verify_signed, Verify.payload, Decode.claims, Sign.token_raw, Sign.tokenoutputSOME PROOFS FAIL Error: 17 defs rely on unsafe or foreign code: - 0xc383c1b95391d033028a0003fad190e5/cachet.Codec.base64url_encode - 0xc383c1b95391d033028a0003fad190e5/cachet.Codec.base64url_decode - 0xc383c1b95391d033028a0003fad190e5/cachet.Crypto.hmac_sha256 - 0xc383c1b95391d033028a0003fad190e5/cachet.Clock.unix_now - 0xc383c1b95391d033028a0003fad190e5/cachet.Pipe.field - 0xc383c1b95391d033028a0003fad190e5/cachet.Codec.u32_of_string - 0xc383c1b95391d033028a0003fad190e5/claims.Parse.pipe - 0xc383c1b95391d033028a0003fad190e5/claims.Parse.raw - 0xc383c1b95391d033028a0003fad190e5/claims.Parse.json - JWT.token_parts - JWT.parts_from_packed - JWT.verify_sig - JWT.verify_signed - Verify.payload - Decode.claims - Sign.token_raw - Sign.token | 0.9 s |
| types.bend | checks | ALL PROOFS CHECK | 0.7 s |