building poker domain (2,598,960 hands) ...
  class counts match the combinatorial literature: [1302540, 1098240, 123552, 54912, 10200, 5108, 3744, 624, 36, 4]
  240 atoms after semantic dedupe [5s]

  certificate [stratified-5]: n=49, 126.9 bits, 9 rules, test acc 100.000%  [11s]
      HighCard 100.0% (n=1302535); Pair 100.0% (n=1098235); TwoPair 100.0% (n=123547); Trips 100.0% (n=54907); Straight 100.0% (n=10195); Flush 100.0% (n=5103); FullHouse 100.0% (n=3739); Quads 100.0% (n=619); StraightFlush 87.1% (n=31)

  certificate [stratified-20]: n=184, 126.9 bits, 9 rules, test acc 99.984%  [1s]
      HighCard 100.0% (n=1302520); Pair 100.0% (n=1098220); TwoPair 100.0% (n=123532); Trips 100.0% (n=54892); Straight 95.9% (n=10180); Flush 100.0% (n=5088); FullHouse 100.0% (n=3724); Quads 100.0% (n=604); StraightFlush 100.0% (n=16)

  learned certificate (stratified-20):
    START: everything -> HighCard   [4.32 bits]
      OVERWRITE maxmult>=2 -> Pair   [11.91 bits, |S|=1281072]
      OVERWRITE N1=1 -> TwoPair   [13.49 bits, |S|=124176]
      OVERWRITE maxmult>=3 -> Trips   [11.91 bits, |S|=59280]
      OVERWRITE straight -> Straight   [9.49 bits, |S|=10240]
      OVERWRITE maxsuit=5 -> Flush   [12.23 bits, |S|=5148]
      OVERWRITE N1=0 -> FullHouse   [13.49 bits, |S|=3744]
      OVERWRITE maxmult=4 -> Quads   [11.91 bits, |S|=624]
      OVERWRITE straight & maxsuit=5 -> StraightFlush   [17.40 bits, |S|=40]
      OVERWRITE maxsuit>=3 & runtop=A -> RoyalFlush   [20.72 bits, |S|=424]
    TOTAL: 126.87 bits, 9 rules

  certificate [stratified-100]: n=840, 126.9 bits, 9 rules, test acc 99.998%  [1s]
      HighCard 100.0% (n=1302440); Pair 100.0% (n=1098140); TwoPair 100.0% (n=123452); Trips 100.0% (n=54812); Straight 99.4% (n=10100); Flush 100.0% (n=5008); FullHouse 100.0% (n=3644); Quads 100.0% (n=524)

  certificate [random-1000]: n=1000, 76.8 bits, 6 rules, test acc 99.974%  [1s]
      HighCard 100.0% (n=1302009); Pair 100.0% (n=1097850); TwoPair 100.0% (n=123501); Trips 100.0% (n=54891); Straight 100.0% (n=10198); Flush 100.0% (n=5107); FullHouse 100.0% (n=3740); Quads 0.0% (n=624); StraightFlush 0.0% (n=36); RoyalFlush 0.0% (n=4)

  certificate [random-5000]: n=5000, 101.6 bits, 8 rules, test acc 99.959%  [1s]
      HighCard 100.0% (n=1299976); Pair 100.0% (n=1096175); TwoPair 100.0% (n=123308); Trips 100.0% (n=54818); Straight 90.0% (n=10186); Flush 100.0% (n=5099); FullHouse 100.0% (n=3736); Quads 100.0% (n=623); StraightFlush 0.0% (n=36); RoyalFlush 100.0% (n=3)

=== MLP baselines (2x64 ReLU, one-hot 85, class-weighted) ===

  MLP [stratified-100]: n=840, 10314 params (~330048 bits), test acc 19.873%  [9s]
      HighCard 22.9% (n=1302440); Pair 16.0% (n=1098140); TwoPair 16.5% (n=123452); Trips 21.7% (n=54812); Straight 43.4% (n=10100); Flush 93.9% (n=5008); FullHouse 23.8% (n=3644); Quads 67.9% (n=524)

  MLP [random-5000]: n=5000, 10314 params (~330048 bits), test acc 64.637%  [10s]
      HighCard 65.7% (n=1300074); Pair 71.5% (n=1096081); TwoPair 21.3% (n=123318); Trips 19.4% (n=54810); Straight 1.3% (n=10186); Flush 31.4% (n=5096); FullHouse 1.9% (n=3733); Quads 2.9% (n=622); StraightFlush 0.0% (n=36); RoyalFlush 0.0% (n=4)

  MLP [random-25000]: n=25000, 10314 params (~330048 bits), test acc 93.578%  [22s]
      HighCard 96.8% (n=1289985); Pair 93.3% (n=1087697); TwoPair 77.8% (n=122373); Trips 81.2% (n=54400); Straight 23.7% (n=10090); Flush 85.6% (n=5052); FullHouse 2.9% (n=3708); Quads 2.6% (n=615); StraightFlush 0.0% (n=36); RoyalFlush 0.0% (n=4)

=== MLP on tic-tac-toe 'legal' (orbit 25% train) ===
  MLP: test acc 96.246% (6212 params ~ 198784 bits) vs certificate 102.7 bits / 99.65%
      Illegal 98.4% (n=14010); XWon 62.2% (n=471); OWon 41.9% (n=236); Draw 0.0% (n=12)

total 74s; wrote results/poker_results.json