Chapter 62

w2a — validation harness

github.com/openfluke/w2a🚧 harness

Why it exists

Engine packages must stay free of tests. w2a owns timed 34×20×3 matrices, gap census, and honesty stamps. See §63 for a live full-suite run.

What it is

Interactive go run ., suites under suites/*, go test ./tests/. StampBackendNote / AffinePackable prevent fake ✅.

Go example

examples/62-w2a/main.go

Run:cd welvet/examples/62-w2a && source ../env.sh && go run .

package main

import "fmt"

func main() {
	fmt.Println("w2a is a separate module — engine packages never contain tests.")
	fmt.Println("")
	fmt.Println("  cd w2a")
	fmt.Println("  go run .                    # interactive menu")
	fmt.Println("  go test ./tests/dense -v    # timed FormatNone matrix")
	fmt.Println("  go test ./tests/mha -v      # MHA coverage")
}

Output

Run python3 _gen_welvet_book.py --run to capture output.

Validate (harness)

cd w2a && go run .
cd w2a && go test ./tests/dense -v && go test ./tests/mha -v