@nakednous/tree 0.0.27 → 0.0.28

package/README.md

@@ -18,22 +18,24 @@ import * as tree from '@nakednous/tree'
 
 ## Architecture
 
-`@nakednous/tree` is the bottom layer of a three-package stack. It knows nothing about renderers, the DOM, or p5 — it operates on plain arrays and `Float32Array` buffers throughout.
+`@nakednous/tree` is the bottom layer of a stack. It knows nothing about renderers, the DOM, or p5 — it operates on plain arrays and `Float32Array` buffers throughout.
 
 ```
   application
       │
       ▼
-  p5.tree.js        ← bridge: wires tree + ui into p5.js v2
+  twgl.tree · p5.tree · webgpu.tree   ← bridges: draw, the GPU ceremony, a framework adapter
+      │
+      ├── @nakednous/host  ← DOM transport: pointer, view, players, handles, devices, labels, orbit
       │
       ├── @nakednous/ui    ← DOM param panels, transport controls
       │
-      └── @nakednous/tree  ← this package: math, spaces, animation, visibility
+      └── @nakednous/tree  ← this package: math, spaces, animation, visibility, gizmo geometry
 ```
 
-The dependency direction is strict: `@nakednous/tree` never imports from the bridge or the DOM layer. This is what lets the same `PoseTrack` that drives a camera path also animate any object — headless, server-side, or in a future renderer.
+The dependency direction is strict: `@nakednous/tree` never imports from the host, the bridges, or the DOM layer; `host` and `ui` depend on `tree` only; a bridge depends on `tree` and `host`, never on another bridge. `@nakednous/*` never renders — rendering lives in the `*.tree` bridges. This is what lets the same `PoseTrack` that drives a camera path also animate any object — headless, server-side, or in a future renderer — and the same gizmo arrays draw through twgl, p5, or WebGPU.
 
-Source is organised into six focused modules:
+Source is organised into focused modules:
 
 ```
 form.js   — you have specs, you want a matrix
@@ -43,6 +45,9 @@ track.js  — spline math and keyframe animation state machines
 helm.js   — 6-DOF rate-stream integrator — the Track family's live-input sibling
 filter.js — input conditioning: the 1€ filter + absolute→rate differencing
 handle.js — constraint solver + ray primitives for interactive manipulators
+visibility.js — frustum planes and visibility tests
+camera.js — camera state (the CameraTrack keyframe shape) ↔ matrices, planes, and orbit edits
+gizmo.js  — line generators in twgl's arrays shape: axes, grid, cross, bulls-eye, ring, frustum, hermite, path, helm rig, locus, pane
 ```
 
 ---
@@ -105,7 +110,7 @@ track.add({ pos:[300,0,0] })                                    // auto tangents
 ```js
 rot: [x,y,z,w]                           // raw quaternion
 rot: { axis:[x,y,z], angle }             // axis-angle
-rot: { dir:[x,y,z], up?:[x,y,z] }        // look direction (−Z forward)
+rot: { dir:[x,y,z], up?:[x,y,z] }        // look direction (−Z forward); up re-seeded when ∥ dir
 rot: { euler:[rx,ry,rz], order?:'YXZ' }  // intrinsic Euler angles (radians)
                                          // orders: YXZ (default), XYZ, ZYX,
                                          //         ZXY, XZY, YZX
@@ -340,7 +345,7 @@ helm.profile = {
 **Frame — `from`.** `helm.from` names the space fed rates are interpreted in — a declaration the host reads to resolve the per-step `basis` (the core stays camera-agnostic):
 
 ```
-WORLD    world axes — the identity basis (step's basis is null)
+WORLD    the world-aligned eye frame — the identity basis (forward −Z; step's basis is null)
 EYE      a viewing camera's frame — screen-relative (default)
 SELF     the helm's OWN evolving pose — body-relative
 <mat4>   an explicit fixed frame
@@ -476,6 +481,45 @@ Three-state result: `VISIBLE` (fully inside), `SEMIVISIBLE` (intersecting), `INV
 
 ---
 
+### Camera state
+
+The camera is plain data — the `CameraTrack` keyframe shape — with pure functions between it and the matrices a draw uploads (`camera.js`). There is no camera object: a track evaluates into the state, a pose drives it, an orbit gesture edits it, and a renderer installs the matrices built from it.
+
+```js
+import { createCamera, cameraView, cameraEye, cameraProj, cameraPlanes, WEBGL } from '@nakednous/tree'
+
+const cam = createCamera({ eye: [0, 0, 500], center: [0, 0, 0], fov: Math.PI / 3, near: 0.1, far: 1000 })
+// { eye, center, up, fov | halfHeight, near, far } — fov xor halfHeight (perspective xor orthographic)
+
+// per-frame — zero allocation; aspect belongs to the viewport, never to the state
+cameraView(V, cam)                          // world → eye
+cameraEye(E, cam)                           // eye → world
+cameraProj(P, cam, width / height, WEBGL)   // mat4Persp from fov or mat4Ortho from halfHeight; null when both are null
+cameraPlanes(planes, cam, width / height)   // the six frustum planes — visibility straight from the state
+track.eval(cam)                             // a CameraTrack writes the state directly
+```
+
+Decomposers read the state back:
+
+```js
+cameraFromMat4(cam, E, P, WEBGL)   // eye, up, forward from E; the lens from P; the gaze distance |center − eye| is kept
+cameraFromPose(cam, pose)          // { pos, rot } → lookat at constant gaze distance; the lens untouched
+cameraToPose(pose, cam)            // lookat → { pos, rot } — the rotation of cameraEye, a helm's seed
+cameraCopy(out, cam)               // one state into another
+```
+
+Edits are in place and chainable — the arithmetic behind an orbit gesture, callable from a script just the same:
+
+```js
+cameraOrbit(cam, dAz, dEl, { maxEl })   // azimuth about the up hint, elevation clamped short of the pole; never rolls
+cameraDolly(cam, factor, { min, max })  // scales the gaze distance — or halfHeight under orthographic
+cameraPan(cam, dx, dy)                  // along the eye's right and up, world units (pixelRatio converts pixels)
+```
+
+Every function that needs the camera frame derives it through `mat4Eye`, so planes, poses and edits agree with `cameraEye` exactly — including the up re-seed when the view direction is parallel to the hint.
+
+---
+
 ### Manipulator constraints
 
 `handle.js` is the renderer-agnostic core of an interactive manipulator: ray-primitive intersections, az/el utilities, and a `Constraint` state machine. The `p5.tree` bridge wraps these into a draggable handle; this package supplies the math and the **contract** that makes the handle extensible.
@@ -483,6 +527,7 @@ Three-state result: `VISIBLE` (fully inside), `SEMIVISIBLE` (intersecting), `INV
 ```js
 import { createConstraint, SPHERE, PLANE, AXIS, DIAL, POINT, DIRECTION,
          raySphere, rayPlane, rayClosestPointOnAxis,
+         rayHitSphere, rayHitCapsule, rayHitRing,
          dirFromAzEl, azElFromDir } from '@nakednous/tree'
 
 const c = createConstraint(SPHERE, { radius: 1 })  // or PLANE / AXIS / DIAL
@@ -493,7 +538,28 @@ c.value(out, DIRECTION)       // write the reported value into out(3)
 
 `SPHERE` stores a unit direction (gimbal-free); `PLANE` / `AXIS` store a constrained point; `DIAL` stores an accumulated angle θ (multi-turn winding preserved). `value` reports a `DIRECTION` (unit) or a `POINT` per kind. `aim(ax,ay,az[, zx,zy,zz])` re-aims the constraint basis in the working space — `PLANE` takes a new normal (point re-projected), `AXIS` a new direction (`t` preserved), `DIAL` a new plane normal plus optional θ=0 reference (θ preserved) — the seam the `p5.tree` bridge's deferred `from` frame drives. Ray primitives are out-first and assume a unit ray direction; `rayPlane` returns `Infinity` when the ray is parallel.
 
-**Constraint contract (extension seam).** A constraint is any object exposing `kind`, `solve(ox,oy,oz, dx,dy,dz)`, `value(out, report)`, `seed(x,y,z)`, and optionally `scalar()` / `azEl(out2)` / `aim(ax,ay,az[, zx,zy,zz])`. The handle controller drives any conforming constraint, so a new kind — rotation, 6-DOF, or app-specific — implements this contract (portable, draw-free) plus a bridge-side locus draw, rather than forking the controller. The built-in `Constraint` is the reference implementation. Full design: [`handle-design.md`](./handle-design.md).
+**Hit tests — the analytic pick.** Beside the solve primitives, which always write a point, three tests write nothing and return the ray parameter `t` of the nearest hit with `t ≥ 0`, or `Infinity`: `rayHitSphere(o, d, c, r)`, `rayHitCapsule(o, d, a, b, r)` (the segment `a→b` swept by `r`) and `rayHitRing(o, d, c, u, R, r, detail = 32)` (the circle of radius `R` about `c` in the plane ⊥ `u`, swept by tube radius `r`, as a capsule chain of `detail` links — chordal error `R · (1 − cos(π / detail))`, never degenerate edge-on). A ray starting inside hits at its exit, so a press from inside a proxy still grabs. These are what a host's controller picks with instead of a tagged render pass: unproject the pointer, convert the grab size to working units through `pixelRatio`, test every candidate, nearest `t` wins.
+
+**Constraint contract (extension seam).** A constraint is any object exposing `kind`, `solve(ox,oy,oz, dx,dy,dz)`, `value(out, report)`, `seed(x,y,z)`, and optionally `scalar()` / `azEl(out2)` / `aim(ax,ay,az[, zx,zy,zz])` / `proxy(ox,oy,oz, dx,dy,dz, radius)` — the analytic pick: `t` or `Infinity` for a ray against the grab proxy of `radius` working units (built-in kinds: a sphere at the reported `POINT`; `DIAL`: the ring at the anchor with tube `radius`; a kind without one gets the sphere). The handle controller drives any conforming constraint, so a new kind — rotation, 6-DOF, or app-specific — implements this contract (portable, draw-free, its hit test included) plus a bridge-side locus draw, rather than forking the controller. The built-in `Constraint` is the reference implementation. Full design: [`handle-design.md`](./handle-design.md).
+
+---
+
+### Gizmo geometry
+
+`gizmo.js` generates the vertices a gizmo is made of — renderer-free, into a caller-owned arrays object in twgl's `arrays` shape, line lists (and one triangle list) that `createBufferInfoFromArrays` uploads as they are and a WebGPU vertex buffer is filled from. Drawing, colour state, HUD mode, textures and text stay in the bridges.
+
+```js
+import { createArrays, growArrays, capacityOf,
+         axesLines, gridLines, crossLines, bullsEyeLines, ringLines,
+         frustumLines, frustumCorners, hermiteLines,
+         pathLines, helmRigLines, locusLines, paneTris } from '@nakednous/tree'
+
+const out = createArrays(64, { color: true })       // { position, color, count }, the one allocating call
+let n = axesLines(out, { size: 100 })               // → the vertex count needed; writes min(n, capacity)
+if (n > capacityOf(out)) { growArrays(out, n); axesLines(out, { size: 100 }) }
+```
+
+Every generator is snprintf-style: it returns the count it needs, writes what fits and sets `out.count`, and states its count formula so a caller can pre-size exactly. With an `out.color` array, `axesLines` and `helmRigLines` write the semantic palette (`COLOR_X` · `COLOR_Y` · `COLOR_Z`, `COLOR_DIM` alpha for a dimmed stroke) and every other generator writes `opts.color`. The bit namespaces (`X` … `LABELS`, `NEAR` … `APEX`, `PATH` … `HANDLES`, `TRANSLATE` · `ROTATE`, `HANDLE` … `RING`) are gizmo-local. `frustumCorners` writes a camera's eight world-space corners (near face counter-clockwise from bottom-left, then far) from a camera state or a matrix-captured `{ mat4Eye, mat4Proj, ndcZMin }`; `pathLines` walks a track's own samplers; `helmRigLines` reads a helm's profile and activity; `locusLines` dispatches on a constraint's kind (or its own `locus(out, opts)`); `paneTris` is the textured quad with one upright uv orientation. Full design: [`gizmo-design.md`](./gizmo-design.md).
 
 ---
 
@@ -514,7 +580,7 @@ qToAxisAngle
 
 **Mat4 arithmetic** (`query.js`):
 ```
-mat4Mul  mat4Invert  mat4Transpose  mat4MulPoint  mat4MulDir
+mat4Mul  mat4Invert  mat4MulPoint  mat4MulDir
 mat3NormalFromMat4  mat4Location  mat3Direction
 mat4PV  mat4MV
 ```
@@ -524,8 +590,8 @@ mat4PV  mat4MV
 **Matrix construction from specs** (`form.js`):
 ```
 mat4FromBasis        — rigid frame from orthonormal basis + translation
-mat4View             — view matrix (world→eye) from lookat params
-mat4Eye              — eye matrix (eye→world) from lookat params
+mat4View             — view matrix (world→eye) from lookat params (up re-seeded when ∥ view direction)
+mat4Eye              — eye matrix (eye→world) from lookat params  (same rule)
 mat4FromTRS          — column-major mat4 from flat TRS scalars
 mat4FromTranslation  — translation-only mat4
 mat4FromScale        — scale-only mat4
@@ -552,6 +618,20 @@ projLeft  projRight  projTop  projBottom
 
 **Pick matrix:** `mat4Pick(proj, px, py, vp)` — mutates a projection matrix in-place so that the pixel at `(px, py)` maps to the full NDC square, making a 1×1 FBO render contain exactly that pixel. Takes the same signed viewport `vp` as `mapLocation` — the y-convention is preserved automatically.
 
+**Pointer ray:** `unproject(outO, outD, sx, sy, m, vp, ndcZMin)` — a screen point as a world ray: origin on the near plane, unit direction toward the far plane. Same bag and signed viewport as `mapLocation` (`mat4PVInv` filled by the caller); `null` when the bag has no inverse. The point-at-depth form stays `mapLocation(SCREEN → WORLD)` with a depth in `z`.
+
+**Pointer hit:** `pointerHit(px, py, x, y, z, radius, m, vp, ndcZMin, shape = CIRCLE)` — is the pointer within `radius` px of the projected world point? `CIRCLE` (Euclidean) or `SQUARE` (Chebyshev), boundary inclusive; a point whose screen depth falls outside `[0, 1]` never hits.
+
+**Pick-id codec:** `idToRgba(out, id)` packs a 24-bit id into `[r, g, b, 1]` normalised floats, R the low byte; `rgbaToId(r, g, b)` decodes the bytes of a readback. Id `0` is the background; ids run `1 … 2²⁴ − 1`.
+
+**Camera state** (`camera.js`):
+```
+createCamera  cameraCopy
+cameraView  cameraEye  cameraProj  cameraPlanes
+cameraFromMat4  cameraFromPose  cameraToPose
+cameraOrbit  cameraDolly  cameraPan
+```
+
 ---
 
 ### Constants
@@ -574,6 +654,9 @@ INVISIBLE, VISIBLE, SEMIVISIBLE
 SPHERE, PLANE, AXIS, DIAL
 POINT, DIRECTION
 
+// Pointer-hit shapes
+CIRCLE, SQUARE
+
 // Basis vectors (frozen)
 ORIGIN, i, j, k, _i, _j, _k
 ```
@@ -604,6 +687,19 @@ mapLocation(out, px, py, pz, WORLD, SCREEN,
 
 ---
 
+## Golden vectors
+
+`golden/` holds one JSON fixture per source module — `{ args, out }` cases for every exported function and `{ call, args, expect }` transcripts for the stateful classes — generated from this core and committed with the repo (not shipped in the package). They are both the regression suite and the port contract: a port is conformant when it reproduces them within the stated tolerances (exact for ints and enums, `1e-6` for `f64` state, `1e-5` for `f32` matrices).
+
+```bash
+npm run golden   # regenerate every fixture from src/
+npm test         # assert src/ against golden/, and that every export has a fixture
+```
+
+The fixture format is specified in `tools/golden.js`. A function without a fixture is not exported.
+
+---
+
 ## Relationship to `p5.tree`
 
 [p5.tree](https://github.com/VisualComputing/p5.tree) is the bridge layer. It reads live renderer state (camera matrices, viewport dimensions, NDC convention) and passes it to `@nakednous/tree` functions. It wires `PoseTrack` and `CameraTrack` to the p5 draw loop, exposes `createPoseTrack` / `createCameraTrack` / `getCamera`, and provides `createPanel` for transport and parameter UIs.