0x665ae73e relies on unsafe/foreign

0x665ae73e3f32ce98f72c7cf6844cfd3f

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-10-01

Size

207,641 bytes, 9 files

License

MIT (LICENSE)

Declarations

0 laws (0 proved), 412 defs, 60 types

Import

import 0x665ae73e3f32ce98f72c7cf6844cfd3f/entropy.bend as Entropy
import 0x665ae73e3f32ce98f72c7cf6844cfd3f/generation.bend as Generation
import 0x665ae73e3f32ce98f72c7cf6844cfd3f/native_http.bend as Native_http
import 0x665ae73e3f32ce98f72c7cf6844cfd3f/src/digits.bend as Digits
import 0x665ae73e3f32ce98f72c7cf6844cfd3f/src/hex.bend as Hex
import 0x665ae73e3f32ce98f72c7cf6844cfd3f/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 11 declarations — Generation on the host's cryptographic source
• native_http.bend 18 declarations — bend-trace-context: native HTTP headers
• src/digits.bend 19 declarations — Digit sequences of a known length
• src/hex.bend 28 declarations — Hexadecimal digits
• trace_context.bend 526 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: 11 defs rely on unsafe or foreign code:
- 0x665ae73e3f32ce98f72c7cf6844cfd3f/entropy.read_u32
- Source.host
- TraceId.generate
- SpanId.generate
- Context.root
- Context.child
- Context.restart
- Context.continue_or_start
- Context.send
- NativeHttp.continue_or_start
- NativeHttp.send