docs: Dütsch protocol — adopt Grok's cycle-index labels (K = first scored cycle)

Same cycles and pairs as 8505a723, relabelled: proof pairs 3→4..5→6 give
K_case = 7, window K..K+2 with remain-settled pairs, last scored cycle 11.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

README.md

@@ -394,12 +394,6 @@ before `run()`, the force will be reset to zero. For the common usage pattern
 | `sim.load_checkpoint(path)` | Restore from HDF5 (config must match) |
 | `sim.snapshot()` / `sim.restore()` | In-memory field snapshot |
 
-In-memory snapshots save populations only. Restore keeps the current clock,
-controls, observations, geometry and flags; use it only while geometry is
-unchanged. This is not a restart or an FSI rollback. In particular, do not
-restore a snapshot taken before a translating circle changed position.
-This geometry restriction is a caller precondition, not a runtime check.
-
 #### Low-level access
 
 | Attribute | Description |

docs/karman_viv.md

@@ -1,83 +0,0 @@
-# Re_D = 50 Kármán inflow: paired pinball VIV / frozen PPO demo
-
-Development experiment, frozen before results, 2026-10-31. No new production
-method, structural damping, force filter, policy training, or main merge.
-[Force-spike research index](research/moving_boundary_force_spikes.md).
-
-## Plant and structure
-
-Base `e9213dd2cc9cfed0e8487a3cf4ebdd94d23dc64d`; fixed-policy contract from
-`580397eaf83c85b233495791ecc51662a374a247`. Reuse `steady_pinball` config,
-coordinate map and exact held-force oscillator. D40, U=.005, nu=.004, MRT,
-2559 x 1022, FP32 unshifted double buffers. Regularized parabolic inlet,
-NEQ extrapolation outlet, bounce-back y walls (.5,1020.5); no BC changes.
-D20 coordinates map x'=2x, y'=.5+2(y-.5).
-Upstream cylinder (400,510.5), radius40, is static. Pinballs radius20 at
-(1200,510.5), (1252,540.5), (1252,480.5) share only transverse translation.
-Lab probes radius10 at (1600,590.5), (1600,510.5), (1600,430.5) stay fixed.
-
-One shared `Translation`, travel ±D, max wall speed .025, existing clearance
-and per-step move guards unchanged. M2: m*=2 based on all three disks,
-M=7539.8223686, fn=.000025, K=.000186037660, C=zeta=0; release y=v=0.
-Each native step uses previous-step sum(CME_y+Wen_y), then exact oscillator
-update with held force. Wall speed is interval displacement y[n+1]-y[n].
-Cover/uncover impulses are logged, never added to the selected RHS. This
-estimator remains provisional; existing spike/convergence limitations remain.
-
-## Same release state, two clocks
-
-A static precursor retains the accepted Kármán sequence: upstream+probes,
-2,048,000-step warmup, 150 x 3,200-step no-pinball target samples, add static
-pinballs/sync, second 2,048,000-step warmup. Save both DDF buffers, flags,
-clock and last instantaneous force. Construct each moving arm fresh at the
-same zero-offset geometry, check flags, copy both buffers and clock, verify
-exact copy hashes. This one-time research initialization is not a moving
-checkpoint or FSI rollback. Initial policy observation and spin are zero.
-
-Frozen model SHA256 `148240c1dcb8b11d8e5a0a9e991f6874c4e799c9744707bf0fb32a8efeb0468d`;
-normalizer `534fda818c030a56960e95d0f3ac1e350d887d03db7f80f1d6453195a502b7f0`.
-Only these explicit supplied assets are accepted. Policy is CPU deterministic.
-Native policy signals: packed CME (same `read_force` path), lab area-mean
-velocity, each averaged over SI3200. Convert to original D20 training units:
-forces x2, area-mean velocity x2 x78, then frozen force-first normalization
-and clipping. Fine-grid probe pixel footprint is not exactly identical;
-using the original78 cells avoids a hidden area-count normalization change.
-The moving plant, motion-induced force, lab-frame wake displacement and D40
-resolution remain out of training distribution. No transfer guarantee.
-
-A=(8a+(0,-4,4))*.005; EMA alpha=.9^(1/4), reset0 each SI; omega=+A_eff/20.
-This preserves historical physical actuator timescale under dt/4.
-The zero arm substitutes a=(0,.5,-.5), so all spins are identically zero.
-Policy interval averaging does **not** average the native structural RHS.
-
-## Bound, output, and interpretation
-
-One serial pair, zero then controlled: 400SI=1,280,000 native steps=160D/U
-=32Tn per arm. No retuning/automatic extension. Stop on nonfinite state,
-no_donor, travel/speed/move rejection, or four-hour whole-pair wall cap.
-A failure stops the remaining run; retain valid rows and completed intervals.
-NaN trailing rows are unexecuted, not zero-valued observations.
-
-Report first/last80D/U windows, mean offset separately from centered RMS,
-half-range, peak, frequency and drift; native versus SI-averaged force,
-CME/Wen/node/crossing terms and action/observation clipping. Last80D/U is
-the principal descriptive window, not an asserted settled window. If zero
-arm half-range <.1D there, classify weak response and do not claim vibration
-suppression. Report continuous ratios regardless. Cloaking uses retained
-canonical last30 lagged sensor DTW against this precursor's no-pinball target,
-with fixed-body D20 results contextual only. These are development criteria,
-not paper uncertainty, grid convergence, or proof of validated FSI.
-
-Save native18-column rows (~184MB/arm), small SI signals, target, config,
-release two buffers (~188MiB), hashes and terminal reports outside checkout.
-No per-step field output. Expected new data <650MB, check actual resources.
-
-```
-CUDA_VISIBLE_DEVICES=0 PYTHONPATH=src python research/karman_viv/run.py \
-  --model /tmp/celeris-karman-viv-assets/model.zip \
-  --norm /tmp/celeris-karman-viv-assets/norm.json --out /tmp/NEW_OUTPUT
-```
-
-First `--smoke`: same D40 geometry, warmup32/target2x8/warmup32,
-4x8 response steps each arm; strictly plumbing only. CPU source checks and
-independent exact-tip review precede GPU. Preserve original DynamisLab files.

docs/lifecycle.md

@@ -6,8 +6,8 @@ it is; it adds no framework. Line references are to candidate 0f8fdbc3.
 | Class | Contents | How it changes | Owner rule |
 |---|---|---|---|
 | 1. Module and its globals | Compile-time (visible to the compiler, fixed per module): `config.h` macros incl. `NX`/`NY`, `COLLISION_MODEL`, `BLOCK_ROOT_BC`, `WALL_*`. Runtime per-module globals (not visible to the compiler; written by host code): `__constant__` `d_params`, `d_w`, `d_cx`, `d_cy`, `d_block_channel`, `d_block_wall`; plus bound kernel handles | Globals are written once by the owner right after `load_module`. Uniform grid: `Simulation._recompile` (construction, body-topology sync) loads a new module and re-uploads; `update_runtime_params` rewrites `d_params` (omega, force, n_objects) between runs. Steppers: never rewritten after construction, so they are immutable for the instance's lifetime although they are runtime values. The blocked slot/reservoir root reads its slot from the `d_block_wall` constant (the former dense route used `WALL_*` macros; both were bit-identical in the parity gates). | Every owner loads its own module (`compiler.load_module` = `module_from_file`, no cache). A loaded module is never shared between live owners: globals are per module, so sharing would share mutable `d_params`. |
-| 2. Geometry, layout, tables | flags, curved-link tables, block layouts and halo pairs, transfer (explode/coalesce) tables, block kinds | Immutable for the life of an instance, except translating circles on the uniform grid: their swept-band flags and cut links are rewritten on the device every advancing step (`MovingCircleCells`/`MovingCircleLinks`, docs/moving_bodies.md); the host flag mirror is then stale for those cells. Uniform grid otherwise: rebuilt by body sync. `FixedPatchStepper`: a geometry change is a new instance (`remap_finest`), committed only after a successful transfer. | No in-place table edits. |
-| 3. Controls and dependent boundary columns | Jet amplitude -> per-link `surface_velocity`; body actions (uniform grid) | Between steps, without a table or module rebuild (`set_jet_amplitude`). | Input (index, level, amplitude) is validated before any device write; invalid input changes nothing and the instance stays usable. The host copy commits only after the upload returned. Any error after validation leaves the device column undefined and fails the instance: `FixedPatchStepper` status `failed`, `Simulation._failed`; every later device-touching public method (`Simulation`: `stream`, `set_jet_amplitude`, `initialize`, `sync_bodies`, `run`/`step`, `read_surface_exchange`, `read_body(s)`, `get_macroscopic`, `get_ddf`, `update_runtime_params`, `snapshot`, `restore`, save/load checkpoint) raises; cached host readers and host-side staging (e.g. `get_flags` without translating circles, `add_body`/`remove_body` before a sync) do not touch the device and stay callable; with translating circles `get_flags` reads the device flags back and refuses after a failure. Translating-circle targets follow the same rule: `set_body` validates before mutation, the applied offset commits only after a successful synchronized step, and a failed moving step fails the instance (docs/moving_bodies.md). `close()` still releases resources and stays retryable. |
+| 2. Geometry, layout, tables | flags, curved-link tables, block layouts and halo pairs, transfer (explode/coalesce) tables, block kinds | Immutable for the life of an instance. Uniform grid: rebuilt by body sync. `FixedPatchStepper`: a geometry change is a new instance (`remap_finest`), committed only after a successful transfer. | No in-place table edits. |
+| 3. Controls and dependent boundary columns | Jet amplitude -> per-link `surface_velocity`; body actions (uniform grid) | Between steps, without a table or module rebuild (`set_jet_amplitude`). | Input (index, level, amplitude) is validated before any device write; invalid input changes nothing and the instance stays usable. The host copy commits only after the upload returned. Any error after validation leaves the device column undefined and fails the instance: `FixedPatchStepper` status `failed`, `Simulation._failed`; every later device-touching public method (`Simulation`: `stream`, `set_jet_amplitude`, `initialize`, `sync_bodies`, `run`/`step`, `read_surface_exchange`, `read_body(s)`, `get_macroscopic`, `get_ddf`, `update_runtime_params`, `snapshot`, `restore`, save/load checkpoint) raises; cached host readers and host-side staging (e.g. `get_flags`, `add_body`/`remove_body` before a sync) do not touch the device and stay callable. `close()` still releases resources and stays retryable. |
 | 4. Per-step state | population double buffers and their parity, raw-exchange ledgers, observations | Device-only during `step(n)` / `run(n)`; buffer swaps are host-handle swaps. | Valid on the host only after the single wait at the end of the call. |
 
 Storage routes are separate concerns:

docs/moving_bodies.md

@@ -1,65 +1,17 @@
-# Moving circles on the uniform dense grid
+# Moving circles on the uniform dense grid — S0 DRAFT contract
 
-## Status and user guide (current)
+Status: **DRAFT, not frozen** for the force RHS, kernels and physical
+acceptance. Host-only S1 (state, validation, guards; no kernels) is on branch
+`claude/moving-bodies-s1`; positive-step runs with a moving body are rejected
+until S2. When S2 lifts that guard, `run(n > 1)` with a pending target must
+raise `ValueError` before mutation (4a), and `run(0)` must not upload a motion
+record or consume the pending target. Base: main
+`b2034f87e03656c5f67ab88562a70d6c338b9918`. Scope approved by Frank (via TRON,
+thread C0C78UFKGRM/1793335557.460509): uniform-grid prescribed translation and
+single-cylinder free transverse VIV. Out of scope: refinement/blocked path,
+pinball assembly, EsoPull, shifted storage, D3Q19, DynamisLab, manuscript.
 
-Development-stage feature, integrated from the reviewed slices S1–S3a
-(production code identical to `653fd997`). Physical evidence and its limits:
-`docs/validation/moving_bodies_stage1.md`. The force used as a structural RHS
-is a declared stage choice, not an established result.
-
-*What it does.* Translating circles (with optional spin) on the dense
-double-buffer D2Q9 path: per-step cut links from an FP64 geometry record
-(M2 `MovingCircleLinks`), reclassification and refill of covered/uncovered
-cells (M1 `MovingCircleCells`), moving-wall Bouzidi with wall velocity
-`u + omega x r`, and separate per-body diagnostics.
-
-*API.*
-- `Simulation.add_body("circle", center=(x, y), radius=r,
-  translation=Translation(offset_box, max_speed))` before `initialize()`;
-  `offset_box = (x_min, x_max, y_min, y_max)` in lattice cells around the
-  base centre (must contain 0), `0 < max_speed ≤ .5`.
-- `set_body(id, offset=(dx, dy), vx=..., vy=..., omega=...)` sets a pending
-  target (validated against the applied offset: box, Euclidean step ≤ .5
-  cell, speed, no sliding hold); `vx`/`vy` are the interval wall velocity.
-- `run(1)` advances a pending target and commits it only after the step
-  synchronizes with `no_donor == 0`; `run(n > 1)` with a pending target
-  raises; without a target `run(n)` holds the geometry (spin allowed).
-  Direct `LBMStepper.step` refuses while a target is pending.
-- `moving_diagnostics()` returns per body the columns of
-  `MovingTables.DIAG` (CME, Wen term, link mass, cover/uncover momentum and
-  mass, eq_only, no_donor, crossings) accumulated since obs were zeroed;
-  `obs`/`read_force` keep their contract (CME on the body).
-- `get_flags()` reads device flags back when moving circles exist.
-- `snapshot()` / `restore()` save and restore populations only, keeping the
-  current clock, controls, observations, geometry and flags. Use them only
-  with unchanged geometry; restoring across a translation is unsupported
-  and is not rejected at runtime. They do not provide FSI rollback.
-
-*Supported:* dense double buffer, D2Q9, FP32 unshifted, SRT/MRT, circles,
-spin. *Rejected before mutation:* EsoPull, ddf shifting, D3Q19, refinement /
-blocked steppers, Jets or surface actuation on a moving circle,
-`sync_bodies` and checkpoints while a moving circle exists, swept bands that
-touch the domain edge, other bodies, sensors or force regions.
-
-*Failure lifecycle.* Device-side failures (upload, step, sync, no_donor)
-mark the Simulation failed; later run/step/sync/checkpoint calls and direct
-stepper calls refuse until `close()`.
-
-*Known limitations.* No mass correction at curved walls (static or moving);
-cover/uncover and Wen terms are diagnostics, not a selected force law; the
-host loop costs a fixed per-step synchronization (≈ 1 ms/step measured on a
-7.2 M-cell grid, run(1) class); outer boundaries are the single dense
-channel package (see `configs/CONFIG.md`).
-
-## Design record (staged contract, kept as written)
-
-The sections below are the contract the slices were reviewed against
-(S0 → S3a). They are kept unchanged for provenance; where they say "draft",
-"proposed" or "until S2/S3", the status above supersedes them.
-
-Original scope (Frank via TRON, thread C0C78UFKGRM/1793335557.460509):
-uniform-grid prescribed translation and single-cylinder free transverse VIV;
-base main `b2034f87e03656c5f67ab88562a70d6c338b9918`.
+Items marked **OPEN** are undecided; items marked **CANDIDATE** are proposals.
 
 ## 1. Working standards
 

docs/research/moving_boundary_force_spikes.md

@@ -1,99 +0,0 @@
-# Moving-boundary force spikes: evidence and source index
-
-Updated 2026-10-31.
-
-This note indexes supplied audited observations and primary-source extractions.
-It does not report a newly measured cure or implement an alternative method.
-Paper details below were supplied by the parent investigation; no new source
-retrieval or independent paper verification was performed for this note.
-
-## Current implementation and interpretation
-
-- Celeris M1 reconstructs a fresh node as `feq(rho_bar, u_wall) + donor NEQ`.
-- In exact arithmetic, the donor non-equilibrium component has zero mass and
-  momentum when formed against the donor's own equilibrium moments.
-- Re-projecting that same reconstruction onto the same wall velocity therefore
-  does not, by itself, change its mass or momentum or supply a cure for spikes.
-- Floating-point residuals should be measured separately from this algebraic fact.
-- Peng's alternative differs upstream: extrapolate PDFs from three donors, then
-  replace selected moments. It is not simply another projection of current M1.
-- PPO interval-force observations and native per-step FSI right-hand-side forces
-  are distinct signals; comparisons must identify which signal is being used.
-
-## Audited run observations supplied to this note
-
-- D40 revision: `e9213dd2cc9cfed0e8487a3cf4ebdd94d23dc64d`.
-- Window: first `97.303 D/U` of physical time.
-- Maximum displacement: `max |y|/D = 0.304893`.
-- Maximum native force-coefficient increment: `max |ΔCy| = 0.66688`.
-- D20 over the same physical-time window: `max |ΔCy| = 1.80735`.
-- The largest D40 event involved 30 nodes.
-- These are supplied audited observations, not measurements made for this note.
-- Time steps and trajectories differ between runs. This comparison establishes
-  neither spatial convergence nor a unique cause for the force spikes.
-
-Evidence locations supplied by the investigation:
-
-- Horsea: `/tmp/celeris-results-pinball-resolution`.
-- Mac: `validation-evidence/pinball-force-diagnosis`.
-
-These locations index run evidence, not local copies of the cited papers.
-
-## Tao, Hu, and Guo (2016): time-step decoupling
-
-Computers & Fluids **133**, 1–14. DOI:
-[10.1016/j.compfluid.2016.04.009](https://doi.org/10.1016/j.compfluid.2016.04.009).
-[Publisher abstract](https://www.sciencedirect.com/science/article/pii/S0045793016301116).
-
-- Abstract-level support only: non-equilibrium refill reduces oscillations.
-- With local iteration, the compared refill methods give similar oscillation magnitudes.
-- Time-step decoupling reduces oscillations further in the reported sedimentation,
-  Couette, and Poiseuille examples.
-- The exact decoupling schedule and time-step ratios have not been verified.
-- This abstract does not establish equivalence to an arbitrary force filter.
-- Do not implement a claimed reproduction until the actual methods are available.
-
-## Marson et al. (2021): local iterations
-
-Physical Review E **103**, 053308. DOI:
-[10.1103/PhysRevE.103.053308](https://doi.org/10.1103/PhysRevE.103.053308).
-[Open repository record](https://archive-ouverte.unige.ch/unige:151868).
-
-- §VI, p. 18 discusses pressure waves associated with fresh nodes.
-- Appendix E.3, p. 25 and Fig. 18, p. 24 describe the local procedure.
-- Copy a local sublattice, perform local collision and streaming, write the fresh
-  nodes, and repeat before the global collision and streaming operation.
-- One to three iterations performed best in the reported tests; this is not a
-  universal iteration-count recommendation.
-- The reported smoothed torque-noise assessment is qualitative here.
-- Its thin-shell setting differs from the current moving-body configuration.
-
-## Peng (2016): extrapolation and moment replacement
-
-Computers & Mathematics with Applications **72**, 349–374. DOI:
-[10.1016/j.camwa.2015.08.027](https://doi.org/10.1016/j.camwa.2015.08.027).
-
-- §5.1.2, Eq. (50), p. 368: extrapolate PDFs along an outward normal direction:
-  `f_new(x) = 3 f(x + e) - 3 f(x + 2e) + f(x + 3e)`.
-- §5.1.3, Eq. (51): wall equilibrium plus donor non-equilibrium is the family
-  containing the current M1 reconstruction.
-- §5.1.4, Eqs. (52)–(54): in MRT space, replace momentum with `j = rho0 u_wall`,
-  preserve the other moments, then apply the inverse transform.
-- A compressible Celeris adaptation must choose the appropriate density;
-  copying the paper's `rho0` blindly is not justified.
-- Three valid donors require new eligibility checks and fallback behavior beyond
-  the current one-link shared-body clearance rule.
-- §§5.2–5.3 retain nonzero fluctuations in specific configurations; these results
-  do not promise elimination of force spikes in the present problem.
-
-## Bounded next investigation
-
-1. Retain current M1 as the baseline and compare matched prescribed trajectories
-   over matched physical-time windows.
-2. Record raw force RHS, node crossings, donor moments, mass and momentum changes,
-   impulse, spectra, and trajectory response together.
-3. Evaluate local iterations, Peng-style reconstruction, and force filtering as
-   separate interventions, with explicit definitions and diagnostics.
-4. Obtain the actual time-step-decoupling methods before implementing that method.
-
-The current task indexes evidence only; it makes no alternative-method change.

docs/steady_pinball_fiv.md

@@ -1,150 +0,0 @@
-# Uncontrolled steady pinball: development protocol
-
-Frozen before results: 1280 x 512 D2Q9/FP32/MRT, unshifted double buffer;
-rho=1, mean U=.01, nu=.004, D=20, Re_D=50. Centres are (600,255.5),
-(626,270.5), (626,240.5), radius10. No upstream cylinder. Passive probes stay
-at (800,295.5), (800,255.5), (800,215.5), radius5. Every omega is zero.
-Parabolic inlet, regularized NEQ damping1; y bounce-back planes .5/510.5;
-NEQ-extrapolated outlet with backflow clamp (the configured blend is inactive in
-this MRT route). Initial fluid is
-parabolic equilibrium. Fixed warmup is 4 NX/U=512000 steps.
-
-Geometry and fluid parameters follow DynamisLab 609116ec26f19766f5e9ce2b0df427d4e24faae8,
-`legacy_test/core/legacy_env_builder.py:build_steady_cloak` and the retained
-`config_lbm_pinball_legacy_re50d_u001.json`. This is a modern Celeris reconstruction,
-not a bitwise Legacy reproduction: Legacy uses shifted incompressible MRT, a
-different curved interpolation and prescribed parabolic outlet velocity. Current
-Celeris uses standard MRT, two-branch BFL and extrapolated outlet velocity.
-The fixed-hold control uses the SAME modern settings as the free case.
-
-## Shared translation and ownership
-
-`Translation(..., shared=True)` is explicitly transverse only. Reusing one
-envelope INSTANCE declares common motion; equal but separate envelopes are not
-linked. Before initialization and every positive Simulation.run, group members
-must have identical applied offsets, effective target offsets and interval wall
-velocities. Stage each member with set_body, then call run(1) once. An incomplete
-or inconsistent target group is rejected before device uploads and can be fixed.
-Existing pending-target direct-stepper restrictions remain.
-
-Only members of that group may have overlapping whole swept bands. Their fixed
-surface clearance must exceed4 lattice cells. This conservative bound exceeds
-2 sqrt(2)+MAX_STEP = 3.329: M1 changed cells lie in old/new disks and read one-link
-neighbors; M2 reads at most two links outside its new disk. Old/new relative
-displacement is at most .5. Thus reads cannot reach another member's old/new
-solid or M1 write region. M1 writes are disjoint. M2 writes opposite population
-slots inside its own new disk, also disjoint. Separate first_slot ranges still
-allocate each body's logical band/debug storage. Shared band cells alone do not
-write anything: M1 returns unless membership changes; M2 returns unless a cut
-link exists. Unrelated moving/static body and probe overlaps still reject.
-
-This is a sufficient restricted-group condition, not support for near-contact
-or independent motion. The r4, distance8.3, dy=.5 counterexample remains rejected.
-CPU tests enumerate candidate donors/write footprints over subcell phases;
-GPU tests compare fixed vs hold and member-order permutations through crossings
-at wall speed .01 over the full +/-D envelope (8000 steps). The initial .5-speed
-fixture failed with NaNs; a single-circle control also failed at step69. That
-Mach~.866 fixture was unsuitable as a low-Mach numerical gate. Its failure is
-retained; the geometric MAX_STEP proof is unchanged, not a stability guarantee.
-CUDA kernels and arithmetic are unchanged.
-
-## New structural parameters (not inherited from the paper)
-
-One transverse state y,v; total assembly M=10 rho (3 pi D^2/4)=9424.77796,
-fn=U/(5D)=.0001, Tn=10000, zeta=.01, K=M(2 pi fn)^2,
-C=2 zeta M(2 pi fn). Initial y=v=0, no seed or later kick. Force is the sum
-of the three instantaneous CME_y+Wen_y values from the previous fluid step;
-node impulses are logged separately and never added. The damped oscillator is
-integrated exactly for that piecewise-constant force over dt=1. Wall velocity
-is y[n+1]-y[n], not the endpoint oscillator velocity. No filtering or retuning.
-
-Observe600000 steps=60Tn=300 D/U after warmup, in each of free and fixed-hold
-cases. Final20Tn is a descriptive comparison window; ten-Tn blocks expose drift.
-No settled/periodic claim follows merely from reaching the cap. Stop on |y|>D,
-nonfinite values, no_donor, rejected displacement or speed>.05. Report any quiet
-response honestly. No automatic extension. --smoke uses32 warmup+32 steps only.
-
-Native-step rows retain y,v, each body's CME/Wen/node terms and refill counters;
-each600000x15 FP64 file is72MB. No full-field output or policy training. Compile
-and run on one device serially, keep original outputs and dirty trees untouched.
-This stage makes no claim of physical grid convergence or vibration suppression.
-
-Run from checkout with PYTHONPATH=src and the existing Python environment:
-`python research/steady_pinball/run.py --smoke --out <new-external-directory>`
-then separately `--out <new-free-directory>` and `--fixed --out <new-fixed-directory>`.
-
-## Zero-damping development follow-up (predeclared 2026-10-31)
-
-The original d0bcefa run and its zeta=.01 results remain historical evidence.
-The current runner exposes three fixed `--case` choices, all with C=0 as requested:
-
-| Case | M / (rho 3 pi D^2/4) | fn | M | K | Purpose |
-|---|---:|---:|---:|---:|---|
-| Z0 | 10 | .0001 | 9424.77796 | .00372075320 | Remove damping only |
-| M2 | 2 | .0001 | 1884.95559 | .000744150640 | Reduce mass and stiffness together at fixed fn |
-| R2 | 2 | .00006 | 1884.95559 | .000267894231 | Change stiffness only relative to M2 |
-
-R2 deliberately places fn at the retained fixed-body lift peak, f=.00006
-(St=.12 on mean U). This is an informed development choice, not independent
-physical validation or a promise of lock-in. All geometries, fluid settings,
-512000-step fixed warmup, y0=v0=0, force time level and unfiltered RHS are unchanged.
-No run result may select a replacement parameter or an automatic extension.
-
-Each case has a 600000-step cap, the same 300 D/U physical duration. This equals
-60 natural periods for Z0/M2 and 36 for R2. Compare the common final200000 native
-steps, and six100000-step blocks, retaining actual natural/response frequencies
-and ongoing drift. Do not call those blocks ten R2 periods. No settled-VIV claim
-follows from a larger displacement. Report all three outcomes, including quiet
-responses or stopped cases, alongside the existing fixed and damped-free records.
-
-Unchanged stops: |y|>D, invalid move/speed, nonfinite values or no_donor. A 1800s
-per-case wall cap and GPU headroom check bound resource use. Preserve partial rows;
-do not add damping, clip trajectories, filter forces, or relax any stop. Each
-case adds72MB of scalar history, no full fields. The separate Legacy/modern
-baseline diagnosis does not change this FSI protocol.
-
-## Matched D40 resolution comparison (predeclared 2026-10-31)
-
-The first finer case is M2, with exactly the same mass ratio2, reduced velocity5,
-zero structural damping, initial rest state and physical geometry as the retained
-D20 M2. Targeting a development response of0.5--1D does not imply this case will
-reach it. Do not change the structure within this comparison or discard a smaller
-response. D60 is a supported scaling choice, not an automatically scheduled run.
-
-For s=D/20 use dx'=dx/s, dt'=dt/s^2, U'=.01/s, nu'=.004, rho'=1,
-fn'=fn/s^2, M'=s^2 M and K'=K/s^2. The same physical force per unit span
-has F'_lat=F_lat/s. For D40 this gives U=.005, fn=.000025,
-M=7539.82237, K=.000186037660, Re_D=50, and Tn=40000 steps.
-The y walls are at .5 and ny-1.5, while x inlet/outlet source nodes are at0
-and nx-1. Therefore map x'=s*x and y'=.5+s*(y-.5), with
-nx'=s*(1280-1)+1, ny'=s*(512-2)+2. D40 uses2559x1022 and centres
-(1200,510.5),(1252,540.5),(1252,480.5); every radius, probe and envelope scales
-with D. The parabolic profile retains the same normalized wall coordinate.
-This preserves the existing ghost-source boundary convention, without asserting
-that it is an exact continuum open-boundary location.
-
-Warmup=2048000 and response=2400000 native steps at D40: the SAME256 and300
-D/U durations as D20, including60 natural periods after release. Compare the
-six50-D/U blocks and the common final100-D/U window. Report max absolute y/D,
-half-range, RMS, frequency and drift; peak-to-peak is not amplitude. No settling
-claim follows from completion. Keep raw individual CME/Wen/node terms and all
-crossing/fallback counters. Normalize net force by .5*rho*U^2*D in each case.
-Report native crossing/non-crossing force increments separately, plus D40
-four-step block means aligned with D20 intervals (diagnostic only, never replace
-the raw spikes). Report final-window high-frequency variance above f*D/U=1,
-using demeaned FFT Parseval weights, with the same physical cutoff for both cases.
-Different motion histories confound spike-size comparisons; this is simultaneous
-space/time/Mach refinement, not proof of a unique coarse-grid cause.
-
-Only one full D40 M2 is initially scheduled, after CPU checks and a32+32-step
-smoke. Stop on the unchanged geometry/speed/nonfinite/no_donor checks or a7200s
-whole-case wall cap; save completed rows and status. The velocity cap scales to
-.025 so its physical bound is unchanged. No force filtering, trajectory clipping,
-automatic parameter search or extension. Scalar history is288MB; no full fields
-or DDF snapshots are written. Two FP32 population buffers require about188MiB,
-before flags, moving tables and context overhead; measure actual peak usage in
-the smoke and full run. Keep all D20 outcomes. No production source changes.
-
-Commands (one GPU and serial compilation, existing environment):
-`python research/steady_pinball/run.py --case M2 --D 40 --smoke --out <new-smoke-dir>`
-then `python research/steady_pinball/run.py --case M2 --D 40 --wall-seconds 7200 --out <new-full-dir>`.

docs/supported_settings.md

@@ -82,13 +82,6 @@ Tests: `tests/unit/test_jets.py`, `test_jets_review.py`, `test_shifted_jets.py`,
 - DFG 2D-1 Re 20 (V4, SRT, t* 60, pressure-NEQ outlet and local Zou-He inlet): refined and uniform
   runs were NOT_STEADY under the frozen steady rule, so no interval verdict was given.
 
-## Moving circles (dense `Simulation`, uniform grid only)
-
-Translating circles with optional spin are supported on the dense double
-buffer D2Q9 FP32 path only (not on `FixedPatchStepper` or refined levels).
-API, supported/rejected modes and limits: `docs/moving_bodies.md`; stage-1
-evidence: `docs/validation/moving_bodies_stage1.md`.
-
 ## Not supported in this release
 
 3D, dynamic/automatic AMR (tagging, time-varying hierarchies beyond `remap_finest`),

docs/validation/duetsch_re100_kc5_protocol.md

@@ -87,16 +87,8 @@ Order (closed):
 3. Optional labelled BC sensitivity: one x-periodic / y-slip case at D = 40,
    40 D; reported as a delta against native only.
 4. Only after step 2 passes: the D = 20 / 40 / 80 ladder on the chosen BC and
-   domain.
-
-Domain criteria (a-priori, ENGINEERING; separate from the Table 1 bands): the
-reference is 60 D at D = 40; 20 D and 40 D are compared with it on the common
-window (same cycle indices) and the common valid point set:
-- `RMS(Fx_L - Fx_60D) / F_ref ≤ .01` over the window (per-step waveforms);
-- `|c_d,L - c_d,60D| ≤ .02` and `|c_i,L - c_i,60D| ≤ .02` (window fits);
-- `max(|u_L - u_60D|, |v_L - v_60D|)` over common points `/ U_max ≤ .02`.
-The chosen domain is the smallest of {20 D, 40 D} passing all three; if
-neither passes, the domain verdict is FAIL and the ladder is not run.
+   domain (default 40 D if, against 60 D, `RMS(dFx)/F_ref` and |dc_d|, |dc_i|
+   stay inside the section 6 bands).
 - Memory/runtime: measured by a smoke run before each new size; measurements
   inform scheduling only, never tolerances.
 
@@ -134,19 +126,12 @@ ledger; verdict PASS or FAIL-CLOSED.
 Scales: `F_ref = 0.5 rho U_max² D`, `U_ref = U_max`; never a near-zero mean
 force as denominator.
 
-- Settling metrics, cycle k−1 → k, phase-aligned by step within the cycle
-  (error budget: one fifth of the tightest comparison band of the same
-  observable, so residual drift cannot obscure a domain or resolution pass):
-  - waveform `RMS(dFx) / F_ref ≤ .002`;
-  - `|d mean|`, `|d RMS|`, `|d peak|` of Fx, each `/ F_ref ≤ .002`;
-  - scored profiles (fluid-only) `|du| / U_max`, `|dv| / U_max ≤ .004` at the
+- Settling metrics, cycle k−1 → k, phase-aligned by step within the cycle:
+  - waveform `RMS(dFx) / F_ref ≤ .02`;
+  - `|d mean|`, `|d RMS|`, `|d peak|` of Fx, each `/ F_ref ≤ .01`;
+  - scored profiles (fluid-only) `|du| / U_max`, `|dv| / U_max ≤ .03` at the
     three phases × four stations;
-  - Morison `|dc_d| ≤ .004`, `|dc_i| ≤ .004`.
-- Conservative comparison: every domain and cross-resolution criterion is
-  applied to `|difference| + drift_a + drift_b`, where drift is the largest
-  pair metric of that case inside the scored window.
-- These constants (protocol.py SETTLE, DOMAIN, CROSS) are frozen before any
-  physical result; no post-result loosening.
+  - Morison `|dc_d| ≤ .02`, `|dc_i| ≤ .02`.
 - Rule: all metrics for N = 3 consecutive whole paper cycles → settled.
 
 Cycle indexing (worked example, binding). Paper cycle k spans
@@ -159,20 +144,21 @@ quarter `s/T < 0.25`. Pair p_k compares cycle k−1 with cycle k.
   first cycle AFTER the last of those pairs. Earliest possible: pairs 3→4,
   4→5, 5→6 pass ⇒ K_case = 7.
 - Common window: K = max over compared cases of K_case; every case scores the
-  same three complete cycles K, K+1, K+2 and must stay settled continuously:
-  every pair p_j for j = its own K_case .. K+2 must pass (including the wait
-  between its local settle and the common K), otherwise that case is
-  FAIL-CLOSED.
+  same three complete cycles K, K+1, K+2 and must stay settled throughout:
+  pairs (K−1→K), (K→K+1), (K+1→K+2) must pass on every case, otherwise that
+  case is FAIL-CLOSED (an earlier local settle does not waive this).
 - Cap: cycle k ends at s/T = k + 0.25, so the last admissible scored cycle is
   11 (ends 11.25 T) and K ≤ 9. Examples: K = 7 → cycles 7–9 (ends 9.25 T);
   K = 9 → cycles 9–11 (ends 11.25 T); any K_case > 9 → FAIL-CLOSED.
-- Run length: cases run sequentially; each runs to the end of cycle 11
-  (11.25 T: 28,350 / 56,700 / 113,400 steps for D = 20 / 40 / 80; the 12 T
-  cap is 30,240 / 60,480 / 120,960) and keeps its scalar and profile data, then
-  the common K is chosen. An unscorable partial cycle 12 is not run.
-- Profiles: an empty common valid point set is FAIL-CLOSED; coverage, missing
-  points, bin time weights (equal per step) and the original fluid corner
-  weight sums are reported.
+- Every case is run to the end of cycle K + 2 (proportionally more native
+  steps on finer grids).
+- Discard: the initial quarter cycle plus the first 2 full paper cycles
+  (s/T < 2.25). Settling is searched from cycle 3; cap 12 periods from s = 0;
+  unsettled → FAIL-CLOSED (no literature, cross-resolution or VIV statistic).
+- Common window: K = the largest first-settled cycle index over all compared
+  cases; every case is scored on the same 3 cycles K .. K + 2 and must reach
+  them within the cap (proportionally more native steps on finer grids), or
+  the comparison is FAIL-CLOSED.
 - The earlier G4 timing check (100 coarse vs 400 diffusive-fine steps) was a
   matched short transient, not periodic evidence.
 
@@ -204,25 +190,6 @@ Superseded (earlier drafts): the velocity-jump start, guessed stations and
 phases, "C_M" for c_i, and the uncertainty wording; cycles 4–6, the 30-cycle
 cap and the earlier tolerance numbers.
 
-## 6b. Amendment: duration-only diagnostic (declared before the run)
-
-- Background: the D40 domain stage (20 D / 40 D / 60 D, 11.25 T each) failed
-  settling in every box (no window). That result stands.
-- One declared diagnostic: D = 40, 60 D box, from rest, through cycle 31
-  (157,500 steps = 31.25 T). Physics, settling tolerances, bands and
-  production unchanged; three proof pairs plus a continuously settled
-  K..K+2 with K ≤ 29.
-- Invocation: `run.py --D 40 --box 60 --cycles 31` then
-  `analyze.py --horizon 31`; the JSON records `horizon` and `horizon_mode`.
-  Without `--horizon` the analyzer is the original cap-11 scoring.
-- Failure at 31.25 T: report and stop; no automatic extension, matrix, D80
-  or VIV. A pass shows only that this box settles with time; it is not a
-  domain or literature pass.
-- The phase-locked high-frequency force component (residual of the mean
-  waveform after its Morison reconstruction, above 20/T) is reported per case
-  as unqualified; it needs separate qualification before any Morison or
-  literature statement.
-
 ## 6a. Driver unit tests (CPU, before any run)
 
 - Phase/cycle arithmetic: s ↔ (k, φ), cycle boundaries, bin membership,

docs/validation/moving_bodies_stage1.md

@@ -1,46 +0,0 @@
-# Moving circles — stage-1 evidence (development level)
-
-Owner criterion (Yanqi via TRON): prescribed motion and one free VIV case both
-"reasonably close" to a predeclared reference = development-stage success.
-This is practical closeness, not a formal validation claim. Every number
-below is from Astra's receipts as posted in Slack C0C78UFKGRM thread
-1793335557.460509; raw outputs stay on Horsea under `/tmp/celeris-results-*`
-and the Mac evidence directory (not in git).
-
-## Code
-
-- Production: `src/` identical to `653fd997` (slices S1 `983020b6`,
-  S2a `b920a303`, S3a `653fd997`). CPU suites and GPU hold/crossing gates
-  passed on those slices (G0a/G0b population-bitwise; X1 crossing ledger).
-- Research drivers: `research/duetsch_re100_kc5/` (`dd37883d`, capture
-  `a0aea3b9`) and `research/viv_re150/` (`fb507aa1`), run as committed.
-
-## Prescribed in-line oscillation (Dütsch et al. 1998, Re 100, KC 5)
-
-- Protocol: `docs/validation/duetsch_re100_kc5_protocol.md`.
-- Frozen settling gate (.002 F_ref waveform): **FAILED** and kept on record:
-  D40 domain stage (20/40/60 D, 11.25 T) and the 60 D duration diagnostic
-  (31.25 T, 0/28 pairs; last waveform drift .00613 F_ref).
-- Unscored late-cycle CME fits c_d ≈ 2.02–2.05, c_i ≈ 1.46–1.48 vs the
-  paper's computed (2.09, 1.45); fields clean and symmetric (owner view).
-  The owner accepts ~0.61 % cycle drift at D40 for this stage; the gate is
-  not re-scored.
-- Fig. 8 LDA profiles: qualitative only (no digitized ordinates).
-
-## Free transverse VIV (Kolahdouz §4.1.1 setup, Qin §4.5 target)
-
-- Predeclaration: `docs/validation/viv_re150_predeclare.md` (agreed at
-  `1abfe954` under its former name `leontini_viv_predeclare.md`); run at `fb507aa1`, single case, D = 40, 75 D × 60 D.
-- Result: status `scored`, 336,384 steps (t U/D = 336.4); A_max = .5464 D vs
-  .520 D (+5.1 %, inside the declared ±10 % band); mean half peak-to-peak
-  .5448 D; f/f_n = .955; block drifts .78/.29/.18 %, last-five spreads
-  .15/.11/.10 %; finite, no_donor = 0, no seed; 337.7 s, ~1.0 ms/step.
-
-## Limitations (binding)
-
-- One resolution (D40) per case; no grid or time convergence.
-- Structural RHS = CME + Wen is a theory-motivated stage choice; CME-only
-  and node-impulse variants were not run as RHS; no force law is validated.
-- Boundary mismatches: NEQ outlet with backflow clamp vs traction outlet;
-  finite box; the strict Dütsch settling failure is unexplained.
-- No mass correction at curved walls; ~1 ms/step host-coupled overhead.

docs/validation/viv_re150_predeclare.md

@@ -1,155 +0,0 @@
-# Single-cylinder free transverse VIV, Re 150 (Kolahdouz/Qin) — PREDECLARATION (agreed at 1abfe954)
-
-(File renamed from `leontini_viv_predeclare.md`; the Leontini Re 200 case is only the queued second case below.)
-
-Stage goal (Yanqi via TRON): prescribed Dütsch case + one VIV case both
-"reasonably close" to a predeclared reference = development-stage success, then
-cleanup. The frozen Dütsch settling failure (0/28 pairs at 31.25 T) stays on
-record. Practical closeness is not a formal validation claim. Agreed by
-Claude, Grok and Astra at 1abfe954; implemented in research/viv_re150/.
-
-## Primary case (one case)
-
-- Reference: Qin et al., arXiv:2003.12186, §4.5 (maximum amplitudes at
-  U_red = 3…8: .075, .551, .520, .459, .370, .084 D in the text, as quoted by
-  Grok/Astra) for the target; setup from Kolahdouz et al., arXiv:2003.12046,
-  §4.1.1 (read 2026-10-30 via ar5iv): U* sweep 3–8 with amplitudes only in
-  Fig. 3(b) (no text values), domain [−30, 45] D × [−30, 30] D with the
-  cylinder "initially at rest and centered at the origin", uniform inflow on
-  the left, zero normal traction and tangential velocity at the outlet, zero
-  normal velocity and tangential traction on y = ±30 D; no initial
-  perturbation and no total simulated time stated.
-- Re = 150, U* = U/(f_n D) = 5, m/(rho D²) = 2 (m* = rho_s/rho_f = 8/pi),
-  zeta = 0, f_n = sqrt(K/M)/(2 pi) in vacuum. Transverse DOF only.
-- Target: A_max = .520 D (peak amplitude, Qin §4.5). Multi-code reference
-  (Kolahdouz ILE-NS, Qin II-LBM). Reference uncertainty: not stated; the
-  spread between codes is not quantified here.
-
-## Our reproduction (declared differences)
-
-- D = 40, MRT, dense double buffer; U_lat = .04, nu = U D / 150 = .010667,
-  tau = .532.
-- Nominal 75 D × 60 D lattice allocation (3000 × 2400), based on the
-  Kolahdouz §4.1.1 layout. Coordinate clarification of the existing run:
-  the driver uses `(30 D, (ny - 1)/2)` = `(1200, 1199.5)` in lattice
-  coordinates, or `(30 D, 29.9875 D)`. The earlier `(30 D, 30 D)` wording
-  described the nominal box, not the exact executed centre.
-  Free-slip reflection planes are at `y = .5` and `y = ny - 1.5 = 2398.5`;
-  their separation is 2398 cells = 59.95 D, with the centre exactly midway,
-  29.975 D from each wall. Node counts are not physical wall-to-wall lengths.
-  This corrects the description, without changing the historical geometry
-  or results. Qin's own box ([0, 40 D] × [0, 20 D], centre (10 D, 10 D)) is
-  the target paper's, not ours.
-- Boundaries: uniform Zou–He inlet, NEQ outlet (rho = 1, backflow clamp),
-  free-slip y walls. Kolahdouz uses a traction outlet: declared mismatch.
-- Qin's own VIV box (40 D × 20 D) is not used; a smaller box would be a
-  declared cost cut with more blockage, not "the same case".
-- Allowed y offset ±1.5 D; peak transverse speed ≈ .026 cells/step (bound .5).
-
-## Structure, coupling and time levels
-
-- M = 2 rho D² (lattice rho = 1), f_n = U/(5 D) = 2e-4 per step, K = M (2 pi f_n)²,
-  zeta = 0. Equation of motion uses the structural mass only.
-- Per-step sequence (binding): known (y_n, v_n) and the last completed force
-  F_last → candidate (y_{n+1}, v_{n+1}) by the update below → `set_body` with
-  offset y_{n+1} and wall velocity (y_{n+1} − y_n)/dt with lattice dt = 1 (interval average; a
-  different quantity from the endpoint v_{n+1}) → `run(1)` → only on success:
-  commit y_n ← y_{n+1}, v_n ← v_{n+1}, F_last ← force read for that step (failure
-  semantics: see the window section). Whether the
-  measured force represents the interval's start, midpoint or end is not
-  asserted; the one-step lag is declared, not corrected.
-- Initial state: fluid initialized by `Simulation.initialize()` to the uniform
-  inlet velocity U everywhere (the code's actual initial condition; the
-  source gives no fluid initial condition), body at rest at the declared
-  centre, y_0 = v_0 = 0, F_last = 0.
-- Structural update over one step with constant force F = F_last (exact
-  harmonic solution, zeta = 0): y_e = F/K, w = 2 pi f_n,
-  y^{n+1} = y_e + (y^n − y_e) cos w + (v^n / w) sin w,
-  v^{n+1} = −(y^n − y_e) w sin w + v^n cos w.
-- Primary RHS (single coupled run): CME + Wen (theory-motivated stage choice:
-  Galilean-invariant link correction; G4 could not separate it from CME).
-  Raw CME and the node terms are logged as diagnostics of that trajectory;
-  the node impulse is not added. A run with CME-only as RHS is a separate,
-  labelled sensitivity case, decided separately. Neither RHS is claimed proven.
-
-## Window, failure semantics, acceptance (engineering, development stage)
-
-Clocks: lattice dt = 1; T_n = 1/f_n = 5,000 steps. Response cycles are
-counted from the measured signal; T_n is used only for the seed check.
-
-- Start: body at rest at the declared centre (the only initial condition the
-  source states), y_0 = v_0 = 0, F_last = 0; fluid uniform at U (as
-  initialized by the code; our choice, not the source's).
-- Seed (conditional, one time, declared): at step n_seed = 200,000
-  (t = 40 T_n), if max |y_t| over states t in [175,000, 200,000) is below
-  .01 D, then
-  in that step, after the check and before the candidate update, set
-  v_n += 2 pi f_n (.01 D) (F_last unchanged) and proceed normally; the
-  geometry moves continuously through the update. `seed_applied`, step and
-  size are logged; never repeated or changed.
-- Cycle boundary (discrete, fixed threshold): step n closes a cycle iff
-  y[n−1] < 0 and y[n] ≥ 0 (upward crossing of the equilibrium y = 0);
-  y_0 = 0 is not a crossing; no boundary fewer than 2 samples after the
-  previous one.
-- Per cycle: positive peak max(y), negative peak min(y), mean offset
-  (time-mean of y), amplitude a = (max − min)/2 (the only amplitude used for
-  settling).
-- Eligibility: a completed cycle is counted (toward the settling proof and
-  the 150 budget) only if a ≥ .01 D; ineligible cycles are logged, never
-  counted, so near-zero motion cannot settle or pass.
-- Seed reset: if the seed is applied, the incomplete cycle at n_seed is
-  discarded and the settling proof starts empty; the 150 budget and the
-  native cap keep running from t = 0.
-- Windows: adjacent non-overlapping blocks of 10 counted cycles;
-  W_k = mean amplitude of block k (W_k ≥ .01 D by eligibility, so no zero
-  denominator).
-- Block rule R(k), k ≥ 2: |W_k − W_{k−1}| / W_{k−1} ≤ .02 and, for the last 5
-  cycles of block k, max_i |a_i − ā_5| / ā_5 ≤ .01 with ā_5 their mean.
-- Settled at the end of block k when R(k) holds. Scoring = the next two
-  blocks k+1, k+2 (20 counted cycles); both must satisfy R. If one fails,
-  that block becomes the new reference: the settling proof restarts from it
-  and continues within the caps (deterministic; no other retry). A pass
-  requires one complete stable 20-cycle scoring window before a cap; success
-  stops after its 20th cycle.
-- Caps (both always armed; the first hit wins and is reported): 150 counted
-  response cycles including the 20 scoring cycles (so settling must complete
-  by counted cycle 130) → `timeout_response_cycles`; 1,000,000 native steps
-  (200 T_n) → `timeout_native_steps`.
-- Durations reported: total steps, t U/D, counted and uncounted cycles,
-  measured T_resp (mean boundary interval); N_resp / f_n only as a labelled
-  secondary clock.
-- Growth is not a failure: initial VIV growth is physical. Checked every
-  step (FAIL-CLOSED): non-finite y, v or force; |y| > 1.0 D (the tighter
-  gate; about twice the largest reference peak, .551 D) or the ±1.5 D offset
-  box reached; no_donor > 0; a failed upload/step/sync.
-- On any failure the driver stops and reports; it never retries,
-  sub-iterates, retunes the RHS or parameters, or starts a second case.
-  Device-side failures (upload/step/sync, no_donor) mark the Simulation
-  failed through the existing lifecycle; input rejection by `set_body`
-  (offset box, speed, step bound) and timeouts end the driver run without
-  that mark.
-- Target metric over the 20 scoring cycles: A_max/D = max over those cycles
-  of max(|positive peak|, |negative peak|) about y = 0 (Qin reports "maximum
-  amplitude"); also reported: mean amplitude, positive and negative peaks,
-  mean offset, f/f_n (no target).
-- Acceptance: |A_max − .520 D| ≤ .052 D (±10 %), stated together with the
-  boundary mismatch and the absence of a quoted reference uncertainty. A pass
-  is "reasonably close" for the stage: not grid convergence, not force-RHS
-  validation, and it does not touch the Dütsch settling record.
-- Driver reads force and the small diagnostics per step only; field reads
-  only at a few predeclared snapshots. No runtime claim: there is no measured
-  timing on this grid yet (the D40/60D receipt is a different, sampled case).
-
-## Plumbing smoke (not the benchmark)
-
-`run.py --smoke --D 20 --steps 32` runs exactly 32 steps of the same BC
-package and coupling loop (no seed, settle or score; never scored);
-status `smoke_ok` iff every step is finite, no_donor stays 0 and the body
-stays inside its box. The physical case is only the default invocation
-(`--D 40`, no `--smoke`).
-
-## Queued, not in this stage
-
-Leontini et al. JFS 22 (2006) Re = 200, m* = 10, zeta = 0.01, U* = 5.0 (needs
-the owners' c_crit convention and a Fig. 1 digitization). D80, literature
-claims, pinball, AMR, BC redesign, threshold changes.

research/duetsch_re100_kc5/analyze.py

@@ -1,224 +0,0 @@
-"""Ledger, settling, common window and Morison fits for Dütsch cases (numpy only).
-
-    python analyze.py CASE_DIR [CASE_DIR ...]   # cases of one comparison
-"""
-from __future__ import annotations
-
-import json
-import math
-import os
-import sys
-
-import numpy as np
-
-import protocol as p
-
-
-def load(path):
-    with open(os.path.join(path, "case.json")) as fh:
-        case = json.load(fh)
-    raw = np.load(os.path.join(path, "raw.npz"))
-    case.update(force=raw["force"], diag=raw["diag"], samples=raw["samples"], path=path)
-    return case
-
-
-def cycle_slices(case):
-    """{k: slice of step indices m whose interval [m, m+1] lies in paper cycle k}."""
-    T, q = case["T"], case["T"] // 4
-    return {k: slice(q + (k - 1) * T, q + k * T)
-            for k in range(1, case["cycles"] + 1) if q + k * T <= len(case["force"])}
-
-
-def coarse_wave(case, k, r=1):
-    """Normalized per-step Fx of cycle k, averaged over r native steps per sample."""
-    f = case["force"][cycle_slices(case)[k], 0] / case["F_ref"]
-    return f.reshape(-1, r).mean(axis=1)
-
-
-def profiles(case, k):
-    """{(phase, station, x2): (u, v)} of cycle k, time-averaged over the bin steps
-    (equal weights per step) from valid samples only."""
-    s = case["samples"]
-    acc = {}
-    for _, _, ph, xs, x2, u, v, _ in s[s[:, 1] == k]:
-        if not (math.isnan(u) or math.isnan(v)):
-            acc.setdefault((ph, xs, x2), []).append((u, v))
-    return {key: tuple(np.mean(vals, axis=0)) for key, vals in acc.items()}
-
-
-def coverage(case, k):
-    s = case["samples"]
-    rows = s[s[:, 1] == k]
-    missing = int(np.isnan(rows[:, 5]).sum())
-    return dict(samples=len(rows), missing=missing, bin_steps=len(set(rows[:, 0])),
-                min_fluid_weight=float(np.nanmin(np.where(rows[:, 7] > 0, rows[:, 7], np.nan)))
-                if len(rows) else math.nan)
-
-
-def common_points(dicts):
-    keys = set(dicts[0])
-    for d in dicts[1:]:
-        keys &= set(d)
-    return sorted(keys)
-
-
-def candidates(case):
-    """Per-step Fx of each reported force candidate (none is selected as an RHS)."""
-    d = case["diag"]
-    return {"cme": d[:, 0], "cme_wen": d[:, 0] + d[:, 2], "cme_node": d[:, 0] + d[:, 6] - d[:, 9]}
-
-
-def cycle_morison(case, ks, fx=None):
-    T = case["T"]
-    fx = case["force"][:, 0] if fx is None else fx
-    idx = np.concatenate([np.arange(len(fx))[cycle_slices(case)[k]] for k in ks])
-    b = np.array([p.interval_bases(int(m), T) for m in idx])
-    return p.morison_fit(fx[idx] / case["F_ref"], b[:, 0], b[:, 1])
-
-
-def pair_metrics(case, k):
-    a, b = coarse_wave(case, k - 1), coarse_wave(case, k)
-    pa, pb = profiles(case, k - 1), profiles(case, k)
-    common = common_points([pa, pb])  # empty set -> inf -> pair fails (FAIL-CLOSED)
-    prof = max((max(abs(pa[c][0] - pb[c][0]), abs(pa[c][1] - pb[c][1])) for c in common),
-               default=math.inf) / case["u_max"]
-    (cd0, ci0), (cd1, ci1) = cycle_morison(case, [k - 1]), cycle_morison(case, [k])
-    m = dict(wave=float(np.sqrt(np.mean((b - a) ** 2))),
-             scalar=float(max(abs(b.mean() - a.mean()), abs(np.sqrt(np.mean(b * b)) - np.sqrt(np.mean(a * a))),
-                              abs(np.abs(b).max() - np.abs(a).max()))),
-             profile=float(prof), morison=float(max(abs(cd1 - cd0), abs(ci1 - ci0))),
-             profile_points=len(common))
-    m["pass"] = all(m[key] <= tol for key, tol in p.SETTLE.items())
-    return m
-
-
-def hf_component(case, ks):
-    """Unqualified phase-locked high-frequency force component (reported, not checked):
-    mean CME waveform over cycles ks minus its two-basis Morison reconstruction,
-    split at 20/T; cycle differencing does not remove it."""
-    T = case["T"]
-    if not ks:
-        return dict(label="unqualified phase-locked HF force component, not checked", cycles=[])
-    mean = np.mean([coarse_wave(case, k) for k in ks], axis=0)
-    c_d, c_i = cycle_morison(case, ks)
-    q = T // 4
-    b = np.array([p.interval_bases(q + m, T) for m in range(T)])
-    resid = mean - (c_d * b[:, 0] - (np.pi ** 2 * c_i / p.KC) * b[:, 1])
-    spec = np.fft.rfft(resid)
-    high = spec.copy()
-    high[:21] = 0.0
-    energy = one_sided_energy(spec, T)
-    return dict(label="unqualified phase-locked HF force component, not checked",
-                cycles=list(ks), hf_rms_over_F_ref=float(np.sqrt(np.mean(np.fft.irfft(high, T) ** 2))),
-                hf_energy_fraction=float(energy[21:].sum() / max(energy.sum(), 1e-300)),
-                top_harmonics=[int(j) for j in np.argsort(energy[21:])[::-1][:5] + 21])
-
-
-def one_sided_energy(spec, n):
-    """Parseval-consistent energy per rfft bin: interior bins count twice, DC and
-    (for even n) Nyquist once."""
-    w = np.full(len(spec), 2.0)
-    w[0] = 1.0
-    if n % 2 == 0:
-        w[-1] = 1.0
-    return w * np.abs(spec) ** 2
-
-
-def ledger(case, horizon=p.LAST_SCORED):
-    ks = [k for k in sorted(cycle_slices(case)) if k <= horizon]
-    pairs = {k: pair_metrics(case, k) for k in ks if k - 1 > p.DISCARD}
-    return pairs, p.settled_start({k: v["pass"] for k, v in pairs.items()})
-
-
-def main(argv):
-    """argv: CASE_DIR ... [--reference CASE_DIR]; the reference defaults to the
-    largest D (resolution ladder); domain runs name the 60 D case explicitly."""
-    ref_path = None
-    if "--reference" in argv:
-        i = argv.index("--reference")
-        ref_path, argv = argv[i + 1], argv[:i] + argv[i + 2:]
-    horizon, explicit = p.LAST_SCORED, "--horizon" in argv  # default: original scoring
-    if explicit:
-        i = argv.index("--horizon")
-        horizon, argv = int(argv[i + 1]), argv[:i] + argv[i + 2:]
-    paths = argv if ref_path is None or ref_path in argv else argv + [ref_path]
-    cases = [load(path) for path in paths]
-    for c in cases if explicit else ():  # complete cycles 1..N; never pad or shift
-        if c["cycles"] < horizon or len(c["force"]) < round((0.25 + horizon) * c["T"]):
-            raise SystemExit(f"{c['path']}: run does not contain complete cycles 1..{horizon}")
-    ledgers = [ledger(c, horizon) for c in cases]
-    window = p.common_window([k for _, k in ledgers],
-                             [{k: v["pass"] for k, v in pairs.items()} for pairs, _ in ledgers],
-                             last_scored=horizon)
-    report = dict(window=window, horizon=horizon, cases=[],
-                  horizon_mode="default-cap" if horizon == p.LAST_SCORED else
-                  "extended duration diagnostic (declared amendment, D40/60D only)")
-    for case, (pairs, k_case) in zip(cases, ledgers):
-        limit = round((0.25 + horizon) * case["T"])  # events inside the horizon only
-        entry = {key: case[key] for key in ("path", "D", "T", "box", "n", "u_max", "nu", "tau", "A",
-                                            "steps", "cycles", "F_ref")}
-        entry.update(duration_T=case["steps"] / case["T"], K_case=k_case, pairs=pairs,
-                     coverage={k: coverage(case, k) for k in sorted(cycle_slices(case))
-                               if p.DISCARD < k <= horizon},
-                     no_donor=float(case["diag"][:limit, 13].sum()),
-                     eq_only=float(case["diag"][:limit, 12].sum()),
-                     hf_component=hf_component(case, window or tuple(
-                         [k for k in sorted(cycle_slices(case)) if p.DISCARD < k <= horizon][-3:])))
-        if window:  # residual drift inside the scored window (pairs K..K+2)
-            entry["window_drift"] = {key: max(pairs[k][key] for k in window)
-                                     for key in ("wave", "profile", "morison")}
-            entry["morison_obs"] = cycle_morison(case, window)
-            entry["morison"] = {name: cycle_morison(case, window, fx)
-                                for name, fx in candidates(case).items()}
-            entry["fy_mean"] = float(np.mean(np.concatenate(
-                [case["force"][cycle_slices(case)[k], 1] for k in window])) / case["F_ref"])
-        report["cases"].append(entry)
-    if window and len(cases) > 1:  # cross-resolution waveform against the finest case
-        fine = (next(c for c in cases if c["path"] == ref_path) if ref_path
-                else max(cases, key=lambda c: c["D"]))
-        report["reference"] = fine["path"]
-        ref = np.concatenate([coarse_wave(fine, k) for k in window])
-        for case, entry in zip(cases, report["cases"]):
-            r = fine["T"] // case["T"]  # 1 for equal-D domain runs
-            ref_c = ref.reshape(-1, r).mean(axis=1)
-            own = np.concatenate([coarse_wave(case, k) for k in window])
-            entry["wave_rms_vs_finest"] = float(np.sqrt(np.mean((own - ref_c) ** 2)))
-        for k in window:  # profiles on the common valid point set of all compared cases
-            per_case = [profiles(c, k) for c in cases]
-            keys = common_points(per_case)
-            report.setdefault("common_profile_points", {})[k] = len(keys)
-            if not keys:
-                report["verdict"] = "FAIL-CLOSED: empty common profile set"
-                continue
-            fine_p = per_case[cases.index(fine)]
-            for case, entry, prof in zip(cases, report["cases"], per_case):
-                d = max(max(abs(prof[key][0] - fine_p[key][0]), abs(prof[key][1] - fine_p[key][1]))
-                        for key in keys) / case["u_max"]
-                entry.setdefault("profile_max_vs_finest", {})[k] = float(d)
-        ref_entry = report["cases"][cases.index(fine)]
-        for entry in report["cases"]:  # conservative: difference + both drifts
-            if entry is ref_entry:
-                continue
-            drift = {key: entry["window_drift"][key] + ref_entry["window_drift"][key]
-                     for key in ("wave", "profile", "morison")}
-            dm = max(abs(entry["morison"]["cme"][0] - ref_entry["morison"]["cme"][0]),
-                     abs(entry["morison"]["cme"][1] - ref_entry["morison"]["cme"][1]))
-            entry["conservative"] = dict(
-                wave=entry["wave_rms_vs_finest"] + drift["wave"],
-                profile=max(entry.get("profile_max_vs_finest", {}).values(), default=math.inf)
-                + drift["profile"],
-                morison_cme=dm + drift["morison"])
-            bands = p.DOMAIN if ref_path else p.CROSS  # domain runs name the 60 D reference
-            c = entry["conservative"]
-            entry["pass_scope"] = (
-                ("wave+profile+morison_cme" if "morison" in bands else "wave+profile")
-                + ": conservative (|diff| + both window drifts) on the obs/CME Fx waveform and "
-                "simulation-to-simulation profiles; CME+Wen and CME+node reported, not checked; "
-                "no Fig. 8 / literature verdict")
-            entry["pass"] = (c["wave"] <= bands["wave"] and c["profile"] <= bands["profile"]
-                             and ("morison" not in bands or c["morison_cme"] <= bands["morison"]))
-    print(json.dumps(report, indent=1, default=float))
-
-
-if __name__ == "__main__":
-    main(sys.argv[1:])

research/duetsch_re100_kc5/capture.py

@@ -1,52 +0,0 @@
-"""Research-only field capture helpers for the Dütsch driver (numpy only).
-
-Snapshots are taken at the first step of the scored phase bins in declared
-cycles: a near-body crop at full resolution and a fluid-weighted block-mean
-downsample of the whole domain; plus scalar trends at every bin read.
-"""
-from __future__ import annotations
-
-import numpy as np
-
-CROP_X, CROP_Y, DOWN = 8.0, 6.0, 8      # crop half-widths in D; downsample factor
-STRIP = 2.0                             # inlet/outlet strip width in D
-
-
-def crop_box(xm, ym, D, n, body_extent):
-    """Inclusive integer crop (x0, x1, y0, y1); fail closed if it leaves the domain
-    interior or does not contain the body's swept extent (x_lo, x_hi, y_lo, y_hi)."""
-    x0, x1 = int(round(xm - CROP_X * D)), int(round(xm + CROP_X * D))
-    y0, y1 = int(round(ym - CROP_Y * D)), int(round(ym + CROP_Y * D))
-    if x0 < 1 or y0 < 1 or x1 > n - 2 or y1 > n - 2:
-        raise ValueError("capture crop leaves the domain interior")
-    bx0, bx1, by0, by1 = body_extent
-    if not (x0 <= bx0 and bx1 <= x1 and y0 <= by0 and by1 <= y1):
-        raise ValueError("capture crop clips the body's swept extent")
-    return x0, x1, y0, y1
-
-
-def downsample(field, fluid, f=DOWN):
-    """Fluid-weighted f x f block means; NaN where a block has no fluid cell."""
-    ny, nx = field.shape
-    h, w = ny // f, nx // f
-    v = np.where(fluid, field, 0.0)[:h * f, :w * f].reshape(h, f, w, f).sum(axis=(1, 3))
-    c = fluid[:h * f, :w * f].reshape(h, f, w, f).sum(axis=(1, 3))
-    with np.errstate(invalid="ignore", divide="ignore"):
-        return np.where(c > 0, v / np.maximum(c, 1), np.nan).astype(np.float32)
-
-
-def fluid_mean(field, fluid, xs=slice(None), ys=slice(None)):
-    m = fluid[ys, xs]
-    return float(field[ys, xs][m].mean()) if m.any() else float("nan")
-
-
-def trend_row(s, k, ph, rho, ux, uy, fluid, D, n, crop):
-    """(s, cycle, phase, <rho>, <ux>, <uy>, <rho>_crop, inlet <rho>, <ux>, outlet <rho>, <ux>)."""
-    w = max(1, int(round(STRIP * D)))
-    x0, x1, y0, y1 = crop
-    cx, cy = slice(x0, x1 + 1), slice(y0, y1 + 1)
-    inlet, outlet, inner = slice(1, 1 + w), slice(n - 1 - w, n - 1), slice(1, n - 1)
-    return (s, k, ph, fluid_mean(rho, fluid), fluid_mean(ux, fluid), fluid_mean(uy, fluid),
-            fluid_mean(rho, fluid, cx, cy),
-            fluid_mean(rho, fluid, inlet, inner), fluid_mean(ux, fluid, inlet, inner),
-            fluid_mean(rho, fluid, outlet, inner), fluid_mean(ux, fluid, outlet, inner))

research/duetsch_re100_kc5/protocol.py

@@ -1,136 +0,0 @@
-"""Pure arithmetic of the Dütsch Re 100 / KC 5 protocol (numpy only, no CUDA).
-
-docs/validation/duetsch_re100_kc5_protocol.md is the contract: elapsed time s
-in native steps from the right turning point, paper phase
-phi = (360 s / T - 90) mod 360, paper cycle k >= 1 spans
-s/T in [0.25 + (k-1), 0.25 + k); cycle 0 is the startup quarter.
-"""
-from __future__ import annotations
-
-import math
-from functools import lru_cache
-
-import numpy as np
-
-KC, RE = 5.0, 100.0
-STATIONS = (-0.6, 0.0, 0.6, 1.2)          # lab-fixed x/D from the mean position
-PHASES = (180.0, 210.0, 330.0)            # degrees; bins [p, p + 1)
-X2 = tuple(np.round(np.arange(-1.5, 1.5001, 0.05), 10))  # declared x2/D points
-DISCARD, LAST_SCORED, N_PAIRS = 2, 11, 3   # cycles 0..2 discarded, cap 12 T
-# A-priori bands. Settling is one fifth of the tightest comparison band of the
-# same observable, and comparisons add both cases' residual window drift
-# (conservative: |difference| + drift_a + drift_b <= band).
-DOMAIN = dict(wave=.01, morison=.02, profile=.02)  # vs the 60 D reference at D = 40
-CROSS = dict(wave=.02, profile=.02)                # D40 vs D80
-SETTLE = dict(wave=.002, scalar=.002, profile=.004, morison=.004)
-
-
-def amplitude(D):
-    return KC * D / (2.0 * math.pi)
-
-
-def position(s, T, A):
-    """Centre position relative to the mean: x = A cos(2 pi s / T), evaluated from the
-    native step modulo T so every cycle repeats the same geometry bit for bit."""
-    return A * math.cos(2.0 * math.pi * (int(s) % T) / T)
-
-
-def phase(s, T):
-    """Paper phase in degrees from the native step modulo T (the unwrapped cycle
-    index is kept separately by ``cycle``)."""
-    return (360.0 * (int(s) % T) / T - 90.0) % 360.0
-
-
-def cycle(s, T):
-    return 0 if s < 0.25 * T else int(math.floor(s / T - 0.25)) + 1
-
-
-def bin_phase(s, T):
-    """Scored phase whose 1-degree bin [p, p + 1) contains time s, else None."""
-    phi = phase(s, T)
-    for p in PHASES:
-        if p <= phi < p + 1.0:
-            return p
-    return None
-
-
-@lru_cache(maxsize=8)
-def _quadrature_rule(points):
-    """Reuse the nodes and weights, which depend only on quadrature order."""
-    return np.polynomial.legendre.leggauss(points)
-
-
-def interval_bases(n, T, points=16):
-    """Single-step interval averages over [n, n + 1] of cos phi |cos phi| and sin phi
-    (phi in radians = 2 pi s / T - pi / 2), Gauss-Legendre quadrature."""
-    x, w = _quadrature_rule(points)
-    s = int(n) % T + 0.5 * (x + 1.0)  # periodic: identical bases in every cycle
-    phi = 2.0 * np.pi * s / T - 0.5 * np.pi
-    c = np.cos(phi)
-    return 0.5 * float(np.sum(w * c * np.abs(c))), 0.5 * float(np.sum(w * np.sin(phi)))
-
-
-def morison_fit(f_norm, b1, b2):
-    """Least squares of f_norm = c_d b1 - (pi^2 c_i / KC) b2 (paper phase, no shift)."""
-    a = np.column_stack([b1, -(math.pi ** 2 / KC) * np.asarray(b2)])
-    (c_d, c_i), *_ = np.linalg.lstsq(a, np.asarray(f_norm), rcond=None)
-    return float(c_d), float(c_i)
-
-
-def inside_circle(x, y, centre, radius):
-    return (x - centre[0]) ** 2 + (y - centre[1]) ** 2 < radius * radius
-
-
-def sample(field, fluid, x, y, centre, radius):
-    """Profile sample: MISSING if the exact point is inside the body (checked before
-    any corner interpolation), else ``bilinear_fluid``."""
-    if inside_circle(x, y, centre, radius):
-        return None, (), 0.0
-    return bilinear_fluid(field, fluid, x, y)
-
-
-def bilinear_fluid(field, fluid, x, y):
-    """Bilinear value at (x, y) in cell coordinates from fluid cells only.
-
-    Returns (value, ((ix, iy, weight), ...), fluid_weight_sum) with weights
-    renormalized over the fluid corners and the original sum of their bilinear
-    weights, or (None, (), 0.0) when no corner is fluid (MISSING, never zero).
-    """
-    x0, y0 = int(math.floor(x)), int(math.floor(y))
-    fx, fy = x - x0, y - y0
-    corners = ((x0, y0, (1 - fx) * (1 - fy)), (x0 + 1, y0, fx * (1 - fy)),
-               (x0, y0 + 1, (1 - fx) * fy), (x0 + 1, y0 + 1, fx * fy))
-    used = [(i, j, w) for i, j, w in corners if w > 0.0 and fluid[j, i]]
-    total = sum(w for _, _, w in used)
-    if total == 0.0:
-        return None, (), 0.0
-    used = tuple((i, j, w / total) for i, j, w in used)
-    return float(sum(w * field[j, i] for i, j, w in used)), used, float(total)
-
-
-def settled_start(pairs_pass):
-    """K_case from {k: pass of pair (k-1 -> k)}: first cycle after three consecutive
-    passing pairs among cycles > DISCARD, or None."""
-    run = 0
-    for k in sorted(pairs_pass):
-        if k - 1 <= DISCARD:
-            continue
-        run = run + 1 if pairs_pass[k] else 0
-        if run == N_PAIRS:
-            return k + 1
-    return None
-
-
-def common_window(k_cases, pairs_pass_by_case, last_scored=LAST_SCORED):
-    """Common scored cycles K..K+2 with K = max K_case, or None (FAIL-CLOSED) when a
-    case never settled, K + 2 exceeds the cap, or a case fails any pair p_j for
-    j = its own K_case .. K + 2 (continuous settling, including the wait for K)."""
-    if any(k is None for k in k_cases):
-        return None
-    K = max(k_cases)
-    if K + 2 > last_scored:
-        return None
-    for k_case, pairs in zip(k_cases, pairs_pass_by_case):
-        if not all(pairs.get(j, False) for j in range(k_case, K + 3)):
-            return None
-    return K, K + 1, K + 2

research/duetsch_re100_kc5/run.py

@@ -1,133 +0,0 @@
-"""One-shot Dütsch Re 100 / KC 5 prescribed in-line oscillation driver.
-
-Protocol: docs/validation/duetsch_re100_kc5_protocol.md. Native dense channel
-(zero-velocity inlet, pressure-NEQ outlet, bounce-back y walls), MRT, lab frame.
-Writes raw per-step force/diagnostics and phase-bin profile samples to --out
-(outside the checkout); analysis is in analyze.py. No production change.
-
-    python run.py --D 40 --box 40 --cycles 11 --out /path/outside/checkout
-"""
-from __future__ import annotations
-
-import argparse
-import json
-import math
-import os
-import tempfile
-
-import numpy as np
-
-import protocol as p
-
-
-TEMPLATE = os.path.join(os.path.dirname(os.path.abspath(__file__)), "..", "..", "src",
-                        "CelerisLab", "configs", "config_lbm.json")
-
-
-def config(D, box, T):
-    """Shipped config_lbm.json (full parser schema) with only the case fields
-    overridden: grid, still fluid (velocity 0), nu from Re, MRT, uniform inlet
-    profile, bounce-back y walls. Inlet scheme and outlet mode stay the
-    template's (zou_he_local, neq_extrap) and are recorded in case.json."""
-    u = p.KC * D / T
-    n = int(round(box * D))
-    with open(TEMPLATE) as fh:
-        cfg = json.load(fh)
-    cfg["grid"].update(lattice_model="D2Q9", nx=n, ny=n, nz=1)
-    cfg["physics"].update(data_type="FP32", viscosity=u * D / p.RE, velocity=0.0, rho=1.0)
-    cfg["method"].update(collision="MRT", streaming="double_buffer", store_precision="FP32",
-                         ddf_shifting=False, y_wall_bc="bounce_back")
-    cfg["method"]["les"]["enabled"] = False
-    cfg["method"]["inlet"]["profile"] = "uniform"
-    return cfg, u, n
-
-
-def main():
-    ap = argparse.ArgumentParser()
-    ap.add_argument("--D", type=int, required=True)
-    ap.add_argument("--box", type=float, default=40.0, help="box side in D")
-    ap.add_argument("--T", type=int, default=None, help="period in steps (multiple of 360)")
-    ap.add_argument("--cycles", type=int, default=p.LAST_SCORED, help="run to the end of this cycle")
-    ap.add_argument("--out", required=True)
-    ap.add_argument("--dump-fields", default="",
-                    help="research capture: comma-separated paper cycles, e.g. 11,21,30,31")
-    args = ap.parse_args()
-    D, T = args.D, args.T or 126 * args.D
-    if T % 360:
-        raise SystemExit("T must be a multiple of 360 steps")
-    if os.path.realpath(args.out).startswith(os.path.realpath(os.path.join(os.path.dirname(__file__), "..", ".."))):
-        raise SystemExit("--out must be outside the checkout")
-    cfg, u_max, n = config(D, args.box, T)
-    A, R = p.amplitude(D), 0.5 * D
-    xm = ym = 0.5 * (n - 1)
-    os.makedirs(args.out, exist_ok=True)
-
-    from CelerisLab.body.motion import Translation
-    from CelerisLab.simulation import Simulation
-    with tempfile.NamedTemporaryFile("w", suffix=".json", delete=False) as fh:
-        json.dump(cfg, fh)
-    sim = Simulation(fh.name)
-    try:
-        body = sim.add_body("circle", (xm + A, ym), R,
-                            translation=Translation((-2.0 * A, 0.0, 0.0, 0.0), 1.01 * u_max))
-        sim.initialize()
-        dump = {int(c) for c in args.dump_fields.split(",") if c}
-        if dump:
-            import capture
-            if max(dump) > args.cycles or min(dump) <= p.DISCARD:
-                raise SystemExit("--dump-fields cycles must lie in the scored range of this run")
-            crop = capture.crop_box(xm, ym, D, n, (xm - A - R, xm + A + R, ym - R, ym + R))
-            trend = []
-        steps = int(round((0.25 + args.cycles) * T))
-        force = np.zeros((steps, 2)); diag = []; samples = []
-        for m in range(steps):
-            x0, x1 = p.position(m, T, A), p.position(m + 1, T, A)
-            sim.set_body(body, offset=(max(x1 - A, -2.0 * A), 0.0), vx=x1 - x0)
-            sim.run(1)
-            force[m] = sim.read_force(body)[:2]
-            diag.append(sim.moving_diagnostics()[0])
-            s = m + 1  # state after the step
-            ph = p.bin_phase(s, T)
-            if ph is not None and p.cycle(s, T) > p.DISCARD:
-                fields = sim.get_macroscopic()
-                fluid = (sim.get_flags().reshape(n, n) & 1) != 0
-                ux, uy = (np.asarray(fields[k]).reshape(n, n) for k in ("ux", "uy"))
-                if dump:  # research capture only; the default path is unchanged
-                    rho = np.asarray(fields["rho"]).reshape(n, n)
-                    trend.append(capture.trend_row(s, p.cycle(s, T), ph, rho, ux, uy, fluid, D, n, crop))
-                    if p.cycle(s, T) in dump and p.phase(s, T) == ph:  # first step of the bin
-                        x0c, x1c, y0c, y1c = crop
-                        cy_, cx_ = slice(y0c, y1c + 1), slice(x0c, x1c + 1)
-                        np.savez_compressed(
-                            os.path.join(args.out, f"fields_c{p.cycle(s, T)}_p{int(ph)}.npz"),
-                            s=s, cycle=p.cycle(s, T), phase=ph, crop=np.asarray(crop),
-                            force=force[m], centre=np.asarray((xm + p.position(s, T, A), ym)),
-                            ux=ux[cy_, cx_].astype(np.float32), uy=uy[cy_, cx_].astype(np.float32),
-                            rho=rho[cy_, cx_].astype(np.float32), fluid=fluid[cy_, cx_].astype(np.uint8),
-                            down_ux=capture.downsample(ux, fluid), down_uy=capture.downsample(uy, fluid),
-                            down_rho=capture.downsample(rho, fluid))
-                centre = (xm + p.position(s, T, A), ym)  # analytic centre after the step
-                for xs in p.STATIONS:
-                    for x2 in p.X2:
-                        x, y = xm + xs * D, ym + x2 * D
-                        u, wu, wsum = p.sample(ux, fluid, x, y, centre, R)
-                        v, _, _ = p.sample(uy, fluid, x, y, centre, R)
-                        samples.append((s, p.cycle(s, T), ph, xs, x2,
-                                        math.nan if u is None else u, math.nan if v is None else v,
-                                        wsum, json.dumps(wu)))
-        if dump:
-            np.save(os.path.join(args.out, "trend.npy"), np.asarray(trend, float))
-        np.savez(os.path.join(args.out, "raw.npz"), force=force, diag=np.asarray(diag),
-                 samples=np.asarray([r[:8] for r in samples], float))
-        with open(os.path.join(args.out, "case.json"), "w") as fh:
-            json.dump(dict(D=D, T=T, box=args.box, n=n, u_max=u_max, nu=cfg["physics"]["viscosity"],
-                           tau=3 * cfg["physics"]["viscosity"] + 0.5, A=A, steps=steps,
-                           cycles=args.cycles, F_ref=0.5 * u_max ** 2 * D,
-                           inlet=cfg["method"]["inlet"], outlet=cfg["method"]["outlet"],
-                           weights=[r[8] for r in samples]), fh)
-    finally:
-        sim.close()
-
-
-if __name__ == "__main__":
-    main()

research/karman_viv/run.py

@@ -1,292 +0,0 @@
-"""One paired zero/PPO Karman pinball VIV experiment; see docs/karman_viv.md.
-
-Research-only adapter: static precursor -> two fresh, identical moving plants.
-No moving checkpoint/rollback, policy retraining, or force filtering.
-"""
-from __future__ import annotations
-
-import argparse
-import hashlib
-import json
-from pathlib import Path
-import subprocess
-import sys
-import time
-
-import numpy as np
-
-ROOT = Path(__file__).resolve().parents[2]
-sys.path.insert(0, str(ROOT))
-from research.steady_pinball.run import Structure, config, scaled_points, CENTRES, PROBES, COLUMNS
-
-BIAS = np.array([0., -4., 4.])
-MODEL_SHA = '148240c1dcb8b11d8e5a0a9e991f6874c4e799c9744707bf0fb32a8efeb0468d'
-NORM_SHA = '534fda818c030a56960e95d0f3ac1e350d887d03db7f80f1d6453195a502b7f0'
-STEP_COLUMNS = (*COLUMNS, 'omega_F', 'omega_U', 'omega_L')
-
-
-def sha(path):
-    h = hashlib.sha256()
-    with open(path, 'rb') as f:
-        for block in iter(lambda: f.read(1024*1024), b''):
-            h.update(block)
-    return h.hexdigest()
-
-
-def array_sha(a):
-    return hashlib.sha256(memoryview(np.ascontiguousarray(a)).cast('B')).hexdigest()
-
-
-def observation(sensor_mean, force_mean, scale, norm):
-    """Fine-grid area means/CME -> trained D20 sensor sums/forces -> frozen norm."""
-    sensors = np.asarray(sensor_mean, np.float64)*scale*78.
-    forces = np.asarray(force_mean, np.float64)*scale
-    raw = np.asarray([*sensors, *forces], np.float32)
-    preclip = np.hstack((raw[6:]/norm['force_norm_fact'],
-                        (raw[:6]-np.asarray(norm['sens_deviation'], np.float32)) /
-                        np.asarray(norm['sens_norm_fact'], np.float32)))
-    if not np.isfinite(preclip).all():
-        raise RuntimeError('nonfinite policy observation')
-    return raw, np.clip(preclip, -1, 1).astype(np.float32), int((np.abs(preclip)>1).sum())
-
-
-def wall_target(action, scale):
-    return (8.*np.asarray(action)+BIAS)*(.01/scale)
-
-
-def ema(eff, target, scale):
-    alpha = .9**(1./scale**2)
-    return alpha*eff + (1.-alpha)*target
-
-
-def load_policy(model):
-    # Same inference spaces as legacy_test.core.model_loader, without importing it.
-    import gymnasium as gym
-    from stable_baselines3 import PPO
-    class InferenceEnv(gym.Env):
-        observation_space = gym.spaces.Box(-1., 1., (12,), np.float32)
-        action_space = gym.spaces.Box(-1., 1., (3,), np.float32)
-        def reset(self, *, seed=None, options=None):
-            super().reset(seed=seed)
-            return np.zeros(12, np.float32), {}
-        def step(self, action):
-            return np.zeros(12, np.float32), 0., False, False, {}
-    return PPO.load(str(model), env=InferenceEnv(), device='cpu')
-
-
-def add_scene(sim, scale, moving=False, pinball=True):
-    from CelerisLab.body.motion import Translation
-    sim.add_body('circle', scaled_points(((200., 255.5),), scale)[0], 20.*scale)
-    probes = [sim.add_body('sensor', c, 5.*scale) for c in scaled_points(PROBES, scale)]
-    bodies = []
-    if pinball:
-        envelope = Translation((0., 0., -20.*scale, 20.*scale), .05/scale, shared=True) if moving else None
-        bodies = [sim.add_body('circle', c, 10.*scale, translation=envelope)
-                  for c in scaled_points(CENTRES, scale)]
-    return probes, bodies
-
-
-def capture_seed(sim):
-    """Capture both FP32 buffers at fixed geometry; never a moving-state checkpoint."""
-    import pycuda.driver as cuda
-    with sim.ctx.activate():
-        sim.stream.synchronize()
-        buffers = [np.empty_like(sim.field.ddf) for _ in range(2)]
-        for dst, src in zip(buffers, (sim.field.ddf_gpu, sim.field.temp_gpu)):
-            cuda.memcpy_dtoh(dst, src)
-    return (*buffers, sim.get_flags(), sim.stepper.step_count)
-
-
-def install_seed(sim, seed):
-    """Only a new, zero-offset instance may receive the static release state."""
-    import pycuda.driver as cuda
-    current, spare, flags, clock = seed
-    if sim.stepper.step_count != 0 or any(a.shape != sim.field.ddf.shape or a.dtype != sim.field.ddf.dtype
-                                         for a in (current, spare)):
-        raise ValueError('release transfer requires a fresh matching field')
-    if not np.array_equal(sim.get_flags(), flags):
-        raise ValueError('static/moving release flags differ')
-    for obj in sim.bodies.objects:
-        if obj.motion is not None and (obj.motion.applied != (0., 0.) or obj.motion.pending is not None):
-            raise ValueError('release transfer requires zero geometry and no target')
-    with sim.ctx.activate():
-        sim.stream.synchronize()
-        cuda.memcpy_htod(sim.field.ddf_gpu, current)
-        cuda.memcpy_htod(sim.field.temp_gpu, spare)
-    sim.stepper._step_count = clock  # one-time research initialization, not restore()
-    sim.field.invalidate_host_ddf_cache()
-    copied = capture_seed(sim)
-    if copied[3] != clock or any(not np.array_equal(a, b, equal_nan=True) for a, b in zip(copied[:3], seed[:3])):
-        raise RuntimeError('release transfer did not preserve both buffers/flags')
-    return dict(current=array_sha(copied[0]), spare=array_sha(copied[1]), flags=array_sha(copied[2]), clock=copied[3])
-
-
-def check_time(start, cap):
-    if time.monotonic()-start > cap:
-        raise TimeoutError('paired experiment wall cap')
-
-
-def warmup(sim, count, start, cap):
-    while count:
-        check_time(start, cap)
-        n = min(count, 10000)
-        sim.run(n)
-        count -= n
-
-
-def precursor(cfgpath, scale, warm, si, targets, out, start, cap):
-    from CelerisLab import Simulation
-    with Simulation(str(cfgpath)) as sim:
-        probes, _ = add_scene(sim, scale, pinball=False)
-        sim.initialize()
-        warmup(sim, warm, start, cap)
-        target = []
-        for _ in range(targets):
-            check_time(start, cap)
-            sim.run(si)
-            target.append([v*scale*78. for p in probes for v in sim.read_sensor(p)[:2]])
-        np.save(out/'target.npy', np.asarray(target, np.float32))
-        first = sim.bodies.count
-        for c in scaled_points(CENTRES, scale):
-            sim.add_body('circle', c, 10.*scale)
-        sim.sync_bodies()
-        bodies = list(range(first, first+3))
-        warmup(sim, warm-1, start, cap)
-        sim.run(1)
-        force = sum(float(sim.read_force(p)[1]) for p in bodies)
-        seed = capture_seed(sim)
-        np.savez(out/'release.npz', current=seed[0], spare=seed[1], flags=seed[2], clock=seed[3], force=force)
-        print(json.dumps(dict(event='precursor_complete', clock=seed[3], force=force,
-                              elapsed_s=time.monotonic()-start)), flush=True)
-        return seed, force
-
-
-def run_arm(name, cfgpath, scale, si, intervals, seed, initial_force, model, norm, out, start, cap):
-    from CelerisLab import Simulation
-    from CelerisLab.body.motion import MovingTables
-    cols = {k:i for i, k in enumerate(MovingTables.DIAG)}
-    diameter = 20.*scale
-    structure = Structure(2., 1.e-4/scale**2, 0., diameter)
-    arm = out/name
-    arm.mkdir()
-    rows = np.lib.format.open_memmap(arm/'steps.npy', mode='w+', dtype=np.float64,
-                                    shape=(si*intervals, len(STEP_COLUMNS)))
-    rows[:] = np.nan
-    signals = {k:np.full((intervals, width), np.nan, np.float32) for k, width in
-               [('sensors',6), ('forces',6), ('actions',3), ('observations',12)]}
-    completed = completed_intervals = clipped = 0
-    status, transfer = 'running', None
-    force = initial_force
-    obs = np.zeros(12, np.float32)
-    arm_start = time.monotonic()
-    try:
-        with Simulation(str(cfgpath)) as sim:
-            probes, bodies = add_scene(sim, scale, moving=True)
-            sim.initialize()
-            transfer = install_seed(sim, seed)
-            for i in range(intervals):
-                action = -BIAS/8 if name == 'zero' else np.asarray(model.predict(obs, deterministic=True)[0], np.float32)
-                if action.shape != (3,) or not np.isfinite(action).all() or (np.abs(action)>1).any():
-                    raise RuntimeError('invalid policy action')
-                target, eff = wall_target(action, scale), np.zeros(3)
-                sensor_sum, force_sum = np.zeros(6), np.zeros(6)
-                for k in range(si):
-                    if k % 1000 == 0:
-                        check_time(start, cap)
-                    y1, v1 = structure.candidate(force)
-                    if not np.isfinite([y1,v1]).all() or abs(y1)>diameter:
-                        raise RuntimeError('nonfinite structure or |y| > D; no retuning')
-                    eff = ema(eff, target, scale)
-                    omega = eff/(diameter/2)
-                    for p, w in zip(bodies, omega):
-                        sim.set_body(p, omega=float(w), offset=(0., y1), vy=y1-structure.y)
-                    sim.run(1, zero_obs=True, sync_obs=True)
-                    d = sim.moving_diagnostics()
-                    cme, wen = d[:,cols['cme_y']], d[:,cols['wen_y']]
-                    node = d[:,cols['cover_jy']]-d[:,cols['uncover_jy']]
-                    row = (completed+1,y1,v1,*cme,*wen,*node,
-                           d[:,cols['eq_only']].sum(),d[:,cols['no_donor']].sum(),d[:,cols['crossings']].sum(),*omega)
-                    if not np.isfinite(row).all() or row[13] != 0:
-                        raise RuntimeError('nonfinite moving diagnostic or no_donor')
-                    f = np.array([v for p in bodies for v in sim.read_force(p)[:2]])
-                    s = np.array([v for p in probes for v in sim.read_sensor(p)[:2]])
-                    if not np.isfinite([f,s]).all():
-                        raise RuntimeError('nonfinite force/sensor observation')
-                    # Policy sees packed CME as in fixed-body training; structure sees CME+Wen.
-                    force_sum += f
-                    sensor_sum += s
-                    force = float(cme.sum(dtype=np.float64)+wen.sum(dtype=np.float64))
-                    rows[completed] = row
-                    completed += 1
-                    structure.y, structure.v = y1,v1
-                raw, obs, nclip = observation(sensor_sum/si, force_sum/si, scale, norm)
-                clipped += nclip
-                for key, val in [('sensors',raw[:6]),('forces',raw[6:]),('actions',action),('observations',obs)]:
-                    signals[key][i] = val
-                completed_intervals = i+1
-                if (i+1)%10 == 0 or i+1 == intervals:
-                    rows.flush()
-                    np.savez(arm/'signals.npz', **signals)
-                    print(json.dumps(dict(event='progress', arm=name, interval=i+1, step=completed,
-                                          tU_D=completed*.01/scale/diameter, y_D=y1/diameter,
-                                          elapsed_s=time.monotonic()-arm_start)), flush=True)
-            status = 'duration_completed_not_qualified'
-    except BaseException as exc:
-        status = f'error: {type(exc).__name__}: {exc}'
-        raise
-    finally:
-        rows.flush()
-        np.savez(arm/'signals.npz', **signals)
-        report = dict(status=status, completed_steps=completed, completed_intervals=completed_intervals,
-                      elapsed_s=time.monotonic()-arm_start, release_transfer=transfer, clipped_observation_channels=clipped,
-                      columns=STEP_COLUMNS, M=structure.mass,K=structure.stiffness,fn=structure.frequency,damping=0.,
-                      max_abs_y_D=float(np.max(np.abs(rows[:completed,1]))/diameter) if completed else None)
-        (arm/'report.json').write_text(json.dumps(report,indent=2)+'\n')
-
-
-def main():
-    ap = argparse.ArgumentParser(description=__doc__)
-    ap.add_argument('--model', type=Path, required=True)
-    ap.add_argument('--norm', type=Path, required=True)
-    ap.add_argument('--out', type=Path, required=True)
-    ap.add_argument('--smoke', action='store_true', help='short plumbing only; no physical conclusion')
-    ap.add_argument('--wall-seconds', type=float, default=14400.)
-    args = ap.parse_args()
-    if not np.isfinite(args.wall_seconds) or args.wall_seconds<=0:
-        ap.error('positive finite wall cap required')
-    if sha(args.model)!=MODEL_SHA or sha(args.norm)!=NORM_SHA:
-        ap.error('model/normalizer must match frozen provenance')
-    out = args.out.resolve()
-    if out == ROOT or ROOT in out.parents:
-        ap.error('output must be outside checkout')
-    out.mkdir(parents=True, exist_ok=False)
-    norm = json.loads(args.norm.read_text())
-    model = load_policy(args.model)
-    scale = 2.
-    warm, si, targets, intervals = (32,8,2,4) if args.smoke else (2048000,3200,150,400)
-    cfgpath = out/'config.json'
-    cfgpath.write_text(json.dumps(config(40),indent=2)+'\n')
-    receipt = dict(source=subprocess.check_output(['git','-C',str(ROOT),'rev-parse','HEAD'],text=True).strip(),
-                   model_sha256=sha(args.model),norm_sha256=sha(args.norm),smoke=args.smoke,D=40,U=.005,nu=.004,
-                   warmup_each=warm,target_intervals=targets,SI=si,response_intervals=intervals,
-                   response_steps=si*intervals,response_tU_D=si*intervals*.005/40,
-                   rhs='previous native step sum CME_y+Wen_y; policy uses interval packed CME',
-                   probe_frame='lab-fixed; fine area mean * 2 * trained 78 cells',
-                   ema_native_alpha=.9**.25, structural_damping=0., columns=STEP_COLUMNS)
-    (out/'case.json').write_text(json.dumps(receipt,indent=2)+'\n')
-    start = time.monotonic()
-    status = 'running'
-    try:
-        seed, force = precursor(cfgpath,scale,warm,si,targets,out,start,args.wall_seconds)
-        for name in ('zero','controlled'):
-            run_arm(name,cfgpath,scale,si,intervals,seed,force,model,norm,out,start,args.wall_seconds)
-        status = 'smoke_completed' if args.smoke else 'pair_completed_not_qualified'
-    except BaseException as exc:
-        status = f'error: {type(exc).__name__}: {exc}'
-        raise
-    finally:
-        (out/'terminal.json').write_text(json.dumps(dict(status=status,elapsed_s=time.monotonic()-start),indent=2)+'\n')
-
-
-if __name__ == '__main__':
-    main()

research/steady_pinball/config.json

@@ -1,49 +0,0 @@
-{
-    "_doc": "Legacy geometry Re_D=50, U0=0.01, SI=800 baseline (kar_legacy_re50d_u001)",
-    "grid": {
-        "lattice_model": "D2Q9",
-        "nx": 1280,
-        "ny": 512,
-        "nz": 1
-    },
-    "physics": {
-        "data_type": "FP32",
-        "viscosity": 0.004,
-        "velocity": 0.01,
-        "rho": 1.0
-    },
-    "method": {
-        "collision": "MRT",
-        "streaming": "double_buffer",
-        "store_precision": "FP32",
-        "ddf_shifting": false,
-        "les": {
-            "enabled": false,
-            "cs": 0.16,
-            "closed_form": true
-        },
-        "trt": {
-            "magic_param": 0.1875
-        },
-        "inlet": {
-            "profile": "parabolic",
-            "scheme": "regularized",
-            "regularized_neq_damp": 1.0
-        },
-        "outlet": {
-            "mode": "neq_extrap",
-            "backflow_clamp": true,
-            "blend_alpha": 0.7,
-            "srt_neq_damp": 0.5
-        },
-        "y_wall_bc": "bounce_back",
-        "omega_guard": {
-            "min": 0.01,
-            "max": 1.99
-        }
-    },
-    "cuda": {
-        "threads_per_block": 256,
-        "compute_capability": "auto"
-    }
-}

research/steady_pinball/run.py

@@ -1,196 +0,0 @@
-"""Uncontrolled paper-geometry steady Re_D=50, one transverse assembly DOF.
-
-Three predeclared zero-damping structures; --smoke uses only 32 + 32 steps.
-See docs/steady_pinball_fiv.md for historical solver differences and new structure.
-"""
-from __future__ import annotations
-
-import argparse
-import json
-import math
-from pathlib import Path
-import subprocess
-import time
-
-import numpy as np
-
-D, U, NU = 20., .01, .004
-CENTRES = ((600., 255.5), (626., 270.5), (626., 240.5))
-PROBES = ((800., 295.5), (800., 255.5), (800., 215.5))
-WARMUP, STEPS, PERIOD = 512000, 600000, 10000
-STRUCTURES = {'Z0': (10., 1.e-4), 'M2': (2., 1.e-4), 'R2': (2., 6.e-5)}
-COLUMNS = ('step', 'y', 'v', 'cme_F', 'cme_U', 'cme_L', 'wen_F', 'wen_U', 'wen_L',
-           'node_F', 'node_U', 'node_L', 'eq_only', 'no_donor', 'crossings')
-ROOT = Path(__file__).resolve().parents[2]
-
-
-def config(diameter=D):
-    """Diffusive refinement preserves the inlet/outlet and half-grid y walls."""
-    scale = diameter / D
-    if diameter not in (20, 40, 60):
-        raise ValueError('diameter must be 20, 40 or 60')
-    cfg = json.loads(Path(__file__).with_name('config.json').read_text())
-    cfg['grid']['nx'] = round((cfg['grid']['nx'] - 1) * scale + 1)
-    cfg['grid']['ny'] = round((cfg['grid']['ny'] - 2) * scale + 2)
-    cfg['physics']['velocity'] = U / scale
-    return cfg
-
-
-def scaled_points(points, scale):
-    return tuple((scale*x, .5 + scale*(y-.5)) for x, y in points)
-
-
-class Structure:
-    """Exact damped oscillator update for a force held over dt=1; no force filter."""
-    def __init__(self, mass_ratio=10., frequency=1.e-4, zeta=0., diameter=D):
-        if not (math.isfinite(mass_ratio) and mass_ratio > 0. and
-                math.isfinite(frequency) and frequency > 0. and
-                math.isfinite(zeta) and 0. <= zeta < 1.):
-            raise ValueError('positive finite mass ratio/frequency and 0 <= zeta < 1 required')
-        self.mass_ratio, self.frequency = mass_ratio, frequency
-        self.mass = mass_ratio * 3. * math.pi * diameter * diameter / 4.
-        self.omega = 2. * math.pi * frequency
-        self.zeta = zeta
-        self.stiffness = self.mass * self.omega**2
-        self.damping = 2. * self.zeta * self.mass * self.omega
-        self.y = self.v = 0.
-        a = self.zeta * self.omega
-        wd = self.omega * math.sqrt(1. - self.zeta**2)
-        self.ec = math.exp(-a) * math.cos(wd)
-        self.es = math.exp(-a) * math.sin(wd) / wd
-        self.a = a
-
-    def candidate(self, force):
-        equilibrium = force / self.stiffness
-        z = self.y - equilibrium
-        return (equilibrium + (self.ec + self.a*self.es)*z + self.es*self.v,
-                -self.omega**2*self.es*z + (self.ec - self.a*self.es)*self.v)
-
-
-def summarize(rows, diameter=D, block_steps=10*PERIOD):
-    windows = []
-    for start in range(0, len(rows), block_steps):
-        block = rows[start:start + block_steps]
-        fy = block[:, 3:9].sum(axis=1)
-        windows.append(dict(start_step=int(block[0, 0]), end_step=int(block[-1, 0]),
-                            y_mean_D=float(block[:, 1].mean()/diameter),
-                            y_rms_D=float(np.sqrt(np.mean(block[:, 1]**2))/diameter),
-                            y_peak_D=float(np.abs(block[:, 1]).max()/diameter),
-                            fy_mean=float(fy.mean()), fy_rms=float(np.sqrt(np.mean(fy**2))),
-                            mean_power=float(np.mean(fy*block[:, 2]))))
-    return windows
-
-
-def main():
-    ap = argparse.ArgumentParser(description=__doc__)
-    ap.add_argument('--out', required=True, type=Path)
-    ap.add_argument('--fixed', action='store_true', help='same modern moving-path geometry held fixed')
-    ap.add_argument('--smoke', action='store_true', help='32+32 steps, no physical result')
-    ap.add_argument('--case', choices=STRUCTURES, default='Z0',
-                    help='predeclared structure; all cases have zero structural damping')
-    ap.add_argument('--D', type=int, choices=(20, 40, 60), default=20,
-                    help='diameter in cells; diffusive scaling, matched geometry and physical duration')
-    ap.add_argument('--wall-seconds', type=float, default=7200., help='whole-case wall-clock cap')
-    args = ap.parse_args()
-    if not math.isfinite(args.wall_seconds) or args.wall_seconds <= 0:
-        ap.error('--wall-seconds must be finite and positive')
-    scale, time_scale = args.D / D, (args.D // int(D))**2
-    velocity = U / scale
-    centres, probes = scaled_points(CENTRES, scale), scaled_points(PROBES, scale)
-    period = PERIOD*time_scale
-    out = args.out.resolve()
-    if out == ROOT or ROOT in out.parents:
-        ap.error('output must be outside the checkout')
-    out.mkdir(parents=True, exist_ok=False)
-    cfg = config(args.D)
-    (out/'config.json').write_text(json.dumps(cfg, indent=2)+'\n')
-    source = subprocess.check_output(['git', '-C', str(ROOT), 'rev-parse', 'HEAD'], text=True).strip()
-    mass_ratio, frequency = STRUCTURES[args.case]
-    s = Structure(mass_ratio, frequency/time_scale, zeta=0., diameter=args.D)
-    warmup, count = (32, 32) if args.smoke else (WARMUP*time_scale, STEPS*time_scale)
-    rows = np.lib.format.open_memmap(out/'steps.npy', mode='w+', dtype=np.float64,
-                                     shape=(count, len(COLUMNS)))
-    rows[:] = np.nan
-    from CelerisLab import Simulation
-    from CelerisLab.body.motion import MovingTables, Translation
-    names = MovingTables.DIAG
-    col = {k: names.index(k) for k in names}
-    status, completed, f_last = 'running', 0, 0.
-    started = time.monotonic()
-    report = dict(source=source, case=args.case, fixed=args.fixed, smoke=args.smoke, columns=COLUMNS,
-                  structure=dict(mass=s.mass, stiffness=s.stiffness, damping=s.damping,
-                                 mass_ratio_three_disks=s.mass_ratio,
-                                 zeta=s.zeta, fn=s.frequency, Tn=1./s.frequency, y0=0., v0=0.),
-                  warmup_steps=warmup, requested_steps=count, dt=1., D=args.D, U=velocity, nu=NU,
-                  relative_to_D20=dict(dx=1/scale, dt=1/time_scale),
-                  centres=centres, probes=probes, wall_planes=(.5, cfg['grid']['ny']-1.5),
-                  wall_cap_seconds=args.wall_seconds,
-                  duration_Tn=count*s.frequency, duration_tU_D=count*velocity/args.D,
-                  summary_block_steps=10*period,
-                  rhs='sum of three instantaneous CME_y + Wen_y, one-step lag, no filtering')
-    try:
-        with Simulation(str(out/'config.json')) as sim:
-            # Match Legacy object order; probes remain passive and fixed in the lab.
-            for c in probes:
-                sim.add_body('sensor', c, 5.*scale)
-            envelope = Translation((0., 0., -args.D, args.D), .05/scale, shared=True)
-            bodies = [sim.add_body('circle', c, args.D/2, translation=envelope) for c in centres]
-            sim.initialize()
-            # At release obtain the last instantaneous force, not a warmup average.
-            remaining = warmup - 1
-            while remaining:
-                if time.monotonic()-started > args.wall_seconds:
-                    raise TimeoutError('whole-case wall cap during warmup')
-                chunk = min(10000, remaining)
-                sim.run(chunk)
-                remaining -= chunk
-            sim.run(1)
-            d = sim.moving_diagnostics()
-            f_last = float(d[:, col['cme_y']].sum(dtype=np.float64) + d[:, col['wen_y']].sum(dtype=np.float64))
-            report['warmup_elapsed_s'] = time.monotonic()-started
-            print(json.dumps(dict(event='release', **report)), flush=True)
-            for n in range(count):
-                if n % 1000 == 0 and time.monotonic()-started > args.wall_seconds:
-                    raise TimeoutError('whole-case wall cap during response')
-                y1, v1 = (0., 0.) if args.fixed else s.candidate(f_last)
-                if not all(map(math.isfinite, (y1, v1))) or abs(y1) > args.D:
-                    status = 'stopped_nonfinite_or_travel_bound'
-                    break
-                if not args.fixed:
-                    for bid in bodies:
-                        sim.set_body(bid, offset=(0., y1), vy=y1-s.y)
-                sim.run(1)
-                d = sim.moving_diagnostics()
-                cme, wen = d[:, col['cme_y']], d[:, col['wen_y']]
-                node = d[:, col['cover_jy']] - d[:, col['uncover_jy']]
-                row = (n+1, y1, v1, *cme, *wen, *node,
-                       d[:, col['eq_only']].sum(), d[:, col['no_donor']].sum(), d[:, col['crossings']].sum())
-                if not np.isfinite(row).all() or row[-2] != 0:
-                    status = 'stopped_nonfinite_or_no_donor'
-                    break
-                rows[n] = row
-                completed = n+1
-                s.y, s.v = y1, v1
-                f_last = float(cme.sum(dtype=np.float64)+wen.sum(dtype=np.float64))
-                if completed % period == 0:
-                    rows.flush()
-                    print(json.dumps(dict(event='progress', step=completed, t_Tn=completed*s.frequency,
-                                          y_D=s.y/args.D, elapsed_s=time.monotonic()-started)), flush=True)
-            else:
-                status = 'smoke_completed' if args.smoke else 'duration_completed_not_qualified'
-    except BaseException as exc:
-        status = f'error: {type(exc).__name__}: {exc}'
-        raise
-    finally:
-        rows.flush()
-        report.update(status=status, completed_steps=completed, elapsed_s=time.monotonic()-started,
-                      windows=summarize(rows[:completed], args.D, 10*period),
-                      totals={key: float(rows[:completed, i].sum()) for key, i in
-                              [('eq_only', 12), ('no_donor', 13), ('crossings', 14)]},
-                      limitation='Uncontrolled development response only. No automatic settling, grid convergence, control or historical-solver equivalence claim.')
-        (out/'report.json').write_text(json.dumps(report, indent=2)+'\n')
-        print(json.dumps(report), flush=True)
-
-
-if __name__ == '__main__':
-    main()

research/viv_re150/README.md

@@ -1,23 +0,0 @@
-# Research VIV driver — coupling contract (not production)
-
-`run.py` couples a 1-DOF undamped spring–mass (`viv.py`) to the production
-moving-circle API. Everything specific to fluid–structure coupling lives here,
-not in `src/`.
-
-- Per step: known (y_n, v_n) and the last completed force F_last → exact
-  harmonic candidate (y_{n+1}, v_{n+1}) → `set_body(offset=(0, y_{n+1}),
-  vy=y_{n+1} − y_n)` (interval wall velocity, lattice dt = 1) → `run(1)` →
-  commit y, v and F_last only after the step succeeded. One step of explicit
-  force lag (weak coupling); no sub-iteration.
-- Structural RHS = CME + Wen (y), read from `moving_diagnostics()` by the
-  names in `MovingTables.DIAG`; raw CME, the `obs` force and node terms are
-  logged as diagnostics. This is a stage choice, not a validated force law.
-- Production guarantees used: fail-closed target commit (synchronized step,
-  `no_donor == 0`), input rejection before mutation, a failed device step
-  marks the Simulation failed.
-- Not provided, by design: device-resident structure state or batched
-  (multi-step) coupling, strong/sub-iterated coupling (would need state
-  rollback), more than one DOF. These are future work and would be a separate
-  execution path, not an abstraction over this driver.
-- Recorded result and limits: `docs/validation/moving_bodies_stage1.md`;
-  predeclaration: `docs/validation/viv_re150_predeclare.md`.

research/viv_re150/run.py

@@ -1,136 +0,0 @@
-"""One-shot predeclared VIV run (docs/validation/viv_re150_predeclare.md).
-
-Re 150, U* = 5, m/(rho D^2) = 2, zeta = 0, D = 40 on a nominal 75 D x 60 D
-lattice (uniform inlet, NEQ outlet, free-slip y walls). The cylinder is at
-(30 D, (ny - 1)/2); y-wall planes are .5 and ny - 1.5 in lattice coordinates.
-Structural RHS = CME + Wen (diagnostics: raw CME, node terms).
-Research driver only: Simulation API, no production change.
-
-    PYTHONPATH=src python research/viv_re150/run.py --out /path/outside/checkout
-"""
-from __future__ import annotations
-
-import argparse
-import json
-import math
-import os
-import tempfile
-
-import numpy as np
-
-import viv
-
-D, U = 40, 0.04
-TEMPLATE = os.path.join(os.path.dirname(os.path.abspath(__file__)), "..", "..", "src",
-                        "CelerisLab", "configs", "config_lbm.json")
-
-
-def config(D=D, U=U):
-    nx, ny = 75 * D, 60 * D
-    with open(TEMPLATE) as fh:
-        cfg = json.load(fh)
-    cfg["grid"].update(lattice_model="D2Q9", nx=nx, ny=ny, nz=1)
-    cfg["physics"].update(data_type="FP32", viscosity=U * D / viv.RE, velocity=U, rho=1.0)
-    cfg["method"].update(collision="MRT", streaming="double_buffer", store_precision="FP32",
-                         ddf_shifting=False, y_wall_bc="free_slip")
-    cfg["method"]["les"]["enabled"] = False
-    cfg["method"]["inlet"]["profile"] = "uniform"
-    return cfg, nx, ny
-
-
-def main():
-    ap = argparse.ArgumentParser()
-    ap.add_argument("--out", required=True)
-    ap.add_argument("--D", type=int, default=D)
-    ap.add_argument("--smoke", action="store_true",
-                    help="plumbing smoke only: exactly --steps steps (<= 64), never scored")
-    ap.add_argument("--steps", type=int, default=0)
-    args = ap.parse_args()
-    if args.smoke != bool(args.steps) or args.steps > 64 or args.steps < 0:
-        raise SystemExit("--smoke requires --steps N with 1 <= N <= 64 (and only with --smoke)")
-    if args.D != D and not args.smoke:
-        raise SystemExit("the physical case is predeclared at D = 40")
-    if os.path.realpath(args.out).startswith(os.path.realpath(os.path.join(os.path.dirname(__file__), "..", ".."))):
-        raise SystemExit("--out must be outside the checkout")
-    os.makedirs(args.out, exist_ok=True)
-    for name in ("report.json", "steps.npy"):  # never overwrite earlier evidence
-        if os.path.exists(os.path.join(args.out, name)):
-            raise SystemExit(f"{args.out} already holds {name}; use a fresh output directory")
-    Dn = args.D
-    cfg, nx, ny = config(Dn)
-    s, cyc = viv.Structure(Dn, U), viv.Cycles(Dn)
-    T_n = 1.0 / s.f_n
-    step_cap, n_seed = int(round(viv.STEP_CAP_TN * T_n)), int(round(viv.SEED_TN * T_n))
-    quiet = int(round(5 * T_n))
-    if args.smoke:
-        step_cap = args.steps
-    centre = (30.0 * Dn, 0.5 * (ny - 1))
-
-    from CelerisLab.body.motion import MovingTables, Translation
-    col = {k: MovingTables.DIAG.index(k) for k in ("cme_y", "wen_y", "cover_jy", "uncover_jy", "no_donor")}
-    from CelerisLab.simulation import Simulation
-    with tempfile.NamedTemporaryFile("w", suffix=".json", delete=False) as fh:
-        json.dump(cfg, fh)
-    sim = Simulation(fh.name)
-    rows, status, seed_step, f_last = [], "running", None, 0.0
-    try:
-        body = sim.add_body("circle", centre, 0.5 * Dn,
-                            translation=Translation((0.0, 0.0, -1.5 * Dn, 1.5 * Dn), 0.5))
-        sim.initialize()
-        for n in range(step_cap):
-            # rows[k] holds the state y_{k+1}; the declared window is y_t, t in [n_seed - 5 T_n, n_seed)
-            if not args.smoke and n == n_seed and \
-                    max(abs(r[1]) for r in rows[n_seed - quiet - 1:n_seed - 1]) < viv.ELIGIBLE * Dn:
-                s.v += s.seed_velocity(Dn)         # after the quiet check, before the update
-                seed_step = n
-                cyc.discard_current()
-                cyc.reset_proof()
-            y1, v1 = s.candidate(f_last)
-            if not (math.isfinite(y1) and math.isfinite(v1)) or abs(y1) > viv.Y_LIMIT * Dn:
-                status = "fail_bound_or_nonfinite"
-                break
-            try:
-                sim.set_body(body, offset=(0.0, y1), vy=y1 - s.y)
-            except ValueError as exc:              # input rejection: stop, no retry
-                status = f"rejected: {exc}"
-                break
-            sim.run(1)                             # device failures raise and mark the Simulation failed
-            d = sim.moving_diagnostics()[0]
-            f_obs = sim.read_force(body)[1]
-            f_rhs = float(d[col["cme_y"]] + d[col["wen_y"]])   # CME + Wen (y)
-            row = (n, y1, v1, f_rhs, float(d[col["cme_y"]]), float(d[col["wen_y"]]), float(f_obs),
-                   float(d[col["cover_jy"]] - d[col["uncover_jy"]]), float(d[col["no_donor"]]))
-            if not viv.finite(row):                # every recorded output, not only the RHS
-                status = "fail_nonfinite_output"
-                break
-            s.y, s.v, f_last = y1, v1, f_rhs       # commit only after a successful step
-            rows.append(row)
-            if args.smoke:
-                continue                           # no settle / score in the plumbing smoke
-            if cyc.update(s.y) == "scored":
-                status = "scored"
-                break
-            if cyc.counted >= viv.CYCLE_CAP:
-                status = "timeout_response_cycles"
-                break
-        else:
-            status = ("smoke_ok" if all(r[8] == 0.0 for r in rows) else "smoke_no_donor") \
-                if args.smoke else "timeout_native_steps"
-    except BaseException as exc:
-        status = f"error: {exc!r}"
-        raise
-    finally:
-        np.save(os.path.join(args.out, "steps.npy"), np.asarray(rows, float))
-        report = dict(status=status, smoke=args.smoke, D=Dn, steps=len(rows), t_U_over_D=len(rows) * U / Dn, T_n=T_n,
-                      seed_step=seed_step, counted_cycles=cyc.counted, cycles=cyc.log,
-                      columns=["n", "y", "v", "F_rhs_cme_wen", "F_cme", "F_wen", "F_obs",
-                               "node_cover_minus_uncover_y", "no_donor"])
-        if status == "scored" and not args.smoke:
-            report["score"] = viv.score(cyc.window)
-        with open(os.path.join(args.out, "report.json"), "w") as fh:
-            json.dump(report, fh, indent=1)
-        sim.close()
-
-
-if __name__ == "__main__":
-    main()

research/viv_re150/viv.py

@@ -1,126 +0,0 @@
-"""Pure logic of the predeclared Re 150 free transverse VIV case (stdlib only).
-
-Contract: docs/validation/viv_re150_predeclare.md. Oscillator update with a
-constant force over one lattice step, response-cycle tracking with fixed y = 0
-crossings, eligibility, 10-cycle blocks, settling/scoring with deterministic
-restart, and the conditional seed.
-"""
-from __future__ import annotations
-
-import math
-
-RE, U_STAR, MASS_NUMBER = 150.0, 5.0, 2.0      # m/(rho D^2) = 2 -> m* = 8/pi
-TARGET_A, BAND = 0.520, 0.10                   # Qin §4.5 maximum amplitude, ±10 %
-ELIGIBLE, BLOCK, LAST5 = 0.01, 10, 5           # in D; cycles; cycles
-WINDOW_TOL, LAST5_TOL = 0.02, 0.01
-CYCLE_CAP, STEP_CAP_TN, SEED_TN, Y_LIMIT = 150, 200, 40, 1.0
-
-
-def finite(values):
-    """True iff every recorded value is finite (fail-closed output check)."""
-    return all(math.isfinite(float(v)) for v in values)
-
-
-class Structure:
-    """Undamped spring-mass, exact harmonic update over dt = 1 with constant force."""
-
-    def __init__(self, D, u):
-        self.m = MASS_NUMBER * D * D           # lattice rho = 1
-        self.f_n = u / (U_STAR * D)
-        self.w = 2.0 * math.pi * self.f_n
-        self.k = self.m * self.w * self.w
-        self.y = self.v = 0.0
-
-    def candidate(self, force):
-        ye = force / self.k
-        c, s = math.cos(self.w), math.sin(self.w)
-        return (ye + (self.y - ye) * c + self.v / self.w * s,
-                -(self.y - ye) * self.w * s + self.v * c)
-
-    def seed_velocity(self, D):
-        return self.w * ELIGIBLE * D           # amplitude ~ .01 D
-
-
-class Cycles:
-    """Upward y = 0 crossings, eligibility, blocks, settle/score with restart."""
-
-    def __init__(self, D):
-        self.D = D
-        self.reset_proof()
-        self.counted = 0
-        self.log = []                          # one dict per completed cycle
-        self._cur = None
-        self._prev = 0.0
-        self._since = 0
-
-    def reset_proof(self):
-        self.amps = []                         # eligible amplitudes since proof start
-        self.blocks = []                       # block means
-        self.settled_at = None                 # block index where R held
-        self.window = None                     # completed scoring cycles (list of dicts)
-
-    def discard_current(self):
-        self._cur, self._since = None, 0
-
-    def rule(self, k):
-        """R(k): block-mean change ≤ 2 % and last-five spread ≤ 1 %."""
-        if k < 1:
-            return False
-        w0, w1 = self.blocks[k - 1], self.blocks[k]
-        last = self.amps[(k + 1) * BLOCK - LAST5:(k + 1) * BLOCK]
-        a5 = sum(last) / LAST5
-        return abs(w1 - w0) / w0 <= WINDOW_TOL and max(abs(a - a5) for a in last) / a5 <= LAST5_TOL
-
-    def update(self, y):
-        """Feed y after a committed step; returns 'scored' when a stable window completes."""
-        out = None
-        crossing = self._prev < 0.0 <= y and self._since >= 2
-        if crossing:
-            if self._cur is not None:
-                out = self._close()
-            self._cur, self._since = dict(ymax=y, ymin=y, ysum=0.0, n=0), 0
-        if self._cur is not None:
-            c = self._cur
-            c["ymax"], c["ymin"] = max(c["ymax"], y), min(c["ymin"], y)
-            c["ysum"] += y
-            c["n"] += 1
-        self._since += 1
-        self._prev = y
-        return out
-
-    def _close(self):
-        c = self._cur
-        a = 0.5 * (c["ymax"] - c["ymin"]) / self.D
-        cyc = dict(ymax=c["ymax"] / self.D, ymin=c["ymin"] / self.D,
-                   offset=c["ysum"] / c["n"] / self.D, amp=a, steps=c["n"], eligible=a >= ELIGIBLE)
-        self.log.append(cyc)
-        if not cyc["eligible"]:
-            return None
-        self.counted += 1
-        self.amps.append(a)
-        if self.settled_at is not None:
-            self.window.append(cyc)
-        if len(self.amps) % BLOCK:
-            return None
-        self.blocks.append(sum(self.amps[-BLOCK:]) / BLOCK)
-        k = len(self.blocks) - 1
-        if self.settled_at is None:
-            if self.rule(k):
-                self.settled_at, self.window = k, []
-            return None
-        if not self.rule(k):                   # scoring block failed: restart from it
-            amps, blocks = self.amps[-BLOCK:], self.blocks[-1:]
-            self.reset_proof()
-            self.amps, self.blocks = amps, blocks
-            return None
-        return "scored" if k == self.settled_at + 2 else None
-
-
-def score(window):
-    """Target metric and reported quantities over the 20 scoring cycles."""
-    a_max = max(max(abs(c["ymax"]), abs(c["ymin"])) for c in window)
-    return dict(A_max=a_max, mean_amp=sum(c["amp"] for c in window) / len(window),
-                ymax=max(c["ymax"] for c in window), ymin=min(c["ymin"] for c in window),
-                offset=sum(c["offset"] for c in window) / len(window),
-                T_resp=sum(c["steps"] for c in window) / len(window),
-                within_band=abs(a_max - TARGET_A) <= BAND * TARGET_A)

src/CelerisLab/body/motion.py

@@ -1,10 +1,10 @@
 # CelerisLab/body/motion.py
-"""Translation targets and device tables (dense double buffer, D2Q9 only).
+"""Host state of a translating circle (dense double buffer, D2Q9 only).
 
 Contract: docs/moving_bodies.md, sections 4a, 5 and 7. The applied geometry
 (last successfully committed offset) and an optional pending target are two
-separate facts; centres are always ``base + offset``. MovingCircle owns host
-targets, MovingTables owns device records, and Simulation commits completed steps.
+separate facts; centres are always ``base + offset``. Nothing here touches
+the device: the caller supplies upload/step/synchronize callables.
 """
 from __future__ import annotations
 
@@ -14,11 +14,14 @@ from typing import Callable, Optional, Tuple
 
 MAX_STEP = 0.5     # Euclidean centre displacement per step (lattice cells)
 BAND_MARGIN = 2    # cells added around the swept circle AABB
-SHARED_CLEARANCE = 4.0  # > two diagonal links + MAX_STEP; docs/steady_pinball_fiv.md
 R_MIN = 4.0        # smallest radius covered by the donor enumeration
 
 Vec = Tuple[float, float]
 
+# D2Q9 non-rest directions, paired order of lbm/descriptors.
+_CX = (1, -1, 0, 0, 1, -1, 1, -1)
+_CY = (0, 0, 1, -1, 1, -1, -1, 1)
+
 
 def _vec(value, name: str) -> Vec:
     x, y = (float(v) for v in value)
@@ -32,7 +35,6 @@ class Translation:
     """Declared motion envelope: offset box (x_min, x_max, y_min, y_max) and speed bound."""
     offset_box: Tuple[float, float, float, float]
     max_speed: float
-    shared: bool = False  # same envelope instance: synchronous transverse motion
 
     def __post_init__(self):
         box = tuple(float(v) for v in self.offset_box)
@@ -43,29 +45,10 @@ class Translation:
             raise ValueError("offset_box must contain the zero offset")
         if not 0.0 < speed <= MAX_STEP:
             raise ValueError(f"max_speed must satisfy 0 < max_speed <= {MAX_STEP}")
-        if self.shared and box[:2] != (0.0, 0.0):
-            raise ValueError("shared translation is transverse only (x offsets must be zero)")
         object.__setattr__(self, "offset_box", box)
         object.__setattr__(self, "max_speed", speed)
 
 
-def validate_shared_translations(circles):
-    """Check common old/target offsets and wall velocities before device work.
-
-    Per-body setters may stage members in any order. Envelope identity (not
-    value equality) defines a group; a missing target means hold at applied.
-    """
-    groups = {}
-    for motion in circles:
-        if not motion.translation.shared:
-            continue
-        target = motion.pending if motion.pending is not None else (motion.applied, (0.0, 0.0))
-        state = (motion.applied, target)
-        key = id(motion.translation)
-        if groups.setdefault(key, state) != state:
-            raise ValueError("shared translation needs identical applied/target offsets and velocities")
-
-
 class MovingCircle:
     """Applied offset, pending target and the fail-closed commit of one circle."""
 
@@ -93,8 +76,6 @@ class MovingCircle:
         x0, x1, y0, y1 = self.translation.offset_box
         if not (x0 <= offset[0] <= x1 and y0 <= offset[1] <= y1):
             raise ValueError(f"offset {offset} outside declared box {self.translation.offset_box}")
-        if self.translation.shared and velocity[0] != 0.0:
-            raise ValueError("shared translation needs zero x velocity")
         step = math.hypot(offset[0] - self.applied[0], offset[1] - self.applied[1])
         if step > MAX_STEP:
             raise ValueError(f"per-step displacement {step} exceeds {MAX_STEP}")
@@ -117,6 +98,23 @@ class MovingCircle:
             offset, velocity = self.applied, (0.0, 0.0)
         return self.centre(self.applied), self.centre(offset), velocity
 
+    def advance(self, upload: Callable, step: Callable, synchronize: Callable) -> None:
+        """Upload the record, run one step and commit only after a successful sync.
+
+        Any exception after the upload is attempted leaves device geometry
+        unknown: the circle is marked failed, never reports applied state again,
+        and the owner's ``on_failure`` hook is called.
+        """
+        record = self.record()
+        try:
+            upload(record)
+            step()
+            synchronize()
+        except BaseException as exc:
+            self.fail(exc)
+            raise
+        self.commit()
+
     def commit(self) -> None:
         """Applied := pending offset (caller has synchronized a successful step)."""
         if self.pending is not None:
@@ -140,6 +138,43 @@ class MovingCircle:
             raise RuntimeError("moving circle state is unknown after a failed step")
 
 
+def _inside(x: int, y: int, c: Vec, r: float) -> bool:
+    return (x - c[0]) ** 2 + (y - c[1]) ** 2 < r * r
+
+
+def empty_donor_cells(c_old: Vec, c_new: Vec, radius: float):
+    """Fresh cells (inside c_old, outside c_new) whose donor set V(x) is empty."""
+    r = radius
+    xs = range(math.floor(min(c_old[0], c_new[0]) - r) - 1, math.ceil(max(c_old[0], c_new[0]) + r) + 2)
+    ys = range(math.floor(min(c_old[1], c_new[1]) - r) - 1, math.ceil(max(c_old[1], c_new[1]) + r) + 2)
+    empty = []
+    for x in xs:
+        for y in ys:
+            if not _inside(x, y, c_old, r) or _inside(x, y, c_new, r):
+                continue
+            if not any(not _inside(x + cx, y + cy, c_old, r) and not _inside(x + cx, y + cy, c_new, r)
+                       for cx, cy in zip(_CX, _CY)):
+                empty.append((x, y))
+    return empty
+
+
+def enumerate_donor_coverage(radius: float, positions: int = 8, directions: int = 16) -> int:
+    """Count empty-donor fresh cells over sub-cell centres and moves of MAX_STEP.
+
+    Evidence for the declared bounds (radius >= R_MIN, |dc|_2 <= MAX_STEP),
+    not a proof; the device keeps the ``no_donor`` counter.
+    """
+    count = 0
+    for i in range(positions):
+        for j in range(positions):
+            c_old = (i / positions, j / positions)
+            for k in range(directions):
+                a = 2.0 * math.pi * k / directions
+                c_new = (c_old[0] + MAX_STEP * math.cos(a), c_old[1] + MAX_STEP * math.sin(a))
+                count += len(empty_donor_cells(c_old, c_new, radius))
+    return count
+
+
 class MovingTables:
     """Device tables of the translating circles for ``MovingCircleCells``/``Links``.
 

src/CelerisLab/configs/CONFIG.md

@@ -86,20 +86,6 @@ step/one_step_*.cu         → kernel 编排
 - 转速 `omega` 属于运行时状态，可在步进期间更新；该更新不改变 `N_OBJS` 或 `OBS_*` 内存布局，因此**不需要**因 `omega` 变化触发重新编译。
 - 力矩观测从 `obs` 的 torque segment 读取；force / torque / sensor 段统一由 `config_obs.h` 宏描述。
 
-### 外边界能力（Outer boundaries, dense `Simulation`）
-
-The dense path supports one channel package, not four independently
-selectable sides:
-- left x = 0: velocity inlet (`method.inlet.scheme`, `profile`, `physics.velocity`);
-- right x = nx−1: outlet (`method.outlet.mode`; `neq_extrap` holds rho = 1 with
-  a `max(u, 0)` backflow clamp when `backflow_clamp` is set);
-- bottom and top: one shared `y_wall_bc` (`bounce_back` halfway or
-  `free_slip`); corners are walls.
-`y_wall_bc = "on_site_velocity"` switches to x-periodic with on-site y planes
-and requires an object-free domain. There is no x/y-periodic or symmetry
-option for domains with bodies; adding outer BC types is a separate design
-question, not covered by these keys.
-
 ### 稳定性默认窗口（Stability defaults）
 
 - 默认 `method.omega_guard = {min: 0.01, max: 1.99}`，用于约束碰撞频率与 LES 有效粘度路径。

src/CelerisLab/lbm/stepper.py

@@ -21,7 +21,7 @@ class LBMStepper:
 
         self._esopull = (cfg.streaming == "esopull")
         # Set by the owner when a step would be wrong (translating circles
-        # without attached moving tables, a pending target, or a failed step).
+        # excluded from the packed links before the moving kernels exist).
         self.blocked: str | None = None
         self.moving = None  # MovingTables attached by the owner (translating circles)
 
@@ -39,10 +39,8 @@ class LBMStepper:
         self.apply_esopull_curved_fn = module.get_function("ApplyEsoPullCurvedKernel")
         self.sensor_fn = module.get_function("SensorKernel")
         self.force_region_fn = module.get_function("ForceRegionKernel")
-        # Moving-circle kernels exist only in D2Q9 double-buffer modules.
-        moving = not self._esopull and cfg.is_d2q9
-        self.moving_fn = module.get_function("MovingCircleLinks") if moving else None
-        self.moving_cells_fn = module.get_function("MovingCircleCells") if moving else None
+        self.moving_fn = None if self._esopull else module.get_function("MovingCircleLinks")
+        self.moving_cells_fn = None if self._esopull else module.get_function("MovingCircleCells")
 
         tpb = cfg.threads_per_block
         self.block = (tpb, 1, 1)

src/CelerisLab/simulation.py

@@ -28,7 +28,7 @@ from .cuda.context import CudaContext, context_bound
 from .cuda import compiler
 from .lbm.descriptors import FLUID
 
-# Translating circles step only through their moving tables (attached at initialize).
+# Translating circles step only through their moving tables (fixed centre in S2a).
 PENDING_BLOCKED = "a pending translation target is advanced only by Simulation.run(1)"
 MOVING_BLOCKED = ("translating circles need the moving kernels and their tables (attached "
                   "at initialize); "
@@ -122,9 +122,8 @@ class Simulation:
                 D2Q9/FP32/unshifted/DB only; set before initialization or stage
                 a new body. No runtime motion or amplitude setter.
             translation: ``body.motion.Translation`` declaring a translating
-                circle (before initialize only; docs/moving_bodies.md).
-                Positive-step runs are rejected until ``initialize()`` has
-                attached its moving tables.
+                circle (before initialize only; docs/moving_bodies.md). Until
+                the moving kernels exist, positive-step runs are rejected.
             **kwargs: passed to the geometry constructor.
 
         Returns:
@@ -242,8 +241,7 @@ class Simulation:
         self._require_usable()
         tables = self.stepper.moving
         if tables is None:
-            from .body.motion import MovingTables
-            return np.zeros((0, MovingTables.DIAG_FLOATS), np.float32)
+            return np.zeros((0, 6), np.float32)
         self.stream.synchronize()
         return tables.download_diagnostics()
 
@@ -259,8 +257,6 @@ class Simulation:
         moving = self._moving_bodies()
         if not moving:
             return
-        from .body.motion import SHARED_CLEARANCE, validate_shared_translations
-        validate_shared_translations([obj.motion for obj in moving])
         cfg = self.lbm_cfg
         if (not cfg.is_d2q9 or cfg.streaming != "double_buffer" or cfg.ddf_shifting
                 or cfg.store_precision != "FP32"):
@@ -279,13 +275,6 @@ class Simulation:
                 if other is obj:
                     continue
                 (cx, cy), r = other.center[:2], float(other.radius)
-                if (other.motion is not None and obj.motion.translation.shared
-                        and obj.motion.translation is other.motion.translation):
-                    # Whole envelopes may overlap; simultaneous local stencils may not.
-                    gap = np.hypot(obj.center[0] - cx, obj.center[1] - cy) - obj.radius - r
-                    if gap <= SHARED_CLEARANCE:
-                        raise ValueError("shared translation needs surface clearance > 4 cells")
-                    continue
                 if other.motion is not None:
                     ox0, ox1, oy0, oy1 = other.motion.band()
                 else:
@@ -371,11 +360,8 @@ class Simulation:
         Args:
             id: body_id from add_body().
             omega: rotation speed (lattice units).  ``None`` = no change.
-            vx: translation velocity x. For a translating circle: the
-                interval wall velocity of the target, only together with
-                ``offset``; otherwise stored in the body state (not applied
-                to stationary walls).  ``None`` = no change.
-            vy: translation velocity y; same rules as ``vx``.
+            vx: translation velocity x (future).  ``None`` = no change.
+            vy: translation velocity y (future).  ``None`` = no change.
             offset: target centre offset of a translating circle; with vx/vy
                 (default 0) it replaces the pending target after validation
                 against the applied offset (docs/moving_bodies.md, 4a). Only
@@ -728,9 +714,6 @@ class Simulation:
         if steps < 0 or checkpoint_interval < 0:
             raise ValueError("steps and checkpoint_interval must be nonnegative")
         moving = self._moving_bodies()
-        if steps > 0 and moving:
-            from .body.motion import validate_shared_translations
-            validate_shared_translations([obj.motion for obj in moving])
         if steps > 0 and moving and self.stepper.moving is None:
             raise RuntimeError(MOVING_BLOCKED)
         if moving and checkpoint_interval > 0:
@@ -798,7 +781,6 @@ class Simulation:
         (docs/moving_bodies.md 4a, 5). Any failure leaves the Simulation unusable."""
         tables = self.stepper.moving
         circles = [(obj.motion, obj.obj_id) for obj in self._moving_bodies()]
-        pending = any(motion.pending is not None for motion, _ in circles)
         try:
             advancing = tables.upload_records(circles, stream)
             self.stepper._step(steps, action_gpu=self.bodies.action_gpu,
@@ -811,12 +793,10 @@ class Simulation:
                 no_donor = tables.download_diagnostics()[:, tables.DIAG.index("no_donor")]
                 if np.any(no_donor > 0):
                     raise RuntimeError("translating circle refill found no donor cell")
-            if pending:  # a target equal to the applied offset is consumed as a hold step
                 for motion, _ in circles:
                     motion.commit()
-                if advancing:
-                    tables.upload_records(circles, stream)  # first hold: old = new = applied, u = 0
-                    stream.synchronize()
+                tables.upload_records(circles, stream)  # first hold: old = new = applied, u = 0
+                stream.synchronize()
                 self._attach_moving()
         except BaseException as exc:
             for motion, _ in circles:  # device geometry/state unknown after any failure

tests/integration/test_shared_translation_gpu.py

@@ -1,62 +0,0 @@
-"""Small serial GPU gates for shared transverse circles; no physical benchmark."""
-import json
-from pathlib import Path
-
-import numpy as np
-
-from CelerisLab import Simulation
-from CelerisLab.body.motion import MovingTables, Translation
-
-CENTRES = ((70., 79.5), (96., 94.5), (96., 64.5))
-
-
-def simulate(tmp_path, *, moving, offsets, reverse=False):
-    config = json.loads((Path(__file__).resolve().parents[2]/'research/steady_pinball/config.json').read_text())
-    config['grid'].update(nx=192, ny=160)
-    p = tmp_path/'config.json'
-    p.write_text(json.dumps(config))
-    with Simulation(str(p)) as sim:
-        envelope = Translation((0., 0., -20., 20.), .5, shared=True)
-        centres = list(reversed(CENTRES)) if reverse else list(CENTRES)
-        ids = [sim.add_body('circle', c, 10., translation=envelope if moving else None) for c in centres]
-        sim.initialize()
-        previous = 0.
-        crossings = 0.
-        for y in offsets:
-            if moving:
-                for bid in ids:
-                    sim.set_body(bid, offset=(0., float(y)), vy=float(y-previous))
-            sim.run(1)
-            if moving:
-                diag = sim.moving_diagnostics()
-                assert np.isfinite(diag).all()
-                assert np.all(diag[:, MovingTables.DIAG.index('no_donor')] == 0)
-                crossings += diag[:, MovingTables.DIAG.index('crossings')].sum()
-            previous = y
-        forces = np.array([sim.read_force(bid) for bid in ids])
-        if reverse:
-            forces = forces[::-1]
-        return sim.get_ddf(), sim.get_flags(), forces, crossings
-
-
-def test_fixed_vs_shared_hold(tmp_path):
-    fixed = simulate(tmp_path, moving=False, offsets=[0.]*32)
-    held = simulate(tmp_path, moving=True, offsets=[0.]*32)
-    assert np.array_equal(fixed[0], held[0], equal_nan=True)
-    assert np.array_equal(fixed[1], held[1])
-    # FP32 atomic force reduction order only; populations remain exactly equal.
-    np.testing.assert_allclose(fixed[2], held[2], rtol=0., atol=1e-4)
-    assert held[3] == 0
-
-
-def test_common_motion_member_order_has_no_population_effect(tmp_path):
-    # MAX_STEP=.5 is a geometric bound, not a low-Mach stability guarantee.
-    # Keep the complete +/-D excursion at wall speed .01, equal to mean inflow.
-    offsets = np.concatenate((np.arange(1, 2001), np.arange(1999, -2001, -1),
-                              np.arange(-1999, 1))) * .01
-    forward = simulate(tmp_path, moving=True, offsets=offsets)
-    reverse = simulate(tmp_path, moving=True, offsets=offsets, reverse=True)
-    assert forward[3] > 0 and forward[3] == reverse[3]
-    assert np.array_equal(forward[0], reverse[0], equal_nan=True)
-    assert np.array_equal(forward[1], reverse[1])
-    np.testing.assert_allclose(forward[2], reverse[2], rtol=0., atol=1e-4)

tests/unit/test_duetsch_protocol.py

@@ -1,223 +0,0 @@
-"""CPU tests of the Dütsch protocol arithmetic (docs/validation/duetsch_re100_kc5_protocol.md §6a)."""
-import importlib.util
-import math
-from pathlib import Path
-
-import numpy as np
-import pytest
-
-_spec = importlib.util.spec_from_file_location(
-    "duetsch_protocol", Path(__file__).resolve().parents[2] / "research/duetsch_re100_kc5/protocol.py")
-p = importlib.util.module_from_spec(_spec)
-_spec.loader.exec_module(p)
-
-def _load(rel, name):
-    """Load a research driver module under a unique name (no bare ``import run``)."""
-    import sys
-    path = Path(__file__).resolve().parents[2] / rel
-    sys.path.insert(0, str(path.parent))  # for the driver's own sibling imports
-    try:
-        spec = importlib.util.spec_from_file_location(name, path)
-        mod = importlib.util.module_from_spec(spec)
-        spec.loader.exec_module(mod)
-    finally:
-        sys.path.remove(str(path.parent))
-    return mod
-
-
-T = 2520
-
-
-def test_phase_and_cycle_bookkeeping():
-    assert p.phase(0, T) == 270.0 and p.cycle(0, T) == 0          # +A, at rest, phi = -90
-    assert p.phase(T // 4, T) == 0.0 and p.cycle(T // 4, T) == 1  # mean position, u = -U_max
-    assert p.position(0, T, 1.0) == 1.0
-    assert p.cycle(T // 4 - 1, T) == 0 and p.cycle(T // 4 + T - 1, T) == 1
-    assert p.cycle(T // 4 + T, T) == 2
-    assert p.phase(T // 6, T) == pytest.approx(330.0) and p.cycle(T // 6, T) == 0  # startup quarter
-    assert p.phase(7 * T // 6, T) == pytest.approx(330.0) and p.cycle(7 * T // 6, T) == 1
-    for ph, frac in ((180.0, .75), (210.0, 5 / 6)):
-        s = round(frac * T) + T
-        assert p.phase(s, T) == pytest.approx(ph) and p.bin_phase(s, T) == ph
-    assert p.bin_phase(round(.75 * T) + T - 1, T) is None
-    assert sum(p.bin_phase(s, T) == 180.0 for s in range(T, 2 * T)) == T // 360
-
-
-def test_settling_and_common_window():
-    passes = {k: True for k in range(3, 12)}
-    assert p.settled_start(passes) == 7                          # pairs 3->4, 4->5, 5->6
-    late = {**passes, 5: False}
-    assert p.settled_start(late) == 9                            # pairs 6->7, 7->8, 8->9
-    assert p.common_window([7, 9], [passes, passes]) == (9, 10, 11)
-    assert p.common_window([7, 10], [passes, passes]) is None    # K + 2 = 12 beyond the cap
-    assert p.common_window([7, None], [passes, passes]) is None
-    assert p.common_window([7, 7], [passes, {**passes, 8: False}]) is None  # must stay settled
-    # a case settled early must keep passing while waiting for the common K
-    assert p.common_window([7, 9], [{**passes, 8: False}, passes]) is None
-    long = {k: True for k in range(3, 32)}
-    assert p.common_window([10], [long]) is None                 # default cap 11
-    assert p.common_window([29], [long], last_scored=31) == (29, 30, 31)
-    assert p.common_window([30], [long], last_scored=31) is None
-
-
-def test_solid_aware_bilinear():
-    field = np.arange(16.0).reshape(4, 4)
-    fluid = np.ones((4, 4), bool)
-    value, used, total = p.bilinear_fluid(field, fluid, 1.25, 1.5)
-    assert total == pytest.approx(1.0) and value == pytest.approx(0.75 * 0.5 * (5 + 9) + 0.25 * 0.5 * (6 + 10))
-    fluid[1, 1] = False                                           # one solid corner
-    value, used, total = p.bilinear_fluid(field, fluid, 1.25, 1.5)
-    assert total == pytest.approx(1.0 - 0.75 * 0.5)
-    assert all(not (i == 1 and j == 1) for i, j, _ in used)
-    assert sum(w for *_, w in used) == pytest.approx(1.0)
-    fluid[:] = False
-    assert p.bilinear_fluid(field, fluid, 1.25, 1.5) == (None, (), 0.0)
-
-
-def test_interval_bases_and_morison_fit_recover_known_coefficients():
-    b = np.array([p.interval_bases(n, T) for n in range(T // 4, T // 4 + 3 * T)])
-    phi = 2 * np.pi * (np.arange(T // 4, T // 4 + 3 * T) + .5) / T - np.pi / 2
-    assert np.allclose(b[:, 1], np.sin(phi), atol=1e-5)          # midpoint ~ interval mean
-    f = 2.09 * b[:, 0] - (math.pi ** 2 * 1.45 / p.KC) * b[:, 1]
-    assert p.morison_fit(f, b[:, 0], b[:, 1]) == pytest.approx((2.09, 1.45), abs=1e-9)
-
-
-def test_quadrature_rule_reused_across_steps_and_periods(monkeypatch):
-    original = np.polynomial.legendre.leggauss
-    orders = []
-
-    def counted(points):
-        orders.append(points)
-        return original(points)
-
-    p._quadrature_rule.cache_clear()
-    monkeypatch.setattr(np.polynomial.legendre, "leggauss", counted)
-    try:
-        for points in (16, 8, 16):
-            for period in (T, 2 * T):
-                for n in (0, 123, period + 123):
-                    p.interval_bases(n, period, points)
-        assert orders == [16, 8]
-    finally:
-        p._quadrature_rule.cache_clear()
-
-
-def test_interval_sine_basis_matches_exact_integral():
-    for period in (T, 2 * T):
-        half_width = math.pi / period
-        for n in (0, period // 4, period // 2, period - 1, 7 * period + 123):
-            midpoint = 2 * math.pi * ((n % period) + .5) / period - math.pi / 2
-            expected = math.sin(midpoint) * math.sin(half_width) / half_width
-            assert p.interval_bases(n, period)[1] == pytest.approx(expected, rel=0, abs=2e-15)
-
-
-def test_geometry_repeats_exactly_across_cycles():
-    A = p.amplitude(20)
-    for m in (0, 1, T // 4, T // 2 - 1, 7 * T // 12):
-        for c in (1, 5, 11):
-            assert p.position(m + c * T, T, A) == p.position(m, T, A)
-            assert p.phase(m + c * T, T) == p.phase(m, T)
-            v0 = p.position(m + 1, T, A) - p.position(m, T, A)
-            assert p.position(m + 1 + c * T, T, A) - p.position(m + c * T, T, A) == v0
-    assert p.cycle(T // 4 + 5 * T, T) == 6  # unwrapped index stays separate
-    assert p.interval_bases(123 + 7 * T, T) == p.interval_bases(123, T)
-
-
-def test_exact_point_inside_body_is_missing_even_with_fluid_corners():
-    field = np.zeros((6, 6))
-    fluid = np.ones((6, 6), bool)
-    fluid[3, 3] = False                         # only one corner solid
-    centre, radius = (3.0, 3.0), 0.3
-    value, used, total = p.sample(field, fluid, 3.2, 3.1, centre, radius)   # inside the circle
-    assert value is None and used == () and total == 0.0
-    value, used, total = p.sample(field, fluid, 3.35, 3.0, centre, radius)  # just outside
-    assert value is not None and total > 0.0
-
-
-def test_generated_config_passes_the_real_loader(tmp_path):
-    import json
-    run = _load("research/duetsch_re100_kc5/run.py", "duetsch_run")
-    from CelerisLab.config import load_lbm_config
-    cfg_dict, u_max, n = run.config(20, 10.0, 2520)
-    path = tmp_path / "config_lbm.json"
-    path.write_text(json.dumps(cfg_dict))
-    cfg = load_lbm_config(str(path))
-    assert (cfg.nx, cfg.ny) == (n, n) == (200, 200)
-    assert cfg.collision == "MRT" and cfg.streaming == "double_buffer" and not cfg.ddf_shifting
-    assert cfg.velocity == 0.0 and cfg.viscosity == pytest.approx(u_max * 20 / 100)
-    assert cfg.y_wall_bc == "bounce_back"
-
-
-def _analyze():
-    return _load("research/duetsch_re100_kc5/analyze.py", "duetsch_analyze")
-
-
-def test_hf_energy_is_parseval_weighted():
-    a = _analyze()
-    n = 360
-    t = np.arange(n)
-    x = 1.0 + np.cos(2 * np.pi * 5 * t / n) + 2.0 * np.cos(2 * np.pi * 30 * t / n) + 0.5 * np.cos(np.pi * t)
-    e = a.one_sided_energy(np.fft.rfft(x), n) / n
-    assert e.sum() == pytest.approx(np.sum(x ** 2))               # Parseval
-    expected = (2.0 ** 2 / 2 + 0.5 ** 2) / np.mean(x ** 2)       # bins >= 21 (30 and Nyquist)
-    assert e[21:].sum() / e.sum() == pytest.approx(expected)
-
-
-def test_horizon_excludes_future_coverage_and_events(monkeypatch):
-    a = _analyze()
-    T, horizon = 360, 4
-    steps = round((0.25 + 6) * T)                                 # cycles 1..6 recorded
-    diag = np.zeros((steps, 15))
-    diag[round((0.25 + horizon) * T):, 13] = 1.0                  # synthetic future no_donor
-    rows = [(s, p.cycle(s, T), 180.0, 0.0, 0.0, 0.1, 0.0, 1.0) for s in range(steps)
-            if p.bin_phase(s, T) is not None and p.cycle(s, T) > p.DISCARD]
-    case = dict(path="c", D=20, T=T, box=10, n=200, u_max=.04, nu=.008, tau=.524, A=1.0,
-                steps=steps, cycles=6, F_ref=1.0, force=np.zeros((steps, 2)), diag=diag,
-                samples=np.asarray(rows, float))
-    monkeypatch.setattr(a, "load", lambda path: case)
-    out = []
-    monkeypatch.setattr("builtins.print", lambda text: out.append(text))
-    a.main(["c", "--horizon", str(horizon)])
-    import json
-    entry = json.loads(out[0])["cases"][0]
-    assert sorted(int(k) for k in entry["coverage"]) == [3, 4]   # nothing from cycles 5, 6
-    assert entry["no_donor"] == 0.0
-
-
-
-def _capture():
-    spec = importlib.util.spec_from_file_location(
-        "duetsch_capture", Path(__file__).resolve().parents[2] / "research/duetsch_re100_kc5/capture.py")
-    mod = importlib.util.module_from_spec(spec)
-    spec.loader.exec_module(mod)
-    return mod
-
-
-def test_capture_crop_downsample_and_trends():
-    c = _capture()
-    n, D = 2400, 40
-    xm = ym = 0.5 * (n - 1)
-    A, R = p.amplitude(D), 20.0
-    box = c.crop_box(xm, ym, D, n, (xm - A - R, xm + A + R, ym - R, ym + R))
-    assert box == (880, 1520, 960, 1440) and box[1] - box[0] + 1 == 641 and box[3] - box[2] + 1 == 481
-    with pytest.raises(ValueError):
-        c.crop_box(xm, ym, D, 600, (0, 1, 0, 1))                    # leaves the domain
-    with pytest.raises(ValueError):
-        c.crop_box(xm, ym, D, n, (xm - 9 * D, xm, ym, ym))           # clips the swept body
-    field = np.arange(64.0).reshape(8, 8)
-    fluid = np.ones((8, 8), bool)
-    fluid[:4, :4] = False
-    down = c.downsample(field, fluid, 4)
-    assert np.isnan(down[0, 0]) and down[1, 1] == field[4:, 4:].mean()
-    rho = np.ones((n, n)); rho[:, 1:81] = 1.01
-    row = c.trend_row(10, 3, 180.0, rho, np.zeros((n, n)), np.zeros((n, n)),
-                      np.ones((n, n), bool), D, n, box)
-    assert row[7] == pytest.approx(1.01) and row[9] == pytest.approx(1.0)
-
-
-def test_dump_steps_are_the_first_step_of_each_bin():
-    T = 5040
-    for k in (11, 21, 30, 31):
-        starts = [s for s in range(T // 4 + (k - 1) * T, T // 4 + k * T)
-                  if p.bin_phase(s, T) is not None and p.phase(s, T) == p.bin_phase(s, T)]
-        assert len(starts) == 3 and all(p.cycle(s, T) == k for s in starts)

tests/unit/test_karman_viv.py

@@ -1,115 +0,0 @@
-"""Research interface contracts; no CUDA context or physical validation."""
-import importlib.util
-from pathlib import Path
-from types import SimpleNamespace
-from unittest.mock import patch
-
-import numpy as np
-import pytest
-
-ROOT = Path(__file__).resolve().parents[2]
-spec = importlib.util.spec_from_file_location('karman_viv_research_driver', ROOT/'research/karman_viv/run.py')
-m = importlib.util.module_from_spec(spec)
-spec.loader.exec_module(m)
-
-
-def test_observation_unit_mapping_and_order():
-    norm = dict(force_norm_fact=2.,sens_deviation=np.arange(6)/10.,sens_norm_fact=np.ones(6)*3)
-    s=np.arange(6)*.001; f=np.arange(6)*.01
-    raw,obs,nclip=m.observation(s,f,2,norm)
-    np.testing.assert_array_equal(raw,np.asarray([*(s*156),*(f*2)],np.float32))
-    expected=np.hstack((raw[6:]/2,(raw[:6]-np.asarray(norm['sens_deviation'],np.float32))/3))
-    np.testing.assert_array_equal(obs,expected.astype(np.float32))
-    assert nclip==0
-
-
-def test_same_physical_signal_d20_d40():
-    norm=dict(force_norm_fact=1.,sens_deviation=np.zeros(6),sens_norm_fact=np.ones(6))
-    a=m.observation(np.ones(6)*.001,np.arange(6)*.01,1,norm)
-    b=m.observation(np.ones(6)*.0005,np.arange(6)*.005,2,norm)
-    np.testing.assert_array_equal(a[0],b[0]); np.testing.assert_array_equal(a[1],b[1])
-
-
-def test_zero_action_and_ccw_scale():
-    np.testing.assert_array_equal(m.wall_target(-m.BIAS/8,2),np.zeros(3))
-    np.testing.assert_allclose(m.wall_target(np.ones(3),2),[.04,.02,.06])
-    assert m.wall_target(np.ones(3),2)[0]/20 == .002
-
-
-def test_ema_equal_physical_time_and_interval_reset():
-    target=np.array([.01,-.02,.03]); coarse=np.zeros(3); fine=np.zeros(3)
-    for _ in range(13): coarse=m.ema(coarse,target,1)
-    for _ in range(52): fine=m.ema(fine,target,2)
-    np.testing.assert_allclose(fine,coarse,rtol=2e-15,atol=1e-17)
-    np.testing.assert_allclose(m.ema(np.zeros(3),target,2),(1-.9**.25)*target)
-
-
-def test_config_real_parser(tmp_path):
-    import json
-    from CelerisLab.config import load_lbm_config
-    path=tmp_path/'config.json';path.write_text(json.dumps(m.config(40)))
-    cfg=load_lbm_config(str(path));cfg.validate()
-    assert (cfg.nx,cfg.ny,cfg.velocity,cfg.viscosity)==(2559,1022,.005,.004)
-
-
-def test_structure_physical_scaling_and_no_damping():
-    coarse=m.Structure(2,1e-4,0,20);fine=m.Structure(2,2.5e-5,0,40)
-    assert fine.mass==4*coarse.mass
-    assert fine.stiffness==coarse.stiffness/4
-    assert fine.damping==0
-    assert fine.candidate(0)==(0.,0.)
-
-
-def test_observation_clipping_and_nonfinite():
-    norm=dict(force_norm_fact=1.,sens_deviation=np.zeros(6),sens_norm_fact=np.ones(6))
-    _,obs,n=m.observation(np.ones(6),np.ones(6),2,norm)
-    assert n==12 and np.array_equal(obs,np.ones(12,np.float32))
-    with pytest.raises(RuntimeError,match='nonfinite'):
-        m.observation(np.full(6,np.nan),np.zeros(6),2,norm)
-
-
-def test_arm_step_order_and_native_rhs(tmp_path):
-    import CelerisLab
-    from CelerisLab.body.motion import MovingTables
-    from contextlib import nullcontext
-    log=[];candidates=[]
-    class Structure:
-        y=v=0.;mass=2.;stiffness=3.;frequency=.1
-        def __init__(self,*args): pass
-        def candidate(self,f):
-            candidates.append(f)
-            return self.y+.001,self.v+.002
-    class Sim:
-        def __init__(self,*args): self.n=0
-        def __enter__(self): return self
-        def __exit__(self,*args): pass
-        def initialize(self): pass
-        def set_body(self,p,**kw): log.append(('set',p,kw))
-        def run(self,n,**kw): self.n+=1;log.append(('run',n,kw))
-        def moving_diagnostics(self):
-            a=np.zeros((3,len(MovingTables.DIAG)),np.float32)
-            a[:,MovingTables.DIAG.index('cme_y')]=self.n
-            a[:,MovingTables.DIAG.index('wen_y')]=10*self.n
-            a[:,MovingTables.DIAG.index('cover_jy')]=1000
-            return a
-        def read_force(self,p): return [0.,float(self.n),0.]
-        def read_sensor(self,p): return [.001,0.,0.]
-    seen=[]
-    model=SimpleNamespace(predict=lambda obs,**kw:(seen.append(obs.copy()) or np.ones(3)*.1,None))
-    norm=dict(force_norm_fact=1.,sens_deviation=np.zeros(6),sens_norm_fact=np.ones(6))
-    with patch.object(CelerisLab,'Simulation',Sim),patch.object(m,'Structure',Structure), \
-         patch.object(m,'add_scene',return_value=([1,2,3],[4,5,6])),patch.object(m,'install_seed',return_value={}), \
-         patch.object(m,'check_time'):
-        m.run_arm('controlled','cfg',2,2,2,None,7.,model,norm,tmp_path,0,1)
-    assert candidates==[7.,33.,66.,99.]  # previous native force, NOT SI mean or node impulse
-    assert not seen[0].any() and len(seen)==2
-    assert [e[0] for e in log]==['set','set','set','run']*4
-    for e in log:
-        if e[0]=='set': assert e[2]['vy']==pytest.approx(.001) and e[2]['omega']!=0
-        else: assert e[2]==dict(zero_obs=True,sync_obs=True)
-    rows=np.load(tmp_path/'controlled/steps.npy')
-    np.testing.assert_allclose(rows[:,1],[.001,.002,.003,.004])
-    assert rows.shape==(4,18)
-    np.testing.assert_array_equal(rows[0,15:],rows[2,15:])  # EMA resets at SI boundary
-    signals=np.load(tmp_path/'controlled/signals.npz')
-    np.testing.assert_array_equal(signals['forces'][:,1],[3.,7.])  # interval CME *2, not CME+Wen

tests/unit/test_moving_bodies.py

@@ -1,13 +1,14 @@
-"""Translating-circle host contract (docs/moving_bodies.md 4a, 5, 7).
+"""Translating-circle host contract, S1 (docs/moving_bodies.md 4a, 5, 7).
 
-Real Simulation entrypoints with device doubles; no CUDA context or GPU work.
+Host doubles only: no kernels exist yet, so every positive-step run with a
+moving body must be rejected before any device write.
 """
-import math
 from types import SimpleNamespace
 
 import pytest
 
-from CelerisLab.body.motion import MAX_STEP, R_MIN, MovingCircle, Translation
+from CelerisLab.body.motion import (MAX_STEP, R_MIN, MovingCircle, Translation,
+                                    enumerate_donor_coverage)
 
 BAD = (float("nan"), float("inf"))
 
@@ -45,96 +46,46 @@ def test_targets_validate_against_applied_and_last_wins():
     assert c.applied == (0., 0.)
 
 
-def test_record_commit_and_hold(monkeypatch):
-    sim, writes, c = routed_advancing_simulation(monkeypatch)
-    assert c.record() == ((50., 40.), (50., 40.), (0., 0.))
-    sim.set_body(0, offset=(0., .25), vy=.05)
+def test_record_commit_and_hold():
+    c = circle()
+    assert c.record() == ((50., 40.), (50., 40.), (0., 0.))  # hold: no translation velocity
+    c.set_target((0., .25), (0., .05))
     assert c.record() == ((50., 40.), (50., 40.25), (0., .05))
-    seen_at_sync = []
-    sim.run(1, stream=SimpleNamespace(synchronize=lambda: seen_at_sync.append(c.applied)))
-    assert seen_at_sync == [(0., 0.), (0., .25)]  # commit between step sync and hold sync
-    uploads = [w[1][0] for w in writes if isinstance(w, tuple) and w[0] == "upload"]
-    assert uploads == [((50., 40.), (50., 40.25), (0., .05)),
-                       ((50., 40.25), (50., 40.25), (0., 0.))]
+    uploads = []
+    c.advance(uploads.append, lambda: None, lambda: None)
+    assert uploads == [((50., 40.), (50., 40.25), (0., .05))]
     assert c.applied == (0., .25) and c.pending is None  # offset-only commit
-    sim.run(1, stream=STREAM)  # no new target: hold step
-    uploads = [w[1][0] for w in writes if isinstance(w, tuple) and w[0] == "upload"]
+    c.advance(uploads.append, lambda: None, lambda: None)  # no new target: hold step
     assert uploads[-1] == ((50., 40.25), (50., 40.25), (0., 0.)) and c.applied == (0., .25)
-    sim.set_body(0, offset=(0., 0.), vy=-.05)  # zero offset is a real target
+    c.set_target((0., 0.), (0., -.05))  # return to zero offset is a real target
     assert c.pending == ((0., 0.), (0., -.05))
-    sim.run(1, stream=STREAM)
+    c.advance(uploads.append, lambda: None, lambda: None)
     assert c.applied == (0., 0.) and c.pending is None
 
 
 @pytest.mark.parametrize("stage", ("upload", "step", "synchronize"))
-def test_failure_after_upload_attempt_is_fail_closed(monkeypatch, stage):
-    sim, writes, c = routed_advancing_simulation(monkeypatch, fail="upload" if stage == "upload" else None)
-    sim.set_body(0, offset=(0., .25), vy=.05)
+def test_failure_after_upload_attempt_is_fail_closed(stage):
+    c = circle()
+    c.set_target((0., .25), (0., .05))
 
-    def fail(*a, **k):
-        raise RuntimeError(f"{stage} failed")
-    if stage == "step":
-        sim.stepper._step = fail
-    stream = SimpleNamespace(synchronize=fail) if stage == "synchronize" else STREAM
+    def call(name):
+        def run(*_):
+            if name == stage:
+                raise RuntimeError(f"{name} failed")
+        return run
     with pytest.raises(RuntimeError, match=f"{stage} failed"):
-        sim.run(1, stream=stream)
-    assert c.failed and c.applied == (0., 0.) and c.pending == ((0., .25), (0., .05))
-    assert sim._failed is not None and sim.stepper.blocked == sim._failed
-    for later in (c.record, lambda: sim.set_body(0, offset=(0., .1), vy=0.)):
+        c.advance(call("upload"), call("step"), call("synchronize"))
+    assert c.failed and c.applied == (0., 0.)
+    for later in (c.record, lambda: c.set_target((0., .1), (0., 0.)),
+                  lambda: c.advance(*(lambda *_: None,) * 3)):
         with pytest.raises(RuntimeError, match="unknown"):
             later()
-    with pytest.raises(RuntimeError, match="Simulation failed"):
-        sim.run(1, stream=STREAM)
-    with pytest.raises(RuntimeError, match="moving circle step failed"):
-        sim.stepper.step(1, action_gpu=None, obs_gpu=None)
 
 
 def test_band_covers_offset_box_with_margin():
     assert circle().band() == (50 - 2 - 10 - 2, 50 + 2 + 10 + 2, 40 - 3 - 10 - 2, 40 + 3 + 10 + 2)
 
 
-# D2Q9 non-rest directions, paired order of lbm/descriptors.
-_CX = (1, -1, 0, 0, 1, -1, 1, -1)
-_CY = (0, 0, 1, -1, 1, -1, -1, 1)
-
-
-def _inside(x: int, y: int, c, r: float) -> bool:
-    return (x - c[0]) ** 2 + (y - c[1]) ** 2 < r * r
-
-
-def empty_donor_cells(c_old, c_new, radius: float):
-    """Fresh cells (inside c_old, outside c_new) whose donor set V(x) is empty."""
-    r = radius
-    xs = range(math.floor(min(c_old[0], c_new[0]) - r) - 1, math.ceil(max(c_old[0], c_new[0]) + r) + 2)
-    ys = range(math.floor(min(c_old[1], c_new[1]) - r) - 1, math.ceil(max(c_old[1], c_new[1]) + r) + 2)
-    empty = []
-    for x in xs:
-        for y in ys:
-            if not _inside(x, y, c_old, r) or _inside(x, y, c_new, r):
-                continue
-            if not any(not _inside(x + cx, y + cy, c_old, r) and not _inside(x + cx, y + cy, c_new, r)
-                       for cx, cy in zip(_CX, _CY)):
-                empty.append((x, y))
-    return empty
-
-
-def enumerate_donor_coverage(radius: float, positions: int = 8, directions: int = 16) -> int:
-    """Count empty-donor fresh cells over sub-cell centres and moves of MAX_STEP.
-
-    Evidence for the declared bounds (radius >= R_MIN, |dc|_2 <= MAX_STEP),
-    not a proof; the device keeps the ``no_donor`` counter.
-    """
-    count = 0
-    for i in range(positions):
-        for j in range(positions):
-            c_old = (i / positions, j / positions)
-            for k in range(directions):
-                a = 2.0 * math.pi * k / directions
-                c_new = (c_old[0] + MAX_STEP * math.cos(a), c_old[1] + MAX_STEP * math.sin(a))
-                count += len(empty_donor_cells(c_old, c_new, radius))
-    return count
-
-
 @pytest.mark.parametrize("radius", (R_MIN, 4.3, 7.5, 12.0))
 def test_refill_donor_sets_nonempty_within_bounds(radius):
     # Evidence for R >= R_MIN and |dc|_2 <= MAX_STEP on a fixed sample, not a proof.
@@ -327,26 +278,6 @@ def advancing_simulation(monkeypatch, **tables):
     return sim, writes, sim.bodies.objects[0].motion
 
 
-def routed_advancing_simulation(monkeypatch, **tables):
-    """Real body registration, target routing, run and owner hook; double device I/O."""
-    sim = routed_simulation(monkeypatch)
-    bid = sim.add_body("circle", (50., 40.), 10., translation=Translation((-2., 2., -3., 3.), .1))
-    sim._initialized = True
-    sim._assert_runtime_contracts = lambda: None
-    writes = []
-    monkeypatch.setattr(sim.bodies, "_upload_action_async", lambda s: writes.append("action"))
-    monkeypatch.setattr(sim.bodies, "zero_obs_async", lambda s: writes.append("obs"))
-    monkeypatch.setattr(sim.bodies, "download_obs_full_async", lambda s: writes.append("download"))
-    sim.stepper = SimpleNamespace(
-        moving=Tables(writes, **tables), blocked=None,
-        _step=lambda n, advance=False, **k: writes.append(("step", n, advance)))
-    from CelerisLab.lbm.stepper import LBMStepper
-    sim.stepper.step = LBMStepper.step.__get__(sim.stepper)
-    sim._moving_tables = sim.stepper.moving
-    sim._attach_moving()
-    return sim, writes, sim.bodies.get(bid).motion
-
-
 def test_run_one_advances_and_commits_after_sync(monkeypatch):
     sim, writes, motion = advancing_simulation(monkeypatch)
     motion.set_target((0., .25), (0., .05))
@@ -366,44 +297,6 @@ def test_run_one_advances_and_commits_after_sync(monkeypatch):
     assert ("step", 3, False) in writes and motion.applied == (0., .25)
 
 
-def test_zero_motion_target_is_consumed_by_run_one(monkeypatch):
-    sim, writes, motion = advancing_simulation(monkeypatch)
-    motion.set_target((0., 0.), (0., 0.))          # equal to applied: a hold target
-    sim._attach_moving()
-    assert sim.stepper.blocked == module.PENDING_BLOCKED
-    sim.run(1, stream=STREAM)
-    assert motion.pending is None and motion.applied == (0., 0.)
-    assert sim.stepper.blocked is None and ("step", 1, False) in writes
-    writes.clear()
-    sim.run(3, stream=STREAM)                      # no stale latch
-    assert ("step", 3, False) in writes
-
-
-@pytest.mark.parametrize("streaming,d2q9,bound", [("double_buffer", True, True),
-                                                  ("double_buffer", False, False),
-                                                  ("esopull", True, False)])
-def test_moving_kernels_bound_only_for_d2q9_double_buffer(monkeypatch, streaming, d2q9, bound):
-    from CelerisLab.lbm import stepper as stepper_module
-    monkeypatch.setattr(stepper_module.cuda, "mem_alloc", lambda n: object())
-    moving = {"MovingCircleLinks", "MovingCircleCells"}
-
-    def get_function(name):
-        if name in moving and not (d2q9 and streaming == "double_buffer"):
-            raise KeyError(name)                 # absent from D3Q19 / EsoPull modules
-        return lambda *a, **k: None
-    cfg = SimpleNamespace(streaming=streaming, threads_per_block=128, is_d2q9=d2q9,
-                          nx=16, ny=8, nz=4, nq=9 if d2q9 else 19)
-    stepper = stepper_module.LBMStepper(SimpleNamespace(), SimpleNamespace(get_function=get_function), cfg)
-    assert (stepper.moving_fn is not None) == bound and (stepper.moving_cells_fn is not None) == bound
-
-
-def test_moving_diagnostics_empty_shape_matches_layout(monkeypatch):
-    from CelerisLab.body.motion import MovingTables
-    sim = make_simulation(monkeypatch)
-    sim._failed, sim.stepper = None, SimpleNamespace(moving=None)
-    assert sim.moving_diagnostics().shape == (0, MovingTables.DIAG_FLOATS)
-
-
 @pytest.mark.parametrize("failure", ("upload", "first_sync", "no_donor", "hold_upload",
                                      "hold_sync"))
 def test_failed_advance_fails_simulation(monkeypatch, failure):
@@ -614,21 +507,23 @@ def test_moving_circle_excluded_from_static_links():
 
 
 def test_failed_moving_step_marks_simulation_failed(monkeypatch):
-    sim, writes, motion = routed_advancing_simulation(monkeypatch)
+    sim = routed_simulation(monkeypatch)
     sim.ctx = ClosableOwner()
-    sim.set_body(0, offset=(0., .2), vy=.05)
+    bid = sim.add_body("circle", (50., 40.), 10., translation=Translation((0., 0., -1., 1.), .1))
+    motion = sim.bodies.get(bid).motion
+    motion.set_target((0., .2), (0., .05))
 
     def fail(*_):
         raise RuntimeError("sync failed")
     with pytest.raises(RuntimeError, match="sync failed"):
-        sim.run(1, stream=SimpleNamespace(synchronize=fail))
+        motion.advance(lambda *_: None, lambda: None, fail)
     assert sim._failed is not None and motion.applied == (0., 0.)
     for call in (lambda: sim.run(0), lambda: sim.run(1), sim.step, sim.sync_bodies,
                  sim.save_checkpoint, lambda: sim.load_checkpoint("x.h5")):
         with pytest.raises(RuntimeError, match="Simulation failed"):
             call()
     with pytest.raises(RuntimeError, match="unknown"):  # no retry on the failed circle
-        sim.set_body(0, offset=(0., .1), vy=.05)
+        motion.advance(lambda *_: None, lambda: None, lambda: None)
     with sim.ctx.activate():  # a refused close keeps the failed state and resources
         with pytest.raises(RuntimeError, match="active CUDA"):
             sim.close()

tests/unit/test_shared_translation.py

@@ -1,122 +0,0 @@
-"""Host admission and independent lattice-stencil checks; no CUDA context."""
-from types import SimpleNamespace
-
-import numpy as np
-import pytest
-
-from CelerisLab.body.motion import MovingCircle, MovingTables, Translation, validate_shared_translations
-from CelerisLab.lbm.descriptors import FLUID
-from tests.unit.test_moving_bodies import STREAM, body, moving_simulation, routed_simulation
-
-
-def scene(monkeypatch, envelope=None, gap=10.):
-    sim = routed_simulation(monkeypatch)
-    envelope = envelope or Translation((0., 0., -6., 6.), .5, shared=True)
-    for y in (40. - (20. + gap) / 2., 40. + (20. + gap) / 2.):
-        sim.bodies.add(body(60., y, 10., envelope))
-    sim.field = SimpleNamespace(nx=120, ny=80, build_channel_flags=lambda: np.full((80, 120), FLUID))
-    return sim
-
-
-def test_shared_bands_are_admitted_but_other_groups_are_not(monkeypatch):
-    sim = scene(monkeypatch)
-    sim._validate_moving_bodies()
-    a, b = [o.motion for o in sim.bodies.objects]
-    assert a.band()[3] >= b.band()[2]  # whole envelopes genuinely overlap
-    band, geom = MovingTables.layout([(a, 0), (b, 1)])
-    assert band[10] == band[2] * band[3] * 8
-    assert len(geom) == 14
-    b.translation = Translation((0., 0., -6., 6.), .5, shared=True)
-    with pytest.raises(ValueError, match='overlaps body'):
-        sim._validate_moving_bodies()  # equal values do not link independent motion
-    b.translation = a.translation
-    sim.bodies.add(body(60., 40., 2.))
-    with pytest.raises(ValueError, match='overlaps body'):
-        sim._validate_moving_bodies()
-
-
-@pytest.mark.parametrize('gap', (.3, 4.))
-def test_small_surface_gaps_rejected(monkeypatch, gap):
-    with pytest.raises(ValueError, match='clearance'):
-        scene(monkeypatch, gap=gap)._validate_moving_bodies()
-
-
-def test_shared_envelope_is_transverse_only():
-    with pytest.raises(ValueError, match='transverse'):
-        Translation((-.1, .1, -1., 1.), .5, shared=True)
-
-    envelope = Translation((0., 0., -1., 1.), .5, shared=True)
-    with pytest.raises(ValueError, match="zero x velocity"):
-        MovingCircle((0., 0.), 10., envelope).check_target((0., .1), (.1, .1))
-
-def test_group_rejection_is_before_writes_and_can_be_corrected(monkeypatch):
-    sim, writes = moving_simulation(monkeypatch)
-    env = Translation((0., 0., -2., 2.), .5, shared=True)
-    sim.bodies.objects = [body(40., y, 10., env) for y in (20., 50.)]
-    a, b = [o.motion for o in sim.bodies.objects]
-    sim.stepper.moving = object()
-    a.set_target((0., .2), (0., .2))
-    with pytest.raises(ValueError, match='identical'):
-        sim.run(1, stream=STREAM)
-    assert writes == [] and a.applied == b.applied == (0., 0.)
-    b.set_target((0., .2), (0., .1))
-    with pytest.raises(ValueError, match='identical'):
-        sim.run(1, stream=STREAM)
-    assert writes == []
-    b.set_target((0., .2), (0., .2))
-    validate_shared_translations([a, b])
-    b.applied = (0., -.1)
-    with pytest.raises(ValueError, match='identical'):
-        validate_shared_translations([a, b])
-
-
-C = np.array([(x, y) for x in (-1, 0, 1) for y in (-1, 0, 1) if (x, y) != (0, 0)])
-
-
-def footprint_conflicts(centres, radius, dy):
-    """Enumerate geometric write/read supports, not refill/BFL formulas.
-
-    Tests every candidate donor, conservatively including M2's second link.
-    Body-indexed slot numbers are separate from physical (cell,direction) writes.
-    """
-    centres = np.asarray(centres, float)
-    lo = np.floor(centres.min(0) - radius - 4).astype(int)
-    hi = np.ceil(centres.max(0) + radius + 4).astype(int)
-    yy, xx = np.mgrid[lo[1]:hi[1]+1, lo[0]:hi[0]+1]
-    points = np.column_stack((xx.ravel(), yy.ravel()))
-    def inside(p, c):
-        return ((p - c)**2).sum(axis=-1) < radius**2
-    old = np.array([inside(points, c) for c in centres])
-    new_centres = centres + (0., dy)
-    new = np.array([inside(points, c) for c in new_centres])
-    changed = old ^ new
-    conflicts = int(np.count_nonzero(changed.sum(0) > 1))
-    writes = set()
-    for i, (oc, nc) in enumerate(zip(centres, new_centres)):
-        others = [j for j in range(len(centres)) if j != i]
-        fresh = points[old[i] & ~new[i]]
-        for e in C:
-            donor = fresh + e
-            valid = ~inside(donor, oc) & ~inside(donor, nc)
-            for j in others:
-                conflicts += int(np.count_nonzero(valid & (inside(donor, centres[j]) | inside(donor, new_centres[j]))))
-            link = ~new[i] & inside(points + e, nc)
-            fluid = points[link]
-            solid = fluid + e
-            for p in solid:
-                slot = (int(p[0]), int(p[1]), int(e[0]), int(e[1]))
-                conflicts += int(slot in writes)
-                writes.add(slot)
-            for read in (fluid, fluid - e):
-                for j in others:
-                    conflicts += int(np.count_nonzero(inside(read, centres[j]) | inside(read, new_centres[j])))
-    return conflicts
-
-
-def test_counterexample_and_pinball_local_ownership():
-    # Close but disjoint circles are insufficient: parent/Grok independent example.
-    assert footprint_conflicts(((.25, .25), (.25, 8.55)), 4., .5) > 0
-    for phase in (0., .25, .5, .75):
-        for dy in (-.5, -.1, .1, .5):
-            centres = np.array(((0., 0.), (26., 15.), (26., -15.))) + phase
-            assert footprint_conflicts(centres, 10., dy) == 0

tests/unit/test_steady_pinball.py

@@ -1,128 +0,0 @@
-"""Real config loading and pure structural update for the frozen development case."""
-import importlib.util
-import math
-from pathlib import Path
-
-import numpy as np
-import pytest
-
-path = Path(__file__).resolve().parents[2] / 'research/steady_pinball/run.py'
-spec = importlib.util.spec_from_file_location('steady_pinball_run', path)
-runner = importlib.util.module_from_spec(spec)
-spec.loader.exec_module(runner)
-
-
-def test_actual_loader_and_paper_geometry(tmp_path):
-    import json
-    from CelerisLab.config import load_lbm_config
-    p = tmp_path/'config.json'
-    p.write_text(json.dumps(runner.config()))
-    cfg = load_lbm_config(str(p))
-    cfg.validate()
-    assert (cfg.nx, cfg.ny, cfg.viscosity, cfg.velocity) == (1280, 512, .004, .01)
-    assert cfg.collision == 'MRT' and cfg.y_wall_bc == 'bounce_back'
-    assert runner.U * runner.D / runner.NU == 50.
-    assert runner.CENTRES == ((600., 255.5), (626., 270.5), (626., 240.5))
-
-
-def test_structure_rest_equilibrium_and_energy_decay():
-    s = runner.Structure(zeta=.01)
-    assert s.candidate(0.) == (0., 0.)
-    assert s.mass == pytest.approx(10*3*math.pi*100)
-    s.y, s.v = .2, 0.
-    # One damped period: independent continuous solution at total elapsed time.
-    for _ in range(runner.PERIOD):
-        s.y, s.v = s.candidate(0.)
-    t = runner.PERIOD
-    a = s.zeta*s.omega
-    w = s.omega*math.sqrt(1-s.zeta**2)
-    expected = .2*math.exp(-a*t)*(math.cos(w*t)+a/w*math.sin(w*t))
-    assert s.y == pytest.approx(expected, abs=2e-12)
-    assert .5*s.mass*s.v*s.v+.5*s.stiffness*s.y*s.y < .5*s.stiffness*.2**2
-    s.y, s.v = .3, 0.
-    assert s.candidate(s.stiffness*.3) == pytest.approx((.3, 0.), abs=1e-15)
-
-
-def test_report_uses_completed_rows_and_net_force():
-    rows = np.zeros((4, 15))
-    rows[:, 0] = np.arange(1, 5)
-    rows[:, 1] = 2.
-    rows[:, 3:9] = 1.
-    got = runner.summarize(rows)
-    assert got[0]['end_step'] == 4
-    assert got[0]['y_rms_D'] == .1
-    assert got[0]['fy_rms'] == 6.
-
-
-@pytest.mark.parametrize('case', ['Z0', 'M2', 'R2'])
-def test_zero_damping_cases_conserve_unforced_energy_and_match_forced_solution(case):
-    s = runner.Structure(*runner.STRUCTURES[case])
-    assert s.zeta == s.damping == 0.
-    s.y, s.v = .2, 1.e-5
-    y0, v0 = s.y, s.v
-    energy = .5*s.mass*v0**2 + .5*s.stiffness*y0**2
-    for _ in range(12345):
-        s.y, s.v = s.candidate(0.)
-    assert .5*s.mass*s.v**2 + .5*s.stiffness*s.y**2 == pytest.approx(energy, rel=2e-11)
-    force, elapsed = 1.e-4, 3210
-    s.y, s.v = y0, v0
-    for _ in range(elapsed):
-        s.y, s.v = s.candidate(force)
-    phase = s.omega*elapsed
-    equilibrium = force/s.stiffness
-    expected_y = equilibrium+(y0-equilibrium)*math.cos(phase)+v0*math.sin(phase)/s.omega
-    expected_v = -(y0-equilibrium)*s.omega*math.sin(phase)+v0*math.cos(phase)
-    assert (s.y, s.v) == pytest.approx((expected_y, expected_v), abs=2e-11)
-
-
-def test_predeclared_comparisons_change_structure_only():
-    z, m, r = [runner.Structure(*runner.STRUCTURES[k]) for k in ['Z0', 'M2', 'R2']]
-    assert m.mass/z.mass == pytest.approx(.2)
-    assert m.stiffness/z.stiffness == pytest.approx(.2)
-    assert r.mass == m.mass
-    assert r.stiffness/m.stiffness == pytest.approx(.36)
-    assert [runner.STEPS*s.frequency for s in [z, m, r]] == pytest.approx([60., 60., 36.])
-
-
-@pytest.mark.parametrize('diameter', [20, 40, 60])
-def test_diffusive_scaling_preserves_physical_geometry_and_duration(tmp_path, diameter):
-    import json
-    from CelerisLab.config import load_lbm_config
-    scale = diameter/20
-    raw = runner.config(diameter)
-    p = tmp_path/'scaled.json'
-    p.write_text(json.dumps(raw))
-    cfg = load_lbm_config(str(p))
-    cfg.validate()
-    assert cfg.velocity*diameter/cfg.viscosity == pytest.approx(50.)
-    assert (cfg.nx-1)/diameter == 1279/20
-    assert (cfg.ny-2)/diameter == 510/20
-    for original, mapped in zip(runner.CENTRES+runner.PROBES,
-                               runner.scaled_points(runner.CENTRES+runner.PROBES, scale)):
-        assert mapped[0]/diameter == pytest.approx(original[0]/20)
-        assert (mapped[1]-.5)/diameter == pytest.approx((original[1]-.5)/20)
-    old = runner.Structure(*runner.STRUCTURES['M2'])
-    new = runner.Structure(2., old.frequency/scale**2, diameter=diameter)
-    assert new.mass/old.mass == pytest.approx(scale**2)
-    assert new.stiffness/old.stiffness == pytest.approx(1/scale**2)
-    assert new.damping == 0.
-    assert cfg.velocity/(new.frequency*diameter) == pytest.approx(5.)
-    assert runner.STEPS*scale**2*cfg.velocity/diameter == pytest.approx(300.)
-    assert runner.WARMUP*scale**2*cfg.velocity/diameter == pytest.approx(256.)
-    # A physical held force maps as F_fine=F_coarse/scale in two dimensions.
-    old.y, old.v = .3, .0002
-    new.y, new.v = scale*old.y, old.v/scale
-    expected = old.candidate(.0001)
-    for _ in range(round(scale**2)):
-        new.y, new.v = new.candidate(.0001/scale)
-    assert (new.y/scale, new.v*scale) == pytest.approx(expected, abs=2e-12)
-
-
-def test_scaled_summary_uses_requested_units_and_completed_rows():
-    rows = np.zeros((5, 15))
-    rows[:, 0] = np.arange(1, 6)
-    rows[:, 1] = 4.
-    got = runner.summarize(rows, diameter=40, block_steps=3)
-    assert [(x['start_step'], x['end_step']) for x in got] == [(1, 3), (4, 5)]
-    assert all(x['y_rms_D'] == .1 for x in got)
-    assert runner.summarize(rows[:0], diameter=40) == []

tests/unit/test_viv_logic.py

@@ -1,105 +0,0 @@
-"""CPU tests of the predeclared VIV logic (research/viv_re150/viv.py; stdlib only)."""
-import importlib.util
-import math
-from pathlib import Path
-
-_spec = importlib.util.spec_from_file_location(
-    "viv_logic", Path(__file__).resolve().parents[2] / "research/viv_re150/viv.py")
-viv = importlib.util.module_from_spec(_spec)
-_spec.loader.exec_module(viv)
-
-def _load(rel, name):
-    """Load a research driver module under a unique name (no bare ``import run``)."""
-    import sys
-    path = Path(__file__).resolve().parents[2] / rel
-    sys.path.insert(0, str(path.parent))  # for the driver's own sibling imports
-    try:
-        spec = importlib.util.spec_from_file_location(name, path)
-        mod = importlib.util.module_from_spec(spec)
-        spec.loader.exec_module(mod)
-    finally:
-        sys.path.remove(str(path.parent))
-    return mod
-
-
-D, U = 40, 0.04
-
-
-def _feed(cyc, amps, period=100):
-    """Feed sine cycles of the given amplitudes (in D); return the first non-None result."""
-    n = 0
-    for a in amps:
-        for i in range(period):
-            out = cyc.update(a * D * math.sin(2 * math.pi * (i + 1) / period))
-            n += 1
-            if out:
-                return out, n
-    return None, n
-
-
-def test_structure_exact_update_conserves_free_oscillation_and_equilibrium():
-    s = viv.Structure(D, U)
-    assert math.isclose(1 / s.f_n, 5000.0) and math.isclose(s.m, 2 * D * D)
-    s.y, s.v = 0.3 * D, 0.0
-    e0 = 0.5 * s.k * s.y ** 2
-    for _ in range(12345):
-        s.y, s.v = s.candidate(0.0)
-    assert math.isclose(0.5 * s.k * s.y ** 2 + 0.5 * s.m * s.v ** 2, e0, rel_tol=1e-9)
-    s.y, s.v = 2.0 / s.k, 0.0
-    assert all(math.isclose(a, b, abs_tol=1e-12) for a, b in zip(s.candidate(2.0), (2.0 / s.k, 0.0)))
-    assert math.isclose(s.seed_velocity(D) / s.w, viv.ELIGIBLE * D)
-
-
-def test_constant_amplitude_settles_then_scores_twenty_cycles():
-    cyc = viv.Cycles(D)
-    out, _ = _feed(cyc, [0.5] * 60)
-    assert out == "scored" and len(cyc.window) == 20 and cyc.settled_at == 1
-    r = viv.score(cyc.window)
-    assert math.isclose(r["A_max"], 0.5, rel_tol=1e-3) and abs(r["offset"]) < 1e-3
-    assert r["T_resp"] == 100 and r["within_band"]          # |.500 - .520| <= .052
-
-
-def test_small_cycles_are_not_counted_and_y0_is_not_a_crossing():
-    cyc = viv.Cycles(D)
-    assert cyc.update(0.0) is None and cyc.log == []
-    out, _ = _feed(cyc, [0.005] * 50)
-    assert out is None and cyc.counted == 0 and cyc.log and not any(c["eligible"] for c in cyc.log)
-
-
-def test_scoring_failure_restarts_from_the_failing_block():
-    cyc = viv.Cycles(D)
-    amps = [0.5] * 20 + [0.55] * 10 + [0.55] * 40      # settle at block 1, block 2 jumps 10 %
-    out, _ = _feed(cyc, amps)
-    assert out == "scored"
-    assert all(math.isclose(c["amp"], 0.55, rel_tol=1e-3) for c in cyc.window)
-
-
-def test_seed_reset_discards_incomplete_cycle_and_proof():
-    cyc = viv.Cycles(D)
-    _feed(cyc, [0.5] * 15)
-    cyc.update(0.2 * D)                                  # inside an incomplete cycle
-    counted = cyc.counted
-    cyc.discard_current()
-    cyc.reset_proof()
-    assert cyc.amps == [] and cyc.blocks == [] and cyc.counted == counted
-
-
-def test_viv_config_passes_the_real_loader(tmp_path):
-    import json
-    run = _load("research/viv_re150/run.py", "viv_run")
-    from CelerisLab.config import load_lbm_config
-    cfg_dict, nx, ny = run.config()
-    path = tmp_path / "config_lbm.json"
-    path.write_text(json.dumps(cfg_dict))
-    cfg = load_lbm_config(str(path))
-    assert (cfg.nx, cfg.ny) == (nx, ny) == (3000, 2400)
-    assert cfg.collision == "MRT" and cfg.y_wall_bc == "free_slip" and cfg.velocity == .04
-    assert math.isclose(cfg.viscosity, .04 * 40 / 150)
-
-
-def test_finite_rejects_any_nonfinite_recorded_output():
-    row = (3, .1, .2, .3, .4, .5, .6, .7, 0.0)
-    assert viv.finite(row)
-    for i in range(len(row)):
-        for bad in (float("nan"), float("inf"), -float("inf")):
-            assert not viv.finite(row[:i] + (bad,) + row[i + 1:])