[package]
edition = "2021"
rust-version = "1.85"
name = "vyre-libs"
version = "0.7.2"
authors = ["Santh <64453045+santhreal@users.noreply.github.com>"]
build = false
exclude = [
"**/.proptest-regressions/**",
"**/*.proptest-regressions",
"**/SKILL.md",
]
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "vyre Category A library ecosystem - pure-IR compositions over foundation IR and primitive-owned kernels"
homepage = "https://santh.dev"
documentation = "https://docs.rs/vyre-libs"
readme = "README.md"
keywords = [
"gpu",
"ml",
"linear-algebra",
"cryptography",
"vyre",
]
categories = [
"algorithms",
"science",
]
license = "MIT OR Apache-2.0"
repository = "https://github.com/santhreal/vyre"
[package.metadata.docs.rs]
all-features = true
rustdoc-args = [
"--cfg",
"docsrs",
]
[features]
bench = []
c-parser = [
"matching-substring",
"matching-dfa",
"matching-nfa",
]
cpu-parity = ["vyre-primitives/cpu-parity"]
crypto = [
"crypto-fnv",
"crypto-blake3",
]
crypto-blake3 = ["hash"]
crypto-fnv = ["hash"]
decode = ["vyre-primitives/cpu-parity"]
default = [
"math-linalg",
"math-scan",
"math-broadcast",
"nn-activation",
"nn-linear",
"nn-norm",
"matching-substring",
"matching-dfa",
"hash",
"decode",
]
full = [
"math-linalg",
"math-scan",
"math-broadcast",
"math-algebra",
"math-succinct",
"nn-activation",
"nn-linear",
"nn-linear-4bit",
"nn-norm",
"nn-attention",
"nn-moe",
"nn-inference",
"matching-substring",
"matching-dfa",
"hash",
"decode",
"crypto-fnv",
"crypto-blake3",
]
go-parser = []
hash = []
intern = []
logical = ["math-broadcast"]
matching = [
"matching-substring",
"matching-dfa",
]
matching-dfa = ["cpu-parity"]
matching-nfa = ["matching-dfa"]
matching-regex = [
"matching-nfa",
"dep:regex-syntax",
]
matching-substring = [
"cpu-parity",
"matching-dfa",
]
math = [
"math-linalg",
"math-scan",
"math-broadcast",
"math-algebra",
"math-succinct",
]
math-algebra = []
math-broadcast = []
math-linalg = []
math-scan = []
math-succinct = []
nn = [
"nn-activation",
"nn-linear",
"nn-norm",
"nn-attention",
]
nn-activation = []
nn-attention = [
"nn-norm",
"math-linalg",
]
nn-inference = [
"nn-activation",
"nn-linear",
"nn-norm",
"nn-attention",
"nn-moe",
]
nn-linear = [
"math-linalg",
"nn-activation",
]
nn-linear-4bit = ["nn-linear"]
nn-moe = ["nn-attention"]
nn-norm = ["math-broadcast"]
parsing = [
"c-parser",
"go-parser",
"python-parser",
]
python-parser = []
rule = ["dep:regex"]
security = []
test-fixtures = []
text = []
visual = []
[lib]
name = "vyre_libs"
path = "src/lib.rs"
[[example]]
name = "check_select1"
path = "examples/check_select1.rs"
[[test]]
name = "ac_count_suffix3_naga_validation"
path = "tests/ac_count_suffix3_naga_validation.rs"
[[test]]
name = "adversarial"
path = "tests/adversarial.rs"
[[test]]
name = "aho_corasick_kat"
path = "tests/aho_corasick_kat.rs"
[[test]]
name = "algebra_lattice_semiring_contracts"
path = "tests/algebra_lattice_semiring_contracts.rs"
[[test]]
name = "analysis_fact_schema"
path = "tests/analysis_fact_schema.rs"
[[test]]
name = "ast_shunting_yard"
path = "tests/ast_shunting_yard.rs"
required-features = ["c-parser"]
[[test]]
name = "attention_head_to_token_contract"
path = "tests/attention_head_to_token_contract.rs"
required-features = ["nn-attention"]
[[test]]
name = "blake3_compress_optimizer_idempotence_contract"
path = "tests/blake3_compress_optimizer_idempotence_contract.rs"
[[test]]
name = "blake3_kat"
path = "tests/blake3_kat.rs"
[[test]]
name = "blake3_wrong_size"
path = "tests/blake3_wrong_size.rs"
[[test]]
name = "buffer_name_cross_family"
path = "tests/buffer_name_cross_family.rs"
[[test]]
name = "c11_function_extractor_contracts"
path = "tests/c11_function_extractor_contracts.rs"
required-features = ["c-parser"]
[[test]]
name = "c11_keyword"
path = "tests/c11_keyword.rs"
required-features = ["c-parser"]
[[test]]
name = "c11_lexer_ir_identity"
path = "tests/c11_lexer_ir_identity.rs"
required-features = ["c-parser"]
[[test]]
name = "c11_lexer_naga_validation"
path = "tests/c11_lexer_naga_validation.rs"
required-features = ["c-parser"]
[[test]]
name = "c11_statement_bounds_long_statement_span"
path = "tests/c11_statement_bounds_long_statement_span.rs"
[[test]]
name = "c11_token_table_parity"
path = "tests/c11_token_table_parity.rs"
required-features = ["c-parser"]
[[test]]
name = "c_annotate_typedef_oracle_parity"
path = "tests/c_annotate_typedef_oracle_parity.rs"
[[test]]
name = "c_ast_c99_for_do_macro_e2e"
path = "tests/c_ast_c99_for_do_macro_e2e.rs"
required-features = ["c-parser"]
[[test]]
name = "c_ast_container_of_e2e"
path = "tests/c_ast_container_of_e2e.rs"
required-features = ["c-parser"]
[[test]]
name = "c_ast_gnu_asm_decomposition_and_attribute_kinds"
path = "tests/c_ast_gnu_asm_decomposition_and_attribute_kinds.rs"
required-features = ["c-parser"]
[[test]]
name = "c_ast_gnu_builtin_vast_contracts"
path = "tests/c_ast_gnu_builtin_vast_contracts.rs"
required-features = ["c-parser"]
[[test]]
name = "c_ast_linux_grade_gnu_and_c11_construct_coverage"
path = "tests/c_ast_linux_grade_gnu_and_c11_construct_coverage.rs"
required-features = ["c-parser"]
[[test]]
name = "c_ast_linux_style_raw_source_contracts"
path = "tests/c_ast_linux_style_raw_source_contracts.rs"
required-features = ["c-parser"]
[[test]]
name = "c_conditional_range_policy"
path = "tests/c_conditional_range_policy.rs"
[[test]]
name = "c_global_typedef_annotate_parity"
path = "tests/c_global_typedef_annotate_parity.rs"
[[test]]
name = "c_lexer_preprocessor_hash_contracts"
path = "tests/c_lexer_preprocessor_hash_contracts.rs"
required-features = ["c-parser"]
[[test]]
name = "c_lexer_regular_variant_parity"
path = "tests/c_lexer_regular_variant_parity.rs"
[[test]]
name = "c_lower_semantic_graph_control_resolution_parity"
path = "tests/c_lower_semantic_graph_control_resolution_parity.rs"
[[test]]
name = "c_packed_haystack_semantic_parity"
path = "tests/c_packed_haystack_semantic_parity.rs"
required-features = ["c-parser"]
[[test]]
name = "c_parser_pipeline_lexer_adversarial_contracts"
path = "tests/c_parser_pipeline_lexer_adversarial_contracts.rs"
required-features = ["c-parser"]
[[test]]
name = "c_parser_pipeline_malformed_stream_contracts"
path = "tests/c_parser_pipeline_malformed_stream_contracts.rs"
required-features = ["c-parser"]
[[test]]
name = "c_preprocess_certificates"
path = "tests/c_preprocess_certificates.rs"
[[test]]
name = "c_preprocess_classified_memory_cache_contract"
path = "tests/c_preprocess_classified_memory_cache_contract.rs"
[[test]]
name = "c_preprocess_dedup_guard"
path = "tests/c_preprocess_dedup_guard.rs"
required-features = ["c-parser"]
[[test]]
name = "c_preprocess_directive_count_contract"
path = "tests/c_preprocess_directive_count_contract.rs"
required-features = ["c-parser"]
[[test]]
name = "c_preprocess_directive_staging_allocation_contract"
path = "tests/c_preprocess_directive_staging_allocation_contract.rs"
[[test]]
name = "c_preprocess_dynamic_macro_expansion_contracts"
path = "tests/c_preprocess_dynamic_macro_expansion_contracts.rs"
required-features = ["c-parser"]
[[test]]
name = "c_preprocess_dynamic_macro_optimizer_idempotence_contract"
path = "tests/c_preprocess_dynamic_macro_optimizer_idempotence_contract.rs"
required-features = ["c-parser"]
[[test]]
name = "c_preprocess_gpu_buffer_allocation_contract"
path = "tests/c_preprocess_gpu_buffer_allocation_contract.rs"
[[test]]
name = "c_preprocess_gpu_resident_state_contracts"
path = "tests/c_preprocess_gpu_resident_state_contracts.rs"
required-features = ["c-parser"]
[[test]]
name = "c_preprocess_macro_expansion_cache_contract"
path = "tests/c_preprocess_macro_expansion_cache_contract.rs"
[[test]]
name = "c_preprocess_macro_table_allocation_contract"
path = "tests/c_preprocess_macro_table_allocation_contract.rs"
[[test]]
name = "c_preprocess_named_macro_expansion_contracts"
path = "tests/c_preprocess_named_macro_expansion_contracts.rs"
required-features = ["c-parser"]
[[test]]
name = "c_preprocess_pipeline_contracts"
path = "tests/c_preprocess_pipeline_contracts.rs"
required-features = ["c-parser"]
[[test]]
name = "c_preprocess_prefix_scan_allocation_contract"
path = "tests/c_preprocess_prefix_scan_allocation_contract.rs"
[[test]]
name = "c_preprocess_replacement_token_cache_contract"
path = "tests/c_preprocess_replacement_token_cache_contract.rs"
[[test]]
name = "c_reference_decode_contracts"
path = "tests/c_reference_decode_contracts.rs"
required-features = ["c-parser"]
[[test]]
name = "c_sema_scope_optimizer_idempotence_contract"
path = "tests/c_sema_scope_optimizer_idempotence_contract.rs"
required-features = ["c-parser"]
[[test]]
name = "c_typedef_precomputed_variant_parity"
path = "tests/c_typedef_precomputed_variant_parity.rs"
[[test]]
name = "c_vast_classify_wire_depth_contract"
path = "tests/c_vast_classify_wire_depth_contract.rs"
required-features = ["c-parser"]
[[test]]
name = "cat_a_conform"
path = "tests/cat_a_conform.rs"
[[test]]
name = "causal_conv_state_transition_contract"
path = "tests/causal_conv_state_transition_contract.rs"
required-features = ["nn-inference"]
[[test]]
name = "causal_gqa_contract"
path = "tests/causal_gqa_contract.rs"
required-features = ["nn-attention"]
[[test]]
name = "causal_gqa_typed_contract"
path = "tests/causal_gqa_typed_contract.rs"
required-features = ["nn-attention"]
[[test]]
name = "chunked_gated_delta_contract"
path = "tests/chunked_gated_delta_contract.rs"
required-features = ["nn-attention"]
[[test]]
name = "consumer_boundary"
path = "tests/consumer_boundary.rs"
[[test]]
name = "corpus_privacy_retention_controls"
path = "tests/corpus_privacy_retention_controls.rs"
[[test]]
name = "cpu_witnesses"
path = "tests/cpu_witnesses.rs"
[[test]]
name = "decode_primitive_composition_contracts"
path = "tests/decode_primitive_composition_contracts.rs"
[[test]]
name = "dedup_conv_ast_walk_family_guard"
path = "tests/dedup_conv_ast_walk_family_guard.rs"
[[test]]
name = "delta_flow_arrangements"
path = "tests/delta_flow_arrangements.rs"
[[test]]
name = "dense_gated_mlp_graph_contract"
path = "tests/dense_gated_mlp_graph_contract.rs"
required-features = ["nn-inference"]
[[test]]
name = "depthwise_causal_conv1d_contract"
path = "tests/depthwise_causal_conv1d_contract.rs"
required-features = ["nn-inference"]
[[test]]
name = "f32_adversarial"
path = "tests/f32_adversarial.rs"
[[test]]
name = "filesystem_path_archive_policies"
path = "tests/filesystem_path_archive_policies.rs"
[[test]]
name = "fingerprint_lock"
path = "tests/fingerprint_lock.rs"
required-features = [
"nn-activation",
"nn-attention",
"nn-linear",
"nn-norm",
]
[[test]]
name = "flow_precision_planner"
path = "tests/flow_precision_planner.rs"
[[test]]
name = "frontend_dialect_contracts"
path = "tests/frontend_dialect_contracts.rs"
[[test]]
name = "fuse_decode_scan_error"
path = "tests/fuse_decode_scan_error.rs"
[[test]]
name = "fuzz_target_inventory"
path = "tests/fuzz_target_inventory.rs"
[[test]]
name = "gated_rms_norm_contract"
path = "tests/gated_rms_norm_contract.rs"
required-features = ["nn-norm"]
[[test]]
name = "go_channel_creation_parity"
path = "tests/go_channel_creation_parity.rs"
[[test]]
name = "go_frontend_corpus"
path = "tests/go_frontend_corpus.rs"
[[test]]
name = "go_tokenizer_semantics"
path = "tests/go_tokenizer_semantics.rs"
[[test]]
name = "gpu_char_constant_scan_roundtrip"
path = "tests/gpu_char_constant_scan_roundtrip.rs"
required-features = ["c-parser"]
[[test]]
name = "gpu_columnar_string_ingress"
path = "tests/gpu_columnar_string_ingress.rs"
[[test]]
name = "gpu_comment_strip_mask_roundtrip"
path = "tests/gpu_comment_strip_mask_roundtrip.rs"
required-features = ["c-parser"]
[[test]]
name = "gpu_define_parse_roundtrip"
path = "tests/gpu_define_parse_roundtrip.rs"
required-features = ["c-parser"]
[[test]]
name = "gpu_directive_metadata_roundtrip"
path = "tests/gpu_directive_metadata_roundtrip.rs"
required-features = ["c-parser"]
[[test]]
name = "gpu_if_expression_roundtrip"
path = "tests/gpu_if_expression_roundtrip.rs"
required-features = ["c-parser"]
[[test]]
name = "gpu_ifdef_value_roundtrip"
path = "tests/gpu_ifdef_value_roundtrip.rs"
required-features = ["c-parser"]
[[test]]
name = "gpu_include_parse_roundtrip"
path = "tests/gpu_include_parse_roundtrip.rs"
required-features = ["c-parser"]
[[test]]
name = "gpu_int_literal_scan_roundtrip"
path = "tests/gpu_int_literal_scan_roundtrip.rs"
required-features = ["c-parser"]
[[test]]
name = "gpu_pipeline_driver_roundtrip"
path = "tests/gpu_pipeline_driver_roundtrip.rs"
required-features = ["c-parser"]
[[test]]
name = "gpu_pipeline_extract_payloads_roundtrip"
path = "tests/gpu_pipeline_extract_payloads_roundtrip.rs"
required-features = ["c-parser"]
[[test]]
name = "gpu_pipeline_filter_roundtrip"
path = "tests/gpu_pipeline_filter_roundtrip.rs"
required-features = ["c-parser"]
[[test]]
name = "gpu_pipeline_lex_classify_roundtrip"
path = "tests/gpu_pipeline_lex_classify_roundtrip.rs"
required-features = ["c-parser"]
[[test]]
name = "gpu_undef_parse_roundtrip"
path = "tests/gpu_undef_parse_roundtrip.rs"
required-features = ["c-parser"]
[[test]]
name = "gqa_attention_primitive_composition_contracts"
path = "tests/gqa_attention_primitive_composition_contracts.rs"
required-features = ["nn-attention"]
[[test]]
name = "head_to_token_typed_contract"
path = "tests/head_to_token_typed_contract.rs"
required-features = ["nn-attention"]
[[test]]
name = "hex_decode_scan_fused"
path = "tests/hex_decode_scan_fused.rs"
[[test]]
name = "indexed_map_composition_contracts"
path = "tests/indexed_map_composition_contracts.rs"
required-features = ["nn-activation"]
[[test]]
name = "int4_primitive_composition"
path = "tests/int4_primitive_composition.rs"
required-features = ["nn-activation"]
[[test]]
name = "integration"
path = "tests/integration.rs"
required-features = [
"hash",
"math",
"matching",
"nn-activation",
"nn-linear",
]
[[test]]
name = "ir_aliasing"
path = "tests/ir_aliasing.rs"
required-features = ["c-parser"]
[[test]]
name = "kv_cache_append_contract"
path = "tests/kv_cache_append_contract.rs"
required-features = ["nn-attention"]
[[test]]
name = "kv_cache_typed_contract"
path = "tests/kv_cache_typed_contract.rs"
required-features = ["nn-attention"]
[[test]]
name = "last_dim_l2_norm_contract"
path = "tests/last_dim_l2_norm_contract.rs"
required-features = ["nn-norm"]
[[test]]
name = "linear_rows_contract"
path = "tests/linear_rows_contract.rs"
required-features = ["nn-linear"]
[[test]]
name = "literal_set_presence_and_positions_reference"
path = "tests/literal_set_presence_and_positions_reference.rs"
[[test]]
name = "literal_set_presence_by_region_ground_truth"
path = "tests/literal_set_presence_by_region_ground_truth.rs"
[[test]]
name = "literal_set_presence_reference"
path = "tests/literal_set_presence_reference.rs"
[[test]]
name = "logical_proptest"
path = "tests/logical_proptest.rs"
[[test]]
name = "logical_should_panic"
path = "tests/logical_should_panic.rs"
[[test]]
name = "loop_unroll_trip1_idempotence"
path = "tests/loop_unroll_trip1_idempotence.rs"
[[test]]
name = "lr_tables_contracts"
path = "tests/lr_tables_contracts.rs"
[[test]]
name = "matching_nfa_scan_program_contracts"
path = "tests/matching_nfa_scan_program_contracts.rs"
[[test]]
name = "matching_post_process_contracts"
path = "tests/matching_post_process_contracts.rs"
[[test]]
name = "math_algebra_branchless_contracts"
path = "tests/math_algebra_branchless_contracts.rs"
[[test]]
name = "mlp_4x_leaky_sq_multi_workgroup_span"
path = "tests/mlp_4x_leaky_sq_multi_workgroup_span.rs"
required-features = ["nn-activation"]
[[test]]
name = "name_collision"
path = "tests/name_collision.rs"
required-features = [
"math",
"nn-attention",
]
[[test]]
name = "nfa_plan_contracts"
path = "tests/nfa_plan_contracts.rs"
[[test]]
name = "nn_attention_clone_family_ir_invariance"
path = "tests/nn_attention_clone_family_ir_invariance.rs"
required-features = ["nn-attention"]
[[test]]
name = "op_boundaries"
path = "tests/op_boundaries.rs"
required-features = [
"nn-activation",
"nn-linear",
]
[[test]]
name = "operation_registry"
path = "tests/operation_registry.rs"
[[test]]
name = "operator_reporting_interchange"
path = "tests/operator_reporting_interchange.rs"
[[test]]
name = "optimized_programs"
path = "tests/optimized_programs.rs"
required-features = [
"nn-attention",
"nn-linear",
"nn-norm",
]
[[test]]
name = "output_encoding_unicode_policies"
path = "tests/output_encoding_unicode_policies.rs"
[[test]]
name = "overflow_guards"
path = "tests/overflow_guards.rs"
required-features = ["nn-attention"]
[[test]]
name = "parser_edit_delta_contracts"
path = "tests/parser_edit_delta_contracts.rs"
[[test]]
name = "parser_graph_navigation_contracts"
path = "tests/parser_graph_navigation_contracts.rs"
[[test]]
name = "parser_recovery_corpus_registry"
path = "tests/parser_recovery_corpus_registry.rs"
[[test]]
name = "parsing_walker_clone_family"
path = "tests/parsing_walker_clone_family.rs"
required-features = ["parsing"]
[[test]]
name = "partial_rope_offset_contract"
path = "tests/partial_rope_offset_contract.rs"
required-features = ["nn-attention"]
[[test]]
name = "partial_rope_typed_contract"
path = "tests/partial_rope_typed_contract.rs"
required-features = ["nn-attention"]
[[test]]
name = "pass_research_trace_artifacts"
path = "tests/pass_research_trace_artifacts.rs"
[[test]]
name = "preprocess_cpu_api_boundary"
path = "tests/preprocess_cpu_api_boundary.rs"
[[test]]
name = "primitive_surface_contracts"
path = "tests/primitive_surface_contracts.rs"
[[test]]
name = "property"
path = "tests/property.rs"
[[test]]
name = "property_differential_oracles"
path = "tests/property_differential_oracles.rs"
[[test]]
name = "qk_gain_shape_overflow_contracts"
path = "tests/qk_gain_shape_overflow_contracts.rs"
required-features = ["nn-attention"]
[[test]]
name = "qk_gain_zero_shape_contracts"
path = "tests/qk_gain_zero_shape_contracts.rs"
required-features = ["nn-attention"]
[[test]]
name = "quantized_linear_affine_fma"
path = "tests/quantized_linear_affine_fma.rs"
required-features = ["nn-linear"]
[[test]]
name = "recurrent_gated_delta_contract"
path = "tests/recurrent_gated_delta_contract.rs"
required-features = ["nn-attention"]
[[test]]
name = "regex_adversarial_class_catalog"
path = "tests/regex_adversarial_class_catalog.rs"
[[test]]
name = "regex_capture_mode_contracts"
path = "tests/regex_capture_mode_contracts.rs"
[[test]]
name = "regex_columnar_output_contracts"
path = "tests/regex_columnar_output_contracts.rs"
[[test]]
name = "regex_compile_adversarial"
path = "tests/regex_compile_adversarial.rs"
[[test]]
name = "regex_compile_ascii_class_contracts"
path = "tests/regex_compile_ascii_class_contracts.rs"
[[test]]
name = "regex_compile_property"
path = "tests/regex_compile_property.rs"
[[test]]
name = "regex_dfa_anchoring_differential"
path = "tests/regex_dfa_anchoring_differential.rs"
[[test]]
name = "regex_dfa_char_class_exhaustive"
path = "tests/regex_dfa_char_class_exhaustive.rs"
[[test]]
name = "regex_dfa_leftmost_longest_differential"
path = "tests/regex_dfa_leftmost_longest_differential.rs"
[[test]]
name = "regex_dialect_lattice"
path = "tests/regex_dialect_lattice.rs"
[[test]]
name = "regex_leftmost_longest_bounded_repeat"
path = "tests/regex_leftmost_longest_bounded_repeat.rs"
[[test]]
name = "regex_logical_pattern_planner"
path = "tests/regex_logical_pattern_planner.rs"
[[test]]
name = "regex_match_policy_contracts"
path = "tests/regex_match_policy_contracts.rs"
[[test]]
name = "regex_prefilter_planner_registry"
path = "tests/regex_prefilter_planner_registry.rs"
[[test]]
name = "regex_streaming_state_ledger"
path = "tests/regex_streaming_state_ledger.rs"
[[test]]
name = "regex_unicode_profiles"
path = "tests/regex_unicode_profiles.rs"
[[test]]
name = "regex_unsupported_diagnostic_registry"
path = "tests/regex_unsupported_diagnostic_registry.rs"
[[test]]
name = "region_chain_discipline"
path = "tests/region_chain_discipline.rs"
[[test]]
name = "region_chain_invariant"
path = "tests/region_chain_invariant.rs"
[[test]]
name = "region_inline_let_scope"
path = "tests/region_inline_let_scope.rs"
[[test]]
name = "registration_drift"
path = "tests/registration_drift.rs"
[[test]]
name = "resource_budget_complexity_policies"
path = "tests/resource_budget_complexity_policies.rs"
[[test]]
name = "scan_ac_transition_walk_single_owner"
path = "tests/scan_ac_transition_walk_single_owner.rs"
required-features = ["matching-regex"]
[[test]]
name = "scan_conformance_matrix"
path = "tests/scan_conformance_matrix.rs"
[[test]]
name = "scan_cpu_api_boundary"
path = "tests/scan_cpu_api_boundary.rs"
[[test]]
name = "secret_crypto_policies"
path = "tests/secret_crypto_policies.rs"
[[test]]
name = "security_external_ifds"
path = "tests/security_external_ifds.rs"
[[test]]
name = "security_flow_skeleton_family_guard"
path = "tests/security_flow_skeleton_family_guard.rs"
required-features = ["security"]
[[test]]
name = "security_flows_to_alias_only_parity"
path = "tests/security_flows_to_alias_only_parity.rs"
[[test]]
name = "security_privacy_path_corpus_guards"
path = "tests/security_privacy_path_corpus_guards.rs"
[[test]]
name = "shared_emitter_artifact_schema"
path = "tests/shared_emitter_artifact_schema.rs"
[[test]]
name = "sigmoid_gate_typed_contract"
path = "tests/sigmoid_gate_typed_contract.rs"
required-features = ["nn-activation"]
[[test]]
name = "source_span_witness_records"
path = "tests/source_span_witness_records.rs"
[[test]]
name = "statement_bounds_launch_contract"
path = "tests/statement_bounds_launch_contract.rs"
[[test]]
name = "succinct_rank_contracts"
path = "tests/succinct_rank_contracts.rs"
[[test]]
name = "succinct_rank_select_adversarial_contracts"
path = "tests/succinct_rank_select_adversarial_contracts.rs"
[[test]]
name = "surface_contracts"
path = "tests/surface_contracts.rs"
required-features = [
"nn-attention",
"nn-norm",
]
[[test]]
name = "sweep_decode_hex_oracle_matrix"
path = "tests/sweep_decode_hex_oracle_matrix.rs"
required-features = ["decode"]
[[test]]
name = "sweep_hash_crc32_reference_matrix"
path = "tests/sweep_hash_crc32_reference_matrix.rs"
required-features = ["hash"]
[[test]]
name = "sweep_logical_reference_matrix"
path = "tests/sweep_logical_reference_matrix.rs"
required-features = ["logical"]
[[test]]
name = "sweep_text_utf8_oracle_matrix"
path = "tests/sweep_text_utf8_oracle_matrix.rs"
required-features = ["text"]
[[test]]
name = "target_instruction_capabilities"
path = "tests/target_instruction_capabilities.rs"
[[test]]
name = "typedef_row_phase_witnesses"
path = "tests/typedef_row_phase_witnesses.rs"
required-features = ["c-parser"]
[[test]]
name = "universal_harness"
path = "tests/universal_harness.rs"
[[test]]
name = "unsafe_ffi_policies"
path = "tests/unsafe_ffi_policies.rs"
[[test]]
name = "url_network_security_policies"
path = "tests/url_network_security_policies.rs"
[[test]]
name = "vast_builder_oob_guard_regression"
path = "tests/vast_builder_oob_guard_regression.rs"
required-features = ["c-parser"]
[[test]]
name = "visual_compositions"
path = "tests/visual_compositions.rs"
[[test]]
name = "wire_cross_crate_compat"
path = "tests/wire_cross_crate_compat.rs"
[[test]]
name = "workgroup_cooperative_tiling"
path = "tests/workgroup_cooperative_tiling.rs"
required-features = [
"nn-attention",
"nn-norm",
]
[dependencies.blake3]
version = "=1.8.5"
[dependencies.bytemuck]
version = "=1.25.2"
features = ["derive"]
[dependencies.inventory]
version = "=0.3.24"
[dependencies.libm]
version = "=0.2.16"
[dependencies.rayon]
version = "=1.12.0"
[dependencies.regex]
version = "=1.13.1"
optional = true
[dependencies.regex-syntax]
version = "=0.8.11"
optional = true
[dependencies.rustc-hash]
version = "=2.1.3"
[dependencies.serde]
version = "=1.0.229"
features = [
"derive",
"rc",
]
[dependencies.serde_json]
version = "1"
[dependencies.smallvec]
version = "^1.15.1"
features = ["serde"]
[dependencies.thiserror]
version = "=2.0.19"
[dependencies.tracing]
version = "=0.1.44"
[dependencies.vyre-foundation]
version = "0.7.2"
features = ["serde"]
[dependencies.vyre-primitives]
version = "0.7.2"
features = [
"text",
"matching",
"decode",
"math",
"nn",
"hash",
"parsing",
"graph",
"bitset",
"reduce",
"label",
"predicate",
"fixpoint",
"nfa",
"inventory-registry",
"geom",
"opt",
"topology",
"visual",
]
default-features = false
[dependencies.vyre-spec]
version = "0.7.2"
[dev-dependencies.criterion]
version = "=0.8.2"
features = ["html_reports"]
[dev-dependencies.naga]
version = ">=25.0.0, <26.0.0"
features = [
"wgsl-in",
"wgsl-out",
"spv-out",
"msl-out",
]
[dev-dependencies.proptest]
version = "=1.11.0"
[dev-dependencies.sha2]
version = "=0.11.0"
[dev-dependencies.tempfile]
version = "=3.27.0"
[dev-dependencies.tree-sitter]
version = "=0.26.9"
[dev-dependencies.tree-sitter-go]
version = "=0.25.0"
[lints.clippy]
bind_instead_of_map = "allow"
cast_lossless = "allow"
cast_possible_truncation = "allow"
collapsible_if = "allow"
collapsible_match = "allow"
comparison_chain = "allow"
derivable_impls = "allow"
doc_lazy_continuation = "allow"
doc_overindented_list_items = "allow"
double_must_use = "allow"
enum_variant_names = "allow"
erasing_op = "allow"
field_reassign_with_default = "allow"
identity_op = "allow"
if_same_then_else = "allow"
large_enum_variant = "allow"
manual_c_str_literals = "allow"
manual_div_ceil = "allow"
manual_map = "allow"
manual_range_contains = "allow"
manual_slice_size_calculation = "allow"
map_entry = "allow"
map_identity = "allow"
match_like_matches_macro = "allow"
match_single_binding = "allow"
needless_borrow = "allow"
needless_borrows_for_generic_args = "allow"
needless_lifetimes = "allow"
needless_range_loop = "allow"
nonminimal_bool = "allow"
option_map_or_none = "allow"
redundant_closure = "allow"
ref_option = "allow"
result_large_err = "allow"
slow_vector_initialization = "allow"
too_many_arguments = "allow"
unnecessary_lazy_evaluations = "allow"
unnecessary_map_on_constructor = "allow"
vec_init_then_push = "allow"
[lints.rust]
dead_code = "allow"
dropping_copy_types = "allow"
missing_docs = "deny"
unreachable_pub = "warn"
unsafe_code = "deny"
unused_variables = "allow"
[lints.rust.nonstandard_style]
level = "warn"
priority = -1
[lints.rust.rust_2018_idioms]
level = "warn"
priority = -1
[lints.rust.unexpected_cfgs]
level = "warn"
priority = 0
check-cfg = ['cfg(feature, values("external_ifds_engine"))']
[lints.rustdoc]
broken_intra_doc_links = "deny"
private_intra_doc_links = "warn"