@woosh/meep-engine 3.20.0 → 3.22.0

package/src/engine/physics/CONSTRAINT_SOLVER_BENCH_LOG.md

@@ -1,208 +0,0 @@
-# Constraint-Solver Improvements — Benchmark Log
-
-Evidence log for `CONSTRAINT_SOLVER_IMPROVEMENTS_PLAN.md`. One section per phase:
-machine/Node, baseline vs after, delta, pass/fail, and any signed rationale for a
-regression that exceeds budget.
-
-**Environment:** Node v24.15.0 · Windows · single-thread JS · benches run via
-`npx jest --config jest.conf.json -t "<name>"` (flip `test.skip`→`test`).
-All numbers are a single in-process run unless noted (per the protocol, gate on
-same-process flag A/B; absolute ms vary by machine/thermal). Tick times in ms.
-
----
-
-## Phase 0 — Baseline (current `master` + inert flags)
-
-Flags present but all at defaults (`contactBiasSmoothBand=0`, `jointBlockSolve=false`,
-`jointSweepSymmetric=false`, `jointRelaxation=1`, `jointComplianceLin=0`) → behaviour
-identical to pre-change master. Ragdoll spec: 3/3 pass, golden bands hold, determinism
-intact.
-
-### ragdoll MICRO (1 ragdoll, 10 joints, floor+sphere, 600 ticks)
-
-| metric | mean | median | p95 | p99 | max |
-|--------|------|--------|-----|-----|-----|
-| tick (all) | 0.4505 | 0.3802 | 0.7315 | 1.3891 | 4.2801 |
-| tick (last 1s) | 0.4325 | 0.3664 | 0.8504 | 1.0324 | 1.0324 |
-
-final awake **11 / 11** (never sleeps) · final max |v|+|ω| **0.1352**
-
-### ragdoll FIELD (N=64, 704 bodies, 640 joints, 600 ticks)
-
-| metric | mean | median | p95 | p99 | max |
-|--------|------|--------|-----|-----|-----|
-| tick (all) | 33.55 | 32.68 | 46.22 | 56.10 | 62.74 |
-| tick (first 1s, settle) | 27.31 | 24.99 | 37.62 | 62.57 | 62.57 |
-| tick (last 1s, settled) | 34.67 | 33.83 | 47.28 | 52.07 | 52.07 |
-
-avg awake 704.0 / 704 · final awake **704 / 704 (asleep 0)** · residual max |v|+|ω| **0.4997**
-asleep histogram: **0.0 every second** — the pile never sleeps; steady-state cost
-(34.7ms) is *higher* than settle (27ms). **This is the gap.** Target: A2/A3 drive
-asleep ↑ and settled-window tick ↓.
-
-### settling grid (1024 shapes, A4 / sleep canary)
-
-| metric | mean | median | p95 | p99 | max |
-|--------|------|--------|-----|-----|-----|
-| tick (all) | 4.155 | 1.732 | 29.74 | 33.31 | 79.96 |
-| tick (first 1s) | 22.88 | 29.74 | 35.28 | 79.96 | 79.96 |
-| tick (last 1s, settled) | 1.464 | 1.425 | 1.794 | 2.088 | 2.088 |
-
-final awake **77 / 1024** (stacks sleep) · fall-through **0** — A4 must preserve both.
-
-### Deferred (run at phase boundaries / final sweep)
-- KEVA tower (~15 min/run) — large-island contact; run pre/post per phase, not per-commit.
-- falling tower, MeshStack, Rain, raycast — control benches; full sweep in Phase 4.
-
----
-## Phase 1 — A4: smooth contact position bias
-
-`position_correction_bias(depth, spook_a, band)` helper; both bias sites share it;
-`contactBiasSmoothBand` (default **0**). At band=0 the math is bit-identical to the
-old hard hinge → **140/141 physics tests pass unchanged** (ragdoll spec + PhysicsSystem
-spec), determinism intact. **PASS (refactor).**
-
-A/B on the settling-grid canary (band=0.005 vs baseline, same machine):
-
-| metric | baseline | A4 on (0.005) | Δ |
-|--------|----------|---------------|---|
-| settled tick (last 1s, mean) | 1.464 | 1.535 | +4.8%* |
-| settled tick (median) | 1.425 | 1.463 | +2.7% (within 3% noise) |
-| final awake | 77/1024 | 77/1024 | — (sleep preserved) |
-| fall-through | 0 | 0 | — |
-
-\* sub-ms absolute; within run-to-run noise for this scene (grid settles below slop
-fast, so A4's band barely engages here). **PASS** — quality gates green (fall-through 0,
-sleep intact), perf within the ≤+2% budget on the median.
-
-**Decision:** A4 implemented + validated-safe; **default stays off** (`band=0`). Whether
-to default-on (and whether it helps the ragdoll residual) is judged combined with A2/A3
-in Phase 4. Knob available for tuning.
-
-### Windowed-metric baselines (A4 off — used for A2/A3 A/B)
-Bench residual metric switched from single-tick (noisy) to worst over last 1s.
-
-| scene | tick mean | tick median | tick p99 | last-1s mean | residual | asleep |
-|-------|-----------|-------------|----------|--------------|----------|--------|
-| MICRO | 0.4250 | 0.3769 | 1.1478 | — | — | 0/11 |
-| FIELD (N=64) | 31.92 | 31.68 | 46.13 | 32.27 | **0.7515** | **0/704** |
-
-(Run-to-run variance vs Phase-0 ≈ 5% — gate on same-process A/B, not cross-run absolutes.)
-
----
-## Phase 2 — A2: block 3×3 point-solve + symmetric sweep
-
-`jointBlockSolve` + `jointSweepSymmetric` (both default **false**). Inert at default
-→ 167 joint/system tests pass unchanged. Same-process A/B on the ragdoll benches:
-
-| scene | baseline | A2 on | Δ |
-|-------|----------|-------|---|
-| MICRO tick mean | 0.4250 | 0.3669 | **−13.7%** |
-| FIELD tick mean | 31.92 | 26.81 | **−16.0%** |
-| FIELD residual (max) | 0.7515 | 0.7445 | ~0 |
-
-**A2 is a perf win, not a cost** (the block does 1 solve + ≤2 impulse applies vs 3
-axes × 2 applies, and is better-conditioned). Well under the +10% budget — it's
-negative. Residual ~unchanged (expected: A2 sharpens convergence; killing the limit
-cycle is A3's job). **PASS.**
-
-**Finding (drives A3):** A2 *enabled* against the full instrumented spec fails
-`settledSpeedMean` (2.26 > 1.8). The under-converged per-axis solve was supplying
-*incidental numerical damping*; the exact block solve removes it, leaving the
-metastable on-sphere ragdoll livelier. A2 ⇒ must pair with A3 dissipation.
-
-## Phase 3 — A3: under-relaxation (ω) [+ compliance deferred]
-
-`jointRelaxation` (default **1** = off). Applied to all three solve paths.
-A2+A3 on the canonical seed (full instrumented spec):
-
-| metric | baseline | A2+A3 (ω=0.90) | Δ |
-|--------|----------|----------------|---|
-| settled lin accel (per-pt) | 55.07 | **3.79** m/s² | −93% |
-| settled ang accel (per-pt) | 36.9 | **4.21** rad/s² | −89% |
-| settled lin speed (per-pt) | 0.73 | **0.067** m/s | −91% |
-| settled ang speed (per-pt) | 0.75 | **0.189** rad/s | −75% |
-| MICRO tick mean | 0.425 | 0.365 | −14% |
-| transient pen (static) | 0.26 | 0.38 | **+46%** (cost) |
-
-The settled residual collapses ~10–14× — the gap the whole effort targeted. With
-defaults flipped on, **all 175 non-ragdoll joint/vehicle/IK/island tests still pass**;
-only the ragdoll golden *lower* bounds trip (we improved past them).
-
-### ⚠ Complication — ω is chaotic on the metastable scene (why we did NOT burn it in)
-
-Sweeping ω on the spec (single ragdoll draped on a convex sphere):
-
-| ω | settled lin speed | verdict |
-|---|-------------------|---------|
-| 1.00 | 0.981 | livelier |
-| 0.97 | **5.81** | slid off / unsettled |
-| 0.95 | 0.437 | good |
-| 0.92 | **4.50** | slid off / unsettled |
-| 0.90 | 0.067 | great |
-| 0.75 | 3.62 | unstable |
-
-Non-monotone and **bimodal**: the ragdoll either settles on the dome or slides off,
-and tiny ω changes flip the basin. So a good ω on one seed (0.90) is **not** a robust
-global default — a neighbouring scene could land in a bad basin. Also ω<~0.8 starves
-constraint convergence → energy injection. Plus the +46% transient-penetration cost.
-
-**Decision:** Do **not** burn in ω as a default off single-seed data — that is exactly
-the brittle-default risk this plan exists to avoid. A2/A3/A4 ship as **validated opt-in
-knobs, default off (zero regression)**. Full physics suite with defaults off: **865
-pass, 0 fail.**
-
-## Phase 4 — burn-in (no flags)
-
-Directive: **no flags/toggles on the engine** — converge to one baked behaviour.
-That required deciding each change on *robust* evidence, not the canonical seed.
-
-### Monte-Carlo settled-accel **median over 150 seeds** (the decider)
-
-| config | worst-point setA median | worst-point setV median |
-|--------|-------------------------|-------------------------|
-| baseline (no A2/A3) | ~68 | ~1.23 |
-| A2 only (ω=1) | ~71 | ~1.53 |
-| A2 + ω=0.90 | **~102** | ~2.04 |
-
-The single-seed ω=0.90 win (3.8 m/s²) was **basin luck** — across the seed space ω
-*raises* the median residual, and A2 raises settled velocity ~20%. **The settled
-jitter is basin/sleep-dominated, not solver-convergence-dominated** (per-seed variance
-≫ any config difference). No convergence/relaxation lever moves the median. So:
-
-### Burn-in decision
-
-| change | verdict | action |
-|--------|---------|--------|
-| **A2** (block 3×3 point-solve + symmetric sweep) | robust **−9–16%** joint-solve time, exact ball-socket, mass-ratio-robust; residual-neutral in median | **BAKED as the single code path** (no flag) |
-| **A3** (ω under-relaxation) | median-*worse*, chaotic/bimodal, +46% transient pen | **REMOVED** (disproven bandaid) |
-| **A4** (contact bias smoothing) | neutral, benefit unproven; baking would churn contact determinism for no measured gain | **REVERTED** to original hard hinge |
-
-All flags/config fields removed (`jointBlockSolve`, `jointSweepSymmetric`,
-`jointRelaxation`, `contactBiasSmoothBand`). Solver has one path. Final:
-
-| scene | pre (baseline) | post (A2 baked) | Δ |
-|-------|----------------|-----------------|---|
-| MICRO tick mean | 0.425 | 0.388 | −9% |
-| FIELD tick mean | 31.92 | 28.65 | −10% |
-| FIELD residual / asleep | 0.75 / 0 | 0.74 / 0 | neutral |
-
-Re-baselined one golden band: `settledSpeedMean` 1.8→2.9 hi (A2's honest liveliness;
-documented in the spec). Full physics suite: **865 pass / 0 fail.**
-
-### The jitter goal is NOT closed — and the data says why
-
-A2 is a perf+correctness win but does **not** reduce the settled jitter (it slightly
-raises it — removing the per-axis solve's incidental damping). The Monte-Carlo proves
-the residual is basin/sleep-dominated. **The real lever is island sleep, not the
-solver:** an *aggregate-energy + hysteresis* sleep criterion (plan item **B**) lets an
-over-constrained island deactivate once its *total* energy is low, instead of requiring
-every body under the per-body gate continuously (which the limit cycle never satisfies).
-Recommended next step. Beyond that, **A1** (reduced-coordinate articulation) removes the
-maximal-coordinate joint residual at the source.
-
-**Net of this effort:** a faster, more correct joint solver (shipped, no flags) + a
-rigorous, evidenced redirection of the jitter goal to the lever that can actually move
-it (sleep), instead of a brittle solver knob that looked good on one seed.
-
-

package/src/engine/physics/CONSTRAINT_SOLVER_IMPROVEMENTS_PLAN.md

@@ -1,364 +0,0 @@
-# Constraint-Solver Improvements Plan — A2 / A3 / A4
-
-**Status:** complete — A2 baked (no flags); A3/A4 dropped on evidence; jitter goal
-redirected to sleep · **Date:** 2026-06-09 · **Area:** `engine/physics` solver
-
-> **Outcome (numbers + reasoning in `CONSTRAINT_SOLVER_BENCH_LOG.md`).** Burned in with
-> **no flags/toggles** — one solver path. The Monte-Carlo **median over 150 seeds** was
-> the decider (single-seed results were basin-luck):
-> - **A2** (block 3×3 point-solve + symmetric sweep) — **BAKED**: −9–16% joint-solve
->   time, exact ball-socket, mass-ratio-robust; residual-neutral in the median. The one
->   robust win.
-> - **A3** (ω under-relaxation) — **REMOVED**: raises the *median* residual, chaotic /
->   bimodal in ω on the metastable scene, +46% transient penetration. A disproven
->   bandaid, not shipped.
-> - **A4** (contact-bias smoothing) — **REVERTED**: neutral, benefit unproven; not worth
->   churning contact determinism.
->
-> All config fields removed. Full physics suite **865 pass / 0 fail**; one golden band
-> re-baselined for A2's (honest) slightly-livelier settle.
->
-> **The settled-jitter goal is not closed by the solver — and the data shows why:** the
-> residual is **basin/sleep-dominated, not convergence-dominated** (per-seed variance ≫
-> any config difference), so no convergence/relaxation lever moves the median. The real
-> lever is **island sleep** (item **B** below: aggregate-energy + hysteresis criterion),
-> then **A1** (reduced coordinates) to remove the maximal-coordinate residual at source.
-> A2 ships as a faster/more-correct foundation; B is the recommended next step.
-
-## 0. Goal & prime directive
-
-Close the residual-jitter / "never sleeps" gap on coupled, over-constrained islands
-(ragdolls, jointed chains) **without** resorting to "bump the iteration count". Three
-systemic changes, all staying inside the existing maximal-coordinate TGS solver:
-
-- **A4 — smooth the split-impulse position bias** near the penetration slop (kill the
-  bang-bang relay that drives contact-side chatter).
-- **A2 — block joint point-solve + root-ordered symmetric Gauss-Seidel** (remove
-  intra-joint coupling error and the directional bias of one-way PGS).
-- **A3 — constraint-level dissipation**: under-relaxation (SOR ω) on the joint solve +
-  optional compliance/damping on the locked joint DOFs (so the limit cycle *decays*
-  instead of persisting; replaces leaning on global velocity damping).
-
-**Prime directive for this work:** *every significant step is gated by the benchmark
-suite.* The engine is real-time and single-thread JS — a stray allocation, a polymorphic
-deopt, or an extra hot-loop branch can erase the win. We do **not** discover performance
-regressions after the fact: each change ships with an **a-priori expected perf delta**
-and a **hard gate**. A measured regression beyond its anticipated budget **halts the
-phase** until it is either optimized away or signed off with a recorded rationale.
-
-This is the engineering counterpart to the reduced-coordinate option (A1), which is
-explicitly **out of scope** here (see §8). A2/A3/A4 narrow the gap inside the current
-architecture; A1 is a separate strategic bet.
-
-## 1. Background
-
-The solver is already modern (see `JOLT_REVIEW.md`, `RAPIER_REVIEW.md`, `BULLET_REVIEW.md`,
-`PLAN.md`): TGS, 4 substeps with per-substep position re-integration, per-substep
-warm-starting for **both** contacts and joints, Catto split-impulse, persistent
-feature-ID manifolds, atomic island sleeping. The jitter is therefore **not** a missing
-technique — it is:
-
-1. **An unconverged coupled-island limit cycle.** 10 maximal-coordinate cone-twist joints
-   + self/ground contacts + ~4:1 mass ratio, solved by sequential impulse, leave a
-   residual that → 0 only in the iteration limit. The split-impulse position bias
-   re-derives from penetration around the 5 mm slop every substep — a relay forcing term —
-   while the only dissipation is blunt global velocity damping. Forcing + weak damping =
-   a low-amplitude limit cycle.
-2. **Above the sleep gate.** The residual spikes to ~0.7 rad/s, 7× the
-   `√sleepVelocitySqrThreshold ≈ 0.1` gate, so the island's sleep timer keeps resetting
-   and it never deactivates. (Same phenomenon the KEVA bench documents: a 5,320-body
-   island that "never fully quiesces, so atomic-island sleep rarely triggers".)
-
-The quality signal is already pinned by `PhysicsSystem.ragdoll.spec.js`:
-`GOLDEN.settledLinSpeed` (0.4–1.2 m/s, obs 0.73) and `GOLDEN.settledAngSpeed`
-(0.4–1.2 rad/s, obs 0.75), plus the 1000-seed Monte-Carlo sweep. Those are our quality
-acceptance instruments; this plan adds the *performance* acceptance instruments alongside.
-
-## 2. The three changes (scope summary)
-
-| ID | Change | Primary files | Risk | A-priori perf delta (gate) |
-|----|--------|---------------|------|----------------------------|
-| **A4** | Smooth contact position bias near slop | `solver/solve_contacts.js` | Low | ≤ **+2%** mean/p99 on contact-heavy benches; ~0% ragdoll |
-| **A2** | Block 3×3 joint point-solve; root-order joints; symmetric (alternating) sweep | `constraint/solve_constraints.js`, `island/*`, `ecs/PhysicsSystem.js` | Medium | ≤ **+10%** joint-heavy at *equal* `jointIterations`; **target net-neutral / negative** after iteration tuning; ~0% on contact-only benches |
-| **A3** | SOR under-relaxation + locked-DOF compliance/damping | `constraint/solve_constraints.js`, `ecs/Joint.js`, `ecs/PhysicsSystem.js` | Low–Med | ≤ **+2%** joint-heavy |
-
-Cumulative worst-case before tuning: **≈ +8–14%** on the joint-heavy ragdoll-field bench,
-**≈ +2–3%** contact-heavy, **≈ 0%** contact-only-no-joint. After A2 enables a
-`jointIterations` reduction at equal-or-better convergence (Phase 4), the joint-heavy
-target is **≤ +3% or net-negative**. These are the numbers the gates enforce.
-
-## 3. Measurement methodology & acceptance gates
-
-> This section is the backbone of the plan. No code change is merged until its
-> measurement step is green.
-
-### 3.1 Benchmark suite (existing — the perf canaries)
-
-Run from the moh root (`npx jest --config jest.conf.json -t "<name>"`, flip `test.skip`→`test`):
-
-- `ecs/PhysicsSystem.bench.spec.js`
-  - *falling tower* (1000 random shapes) — broad mixed contact load
-  - *settling grid* (1024) — **sleep canary** (must still sleep fast)
-  - *KEVA tower* (5,320) — large-island contact stress (heaviest; run alone)
-  - *high-churn lifecycle* (10k ticks) — alloc/leak/drift detector
-  - *reproducibility* (8 trials bit-identical) — **determinism gate**
-- `constraint/swing_twist.bench.spec.js` — joint math microbench (A2/A3 canary)
-- `ecs/PhysicsMeshStack.bench.spec.js`, `ecs/PhysicsNarrowphaseRain.bench.spec.js`,
-  `queries/raycast.bench.spec.js` — **control benches**: should be ~0% on all three
-  changes; non-zero here means we touched code we didn't mean to.
-
-### 3.2 New benches to add (Phase 0)
-
-`ecs/PhysicsSystem.ragdoll.bench.spec.js` (reuse `buildScene` from the ragdoll spec):
-
-- **micro** — 1 ragdoll × 600 steps: per-tick joint-solve cost in isolation (A2/A3 signal,
-  low contact noise).
-- **macro / field** — *N* ragdolls (start N=64, also report N=256) dropped into a shared
-  pile: realistic joint+contact+self-collision load. This is the **headline A2/A3 perf
-  bench**.
-- **settle metric** — for the field scene, report **(a)** ticks-until-island-sleep and
-  **(b)** fraction of bodies asleep at t=10 s, plus the settled-speed peak. This is the
-  *quality-of-settling* number the whole effort is about; it must **improve** (more sleep,
-  less residual), never regress.
-
-Follow the existing bench conventions exactly: `test.skip` by default, `performance.now()`
-per `fixedUpdate`, `compute_stats`, fixed seeds, report `sys.storage.awake_count`.
-
-### 3.3 Quality / stability gates (must stay green on every change)
-
-1. `PhysicsSystem.ragdoll.spec.js` — all 3 active tests pass; `GOLDEN.settledLinSpeed`
-   / `settledAngSpeed` bands hold (or **improve**, with a deliberate re-baseline recorded).
-2. **Determinism** — bit-identical: the ragdoll determinism test (256 steps) **and** the
-   bench reproducibility trial. No `toBeCloseTo`; `===` only.
-3. **No NaN/Inf**, no fall-through (`count_fall_through == 0` on the thick-slab benches),
-   KEVA stack holds.
-4. **Sleep not broken** — settling grid still reaches near-full sleep in the last second.
-5. Monte-Carlo sweep (`RAGDOLL_SWEEP_RUNS=200`) — no NaN seeds; worst settled speed within
-   band across the seed space.
-
-### 3.4 Performance protocol (JS noise control)
-
-JS timing is noisy; measurements are only trustworthy under a fixed protocol:
-
-- **Prefer same-process A/B via config flags** (§3.6): run each bench twice in one process,
-  flag-off then flag-on, and report the **delta**. This cancels machine/JIT/thermal
-  variance — the cleanest signal and the primary acceptance measurement.
-- **Warm-up**: discard the first full bench run (JIT tier-up) before timing.
-- **Repetition**: 5 runs; report **median of the per-run medians** for p50 and the
-  **max of per-run p99** for tail.
-- **Noise band**: deltas **< 3%** are reported but **not** gated (within run-to-run noise).
-  Gates trigger only on deltas that exceed both 3% **and** the budget.
-- **Environment**: record `node -v`, OS, machine; same machine for baseline and
-  comparison; AC power, no competing load. Pin the Node version for the whole effort.
-- KEVA (~15 min/run) is run **once per phase** (pre/post), not per-commit; the
-  lightweight benches (ragdoll micro/field, settling grid, swing_twist) run per-commit.
-
-### 3.5 Regression policy & anticipated-budget gate
-
-The user requirement — *"if performance regresses it must be anticipated and within
-expected limits"* — is operationalized as:
-
-- Each phase has a **budget** (the per-bench numbers in §2 / the table below).
-- After implementing a phase, run the protocol (§3.4). For every bench:
-  - delta **≤ budget** → **accept**, record the number.
-  - budget **< delta** within a documented stretch (e.g. before the Phase-4 iteration
-    cut) → **accept only with a one-line signed rationale** in the results log naming why
-    and the recovery plan.
-  - delta **> budget** with no rationale → **STOP**. Optimize (profile for alloc/deopt/
-    branch cost) or revert. Do not proceed to the next phase on an unexplained regression.
-- Quality gate failing → **STOP** regardless of perf (correctness-first; no loosening
-  tolerances to pass — see project policy).
-
-**Consolidated budget table** (filled with measured baselines in Phase 0):
-
-| Bench | Metric | Baseline (Phase 0) | After A4 | After A2 (equal iters) | After A3 | After Phase-4 tune |
-|-------|--------|--------------------|----------|------------------------|----------|--------------------|
-| ragdoll field (N=64) | p50 / p99 tick | TBD | budget +0% | +≤10% | +≤2% | **≤ +3% or ↓** |
-| ragdoll field — sleep% @10s | higher=better | TBD | ≥ baseline | **↑** | **↑** | **↑** |
-| settling grid | p50; last-1s | TBD | +≤2% | +≤1% | +≤1% | ≤ +3% |
-| KEVA tower | mean tick | TBD | +≤2% | +≤1% | +≤1% | ≤ +3% |
-| falling tower | p50 / p99 | TBD | +≤2% | +≤1% | +≤1% | ≤ +3% |
-| swing_twist micro | mean | TBD | ~0% | +≤15%* | +≤3% | ≤ +5% |
-| MeshStack / Rain / raycast | p50 | TBD | ~0% | ~0% | ~0% | ~0% |
-
-\* swing_twist is a pure joint-math microbench with no iteration-count amortization, so it
-shows A2's per-iteration cost most starkly; the field bench (with iteration tuning) is the
-real-world number.
-
-### 3.6 Config flags for clean A/B (and uniform-flow burn-in)
-
-Add solver config fields (defaults preserve current behavior so Phase 0 baseline ==
-current `master`), letting each change be measured in isolation and rolled back instantly:
-
-- `contactBiasSmoothing: boolean` (A4)
-- `jointBlockSolve: boolean`, `jointSweepSymmetric: boolean` (A2)
-- `jointRelaxation: number` (A3, ω; default **1.0** = no relaxation)
-- `jointComplianceLin: number` / `jointDampingLin: number` (A3; default **0** = rigid)
-
-These follow the existing config-knob style (`velocityIterations`, `jointIterations`, …),
-not sentinels. **Burn-in (Phase 4):** once a *boolean* is validated as strictly better,
-**collapse to the single path and delete the flag** (uniform control flow — we don't keep
-two joint solvers forever). The *numeric* knobs (`jointRelaxation`, compliance/damping)
-stay as real tuning config with sensible defaults.
-
-### 3.7 Results log
-
-Commit `CONSTRAINT_SOLVER_BENCH_LOG.md` next to this plan: one table per phase with
-machine/Node, baseline vs after, delta, pass/fail, and any signed rationale. The plan is
-the contract; the log is the evidence.
-
-## 4. Phases
-
-### Phase 0 — Baseline & harness (no solver changes)
-
-**Objective:** lock a trustworthy baseline and the new benches before touching the solver.
-
-- [ ] Add `ecs/PhysicsSystem.ragdoll.bench.spec.js` (micro + field + settle metric, §3.2).
-- [ ] Add the config flags (§3.6) wired as **no-ops at default** (pure plumbing; verify
-      determinism + golden bands unchanged → proves the plumbing is inert).
-- [ ] Run the **full** suite under the protocol (§3.4); fill the §3.5 baseline column and
-      seed `CONSTRAINT_SOLVER_BENCH_LOG.md`. Record `node -v`, machine.
-- [ ] Confirm all §3.3 quality gates green on baseline.
-- **Exit:** baseline numbers committed; flags inert; determinism intact.
-
-### Phase 1 — A4: smooth contact position bias
-
-**Why first:** smallest, most contained change (one function, contact-side only), so it
-validates the gate discipline before we touch the joint hot path. Independent of A2/A3.
-
-- [ ] In `solve_contacts.js` position pass, replace the hard slop gate
-      (`if depth>slop: bias=-spook_a*(depth-slop)` then `MAX_POSITION_BIAS` clamp) with a
-      **smooth ramp** across a small band above the slop (e.g. quadratic ease-in to the
-      linear region, or softplus), removing the C0 kink and the saturation corner that the
-      contact rings on. Keep the asymptotic linear gain identical so steady-state push-out
-      is unchanged.
-- [ ] Behind `contactBiasSmoothing` flag.
-- **Expected perf:** +2–4 flops/contact/position-iter (×4 substeps). Budget **≤ +2%** on
-  KEVA / grid / falling tower; **~0%** ragdoll & control benches.
-- [ ] **Bench gate:** flag-off vs flag-on A/B on KEVA, settling grid, falling tower,
-      ragdoll field, + control benches. Confirm within budget; record in log.
-- [ ] **Quality gate:** §3.3, with attention to fall-through (bias change must not let
-      penetration leak) and settled penetration band in the ragdoll spec.
-- **Exit:** within budget, quality green, logged. (Decision to default-on deferred to
-  Phase 4 burn-in.)
-
-### Phase 2 — A2: block point-solve + root-ordered symmetric Gauss-Seidel
-
-**Objective:** remove intra-joint coupling error and one-way-sweep directional bias — the
-structural joint-convergence win.
-
-- [ ] **Block the 3 locked-linear DOFs** of each joint: form the 3×3 effective-mass
-      `K = (invMₐ+invM_b)I + skew(rₐ)ᵀinvIₐskew(rₐ) + skew(r_b)ᵀinvI_b skew(r_b)`,
-      solve the coupled impulse via a **closed-form, zero-alloc, regularized** 3×3 inverse
-      (guard near-singular → ε or per-DOF fallback). Keep `LIMITED`/`MOTOR`/`SPRING`
-      angular DOFs per-DOF (inequalities don't block cleanly). Behind `jointBlockSolve`.
-      *(Standard Catto block-solver technique applied to the ball-socket point.)*
-- [ ] **Root-order joints** per island: BFS from a chosen root over island connectivity
-      (reuse `island/` data); store one pooled ordered-index array per island.
-- [ ] **Symmetric sweep**: alternate forward (root→tip) / backward each joint iteration.
-      Behind `jointSweepSymmetric`.
-- [ ] Preserve **warm-start** semantics exactly (per-substep replay); the block solve must
-      accumulate the same `dofImpulse` representation so warm-start and determinism hold.
-- **Expected perf:** per-joint-iteration linear-block arithmetic +40–80% vs 3 scalars,
-  ×`jointIterations`(8)×substeps(4). Budget **≤ +10%** joint-heavy / swing_twist **≤ +15%**
-  at equal iterations; **~0%** on contact-only & control benches (joint path not hit — a key
-  canary that the change is properly scoped).
-- [ ] **Bench gate:** A/B each flag *independently* then together, on ragdoll micro/field +
-      swing_twist + KEVA (KEVA has few joints → confirms ~0% there) + controls.
-- [ ] **Quality gate:** §3.3 + **convergence improvement evidence**: settled speed should
-      drop and/or sleep% rise on the ragdoll field bench at equal `jointIterations`.
-      Determinism re-baselined deliberately (the solve order/maths changed → exact values
-      change; update determinism reference + golden bands in one commit, recorded).
-- **Exit:** within budget, measurable convergence/sleep improvement, quality green, logged.
-
-### Phase 3 — A3: constraint-level dissipation
-
-**Objective:** make the residual *decay* (targeted dissipation), built on A2's solver.
-
-- [ ] **Under-relaxation (SOR ω<1)** on the joint velocity solve: scale the per-iteration
-      impulse delta by `jointRelaxation` (default 1.0). One multiply per DOF/iter.
-- [ ] **Locked-DOF compliance + damping**: give the locked joint DOFs a small SPOOK
-      compliance with damping by **reusing the existing `SPRING`/γ regularization path**
-      (`solve_constraints.js`), driven by `jointComplianceLin`/`jointDampingLin`
-      (default 0 = rigid). Soft *with damping* (not soft alone — soft alone rings).
-- [ ] Add per-joint override fields on `Joint` only if a global default proves insufficient
-      (prefer one global default; avoid per-joint sentinel sprawl).
-- **Expected perf:** ω ~free (<0.5%); compliance adds a few flops/locked-DOF/iter. Budget
-  **≤ +2%** joint-heavy; ~0% elsewhere.
-- [ ] **Tuning sweep:** grid `jointRelaxation ∈ {1.0, 0.9, 0.8, 0.7}` ×
-      `compliance/damping ∈ {off, light, medium}` measured against the **settled-speed /
-      sleep%** metric on the ragdoll field bench (and the Monte-Carlo sweep for robustness
-      across seeds). Pick the point that minimizes residual **without** making the ragdoll
-      visibly spongy (watch joint-anchor error / limit overshoot).
-- [ ] **Bench gate** + **quality gate** (§3.3); confirm the chosen ω/compliance lands the
-      ragdoll into **sleep within 10 s** (the headline outcome) and tighten the golden
-      bands to the new, lower settled speed (recorded re-baseline).
-- **Exit:** ragdoll sleeps / residual materially reduced; within budget; logged.
-
-### Phase 4 — Iteration tuning, burn-in, final regression sweep
-
-**Objective:** convert A2's better convergence into a perf *win*, and clean up.
-
-- [ ] With A2+A3 on, **reduce `jointIterations`** (8 → trial 6, 5, 4) and re-measure: find
-      the lowest count that holds the quality gates. This is where the joint-heavy budget
-      returns to **≤ +3% or net-negative**. (Note: this is *not* "bump iterations" — it's
-      spending A2's convergence headroom to **cut** work.)
-- [ ] **Burn-in**: for each validated boolean flag, collapse to the single code path and
-      delete the flag (uniform control flow). Keep numeric knobs as documented config with
-      the chosen defaults.
-- [ ] **Full final regression sweep** including KEVA and the high-churn + reproducibility
-      lifecycle benches; fill the final budget column; sign off any residual overage.
-- [ ] Update `PLAN.md` / relevant `*_REVIEW.md` cross-references; note remaining gap vs A1.
-- **Exit:** all gates green, log complete, flags burned in, defaults set.
-
-## 5. Risk register & rollback
-
-| Risk | Mitigation |
-|------|------------|
-| Hot-loop **allocation** in the 3×3 block path (GC → tail-latency spike) | All scratch in pooled typed arrays / locals; verify via p99 + high-churn drift bench; profile allocations |
-| **Deopt / megamorphism** from new branches | Keep flags monomorphic; burn-in removes branches; control benches must stay ~0% |
-| Block **near-singular** `K` (degenerate config) | Regularized inverse + per-DOF fallback; covered by a degenerate-config unit test |
-| **Determinism** drift (cross-platform FP from new math/order) | Re-baseline deterministically in one commit; reproducibility bench is a gate |
-| A3 **over-damping** → spongy ragdoll / joint drift | Tuning sweep gates on joint-anchor error + limit overshoot, not just residual |
-| Accidental scope creep into contacts (A2) | Contact-only & control benches must read ~0%; any movement = STOP & investigate |
-| Each change is independently **revertible** | Config flags until Phase-4 burn-in; one phase per commit series |
-
-## 6. Definition of done
-
-- Ragdoll **sleeps within 10 s** (or residual settled speed materially reduced and golden
-  bands re-baselined lower); Monte-Carlo sweep robust across seeds.
-- Every bench within its final budget (§3.5); all quality gates (§3.3) green; determinism
-  bit-identical; `CONSTRAINT_SOLVER_BENCH_LOG.md` complete with machine/Node and any
-  signed rationales.
-- Flags burned in; tuning knobs documented with defaults.
-
-## 7. Out of scope (referenced, not done here)
-
-- **A1 — reduced-coordinate (Featherstone) articulation.** The exact-joint formulation;
-  a separate strategic pillar (parallel solver + contact-coupling layer + two-formulation
-  maintenance tax). A2/A3/A4 narrow the gap inside the current architecture first; A1 is
-  evaluated on its own once these land and are measured.
-- **B — joint-aware island sleep** (aggregate-energy + hysteresis sleep criterion). A
-  complementary, mostly-orthogonal change to `__sleep_test` in `PhysicsSystem.js`. If
-  A3 already gets the ragdoll under the existing gate, B may be unnecessary; if not, B is
-  the cheap finisher. Track separately.
-
-## 8. Appendix — touch points (current `master`)
-
-- **Config knobs** — `ecs/PhysicsSystem.js`: `substeps`(4), `velocityIterations`(4),
-  `positionIterations`(1), `jointIterations`(8), `sleepVelocitySqrThreshold`(0.01),
-  `sleepTimeThreshold`(0.5). Add A2/A3/A4 flags here.
-- **A4** — `solver/solve_contacts.js`: `PENETRATION_SLOP`(0.005), `CONTACT_RELAXATION`(4.75),
-  `MAX_POSITION_BIAS`(3), SPOOK gains (`g_spook_a`), per-contact position-bias block.
-- **A2/A3** — `constraint/solve_constraints.js`: joint velocity solve, per-DOF loop,
-  per-substep warm-start, `LIMITED` inequality handling, `SPRING`/γ compliance path
-  (reused by A3), `swing_twist_error`. Joint ordering: `island/` (union-find + builder).
-- **A3 joint fields** — `ecs/Joint.js` (`DofMode`, `dofImpulse`), `constraint/DofMode.js`.
-- **Benches** — `ecs/PhysicsSystem.bench.spec.js`, `constraint/swing_twist.bench.spec.js`,
-  `ecs/PhysicsMeshStack.bench.spec.js`, `ecs/PhysicsNarrowphaseRain.bench.spec.js`,
-  `queries/raycast.bench.spec.js`; **new** `ecs/PhysicsSystem.ragdoll.bench.spec.js`.
-- **Quality** — `ecs/PhysicsSystem.ragdoll.spec.js` (`GOLDEN` bands, determinism,
-  Monte-Carlo sweep), `ecs/PhysicsSystem.bench.spec.js` reproducibility trial.
-
-> Line numbers intentionally omitted in favor of symbol names — they drift; grep the
-> symbols. Verify each touch point before editing.