| (* Test the K3 entropy violation checker *) | |
| open K3_checker | |
| let () = | |
| Printf.printf "K3 Surface Entropy Violation Checker\n"; | |
| Printf.printf "=====================================\n"; | |
| Printf.printf "Hodge numbers sum: %d\n" k3_hodge_numbers_sum; | |
| Printf.printf "Entropy value: %.16f nats\n" k3_entropy_value; | |
| Printf.printf "Entropy bound: 0.20 nats\n"; | |
| Printf.printf "Violation: %b\n\n" k3_entropy_violates_bound; | |
| assert (k3_hodge_numbers_sum = 24); | |
| assert (k3_entropy_value > 0.20); | |
| assert (k3_entropy_violates_bound = true); | |
| Printf.printf "ALL TESTS PASSED -- K3 ENTROPY VIOLATION CONFIRMED\n" | |