From ba348715718950e90315fe84bd1dd21133475d20 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 30 Oct 2026 06:16:10 +0000 Subject: [PATCH] =?UTF-8?q?docs:=20S0=20draft=20=E2=80=94=20align=20commit?= =?UTF-8?q?=20wording,=20name=20prescribed-study=20observable?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 5.5 --- docs/moving_bodies.md | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/docs/moving_bodies.md b/docs/moving_bodies.md index 4af8c90..a4de59c 100644 --- a/docs/moving_bodies.md +++ b/docs/moving_bodies.md @@ -181,9 +181,9 @@ experiment above. moving body exists; swept band touching domain boundaries, other bodies, sensors or force regions; `set_body` offset outside the declared box, per-step move ≥ 1 cell, speed above the declared bound. -- Host state is committed only after a successful upload (same contract as Jet - amplitude updates); an uncertain device-write failure makes the simulation - unusable. +- Host motion state is committed only after the upload *and* the following + synchronization of the step group succeed (section 4); any failure in + between makes the simulation unusable and no host/device match is reported. - Device-side soft diagnostics (refill fallbacks) are counters, not errors. ## 8. Coupling and units (CANDIDATE) @@ -222,7 +222,8 @@ protocol and physical reference uncertainty must be fixed before adoption, and none may be weakened after seeing runs): normalised momentum-ledger residual FP32 ≤ 5e-6 (FP64 oracle ≤ 2e-13); 10-cycle relative mass drift ≤ 1e-4; prescribed-motion grid study D = 40/80/160 -with final-step amplitude change ≤ 2 % and phase ≤ 2°; enlarged domain +with change in the force-response amplitude (observed quantity and norm to be +named before adoption) ≤ 2 % and phase ≤ 2°; enlarged domain amplitude change ≤ 1 %; matched-frame force RMS ≤ 2 % and improving with refinement; VIV refinement amplitude ≤ 2 %, frequency ≤ 1 %, five consecutive cycle amplitudes within 1 %.