List of all items

Structs

• audit::AuditReport
• audit::BindingAuditReport
• binding::BindingRegistry
• binding::KernelBinding
• build_helper::VerifyResult
• codegen::GeneratedContract
• coverage::ContractCoverage
• coverage::CoverageReport
• coverage::CoverageTotals
• diff::ContractDiff
• diff::SectionDiff
• error::Violation
• extract::ExtractedEquation
• extract::ExtractedKernel
• generate::GeneratedFile
• generate::GeneratedFiles
• graph::DependencyGraph
• graph::GraphNode
• infer::ContractSuggestion
• infer::InferResult
• infer::InferredBinding
• lean_gen::LeanFile
• lean_gen::LeanStatusReport
• lean_gen::ObligationStatus
• lint::GateResult
• lint::LintConfig
• lint::LintReport
• lint::cache::CacheEntry
• lint::cache::CacheStats
• lint::config::CacheSection
• lint::config::DiffSection
• lint::config::LintSection
• lint::config::OutputSection
• lint::config::PvConfig
• lint::config::SuppressSection
• lint::config::TrendSection
• lint::finding::LintFinding
• lint::rules::LintRule
• lint::sarif::SarifArtifactLocation
• lint::sarif::SarifConfiguration
• lint::sarif::SarifDriver
• lint::sarif::SarifLocation
• lint::sarif::SarifLog
• lint::sarif::SarifMessage
• lint::sarif::SarifPhysicalLocation
• lint::sarif::SarifRegion
• lint::sarif::SarifResult
• lint::sarif::SarifRuleDescriptor
• lint::sarif::SarifRun
• lint::sarif::SarifSuppression
• lint::sarif::SarifTool
• lint::trend::TrendSnapshot
• obligation_matrix::ContractObligationMatrix
• obligation_matrix::ObligationStatus
• pipeline::CrossBoundaryObligation
• pipeline::PerformanceContract
• pipeline::PipelineContract
• pipeline::PipelineIssue
• pipeline::PipelineMetadata
• pipeline::PipelineStage
• proof_status::ContractProofStatus
• proof_status::KernelClassSummary
• proof_status::ProofStatusReport
• proof_status::ProofStatusTotals
• query::ContractIndex
• query::DiffInfo
• query::EquationBinding
• query::ProjectCoverage
• query::ProofStatusInfo
• query::QueryOutput
• query::QueryParams
• query::QueryResult
• query::ScoreInfo
• query::ViolationInfo
• query::cross_project::BindingRef
• query::cross_project::CallSite
• query::cross_project::CommitRef
• query::cross_project::CrossProjectIndex
• query::cross_project::KaizenRef
• query::cross_project::ProjectEntry
• reverse_coverage::PubFn
• reverse_coverage::ReverseCoverageReport
• roofline::HardwareProfile
• roofline::RooflineCeiling
• schema::Contract
• schema::CoqDefinition
• schema::CoqObligation
• schema::CoqSpec
• schema::EnforcementRule
• schema::Equation
• schema::FalsificationTest
• schema::KaniHarness
• schema::KernelPhase
• schema::KernelStructure
• schema::LeanProof
• schema::Metadata
• schema::ProofObligation
• schema::QaGate
• schema::TypeInvariant
• schema::VerificationSummary
• scoring::CodebaseScore
• scoring::ContractScore
• scoring::ScoreProbe
• scoring::ScoringGap
• scoring::ScoringWeights

Enums

• binding::ImplStatus
• build_helper::BindingPolicy
• diff::SemverBump
• error::ContractError
• error::Severity
• generate::ArtifactKind
• infer::MatchStrategy
• kernels::Backend
• lint::GateDetail
• lint::rules::RuleCategory
• lint::rules::RuleSeverity
• pipeline::IssueSeverity
• proof_status::ProofLevel
• query::SearchMode
• roofline::Bottleneck
• schema::AppliesTo
• schema::EnforcementLevel
• schema::KaniStrategy
• schema::LeanStatus
• schema::ObligationType
• scoring::Grade

Traits

• traits::activation_kernel_v1::ActivationKernelV1
• traits::adamw_kernel_v1::AdamwKernelV1
• traits::attention_kernel_v1::AttentionKernelV1
• traits::cross_entropy_kernel_v1::CrossEntropyKernelV1
• traits::flash_attention_v1::FlashAttentionV1
• traits::gqa_kernel_v1::GqaKernelV1
• traits::layernorm_kernel_v1::LayernormKernelV1
• traits::matmul_kernel_v1::MatmulKernelV1
• traits::rmsnorm_kernel_v1::RmsnormKernelV1
• traits::rope_kernel_v1::RopeKernelV1
• traits::silu_kernel_v1::SiluKernelV1
• traits::softmax_kernel_v1::SoftmaxKernelV1
• traits::swiglu_kernel_v1::SwigluKernelV1

Functions

• audit::audit_binding
• audit::audit_contract
• binding::normalize_contract_id
• binding::parse_binding
• binding::parse_binding_str
• book_gen::generate_contract_page
• book_gen::update_summary
• build_helper::verify_bindings
• build_helper::verify_source_functions
• codegen::generate_all
• codegen::generate_from_contract
• codegen::write_rust_module
• coq_gen::generate_coq_spec
• coverage::coverage_report
• coverage::overall_percentage
• diff::diff_contracts
• diff::is_identical
• explain::explain_contract
• explain::explain_contract_json
• explain::explain_contract_markdown
• explain::obligation_pattern
• extract::extract_from_pytorch
• extract::kernel_to_yaml
• flux_gen::generate_flux_annotations
• fuzz_gen::generate_fuzz_cargo_toml
• fuzz_gen::generate_fuzz_target
• generate::generate_all
• graph::dependency_graph
• graph::graph_nodes
• infer::format_binding_entry
• infer::format_contract_stub
• infer::infer
• invariant_gen::generate_invariant_harnesses
• invariant_gen::generate_invariant_trait
• invariant_gen::generate_invariants
• kani_gen::generate_kani_harnesses
• kernels::absolute_position::abs_position_avx2
• kernels::absolute_position::abs_position_ptx
• kernels::absolute_position::abs_position_scalar
• kernels::activation::gelu_avx2
• kernels::activation::gelu_ptx
• kernels::activation::gelu_scalar
• kernels::activation::relu_avx2
• kernels::activation::relu_ptx
• kernels::activation::relu_scalar
• kernels::activation::silu_avx2
• kernels::activation::silu_ptx
• kernels::activation::silu_scalar
• kernels::adamw::adamw_step_avx2
• kernels::adamw::adamw_step_ptx
• kernels::adamw::adamw_step_scalar
• kernels::alibi::alibi_bias_avx2
• kernels::alibi::alibi_bias_scalar
• kernels::alibi::alibi_ptx
• kernels::alibi::alibi_slope
• kernels::attention::attention_avx2
• kernels::attention::attention_ptx
• kernels::attention::attention_scalar
• kernels::batchnorm::batchnorm_avx2
• kernels::batchnorm::batchnorm_ptx
• kernels::batchnorm::batchnorm_scalar
• kernels::bias_add::bias_add_avx2
• kernels::bias_add::bias_add_inplace
• kernels::bias_add::bias_add_ptx
• kernels::bias_add::bias_add_scalar
• kernels::cma_es::cma_sample_avx2
• kernels::cma_es::cma_sample_ptx
• kernels::cma_es::cma_sample_scalar
• kernels::conv1d::conv1d_avx2
• kernels::conv1d::conv1d_ptx
• kernels::conv1d::conv1d_scalar
• kernels::cross_entropy::cross_entropy_avx2
• kernels::cross_entropy::cross_entropy_ptx
• kernels::cross_entropy::cross_entropy_scalar
• kernels::cross_entropy::log_softmax_avx2
• kernels::cross_entropy::log_softmax_scalar
• kernels::dropout::dropout_eval_avx2
• kernels::dropout::dropout_eval_scalar
• kernels::dropout::dropout_ptx
• kernels::dropout::dropout_train_avx2
• kernels::dropout::dropout_train_scalar
• kernels::embedding::embedding_avx2
• kernels::embedding::embedding_ptx
• kernels::embedding::embedding_scalar
• kernels::f16_convert::f16_convert_ptx
• kernels::f16_convert::f16_to_f32_avx2
• kernels::f16_convert::f16_to_f32_scalar
• kernels::f16_convert::f16_to_f32_single
• kernels::f16_convert::f32_to_f16_avx2
• kernels::f16_convert::f32_to_f16_scalar
• kernels::f16_convert::f32_to_f16_single
• kernels::flash_attention::flash_attention_avx2
• kernels::flash_attention::flash_attention_ptx
• kernels::flash_attention::flash_attention_scalar
• kernels::gated_delta_net::gdn_recurrence_avx2
• kernels::gated_delta_net::gdn_recurrence_ptx
• kernels::gated_delta_net::gdn_recurrence_scalar
• kernels::gqa::gqa_avx2
• kernels::gqa::gqa_ptx
• kernels::gqa::gqa_scalar
• kernels::kmeans::kmeans_assign_avx2
• kernels::kmeans::kmeans_assign_ptx
• kernels::kmeans::kmeans_assign_scalar
• kernels::kmeans::kmeans_update_avx2
• kernels::kmeans::kmeans_update_ptx
• kernels::kmeans::kmeans_update_scalar
• kernels::layernorm::layernorm_avx2
• kernels::layernorm::layernorm_ptx
• kernels::layernorm::layernorm_scalar
• kernels::lbfgs::lbfgs_direction_avx2
• kernels::lbfgs::lbfgs_direction_ptx
• kernels::lbfgs::lbfgs_direction_scalar
• kernels::linear::linear_avx2
• kernels::linear::linear_ptx
• kernels::linear::linear_scalar
• kernels::matmul::matmul_avx2
• kernels::matmul::matmul_ptx
• kernels::matmul::matmul_scalar
• kernels::ops::dot
• kernels::ops::matmul_sv
• kernels::ops::score_matrix
• kernels::ops::softmax_row
• kernels::ops::softmax_rows
• kernels::ops::weighted_accumulate
• kernels::pagerank::pagerank_iterate_avx2
• kernels::pagerank::pagerank_iterate_ptx
• kernels::pagerank::pagerank_iterate_scalar
• kernels::rmsnorm::rmsnorm_avx2
• kernels::rmsnorm::rmsnorm_ptx
• kernels::rmsnorm::rmsnorm_scalar
• kernels::rope::rope_avx2
• kernels::rope::rope_ptx
• kernels::rope::rope_scalar
• kernels::sampling::greedy_avx2
• kernels::sampling::greedy_scalar
• kernels::sampling::sample_scalar
• kernels::sampling::sampling_ptx
• kernels::sampling::temperature_avx2
• kernels::sampling::temperature_scalar
• kernels::sampling::top_k_scalar
• kernels::sampling::top_p_scalar
• kernels::silu_standalone::sigmoid_avx2
• kernels::silu_standalone::sigmoid_ptx
• kernels::silu_standalone::sigmoid_scalar
• kernels::silu_standalone::silu_standalone_avx2
• kernels::silu_standalone::silu_standalone_ptx
• kernels::silu_standalone::silu_standalone_scalar
• kernels::softmax::softmax_avx2
• kernels::softmax::softmax_ptx
• kernels::softmax::softmax_scalar
• kernels::ssm::ssm_scan_avx2
• kernels::ssm::ssm_scan_ptx
• kernels::ssm::ssm_scan_scalar
• kernels::swiglu::swiglu_avx2
• kernels::swiglu::swiglu_ptx
• kernels::swiglu::swiglu_scalar
• kernels::tied_embeddings::tied_embeddings_ptx
• kernels::tied_embeddings::tied_lm_head_avx2
• kernels::tied_embeddings::tied_lm_head_scalar
• kernels::transpose::transpose
• kernels::transpose::transpose_avx2
• kernels::transpose::transpose_scalar
• kernels::ulp::assert_ulp_eq
• kernels::ulp::ulp_distance
• latex::latex_escape
• latex::math_to_latex
• latex::replace_func
• latex::replace_unicode_cmd
• lean_gen::format_status_report
• lean_gen::generate_lean_files
• lean_gen::lean_status
• lint::cache::cache_clear
• lint::cache::cache_dir
• lint::cache::cache_get
• lint::cache::cache_put
• lint::cache::content_hash
• lint::config::find_config
• lint::config::load_config
• lint::config::resolve_rule_severities
• lint::diff::changed_contracts
• lint::diff::expand_dependents
• lint::finding::read_snippet
• lint::rules::find_rule
• lint::rules::rules_for_category
• lint::run_lint
• lint::sarif::findings_to_sarif
• lint::sarif::sarif_to_json
• lint::trend::detect_drift
• lint::trend::format_trend
• lint::trend::load_snapshots
• lint::trend::record_snapshot
• lint::trend::trend_dir
• mirai_gen::generate_mirai_annotations
• obligation_matrix::format_obligation_table
• obligation_matrix::obligation_matrix
• obligation_matrix::property_words_match
• obligation_matrix::truncate
• pipeline::parse_pipeline
• pipeline::parse_pipeline_str
• pipeline::validate_pipeline
• probar_gen::generate_probar_tests
• probar_gen::generate_wired_probar_tests
• proof_status::compute_proof_level
• proof_status::format_text
• proof_status::proof_status_report
• query::execute
• query::registry::class_of
• query::registry::classes_of
• query::registry::tier_of
• readme_gen::generate_ci_workflow
• readme_gen::generate_readme
• reverse_coverage::reverse_coverage
• roofline::compute_roofline
• roofline::load_roofline_contract
• scaffold::generate_contract_tests
• scaffold::generate_standalone_trait
• scaffold::generate_trait
• schema::parse_contract
• schema::parse_contract_str
• schema::validate_contract
• scoring::drift::compute_drift
• scoring::drift::detect_stale_contracts
• scoring::pvscore_10dim
• scoring::score_codebase
• scoring::score_codebase_full
• scoring::score_codebase_with_pagerank
• scoring::score_contract
• scoring::score_contract_weighted
• tla_gen::generate_tla_module

Statics

• lint::rules::RULES