qasim-bend-kit@0.1.0.0 relies on unsafe/foreign

0x0b4f68372ee8cbe03f4a66931f85cfdc

Library correctness laws and integration obligations.

qasim-bend-kit@0.1.0.0 by qasimkamran; qasim-bend-kit@0.1.0.1 by qasimkamran

Published

2026-10-02

Size

842,180 bytes, 19 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

41 laws (41 proved), 358 defs, 30 types

Import

import qasim-bend-kit@0.1.0.0/LAWS.bend as LAWS
import qasim-bend-kit@0.1.0.1/LAWS.bend as LAWS
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/LAWS.bend as LAWS
import qasim-bend-kit@0.1.0.0/PROOF.bend as PROOF
import qasim-bend-kit@0.1.0.1/PROOF.bend as PROOF
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/PROOF.bend as PROOF
import qasim-bend-kit@0.1.0.0/bend_libs.bend as Bend_libs
import qasim-bend-kit@0.1.0.1/bend_libs.bend as Bend_libs
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/bend_libs.bend as Bend_libs
import qasim-bend-kit@0.1.0.0/libs/JSON.bend as JSON
import qasim-bend-kit@0.1.0.1/libs/JSON.bend as JSON
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/JSON.bend as JSON
import qasim-bend-kit@0.1.0.0/libs/URL.bend as URL
import qasim-bend-kit@0.1.0.1/libs/URL.bend as URL
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/URL.bend as URL
import qasim-bend-kit@0.1.0.0/libs/wire/wire.bend as Wire
import qasim-bend-kit@0.1.0.1/libs/wire/wire.bend as Wire
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.bend as Wire
import qasim-bend-kit@0.1.0.0/proof/JSON_AssemblyProof.bend as JSON_AssemblyProof
import qasim-bend-kit@0.1.0.1/proof/JSON_AssemblyProof.bend as JSON_AssemblyProof
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/proof/JSON_AssemblyProof.bend as JSON_AssemblyProof
import qasim-bend-kit@0.1.0.0/proof/JSON_LexWhitespaceProof.bend as JSON_LexWhitespaceProof
import qasim-bend-kit@0.1.0.1/proof/JSON_LexWhitespaceProof.bend as JSON_LexWhitespaceProof
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/proof/JSON_LexWhitespaceProof.bend as JSON_LexWhitespaceProof
import qasim-bend-kit@0.1.0.0/proof/JSON_ListProof.bend as JSON_ListProof
import qasim-bend-kit@0.1.0.1/proof/JSON_ListProof.bend as JSON_ListProof
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/proof/JSON_ListProof.bend as JSON_ListProof
import qasim-bend-kit@0.1.0.0/proof/JSON_NumberLexProof.bend as JSON_NumberLexProof
import qasim-bend-kit@0.1.0.1/proof/JSON_NumberLexProof.bend as JSON_NumberLexProof
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/proof/JSON_NumberLexProof.bend as JSON_NumberLexProof
import qasim-bend-kit@0.1.0.0/proof/JSON_ParallelProof.bend as JSON_ParallelProof
import qasim-bend-kit@0.1.0.1/proof/JSON_ParallelProof.bend as JSON_ParallelProof
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/proof/JSON_ParallelProof.bend as JSON_ParallelProof
import qasim-bend-kit@0.1.0.0/proof/JSON_PrimitiveProof.bend as JSON_PrimitiveProof
import qasim-bend-kit@0.1.0.1/proof/JSON_PrimitiveProof.bend as JSON_PrimitiveProof
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/proof/JSON_PrimitiveProof.bend as JSON_PrimitiveProof
import qasim-bend-kit@0.1.0.0/proof/JSON_RenderLexProof.bend as JSON_RenderLexProof
import qasim-bend-kit@0.1.0.1/proof/JSON_RenderLexProof.bend as JSON_RenderLexProof
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/proof/JSON_RenderLexProof.bend as JSON_RenderLexProof
import qasim-bend-kit@0.1.0.0/proof/JSON_SourceProof.bend as JSON_SourceProof
import qasim-bend-kit@0.1.0.1/proof/JSON_SourceProof.bend as JSON_SourceProof
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/proof/JSON_SourceProof.bend as JSON_SourceProof
import qasim-bend-kit@0.1.0.0/proof/JSON_StringProof.bend as JSON_StringProof
import qasim-bend-kit@0.1.0.1/proof/JSON_StringProof.bend as JSON_StringProof
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/proof/JSON_StringProof.bend as JSON_StringProof
import qasim-bend-kit@0.1.0.0/usage/JSON_GPU.bend as JSON_GPU
import qasim-bend-kit@0.1.0.1/usage/JSON_GPU.bend as JSON_GPU
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/usage/JSON_GPU.bend as JSON_GPU
import qasim-bend-kit@0.1.0.0/usage/JSON_SafeTest.bend as JSON_SafeTest
import qasim-bend-kit@0.1.0.1/usage/JSON_SafeTest.bend as JSON_SafeTest
import 0x0b4f68372ee8cbe03f4a66931f85cfdc/usage/JSON_SafeTest.bend as JSON_SafeTest

Modules

• LAWS.bend 41 declarations, 41 laws — Library correctness laws and integration obligations.
• PROOF.bend 19 declarations
• bend_libs.bend 0 declarations
• libs/JSON.bend 235 declarations
• libs/URL.bend 7 declarations
• libs/wire/wire.bend 19 declarations — Byte-exact TCP, UDP, and TLS sockets. Source: https://github.com/paymog/bend-kit/tree/main/wire
• proof/JSON_AssemblyProof.bend 15 declarations
• proof/JSON_LexWhitespaceProof.bend 33 declarations
• proof/JSON_ListProof.bend 7 declarations
• proof/JSON_NumberLexProof.bend 16 declarations
• proof/JSON_ParallelProof.bend 7 declarations
• proof/JSON_PrimitiveProof.bend 14 declarations
• proof/JSON_RenderLexProof.bend 42 declarations — Lexer/renderer bridge. All recursion follows the JSON value structure.
• proof/JSON_SourceProof.bend 97 declarations
• proof/JSON_StringProof.bend 10 declarations
• usage/JSON_GPU.bend 5 declarations
• usage/JSON_SafeTest.bend 7 declarations

Other files

• libs/wire/effs/wire.c 30,384 bytes
• libs/wire/effs/wire.js 19,671 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 41 TODOs found.
The code is incomplete, and not a valid proof yet.

SOME PROOFS FAIL
Error: 19 defs rely on unsafe or foreign code:
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.connect
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.recv
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.send
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.send.timeout
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.recv_from
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.send_to
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.tls.connect
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.tls.connect.cert
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.tls.connect.alpn
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.tls.send
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.tls.send.timeout
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.tls.recv
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.tls.close
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.recv.words
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.send.words
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.recv_from.words
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.send_to.words
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.tls.recv.words
- 0x0b4f68372ee8cbe03f4a66931f85cfdc/libs/wire/wire.tls.send.words

SOME PROOFS FAIL
Error: 19 defs rely on unsafe or foreign code:
- connect
- recv
- send
- send.timeout
- recv_from
- send_to
- tls.connect
- tls.connect.cert
- tls.connect.alpn
- tls.send
- tls.send.timeout
- tls.recv
- tls.close
- recv.words
- send.words
- recv_from.words
- send_to.words
- tls.recv.words
- tls.send.words