0xd66ee682 fails

0xd66ee682d4ce8c656782ca9e0e4634cb

Base64 over byte lists (no IO, no TLS).

Anonymous package: import it by hash.

Published: 2026-09-21
Size: 181,529 bytes, 12 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 0 laws (0 proved), 75 defs, 0 types

Import

import 0xd66ee682d4ce8c656782ca9e0e4634cb/b64.bend as B64
import 0xd66ee682d4ce8c656782ca9e0e4634cb/http.bend as Http
import 0xd66ee682d4ce8c656782ca9e0e4634cb/package.bend as Package
import 0xd66ee682d4ce8c656782ca9e0e4634cb/sha1.bend as Sha1
import 0xd66ee682d4ce8c656782ca9e0e4634cb/tcp.bend as Tcp
import 0xd66ee682d4ce8c656782ca9e0e4634cb/ws.bend as Ws

Modules

b64.bend 35 declarations — Base64 over byte lists (no IO, no TLS).
http.bend not loaded — HTTP lib over the existing TCP kit (no TLS, no DNS).
package.bend not loaded — bend-net: package entry for BendHub.
sha1.bend 37 declarations — SHA-1 pure in Bend (FIPS 180-4, no IO).
tcp.bend 3 declarations — TCP byte effects: raw send, raw recv and one-frame recv over the
ws.bend not loaded — WebSocket RFC 6455 full-duplex in Bend.

Other files

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
b64.bend	checks	ALL PROOFS CHECK	1.5 s
http.bend	fails	- expected : an unambiguous name (the alias TCP shadows TCP.recv_bytes) output Error: - expected : an unambiguous name (the alias TCP shadows TCP.recv_bytes) - observed : '(' Location: 1827 \| def fetch.recv8(sock: Socket, meth: String, acc: List<&2, U32>) -> IO(Result<&1, &1, U32 & String, String>): 1828>\| IO.bind(Socket & Result<&1, &1, U32 & String, List<&2, U32>>, Result<&1, &1, U32 & String, String>, TCP.recv_bytes(sock, 8192), m => fetch.after8fn(meth, acc, m)) \| ^ 1829 \|	1.4 s
package.bend	fails	- expected : an unambiguous name (the alias TCP shadows TCP.recv_bytes) output Error: - expected : an unambiguous name (the alias TCP shadows TCP.recv_bytes) - observed : '(' Location: 1827 \| def fetch.recv8(sock: Socket, meth: String, acc: List<&2, U32>) -> IO(Result<&1, &1, U32 & String, String>): 1828>\| IO.bind(Socket & Result<&1, &1, U32 & String, List<&2, U32>>, Result<&1, &1, U32 & String, String>, TCP.recv_bytes(sock, 8192), m => fetch.after8fn(meth, acc, m)) \| ^ 1829 \|	1.5 s
sha1.bend	checks	ALL PROOFS CHECK	0.9 s
tcp.bend	relies on unsafe/foreign	3 defs rely on unsafe or foreign code defs: `send_bytes`, `recv_bytes`, `recv_frame` output SOME PROOFS FAIL Error: 3 defs rely on unsafe or foreign code: - send_bytes - recv_bytes - recv_frame	0.8 s
ws.bend	fails	- expected : an unambiguous name (the alias TCP shadows TCP.recv_bytes) output Error: - expected : an unambiguous name (the alias TCP shadows TCP.recv_bytes) - observed : '(' Location: 1827 \| def fetch.recv8(sock: Socket, meth: String, acc: List<&2, U32>) -> IO(Result<&1, &1, U32 & String, String>): 1828>\| IO.bind(Socket & Result<&1, &1, U32 & String, List<&2, U32>>, Result<&1, &1, U32 & String, String>, TCP.recv_bytes(sock, 8192), m => fetch.after8fn(meth, acc, m)) \| ^ 1829 \|	1.0 s