provable_contracts/traits/
mod.rs

1//! Auto-generated contract traits for compiler-enforced binding verification.
2//!
3//! Each trait corresponds to a YAML contract. Consumer crates `impl` the
4//! trait to prove they have the required functions with correct signatures.
5//!
6//! Missing method = compile error. Wrong signature = compile error.
7//!
8//! Regenerate all: `for f in contracts/*.yaml; do pv scaffold --trait "$f" -o ...; done`
9//!
10//! See: docs/specifications/sub/contract-trait-enforcement.md (Section 23)
11
12pub mod activation_kernel_v1;
13pub mod adamw_kernel_v1;
14pub mod attention_kernel_v1;
15pub mod cross_entropy_kernel_v1;
16pub mod flash_attention_v1;
17pub mod gqa_kernel_v1;
18pub mod layernorm_kernel_v1;
19pub mod matmul_kernel_v1;
20pub mod rmsnorm_kernel_v1;
21pub mod rope_kernel_v1;
22pub mod silu_kernel_v1;
23pub mod softmax_kernel_v1;
24pub mod swiglu_kernel_v1;
25
26// Re-export all traits for convenience
27pub use activation_kernel_v1::ActivationKernelV1;
28pub use adamw_kernel_v1::AdamwKernelV1;
29pub use attention_kernel_v1::AttentionKernelV1;
30pub use cross_entropy_kernel_v1::CrossEntropyKernelV1;
31pub use flash_attention_v1::FlashAttentionV1;
32pub use gqa_kernel_v1::GqaKernelV1;
33pub use layernorm_kernel_v1::LayernormKernelV1;
34pub use matmul_kernel_v1::MatmulKernelV1;
35pub use rmsnorm_kernel_v1::RmsnormKernelV1;
36pub use rope_kernel_v1::RopeKernelV1;
37pub use silu_kernel_v1::SiluKernelV1;
38pub use softmax_kernel_v1::SoftmaxKernelV1;
39pub use swiglu_kernel_v1::SwigluKernelV1;
provable_contracts/traits/mod.rs

provable_contracts/traits/
mod.rs
