tent, 3-point, pairs (no gate -> flat gate) APS CHA both flat fun3-6 none 2806->2807 4104->2635 6910->5442 2707->1238 solved 193 over 0 none +G2 2782->2780 3863->2625 6645->5405 2474->1234 solved 193 over 0 step 3036->3035 3524->2650 6560->5685 2111->1237 solved 193 over 0 step +G2 3089->3089 3529->2661 6618->5750 2106->1238 solved 193 over 0 bracket 7260->7260 3604->3604 10864->10864 1730->1730 solved 193 over 0 bracket +G2 6837->6837 3650->3650 10487->10487 1717->1717 solved 193 over 0 both 7239->7239 3515->3515 10754->10754 1529->1529 solved 193 over 0 both +G2 7130->7130 3463->3463 10593->10593 1504->1504 solved 193 over 0 project 2806->2807 3220->2635 6026->5442 1823->1238 solved 193 over 0 project +G2 2782->2780 3169->2625 5951->5405 1780->1234 solved 193 over 0 safe 3036->3035 3390->2650 6426->5685 1977->1237 solved 193 over 0 safe +G2 3089->3089 3392->2661 6481->5750 1969->1238 solved 193 over 0 credit 3568->3568 3020->2960 6588->6528 1044->1014 solved 193 over 0 credit +G2 3799->3799 3064->3034 6863->6833 1044->1014 solved 193 over 0 VERDICTS proposed rule APS 2806->2807 (Z2 ✗) CHA 3220->2635 (Z1 ✓) Z3 ✓ (0 viol, 0 cells <193) Z4 ✓ both 5442 vs Chandrupatla APS 87/24/42 p=9.2e-05 not accepted proposed rule + G2 APS 2782->2780 (Z2 ✓) CHA 3169->2625 (Z1 ✓) Z3 ✓ (0 viol, 0 cells <193) Z4 ✓ both 5405 vs Chandrupatla APS 95/20/38 p=8.2e-07 ACCEPTED nine functions, projection, no gate -> flat gate, both sets: cbrt 18003 -> 17853 cosine 19741 -> 18885 exp_abs 6652 -> 5969 exp_sq 19786 -> 18877 rat_sq 19793 -> 18873 ratio 6026 -> 5442 ratio_soft 9352 -> 9002 rational 6823 -> 6177 sqrt 13388 -> 13212 flatanalog.ratio.derived3.project APS vs Chandrupatla 87/24/42 p=9.2e-05 flatanalog.ratio.derived3.project CHA vs Chandrupatla 9/6/25 p=0.009 pure+extP+flatanalog.ratio.derived3.project APS vs Chandrupatla 95/20/38 p=8.2e-07 pure+extP+flatanalog.ratio.derived3.project CHA vs Chandrupatla 9/6/25 p=0.009