0x22403a77 relies on unsafe/foreign

0x22403a77ee8da085cf4e1458c693703c

no description

Anonymous package: import it by hash.

Published

2026-09-18

Size

11,578 bytes, 17 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 31 defs, 5 types

Import

import 0x22403a77ee8da085cf4e1458c693703c/cachet.bend as Cachet
import 0x22403a77ee8da085cf4e1458c693703c/claims.bend as Claims
import 0x22403a77ee8da085cf4e1458c693703c/types.bend as Types

Modules

• cachet.bend 6 declarations
• claims.bend 23 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/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

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

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

SOME PROOFS FAIL
Error: 9 defs rely on unsafe or foreign code:
- 0x22403a77ee8da085cf4e1458c693703c/cachet.Codec.base64url_encode
- 0x22403a77ee8da085cf4e1458c693703c/cachet.Codec.base64url_decode
- 0x22403a77ee8da085cf4e1458c693703c/cachet.Crypto.hmac_sha256
- 0x22403a77ee8da085cf4e1458c693703c/cachet.Clock.unix_now
- 0x22403a77ee8da085cf4e1458c693703c/cachet.Pipe.field
- 0x22403a77ee8da085cf4e1458c693703c/cachet.Codec.u32_of_string
- Parse.pipe
- Parse.raw
- Parse.json