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
• doc_integrity::DocViolation
• doc_integrity::DriftResult
• 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::ArmedGateVerdict
• 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::duplicate_stems::DuplicateStem
• 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::sigma_symbols::FormalExpr
• lint::sigma_symbols::SymbolScan
• lint::trend::TrendSnapshot
• obligation_matrix::ContractObligationMatrix
• obligation_matrix::ObligationStatus
• ontology::arming::ArmedGates
• ontology::arming::ArmedGatesShrank
• ontology::arming::ArmedMeet
• ontology::arming::ArmedShapesShrank
• ontology::arming::BaselineError
• ontology::extract::Extraction
• ontology::extract::apr_model::AprHeader
• ontology::extract::apr_model::AprStats
• ontology::extract::code::Bound
• ontology::extract::code::CodeStats
• ontology::extract::code::Resolved
• ontology::extract::code::Resolver
• ontology::extract::code::Unresolved
• ontology::extract::code::Workspace
• ontology::extract::gguf::ExtractError
• ontology::extract::gguf::GgufHeader
• ontology::extract::gguf::GgufStats
• ontology::extract::gguf::Rung
• ontology::extract::json::Warning
• ontology::extract::lean::LeanStats
• ontology::extract::lean::Statement
• ontology::rdf::Graph
• ontology::rdf::Triple
• ontology::receipts::Receipt
• ontology::receipts::ReceiptError
• ontology::receipts::ResolveStats
• ontology::receipts::Row
• ontology::shapes::InEntry
• ontology::shapes::NodeShape
• ontology::shapes::PropertyShape
• ontology::shapes::Report
• ontology::shapes::ValidationResult
• ontology::sigma::Concept
• ontology::sigma::EntityTypeDecl
• ontology::sigma::ExtractorDecl
• ontology::sigma::NotExpressible
• ontology::sigma::Role
• ontology::sigma::Sigma
• ontology::sigma::Symbol
• ontology::sigma::World
• ontology::w3c::Case
• ontology::w3c::CaseError
• ontology::w3c::CaseResult
• ontology::w3c::Expected
• ontology::w3c::W3cRun
• 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::Beat
• schema::Contract
• schema::CoqDefinition
• schema::CoqObligation
• schema::CoqSpec
• schema::CruxStory
• schema::EnforcementRule
• schema::Equation
• schema::FalsificationTest
• schema::KaniHarness
• schema::KernelPhase
• schema::KernelStructure
• schema::LeanProof
• schema::Metadata
• schema::ProofObligation
• schema::QaGate
• schema::TypeInvariant
• schema::VerificationSummary
• schema::composition::ShapeContract
• schema::composition::ShapeExpr
• schema::external_corpora::ExternalCorpora
• schema::external_corpora::ExternalCorpus
• schema::kaizen::KaizenRecord
• 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::GateExtra
• lint::NamedGateOutcome
• lint::relations_gate::RelationsOutcome
• lint::rules::RuleCategory
• lint::rules::RuleSeverity
• lint::shapes_gate::ShapesOutcome
• lint::sigma_gate::SigmaOutcome
• ontology::arming::ArmedShapes
• ontology::extract::ExtractFailure
• ontology::extract::json::ExtractError
• ontology::rdf::Term
• ontology::shapes::NodeKind
• ontology::shapes::Severity
• ontology::shapes::ShapeError
• ontology::sigma::SigmaError
• ontology::sigma::SymbolKind
• ontology::verdict::Reason
• ontology::verdict::Verdict
• pipeline::IssueSeverity
• proof_status::ProofLevel
• query::SearchMode
• roofline::Bottleneck
• schema::AppliesTo
• schema::BeatOutcome
• schema::ContractKind
• schema::EnforcementLevel
• schema::IntakeStatus
• schema::KaniStrategy
• schema::LeanStatus
• schema::ObligationType
• schema::artifact::ArtifactKind
• 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::collect_fn_names
• binding::normalize_contract_id
• binding::parse_binding
• binding::parse_binding_str
• binding::validate_binding_registry
• 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
• doc_integrity::detect_readme_drift
• doc_integrity::validate_code_fences
• doc_integrity::validate_document
• doc_integrity::validate_heading_hierarchy
• doc_integrity::validate_links
• doc_integrity::validate_required_sections
• doc_integrity::validate_svg
• doc_integrity::validate_tables
• 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::collect_yaml_files
• lint::config::find_config
• lint::config::load_config
• lint::config::resolve_rule_severities
• lint::diff::changed_contracts
• lint::diff::expand_dependents
• lint::duplicate_stems::ambiguous_stems
• lint::duplicate_stems::read_baseline
• lint::duplicate_stems::scan_duplicate_stems
• lint::finding::read_snippet
• lint::relations_gate::run_relations_gate
• lint::rules::find_rule
• lint::rules::rules_for_category
• lint::run_lint
• lint::run_named_gate
• lint::sarif::findings_to_sarif
• lint::sarif::sarif_to_json
• lint::shapes_gate::collect_shapes
• lint::shapes_gate::declared_shapes
• lint::shapes_gate::run_shapes_gate
• lint::shapes_gate::validate_with_plant
• lint::sigma_gate::run_sigma_gate
• lint::sigma_symbols::collect_formals
• lint::sigma_symbols::is_operator_glyph
• lint::sigma_symbols::scan
• 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
• ontology::arming::check_monotone
• ontology::arming::check_shapes_monotone
• ontology::arming::meet_armed
• ontology::extract::all
• ontology::extract::apr_model::emit_file
• ontology::extract::apr_model::extract
• ontology::extract::apr_model::header_checksum
• ontology::extract::apr_model::lie_about_tensor_count
• ontology::extract::apr_model::minimal_container
• ontology::extract::apr_model::parse
• ontology::extract::apr_model::positive_control
• ontology::extract::code::bound_of
• ontology::extract::code::emit
• ontology::extract::code::extract
• ontology::extract::code::positive_control
• ontology::extract::code::registries
• ontology::extract::code::sym
• ontology::extract::code::symbol_iri
• ontology::extract::gguf::emit_file
• ontology::extract::gguf::emit_rung
• ontology::extract::gguf::extract
• ontology::extract::gguf::hex
• ontology::extract::gguf::minimal_header
• ontology::extract::gguf::model
• ontology::extract::gguf::parse_header
• ontology::extract::gguf::positive_control
• ontology::extract::gguf::rungs_of
• ontology::extract::json::applies
• ontology::extract::json::extract_into
• ontology::extract::lean::base_under
• ontology::extract::lean::emit
• ontology::extract::lean::extract
• ontology::extract::lean::lean
• ontology::extract::lean::positive_control
• ontology::extract::lean::reference_matches
• ontology::extract::lean::references_of
• ontology::extract::lean::statement_iri
• ontology::extract::lean::statements_of
• ontology::extract::lean::theorems_in
• ontology::extract::pv_contract::documents
• ontology::extract::pv_contract::entity_predicate
• ontology::extract::pv_contract::extract
• ontology::extract::pv_contract::extract_one
• ontology::extract::repo_root
• ontology::rdf::escape_literal
• ontology::rdf::iri
• ontology::rdf::ont
• ontology::receipts::parse
• ontology::receipts::read_all
• ontology::receipts::resolve
• ontology::shapes::expand
• ontology::shapes::instances_closed
• ontology::shapes::is_instance
• ontology::shapes::parse_shape
• ontology::shapes::parse_shapes
• ontology::shapes::short
• ontology::shapes::term_short
• ontology::shapes::to_turtle
• ontology::shapes::validate
• ontology::shapes::well_formed
• ontology::w3c::components_covered
• ontology::w3c::parse_case
• ontology::w3c::run_all
• ontology::w3c::run_case
• 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::compute_proof_level_with_grounding
• proof_status::count_not_applicable
• proof_status::format_text
• proof_status::is_l4_self_declared
• proof_status::is_l4_self_declared_with_grounding
• proof_status::is_lean_proved_with_grounding
• 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::artifact::classify_artifact
• schema::artifact::validate_artifact
• schema::artifact::validate_publish_manifest
• schema::external_corpora::is_external_corpora_schema
• schema::external_corpora::parse_external_corpora_str
• schema::external_corpora::validate_external_corpora
• schema::is_contract_yaml
• schema::kaizen::parse_quantity
• 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

Constants

• lint::NAMED_GATES
• lint::duplicate_stems::BASELINE_REL_PATH
• lint::shapes_gate::PLANT_ID
• ontology::arming::DEFAULT_ARMED
• ontology::extract::apr_model::APR_MAGIC
• ontology::extract::apr_model::HEADER_SIZE
• ontology::extract::gguf::GGUF_MAGIC
• ontology::rdf::ONT_BASE
• ontology::rdf::PROV_ENTITY
• ontology::rdf::RDF_TYPE
• ontology::rdf::XSD_BOOLEAN
• ontology::rdf::XSD_DOUBLE
• ontology::rdf::XSD_INTEGER
• ontology::rdf::XSD_STRING
• ontology::receipts::EVIDENCE_DIR
• ontology::receipts::SCHEMA
• ontology::shapes::PROV_NS
• ontology::shapes::RDFS_SUBCLASS_OF
• ontology::shapes::RDF_NS
• ontology::shapes::XSD_NS
• ontology::shapes::XSD_STRING_IRI
• ontology::sigma::READABLE_KEYS
• ontology::verdict::FLEET_LABELS
• ontology::w3c::CASES
• ontology::w3c::NOT_VENDORED
• schema::CONTRACT_TOP_LEVEL_FIELDS
• schema::external_corpora::SCHEMA_PREFIX
• schema::external_corpora::SUPPORTED_VERSIONS
• schema::kaizen::KAIZEN_STATUSES