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, honesty stamps, and the train-mode permutation smoke (Test49). See §63 for a live full-suite run.

What it is

Interactive go run . ([0] Run ALL). Suites under suites/*. StampBackendNote / AffinePackable prevent fake ✅. Test49: AllNamedTrainModes × 1³/2³/3³ × Parallel/Bicameral/poly, origin-only — included in [0].

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; [0] = ALL")
	fmt.Println("  go test ./tests/dense -v")
	fmt.Println("  go test ./tests/parallel -run Test49AllTrainModesCubes -count=1 -v")
}

Output

exit 0 · last run via go run .

w2a is a separate module — engine packages never contain tests.

  cd w2a
  go run .                                      # interactive; [0] = ALL
  go test ./tests/dense -v
  go test ./tests/parallel -run Test49AllTrainModesCubes -count=1 -v

Validate (harness)

cd w2a && go run .
cd w2a && go test ./tests/dense -v && go test ./tests/parallel -run Test49AllTrainModesCubes -count=1 -v