impl DefectTaxonomy {
#[must_use]
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub fn with_tauranta_patterns() -> Self {
let mut patterns = HashMap::new();
patterns.insert(
"PARITY-114".to_string(),
DefectClass {
ticket_id: "PARITY-114".to_string(),
description: "Barrier divergence: thread exits before bar.sync".to_string(),
severity: DefectSeverity::P0Critical,
detection_method: "PTX CFG analysis".to_string(),
resolved: true,
root_cause: Some(
"Early-exit optimization without barrier convergence guarantee".to_string(),
),
},
);
patterns.insert(
"PAR-002".to_string(),
DefectClass {
ticket_id: "PAR-002".to_string(),
description: "CUDA GEMV Error 700: illegal memory access".to_string(),
severity: DefectSeverity::P0Critical,
detection_method: "Bounds checking".to_string(),
resolved: true,
root_cause: Some("Thread index exceeds matrix dimensions".to_string()),
},
);
patterns.insert(
"PAR-041".to_string(),
DefectClass {
ticket_id: "PAR-041".to_string(),
description: "FlashAttention tile_kv < head_dim shared memory overflow".to_string(),
severity: DefectSeverity::P0Critical,
detection_method: "Tile dimension validation".to_string(),
resolved: true,
root_cause: Some("Tile size miscalculation for large head dimensions".to_string()),
},
);
patterns.insert(
"PAR-001".to_string(),
DefectClass {
ticket_id: "PAR-001".to_string(),
description: "Q4_K dequantization inefficiency".to_string(),
severity: DefectSeverity::P1Performance,
detection_method: "Throughput analysis".to_string(),
resolved: true,
root_cause: None,
},
);
patterns.insert(
"PAR-034".to_string(),
DefectClass {
ticket_id: "PAR-034".to_string(),
description: "Tensor Core GEMM: unused capability".to_string(),
severity: DefectSeverity::P1Performance,
detection_method: "SM utilization analysis".to_string(),
resolved: true,
root_cause: None,
},
);
patterns.insert(
"PAR-036".to_string(),
DefectClass {
ticket_id: "PAR-036".to_string(),
description: "Non-persistent thread design".to_string(),
severity: DefectSeverity::P1Performance,
detection_method: "Thread lifecycle analysis".to_string(),
resolved: true,
root_cause: None,
},
);
patterns.insert(
"PAR-037".to_string(),
DefectClass {
ticket_id: "PAR-037".to_string(),
description: "Missing CUDA Graphs".to_string(),
severity: DefectSeverity::P1Performance,
detection_method: "API call pattern".to_string(),
resolved: true,
root_cause: None,
},
);
patterns.insert(
"PAR-039".to_string(),
DefectClass {
ticket_id: "PAR-039".to_string(),
description: "Megakernel fusion opportunity missed".to_string(),
severity: DefectSeverity::P1Performance,
detection_method: "Kernel launch count".to_string(),
resolved: true,
root_cause: None,
},
);
patterns.insert(
"PAR-005".to_string(),
DefectClass {
ticket_id: "PAR-005".to_string(),
description: "Redundant weight transfers".to_string(),
severity: DefectSeverity::P2Efficiency,
detection_method: "D2H/H2D ratio".to_string(),
resolved: true,
root_cause: None,
},
);
patterns.insert(
"PAR-028".to_string(),
DefectClass {
ticket_id: "PAR-028".to_string(),
description: "FP32 KV cache overhead".to_string(),
severity: DefectSeverity::P2Efficiency,
detection_method: "Precision analysis".to_string(),
resolved: true,
root_cause: None,
},
);
patterns.insert(
"TRUENO-SIMD-001".to_string(),
DefectClass {
ticket_id: "TRUENO-SIMD-001".to_string(),
description: "Missing #[target_feature] on SIMD functions".to_string(),
severity: DefectSeverity::P0Critical,
detection_method: "SIMD attribute analysis".to_string(),
resolved: true,
root_cause: Some(
"Compiler doesn't enable SIMD instructions without #[target_feature] attribute"
.to_string(),
),
},
);
patterns.insert(
"TRUENO-SIMD-002".to_string(),
DefectClass {
ticket_id: "TRUENO-SIMD-002".to_string(),
description: "Missing #[target_feature] on logarithm SIMD functions".to_string(),
severity: DefectSeverity::P0Critical,
detection_method: "SIMD attribute analysis".to_string(),
resolved: true,
root_cause: Some(
"ln/log2/log10 in AVX2/AVX512 backends missing #[target_feature]".to_string(),
),
},
);
patterns.insert(
"TRUENO-PTX-001".to_string(),
DefectClass {
ticket_id: "TRUENO-PTX-001".to_string(),
description: "PTX misaligned shared memory access (lane_id * 4 bug)".to_string(),
severity: DefectSeverity::P0Critical,
detection_method: "PTX dataflow analysis".to_string(),
resolved: true,
root_cause: Some("u32 store at byte offset lane_id instead of lane_id * 4, addresses 4097, 4098... not 4-byte aligned".to_string()),
},
);
patterns.insert(
"TRUENO-GPU-BARRIER-001".to_string(),
DefectClass {
ticket_id: "TRUENO-GPU-BARRIER-001".to_string(),
description: "Barrier analyzer missed *_done loop end labels".to_string(),
severity: DefectSeverity::P1Performance,
detection_method: "PTX CFG analysis".to_string(),
resolved: true,
root_cause: Some("Only checked *_end suffix, not *_done (sb_loop_done, sub_block_done, k_block_done)".to_string()),
},
);
patterns.insert(
"REALIZAR-QUANT-001".to_string(),
DefectClass {
ticket_id: "REALIZAR-QUANT-001".to_string(),
description: "Q4_0/Q4_K/Q6_K dequantization nibble ordering incorrect".to_string(),
severity: DefectSeverity::P0Critical,
detection_method: "Output validation".to_string(),
resolved: true,
root_cause: Some("Interleaved nibbles instead of sequential - low nibbles go to 0-15/0-31, high to 16-31/32-63".to_string()),
},
);
patterns.insert(
"REALIZAR-TOK-001".to_string(),
DefectClass {
ticket_id: "REALIZAR-TOK-001".to_string(),
description: "SentencePiece tokenizer spaces not replaced with ▁".to_string(),
severity: DefectSeverity::P0Critical,
detection_method: "Token validation".to_string(),
resolved: true,
root_cause: Some("Must replace spaces with ▁ (U+2581) before tokenization for SentencePiece models".to_string()),
},
);
patterns.insert(
"APRENDER-GQA-001".to_string(),
DefectClass {
ticket_id: "APRENDER-GQA-001".to_string(),
description: "GQA (Grouped Query Attention) incorrect key-value head mapping"
.to_string(),
severity: DefectSeverity::P0Critical,
detection_method: "Attention validation".to_string(),
resolved: true,
root_cause: Some(
"GQA models have fewer KV heads than query heads, requires head group mapping"
.to_string(),
),
},
);
patterns.insert(
"F082".to_string(),
DefectClass {
ticket_id: "F082".to_string(),
description: "Address computed from shared memory load (data-dependent addressing)".to_string(),
severity: DefectSeverity::P0Critical,
detection_method: "PTX dataflow analysis".to_string(),
resolved: false,
root_cause: Some("Address register depends on value loaded from shared memory, causing non-uniform memory access".to_string()),
},
);
patterns.insert(
"CB-001".to_string(),
DefectClass {
ticket_id: "CB-001".to_string(),
description: "WGSL global_invocation_id used without bounds check".to_string(),
severity: DefectSeverity::P0Critical,
detection_method: "WGSL AST pattern match".to_string(),
resolved: false,
root_cause: Some(
"ComputeBrick::to_wgsl() generates gid without arrayLength guard".to_string(),
),
},
);
patterns.insert(
"CB-002".to_string(),
DefectClass {
ticket_id: "CB-002".to_string(),
description: "WGSL workgroupBarrier() unreachable from some threads".to_string(),
severity: DefectSeverity::P0Critical,
detection_method: "CFG reachability analysis".to_string(),
resolved: false,
root_cause: Some(
"Conditional early return before barrier in generated shader".to_string(),
),
},
);
patterns.insert(
"CB-003".to_string(),
DefectClass {
ticket_id: "CB-003".to_string(),
description: "Tile dimensions exceed tensor shape".to_string(),
severity: DefectSeverity::P0Critical,
detection_method: "Constraint solving".to_string(),
resolved: false,
root_cause: Some(
"TileStrategy dimensions not validated against tensor shapes".to_string(),
),
},
);
patterns.insert(
"CB-004".to_string(),
DefectClass {
ticket_id: "CB-004".to_string(),
description: "Workgroup shared memory exceeds 16KB limit".to_string(),
severity: DefectSeverity::P0Critical,
detection_method: "Static memory analysis".to_string(),
resolved: false,
root_cause: Some(
"ComputeBrick::shared() allocations not summed and validated".to_string(),
),
},
);
patterns.insert(
"CB-010".to_string(),
DefectClass {
ticket_id: "CB-010".to_string(),
description: "Workgroup size not multiple of 32 (warp waste)".to_string(),
severity: DefectSeverity::P1Performance,
detection_method: "Numeric check".to_string(),
resolved: false,
root_cause: Some(
"Workgroup size chosen without considering warp alignment".to_string(),
),
},
);
patterns.insert(
"CB-011".to_string(),
DefectClass {
ticket_id: "CB-011".to_string(),
description: "Redundant barrier without preceding shared memory write".to_string(),
severity: DefectSeverity::P1Performance,
detection_method: "Data flow analysis".to_string(),
resolved: false,
root_cause: Some(
"TileOp::Barrier added without corresponding LoadShared/StoreShared"
.to_string(),
),
},
);
patterns.insert(
"CB-012".to_string(),
DefectClass {
ticket_id: "CB-012".to_string(),
description: "Low vectorization ratio (<50%)".to_string(),
severity: DefectSeverity::P1Performance,
detection_method: "Type analysis".to_string(),
resolved: false,
root_cause: Some(
"ElementwiseOp generates scalar operations instead of vector".to_string(),
),
},
);
patterns.insert(
"CB-013".to_string(),
DefectClass {
ticket_id: "CB-013".to_string(),
description: "Matrix ops without subgroup cooperative usage".to_string(),
severity: DefectSeverity::P1Performance,
detection_method: "Pattern match".to_string(),
resolved: false,
root_cause: Some(
"TileStrategy::Cooperative not using WGSL subgroup operations".to_string(),
),
},
);
patterns.insert(
"CB-020".to_string(),
DefectClass {
ticket_id: "CB-020".to_string(),
description: "unsafe block without SAFETY comment".to_string(),
severity: DefectSeverity::P2Efficiency,
detection_method: "Regex + AST".to_string(),
resolved: false,
root_cause: Some("Rust safety documentation convention not followed".to_string()),
},
);
patterns.insert(
"CB-021".to_string(),
DefectClass {
ticket_id: "CB-021".to_string(),
description: "SIMD intrinsics without #[target_feature] attribute".to_string(),
severity: DefectSeverity::P2Efficiency,
detection_method: "Attribute check".to_string(),
resolved: false,
root_cause: Some(
"Same as TRUENO-SIMD-001: missing attribute causes scalar fallback".to_string(),
),
},
);
patterns.insert(
"CB-022".to_string(),
DefectClass {
ticket_id: "CB-022".to_string(),
description: "Excessive barriers (>4) suggests algorithmic issue".to_string(),
severity: DefectSeverity::P2Efficiency,
detection_method: "Count analysis".to_string(),
resolved: false,
root_cause: Some(
"Algorithm requires rethinking to reduce synchronization points".to_string(),
),
},
);
Self { patterns }
}
}