aprender/.clippy.toml at main · paiml/aprender · GitHub

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
40
41
42
43
44
# Clippy Configuration for Aprender
# Enforces Toyota Way quality standards

# Additional lint configuration
# Cognitive complexity threshold (Toyota Way: ≤15)
cognitive-complexity-threshold = 15

# Type complexity threshold
type-complexity-threshold = 250

# Allowed names for single-character variables (mathematical notation)
allowed-idents-below-min-chars = ["x", "y", "i", "j", "k", "n", "m", "a", "b", "c"]

# Minimum identifier length (allow single chars for math)
min-ident-chars-threshold = 1

# Disallow dangerous methods that can cause panics
# GH-41: unwrap() elimination complete — enforcement enabled
[[disallowed-methods]]
path = "core::option::Option::unwrap"
reason = "Use .expect() with descriptive message or proper error handling with ?. See GH-41."

[[disallowed-methods]]
path = "core::result::Result::unwrap"
reason = "Use .expect() with descriptive message or proper error handling with ?. See GH-41."

# LAYOUT-001: Column-major kernel bans (PMAT-243)
# APR is exclusively row-major. Column-major kernels produce garbage output.
# See: contracts/tensor-layout-v1.yaml, GH-202, GH-208
[[disallowed-methods]]
path = "trueno::backends::q4k::colmajor::matmul_q4k_f32_colmajor"
reason = "LAYOUT-001: APR is exclusively row-major. Use fused_q4k_parallel_matvec. See GH-202."

[[disallowed-methods]]
path = "trueno::backends::q4k::colmajor::matmul_q4k_f32_colmajor_dispatch"
reason = "LAYOUT-001: APR is exclusively row-major. Use fused_q4k_parallel_matvec. See GH-202."

[[disallowed-methods]]
path = "trueno::backends::q6k::colmajor::matmul_q6k_f32_colmajor"
reason = "LAYOUT-001: APR is exclusively row-major. Use fused_q6k_parallel_matvec. See GH-202."

[[disallowed-methods]]
path = "trueno::backends::q6k::colmajor::matmul_q6k_f32_colmajor_dispatch"
reason = "LAYOUT-001: APR is exclusively row-major. Use fused_q6k_parallel_matvec. See GH-202."