0x63874a47 fails

0x63874a47d15b808bded161f1ea9ec48c

DNS A-record lookup over UDP.

Anonymous package: import it by hash.

Published

2026-09-23

Size

40,495 bytes, 4 files

License

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

Declarations

0 laws (0 proved), 71 defs, 3 types

Import

import 0x63874a47d15b808bded161f1ea9ec48c/dns/dns.bend as Dns
import 0x63874a47d15b808bded161f1ea9ec48c/wire.bend as Wire

Modules

• dns/dns.bend 71 declarations — DNS A-record lookup over UDP.
• wire.bend 9 declarations — Byte-exact TCP, UDP, and TLS sockets.

Other files

• effs/wire.c 16,012 bytes
• effs/wire.js 10,100 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

Error:
- expected : String
- observed : U32
Context:
- ns    : String
- id    : U32
- bytes : String
Location: resolve.q
388 |       do IO<Maybe<&2, String>>:
389>|         u : Result<&1, &1, U32 & String, Socket> <- UDP.bind(0)
    |                                                              ^
390 |         resolve.sock(ns, id, bytes, u)

SOME PROOFS FAIL
Error: 9 defs rely on unsafe or foreign code:
- connect
- recv
- send
- recv_from
- send_to
- tls.connect
- tls.send
- tls.recv
- tls.close