numfor's `sorting.f90` (corpus) declares, inside `searchsorted_dp` and its siblings, `real(dp), parameter :: Delta = Small` with `Small` use-imported from `basic`. The emitted body reads `delta = SMALL`, a bare name the module never defines -- the companion is imported as `_basic` and the constant lives there (or should be resolved into the use-constants file). The line is the same on `main`; it was never exercised because the three routines are private specifics of the public generic `searchsorted`, which the flat oracle now gates (#17). The bit-exact gate reports `candidate raised: NameError: name 'SMALL' is not defined` on three of the four specifics.
Found 2026-09-03 re-running the corpus on the CLUBB branches.
numfor's `sorting.f90` (corpus) declares, inside `searchsorted_dp` and its siblings, `real(dp), parameter :: Delta = Small` with `Small` use-imported from `basic`. The emitted body reads `delta = SMALL`, a bare name the module never defines -- the companion is imported as `_basic` and the constant lives there (or should be resolved into the use-constants file). The line is the same on `main`; it was never exercised because the three routines are private specifics of the public generic `searchsorted`, which the flat oracle now gates (#17). The bit-exact gate reports `candidate raised: NameError: name 'SMALL' is not defined` on three of the four specifics.
Found 2026-09-03 re-running the corpus on the CLUBB branches.