~/bend-docscommunity

0x18480396 relies on unsafe/foreign

0x184803968dae9580005e472b803ca2f1

no description

Anonymous package: import it by hash.

Published
2026-09-18
Size
22,213 bytes, 25 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 62 defs, 5 types

Import

import 0x184803968dae9580005e472b803ca2f1/auth.bend as Auth
import 0x184803968dae9580005e472b803ca2f1/cachet.bend as Cachet
import 0x184803968dae9580005e472b803ca2f1/claims.bend as Claims
import 0x184803968dae9580005e472b803ca2f1/jwt.bend as Jwt
import 0x184803968dae9580005e472b803ca2f1/types.bend as Types

Modules

Other files

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
auth.bendrelies on unsafe/foreign 18 defs rely on unsafe or foreign code
defs: 0x184803968dae9580005e472b803ca2f1/cachet.Codec.base64url_encode, 0x184803968dae9580005e472b803ca2f1/cachet.Codec.base64url_decode, 0x184803968dae9580005e472b803ca2f1/cachet.Crypto.hmac_sha256, 0x184803968dae9580005e472b803ca2f1/cachet.Clock.unix_now, 0x184803968dae9580005e472b803ca2f1/cachet.Pipe.field, 0x184803968dae9580005e472b803ca2f1/cachet.Codec.u32_of_string, 0x184803968dae9580005e472b803ca2f1/claims.Parse.pipe, 0x184803968dae9580005e472b803ca2f1/claims.Parse.raw, 0x184803968dae9580005e472b803ca2f1/claims.Parse.json, 0x184803968dae9580005e472b803ca2f1/jwt.JWT.token_parts, 0x184803968dae9580005e472b803ca2f1/jwt.JWT.parts_from_packed, 0x184803968dae9580005e472b803ca2f1/jwt.JWT.verify_sig, 0x184803968dae9580005e472b803ca2f1/jwt.JWT.verify_signed, 0x184803968dae9580005e472b803ca2f1/jwt.Verify.payload, 0x184803968dae9580005e472b803ca2f1/jwt.Decode.claims, 0x184803968dae9580005e472b803ca2f1/jwt.Sign.token_raw, 0x184803968dae9580005e472b803ca2f1/jwt.Sign.token, Guard.authorize
output
SOME PROOFS FAIL
Error: 18 defs rely on unsafe or foreign code:
- 0x184803968dae9580005e472b803ca2f1/cachet.Codec.base64url_encode
- 0x184803968dae9580005e472b803ca2f1/cachet.Codec.base64url_decode
- 0x184803968dae9580005e472b803ca2f1/cachet.Crypto.hmac_sha256
- 0x184803968dae9580005e472b803ca2f1/cachet.Clock.unix_now
- 0x184803968dae9580005e472b803ca2f1/cachet.Pipe.field
- 0x184803968dae9580005e472b803ca2f1/cachet.Codec.u32_of_string
- 0x184803968dae9580005e472b803ca2f1/claims.Parse.pipe
- 0x184803968dae9580005e472b803ca2f1/claims.Parse.raw
- 0x184803968dae9580005e472b803ca2f1/claims.Parse.json
- 0x184803968dae9580005e472b803ca2f1/jwt.JWT.token_parts
- 0x184803968dae9580005e472b803ca2f1/jwt.JWT.parts_from_packed
- 0x184803968dae9580005e472b803ca2f1/jwt.JWT.verify_sig
- 0x184803968dae9580005e472b803ca2f1/jwt.JWT.verify_signed
- 0x184803968dae9580005e472b803ca2f1/jwt.Verify.payload
- 0x184803968dae9580005e472b803ca2f1/jwt.Decode.claims
- 0x184803968dae9580005e472b803ca2f1/jwt.Sign.token_raw
- 0x184803968dae9580005e472b803ca2f1/jwt.Sign.token
- Guard.authorize
0.8 s
cachet.bendrelies 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_string
output
SOME 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.9 s
claims.bendrelies on unsafe/foreign 9 defs rely on unsafe or foreign code
defs: 0x184803968dae9580005e472b803ca2f1/cachet.Codec.base64url_encode, 0x184803968dae9580005e472b803ca2f1/cachet.Codec.base64url_decode, 0x184803968dae9580005e472b803ca2f1/cachet.Crypto.hmac_sha256, 0x184803968dae9580005e472b803ca2f1/cachet.Clock.unix_now, 0x184803968dae9580005e472b803ca2f1/cachet.Pipe.field, 0x184803968dae9580005e472b803ca2f1/cachet.Codec.u32_of_string, Parse.pipe, Parse.raw, Parse.json
output
SOME PROOFS FAIL
Error: 9 defs rely on unsafe or foreign code:
- 0x184803968dae9580005e472b803ca2f1/cachet.Codec.base64url_encode
- 0x184803968dae9580005e472b803ca2f1/cachet.Codec.base64url_decode
- 0x184803968dae9580005e472b803ca2f1/cachet.Crypto.hmac_sha256
- 0x184803968dae9580005e472b803ca2f1/cachet.Clock.unix_now
- 0x184803968dae9580005e472b803ca2f1/cachet.Pipe.field
- 0x184803968dae9580005e472b803ca2f1/cachet.Codec.u32_of_string
- Parse.pipe
- Parse.raw
- Parse.json
0.8 s
jwt.bendrelies on unsafe/foreign 17 defs rely on unsafe or foreign code
defs: 0x184803968dae9580005e472b803ca2f1/cachet.Codec.base64url_encode, 0x184803968dae9580005e472b803ca2f1/cachet.Codec.base64url_decode, 0x184803968dae9580005e472b803ca2f1/cachet.Crypto.hmac_sha256, 0x184803968dae9580005e472b803ca2f1/cachet.Clock.unix_now, 0x184803968dae9580005e472b803ca2f1/cachet.Pipe.field, 0x184803968dae9580005e472b803ca2f1/cachet.Codec.u32_of_string, 0x184803968dae9580005e472b803ca2f1/claims.Parse.pipe, 0x184803968dae9580005e472b803ca2f1/claims.Parse.raw, 0x184803968dae9580005e472b803ca2f1/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
output
SOME PROOFS FAIL
Error: 17 defs rely on unsafe or foreign code:
- 0x184803968dae9580005e472b803ca2f1/cachet.Codec.base64url_encode
- 0x184803968dae9580005e472b803ca2f1/cachet.Codec.base64url_decode
- 0x184803968dae9580005e472b803ca2f1/cachet.Crypto.hmac_sha256
- 0x184803968dae9580005e472b803ca2f1/cachet.Clock.unix_now
- 0x184803968dae9580005e472b803ca2f1/cachet.Pipe.field
- 0x184803968dae9580005e472b803ca2f1/cachet.Codec.u32_of_string
- 0x184803968dae9580005e472b803ca2f1/claims.Parse.pipe
- 0x184803968dae9580005e472b803ca2f1/claims.Parse.raw
- 0x184803968dae9580005e472b803ca2f1/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.bendchecks ALL PROOFS CHECK0.7 s