field-patterns.md

field patterns six patterns for native arithmetic over the Goldilocks field — the reason nox produces proofs natively. without these six patterns, nox would be Turing-complete but proof-hostile. with them, the execution trace IS the proof witness — same algebra, same field, zero translation. the…