Comprehensive verification suite for the A1 closed-form mapping module.
Examples
verify_a1_mapping_all()
#> ======================================================================
#> Module 10: A1 Closed-Form Mapping - Full Verification Suite
#> ======================================================================
#>
#> [Test 1] A1 produces positive parameters
#> J=50, mu_K=5, var_K=8
#> a = 4.000000, b = 3.912023
#> PASS: TRUE
#>
#> [Test 2] A1 handles infeasible variance via projection
#> J=50, mu_K=5, var_K=3 (infeasible: var < mu-1=4)
#> var_K_used = 4.000017
#> status = projected
#> PASS: TRUE
#>
#> [Test 3] VIF conversion is correct
#> vif_to_variance(5, 2) = 8.0 (expected 8)
#> confidence_to_vif('medium') = 2.5 (expected 2.5)
#> PASS: TRUE
#>
#> [Test 4] Round-trip verification
#> J=50, mu_K=5.0, var_K=8.0: PASS
#> J=100, mu_K=10.0, var_K=20.0: PASS
#> J=25, mu_K=4.0, var_K=30.0: PASS
#> J=50, mu_K=5.0, var_K=6.0: PASS
#>
#> [Test 5] Scaling method comparison
#> scaling='log': cJ=3.9120, a=4.0000, b=3.9120
#> scaling='harmonic': cJ=4.4792, a=4.0000, b=4.4792
#> scaling='digamma': cJ=4.4633, a=4.0000, b=4.4633
#>
#> [Test 6] CV(alpha) to variance conversion
#> Target CV=0.5 -> var_K=8.00 -> Recovered CV=0.5000
#> Target CV=1.0 -> var_K=20.00 -> Recovered CV=1.0000
#> Target CV=2.0 -> var_K=68.00 -> Recovered CV=2.0000
#>
#> [Test 7] A2 compatibility fields
#> converged = TRUE (expected TRUE)
#> iterations = 0 (expected 0)
#> PASS: TRUE
#>
#> ======================================================================
#> Overall Result: ALL TESTS PASSED
#> ======================================================================