NSCBC 4/7: the 1-D verification driver and field-measurement tools - #1061
Draft
drummerdoc wants to merge 4 commits into
Draft
NSCBC 4/7: the 1-D verification driver and field-measurement tools#1061drummerdoc wants to merge 4 commits into
drummerdoc wants to merge 4 commits into
Conversation
This was referenced Aug 28, 2026
…LODI limit The base characteristic treatment as a ghost-cell fill: one wave decomposition in an outward-normal frame, two boundary types. Outgoing invariants extrapolate from the interior on a minmod-limited slope; the incoming acoustic is modelled as a Poinsot-Lele relaxation written as a gradient increment (a mesh-independent rate, so literature coefficients transfer), sigma at outflows, relax_u/relax_t at inflows, with a stateless feed-forward slot (Target::dudt) for problems that inject signals. Supersonic faces are exact. Flow reversal at an outflow runs the same closure with the material slopes upwinded off across a narrow Mach band -- one code path on both sides of u_out = 0. The fill is a pure function of pre-launch interior data: idempotent, order-independent, bit-reproducible across restarts and decompositions, GPU-resident (POD captures, counted fallbacks instead of device aborts). Every fallback increments a counter and the counters report by default -- a silent fallback is indistinguishable from a healthy boundary. Problems opt in per boundary POINT through a bcnormal_nscbc() hook returning a Target; a face may mix inflow, outflow and wall. EB requires eb_zero_body_state (fatal otherwise, the fill detects covered cells by non-positive density); an AMR fine face touching a characteristic boundary warns. This PR is the 1-D-normal LODI limit on purpose: transverse terms and the reacting-boundary closures arrive as the next two PRs in this stack, each an additive, default-off correction to the modelled incoming wave (some comments here forward-reference them). Verification driver and regression cases follow in the stack; headline number from the case PR: an acoustic pulse leaves through this boundary with 0.8% reflection against 97% for a hard-pressure fill. Also removes the dead nscbc_adv/nscbc_diff keys of the deleted Fortran implementation (aborting, not ignoring, when an inputs file still sets them) and retires the 1 K default for eb_boundary_T in favour of 300 K. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XU8M23nucKsu1do2WxXFeq
The multi-dimensional correction: -(1 - beta) T_in on the incoming amplitude, where T_in carries the tangential convective and dilatational terms in the outward frame (the ghost-cell transplantation of Motheau's T1/T4 -- one expression for lo and hi faces). Tangential derivatives come from the boundary cell's clamped neighbours; at a corner the stencil collapses one-sided or to nothing, which is the measured replacement for the AIAA corner-coupling machinery. The beta blend is exact for a plane wave at incidence theta: beta_opt = 1 - cos(theta)/(1 + cos(theta)) -- 0.5 head-on, toward 1 at grazing -- and both measured optima in the COVO/pulse suite land on it. The response is asymmetric (a wrong beta is worse than an absent one), so the default stays 1: this PR is bit-inert until a problem opts in, and every result of the previous PR is unchanged. The clamp leaves a small measured seam residual where a characteristic face meets a periodic direction, and that trade is guarded rather than assumed: nscbc_check_periodic_wrap() measures the ghost-image mismatch at startup, reports it beside the boundary-row spread (so a vacuous pass is visible), and aborts above 1e-2 -- an order above the worst known-good measurement and an order below what a broken stencil produces. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XU8M23nucKsu1do2WxXFeq
What a flame does to a characteristic boundary, and the closures that survive it -- all default-off, so the previous two PRs' results are unchanged to the bit until a problem opts in. - The reaction source enters the modelled incoming wave with +(1 - beta_s) S_p (Sutherland-Kennedy): a flame in the boundary cells raises pressure at a rate the relaxation has no model for, and without the term the mean sits off target by S_p/K. The sign is PLUS -- the exact steady flame has dR_-/dn = +S_p/(rho c^2), and the driver PR carries a convention-free check of exactly that. S_p is the compositional dp/dt at fixed (rho, e): closed form for ideal gas, a directional finite difference along the reaction path for SRK. - extrap_temperature closes the lambda_0 family on temperature instead of the entropy invariant. The diffusion operator forms boundary-face fluxes from these ghosts, so the ghost dT/dn IS the heat flux leaving; the entropy closure overstates a flame-like face gradient by 40%. This is the flag that lets a flame survive the outflow. - extrap_material continues the material part of R_- into the ghost, bounded through the acoustically-blind entropy family (extrapolating R_-'s own gradient is positive feedback, measured 16x). For fronts that SIT on the boundary; a transit over-vents with it on. - backflow_material treats FIRM reversal as a local inflow of the Target's reservoir state, ramped over an outward-Mach band continuous with the reversal upwinding underneath -- without it a face in sustained recirculation feeds the domain its own exhaust. Also the structure advisory: material structure sitting in outflow boundary cells is counted, and the counter report prints the measured flame-on-boundary recipe when it fires. Measured guidance and the sitting/transit tables live with the regression cases later in this stack (NSCBC-FlameOutflow, README). Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XU8M23nucKsu1do2WxXFeq
Verification/NSCBC1D is a standalone 1-D compressible solver (needs only a 1-D AMReX) that compiles Source/NSCBC.H unmodified and runs it against analytic and constructed references: checks C1-C14, self-gated, covering uniform-state transparency, pulse reflection vs sigma, inflow injection, the flame-on-boundary closures (sitting and in transit), the reaction-source sign (a convention-free check), extrapolation-bias bounds, profile-fit closures, the unified reversal closure, and sustained-backflow flushing. Four builds gate different physics: air, LiDryer (reacting), two passive scalars, and SRK real gas. Beyond the checks: a sigma-reflection sweep, forced-duct modes measuring what a value-relaxation inlet does to injected signals, and the register/ feed-forward gates for the stateful inlet/outlet repairs arriving later in this stack (the driver holds its own registers, so those checks are self-contained here). Verification/NSCBCFields adds fielddump (flatten one plotfile variable at full precision) and metrics.py (residual, circularity, sphericity) for measuring PeleC fields against the driver's predictions. CI gains an NSCBC-Driver job: builds a 1-D AMReX and runs all four driver configurations green. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XU8M23nucKsu1do2WxXFeq
drummerdoc
force-pushed
the
nscbc-2-driver
branch
from
August 28, 2026 08:07
44e271a to
4ef6f96
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Stacked on #1060 (part 4/7 of the stack tracked in #1057). The reviewable content of this PR is its LAST commit — the earlier commits are the lower stack levels and will vanish from this diff as they merge and the stack rebases.
Verification/NSCBC1D is a standalone 1-D compressible solver (needs
only a 1-D AMReX) that compiles Source/NSCBC.H unmodified and runs it
against analytic and constructed references: checks C1-C14, self-gated,
covering uniform-state transparency, pulse reflection vs sigma, inflow
injection, the flame-on-boundary closures (sitting and in transit), the
reaction-source sign (a convention-free check), extrapolation-bias
bounds, profile-fit closures, the unified reversal closure, and
sustained-backflow flushing. Four builds gate different physics: air,
LiDryer (reacting), two passive scalars, and SRK real gas. Beyond the
checks: a sigma-reflection sweep, forced-duct modes measuring what a
value-relaxation inlet does to injected signals, and the register/
feed-forward gates for the stateful inlet/outlet repairs arriving later
in this stack (the driver holds its own registers, so those checks are
self-contained here).
Verification/NSCBCFields adds fielddump (flatten one plotfile variable
at full precision) and metrics.py (residual, circularity, sphericity)
for measuring PeleC fields against the driver's predictions.
CI gains an NSCBC-Driver job: builds a 1-D AMReX and runs all four
driver configurations green.
🤖 Generated with Claude Code
https://claude.ai/code/session_01XU8M23nucKsu1do2WxXFeq