aprender-core 0.31.2

Next-generation machine learning library in pure Rust
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

#![allow(clippy::disallowed_methods)]
//! Popperian Falsification Tests — Compiler-Enforced Model Types & Model Oracle
//!
//! Per Popper (1959), each validation rule must make a prediction that could be
//! proven false. If a falsification test finds a counterexample, the implementation
//! is broken.
//!
//! Spec reference: docs/specifications/compiler-enforced-model-types-model-oracle.md §7
//!
//! Test IDs map to spec:
//! - FALSIFY-MFC-001..003: Model Family Contracts (§7.1)
//! - FALSIFY-ORC-001..004: Oracle CLI (§7.2)
//! - FALSIFY-CMP-001..003: Compiler Enforcement (§7.3)
//! - FALSIFY-BGN-001..002: Build-Time Codegen (§7.4)
//! - FALSIFY-ALG-001..009: Algebraic Invariants (§7.6)

use aprender::format::model_family::build_default_registry;

// Build-time generated constants
use aprender::format::model_family::{
    BERT_BASE_HIDDEN_DIM, BERT_VENDOR, DEEPSEEK_VENDOR, GEMMA_VENDOR, KNOWN_FAMILIES,
    LLAMA_8B_HIDDEN_DIM, LLAMA_8B_NUM_LAYERS, LLAMA_VENDOR, MISTRAL_VENDOR, PHI_VENDOR,
    QWEN2_0_5B_HIDDEN_DIM, QWEN2_0_5B_NUM_LAYERS, QWEN2_VENDOR, WHISPER_VENDOR,
};

// Validated tensor types for FALSIFY-CMP-001
use aprender::format::validated_tensors::{RowMajor, ValidatedWeight};

include!("includes/falsify_1.rs");
include!("includes/falsify_2.rs");
include!("includes/falsify_3.rs");
include!("includes/falsify_iter.rs");
include!("includes/falsify_iter4.rs");
include!("includes/falsify_iter5.rs");
include!("includes/falsification_model_oracle_statistical_properties.rs");
include!("includes/falsification_model_oracle.rs");
include!("includes/falsify_iter7.rs");
include!("includes/falsify_alg.rs");
include!("includes/falsification_model_oracle_alg_invariants.rs");