nx_tamper_lit.nx

nx_tamper_lit.nx -- TAMPER_PROOF organ (mainless module): deterministically corrupt the Nth long decimal literal in a source file, in place. Used by the math rung-runner to make the honesty proof MECHANICAL: tamper -> gate must go RED -> regenerate from the emitter -> gate must return GREEN. "Long literal" = a run of >= 17 decimal digits (f64 raw constants are 18-19 digits; nothing else in kernel sources is that long; hex literals are 0x.. and never qualify). The flip targets the MIDDLE digit of the run: that is a ~2^-32 RELATIVE change to the constant -- a guaranteed multi-thousand-ulp defect on a load-bearing constant (the weak-tamper lesson: a LAST-digit flip is sub-ulp and the gate honestly stays GREEN). Which literal is load-bearing is per-kernel knowledge: the caller passes skip (0 = first long run) from the rung table (e.g. sincos/sinhcosh skip their quantization-only 2/pi / 1/ln2 rows, whose corruption only matters within 2^-23 of rounding boundaries). license_tier: ORIGINAL