VAREK v1.6 demo v1.6.2

Pre-execution verification of agent action graphs. USPTO Provisional 64/062,549 (May 2026). — github.com/kwdoug63/varek

This 56-second recording walks through the v1.6 unit tests, the kernel and adapter demos, and the patched v1.4 Warden refusing to fork on an UNSATISFIED plan and then layering plan-level and per-action verification on an authorized plan.

Scene	Substance
0:00	Title comments — v1.6 / USPTO 64/062,549
0:03	`make check` — 8 unit test binaries
0:11	`./plan_demo` — v1.6.0 kernel
0:15	`./adapter_demo` — v1.6.1 adapter + JSON pathology
0:24	Denied plan — patched Warden refuses to fork
0:39	Authorized plan — both `pp-` and `pr-` records visible
0:54	Closing — layered defense, end to end

Reproduce locally:

git clone https://github.com/kwdoug63/varek
cd varek/v1_6
make check
python3 demo/make_cast.py

Full annotated transcript, embedding instructions, and patent-claim mapping are in v1_6/demo/DEMO.md.