Module falsification 

Popperian Falsification Checklist Implementation

Implements the 108-item Sovereign AI Assurance Protocol checklist. Each checklist item is a falsifiable claim with explicit rejection criteria.

Toyota Way Integration

• Jidoka: Automated gates stop pipeline on failure
• Genchi Genbutsu: Evidence-based verification
• Kaizen: Continuous improvement via metrics

Severity Levels

• Critical: Project FAIL - blocks release
• Major: Requires remediation before release
• Minor: Documented limitation
• Info: Clarification needed

Implemented Sections (108 Items Total)

• Section 1: Sovereign Data Governance (SDG-01 to SDG-15) - 15 items
• Section 2: ML Technical Debt Prevention (MTD-01 to MTD-10) - 10 items
• Section 3: Hypothesis-Driven Development (HDD-01 to EDD-03) - 13 items
• Section 4: Numerical Reproducibility (NR-01 to NR-15) - 15 items
• Section 5: Performance & Waste Elimination (PW-01 to PW-15) - 15 items
• Section 6: Safety & Formal Verification (SF-01 to SF-10) - 9 items
• Section 7: Jidoka Automated Gates (JA-01 to JA-12) - 9 items
• Section 8: Model Cards & Auditability (MA-01 to MA-10) - 10 items
• Section 9: Cross-Platform & API (CP-01 to CP-05) - 5 items
• Section 10: Architectural Invariants (AI-01 to AI-05) - 5 items CRITICAL

Structs

CheckItem

A single checklist item result.

ChecklistResult

Complete checklist evaluation result.

DependencyAuditResult

Result of a dependency audit.

Evidence

Evidence collected for a check.

FileAuditResult

Result of a file audit.

SerdeConfigSupport

Serde config support detection result.

WasmSupport

WASM support detection result.

Enums

CheckStatus

Result status for a checklist item.

EvidenceType

Type of evidence collected.

Severity

Severity level for checklist items.

TpsGrade

TPS-aligned assessment grade.

Functions

audit_cargo_dependencies

Audit Cargo.toml for forbidden dependencies.

audit_scripting_files

Audit for scripting language files.

audit_test_frameworks

Audit for test framework files.

audit_yaml_configs

Audit for YAML configuration files.

check_declarative_yaml

AI-01: Declarative YAML Configuration

check_pure_rust_testing

AI-03: Pure Rust Testing (No Jest/Pytest)

check_schema_validation

AI-05: Declarative Schema Validation

check_wasm_first

AI-04: WASM-First Browser Support

check_zero_scripting

AI-02: Zero Scripting in Production

evaluate_all

Evaluate all architectural invariants.

evaluate_critical_only

Run only the critical architectural invariants.

evaluate_cross_platform

Evaluate all Cross-Platform & API checks.

evaluate_hypothesis_driven

Evaluate all Hypothesis-Driven Development checks.

evaluate_jidoka

Evaluate all Jidoka automated gates for a project.

evaluate_model_cards

Evaluate all Model Cards & Auditability checks.

evaluate_numerical_reproducibility

Evaluate all Numerical Reproducibility checks.

evaluate_performance_waste

Evaluate all Performance & Waste checks.

evaluate_project

Run the complete falsification checklist against a project.

evaluate_safety

Evaluate all safety checks for a project.

evaluate_sovereign_data

Evaluate all Sovereign Data Governance checks.

evaluate_technical_debt

Evaluate all ML technical debt checks for a project.

has_rust_tests

Check if a Rust project has tests.

has_serde_config

Check for serde-based config validation.

has_wasm_support

Check if a project has WASM support.