qasim-bend-kit
Search uses release 0.1.0.2 · 1,592 definitions
Definitions (1,592)
- law stringify_parse_roundtrip
- law parses_null
- law parses_true
- law parses_false
- law accepts_leading_space
- law accepts_trailing_space
- law accepts_surrounding_space
- law rejects_trailing_garbage
- law rejects_second_value
- law rejects_invalid_null
- law rejects_invalid_true
- law rejects_invalid_false
- law rejects_empty_input
- law rejects_whitespace_only
- law parses_empty_string
- law parses_simple_string
- law parses_newline_escape
- law parses_quote_escape
- law parses_backslash_escape
- law rejects_unterminated_string
- law parses_empty_array
- law parses_literal_array
- law rejects_array_trailing_comma
- law parses_empty_object
- law rejects_unquoted_object_key
- law rejects_object_trailing_comma
- law parses_nested_containers
- law rejects_non_json_whitespaceJSON permits only space, tab, carriage return and line feed as whitespace.
- law rejects_raw_string_controlA raw control character is forbidden inside a JSON string.
- law parses_unicode_escapeUnicode escapes decode to their scalar value, including a surrogate pair.
- law parses_unicode_surrogate_pair
- law parses_fraction_and_exponentThis representative decimal/exponent form is accepted.
- law rejects_malformed_number_forms
- law preserves_array_orderArrays retain source order.
- law preserves_object_order_and_duplicates
- law gpu_single_matches_cpuGPU entry points have the same specified results as their CPU counterparts.
- law preserves_number_lexeme
- law gpu_batch_matches_cpu
- law url_component_asciiEncode each UTF-8 byte with an uppercase percent escape.
- law url_component_reserved
- law url_component_utf8
- law aes256gcm_accepts_32_byte_key
- law aes256gcm_rejects_wrong_key_length
- law aes256gcm_rejects_non_byte_key
- law aes256gcm_accepts_12_byte_nonce
- law aes256gcm_rejects_wrong_nonce_length
- law aes256gcm_rejects_non_byte_nonce
- law aes256gcm_encrypts_valid_inputThis prevents satisfying the conditional roundtrip by always failing.
- law aes256gcm_rejects_invalid_plaintext
- law aes256gcm_rejects_invalid_aad
- law aes256gcm_decrypt_rejects_invalid_aad
- law aes256gcm_roundtrip
- law aes256gcm_preserves_nonce
- law aes256gcm_preserves_plaintext_length
- law aes256gcm_rejects_changed_tagFor fixed key, nonce, AAD, and ciphertext there is exactly one valid tag.
- law aes256gcm_envelope_roundtrip
- law aes256gcm_envelope_is_canonical
- law aes256gcm_rejects_empty_envelope
- law aes256gcm_rejects_unknown_version
- law aes256gcm_rejects_missing_version
- law aes256gcm_rejects_short_nonce
- law aes256gcm_rejects_long_nonce
- law aes256gcm_rejects_short_tag
- law aes256gcm_rejects_long_tag
- law aes256gcm_rejects_odd_ciphertext_hex
- law aes256gcm_rejects_non_hex_ciphertext
- law aes256gcm_rejects_non_hex_nonce
- law aes256gcm_rejects_non_hex_tag
- law aes256gcm_rejects_uppercase_hex
- law aes256gcm_rejects_extra_field
- law aes256gcm_rejects_missing_ciphertext_field
- law aes256gcm_rejects_trailing_garbage
- law aes256gcm_rejects_surrounding_whitespace
- def aes256gcm_nist_key
- def aes256gcm_nist_nonce
- def aes256gcm_nist_empty
- def aes256gcm_nist_encrypt_observationCompare the protocol-visible result while leaving internal certificate terms out of the NIST contract: success, nonce bytes, ciphertext, and tag bytes.
- law aes256gcm_nist_empty_encrypt
- law aes256gcm_nist_empty_decrypt
- def aes256gcm_nist_multiblock
- law aes256gcm_nist_multiblock_encrypt
- law aes256gcm_nist_multiblock_decrypt
- def aes256gcm_nist_aad_only
- law aes256gcm_nist_aad_only_encrypt
- law aes256gcm_nist_aad_only_decrypt
- def aes256gcm_nist_aad_and_multiblock
- law aes256gcm_nist_aad_and_multiblock_encrypt
- law aes256gcm_nist_aad_and_multiblock_decrypt
- def aes256gcm_nist_partial_block
- law aes256gcm_nist_partial_block_encrypt
- law aes256gcm_nist_partial_block_decrypt
- law aes256gcm_nist_canonical_encoding
- law aes256gcm_nist_canonical_parsing
- law aes256gcm_nist_rejects_changed_aadConcrete tamper checks supplement tag uniqueness without claiming collision- free authentication for all distinct AAD, nonce, key, or ciphertext inputs.
- law aes256gcm_nist_rejects_changed_key
- law aes256gcm_nist_rejects_changed_nonce
- law aes256gcm_nist_rejects_changed_ciphertext