proofframe-0.7.1
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

proofframe 0.7.1

Rust-native Arrow contracts, exact checks, fingerprints, and verifiable evidence

Crate
Source
Builds
Feature flags

..
support
allocation_contract.rs
balance_and_dominance.rs
column_length_and_dates.rs
conditional_unique.rs
contract_compile.rs
contract_diagnostics.rs
dataset_contract.rs
dataset_statistics.rs
dataset_sum.rs
diff_corruption.rs
distinct_spill.rs
evidence_receipt.rs
execution_contract.rs
fingerprint_versions.rs
fuzz_surface.rs
gap_detection.rs
leakage_contract.rs
monotonicity.rs
mutually_exclusive.rs
partition_contract.rs
partition_manifest.rs
reference_contract.rs
resource_limits.rs
review_parity.rs
row_count_delta.rs