~/bend-docscommunity

bend-kit-http@0.32.0.0 relies on unsafe/foreign

0x6a946b742ab6f76f0ba5b90b14da52ad

Private bounded transport accounting. Replies contain copied data, never resources.

bend-kit-http@0.32.0.0 by paymog

Earlier versions (36)
Published
2026-10-09
Size
278,380 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 888 defs, 83 types

Import

import bend-kit-http@0.32.0.0/admission.bend as Admission
import 0x6a946b742ab6f76f0ba5b90b14da52ad/admission.bend as Admission
import bend-kit-http@0.32.0.0/completion.bend as Completion
import 0x6a946b742ab6f76f0ba5b90b14da52ad/completion.bend as Completion
import bend-kit-http@0.32.0.0/http.bend as Http
import 0x6a946b742ab6f76f0ba5b90b14da52ad/http.bend as Http

Modules

Dependencies

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
admission.bendrelies on unsafe/foreign 3 defs rely on unsafe or foreign code
defs: loop, open, open.owner
output
SOME PROOFS FAIL
Error: 3 defs rely on unsafe or foreign code:
- loop
- open
- open.owner
0.8 s
completion.bendchecks ALL PROOFS CHECK0.7 s
http.bendrelies on unsafe/foreign 295 defs rely on unsafe or foreign code
defs: 0x6a946b742ab6f76f0ba5b90b14da52ad/admission.loop, 0x6a946b742ab6f76f0ba5b90b14da52ad/admission.open, 0x6a946b742ab6f76f0ba5b90b14da52ad/admission.open.owner, 0x1afdf90dbe41c30b1df4594db039b02a/wire.connect, 0x1afdf90dbe41c30b1df4594db039b02a/wire.accept.deadline, 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send, 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.cert, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.ca, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn.ca, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.send, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.close, 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv.words, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words.deadline, 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from.words, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to.words, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv.words, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.send.words, 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.mono.raw, 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.wall.raw, 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.mono, 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.now, 0x584fc27920487ceab242392391418d7f/json.encb.go, 0x584fc27920487ceab242392391418d7f/json.encode.bytes, 0x9bf2c4100bf9328348d215e7ae1657de/dns.try.sent, 0x9bf2c4100bf9328348d215e7ae1657de/dns.try.send, 0x9bf2c4100bf9328348d215e7ae1657de/dns.try.once, 0x9bf2c4100bf9328348d215e7ae1657de/dns.tries, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.sock, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.id, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.ns, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.at, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n3, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n2b, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n2, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n1b, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.list, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.read, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.conf, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.dns, 0x9bf2c4100bf9328348d215e7ae1657de/dns.lookup.all, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.os, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.dns, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.from, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.text, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.opened, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.hosts, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.pick, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.ask, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.pure.pick, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.pure, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.pure, 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve, 0xcc180113489c489d3f5cdc852e6806f9/zlib.zstd.words, 0xcc180113489c489d3f5cdc852e6806f9/zlib.inflate.words, 0xcc180113489c489d3f5cdc852e6806f9/zlib.inflate.raw.words, 0xcc180113489c489d3f5cdc852e6806f9/zlib.gzip.words, 0xcc180113489c489d3f5cdc852e6806f9/zlib.brotli.words, 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.open, 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.new, 0xcc180113489c489d3f5cdc852e6806f9/zlib.inflate.new, 0xcc180113489c489d3f5cdc852e6806f9/zlib.brotli.new, 0xcc180113489c489d3f5cdc852e6806f9/zlib.zstd.new, 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.feed, 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.feed.words, 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.finish.id, 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.finish, io.recv.words, io.send.words, io.send.bytes, io.close, fetch.close, fetch.bad, fetch.shut, fetch.hold.go, fetch.hold, fetch.failout, fetch.loop, exchange.sent, exchange.go, exchange, conn.close, conns.cut, pool.give.of, pool.give, pool.close.go, pool.close, conn.tls, conn.h2.sent, conn.h2.start, conn.tls.protocol, conn.tls.alpn, conn.secure.store, conn.secure.file, conn.secure.no.cert, conn.secure.tls, conn.secure, conn.made, conn.open, conn.dial.time, conn.dial.with, conn.dial.try, conn.dial.after, conn.dial.more, conn.dial.fold, conn.dial.all, conn.open.all, h2.send.report, h2.send.one, h2.send.fold, h2.send, h2.fail, h2.loop, h2.exchange, proxy.connect.fail, proxy.connect.extra, proxy.connect.status, proxy.connect.finish, proxy.connect.loop, proxy.connect.sent, proxy.connect, proxy.route.tls, proxy.route.connected, proxy.route.open, route.open, conn.ex.h1, pool.keep.s, pool.keep.m, pool.keep, pool.after, pool.h2.keep, pool.h2.result, pool.h2.ex, pool.fresh.conn, pool.fresh, pool.stale, pool.reused, pool.idle.h1.bodies, pool.idle.h1, pool.idle.reuse, pool.idle, pool.origin.proxy, pool.origin.choice, pool.origin, pool.one.of, pool.one, pool.hops.one, pool.hops, ce.io.zstd, ce.io.br, ce.io.gz, ce.io.go, decoded.io.run, decoded.io.go, decoded.io, codings, fetch.final, pool.final, pool.how.enc, pool.how.cert, pool.how, pool.fetch.with, pool.fetch, pool.fetch.cert.with, pool.fetch.cert, pool.fetch.ca.with, pool.fetch.ca, fetch.all.job, fetch.all.close, fetch.all.done, fetch.all.go, fetch.all.of, fetch.all, pool.jar.final, pool.jar.enc, pool.fetch.jar, fetch.end, fetch.how, fetch.with, fetch.cert.with, fetch.cert, fetch.ca.with, fetch.ca, fetch, get, post.json, retry.sleep, retry.one, retry.go, retry.start, fetch.retry, stream.feed.step, stream.feed.one, stream.feed.all, stream.feed.st, stream.finish, stream.read, stream.close, stream.head, stream.sent, stream.conn, stream.origin, stream.one.of, stream.one, stream.hops, stream.open.zstd, stream.open.br, stream.open.gz, stream.open.step, stream.open.one, stream.open.all, stream.init.opened, stream.init.known, stream.init.st, stream.init, open.raw.with, open.raw, open.with.enc, open.with, open, up.conn, up.origin, up.url, upload.with, upload, up.put, up.chunk, upload.write, upload.finish, bounded.send.ready, bounded.send, reply.drain, reply.sent.close, reply.sent.observe, reply_fail, talk.send, talk.respond, talk.cont, talk.read.loop, talk.read, talk.recv.selected, talk.recv, admission.reject, admission.request, talk, conn.admitted, conn, server.started, server.start.valid, server.start, server.accept.loop, server.accept.operation, server.accept, server.run.loop, server.run, serve.stream.respond, serve.stream.talk, server.stream.run, serve.stream.started, serve.stream.config, writer.raw, writer.chunk, writer.known, writer.chunk.go, writer.write.mode, writer.write, writer.finish.mode, writer.finish, serve.write.returned, serve.write.finish, serve.write.body, serve.write.open, serve.write.send.plan, serve.write.send, admission.write, serve.write.talk, server.write.run, serve.write.started, serve.write.config, serve.started, serve.on.with, serve.on, serve.with, serve, serve.stream.on.with, serve.stream.with, serve.write.on.with, serve.write.with
output
SOME PROOFS FAIL
Error: 295 defs rely on unsafe or foreign code:
- 0x6a946b742ab6f76f0ba5b90b14da52ad/admission.loop
- 0x6a946b742ab6f76f0ba5b90b14da52ad/admission.open
- 0x6a946b742ab6f76f0ba5b90b14da52ad/admission.open.owner
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.connect
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.accept.deadline
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.cert
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.ca
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn.ca
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.send
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.close
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv.words
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words.deadline
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from.words
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to.words
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv.words
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.send.words
- 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.mono.raw
- 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.wall.raw
- 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.mono
- 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.now
- 0x584fc27920487ceab242392391418d7f/json.encb.go
- 0x584fc27920487ceab242392391418d7f/json.encode.bytes
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.try.sent
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.try.send
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.try.once
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.tries
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.sock
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.id
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.ns
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.at
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n3
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n2b
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n2
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n1b
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.list
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.read
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.conf
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.dns
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.lookup.all
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.os
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.dns
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.from
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.text
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.opened
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.hosts
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.pick
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.ask
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.pure.pick
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.pure
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.pure
- 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.zstd.words
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.inflate.words
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.inflate.raw.words
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.gzip.words
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.brotli.words
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.open
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.new
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.inflate.new
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.brotli.new
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.zstd.new
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.feed
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.feed.words
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.finish.id
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.finish
- io.recv.words
- io.send.words
- io.send.bytes
- io.close
- fetch.close
- fetch.bad
- fetch.shut
- fetch.hold.go
- fetch.hold
- fetch.failout
- fetch.loop
- exchange.sent
- exchange.go
- exchange
- conn.close
- conns.cut
- pool.give.of
- pool.give
- pool.close.go
- pool.close
- conn.tls
- conn.h2.sent
- conn.h2.start
- conn.tls.protocol
- conn.tls.alpn
- conn.secure.store
- conn.secure.file
- conn.secure.no.cert
- conn.secure.tls
- conn.secure
- conn.made
- conn.open
- conn.dial.time
- conn.dial.with
- conn.dial.try
- conn.dial.after
- conn.dial.more
- conn.dial.fold
- conn.dial.all
- conn.open.all
- h2.send.report
- h2.send.one
- h2.send.fold
- h2.send
- h2.fail
- h2.loop
- h2.exchange
- proxy.connect.fail
- proxy.connect.extra
- proxy.connect.status
- proxy.connect.finish
- proxy.connect.loop
- proxy.connect.sent
- proxy.connect
- proxy.route.tls
- proxy.route.connected
- proxy.route.open
- route.open
- conn.ex.h1
- pool.keep.s
- pool.keep.m
- pool.keep
- pool.after
- pool.h2.keep
- pool.h2.result
- pool.h2.ex
- pool.fresh.conn
- pool.fresh
- pool.stale
- pool.reused
- pool.idle.h1.bodies
- pool.idle.h1
- pool.idle.reuse
- pool.idle
- pool.origin.proxy
- pool.origin.choice
- pool.origin
- pool.one.of
- pool.one
- pool.hops.one
- pool.hops
- ce.io.zstd
- ce.io.br
- ce.io.gz
- ce.io.go
- decoded.io.run
- decoded.io.go
- decoded.io
- codings
- fetch.final
- pool.final
- pool.how.enc
- pool.how.cert
- pool.how
- pool.fetch.with
- pool.fetch
- pool.fetch.cert.with
- pool.fetch.cert
- pool.fetch.ca.with
- pool.fetch.ca
- fetch.all.job
- fetch.all.close
- fetch.all.done
- fetch.all.go
- fetch.all.of
- fetch.all
- pool.jar.final
- pool.jar.enc
- pool.fetch.jar
- fetch.end
- fetch.how
- fetch.with
- fetch.cert.with
- fetch.cert
- fetch.ca.with
- fetch.ca
- fetch
- get
- post.json
- retry.sleep
- retry.one
- retry.go
- retry.start
- fetch.retry
- stream.feed.step
- stream.feed.one
- stream.feed.all
- stream.feed.st
- stream.finish
- stream.read
- stream.close
- stream.head
- stream.sent
- stream.conn
- stream.origin
- stream.one.of
- stream.one
- stream.hops
- stream.open.zstd
- stream.open.br
- stream.open.gz
- stream.open.step
- stream.open.one
- stream.open.all
- stream.init.opened
- stream.init.known
- stream.init.st
- stream.init
- open.raw.with
- open.raw
- open.with.enc
- open.with
- open
- up.conn
- up.origin
- up.url
- upload.with
- upload
- up.put
- up.chunk
- upload.write
- upload.finish
- bounded.send.ready
- bounded.send
- reply.drain
- reply.sent.close
- reply.sent.observe
- reply_fail
- talk.send
- talk.respond
- talk.cont
- talk.read.loop
- talk.read
- talk.recv.selected
- talk.recv
- admission.reject
- admission.request
- talk
- conn.admitted
- conn
- server.started
- server.start.valid
- server.start
- server.accept.loop
- server.accept.operation
- server.accept
- server.run.loop
- server.run
- serve.stream.respond
- serve.stream.talk
- server.stream.run
- serve.stream.started
- serve.stream.config
- writer.raw
- writer.chunk
- writer.known
- writer.chunk.go
- writer.write.mode
- writer.write
- writer.finish.mode
- writer.finish
- serve.write.returned
- serve.write.finish
- serve.write.body
- serve.write.open
- serve.write.send.plan
- serve.write.send
- admission.write
- serve.write.talk
- server.write.run
- serve.write.started
- serve.write.config
- serve.started
- serve.on.with
- serve.on
- serve.with
- serve
- serve.stream.on.with
- serve.stream.with
- serve.write.on.with
- serve.write.with
19.3 s