153 Commits

Include renames

Author	SHA1	Message	Date
Omar SobhandClaude Fable 5.1	37086300ba	embedded3 S2-5: the exchange route mirrors the predictor's centroid spacing toward solid neighbours (operator = box back to the box's own error) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-18 11:01:27 -05:00
Omar SobhandClaude Fable 5.1	fdfb6da769	embedded3 S2-5: the cut wall sat ½(1−α)h inside the body — cross diffusion over the open-part centroid spacing (RTX_E3_DIFFUSION_CENTROID; host + e3_cut.cu, shift tables, point-implicit excess); flat-wall effective-position instrument; DFG 2D-1 ladder tests (device + host); knobs tried and refuted along the way (oblique distance, axis exchange, centroid pressure gradient) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-18 10:54:52 -05:00
Omar SobhandClaude Fable 5.1	4c3e58fa27	embedded3: DFG 2D-1 ladder test (periodic-z slab on the device cut wall) — S2-5's premise check ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-18 09:41:43 -05:00
Omar SobhandClaude Fable 5.1	cda973df26	embedded3 S2-4: quadratic wall gradient behind Parameters::wall_order (host predictor, operator route, e3_cut.cu; RTX_E3_WALL_ORDER); density pin holds at order 2 ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-18 07:21:57 -05:00
Omar SobhandClaude Fable 5.1	53b1babb91	embedded3: moving-body box route (Δ(Vu) unsteady term, Solver::previous_volumes), floor-source / closure-lag / applied-force instruments, moving.rs split; falsifier prints the route residual under each ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-18 06:27:04 -05:00
Omar SobhandClaude Fable 5.1	62b46194dd	embedded3: reconstructed route moved to reconstruct.rs (cutwall.rs back under 700 lines) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-18 04:34:54 -05:00
Omar SobhandClaude Fable 5.1	f6add276c0	embedded3: cut predictor convection carries ρ (host + e3_cut.cu; density-scaling pin); operator load route includes the wall exchange (exchange.rs); reconstructed_parts, probe aperture floor knob; dfg_split diagnostic test ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-18 03:59:57 -05:00
Omar SobhandClaude Fable 5.1	680041d63d	embedded3: the flag driver's dt-scale knob (the loads' dt ladder) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-18 03:06:18 -05:00
Omar SobhandClaude Fable 5.1	9c58fdf602	embedded3 S2-2b-ii: the per-step refresh exports the fine level alone (export_fine) instead of the whole hierarchy ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-18 01:12:33 -05:00
Omar SobhandClaude Fable 5.1	3eb40f98ce	embedded3: the flag driver logs the reconstructed wall route per sample and in the final read ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 23:19:07 -05:00
Omar SobhandClaude Fable 5.1	b34f6ad966	embedded3 S2-1 remedy: the reconstructed wall route on the cut geometry's polygons (two probes along the interpolant normal) — sphere MMS 11.3/8.3 % (the best route); wired into the DFG and flag drivers ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 23:18:21 -05:00
Omar SobhandClaude Fable 5.1	f2cdda4691	embedded3 S2-3c: the 2D solver on the flag wake's kinematics (the reference for the 3D full-span run) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 23:14:42 -05:00
Omar SobhandClaude Fable 5.1	6d2872e7d0	embedded3 S2-2b-ii HELD: the device V-cycle's fine level refreshed with the operator (coarser levels kept K steps), the fine rhs zeroed before the gather — moving circle identity 1.7e-14 at K = 10, CG +9 % ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 23:10:15 -05:00
Omar SobhandClaude Fable 5.1	c713bbbbb2	embedded3: study knobs — aperture_substeps (space-time sub-sampling), momentum_volume_cell_mean, RTX_E3_MERGE_FRACTION; all default off (refuted as the fresh-row residual's source) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 21:38:46 -05:00
Omar SobhandClaude Fable 5.1	33de5d0080	embedded3 S2-2b-ii: DeviceCg::refresh (fine operator per step, hierarchy every K steps, z zeroed before the scatter) + gate test; the flag driver's correctors 3 / inner 1e-3 (residual remedy measured 7.6e-9 on the moving circle); residual study test ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 21:15:02 -05:00
Omar SobhandClaude Fable 5.1	fc8d69af29	embedded3 S2-3b: the flag driver's span knob (full width = the 2D geometry extruded) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 21:11:16 -05:00
Omar SobhandClaude Fable 5.1	58a5501cef	embedded3: the cut mask's surface velocity uses the interpolant's distance and normal (one body call per face instead of eight); the device shares the surface-velocity tables between a step's phases; sphere gate re-read 0.965/0.961 ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 19:48:15 -05:00
Omar SobhandClaude Fable 5.1	11d856b3d4	embedded3: operator export profile at ny 62 (poisson_operator 0.03 s, export_hierarchy 1.44 s); export and poisson_operator public for profiling ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 19:44:17 -05:00
Omar SobhandClaude Fable 5.1	aca77fe1ac	embedded3: the cut mask's imposition and the device surface-velocity tables restricted to a 4-cell band (deeper prescribed faces are never read; the surface velocity was the moving step's cost); the operator rebuild counted in the rebuild share ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 19:33:33 -05:00
Omar SobhandClaude Fable 5.1	c30e3dba34	embedded3 S2-2b (host lever): narrow-band φ re-evaluation for moving bodies (max_surface_speed) — bit-identical, the flag body's ny 62 rebuild 3.54 → 0.30 s; the flag driver uses it ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 19:30:54 -05:00
Omar SobhandClaude Fable 5.1	aa096465a6	embedded3 S2-2a/S2-3: moving bodies on the device (phased tables, host rebuild per step, impose kernel; gate test), the per-span cut wall route, the flag-wake driver and its geometry pre-flight ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 18:53:00 -05:00
Omar SobhandClaude Fable 5.1	2c94ae0bb1	embedded3 S2-1: the traction sampler on the cut field (pressure fit excludes merged cells; sampler route in the sphere MMS and DFG drivers) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 18:47:46 -05:00
Omar SobhandClaude Fable 5.1	32546b1222	embedded3 loads: the control-volume route between no-slip z walls carries the walls' shear (control_volume_force_with_walls); the DFG driver uses it ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 17:27:19 -05:00
Omar SobhandClaude Fable 5.1	4fecb3098c	embedded3: the device download carries the previous step's field (the control-volume route's unsteady term read the initial profile) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 17:25:32 -05:00
Omar SobhandClaude Fable 5.1	338d66f85e	embedded3 item 12: the DFG 3D-2Z device driver (loads by both routes, Δp, settle criterion, CSV) and the VTK instant export ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 17:24:38 -05:00
Omar SobhandClaude Fable 5.1	3b3d6c84c0	embedded3 item 9b: the device step carries a static cut-cell mask (e3_cut.cu: cut predictor, apertured merged continuity with the fold, owner-read corrections; device CG off-stencil links) — host = device to 2e-10 (CFD1 cylinder nz 4) and 4e-14 (sphere) under tight tolerances ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 17:22:52 -05:00
Omar SobhandClaude Fable 5.1	0fa05f2056	embedded3 item 10b: virtual merging of small cells in the projection (fraction < 0.1 → master = largest active face neighbour; off-stencil links on the fine Poisson level; merged rhs, anchor, mass residual and source scale); static sphere rows within 0.02 %, loads 9.4/10.4 %; stadium falsifier spikes 39–54× below the binary wall (circle 6–8×), energy per event 6–9× lower ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 16:41:29 -05:00
Omar SobhandClaude Fable 5.1	5b1621e6ad	embedded3 item 11: moving bodies (end-of-step mask, fresh-cell refill, space-time cut cell: step-averaged apertures, GCL wall flux, Reynolds-transport momentum), the 3D fresh-cell falsifier (plate / circle / stadium, wall + control-volume routes) and the Lipschitz sweep; ghost wall reproduces the 2D falsifier to the digit; cut wall 5–14× smoother on the circle, gates not met (fresh cell's first step); wall.rs split (impose.rs) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 16:20:35 -05:00
Omar SobhandClaude Fable 5.1	0e4c97ed24	embedded3 item 10: the apertured cut-cell wall (AM-wall) — cutwall.rs classification, apertured projection with the compatible wall flux, cut predictor (V_u = αhA, averaged mass fluxes, implicit wall shear, inertia floor), cut load route; sphere MMS CutCell ≤ GhostBinary at n 12/24 (ratio 0.96), loads 9.3/10.7 % at n 24 ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 15:34:07 -05:00
Omar SobhandClaude Fable 5.1	d337afa8f9	rtx-cfd embedded3 item 9: wall.rs (binary ghost mask: three face families, trilinear stencil with periodic-z wrap, z-weighted least-squares ghost fit, flux compatibility correction; slip walls allowed as touched sides) + loads.rs (surface-stress route with probes, control-volume route with full-span z faces skipped); the step wired (body/mask, predicates, anchor, ghost re-imposition). Gates HELD: CFD1 ny 41 nz 1 CV 15.6156 / surface 15.7126 both to 1e-6 of the 2D record; nz 4 periodic CV 1.1e-6 / surface 4.2e-4; sphere MMS order 0.89, div 1e-8, ghost correction 1.0e-4 → 2.0e-5, both load routes' errors falling (0.153 → 0.115 surface, 0.214 → 0.139 CV) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 15:14:40 -05:00
Omar SobhandClaude Fable 5.1	d4ffac9ac7	rtx-cfd embedded3 item 8: body.rs (SDF, surface velocity, normal, samplers: sphere Fibonacci lattice, z-cylinder, extruded 2D body) + cut.rs (Kuhn six-tet apertures/volumes, closure, wall distances); gate 8 HELD: volume/area orders 1.94–2.01, closure ≤ 3e-17, Lipschitz ratio 0.100, Σ ΔV per step 6.2e-4 of the swept volume ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 14:58:06 -05:00
Omar SobhandClaude Fable 5.1	54911b4db3	rtx-cfd embedded3 item 7: e3_step.cu + step::device::{DeviceStep, StepTimers} on the shared runtime (FMA off); gate 7 HELD: device = host ≤ 7e-12 under tight tolerances on MMS/Beltrami/Poiseuille, equal CG counts on every step, periodic planes within 2e-16; the default-tolerance differences are the projection's inner stop ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 14:56:46 -05:00
Omar SobhandClaude Fable 5.1	8821e18520	rtx-cfd embedded3 items 4–6: field.rs + step/{mod, predictor, projection} (364/700/419 lines) — the host PISO step re-laid from the verified three_d code; gates HELD: MMS + Poiseuille marches value-identical to the 2D embedded solver at nz=1 over 200 steps; 3D MMS orders 0.88 upwind / 1.61 TVD, div ≤ 5e-9; Beltrami 1.08 / 1.25 with face-averaged data, div−mean ≤ 7e-8; Poiseuille |u−û| ≤ 8e-10 at nz 1 and periodic nz 4 ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 14:55:18 -05:00
Omar SobhandClaude Fable 5.1	765ba6d3f6	rtx-cfd embedded3 item 3: e3_cg.cu (FMA off) + poisson::device_cg::{DeviceCg, DevicePcgCache, solve_pcg_device_cached}; gate 3 HELD: device CG = host PCG (9 / 9 iterations, |Δp| ≤ 1.5e-14 relative, run-to-run bit-identical, anchor exact, mean 9e-16) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 14:53:20 -05:00
Omar SobhandClaude Fable 5.1	5e2b565971	rtx-cfd embedded3 item 2: e3_mg.cu + poisson::{export, device} (one shared CUDA runtime and module loader for embedded3); gate 2 HELD: device V-cycle = host f32 to 4e-7 relative on 96×40×{1,8} and 378×62×62, 4.97 ms per V-cycle at 1.45 M cells incl. transfers ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 14:52:18 -05:00
Omar SobhandClaude Fable 5.1	6526a3bd38	rtx-cfd embedded3 item 1: the Poisson core as poisson/{problem, hierarchy, pcg} (≤ 385 lines each; the periodic wrap built once into neighbour arrays); gate 1 HELD: nz=1 bit-identical to the 2D solver (lex + red-black, cached/uncached, iterations) and every extrusion case bit-identical to the three_d oracle, planes within 1.4e-11 ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 14:50:18 -05:00
Omar SobhandClaude Fable 5.1	13d30c3ce6	rtx-cfd 3D Stage 1 item 6: three_d::geometry::{Body3, CutGeometry3} — nodal signed distance, face apertures and cell volumes exact for the linear interpolant on a fixed Kuhn six-tet split (consistent across faces), the wall polygon by closure, face-centre wall distances. Gate 7 HELD: sphere/z-cylinder volume and area orders 1.94–2.01, closure 1e-17; continuity: the largest neighbour change falls 10× for a 10× finer sweep (ratio 0.100); translating-sphere Σ ΔV per step MEASURED at 6e-4 of the swept volume (the 'to rounding' clause was wrong and is replaced by the number) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 11:49:04 -05:00
Omar SobhandClaude Fable 5.1	4747d9e6b1	rtx-cfd three_d piso_device: fix the by-reference launch args (the previous commit did not build with the cuda feature) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 11:44:49 -05:00
Omar SobhandClaude Fable 5.1	bd43b34850	rtx-cfd three_d piso_device: pass the pointer table by reference (clippy) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 11:44:20 -05:00
Omar SobhandClaude Fable 5.1	d9fd849239	rtx-cfd 3D Stage 1 item 5: piso3.cu + three_d::piso_device::Piso3Device — the PISO step device-resident (predictors compiled without FMA contraction = the host's arithmetic, per-side boundary tables, divergence/correct/add_p kernels with fixed-order partials, the device CG); poisson_operator/boundary_tables/source_tables/anchor_cell/inner_stop split out of the host solver; StepTimers3 (RTX_PROFILE). Gates 4–6 on the device HELD: MMS 9e-16 (upwind) / 7e-16 (TVD), Beltrami 3.3e-12, Poiseuille 2e-15 with periodic planes equal to 2e-16 (tight tolerances; default-tolerance differences = the projection's inner stop); 55 ms per step at 378×62×62 (predictor 22, poisson 32, apply 2) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 11:44:04 -05:00
Omar SobhandClaude Fable 5.1	e0cbb99343	rtx-cfd three_d: the predictors split into piso_predictor.rs (file-size rule), the w predictor's index helpers cleaned; tests unchanged and green ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 11:33:13 -05:00
Omar SobhandClaude Fable 5.1	616d2a3394	rtx-cfd 3D Stage 1 item 4: three_d::{FlowField3D, piso_host::Piso3Solver} — the 2D embedded predictor/projection transcribed with the z terms appended (u/v/w predictors, six sides incl. periodic z, TVD, the apertured-ready projection on PoissonProblem3D); gates 4/5/6 HELD: MMS + Poiseuille marches value-identical to the 2D embedded solver (multigrid) over 200 steps at nz=1; 3D MMS orders 0.88 upwind / 1.61 TVD, div 1e-9; Beltrami orders 1.08/1.25 with face-averaged data (box compatible to 1e-12); Poiseuille |u−û| ≤ 2e-10, |v|,|w| ≤ 4e-10, p spread ≤ 5e-8 at nz 1 and periodic nz 4 ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 11:31:30 -05:00
Omar SobhandClaude Fable 5.1	2f476a38d5	rtx-cfd 3D Stage 1 item 3: cg3.cu + DeviceCg3 — the f64 CG entirely on the device (run_pcg's control flow: true-residual stop and resync, breakdown guard, mean projection, anchor shift; fixed-order block reductions, no atomics; the device V-cycle as preconditioner; DevicePcgCache3); gate 3 HELD: iterations = host, |Δp| ≤ 2e-14 relative, run-to-run bit-identical, singular box anchor exact / mean 2e-15 ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 11:18:52 -05:00
Omar SobhandClaude Fable 5.1	05ed96f383	rtx-cfd 3D Stage 1 item 2: mg3_vcycle.cu (seven-point red-black half-sweep, residual, coarsest; top/bot neighbour arrays carry the periodic wrap), LevelExport3/export_hierarchy3/vcycle_f32_reference3, DeviceVcycle3 (the K=1 sequence); gate 2 HELD: device = host f32 V-cycle to 4e-7 relative on 96×40×{1,8} (periodic and walls) and 378×62×62; 4.88 ms per V-cycle at 1.45 M cells incl. transfers ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 11:15:03 -05:00
Omar SobhandClaude Fable 5.1	c13b07b68d	rtx-cfd three_d: ignore reasons on the probes (clippy) ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 11:12:23 -05:00
Omar SobhandClaude Fable 5.1	0794e1b6db	rtx-cfd 3D Stage 1 item 1: three_d::{Grid3, poisson} — the 2D Poisson stack transcribed to a seven-point operator (sanitised coefficients, 2×2×2 Galerkin aggregation, (i+j+k)%2 colouring, periodic z, run_pcg line for line, PcgCache3); gate 1 HELD: nz=1 bit-identical to the 2D solver (solution + iterations, lex + red-black, cached/uncached); extrusion z-invariant to the solve's accuracy (bit-identical planes for lexicographic decoupled); probes for the aggregation/colouring interaction ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 11:11:52 -05:00
Omar SobhandClaude Fable 5.1	7e135893a2	rtx-cfd/rtx-fsi PERF-2 P3-iii K-stream mode: each lane thread's device operator lives on its own CUDA stream (no rendezvous; set_plane_streams, RTX_FSI2O_PLANE_MODE=streams default | batch); stream-mode unit test digit-identical to the solo apply ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-17 06:40:43 -05:00
Omar SobhandClaude Fable 5.1	95ffde9591	rtx-cfd/rtx-fsi PERF-2 P3-iii: the MarchPlane — lane-table V-cycle kernels (ml_*), the batched apply over K lanes' own operators, the plane rendezvous inside the CG's preconditioner (lane thread-local, CG guard), set_plane_lane/plane_counters; the fsi2_overset_plane driver (K lane threads, one process); G-P0 unit tests: K distinct operators batched = solo apply bit for bit, uneven lanes served exactly ... Co-Authored-By: Claude Fable 5.1 <[email protected]>	2026-09-16 17:03:51 -05:00
Omar Sobh	49ccebc863	rtx-cfd legacy GPU tests: the two point-source Poisson tests expect the sign of ∇²φ = f	2026-09-16 07:36:07 -05:00
Omar Sobh	eba2f61ddf	rtx-cfd CUDA Poisson kernels: solve ∇²φ = f as documented (the updates subtracted the source with the wrong sign); the Jacobi test's stop is absolute on a source of size 2π²	2026-09-16 07:34:28 -05:00