Loading weights: 0%| | 0/399 [00:00= 119.7468 >= 59.1802 [ok] idiom: call the police H(p) = 59.6542 H_u = 65.5534 H_s = inf H_u / H(p) = 1.0989 H_s / H(p) = inf bound inf >= 120.6947 >= 59.6542 [ok] idiom: clear the table H(p) = 62.0990 H_u = 65.5198 H_s = 62.2472 H_u / H(p) = 1.0551 H_s / H(p) = 1.0024 bound 127.7670 >= 125.5843 >= 62.0990 [ok] idiom: throw a ball H(p) = 63.1881 H_u = 64.3535 H_s = inf H_u / H(p) = 1.0184 H_s / H(p) = inf bound inf >= 127.7626 >= 63.1881 [ok] idiom: get a present H(p) = 53.9577 H_u = 55.2301 H_s = inf H_u / H(p) = 1.0236 H_s / H(p) = inf bound inf >= 109.3017 >= 53.9577 [ok] idiom: eat the apple H(p) = 60.9388 H_u = 62.4445 H_s = inf H_u / H(p) = 1.0247 H_s / H(p) = inf bound inf >= 123.2640 >= 60.9388 [ok] idiom: break the window H(p) = 61.7442 H_u = 65.7247 H_s = inf H_u / H(p) = 1.0645 H_s / H(p) = inf bound inf >= 124.8746 >= 61.7442 [ok] idiom: lose keys H(p) = 71.7230 H_u = 72.7891 H_s = inf H_u / H(p) = 1.0149 H_s / H(p) = inf bound inf >= 144.8324 >= 71.7230 [ok] idiom: make lunch H(p) = 48.8996 H_u = 50.7058 H_s = inf H_u / H(p) = 1.0369 H_s / H(p) = inf bound inf >= 99.1854 >= 48.8996 [ok] idiom: cut hair H(p) = 60.2177 H_u = 63.6838 H_s = inf H_u / H(p) = 1.0576 H_s / H(p) = inf bound inf >= 121.8218 >= 60.2177 [ok] idiom: raise children H(p) = 62.5933 H_u = 65.5999 H_s = inf H_u / H(p) = 1.0480 H_s / H(p) = inf bound inf >= 126.5730 >= 62.5933 [ok] idiom: tie knots H(p) = 60.0650 H_u = 63.5749 H_s = inf H_u / H(p) = 1.0584 H_s / H(p) = inf bound inf >= 121.5164 >= 60.0650 [ok] idiom: remember details H(p) = 51.2260 H_u = 51.2722 H_s = inf H_u / H(p) = 1.0009 H_s / H(p) = inf bound inf >= 103.8384 >= 51.2260 [ok] idiom: turn dials H(p) = 71.8342 H_u = 75.1086 H_s = inf H_u / H(p) = 1.0456 H_s / H(p) = inf bound inf >= 145.0547 >= 71.8342 [ok] idiom: build the boat H(p) = 46.7000 H_u = 51.1941 H_s = inf H_u / H(p) = 1.0962 H_s / H(p) = inf bound inf >= 94.7863 >= 46.7000 [ok] idiom: lead the meeting H(p) = 64.4478 H_u = 65.1632 H_s = inf H_u / H(p) = 1.0111 H_s / H(p) = inf bound inf >= 130.2818 >= 64.4478 [ok] idiom: strike a drum H(p) = 61.5869 H_u = 62.2141 H_s = inf H_u / H(p) = 1.0102 H_s / H(p) = inf bound inf >= 124.5601 >= 61.5869 [ok] idiom: see the show H(p) = 63.7362 H_u = 65.3588 H_s = inf H_u / H(p) = 1.0255 H_s / H(p) = inf bound inf >= 128.8586 >= 63.7362 [ok] bound H_u + H_s >= 2 H(p) + 2 log 2 >= H(p) holds for 18/18 phrases Wrote 18 idiom results to results/sweep/json/qwen3-8b__medial__joint__nonidiom.json