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
• discharge::Allowed
• discharge::Binding
• discharge::CheckOpts
• discharge::Escape
• discharge::Formalization
• discharge::Generated
• discharge::LeanFile
• discharge::Report
• discharge::Root
• discharge::Tree
• discharge::challenge::Rendered
• discharge::comparator::Closure
• discharge::comparator::Row
• discharge::lex::Decl
• discharge::lex::Token
• discharge::refinement::Judged
• discharge::refinement::Model
• discharge::refinement::Record
• discharge::summary::Discharged
• discharge::summary::Module
• discharge::summary::Summary
• 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
• kani_assume::Baseline
• kani_assume::Count
• kani_assume::Rise
• lean_gen::LeanFile
• lean_gen::LeanStatusReport
• lean_gen::ObligationStatus
• lint::ArmedGateVerdict
• lint::GateResult
• lint::LintConfig
• lint::LintReport
• lint::MeasuredSet
• lint::Ratchets
• lint::ShapesControls
• lint::ShapesCounters
• lint::bindings_gate::AllowEntry
• lint::bindings_gate::BindingsCounters
• lint::cache::CacheEntry
• lint::cache::CacheStats
• lint::capability_cells_gate::CapabilityCellsReport
• lint::config::CacheSection
• lint::config::DiffSection
• lint::config::LintSection
• lint::config::OutputSection
• lint::config::PvConfig
• lint::config::SuppressSection
• lint::config::TrendSection
• lint::consistency_gate::WitnessReport
• lint::duplicate_stems::DuplicateStem
• lint::finding::LintFinding
• lint::refinement_gate::RefinementCounters
• lint::refinement_gate::Side
• lint::refines_gate::LiskovWitnessReport
• lint::refines_gate::RefinesCounters
• 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::shapes_gate::ShapesOptions
• 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::capability_cells::CapabilityCells
• ontology::extract::Extraction
• ontology::extract::apr_model::AprHeader
• ontology::extract::apr_model::AprStats
• ontology::extract::binary::BinaryStats
• ontology::extract::binary::LedgerEntry
• ontology::extract::binary::Target
• ontology::extract::claims::ClaimCheck
• ontology::extract::claims::DocStats
• ontology::extract::claims::Fence
• ontology::extract::cli_surface::Arg
• ontology::extract::cli_surface::Command
• ontology::extract::cli_surface::Surface
• ontology::extract::cli_surface::SurfaceError
• ontology::extract::cli_surface::SurfaceStats
• ontology::extract::code::Bound
• ontology::extract::code::CodeStats
• ontology::extract::code::Resolution
• ontology::extract::code::Resolved
• ontology::extract::code::Resolver
• ontology::extract::code::Unresolved
• ontology::extract::code::Workspace
• ontology::extract::csv::Table
• ontology::extract::example::Example
• ontology::extract::example::ExampleStats
• ontology::extract::gguf::ExtractError
• ontology::extract::gguf::GgufHeader
• ontology::extract::gguf::GgufStats
• ontology::extract::gguf::Rung
• ontology::extract::json::Warning
• ontology::extract::json::github::GithubStats
• ontology::extract::json::github::Refusal
• ontology::extract::json::github::SnapshotType
• ontology::extract::kernel::Inputs
• ontology::extract::kernel::KernelError
• ontology::extract::kernel::KernelStats
• ontology::extract::kernel::ReceiptFile
• ontology::extract::kernel::Row
• ontology::extract::kernel_cells::CellHost
• ontology::extract::kernel_cells::KernelEvidence
• ontology::extract::kernel_cells::KernelMap
• ontology::extract::kernel_cells::ModelShape
• ontology::extract::kernel_cells::RegistryRow
• ontology::extract::kernel_cells::SanitizerEvidence
• ontology::extract::kernel_cells::SanitizerRun
• ontology::extract::kernel_cells::SmokeEvidence
• ontology::extract::kernel_cells::SmokeReceipt
• ontology::extract::kernel_cells::V2Evidence
• ontology::extract::lean::LeanStats
• ontology::extract::lean::Statement
• ontology::extract::llm_context::Ctx
• ontology::extract::parity_receipt::ParityError
• ontology::extract::parity_receipt::ParityStats
• ontology::extract::readme::Ctx
• ontology::extract::release_cells::CellSpec
• ontology::extract::release_cells::HostModels
• ontology::extract::release_cells::ModelRef
• ontology::extract::release_crux::CruxRow
• ontology::extract::release_crux::CruxStats
• ontology::extract::release_crux::Entry
• ontology::extract::release_crux::Mapping
• ontology::extract::release_evidence::HostDecl
• ontology::extract::release_evidence::Inputs
• ontology::extract::release_evidence::Ladder
• ontology::extract::release_evidence::LongRungsFor
• ontology::extract::release_evidence::Projection
• ontology::extract::release_evidence::ReleaseStats
• ontology::extract::release_inputs::Consumer
• ontology::extract::release_inputs::ContextRung
• ontology::extract::release_inputs::Dispatch
• ontology::extract::release_inputs::Dogfood
• ontology::extract::release_inputs::KernelReceipt
• ontology::extract::release_inputs::KernelRow
• ontology::extract::release_inputs::Subject
• ontology::extract::release_inputs::SurfaceRatchet
• ontology::extract::release_inputs::TokReceipt
• ontology::extract::release_inputs::TokRow
• ontology::liskov::CheckError
• ontology::liskov::Clauses
• ontology::liskov::CounterModel
• ontology::liskov::LiskovCorpus
• ontology::liskov::LiskovFixture
• ontology::liskov::LiskovWitness
• ontology::liskov::Obligation
• ontology::liskov::Pair
• ontology::liskov::PairWitness
• ontology::liskov::Step
• ontology::liskov::Violation
• ontology::measured_sets::Entry
• ontology::owl::OwlExport
• ontology::owl::Precondition
• ontology::owl::TboxReport
• ontology::rdf::Graph
• ontology::rdf::Triple
• ontology::readme::TreeAudit
• ontology::receipts::CellRow
• ontology::receipts::InventoryItem
• 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::EntityVocabulary
• ontology::sigma::ExtractorDecl
• ontology::sigma::NotExpressible
• ontology::sigma::Role
• ontology::sigma::Sigma
• ontology::sigma::Subsumes
• ontology::sigma::Symbol
• ontology::sigma::World
• ontology::w3c::Case
• ontology::w3c::CaseError
• ontology::w3c::CaseResult
• ontology::w3c::Expected
• ontology::w3c::W3cRun
• ontology::witness::CertificateFixture
• ontology::witness::ClauseSet
• ontology::witness::Core
• ontology::witness::Model
• ontology::witness::TypedEdge
• ontology::witness::Witness
• 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::Clause
• 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
• schema::no_test_debt::DebtReport
• scoring::CodebaseScore
• scoring::ContractScore
• scoring::ScoreProbe
• scoring::ScoringGap
• scoring::ScoringWeights

Enums

• binding::ImplStatus
• build_helper::BindingPolicy
• diff::SemverBump
• discharge::refinement::Kind
• discharge::summary::L4Source
• error::ContractError
• error::Severity
• generate::ArtifactKind
• infer::MatchStrategy
• kani_assume::CountError
• kernels::Backend
• lint::GateDetail
• lint::GateExtra
• lint::NamedGateOutcome
• lint::consistency_gate::ConsistencyOutcome
• lint::evidence_gate::EvidenceOutcome
• lint::ratchet_gates::RatchetOutcome
• lint::refines_gate::RefinesOutcome
• lint::relations_gate::RelationsOutcome
• lint::relations_gate::TypedGraph
• lint::rules::RuleCategory
• lint::rules::RuleSeverity
• lint::shapes_gate::ShapesOutcome
• lint::sigma_gate::SigmaOutcome
• lint::tbox_gate::TboxOutcome
• lint::valid_under_gate::ValidUnderOutcome
• obligation_matrix::L2Status
• ontology::arming::ArmedShapes
• ontology::capability_cells::CellsError
• ontology::extract::ExtractFailure
• ontology::extract::json::ExtractError
• ontology::extract::release_cells::CellKind
• ontology::extract::release_inputs::ReleaseError
• ontology::liskov::Kind
• ontology::liskov::PairClass
• ontology::owl::Axiom
• ontology::owl::OwlError
• ontology::rdf::Term
• ontology::shapes::NodeKind
• ontology::shapes::Severity
• ontology::shapes::ShapeError
• ontology::sigma::SigmaError
• ontology::sigma::SymbolKind
• ontology::verdict::Reason
• ontology::verdict::Verdict
• ontology::witness::CheckError
• ontology::witness::Checked
• ontology::witness::Step
• ontology::witness::WitnessResult
• pipeline::IssueSeverity
• proof_status::ProofLevel
• query::SearchMode
• roofline::Bottleneck
• schema::AppliesTo
• schema::BeatOutcome
• schema::Citation
• schema::ContractKind
• schema::EnforcementLevel
• schema::FormalStatus
• schema::IntakeStatus
• schema::KaniStrategy
• schema::LeanStatus
• schema::ObligationType
• schema::artifact::ArtifactKind
• scoring::Grade

Traits

• ontology::witness::ClauseView
• ontology::witness::IdSet
• 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

Macros

• workspace_file_or_skip
• workspace_path_or_skip

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::env_key
• 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
• discharge::bind
• discharge::challenge::challenge_decl
• discharge::challenge::diff
• discharge::challenge::render
• discharge::challenge::write
• discharge::check
• discharge::comparator::challenge_decl
• discharge::comparator::challenge_files
• discharge::comparator::cross_check
• discharge::comparator::expected_roots
• discharge::comparator::judge_rows
• discharge::comparator::parse_rows
• discharge::comparator::roots_in
• discharge::comparator::solution_of
• discharge::escapes
• discharge::formalization::judge
• discharge::formalization::judge_doc
• discharge::formalization::measured_sorry_count
• discharge::generate
• discharge::is_exact_name
• discharge::judge_escapes
• discharge::judge_labels
• discharge::lex::blank
• discharge::lex::decls
• discharge::lex::imports
• discharge::lex::is_ident_char
• discharge::lex::tokens
• discharge::load_allowlist
• discharge::load_formalization
• discharge::load_labels
• discharge::pinned_axioms
• discharge::ratchet_labels
• discharge::refinement::judge
• discharge::refinement::l4_modules
• discharge::refinement::load
• discharge::refinement::unrefined
• discharge::refinement::workspace_resolver
• discharge::render_axioms
• discharge::render_labels
• discharge::summary::claim_derived
• discharge::summary::current_tree_sha
• discharge::summary::discharged
• discharge::summary::load
• discharge::summary::modules
• discharge::summary::pins
• discharge::summary::summarize
• discharge::summary::summary_path
• 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_assume::baseline_of
• kani_assume::count_source
• kani_assume::count_tree
• kani_assume::rises
• 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
• lean_gen::lean_status_with
• levels::ladder_block
• levels::stale_level_pairings
• lint::bindings_gate::is_file_path_form
• lint::bindings_gate::run_bindings_gate
• lint::cache::cache_clear
• lint::cache::cache_dir
• lint::cache::cache_get
• lint::cache::cache_put
• lint::cache::content_hash
• lint::capability_cells_gate::control
• lint::capability_cells_gate::corpus
• lint::capability_cells_gate::declared
• lint::capability_cells_gate::findings
• lint::capability_cells_gate::pc_shapes
• lint::capability_cells_gate::wiring_holds
• lint::collect_yaml_files
• lint::config::find_config
• lint::config::load_config
• lint::config::resolve_rule_severities
• lint::consistency_gate::decline_reason
• lint::consistency_gate::run_consistency_gate
• lint::consistency_gate::why
• 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::evidence_gate::run_evidence_gate
• lint::finding::read_snippet
• lint::ratchet_gates::mentions_module
• lint::ratchet_gates::run_depends_on_present_gate
• lint::ratchet_gates::run_proved_is_derived_gate
• lint::ratchet_gates::run_theorem_pairing_gate
• lint::refinement_gate::measure
• lint::refinement_gate::run_refinement_gate
• lint::refinement_gate::run_with
• lint::refines_gate::decline_reason
• lint::refines_gate::explain
• lint::refines_gate::run_refines_gate
• lint::refines_gate::why
• lint::relations_gate::corpus_documents
• lint::relations_gate::run_relations_gate
• lint::relations_gate::typed_graph
• lint::rules::find_rule
• lint::rules::rules_for_category
• lint::run_lint
• lint::run_named_gate
• lint::run_named_gate_with
• 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::run_shapes_gate_with
• lint::shapes_gate::target_class_map
• 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::subsumption::inherited
• lint::subsumption::weakenings
• lint::tbox_gate::run_tbox_gate
• lint::trend::detect_drift
• lint::trend::format_trend
• lint::trend::load_snapshots
• lint::trend::record_snapshot
• lint::trend::trend_dir
• lint::valid_under_gate::run_valid_under_gate
• 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::capability_cells::apply
• ontology::capability_cells::cell_id
• ontology::capability_cells::compute
• ontology::capability_cells::not_run_edges
• ontology::extract::all
• ontology::extract::all_with
• 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::binary::bin
• ontology::extract::binary::bins_of
• ontology::extract::binary::census
• ontology::extract::binary::command_path
• ontology::extract::binary::control_sample
• ontology::extract::binary::emit
• ontology::extract::binary::emit_all
• ontology::extract::binary::extract
• ontology::extract::binary::extract_at
• ontology::extract::binary::node
• ontology::extract::binary::pair_mismatches
• ontology::extract::binary::parse_ledger
• ontology::extract::binary::parse_snapshot
• ontology::extract::binary::positive_control
• ontology::extract::binary::route_key
• ontology::extract::binary::tool_key
• ontology::extract::claims::camel
• ontology::extract::claims::check_claims
• ontology::extract::claims::ci_run_lines
• ontology::extract::claims::claim_commands
• ontology::extract::claims::code_spans
• ontology::extract::claims::entity_docs
• ontology::extract::claims::fences
• ontology::extract::claims::frontmatter
• ontology::extract::claims::headings
• ontology::extract::claims::is_claim_info
• ontology::extract::claims::normalise
• ontology::extract::claims::prose_lines
• ontology::extract::claims::scalars
• ontology::extract::claims::section_run_lines
• ontology::extract::claims::section_specs
• ontology::extract::claims::workflow_run_lines
• ontology::extract::cli_surface::cli
• ontology::extract::cli_surface::emit
• ontology::extract::cli_surface::parse
• ontology::extract::cli_surface::positive_control
• ontology::extract::cli_surface::read
• 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::resolve_all
• ontology::extract::code::sym
• ontology::extract::code::symbol_iri
• ontology::extract::covering::pairwise
• ontology::extract::covering::uncovered
• ontology::extract::csv::csv
• ontology::extract::csv::emit_file
• ontology::extract::csv::extract
• ontology::extract::csv::parse
• ontology::extract::csv::positive_control
• ontology::extract::csv::split_record
• ontology::extract::example::emit
• ontology::extract::example::ex
• ontology::extract::example::extract
• ontology::extract::example::families_in
• ontology::extract::example::pin_reason
• ontology::extract::example::positive_control
• ontology::extract::example::targets_of
• ontology::extract::example::walk
• ontology::extract::gguf::emit_file
• ontology::extract::gguf::emit_rung
• ontology::extract::gguf::extract
• ontology::extract::gguf::header_with_tensors
• 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::gguf::tensor_types
• ontology::extract::json::applies
• ontology::extract::json::extract_into
• ontology::extract::json::github::extract
• ontology::extract::json::github::positive_control
• ontology::extract::json::github::snapshot_types
• ontology::extract::json::positive_control
• ontology::extract::kernel::control_graph
• ontology::extract::kernel::extract
• ontology::extract::kernel::kern
• ontology::extract::kernel::parse_receipt
• ontology::extract::kernel::positive_control
• ontology::extract::kernel::resolve
• ontology::extract::kernel_cells::attribute_sanitizer_runs
• ontology::extract::kernel_cells::build_cells
• ontology::extract::kernel_cells::emit_kernel_cell
• ontology::extract::kernel_cells::emit_model_cell
• ontology::extract::kernel_cells::emit_sanitizer
• ontology::extract::kernel_cells::emit_smoke
• ontology::extract::kernel_cells::judge_parity_receipt
• ontology::extract::kernel_cells::judge_sanitizer_receipt
• ontology::extract::kernel_cells::judge_sanitizer_run
• ontology::extract::kernel_cells::judge_smoke_receipt
• ontology::extract::kernel_cells::kernel_cell
• ontology::extract::kernel_cells::model_cell
• ontology::extract::kernel_cells::model_kernel_map
• ontology::extract::kernel_cells::models_from_inventory
• ontology::extract::kernel_cells::op_kernels
• ontology::extract::kernel_cells::parse_input_sets
• ontology::extract::kernel_cells::parse_registry
• ontology::extract::kernel_cells::read_host_kernels
• ontology::extract::kernel_cells::read_host_sanitizers
• ontology::extract::kernel_cells::read_host_smokes
• ontology::extract::kernel_cells::read_v2
• ontology::extract::kernel_cells::smoke_cell
• ontology::extract::kernel_cells::static_kernel_map
• 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::llm_context::emit
• ontology::extract::llm_context::extract
• ontology::extract::llm_context::is_path_ref
• ontology::extract::llm_context::llm
• ontology::extract::llm_context::positive_control
• ontology::extract::llm_context::role_predicate
• ontology::extract::llm_context::synonyms
• ontology::extract::materialize_type_closure
• ontology::extract::parity_receipt::control_sample
• ontology::extract::parity_receipt::extract
• ontology::extract::parity_receipt::parity
• ontology::extract::parity_receipt::positive_control
• ontology::extract::pv_contract::documents
• ontology::extract::pv_contract::entity_class
• ontology::extract::pv_contract::entity_predicate
• ontology::extract::pv_contract::extract
• ontology::extract::pv_contract::extract_one
• ontology::extract::pv_contract::positive_control
• ontology::extract::readme::census_n
• ontology::extract::readme::emit
• ontology::extract::readme::extract
• ontology::extract::readme::positive_control
• ontology::extract::readme::readme
• ontology::extract::release_cells::cell_id
• ontology::extract::release_cells::derive
• ontology::extract::release_crux::emit
• ontology::extract::release_crux::read_mapping
• ontology::extract::release_crux::read_receipts
• ontology::extract::release_evidence::build
• ontology::extract::release_evidence::extract
• ontology::extract::release_evidence::ladder_of
• ontology::extract::release_evidence::positive_control
• ontology::extract::release_evidence::rel
• ontology::extract::release_inputs::derive_rungs
• ontology::extract::release_inputs::read_context_rungs
• ontology::extract::release_inputs::read_dogfood
• ontology::extract::release_inputs::read_kernel_receipts
• ontology::extract::release_inputs::read_surface_ratchet
• ontology::extract::release_inputs::read_tokenizer_receipts
• ontology::extract::repo_root
• ontology::extract::sigma_of
• ontology::liskov::check
• ontology::liskov::liskov_corpus
• ontology::liskov::liskov_sha256
• ontology::liskov::liskov_witness_path
• ontology::liskov::pc_checker
• ontology::measured_sets::freshness
• ontology::measured_sets::read
• ontology::measured_sets::withdrawal
• ontology::owl::export
• ontology::owl::report_json
• ontology::owl::tbox
• ontology::owl::to_ofn
• ontology::rdf::escape_literal
• ontology::rdf::iri
• ontology::rdf::iri_path
• ontology::rdf::ont
• ontology::readme::audit_tree
• ontology::readme::package_and_lib
• ontology::readme::retired_crates
• ontology::readme::scan_manifest
• ontology::readme::scan_text
• ontology::receipts::expected_hosts
• ontology::receipts::parse
• ontology::receipts::read_all
• ontology::receipts::read_dir
• ontology::receipts::receipt_hosts
• ontology::receipts::resolve
• ontology::receipts::row_is_green
• ontology::shapes::compare_terms
• ontology::shapes::expand
• ontology::shapes::instances_closed
• ontology::shapes::is_instance
• ontology::shapes::parse_shape
• ontology::shapes::parse_shape_with
• ontology::shapes::parse_shapes
• ontology::shapes::parse_shapes_with
• 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
• ontology::witness::census_id_set_sha256
• ontology::witness::check
• ontology::witness::check_with
• ontology::witness::implication_adjacency
• ontology::witness::pc_checker
• ontology::witness::relations_sha256
• ontology::witness::unencoded_edges
• ontology::witness::variables
• ontology::witness::witness_path
• 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_discharged_for_contract
• proof_status::count_not_applicable
• proof_status::discharge_grounding
• 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::no_test_debt::check
• schema::no_test_debt::check_in_tree
• schema::no_test_debt::debt_cap
• schema::no_test_debt::debt_entries
• schema::no_test_debt::in_census_tree
• schema::no_test_debt::measure
• schema::no_test_debt::rel_to_contracts
• schema::no_test_debt::unwalked
• 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
• tree::workspace_file_or_skip_at
• tree::workspace_path_or_skip_at
• tree::workspace_root_of

Type Aliases

• ontology::extract::covering::Pair
• ontology::extract::llm_context::Synonyms
• ontology::extract::release_inputs::ContextDecl
• ontology::shapes::TargetMap

Statics

• lint::rules::RULES

Constants

• discharge::ALLOWLIST
• discharge::AXIOMS_FILE
• discharge::DEFAULT_AXIOMS
• discharge::ESCAPE_KINDS
• discharge::LABELS
• discharge::challenge::CHALLENGE_DIR
• discharge::challenge::CHALLENGE_NS
• discharge::comparator::CHALLENGE_DIR
• discharge::comparator::CHALLENGE_NS
• discharge::comparator::COMPARATOR
• discharge::comparator::SORRY_AXIOM
• discharge::formalization::FILE
• discharge::lex::NAMED_DECLS
• discharge::summary::LOG_FILE
• discharge::summary::SUMMARY_FILE
• levels::END_MARKER
• levels::MARKER
• lint::NAMED_GATES
• lint::UNWALKED_DIRS
• lint::bindings_gate::ALLOWLIST
• lint::bindings_gate::GATE
• lint::capability_cells_gate::PLANT
• lint::capability_cells_gate::PLANT_CELL
• lint::capability_cells_gate::SHAPE
• lint::consistency_gate::GATE
• lint::duplicate_stems::BASELINE_REL_PATH
• lint::evidence_gate::EVIDENCE_KEYS
• lint::evidence_gate::GENERATED_BY_KEYS
• lint::evidence_gate::LEVELS_SOURCE
• lint::evidence_gate::MARKS
• lint::evidence_gate::PROVENANCE_KEYS
• lint::ratchet_gates::BOOK_ROOTS
• lint::ratchet_gates::UNDERIVED_KEY
• lint::ratchet_gates::UNPAIRED_KEY
• lint::ratchet_gates::WITHOUT_DEPENDS_ON_KEY
• lint::refinement_gate::GATE
• lint::refinement_gate::LEAN_DIR
• lint::refines_gate::GATE
• lint::shapes_gate::PLANT_ID
• lint::valid_under_gate::BASELINE_KEY
• lint::valid_under_gate::DEFAULT_WORLD
• lint::valid_under_gate::VALID_UNDER_KEYS
• ontology::arming::DEFAULT_ARMED
• ontology::extract::apr_model::APR_MAGIC
• ontology::extract::apr_model::HEADER_SIZE
• ontology::extract::binary::EMPTY_SHA256
• ontology::extract::binary::LEDGER
• ontology::extract::binary::LEDGER_HEADER
• ontology::extract::binary::SCHEMA
• ontology::extract::binary::SNAPSHOT
• ontology::extract::claims::CLAIM_LANGS
• ontology::extract::claims::MERGE_PATH_EVENTS
• ontology::extract::cli_surface::ROLES
• ontology::extract::cli_surface::SCHEMA
• ontology::extract::cli_surface::SCHEMAS
• ontology::extract::cli_surface::UNSET
• ontology::extract::example::CURRENT_FAMILY
• ontology::extract::example::FAMILIES
• ontology::extract::example::PIN_MARKER
• ontology::extract::example::STALE_EXAMPLES_PINNED
• ontology::extract::gguf::GGML_MAX_DIMS
• ontology::extract::gguf::GGUF_MAGIC
• ontology::extract::json::github::EVIDENCE_DIR
• ontology::extract::json::github::RESOLVES
• ontology::extract::json::github::UNRESOLVED_SUFFIX
• ontology::extract::kernel::EVIDENCE_DIR
• ontology::extract::kernel::PARITY_MAX_DIFF
• ontology::extract::kernel::PARITY_MIN_COS
• ontology::extract::kernel::REQUIRED_HOSTS_FILE
• ontology::extract::kernel::SCHEMA
• ontology::extract::kernel::TIMING_MAX_RATIO
• ontology::extract::kernel_cells::ANY_ARCH
• ontology::extract::kernel_cells::INPUT_SETS_SCHEMA
• ontology::extract::kernel_cells::PARITY_SCHEMA
• ontology::extract::kernel_cells::REGISTRY_PATH
• ontology::extract::kernel_cells::ROW_MAJOR
• ontology::extract::kernel_cells::SANITIZER_MAX_AGE_S
• ontology::extract::kernel_cells::SANITIZER_SCHEMA
• ontology::extract::kernel_cells::SANITIZER_SCHEMA_V2
• ontology::extract::kernel_cells::SANITIZER_TOOLS
• ontology::extract::kernel_cells::SMOKE_SCHEMA
• ontology::extract::parity_receipt::EVIDENCE_DIR
• ontology::extract::parity_receipt::EXPECTED_FILE
• ontology::extract::parity_receipt::SCHEMA
• ontology::extract::release_cells::SAMPLING_CONTROLS
• ontology::extract::release_cells::SAMPLING_KINDS_NEEDED
• ontology::extract::release_crux::MAPPING_FILE
• ontology::extract::release_crux::MAPPING_SCHEMA
• ontology::extract::release_crux::RECEIPT_DIR
• ontology::extract::release_crux::RECEIPT_SCHEMA
• ontology::extract::release_evidence::THINKING
• ontology::extract::release_inputs::CONSUMER_MAX
• ontology::extract::release_inputs::CONTEXT_RUNGS_FILE
• ontology::extract::release_inputs::CONTEXT_SCHEMA
• ontology::extract::release_inputs::DECLARED
• ontology::extract::release_inputs::KERNEL_EVIDENCE_DIR
• ontology::extract::release_inputs::KERNEL_SCHEMA
• ontology::extract::release_inputs::SURFACE_RATCHET_FILE
• ontology::extract::release_inputs::SURFACE_RATCHET_SCHEMA
• ontology::extract::release_inputs::TOKENIZER_EVIDENCE_DIR
• ontology::extract::release_inputs::TOKENIZER_SCHEMA
• ontology::liskov::CORRUPT_LISKOV_FIXTURE
• ontology::liskov::LISKOV_WITNESS_DIR
• ontology::liskov::REFINES_ROLE
• ontology::measured_sets::KEYS
• ontology::measured_sets::REMEDY
• ontology::owl::ADMITTED_AXIOM_KINDS
• ontology::owl::OWL_READER
• ontology::owl::SIGMA_ONTOLOGY_IRI
• 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::readme::ARCHIVED_REPOS
• ontology::readme::RULE_ARCHIVED_REPO
• ontology::readme::RULE_RETIRED_CRATE
• ontology::readme::RULE_RETIRED_INSTALL
• ontology::receipts::EVIDENCE_DIR
• ontology::receipts::SCHEMA
• ontology::receipts::SCHEMAS
• ontology::receipts::SCHEMA_V2
• 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::sigma::RESERVED_ENTITY_TYPE
• ontology::verdict::FLEET_LABELS
• ontology::w3c::CASES
• ontology::w3c::NOT_VENDORED
• ontology::witness::CONFLICT_ROLE
• ontology::witness::CORRUPT_CORE_FIXTURE
• ontology::witness::FIRED
• ontology::witness::IMPLYING_ROLES
• ontology::witness::RETIRING_ROLE
• schema::CONTRACT_TOP_LEVEL_FIELDS
• schema::external_corpora::SCHEMA_PREFIX
• schema::external_corpora::SUPPORTED_VERSIONS
• schema::kaizen::KAIZEN_STATUSES
• schema::no_test_debt::CENSUS_MARKER
• schema::no_test_debt::NO_TEST_DEBT
• schema::no_test_debt::UNWALKED_CAP