Clarify and test the whole-plane holomorphic contract

[isomorphisms]

Summary

• make the theorem/prototype/history/candidate/backend/visual classifications explicit
• tighten divisor preservation, entire-logarithm, phase modulo, RKHS extremal, disc-Bergman, Fock normalization, gauge, and superposition statements
• add a dependency-free host oracle and tests for ungauged and q(0)=0 Fock value directions, derivative directions, finite descriptor sums, and R exp(q) phase/log-modulus evaluation

The Bargmann–Fock construction remains candidate future mathematics; this PR does not select visual parameters or add a GPU backend. The oracle uses Python's built-in complex arithmetic and does not compete with the in-flight Idriç complex/projective semantic corpus or the separate x86 headless current-polynomial receipt.

Verification

• python3 -m unittest discover -s tests -v — 22 tests pass
• existing three-worker C smoke test passes
• embedded Wegert GLSL remains byte-identical to the Wegert source
• migrated Lacunary machinery boundary check passes
• git diff --check passes