Skip to content

Guard spline weight scans against bounds#147

Open
krystophny wants to merge 21 commits into
mainfrom
fix/spline-weight-guard
Open

Guard spline weight scans against bounds#147
krystophny wants to merge 21 commits into
mainfrom
fix/spline-weight-guard

Conversation

@krystophny

Copy link
Copy Markdown
Member

Summary

  • guard cubic and linear spline weight scans structurally
  • preserve the existing first-nonzero-weight behavior
  • remove two invalid Fortran short-circuit assumptions

Closes #146. Stacked after #142 and remains unmerged with the programme stack.

The spline order, coefficients, boundary conditions, weights, memory layout, ABI, and generated numerical operations are unchanged for every in-bounds input.

Verification

Test fails on main

$ fo lint
COMMON/spline_cof.f90:919:0: short-circuit reliance: length guard on 'w' may not protect its use
COMMON/spline_cof.f90:1427:0: short-circuit reliance: length guard on 'w' may not protect its use

Test passes after fix

$ FO_CMAKE_ARGS='-DCMAKE_Fortran_FLAGS=' fo
Static: OK (341 modules, 341 changed, 341 affected)
Build: OK
Tests: OK
Lint: OK
All stages passed (1.8s)

isw_qflux_NA=1 with in_file_pert='none' assembles an identically zero
non-axisymmetric source. That zero vector is the Arnoldi seed, so its
normalization divides by zero (0/0 -> NaN) and zhseqr then fails to
converge at every step, spinning without qflux output. Reject the
configuration in check() with a clear message instead.
Add an optional right-hand side to the non-axisymmetric solve: the
drive of a single-helicity perturbation given by a radial corrugation
field (delta B^s/B_0^phi)_mn and an electrostatic potential harmonic
Phi_mn. The vpar corrugation piece enters the A1/A2 force channels
with velocity weights a3m and x^2 (sigma-odd), the ExB piece with
weights x^-1 and a1m (sigma-even); the two new velocity moments are
computed in compute_sources. Input via new &ntv_input variables
(isw_hel_drive, m_theta_hel, hel_brad_re/im, hel_phim_re/im), default
off. Band profiles, moments and dimensional prefactors follow a
CAS-checked derivation (see issue #118).

Off by default: golden-record QL summary.h5 is reproduced to 1e-15
against a main build.
Review findings on the drive commit: fold the x^(3k-4) weight into a
single power so the x=0 quadrature node stays finite; skip the moment
quadrature on the precomputed-matrix-element path and reject
isw_hel_drive at run time when the moments are unavailable; reject the
unvalidated relativistic branch, reconstruction mode and unset species
data; deallocate asource_hel in collop_unload.
The zero-source guard added upstream rejects isw_qflux_NA=1 with
in_file_pert='none'. With the misalignment drive, that configuration is
valid: the drive supplies the non-axisymmetric source. Relax the guard
so it fires only when the drive is off or all its amplitudes are zero.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[core-01] Guard spline weight scans against bounds

1 participant