0xfd64aefe relies on unsafe/foreign

0xfd64aefef43747d3eaeea50c10a112e5

Addresses and mailboxes. An address is local@domain, a dot-atom (RFC

Anonymous package: import it by hash.

Other versions (1)

0x00e7af2d 2026-10-05 latest

Published: 2026-10-05
Size: 154,643 bytes, 13 files
License: MIT (LICENSE)
Declarations: 0 laws (0 proved), 406 defs, 27 types

Import

import 0xfd64aefef43747d3eaeea50c10a112e5/addr.bend as Addr
import 0xfd64aefef43747d3eaeea50c10a112e5/core.bend as Core
import 0xfd64aefef43747d3eaeea50c10a112e5/dkim.bend as Dkim
import 0xfd64aefef43747d3eaeea50c10a112e5/idna.bend as Idna
import 0xfd64aefef43747d3eaeea50c10a112e5/md5.bend as Md5
import 0xfd64aefef43747d3eaeea50c10a112e5/mime.bend as Mime
import 0xfd64aefef43747d3eaeea50c10a112e5/net.bend as Net
import 0xfd64aefef43747d3eaeea50c10a112e5/reply.bend as Reply
import 0xfd64aefef43747d3eaeea50c10a112e5/smtp.bend as Smtp
import 0xfd64aefef43747d3eaeea50c10a112e5/text.bend as Text

Modules

addr.bend 46 declarations — Addresses and mailboxes. An address is local@domain, a dot-atom (RFC
core.bend 159 declarations — The pure core of the SMTP client: the message, the options, the
dkim.bend 32 declarations — DKIM signing (RFC 6376; Ed25519 by RFC 8463): the header fields and
idna.bend 26 declarations — Punycode (RFC 3492) and A-labels (RFC 5890): a domain with non-ASCII
md5.bend 25 declarations — MD5 (RFC 1321) and HMAC-MD5 (RFC 2104), for AUTH CRAM-MD5 (RFC 2195)
mime.bend 68 declarations — MIME and message format: UTF-8 bytes, base64 (RFC 4648), the Date
net.bend 14 declarations — Net: connections that may turn TLS mid-stream (net.c, native only).
reply.bend 21 declarations — Replies: a server answers each command with one or more lines, each a
smtp.bend 72 declarations — SMTP client (RFC 5321), with STARTTLS (RFC 3207), implicit TLS (RFC
text.bend 12 declarations — Text: lines out of a byte stream, and header-safe strings. SMTP is a

Other files

LICENSE 1,070 bytes
net.c 35,882 bytes
net.js 1,651 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

File	Status	Checker says	Time
addr.bend	checks	ALL PROOFS CHECK	1.7 s
core.bend	checks	ALL PROOFS CHECK	1.7 s
dkim.bend	checks	ALL PROOFS CHECK	1.8 s
idna.bend	checks	ALL PROOFS CHECK	0.7 s
md5.bend	checks	ALL PROOFS CHECK	0.6 s
mime.bend	checks	ALL PROOFS CHECK	1.3 s
net.bend	relies on unsafe/foreign	14 defs rely on unsafe or foreign code defs: `Net.connect`, `Net.tls`, `Net.connect_via`, `Net.tls_accept`, `Net.send`, `Net.poll`, `Net.close`, `Net.time`, `Net.helo`, `Net.hostname`, `Net.debug`, `Dkim.sha256`, `Dkim.alg`, `Dkim.sign` output SOME PROOFS FAIL Error: 14 defs rely on unsafe or foreign code: - Net.connect - Net.tls - Net.connect_via - Net.tls_accept - Net.send - Net.poll - Net.close - Net.time - Net.helo - Net.hostname - Net.debug - Dkim.sha256 - Dkim.alg - Dkim.sign	0.5 s
reply.bend	checks	ALL PROOFS CHECK	1.0 s
smtp.bend	relies on unsafe/foreign	81 defs rely on unsafe or foreign code defs: `0xfd64aefef43747d3eaeea50c10a112e5/net.Net.connect`, `0xfd64aefef43747d3eaeea50c10a112e5/net.Net.tls`, `0xfd64aefef43747d3eaeea50c10a112e5/net.Net.connect_via`, `0xfd64aefef43747d3eaeea50c10a112e5/net.Net.tls_accept`, `0xfd64aefef43747d3eaeea50c10a112e5/net.Net.send`, `0xfd64aefef43747d3eaeea50c10a112e5/net.Net.poll`, `0xfd64aefef43747d3eaeea50c10a112e5/net.Net.close`, `0xfd64aefef43747d3eaeea50c10a112e5/net.Net.time`, `0xfd64aefef43747d3eaeea50c10a112e5/net.Net.helo`, `0xfd64aefef43747d3eaeea50c10a112e5/net.Net.hostname`, `0xfd64aefef43747d3eaeea50c10a112e5/net.Net.debug`, `0xfd64aefef43747d3eaeea50c10a112e5/net.Dkim.sha256`, `0xfd64aefef43747d3eaeea50c10a112e5/net.Dkim.alg`, `0xfd64aefef43747d3eaeea50c10a112e5/net.Dkim.sign`, `Smtp.drop`, `Smtp.bye.got`, `Smtp.bye.sent`, `Smtp.quit`, `Smtp.got`, `Smtp.read`, `Smtp.check`, `Smtp.expect`, `Smtp.sent`, `Smtp.send`, `Smtp.talk`, `Smtp.helo.go`, `Smtp.helo.named`, `Smtp.hello.got`, `Smtp.hello.named`, `Smtp.hello.name`, `Smtp.hello`, `Smtp.ask`, `Smtp.ask2`, `Smtp.rcpt.got`, `Smtp.rcpts`, `Smtp.reset`, `Smtp.end.got`, `Smtp.finals`, `Smtp.outcome`, `Smtp.put`, `Smtp.data.got`, `Smtp.undata.got`, `Smtp.undata`, `Smtp.empty`, `Smtp.body`, `Smtp.skip`, `Smtp.refused`, `Smtp.mail.got`, `Smtp.deliver`, `Smtp.sized`, `Smtp.utf8.ok`, `Smtp.one`, `Smtp.batch`, `Smtp.sasl.end`, `Smtp.sasl.got`, `Smtp.sasl.last`, `Smtp.sasl.at`, `Smtp.sasl`, `Smtp.cram`, `Smtp.auth.with`, `Smtp.auth`, `Smtp.login`, `Smtp.tls.done`, `Smtp.tls`, `Smtp.starttls`, `Smtp.upgrade`, `Smtp.secure`, `Smtp.greet`, `Smtp.opened`, `Smtp.connected`, `Smtp.dial.at`, `Smtp.dial`, `Smtp.sign.end`, `Smtp.sign.cut`, `Smtp.sign`, `Smtp.job.io`, `Smtp.jobs`, `Smtp.go`, `Smtp.checked`, `Smtp.send_many`, `Smtp.send_mail` output SOME PROOFS FAIL Error: 81 defs rely on unsafe or foreign code: - 0xfd64aefef43747d3eaeea50c10a112e5/net.Net.connect - 0xfd64aefef43747d3eaeea50c10a112e5/net.Net.tls - 0xfd64aefef43747d3eaeea50c10a112e5/net.Net.connect_via - 0xfd64aefef43747d3eaeea50c10a112e5/net.Net.tls_accept - 0xfd64aefef43747d3eaeea50c10a112e5/net.Net.send - 0xfd64aefef43747d3eaeea50c10a112e5/net.Net.poll - 0xfd64aefef43747d3eaeea50c10a112e5/net.Net.close - 0xfd64aefef43747d3eaeea50c10a112e5/net.Net.time - 0xfd64aefef43747d3eaeea50c10a112e5/net.Net.helo - 0xfd64aefef43747d3eaeea50c10a112e5/net.Net.hostname - 0xfd64aefef43747d3eaeea50c10a112e5/net.Net.debug - 0xfd64aefef43747d3eaeea50c10a112e5/net.Dkim.sha256 - 0xfd64aefef43747d3eaeea50c10a112e5/net.Dkim.alg - 0xfd64aefef43747d3eaeea50c10a112e5/net.Dkim.sign - Smtp.drop - Smtp.bye.got - Smtp.bye.sent - Smtp.quit - Smtp.got - Smtp.read - Smtp.check - Smtp.expect - Smtp.sent - Smtp.send - Smtp.talk - Smtp.helo.go - Smtp.helo.named - Smtp.hello.got - Smtp.hello.named - Smtp.hello.name - Smtp.hello - Smtp.ask - Smtp.ask2 - Smtp.rcpt.got - Smtp.rcpts - Smtp.reset - Smtp.end.got - Smtp.finals - Smtp.outcome - Smtp.put - Smtp.data.got - Smtp.undata.got - Smtp.undata - Smtp.empty - Smtp.body - Smtp.skip - Smtp.refused - Smtp.mail.got - Smtp.deliver - Smtp.sized - Smtp.utf8.ok - Smtp.one - Smtp.batch - Smtp.sasl.end - Smtp.sasl.got - Smtp.sasl.last - Smtp.sasl.at - Smtp.sasl - Smtp.cram - Smtp.auth.with - Smtp.auth - Smtp.login - Smtp.tls.done - Smtp.tls - Smtp.starttls - Smtp.upgrade - Smtp.secure - Smtp.greet - Smtp.opened - Smtp.connected - Smtp.dial.at - Smtp.dial - Smtp.sign.end - Smtp.sign.cut - Smtp.sign - Smtp.job.io - Smtp.jobs - Smtp.go - Smtp.checked - Smtp.send_many - Smtp.send_mail	2.3 s
text.bend	checks	ALL PROOFS CHECK	0.9 s