v3.15.34

[3.15.34] - 2026-06-15

Physics and mathematics hardening

• Corrected CourageNekorkinMapNeuron to the canonical Courbage-Nekorkin-Vdovin
  2007 map (Chaos 17:043109): x + F(x) - y - beta*H(x - d) with the
  piecewise-linear field, Heaviside discontinuity at x = d, and B^+
  invariant-region default parameters, replacing the prior non-canonical form.
  Added the polyglot N-step simulate chain (python/rust/julia/go/mojo;
  Rust/Julia/Go bit-exact, Mojo ULP-bounded) with parity tests, a multi-language
  benchmark, and a rewritten model documentation page.

Dependencies

• Migrated z3 0.12 -> 0.20 (feature static-link-z3 renamed to bundled;
  the bounded-model verifier updated for the lifetime-free 0.20 AST/Solver API).
• Bumped esbuild/vite/@vitejs/plugin-react (Studio frontend, clears the open
  esbuild advisory), github/codeql-action, click, and hypothesis.

CI and release reconciliation

• Reconciled main with the previously orphaned release tags v3.15.26–
  v3.15.33 so the published release lineage is continuous again.
• Regenerated the capability manifest, corrected the mixed-precision emitter
  Q-format label, and built the ARM64 wheel against the exact matrix interpreter.

Security and Rust engine

• Migrated the PyO3/numpy Rust extension chain from 0.28 to 0.29
  across the engine, fuzz harness, evo substrate, stochastic doctor, and spike
  stats crates; refreshed lockfiles and added the missing spike-stats lockfile
  for reproducible advisory scanning.
• Updated the GPU feature path for WGPU 29 API changes exposed by the
  all-features engine check.