docs: align canonical commands + demo verify gate

.github/workflows/ci.yml

@@ -17,3 +17,4 @@ jobs:
         with:
           go-version: 'stable'
       - run: go test -count=1 ./...
+      - run: go run ./cmd/normalizer demo --out ./out/demo

Makefile

@@ -1,4 +1,4 @@
-.PHONY: test fmt build demo clean
+.PHONY: test fmt build demo verify clean
 
 VERSION ?= dev
 
@@ -12,8 +12,10 @@ build:
 	mkdir -p bin
 	go build -ldflags "-X main.version=$(VERSION)" -o bin/normalizer ./cmd/normalizer
 
-demo: build
-	./bin/normalizer demo --out ./out/demo
+demo:
+	go run ./cmd/normalizer demo --out ./out/demo
+
+verify: test demo
 
 clean:
 	rm -rf ./bin ./out

README.md

@@ -10,6 +10,17 @@ Deterministic CSV normalizer + validator.
   - `errors.csv`
   - `report.json`
 
+## Canonical commands
+
+```bash
+# Proof gate (one command)
+make verify
+
+# Proof gates (portable, no Makefile)
+go test -count=1 ./...
+go run ./cmd/normalizer demo --out ./out/demo
+```
+
 ## Quickstart
 
 ```bash

docs/HANDOFF.md

@@ -2,6 +2,17 @@
 
 This tool normalizes CSV inputs deterministically and produces a clean output + an error file.
 
+## Canonical commands
+
+```bash
+# Proof gate (one command)
+make verify
+
+# Proof gates (portable, no Makefile)
+go test -count=1 ./...
+go run ./cmd/normalizer demo --out ./out/demo
+```
+
 ## Build
 
 ```bash