# Bend Docs
> Community documentation for every package on BendHub, the Bend 2 package hub. Statuses are `bend --check-only` results on bend 2.0.36.

- [Every proved law, one per line](lemmas.txt): package@version/module, law name, statement as bend prints it.
- [Search](search.html): names, docs and law-shape search.

## Packages
- [bend-ml-tensor-array@0.1.7.0](pkg/0x373e5f0e1b2ccdc5e9e1fe2004c1644c/index.html): bend-ml-tensor-array: tensors over a flat Array<F32>, with the shape in the type. (checks, 4/4 laws proved)
- [bend-edit-distance@0.1.0.0](pkg/0x483ba00627509c62188f937a7cfd8f76/index.html):  (checks, 0/0 laws proved)
- [stelliferous@0.0.2.0](pkg/0x9be3b13bf249759bc81e1958bcd1a4c0/index.html): One clock assumption, 2.5 GHz (0.4 ns per cycle), prices both vector MACs (checks, 80/80 laws proved)
- [bend-kit-camber@0.7.0.0](pkg/0x2f03974bdfacdfce4ef1eb030eae486d/index.html): Fixed prepared HTTP applications and bounded affine dependency bundles. (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-http@0.32.0.0](pkg/0x6a946b742ab6f76f0ba5b90b14da52ad/index.html): Private bounded transport accounting. Replies contain copied data, never resources. (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-postgres@0.1.0.2](pkg/0xf63ce82892c02964729ebb2a79be513f/index.html): Postgres frontend/backend protocol 3.0 messages over Bytes, and an incremental reader of backend messages. (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-multipart@0.1.1.1](pkg/0xe7e5f3dfa42ee8efd8b402eac98183c5/index.html): multipart/form-data (RFC 7578): an encoder with a secure random boundary and a streaming decoder over Bytes. Source: https://github.com/paymog/bend-kit/tree/main/multipart (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-redis@0.1.0.2](pkg/0xae0449f4d22509013aa9b43b915c9d80/index.html): Redis and Valkey client: RESP3 over TCP or TLS, with pipelining and a pool. Source: https://github.com/paymog/bend-kit/tree/main/redis (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-http2@0.2.0.0](pkg/0xc0a30c11b68a9aafb25795f94a58eba5/index.html): RFC 7541 HPACK header blocks with a bounded dynamic table. (checks, 0/0 laws proved)
- [bend-kit-concurrency@0.2.0.0](pkg/0x67bc295335339eaf9387ddb5aa34190a/index.html): Parallel map and reduce over lists and arrays, a worker pool, select over channels, and timeouts. (checks, 0/0 laws proved)
- [bend-kit-stream@0.1.0.1](pkg/0x6eaf476c39756d18630510c519770168/index.html): Bounded packed-byte transfers between files and TCP/TLS sockets. (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-archive@0.2.0.1](pkg/0x401661cec94425d3b4ef13a3c64b1e57/index.html): ZIP archives read over Bytes: stored and DEFLATE entries, checked against their CRC-32 and sizes. Source: https://github.com/paymog/bend-kit/tree/main/archive (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-dns@0.6.0.2](pkg/0x9bf2c4100bf9328348d215e7ae1657de/index.html): DNS codec and host lookup. Source: https://github.com/paymog/bend-kit/tree/main/dns (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-property@0.2.0.0](pkg/0x37dffd823fd9cfaa0f8d0b8861238158/index.html): Pure generators: each takes a Rand.Rng and returns a value beside the next state. (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-notch@0.1.0.1](pkg/0x1e7155d6d6e198f44e61502f9f6c0114/index.html): Leveled, structured logging: a logger value, key-value fields, and logfmt or JSON-lines output. Source: https://github.com/paymog/bend-kit/tree/main/notch (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-websocket@0.2.0.1](pkg/0xa62177ca680fb4d3408fedd3cc24c3e6/index.html): RFC 6455 WebSocket client: opening handshake, frames over packed Bytes, and messages over Wire. Source: https://github.com/paymog/bend-kit/tree/main/websocket (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-llm@0.2.0.0](pkg/0x10ade7fad6475d1f90ad2d2a4120337e/index.html): LLM client for the Anthropic Messages and OpenAI Chat Completions APIs, with SSE streaming. Source: https://github.com/paymog/bend-kit/tree/main/llm (fails, 0/0 laws proved)
- [bend-kit-jwt@0.2.0.0](pkg/0x876da6c7de4c45f59dadc9ba6c66b8a2/index.html): JSON Web Tokens: HS256/384/512, RS256, and ES256 compact JWS sign and verify, claim checks, and JWKS keys over Hairpin. Source: https://github.com/paymog/bend-kit/tree/main/jwt (fails, 0/0 laws proved)
- [bend-kit-oauth2@0.2.0.0](pkg/0x69e07648b7e57fd59ce9869cc3d78062/index.html): OAuth 2.0 client credentials, refresh, and authorization code with PKCE over Hairpin. Source: https://github.com/paymog/bend-kit/tree/main/oauth2 (fails, 0/0 laws proved)
- [bend-kit-sigv4@0.2.0.0](pkg/0x6577a17f6f183c79beccab58756c9821/index.html): AWS Signature V4 signing and S3 object storage over Hairpin. Source: https://github.com/paymog/bend-kit/tree/main/sigv4 (fails, 0/0 laws proved)
- [bend-kit-webhooks@0.2.0.0](pkg/0xf2e81b9be1321540335cf99dc4e973ba/index.html): Webhook signatures: Standard Webhooks sign and verify, Stripe and GitHub verify, over the raw body. Source: https://github.com/paymog/bend-kit/tree/main/webhooks (fails, 0/0 laws proved)
- [bend-kit-zlib@0.2.0.1](pkg/0xcc180113489c489d3f5cdc852e6806f9/index.html): DEFLATE, gzip, and zlib encoding and decoding (RFC 1951, 1952, 1950) over byte strings, plus gzip, zstd, and brotli through the C libraries. Source: https://github.com/paymog/bend-kit/tree/main/zlib (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-sqlite@0.1.0.1](pkg/0x1dd647736fb09289bc1eed9825ef1113/index.html): Prepared SQLite statements through libsqlite3. Source: https://github.com/paymog/bend-kit/tree/main/sqlite (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-random@0.1.0.1](pkg/0x46b9429cbffa7a8c1111ce19c60a3d6a/index.html): Seeded pseudo-random numbers: xoshiro128**, unbiased ranges, floats and shuffles. Not for cryptography. (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-crypto@0.2.2.1](pkg/0xf33eec520d9fe4851fd0d1e29eaf0166/index.html): Hashes, HMAC, HKDF, RSA and ECDSA signatures, and secure random bytes through OpenSSL 3 libcrypto. Source: https://github.com/paymog/bend-kit/tree/main/crypto (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-process@0.2.0.1](pkg/0x7843fdc3c5ff57acbb79e7e7c945fec9/index.html): Subprocesses and process-level OS access, with byte-exact input and output. (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-files@0.1.1.1](pkg/0xbfce8e3c28ef3e7d2baa52370e0804c4/index.html): POSIX paths plus directory and metadata effects. Source: https://github.com/paymog/bend-kit/tree/main/files (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-tty@0.1.0.1](pkg/0xbb2c503928ea15731255ec8c06e5564b/index.html): Pure terminal text: ANSI SGR styling and Unicode 17 display width. (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-wire@0.4.6.1](pkg/0x1afdf90dbe41c30b1df4594db039b02a/index.html): Byte-exact TCP, UDP, and TLS sockets. Source: https://github.com/paymog/bend-kit/tree/main/wire (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-hairpin@0.2.1.0](pkg/0x32bd867a107b63c50365cf1c4612ace5/index.html): Hairpin: an HTTP client with a base URL, default headers, a pool, cookies, mTLS, redirects, and proven retries. Source: https://github.com/paymog/bend-kit/tree/main/hairpin (fails, 0/0 laws proved)
- [bend-kit-time@0.1.2.1](pkg/0xe00bbf72c3ff9dc6d7b077524522b3a8/index.html): Clocks, Duration and Instant, Gregorian dates, RFC 3339 and HTTP-date text, and TZif time zones. Source: https://github.com/paymog/bend-kit/tree/main/time (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-resources@0.1.0.0](pkg/0x8ef64648a1ae4481382be5e5ce2a9fc8/index.html): Bounded capacity pools with affine reservations: reserve, release, split, and combine. (checks, 0/0 laws proved)
- [bend-kit-lemmas@0.1.0.0](pkg/0xeaee3c88886bfae971db9dcf3cde0759/index.html): Proved laws that relate Word and U32 arithmetic to Nat. Source: https://github.com/paymog/bend-kit/tree/main/lemmas (checks, 39/39 laws proved)
- [bend-schema-lib@0.4.0.0](pkg/0x7a52b371e038cf76c1fc2e721c75bc4e/index.html):  (checks, 0/0 laws proved)
- [mylsm-lsm-store@0.5.0.0](pkg/0x4fcd94fa965aa1443134557fd075a483/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-protobuf@0.1.0.0](pkg/0x8843bff7971fd45a4db82e4200ac8bd6/index.html): Pure bounded protobuf wire codec over Bytes. https://github.com/paymog/bend-kit/tree/main/protobuf (checks, 0/0 laws proved)
- [bend-kit-f64@0.1.0.0](pkg/0x737bc789819508f0aebd4ad15d19e26f/index.html): IEEE 754 binary64 add, sub, mul, and div. Source: https://github.com/paymog/bend-kit/tree/main/f64 (checks, 0/0 laws proved)
- [qasim-bend-kit@0.1.0.2](pkg/0xaca801afcf3e822677fd6d06895d2c71/index.html): Library correctness laws and integration obligations.
 (timeout, 6/95 laws proved)
- [bend-mathlib@0.7.2.0](pkg/0x449abff091641d732d7b9f0780df40ae/index.html): bend-mathlib/algebra.bend: abstract associativity/commutativity theorems and their Nat/Bool/List instances. (checks, 744/744 laws proved)
- [bend-ml-autograd@0.1.1.0](pkg/0x0ed882696c6c048c64c66242a999a426/index.html): bend-ml-autograd: automatic differentiation with a proved law. (checks, 1/1 laws proved)
- [bend-ml-tensor@0.1.2.0](pkg/0x48e80e20946abebea50e06561806a40d/index.html): bend-ml-tensor: tensors with the shape in the TYPE. A shape error is a type error. (checks, 2/2 laws proved)
- [bend-ml-bpe-tokenizer@0.1.2.0](pkg/0xa071a92aabcffe6fc04dc3a60f0096ba/index.html): bend-ml-bpe-tokenizer: byte-level BPE with a proved roundtrip. (checks, 5/5 laws proved)
- [bend-ml-nat-lemmas@0.1.1.0](pkg/0x2bbe4207657ea8b1158567d930651411/index.html): bend-ml-nat-lemmas: Nat and List lemmas, proved, that Bend's Base does not have. (checks, 15/15 laws proved)
- [bend-kit-json@0.5.1.0](pkg/0xc57af2d86db2e94187b6fb2ac4976fc9/index.html): JSON values, parsed and encoded as RFC 8259. Source: https://github.com/paymog/bend-kit/tree/main/json (checks, 0/0 laws proved)
- [bend-kit-router@0.2.0.0](pkg/0x9606cc4b1afb0de13a7da7c0f6fc3a82/index.html): Prepared HTTP routes with exact paths, validated registration, and path-first method selection. Source: https://github.com/paymog/bend-kit/tree/main/router (checks, 0/0 laws proved)
- [shake@0.5.0.0](pkg/0x1b64bb5828eb2210a4a61a1ba480631a/index.html): shake: a proven command-line argument parser for Bend 2, with subcommands and help. (checks, 0/0 laws proved)
- [bend-datetime@0.4.0.1](pkg/0x5d092e40b48ee431bc4b160e8797f9d5/index.html):  (checks, 0/0 laws proved)
- [bend-anthropic-sdk@0.1.0.1](pkg/0xd2e0b2819dcc854bda21f542b308ada3/index.html): An unofficial Anthropic SDK for Bend, with typed requests, streaming, and tool calling. (fails, 0/0 laws proved)
- [bend-collections-laws-crypto@1.0.0.0](pkg/0xa7e654f9780078ca65bf9e187da99d3e/index.html):  (fails, 1105/1268 laws proved)
- [bend-collections-laws-containers@1.0.0.0](pkg/0x5c489f5d9646d7cc9aa3dd8137e9dc07/index.html):  (fails, 922/922 laws proved)
- [bend-collections-laws-math@1.0.0.0](pkg/0xf86f5f1d9a594d5a5cff999100e01d03/index.html):  (checks, 188/188 laws proved)
- [bend-kit-bytes@0.3.2.0](pkg/0x185ae03c75e3e75be1171471f68b43cb/index.html): Byte buffers packed four bytes to a U32, with bounds-checked access. Source: https://github.com/paymog/bend-kit/tree/main/bytes (checks, 0/0 laws proved)
- [snap@1.2.0.0](pkg/0xa3b6f2e4e2b12fe8d8466a9a7bb176a3/index.html): snap: run programs from Bend 2 with argv as a list of strings, no shell. (relies on unsafe/foreign, 0/0 laws proved)
- [emerging-eztoml@0.8.0.0](pkg/0x8fb95168b7719a8faec16af7ee47b246/index.html): eztoml: TOML for Bend 2, a proven parser and renderer for TOML documents. (checks, 0/0 laws proved)
- [emerging-ezhttp@0.8.0.0](pkg/0xf1c957a470368870a6d1d62a8c0cbe32/index.html): ezhttp: HTTP/1.1 client and server for Bend 2, with auth, cookie and CORS helpers. (fails, 0/0 laws proved)
- [bend-blas-lapack@0.0.0.1](pkg/0xf090bec5d73bd2d01f26c93f586673b1/index.html): bend-blas: BLAS, LAPACK and cuBLAS for Bend 2, as one def per routine (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-url@0.4.1.0](pkg/0x1f2d80f53f971b16c6de6a65cb1918ae/index.html): URL parsing, resolution, and percent-encoding (RFC 3986). Source: https://github.com/paymog/bend-kit/tree/main/url (checks, 0/0 laws proved)
- [bend-kit-hash@0.1.0.0](pkg/0xb046f8e1a4cca810f9fc9aa2234bbf2d/index.html): Non-cryptographic hashes over Bytes: FNV-1a, xxHash, SipHash-1-3, CRC-32, and Adler-32. Source: https://github.com/paymog/bend-kit/tree/main/hash (checks, 0/0 laws proved)
- [bend-kit-int@0.2.0.0](pkg/0x4eed9d7ac6ece61523d747a9d804e4f0/index.html): Fixed-width integers U8, U16, U64, I32 and I64: wrapping, checked and saturating arithmetic, and text in radix 2 to 36. (checks, 0/0 laws proved)
- [bend-kit-fmt@0.1.0.0](pkg/0xea2956cd4e05ac318643319cb7fb3c29/index.html): Text formatting: a string builder, format, padding, and shortest F32 printing. (checks, 0/0 laws proved)
- [ber-core-store@0.1.2.0](pkg/0x785d1b078f7f99a4ee2b9c7798398bc9/index.html):  (fails, 0/0 laws proved)
- [bend-over-sqlite@0.1.0.0](pkg/0xb840f3eebe5e51739a9b3b4be210b968/index.html): SQLite connections, typed values, prepared statements and transactions for C and Wasm. (relies on unsafe/foreign, 0/0 laws proved)
- [bend-over-js-eval@0.1.0.0](pkg/0x646b2235ccfcef3a8f09e7c110d7ed14/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [bend-kit-encoding@0.3.0.0](pkg/0xcfc8be7b076f41f95c8e118383892d55/index.html): UTF-8 encoding and decoding between text and Bytes. Source: https://github.com/paymog/bend-kit/tree/main/encoding (checks, 0/0 laws proved)
- [bend-kit-unicode@0.1.0.0](pkg/0x6c784a08486e2e02415e89c5249e9e8a/index.html): Generated by gen.py from UCD 17.0.0. Do not edit. (checks, 0/0 laws proved)
- [bendlib-kernel-list@1.0.0.0](pkg/0xb5c8145e53a6a127d611f45f602666ec/index.html): bendlib-kernel-list: frozen step-list permutations over List, generic over -A: Data. (checks, 0/0 laws proved)
- [emerging-ezjson@1.1.0.0](pkg/0x81c67699424929b5c44cd8577e18117f/index.html): ezjson: JSON for Bend 2, with a parser, a printer and a pull cursor (checks, 0/0 laws proved)
- [bend-net-url@0.4.0.0](pkg/0x0aca9962d9b7dbca5790ded426f38379/index.html): URL parsing, resolution, and percent-encoding (RFC 3986). (checks, 0/0 laws proved)
- [bend-net-wire@0.4.0.0](pkg/0x651c6b43f6e58d958d0cc90d28371c50/index.html): Byte-exact TCP, UDP, and TLS sockets. (relies on unsafe/foreign, 0/0 laws proved)
- [bend-net-json@0.3.0.0](pkg/0x16458a2db4f36577294543ec2a6d420c/index.html): JSON values, parsed and encoded as RFC 8259. (relies on unsafe/foreign, 0/0 laws proved)
- [bend-time-lib@0.4.0.0](pkg/0x9b6a4fc7ceea91864a75396e1b8365e5/index.html):  (fails, 0/0 laws proved)
- [bend-codec-lib@0.2.0.0](pkg/0x888714bde93f46c139372bb9fdc57a19/index.html):  (fails, 0/0 laws proved)
- [bend-parse-lib@0.1.0.0](pkg/0xe49a3e6521e1b71e55654a885f27bcc1/index.html):  (checks, 0/0 laws proved)
- [0x492532af](pkg/0x492532af6deb895462a134d016a53dfe/index.html): Shape specialisation: a non-tail binary recursion on a Nat depth that the leaf gives as a literal. WGSL has no (checks, 0/0 laws proved)
- [0x60098107](pkg/0x600981079d65a285d008308db02b846c/index.html):  (relies on unsafe/foreign, 53/53 laws proved)
- [0x5f8aaa5a](pkg/0x5f8aaa5a5f52e3f77b0140072e47d78d/index.html):  (checks, 0/0 laws proved)
- [0x650cd729](pkg/0x650cd729029c76d9f6151ee977dc0ae8/index.html): Addresses and mailboxes. An address is local@domain, a dot-atom (RFC (relies on unsafe/foreign, 0/0 laws proved)
- [0x2355f41b](pkg/0x2355f41b6f5561f50104a75ccca27cf7/index.html): AMF0, the encoding of RTMP's commands (connect, play, _result...): a (relies on unsafe/foreign, 0/0 laws proved)
- [0x958db28b](pkg/0x958db28bf0cef817bff69fac7beb9846/index.html):  (relies on unsafe/foreign, 13/13 laws proved)
- [0xd6fc55bf](pkg/0xd6fc55bf65b187fec4175f80d08c165a/index.html): AMF0, the encoding of RTMP's commands (connect, play, _result...): a (fails, 0/0 laws proved)
- [0x00e7af2d](pkg/0x00e7af2de246c3a4c341d9ee49e68747/index.html): Addresses and mailboxes. An address is local@domain, a dot-atom (RFC (relies on unsafe/foreign, 0/0 laws proved)
- [0xdf198d67](pkg/0xdf198d67659100c90a58ecd6b01d034d/index.html):  (checks, 154/154 laws proved)
- [0x2731c2a5](pkg/0x2731c2a5d4185b57cf5353061639642e/index.html):  (relies on unsafe/foreign, 5/5 laws proved)
- [0x57bb52ac](pkg/0x57bb52acf8b29a1505a8641f7d8f9690/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0xf7d71946](pkg/0xf7d71946d0c6202be0bb46b856a24e00/index.html):  (checks, 0/0 laws proved)
- [0x4c3090ea](pkg/0x4c3090ea8722081700f9d99ea7503e43/index.html):  (checks, 82/82 laws proved)
- [0x3d214765](pkg/0x3d2147650fe101ae3c3e4a95333b4238/index.html): Library correctness laws and integration obligations. (fails, 0/174 laws proved)
- [0xc517d5d3](pkg/0xc517d5d3635f5bc3ec47170caccaebf0/index.html):  (fails, 0/0 laws proved)
- [0x665ae73e](pkg/0x665ae73e3f32ce98f72c7cf6844cfd3f/index.html): W3C Trace Context Level 2 propagation, with its rules proved as laws. Source: https://github.com/LucasGois1/bend-trace-context (relies on unsafe/foreign, 0/0 laws proved)
- [0xd1de66b5](pkg/0xd1de66b5d9157913a654c39186289f3d/index.html): Unsga3Algorithm.Run — C# Unsga3.Algorithm.Unsga3Algorithm. (relies on unsafe/foreign, 0/0 laws proved)
- [0xbfb67181](pkg/0xbfb6718181103ac566eb0ff5308d47ac/index.html): An unofficial OpenAI SDK for Bend, with typed requests, streaming, and tool calling. (fails, 0/0 laws proved)
- [0x993b989c](pkg/0x993b989cb899a5e5c6facb3d6fbccf8f/index.html):  (fails, 0/0 laws proved)
- [0xd9a2fae4](pkg/0xd9a2fae439ac7ff9e21e0853948f94fe/index.html):  (checks, 229/229 laws proved)
- [0x64aa7934](pkg/0x64aa7934c3659ee6a818595494b38921/index.html): Fast CSV parser with proofs (checks, 0/0 laws proved)
- [0xf134d14e](pkg/0xf134d14ef1244d08994eac130bd22b62/index.html): tar archives (POSIX ustar with PAX path and size records) of regular files and directories over Bytes. Source: https://github.com/paymog/bend-kit/tree/main/tar (checks, 0/0 laws proved)
- [0x83a18da2](pkg/0x83a18da24b5b66102742c5af7d7b0042/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0x74799d3f](pkg/0x74799d3f846634a3d7461d4336d7c9d4/index.html): ezx: ez, the package manager for Bend 2. (fails, 0/0 laws proved)
- [0x3bdc0c9f](pkg/0x3bdc0c9f5265bb49f7fc76b61f529f24/index.html):  (checks, 152/152 laws proved)
- [0x582b4b0f](pkg/0x582b4b0fdf3dafdeecc8c3bfddc5e4db/index.html): bolt: a linter, checker and language server for Bend 2. (fails, 0/0 laws proved)
- [0xd2dab0fb](pkg/0xd2dab0fbc9db2e9ba3da65dae724eb41/index.html): ezaudio: audio for Bend 2, reading and writing WAV (RIFF PCM) and MP3 (MPEG-1 Layer III). (checks, 0/0 laws proved)
- [0x046551ef](pkg/0x046551eff0d59a82cf10d858b17b0c84/index.html): ezx: ez's ledger library for Bend 2: it parses an ez.toml into its package, dependencies and pinned tools. (checks, 0/0 laws proved)
- [0x57618559](pkg/0x57618559b9b26dd8415f821176a3e692/index.html): ezimg: images for Bend 2, with PNG and baseline JPEG decode and encode (checks, 0/0 laws proved)
- [0x9137a47f](pkg/0x9137a47f23b329cb0d636ed271d4bfb2/index.html): ezaudio: audio for Bend 2, reading and writing WAV (RIFF PCM) and MP3 (MPEG-1 Layer III). (checks, 0/0 laws proved)
- [0x2a888ea4](pkg/0x2a888ea481604c8ab4f68a408f625503/index.html):  (checks, 0/0 laws proved)
- [0xeb05f403](pkg/0xeb05f403bd3281ca0d68940b4cfd7834/index.html):  (checks, 0/0 laws proved)
- [0x1300b2d5](pkg/0x1300b2d5b9aa6d75cbf3892ade71bfa5/index.html): Linear-time regular expressions: RE2 syntax, Pike VM, capture groups. Source: https://github.com/paymog/bend-kit/tree/main/regex (checks, 0/0 laws proved)
- [0xbf5d8bf0](pkg/0xbf5d8bf07d7411858acb5142889fc4d7/index.html): Arbitrary-precision signed integers: add, sub, mul, divmod, pow, modpow, gcd and decimal text. (checks, 0/0 laws proved)
- [0x9e18757b](pkg/0x9e18757b65714673c7fddd46dc3bb087/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0xd2d968d9](pkg/0xd2d968d969a26029a632a3347c989456/index.html): Generic collections: maps, a vector, a deque and a priority queue. Source: https://github.com/paymog/bend-kit/tree/main/collections (checks, 11/11 laws proved)
- [0x2997b345](pkg/0x2997b34519267605d9e11af48ae387c7/index.html): IPv4 and IPv6 address values: strict parsing, RFC 5952 text, and CIDR prefixes. Source: https://github.com/paymog/bend-kit/tree/main/netip (checks, 0/0 laws proved)
- [0xb6eebf62](pkg/0xb6eebf6253ee268a21f3e308b12cacba/index.html): Host entropy (relies on unsafe/foreign, 0/0 laws proved)
- [0xce16f354](pkg/0xce16f354e68f7bbd659db8de167a2393/index.html):  (checks, 0/0 laws proved)
- [0x728e6e26](pkg/0x728e6e26db44a143290d5b9563297a19/index.html): CBOR (RFC 8949) values encoded and decoded over Bytes. Source: https://github.com/paymog/bend-kit/tree/main/cbor (checks, 0/0 laws proved)
- [0x604607e4](pkg/0x604607e4df359ba51bcfcbab355479de/index.html):  (checks, 0/0 laws proved)
- [0xc44bda2e](pkg/0xc44bda2e3431d17209e2df2adb8b59d8/index.html): CSV (RFC 4180) over bytes: a record cursor, a whole-document parse, and an encoder. Source: https://github.com/paymog/bend-kit/tree/main/csv (checks, 0/0 laws proved)
- [0x9c94dd62](pkg/0x9c94dd62a275a2a52aba6d0315b7bb60/index.html): bend-sendfile: package entry for BendHub. (relies on unsafe/foreign, 0/0 laws proved)
- [0xb936378d](pkg/0xb936378d6b717a2f9e6b5ff568004d36/index.html): bend-open-under: package entry for BendHub. (relies on unsafe/foreign, 0/0 laws proved)
- [0x28f6ecc3](pkg/0x28f6ecc344c73ee11f306ee894f311ba/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0x1fc67b41](pkg/0x1fc67b41fabeabde819cdaa647758be1/index.html):  (relies on unsafe/foreign, 2/2 laws proved)
- [0xab13df3d](pkg/0xab13df3d6c442b9408d79d186652b3aa/index.html): base List: reverse is involutive and an insertion sort orders (dupes (checks, 8/8 laws proved)
- [0x64e1b9e0](pkg/0x64e1b9e0466cf913fa57e70aeb11c176/index.html):  (fails, 4/7 laws proved)
- [0x33fa1e8e](pkg/0x33fa1e8e9ce79cb0b4983b81c36ecdd3/index.html):  (checks, 0/0 laws proved)
- [0x7232384c](pkg/0x7232384c42402f977ceed3b85efc3adc/index.html):  (fails, 0/3 laws proved)
- [0x90b8f1a2](pkg/0x90b8f1a2bac415251e8ad069cd6d29ec/index.html):  (checks, 0/0 laws proved)
- [0x4198ac95](pkg/0x4198ac9516630627ad267983294b8fad/index.html):  (checks, 0/0 laws proved)
- [0xc881aca5](pkg/0xc881aca5522201b79e03cfebccc53018/index.html):  (checks, 0/0 laws proved)
- [0xf33f70af](pkg/0xf33f70afa849b331f76f524b6d1629ec/index.html):  (fails, 0/0 laws proved)
- [0xca47b110](pkg/0xca47b110029aa12cfc4d84615cad4ec1/index.html):  (checks, 4/4 laws proved)
- [0x8b91ddb6](pkg/0x8b91ddb61d8feadeb79809e42245b488/index.html):  (checks, 0/0 laws proved)
- [0x3161253b](pkg/0x3161253b0faa968bcbea78a196fb0a67/index.html):  (checks, 0/0 laws proved)
- [0x38c59765](pkg/0x38c59765d1dfcdb7e4b4aa026bafb649/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0x154e0a68](pkg/0x154e0a68ef9a0223bacaacefc589cad8/index.html): Parser combinators over text, with positioned errors. Source: https://github.com/paymog/bend-kit/tree/main/parse (checks, 0/0 laws proved)
- [0xc4f31b1c](pkg/0xc4f31b1cf377fad1ed5191443ddd1c20/index.html):  (relies on unsafe/foreign, 2/2 laws proved)
- [0x07516e23](pkg/0x07516e23611e5287ce89bcff661be83f/index.html): BendSR: Massively Parallel Symbolic Regression Engine in Bend (relies on unsafe/foreign, 0/0 laws proved)
- [0xce7bfa94](pkg/0xce7bfa94c40ded8493cdb39d330add0c/index.html):  (fails, 0/0 laws proved)
- [0xf5507d46](pkg/0xf5507d46d06a1a8043dcb1a582194615/index.html):  (checks, 8/8 laws proved)
- [0x88d5b48c](pkg/0x88d5b48c03f82f217d3a2aa0656744f4/index.html):  (checks, 32/32 laws proved)
- [0x99e32f5f](pkg/0x99e32f5f97dad3791a32b01d133555c5/index.html): SPDX-License-Identifier: MIT-0 (checks, 23/23 laws proved)
- [0xd684886d](pkg/0xd684886d10b431b9dce6c3b2d1ef1980/index.html):  (checks, 25/25 laws proved)
- [0xc409b77d](pkg/0xc409b77d3230ca33374caf6b0993f0cb/index.html):  (checks, 27/27 laws proved)
- [0x9ed9d2a8](pkg/0x9ed9d2a83d17c8cb5d268ff52c77412d/index.html):  (fails, 0/0 laws proved)
- [0xb13667d5](pkg/0xb13667d52aa56e002b4d09883d7fce3e/index.html): wordlib: laws about Base's fixed-width words. Word(n) is n Bools, (checks, 44/44 laws proved)
- [0x738b3053](pkg/0x738b30530890e825e0ab81092b94cbfc/index.html): bendcheck: property-based testing for Bend. (checks, 0/0 laws proved)
- [0x340691c4](pkg/0x340691c4c9cfde2764a3ed46e48d644a/index.html): wordlib: laws about Base's fixed-width words. Word(n) is n Bools, (checks, 39/39 laws proved)
- [0xeef3a848](pkg/0xeef3a8486d410ea6f25709aac90dbf40/index.html): histogram.bend: a parallel histogram of U32 keys into K buckets, with no (relies on unsafe/foreign, 0/0 laws proved)
- [0xd96f2ab4](pkg/0xd96f2ab40f5df4925c42e96d0ba857ff/index.html): bolt: a linter, checker and language server for Bend 2. (fails, 0/0 laws proved)
- [0xc13c3659](pkg/0xc13c365900e26112e0e544022d18fe0b/index.html):  (fails, 0/0 laws proved)
- [0x5e4e2a9d](pkg/0x5e4e2a9db839a0214ace6923b04b685b/index.html): ezhttp/b64: Base64 encoding for HTTP credentials (RFC 4648 §4). The (fails, 0/0 laws proved)
- [0xd29b5061](pkg/0xd29b5061c68e1be166e0476f4daf7ff8/index.html):  (checks, 0/0 laws proved)
- [0x0bae9aeb](pkg/0x0bae9aeb11ebfcadb010bbe6e89fbbff/index.html): V: data structures for your Bend algorithms. (relies on unsafe/foreign, 0/0 laws proved)
- [0xb618c7a3](pkg/0xb618c7a3b7cc335880c0ff4267b5bd98/index.html): ledger/manifest: the dependency ledger. Bend's import lines carry a bare (fails, 0/0 laws proved)
- [0xb3a098ff](pkg/0xb3a098ff6dc4d99175172fdd297772c2/index.html):  (checks, 0/0 laws proved)
- [0x620317aa](pkg/0x620317aa272e53852c5b5baae68a727b/index.html): Generic collections: an ordered map and set, a vector, a deque and a priority queue. Source: https://github.com/paymog/bend-kit/tree/main/collections (checks, 11/11 laws proved)
- [0xe4067e0d](pkg/0xe4067e0d858024083f36a7abe7281e89/index.html):  (fails, 10/229 laws proved)
- [0x7bd24d36](pkg/0x7bd24d368ebfcad9cc9e619cb6e740cd/index.html):  (checks, 0/0 laws proved)
- [0x05eb91b0](pkg/0x05eb91b04a37c34a9abe2324661894f5/index.html): ezaudio: a Clip is a sample rate, a channel count, a sample format, and (checks, 0/0 laws proved)
- [0x83c5c81f](pkg/0x83c5c81fb41f55ca634bdc7bde39a51b/index.html): ezimg: images for Bend 2, with PNG and baseline JPEG decode and encode (checks, 0/0 laws proved)
- [0x085b03c8](pkg/0x085b03c84ca37125e38dddede7b91e55/index.html): shake: CLI argument parser for Bend 2. Describe a program with `app`, `sub`, (checks, 0/0 laws proved)
- [0x0fcbfd75](pkg/0x0fcbfd752798596b0c5c3cea4816dd08/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0xf776c27e](pkg/0xf776c27e08f75fc19a070c691bcbb111/index.html): json.bend: A production-grade, highly reusable JSON library for Bend 2. (fails, 0/0 laws proved)
- [0xe01785b6](pkg/0xe01785b64266bf3ba0068183b9f9f5e3/index.html): DEFLATE, gzip, and zlib decoding (RFC 1951, 1952, 1950) over byte strings. Source: https://github.com/paymog/bend-kit/tree/main/zlib (checks, 0/0 laws proved)
- [0x8a1034c8](pkg/0x8a1034c8824c5fdecbaa2e3d762aadad/index.html): Byte-exact TCP, UDP, and TLS sockets. Source: https://github.com/paymog/bend-kit (relies on unsafe/foreign, 0/0 laws proved)
- [0x6ee8b4f8](pkg/0x6ee8b4f8d8a8f10e385dccb59e74e665/index.html): HTTP/1.1 client and server for http and https, with DNS and TLS. Source: https://github.com/paymog/bend-net (fails, 0/0 laws proved)
- [0x4ae4f319](pkg/0x4ae4f319f4174df6a2ae71eb32ba9642/index.html): DNS A-record lookup over UDP. Source: https://github.com/paymog/bend-net/tree/main/dns (fails, 0/0 laws proved)
- [0x05a6d0cd](pkg/0x05a6d0cd384bf4ebc144f0bc1b2d2350/index.html): DEFLATE, gzip, and zlib decoding (RFC 1951, 1952, 1950) over byte strings. Source: https://github.com/paymog/bend-net/tree/main/zlib (checks, 0/0 laws proved)
- [0xe160436f](pkg/0xe160436f9c54f3dba1bd01de3117931e/index.html): Match an HTTP method and path to a handler. Source: https://github.com/paymog/bend-net/tree/main/router (relies on unsafe/foreign, 0/0 laws proved)
- [0x58d07180](pkg/0x58d0718042afbd57ac3a0124bfc0570f/index.html): UTF-8 and hex encoding for byte strings. Source: https://github.com/paymog/bend-net/tree/main/encoding (relies on unsafe/foreign, 0/0 laws proved)
- [0x2213bb53](pkg/0x2213bb53d5eea36896815fc5b459bb6e/index.html): JSON values, parsed and encoded as RFC 8259. Source: https://github.com/paymog/bend-net/tree/main/json (relies on unsafe/foreign, 0/0 laws proved)
- [0x3f15daec](pkg/0x3f15daecd30cac66472f8e312600ba3b/index.html): URL parsing, resolution, and percent-encoding (RFC 3986). Source: https://github.com/paymog/bend-net/tree/main/url (checks, 0/0 laws proved)
- [0xd0e5dfa1](pkg/0xd0e5dfa14254dc2d25247f592b3afbe2/index.html): Byte-exact TCP, UDP, and TLS sockets. Source: https://github.com/paymog/bend-net (relies on unsafe/foreign, 0/0 laws proved)
- [0xdcce81c8](pkg/0xdcce81c809e7aeb2e2c2fb775d28e0dc/index.html): Byte buffers packed four bytes to a U32, with bounds-checked access. Source: https://github.com/paymog/bend-net/tree/main/bytes (checks, 0/0 laws proved)
- [0xea8f96f1](pkg/0xea8f96f102b76dde4994886007251d17/index.html): HTTP/1.1 client for http and https, with DNS and TLS. (fails, 0/0 laws proved)
- [0x70dd8459](pkg/0x70dd8459e2a121e9bbe04ea7e5f8ebb7/index.html): DNS A-record lookup over UDP. (fails, 0/0 laws proved)
- [0xd3297201](pkg/0xd32972012bf211e458b8725704c0a3d2/index.html): UTF-8 and hex encoding for byte strings. (relies on unsafe/foreign, 0/0 laws proved)
- [0x1c3bee00](pkg/0x1c3bee00e79d90afdfd0ca2806cab2ab/index.html): HTTP/1.1 client for http and https, with DNS and TLS. (fails, 0/0 laws proved)
- [0x39cbd6b8](pkg/0x39cbd6b8923682f1e4deba6ee6056b43/index.html): SPDX-License-Identifier: Apache-2.0 (relies on unsafe/foreign, 0/0 laws proved)
- [0xda09635d](pkg/0xda09635d9d188749939d77eb0a5769b8/index.html): SPDX-License-Identifier: Apache-2.0 (relies on unsafe/foreign, 0/0 laws proved)
- [0x2975cbb5](pkg/0x2975cbb5ff2b1033bbbf3c4756c85fbf/index.html): Byte buffers packed four bytes to a U32, with bounds-checked access. (checks, 0/0 laws proved)
- [0x8c53c875](pkg/0x8c53c8750d898bc2fa6d79766656fd5e/index.html): origin-form paths and query strings, percent-encoded. (checks, 0/0 laws proved)
- [0xc09c3785](pkg/0xc09c37851f45c571c2992d5a7025b443/index.html): DNS A-record lookup over UDP. (fails, 0/0 laws proved)
- [0xfa97cc82](pkg/0xfa97cc8246066bff0b9237beb9af14d2/index.html): DEFLATE, gzip, and zlib decoding (RFC 1951, 1952, 1950) over byte strings. (checks, 0/0 laws proved)
- [0x85ef478b](pkg/0x85ef478b6b1f5563321049b52b8cd0de/index.html): HTTP/1.1 client for http and https, with DNS and TLS. (fails, 0/0 laws proved)
- [0x087b02a9](pkg/0x087b02a9ebc7a23bd4c4c4a87bb1f0a0/index.html):  (checks, 0/0 laws proved)
- [0xa5cb3bcb](pkg/0xa5cb3bcb5934c7197270026df10c23dc/index.html):  (checks, 0/0 laws proved)
- [0x5f97f469](pkg/0x5f97f469d15c04a181dae0e4e64e1d3d/index.html):  (fails, 29/78 laws proved)
- [0x7205ddce](pkg/0x7205ddcee53cfdb6b62686553b824b13/index.html): Core module (checks, 0/0 laws proved)
- [0xe5e8eb84](pkg/0xe5e8eb844800e2501837cb316d9f2eae/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0x39d81662](pkg/0x39d8166231e68361eb37e8bef9287b8a/index.html): bend_tensors: dense linear algebra with shapes in the types. (relies on unsafe/foreign, 2/2 laws proved)
- [0x9ee2e9a2](pkg/0x9ee2e9a299991dcc089fe22c7f3ceb5f/index.html):  (fails, 0/0 laws proved)
- [0x9fc0cec7](pkg/0x9fc0cec754888f0fecabce899ddf2ee5/index.html):  (checks, 0/0 laws proved)
- [0x5ddb9073](pkg/0x5ddb90739641adb64ef94dd80c43f8d4/index.html): HTTP/1.1 client for http and https, with DNS and TLS. (fails, 0/0 laws proved)
- [0xee542cbb](pkg/0xee542cbbb769c012fbef4eac7dcba335/index.html): Match an HTTP method and path to a handler. (relies on unsafe/foreign, 0/0 laws proved)
- [0xcf34b194](pkg/0xcf34b194ae12d241582d6ab00bc424e2/index.html): Hex of each char as two nibbles. (relies on unsafe/foreign, 0/0 laws proved)
- [0x173c3ffc](pkg/0x173c3ffc0efe5dd0532b157e241ba1a7/index.html): DNS A-record lookup over UDP. (fails, 0/0 laws proved)
- [0x575208cf](pkg/0x575208cf32f35c10d64d398769aef1bc/index.html):  (fails, 0/0 laws proved)
- [0x92882293](pkg/0x92882293385d0b92a8d4a4a676bbf076/index.html): bend_tensors: dense linear algebra with shapes in the types. (relies on unsafe/foreign, 2/2 laws proved)
- [0x593a67a0](pkg/0x593a67a04352a25e9672d3dca521611e/index.html):  (fails, 0/0 laws proved)
- [0x60e7edc5](pkg/0x60e7edc53d00f69422a2eae5eb5a80e7/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0x5a0b4c61](pkg/0x5a0b4c611cf9941b168cfd98c67ef15c/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0xe7b62cfd](pkg/0xe7b62cfd70190f15c1a2ba2201be65b0/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0xcaf87330](pkg/0xcaf87330c1ce7eab5a1056378519aed8/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0x9c7a61e0](pkg/0x9c7a61e05d37da832cbd93dd7ae504d9/index.html):  (fails, 0/0 laws proved)
- [0x727917e5](pkg/0x727917e5dd8856a2c2be2f67d09d1479/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0x5118d7c8](pkg/0x5118d7c8d8a6cbdfca48647d1a5a6fde/index.html):  (fails, 0/0 laws proved)
- [0x05fa0e42](pkg/0x05fa0e42448e8e221df592b204de523d/index.html):  (fails, 0/0 laws proved)
- [0x6ab8d4bb](pkg/0x6ab8d4bb6183370cf3b7d5d7fda20aff/index.html): Adding zero changes nothing: one proof, published to test the hub (checks, 1/1 laws proved)
- [0xf5a52e74](pkg/0xf5a52e743a7f75c5d624c27c9e0ec81f/index.html):  (relies on unsafe/foreign, 5/5 laws proved)
- [0x9f15483a](pkg/0x9f15483a7cabc6e91e5092cc41829c43/index.html): bend-i64: a SIGNED 64-bit integer in pure Bend, two's complement over Word(64n). (checks, 1/1 laws proved)
- [0x0f1da4e8](pkg/0x0f1da4e80677f1d50e6f638a7d6f27ef/index.html): bend-u64: package entry for BendHub. (checks, 1/1 laws proved)
- [0xba6940aa](pkg/0xba6940aab8a335b70bf79944bd9b53c4/index.html): shake: CLI argument parser for Bend 2. `parse` reads argv against a Cli; (checks, 0/0 laws proved)
- [0x04b9afdd](pkg/0x04b9afdd6d6a56039c5ce6dfb1e55294/index.html): eztoml: the TOML slice for string-valued sectioned docs. A line is blank, a (checks, 0/0 laws proved)
- [0xa3c2445e](pkg/0xa3c2445eb44c5d8406e6229be518fccb/index.html): ezjson/lazy: a branch that does not run both ways. `stop` takes `a` when (checks, 0/0 laws proved)
- [0x010f315b](pkg/0x010f315b70bbac62ddd97e2e3de5f9cc/index.html): Heap: a priority queue, as a skew heap ordered by a le you pass in. (checks, 2/2 laws proved)
- [0x12ed1da2](pkg/0x12ed1da25aa4f36622687d603aeb34e0/index.html): Deque: a double-ended queue, as a front list and a reversed back list. (checks, 9/9 laws proved)
- [0x6ce79f1a](pkg/0x6ce79f1afc193de100ced4c79d7e2350/index.html):  (fails, 0/0 laws proved)
- [0x9bfd9d57](pkg/0x9bfd9d57916f3439316c2775fd1f10b4/index.html): snap: program runner for Bend 2. `run` (and `exec`) run a (relies on unsafe/foreign, 0/0 laws proved)
- [0xd66ee682](pkg/0xd66ee682d4ce8c656782ca9e0e4634cb/index.html): Base64 over byte lists (no IO, no TLS). (fails, 0/0 laws proved)
- [0xf45a7ca0](pkg/0xf45a7ca0255c5a863fba26e24971a8e0/index.html): DNS: one IPv4 dotted quad via getaddrinfo. A numeric host is Base's (relies on unsafe/foreign, 0/0 laws proved)
- [0x29742a6f](pkg/0x29742a6f4a4244bd67c547157a88b9de/index.html):  (checks, 0/0 laws proved)
- [0x1e0cc367](pkg/0x1e0cc3677d46304c29af14dfd5553385/index.html): bend-init: a proven Bend project in one command. (relies on unsafe/foreign, 0/0 laws proved)
- [0x44dbbb9f](pkg/0x44dbbb9fe7023c9f8cc89550f8343cd3/index.html): An unofficial Anthropic SDK for Bend, with typed requests, streaming, and tool calling. (fails, 0/0 laws proved)
- [0x7d1714d9](pkg/0x7d1714d98ca88352be07e0302e547a19/index.html): An unofficial OpenAI SDK for Bend, with typed requests, streaming, and tool calling. (fails, 0/0 laws proved)
- [0x729eecea](pkg/0x729eecea86ea5a2cdba3a2856a313bca/index.html): bolt/args: bolt's command line, read from `IO.args()`: `bolt [lint] (fails, 0/0 laws proved)
- [0x48cee57f](pkg/0x48cee57f42dae6ba4c727fbf982cdd4d/index.html):  (checks, 118/118 laws proved)
- [0xa2203fa8](pkg/0xa2203fa800985a49e0255336bb562c81/index.html):  (fails, 0/0 laws proved)
- [0x6d01c860](pkg/0x6d01c86071ce2c22092b722bcfc6eb98/index.html):  (fails, 0/0 laws proved)
- [0x2a08fdaf](pkg/0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/index.html):  (checks, 0/0 laws proved)
- [0x3db8fc3a](pkg/0x3db8fc3ab5ba012b34ead11a441dd57c/index.html):  (checks, 0/0 laws proved)
- [0x9ae568b3](pkg/0x9ae568b385f74ccab3450a43a203c1d1/index.html):  (checks, 0/0 laws proved)
- [0x871fbaa3](pkg/0x871fbaa34668931fc27fda009a9da24e/index.html):  (checks, 0/0 laws proved)
- [0xf6096dc9](pkg/0xf6096dc904e6bf39c5e2b709dd75eabe/index.html):  (fails, 0/0 laws proved)
- [0xda004b6e](pkg/0xda004b6e25aca0ce4a1c90a4af87bee0/index.html):  (fails, 0/0 laws proved)
- [0x1efee7e6](pkg/0x1efee7e6292e6267db2ca5c7e267456a/index.html):  (fails, 0/0 laws proved)
- [0x014d1ec5](pkg/0x014d1ec5074b05cc46cbfd40d4033fe1/index.html):  (checks, 16/16 laws proved)
- [0xfcfaebef](pkg/0xfcfaebefd5553d7c2403dcd5c4130b80/index.html):  (checks, 0/0 laws proved)
- [0x085d89db](pkg/0x085d89db9ee8a21865e959816bb20e5b/index.html): List.append, List.reverse and List.length — the lemmas Base does not ship. (checks, 0/0 laws proved)
- [0x89df026e](pkg/0x89df026edd2acf2673b5e469e037eaf1/index.html): String.append and String.reverse — the lemmas Base does not ship. (checks, 0/0 laws proved)
- [0x1ee1b5d0](pkg/0x1ee1b5d0c2a66817bf368b849f3117fc/index.html): Nat.add — the laws of Base's Nat.add, as a callable lemma set. (checks, 0/0 laws proved)
- [0xcea4c3f8](pkg/0xcea4c3f899099eb5eb7e6595eaa9971a/index.html): Nat.add — the first two lemmas: a + 0 == a, and (a + b) + c == a + (b + c). (checks, 0/0 laws proved)
- [0xfa577b9c](pkg/0xfa577b9cd7c0487dc8d5d772f4bba913/index.html):  (checks, 0/0 laws proved)
- [0x1f4d6c03](pkg/0x1f4d6c03caf955232d0b0dc6e6f36cf4/index.html): json.bend: A production-grade, highly reusable JSON library for Bend 2. (fails, 0/0 laws proved)
- [0xbdd0ed82](pkg/0xbdd0ed8296de5a3e70071442c332a8ec/index.html): GLIDER at scale — a soup census over the readable engine. (fails, 0/0 laws proved)
- [0xe6b82fa6](pkg/0xe6b82fa6c4c459c7023adf4b12a3ac46/index.html): LAWS.bend -- the laws of tinygrad, stated for the Bend port. (fails, 5/5 laws proved)
- [0x53dde92d](pkg/0x53dde92df75268075f1bc6c33ecbb079/index.html): bend-ml: machine learning in Bend 2. Parallel linear regression, batches, statistics, and metrics. (checks, 2/2 laws proved)
- [0x7e29b722](pkg/0x7e29b7224f420229b0320d908dff8769/index.html):  (checks, 2/2 laws proved)
- [0x22403a77](pkg/0x22403a77ee8da085cf4e1458c693703c/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0x18480396](pkg/0x184803968dae9580005e472b803ca2f1/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0xc383c1b9](pkg/0xc383c1b95391d033028a0003fad190e5/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0xac19a5c9](pkg/0xac19a5c9b4cef01e72dcbe9e5b881fc7/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0xa3e9a274](pkg/0xa3e9a274150f1e39ad6bd42f0b13518f/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0xe135341e](pkg/0xe135341ec9c8609f01ad79493ae16612/index.html):  (relies on unsafe/foreign, 0/0 laws proved)
- [0xdc5e239c](pkg/0xdc5e239cf0bf288e1735d5852f820f34/index.html):  (checks, 0/0 laws proved)
- [0xb10c0c8e](pkg/0xb10c0c8e52a7d95c49835e5b3323e0b1/index.html): Lorem ipsum text (checks, 0/0 laws proved)
- [0xa3f5e2fc](pkg/0xa3f5e2fc8515dbafa901157d6f7c8165/index.html):  (checks, 0/0 laws proved)
- [0xa7cf27ec](pkg/0xa7cf27ec43eaf330fae4f6dc71a5f4aa/index.html):  (checks, 7/7 laws proved)
- [0xf941a081](pkg/0xf941a081d658b4ed09b0d1c5a3d26f48/index.html): Executable laws for the strict, lowercase Hex codec. (checks, 26/26 laws proved)
- [0xab5b72f8](pkg/0xab5b72f8eac09d083aa0b359ebe0a970/index.html): Definitional laws for Vec2. (checks, 13/13 laws proved)
- [0xedb848fc](pkg/0xedb848fc7835fe5f9d34e575a7612788/index.html): Definitional laws for ColorSample (concrete seeds / ranges). (checks, 13/13 laws proved)
- [0xfd703773](pkg/0xfd7037736e4fa1794a671d0278638da7/index.html): Definitional laws for Prng (xorshift32 over U32). (checks, 9/9 laws proved)
- [0xc6ecb72f](pkg/0xc6ecb72f45a1b2f83318765698582f7f/index.html): Definitional laws for Color layer 1. (checks, 25/25 laws proved)
- [0xff0c68fa](pkg/0xff0c68fa4ce715b1f30ee5944192f0b7/index.html): Definitional laws for Crc32's Base-only List<&2, U32> API. (checks, 6/6 laws proved)
- [0xd9193642](pkg/0xd9193642e70279e288909ba354d1bb6a/index.html): Laws for Base64's Base-only List<&2, U32> API. (checks, 21/21 laws proved)
- [0x983079cc](pkg/0x983079cc7642e53dbc9aaf7fa2636b20/index.html): LAWS.bend -- the spec. A human writes this; the AI never touches it. (checks, 3/3 laws proved)
- [0x41cd6418](pkg/0x41cd64187181773244c93c026261ec96/index.html):  (checks, 0/0 laws proved)
- [0xf88f5d82](pkg/0xf88f5d82b9261703194f56692124890c/index.html):  (checks, 0/0 laws proved)
- [0x3b876eed](pkg/0x3b876eed3a748ea7fba8a7834d3c610b/index.html): Art: the tile set, and the board as one Image. (fails, 0/0 laws proved)
- [0xd5e93625](pkg/0xd5e9362591c1667c9894b781190e1ac9/index.html):  (checks, 33/33 laws proved)
- [0x4e6a6615](pkg/0x4e6a6615b0feb5ac27adea952228511e/index.html): The bend.how fixed-point library, as one package: `bend fixed.bend (fails, 0/0 laws proved)
- [0x6d15da24](pkg/0x6d15da24c6555ddee2181d043774a796/index.html): TinyChess — the board and the way the pieces move. (checks, 0/0 laws proved)
- [0x81d2c29d](pkg/0x81d2c29deebe358e50ee7ccba839dd8e/index.html): Prio — foundational U32 priority bag for Bend. (checks, 0/0 laws proved)
- [0x4281bc41](pkg/0x4281bc413bf6e8133778749c9d315cbb/index.html): Path — small Unix-style path helpers for Bend. (checks, 0/0 laws proved)
- [0xe91e783c](pkg/0xe91e783c63981e14b05dcd524cc215be/index.html): Deque — foundational two-list double-ended queue for Bend. (checks, 0/0 laws proved)
- [0xcf57eb9f](pkg/0xcf57eb9f3da1111716e82e5b91407ff9/index.html): Stack — foundational LIFO stack for Bend. (checks, 0/0 laws proved)
- [0x13e6f540](pkg/0x13e6f540958655a0df6133e871e59feb/index.html): Test — small Bool-check / proof-suite helper for Bend. (checks, 0/0 laws proved)
- [0x64899be1](pkg/0x64899be1eb10f0eeadb8816f50fda60d/index.html): Bytes — foundational byte-buffer for Bend. (checks, 0/0 laws proved)
- [0x59cd2884](pkg/0x59cd2884b6325289afe009cad736353a/index.html): Json v1 — leaf-only JSON AST + encode/decode for Bend. (checks, 0/0 laws proved)
- [0xd395e827](pkg/0xd395e827d4f2e55365bfb5173c04c4ee/index.html): Parse — tiny String parser combinators for Bend. (checks, 1/1 laws proved)
- [0x19fe2a68](pkg/0x19fe2a68aca335d0b2f345065652553f/index.html): Tree — foundational binary tree for Bend. (checks, 0/0 laws proved)
- [0x61995e10](pkg/0x61995e10548d45d2441f35cc3adcea7b/index.html): Queue — foundational two-list FIFO for Bend. (checks, 0/0 laws proved)
- [0x8d2ea062](pkg/0x8d2ea06277454348c1b3fdaf2e31ed48/index.html): NonEmpty (aka NEList) — foundational non-empty list for Bend. (checks, 0/0 laws proved)
- [0xb7229d74](pkg/0xb7229d741aa933e2e867adec2dc08b18/index.html):  (checks, 0/0 laws proved)
- [0x7a019df4](pkg/0x7a019df486729acf073c96a1eee7b4c2/index.html):  (checks, 0/0 laws proved)
- [0x0f883c5f](pkg/0x0f883c5f54a94db1185081a5171fcd7d/index.html):  (open laws/TODOs, 0/1 laws proved)