0x00e7af2d relies on unsafe/foreign

0x00e7af2de246c3a4c341d9ee49e68747

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

Anonymous package: import it by hash.

Earlier versions (1)

0xfd64aefe 2026-10-05

Published: 2026-10-05
Size: 159,168 bytes, 13 files
License: MIT (LICENSE)
Declarations: 0 laws (0 proved), 424 defs, 27 types

Import

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

Modules

addr.bend 46 declarations — Addresses and mailboxes. An address is local@domain, a dot-atom (RFC
core.bend 171 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 74 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.2 s
dkim.bend	checks	ALL PROOFS CHECK	2.0 s
idna.bend	checks	ALL PROOFS CHECK	0.8 s
md5.bend	checks	ALL PROOFS CHECK	0.9 s
mime.bend	checks	ALL PROOFS CHECK	1.1 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.8 s
reply.bend	checks	ALL PROOFS CHECK	0.9 s
smtp.bend	relies on unsafe/foreign	81 defs rely on unsafe or foreign code defs: `0x00e7af2de246c3a4c341d9ee49e68747/net.Net.connect`, `0x00e7af2de246c3a4c341d9ee49e68747/net.Net.tls`, `0x00e7af2de246c3a4c341d9ee49e68747/net.Net.connect_via`, `0x00e7af2de246c3a4c341d9ee49e68747/net.Net.tls_accept`, `0x00e7af2de246c3a4c341d9ee49e68747/net.Net.send`, `0x00e7af2de246c3a4c341d9ee49e68747/net.Net.poll`, `0x00e7af2de246c3a4c341d9ee49e68747/net.Net.close`, `0x00e7af2de246c3a4c341d9ee49e68747/net.Net.time`, `0x00e7af2de246c3a4c341d9ee49e68747/net.Net.helo`, `0x00e7af2de246c3a4c341d9ee49e68747/net.Net.hostname`, `0x00e7af2de246c3a4c341d9ee49e68747/net.Net.debug`, `0x00e7af2de246c3a4c341d9ee49e68747/net.Dkim.sha256`, `0x00e7af2de246c3a4c341d9ee49e68747/net.Dkim.alg`, `0x00e7af2de246c3a4c341d9ee49e68747/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: - 0x00e7af2de246c3a4c341d9ee49e68747/net.Net.connect - 0x00e7af2de246c3a4c341d9ee49e68747/net.Net.tls - 0x00e7af2de246c3a4c341d9ee49e68747/net.Net.connect_via - 0x00e7af2de246c3a4c341d9ee49e68747/net.Net.tls_accept - 0x00e7af2de246c3a4c341d9ee49e68747/net.Net.send - 0x00e7af2de246c3a4c341d9ee49e68747/net.Net.poll - 0x00e7af2de246c3a4c341d9ee49e68747/net.Net.close - 0x00e7af2de246c3a4c341d9ee49e68747/net.Net.time - 0x00e7af2de246c3a4c341d9ee49e68747/net.Net.helo - 0x00e7af2de246c3a4c341d9ee49e68747/net.Net.hostname - 0x00e7af2de246c3a4c341d9ee49e68747/net.Net.debug - 0x00e7af2de246c3a4c341d9ee49e68747/net.Dkim.sha256 - 0x00e7af2de246c3a4c341d9ee49e68747/net.Dkim.alg - 0x00e7af2de246c3a4c341d9ee49e68747/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	3.4 s
text.bend	checks	ALL PROOFS CHECK	0.7 s