Welvet examples

62. w2a — validation harness

Open original example ↗Recorded results · not a live execution

Part: IX · Validate
Package: github.com/openfluke/w2a
Status: ok — ✅ harness

When

You need github.com/openfluke/w2a.

Where

import "github.com/openfluke/welvet/github.com/openfluke/w2a"

cd 62-w2a && source ../env.sh && go run .

Why

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

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].

Sample output (captured)

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

Live capture from go run ./cmd/runall on local ../../welvet (exit 0).

Source

Copied from the Welvet feature book examples (openfluke.github.io/welvet/examples/62-w2a).

main.go

Download source ↓
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")
}