fuel-dispatch 0.20.14

// SPDX-License-Identifier: MIT OR Apache-2.0
//! Maintenance tools behind the `dev-tools` feature. **Not part of the
//! supported API; semver-exempt.**
//!
//! These were `#[ignore]`d tests: each one REWRITES a committed file (the
//! verified ledger, or the CPU contracts), so they are tools, not assertions.
//! A test that is ignored on purpose reads as flaky or slow and cannot say what
//! it really is. They live here so the `fuel-dev-tools` binary (a separate
//! crate, unable to reach `pub(crate)` internals) can drive them, and so
//! `cargo check --features dev-tools --bins` keeps them compiling.

use crate::fkc::{contract_audit_flip, verify};

/// Re-seed the CPU half of `docs/kernel-contracts/.fkc-verified-ledger.json`.
pub fn seed_cpu_ledger() {
    verify::seed_cpu_ledger::run_seed_cpu_ledger();
}

/// Re-seed the CUDA half of the verified ledger. Needs a live CUDA device.
#[cfg(feature = "cuda")]
pub fn seed_cuda_ledger() {
    verify::seed_cuda_ledger::run_seed_cuda_ledger();
}

/// Re-seed the Vulkan half of the verified ledger. Needs a live Vulkan device.
#[cfg(feature = "vulkan")]
pub fn seed_vulkan_ledger() {
    verify::seed_vulkan_ledger::run_seed_vulkan_ledger();
}

/// GAP-228: flip the fully-backed `audited: false` CPU contract sections.
pub fn gap_228_flip() {
    contract_audit_flip::run_gap_228_flip();
}

/// GAP-228: report which sections are wholesale flippable (read-only).
pub fn gap_228_sections_report() {
    contract_audit_flip::run_gap_228_sections_report();
}