Chapter 63

Validation report — full suite

github.com/openfluke/w2a✅ 246k cells

Why it exists

Claims are cheap; a stamped matrix is not. This is the actual output of one full w2a [0] Run ALL so the book's ✅ marks are backed by numbers you can reproduce, not asserted.

What it is

Every timed layer sweeps its dtype × format × backend matrix; every suite runs its case checks. v1.0 board: 246,032 matrix cells, FAIL 0, RESULT PASS. GAP cells are declared skips (not silent fails).

Full suite: PASS [0] Run ALL — 246,032 matrix cells — FAIL 0 — RESULT: PASS. GAP remains (honesty stamps): GDN non-float32 / non-packable formats, AffinePacked, exotic hemi9 dtypes, census + cross-numeric train declared skips, a handful of ser cells. GAP ≠ fail. Case-only stubs (seed, serialization, memory, donate, fountain, hardware) stay off the engine scorecard.

What grew since the 228k board

Test49 — 29 named TrainModes × 1³/2³/3³ × Parallel + Bicameral + poly kinds (origin-only). All cells OK.
Cameral perm — Mix / BranchModes / credit on sandwiches (OK cells + declared GAP on exotic dtypes).
Nested Sequential / Residual mixed children + ResidualGraft.
Mesh* credit tokens on the named-mode list (stack family on a grid walk).

Do not quote this stamp as a Lucy race or “beats PyTorch.” It is surface coverage: every claimed path either runs or is stamped GAP. Lucy Acc vs Score lives in AAI test50 (§68).

Cross-numeric train

W2A Step includes Cross-Numeric Train (kinds × weight dtype × act host; full census ~10.7k under the train op). Storage truth checked after StepMesh — no retained f32 master for non-float32 FormatNone. Public Dense demotion + W×A showcase: down-the-dem (chapter 65).

Go example

examples/63-validation/main.go

Run:cd welvet/examples/63-validation && source ../env.sh && go run .

package main

import "fmt"

func main() {
	cells := 246032
	fmt.Printf("w2a [0] ALL: %d cells  FAIL 0  RESULT PASS\n", cells)
	fmt.Println("GAP = declared skip (GDN non-f32, AffinePacked, …) — not a fail")
}

Output

exit 0 · last run via go run .

w2a [0] ALL: 246032 cells  FAIL 0  RESULT PASS
GAP = declared skip (GDN non-f32, AffinePacked, …) — not a fail

Validate (harness)

cd w2a && go run .   # [0] Run ALL; writes logs/suite.txt