| FINDING | LOCATION | TYPE | STATED (v3.5) | CORRECTED (v3.6) | SEVERITY |
|---|---|---|---|---|---|
| CEV-F001 | §9.1 Gini | Formula error — sign | Negative for all inputs | G = (2Σ(i×s_i))/(nΣs_i) − (n+1)/n | ⛔ CRITICAL |
| CEV-F002 | §11.4 CRA | Domain error — no floor | CRA can be −0.131 | CRA = max(0, 1−σ/μ) | ⛔ CRITICAL |
| CEV-F003 | §11.2 Teleology | Division by zero | Unguarded | if sim_T+sim_M=0 → TS:=0 | 🔴 STRUCTURAL |
| CEV-F004 | §17 projected EV | Arithmetic error | 0.845 | 0.8227 (bottleneck shifts to L) | 🟠 MAJOR |
| CEV-F005 | §17 min E for VALID | Incorrect inference | E ≥ 0.75 | E ≥ 0.62 (L is next bottleneck) | 🟠 MAJOR |
| CEV-F006 | §17 EV_base | Rounding | 0.788 | 0.786 | 🟡 MINOR |
| CEV-F007 | ODR-007 5-year | Unit error | 157,248,000 s | 157,680,000 s (−5 days) | 🟡 MINOR |
| CEV-F008 | §4.2 ES bottleneck | Edge case — empty set | Undefined | Guard added | 🟡 MINOR |
The v3.5 Gini formula G = 1 − (2×Σ(i×s_i))/(n×Σs_i) is archived as GINI-FSVE-ERR-001. The standard rank-sum Gini formula is G = (2×Σ(i×s_i)) / (n×Σs_i) − (n+1)/n. The v3.5 formula applied 1 − [numerator term] instead of subtracting (n+1)/n. For a uniform distribution of n=5 items: the correct term equals (n+1)/n = 1.2, making correct G = 1.2 − 1.2 = 0. The v3.5 formula produced 1 − 1.2 = −0.2. The laundering check G < 0.15 could never have been triggered. All v3.5 scores that invoked the Gini laundering check were missing this detection layer entirely.
| INPUT | v3.5 RESULT | v3.6 RESULT | EXPECTED |
|---|---|---|---|
| [0.5 × 5] | −0.200 | 0.000 | 0.000 ✓ |
| [0,0,0,0,1] | −1.000 | 0.800 | (n−1)/n = 0.800 ✓ |
| [0.8 × 5] | −0.200 | 0.000 | 0.000 ✓ |
| [0.55 × 5] | −0.200 | 0.000 | 0.000 ✓ |
v3.5 stated: raise E from 0.35 to ≥ 0.75 to achieve projected EV = 0.845. Both figures were wrong. When E rises above L = 0.62, the binding constraint shifts from E to L. At that point EV = min(EV_base, 1.5 × 0.62) = min(0.786, 0.93). Since EV_base = 0.786 < 0.93, the cap is not binding — EV = 0.786 at E=0.62, rising to 0.8227 as E increases further. Corrected path to VALID: E must rise from 0.35 to ≥ 0.62. VALID status (EV ≥ 0.70) is achievable sooner than v3.5 stated. Every FCL entry that raises E above 0.62 moves EV_base upward from there.
FSVE v3.5 contained two critical formula errors (Gini, CRA domain) that were non-functional. The Gini check was mathematically incapable of detecting laundering in any configuration. The CRA formula could produce results outside its implied domain [0,1]. Both are corrected in v3.6. This is a Minor release — all v3.5 ScoreTensors are valid except those that invoked the Gini laundering check, which must be re-evaluated. EV = 0.525 is unchanged. v3.6 fixes formula errors, not evidence gaps. Path to VALID requires FCL entry accumulation.
CEV Audit conducted: Sheldon K. Salmon (AI Reliability Architect) + Claude (Anthropic) · February 2026