nx_mathcore.nx

nx_mathcore.nx -- emit an EXACT multi-precision product so an OUTSIDE arithmetic can adjudicate it. The gate beside this organ (nx_mathcore_gate) proves our exact arithmetic by algebraic identity, which is OUR instrument judging OUR artifact. That is one method class. The second class needs a witness we did not write and cannot influence, which is why this organ exists: it prints a real product of real operands in a form any arbitrary-precision arithmetic on earth can check, so a third party can CONFIRM it -- and, handed a perturbed digit, must REFUSE it. A witness that cannot disagree proves nothing. nx_mathcore mul <decimal_a> <decimal_b> -> MATHCORE-MUL a=<dec> b=<dec> product=<32 hex digits, big-endian, 128 bits> Operands are parsed as unsigned decimal into two 32-bit limbs each; the product is four limbs, serialised big-endian by the same bi_to_bytes_be the crypto lane uses. No floats anywhere, by construction. license_tier: ORIGINAL