~/bend-docscommunity

qasim-bend-kit@0.1.0.2 timeout

0xaca801afcf3e822677fd6d06895d2c71

Library correctness laws and integration obligations.

qasim-bend-kit@0.1.0.2 by qasimkamran

Earlier versions (1)
Published
2026-10-06
Size
1,424,042 bytes, 60 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
95 laws (6 proved), 1455 defs, 42 types

Import

import qasim-bend-kit@0.1.0.2/LAWS.bend as LAWS
import 0xaca801afcf3e822677fd6d06895d2c71/LAWS.bend as LAWS
import qasim-bend-kit@0.1.0.2/PROOF.bend as PROOF
import 0xaca801afcf3e822677fd6d06895d2c71/PROOF.bend as PROOF
import qasim-bend-kit@0.1.0.2/bend_libs.bend as Bend_libs
import 0xaca801afcf3e822677fd6d06895d2c71/bend_libs.bend as Bend_libs
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCM
import 0xaca801afcf3e822677fd6d06895d2c71/libs/AES256GCM.bend as AES256GCM
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCore
import 0xaca801afcf3e822677fd6d06895d2c71/libs/AES256GCMCore.bend as AES256GCMCore
import qasim-bend-kit@0.1.0.2/libs/AES256SBox.bend as AES256SBox
import 0xaca801afcf3e822677fd6d06895d2c71/libs/AES256SBox.bend as AES256SBox
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as JSON
import 0xaca801afcf3e822677fd6d06895d2c71/libs/JSON.bend as JSON
import qasim-bend-kit@0.1.0.2/libs/URL.bend as URL
import 0xaca801afcf3e822677fd6d06895d2c71/libs/URL.bend as URL
import qasim-bend-kit@0.1.0.2/libs/wire/wire.bend as Wire
import 0xaca801afcf3e822677fd6d06895d2c71/libs/wire/wire.bend as Wire
import qasim-bend-kit@0.1.0.2/proof/AES_BlockBridgeProof.bend as AES_BlockBridgeProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_BlockBridgeProof.bend as AES_BlockBridgeProof
import qasim-bend-kit@0.1.0.2/proof/AES_CanonicalProof.bend as AES_CanonicalProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_CanonicalProof.bend as AES_CanonicalProof
import qasim-bend-kit@0.1.0.2/proof/AES_CertificateProof.bend as AES_CertificateProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_CertificateProof.bend as AES_CertificateProof
import qasim-bend-kit@0.1.0.2/proof/AES_ConstructorProof.bend as AES_ConstructorProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_ConstructorProof.bend as AES_ConstructorProof
import qasim-bend-kit@0.1.0.2/proof/AES_CoreTagProof.bend as AES_CoreTagProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_CoreTagProof.bend as AES_CoreTagProof
import qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof.bend as AES_EncryptProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_EncryptProof.bend as AES_EncryptProof
import qasim-bend-kit@0.1.0.2/proof/AES_EnvelopeProof.bend as AES_EnvelopeProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_EnvelopeProof.bend as AES_EnvelopeProof
import qasim-bend-kit@0.1.0.2/proof/AES_IdentityProof.bend as AES_IdentityProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_IdentityProof.bend as AES_IdentityProof
import qasim-bend-kit@0.1.0.2/proof/AES_KnownAnswerProof.bend as AES_KnownAnswerProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_KnownAnswerProof.bend as AES_KnownAnswerProof
import qasim-bend-kit@0.1.0.2/proof/AES_LengthLimitProof.bend as AES_LengthLimitProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_LengthLimitProof.bend as AES_LengthLimitProof
import qasim-bend-kit@0.1.0.2/proof/AES_MaskedXorProof.bend as AES_MaskedXorProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_MaskedXorProof.bend as AES_MaskedXorProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistBlockComposeProof.bend as AES_NistBlockComposeProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistBlockComposeProof.bend as AES_NistBlockComposeProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistBlockProof.bend as AES_NistBlockProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistBlockProof.bend as AES_NistBlockProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr2BlockProof.bend as AES_NistCtr2BlockProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistCtr2BlockProof.bend as AES_NistCtr2BlockProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr2ComposeProof.bend as AES_NistCtr2ComposeProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistCtr2ComposeProof.bend as AES_NistCtr2ComposeProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr3BlockProof.bend as AES_NistCtr3BlockProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistCtr3BlockProof.bend as AES_NistCtr3BlockProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr3ComposeProof.bend as AES_NistCtr3ComposeProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistCtr3ComposeProof.bend as AES_NistCtr3ComposeProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr4BlockProof.bend as AES_NistCtr4BlockProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistCtr4BlockProof.bend as AES_NistCtr4BlockProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr4ComposeProof.bend as AES_NistCtr4ComposeProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistCtr4ComposeProof.bend as AES_NistCtr4ComposeProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr5BlockProof.bend as AES_NistCtr5BlockProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistCtr5BlockProof.bend as AES_NistCtr5BlockProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr5ComposeProof.bend as AES_NistCtr5ComposeProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistCtr5ComposeProof.bend as AES_NistCtr5ComposeProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtrProof.bend as AES_NistCtrProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistCtrProof.bend as AES_NistCtrProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistHashBlockComposeProof.bend as AES_NistHashBlockComposeProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistHashBlockComposeProof.bend as AES_NistHashBlockComposeProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistHashBlockProof.bend as AES_NistHashBlockProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistHashBlockProof.bend as AES_NistHashBlockProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistInputProof.bend as AES_NistInputProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistInputProof.bend as AES_NistInputProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistKeyScheduleProof.bend as AES_NistKeyScheduleProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistKeyScheduleProof.bend as AES_NistKeyScheduleProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof.bend as AES_NistObservationProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistObservationProof.bend as AES_NistObservationProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistTagProof.bend as AES_NistTagProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistTagProof.bend as AES_NistTagProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistTamperVectorProof.bend as AES_NistTamperVectorProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistTamperVectorProof.bend as AES_NistTamperVectorProof
import qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof.bend as AES_NistVectorProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_NistVectorProof.bend as AES_NistVectorProof
import qasim-bend-kit@0.1.0.2/proof/AES_StringEqProof.bend as AES_StringEqProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_StringEqProof.bend as AES_StringEqProof
import qasim-bend-kit@0.1.0.2/proof/AES_TagCompareProof.bend as AES_TagCompareProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_TagCompareProof.bend as AES_TagCompareProof
import qasim-bend-kit@0.1.0.2/proof/AES_TagRejectProof.bend as AES_TagRejectProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_TagRejectProof.bend as AES_TagRejectProof
import qasim-bend-kit@0.1.0.2/proof/AES_TamperProof.bend as AES_TamperProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_TamperProof.bend as AES_TamperProof
import qasim-bend-kit@0.1.0.2/proof/AES_TraceBridgeProof.bend as AES_TraceBridgeProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_TraceBridgeProof.bend as AES_TraceBridgeProof
import qasim-bend-kit@0.1.0.2/proof/AES_TraceProof.bend as AES_TraceProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_TraceProof.bend as AES_TraceProof
import qasim-bend-kit@0.1.0.2/proof/AES_ZipLengthProof.bend as AES_ZipLengthProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/AES_ZipLengthProof.bend as AES_ZipLengthProof
import qasim-bend-kit@0.1.0.2/proof/JSON_AssemblyProof.bend as JSON_AssemblyProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/JSON_AssemblyProof.bend as JSON_AssemblyProof
import qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend as JSON_LexWhitespaceProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/JSON_LexWhitespaceProof.bend as JSON_LexWhitespaceProof
import qasim-bend-kit@0.1.0.2/proof/JSON_ListProof.bend as JSON_ListProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/JSON_ListProof.bend as JSON_ListProof
import qasim-bend-kit@0.1.0.2/proof/JSON_NumberLexProof.bend as JSON_NumberLexProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/JSON_NumberLexProof.bend as JSON_NumberLexProof
import qasim-bend-kit@0.1.0.2/proof/JSON_ParallelProof.bend as JSON_ParallelProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/JSON_ParallelProof.bend as JSON_ParallelProof
import qasim-bend-kit@0.1.0.2/proof/JSON_PrimitiveProof.bend as JSON_PrimitiveProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/JSON_PrimitiveProof.bend as JSON_PrimitiveProof
import qasim-bend-kit@0.1.0.2/proof/JSON_RenderLexProof.bend as JSON_RenderLexProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/JSON_RenderLexProof.bend as JSON_RenderLexProof
import qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend as JSON_SourceProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/JSON_SourceProof.bend as JSON_SourceProof
import qasim-bend-kit@0.1.0.2/proof/JSON_StringProof.bend as JSON_StringProof
import 0xaca801afcf3e822677fd6d06895d2c71/proof/JSON_StringProof.bend as JSON_StringProof
import qasim-bend-kit@0.1.0.2/usage/AES_NistTest.bend as AES_NistTest
import 0xaca801afcf3e822677fd6d06895d2c71/usage/AES_NistTest.bend as AES_NistTest
import qasim-bend-kit@0.1.0.2/usage/JSON_GPU.bend as JSON_GPU
import 0xaca801afcf3e822677fd6d06895d2c71/usage/JSON_GPU.bend as JSON_GPU
import qasim-bend-kit@0.1.0.2/usage/JSON_SafeTest.bend as JSON_SafeTest
import 0xaca801afcf3e822677fd6d06895d2c71/usage/JSON_SafeTest.bend as JSON_SafeTest

Modules

Other files

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
LAWS.bendopen laws/TODOs 89 TODOs found.
output
SOME PROOFS FAIL
Error: 89 TODOs found.
The code is incomplete, and not a valid proof yet.
4.7 s
PROOF.bendtimeout no answer within 180 s180.1 s
bend_libs.bendtimeout no answer within 180 s180.2 s
libs/AES256GCM.bendchecks ALL PROOFS CHECK2.0 s
libs/AES256GCMCore.bendchecks ALL PROOFS CHECK1.2 s
libs/AES256SBox.bendchecks ALL PROOFS CHECK0.9 s
libs/JSON.bendchecks ALL PROOFS CHECK4.1 s
libs/URL.bendchecks ALL PROOFS CHECK0.6 s
libs/wire/wire.bendrelies on unsafe/foreign 19 defs rely on unsafe or foreign code
defs: 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
output
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
0.7 s
proof/AES_BlockBridgeProof.bendchecks ALL PROOFS CHECK57.5 s
proof/AES_CanonicalProof.bendchecks ALL PROOFS CHECK1.6 s
proof/AES_CertificateProof.bendchecks ALL PROOFS CHECK0.4 s
proof/AES_ConstructorProof.bendchecks ALL PROOFS CHECK1.5 s
proof/AES_CoreTagProof.bendchecks ALL PROOFS CHECK1.4 s
proof/AES_EncryptProof.bendchecks ALL PROOFS CHECK3.6 s
proof/AES_EnvelopeProof.bendchecks ALL PROOFS CHECK2.1 s
proof/AES_IdentityProof.bendchecks ALL PROOFS CHECK3.6 s
proof/AES_KnownAnswerProof.bendchecks ALL PROOFS CHECK1.4 s
proof/AES_LengthLimitProof.bendchecks ALL PROOFS CHECK1.5 s
proof/AES_MaskedXorProof.bendchecks ALL PROOFS CHECK3.1 s
proof/AES_NistBlockComposeProof.bendchecks ALL PROOFS CHECK70.9 s
proof/AES_NistBlockProof.bendchecks ALL PROOFS CHECK15.5 s
proof/AES_NistCtr2BlockProof.bendchecks ALL PROOFS CHECK15.5 s
proof/AES_NistCtr2ComposeProof.bendchecks ALL PROOFS CHECK72.3 s
proof/AES_NistCtr3BlockProof.bendchecks ALL PROOFS CHECK15.6 s
proof/AES_NistCtr3ComposeProof.bendchecks ALL PROOFS CHECK72.0 s
proof/AES_NistCtr4BlockProof.bendchecks ALL PROOFS CHECK17.1 s
proof/AES_NistCtr4ComposeProof.bendchecks ALL PROOFS CHECK68.4 s
proof/AES_NistCtr5BlockProof.bendchecks ALL PROOFS CHECK16.2 s
proof/AES_NistCtr5ComposeProof.bendchecks ALL PROOFS CHECK71.1 s
proof/AES_NistCtrProof.bendchecks ALL PROOFS CHECK125.4 s
proof/AES_NistHashBlockComposeProof.bendchecks ALL PROOFS CHECK70.7 s
proof/AES_NistHashBlockProof.bendchecks ALL PROOFS CHECK16.2 s
proof/AES_NistInputProof.bendopen laws/TODOs 89 TODOs found.
output
SOME PROOFS FAIL
Error: 89 TODOs found.
The code is incomplete, and not a valid proof yet.
3.2 s
proof/AES_NistKeyScheduleProof.bendchecks ALL PROOFS CHECK4.5 s
proof/AES_NistObservationProof.bendopen laws/TODOs 89 TODOs found.
output
SOME PROOFS FAIL
Error: 89 TODOs found.
The code is incomplete, and not a valid proof yet.
3.5 s
proof/AES_NistTagProof.bendchecks ALL PROOFS CHECK84.6 s
proof/AES_NistTamperVectorProof.bendtimeout no answer within 180 s180.2 s
proof/AES_NistVectorProof.bendtimeout no answer within 180 s180.3 s
proof/AES_StringEqProof.bendchecks ALL PROOFS CHECK0.5 s
proof/AES_TagCompareProof.bendchecks ALL PROOFS CHECK1.6 s
proof/AES_TagRejectProof.bendchecks ALL PROOFS CHECK1.5 s
proof/AES_TamperProof.bendchecks ALL PROOFS CHECK3.9 s
proof/AES_TraceBridgeProof.bendchecks ALL PROOFS CHECK0.8 s
proof/AES_TraceProof.bendchecks ALL PROOFS CHECK1.8 s
proof/AES_ZipLengthProof.bendchecks ALL PROOFS CHECK0.8 s
proof/JSON_AssemblyProof.bendchecks ALL PROOFS CHECK4.6 s
proof/JSON_LexWhitespaceProof.bendchecks ALL PROOFS CHECK5.0 s
proof/JSON_ListProof.bendchecks ALL PROOFS CHECK0.5 s
proof/JSON_NumberLexProof.bendchecks ALL PROOFS CHECK4.6 s
proof/JSON_ParallelProof.bendchecks ALL PROOFS CHECK3.5 s
proof/JSON_PrimitiveProof.bendchecks ALL PROOFS CHECK3.1 s
proof/JSON_RenderLexProof.bendchecks ALL PROOFS CHECK5.4 s
proof/JSON_SourceProof.bendchecks ALL PROOFS CHECK5.3 s
proof/JSON_StringProof.bendchecks ALL PROOFS CHECK5.6 s
usage/AES_NistTest.bendchecks ALL PROOFS CHECK1.4 s
usage/JSON_GPU.bendchecks ALL PROOFS CHECK3.6 s
usage/JSON_SafeTest.bendchecks ALL PROOFS CHECK3.7 s