0x67c024a0 relies on unsafe/foreign

0x67c024a0cb5f9d3903b7fec903b53e68

W3C Trace Context Level 2 propagation, with its rules proved as laws. Source: https://github.com/LucasGois1/bend-trace-context

Anonymous package: import it by hash.

Published

2026-09-29

Size

174,676 bytes, 9 files

License

MIT (LICENSE)

Declarations

0 laws (0 proved), 352 defs, 54 types

Import

import 0x67c024a0cb5f9d3903b7fec903b53e68/entropy.bend as Entropy
import 0x67c024a0cb5f9d3903b7fec903b53e68/generation.bend as Generation
import 0x67c024a0cb5f9d3903b7fec903b53e68/native_http.bend as Native_http
import 0x67c024a0cb5f9d3903b7fec903b53e68/src/digits.bend as Digits
import 0x67c024a0cb5f9d3903b7fec903b53e68/src/hex.bend as Hex
import 0x67c024a0cb5f9d3903b7fec903b53e68/trace_context.bend as Trace_context

Modules

• entropy.bend 1 declarations — W3C Trace Context Level 2 propagation, with its rules proved as laws. Source: https://github.com/LucasGois1/bend-trace-context
• generation.bend 9 declarations — Generation on the host's cryptographic source
• native_http.bend 18 declarations — bend-trace-context: native HTTP headers
• src/digits.bend 16 declarations — Digit sequences of a known length
• src/hex.bend 28 declarations — Hexadecimal digits
• trace_context.bend 454 declarations — bend-trace-context: the pure Trace Context core

Other files

• LICENSE 1,097 bytes
• entropy/native.c 954 bytes
• entropy/webcrypto.js 1,562 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: 1 def relies on unsafe or foreign code:
- read_u32

SOME PROOFS FAIL
Error: 9 defs rely on unsafe or foreign code:
- 0x67c024a0cb5f9d3903b7fec903b53e68/entropy.read_u32
- Source.host
- Context.root
- Context.child
- Context.restart
- Context.continue_or_start
- Context.send
- NativeHttp.continue_or_start
- NativeHttp.send