diff --git a/docs/images/what-typekernel-does.jpg b/docs/images/what-typekernel-does.jpg
index d8670c3c..7a5c4b1c 100644
Binary files a/docs/images/what-typekernel-does.jpg and b/docs/images/what-typekernel-does.jpg differ
diff --git a/docs/images/zayju-inspired-n.png b/docs/images/zayju-inspired-n.png
index 94cb155d..c68cbce8 100644
Binary files a/docs/images/zayju-inspired-n.png and b/docs/images/zayju-inspired-n.png differ
diff --git a/docs/trials/2026-10-29-b4-cold-zayju/proof-text.png b/docs/trials/2026-10-29-b4-cold-zayju/proof-text.png
index e4e0658d..924adada 100644
Binary files a/docs/trials/2026-10-29-b4-cold-zayju/proof-text.png and b/docs/trials/2026-10-29-b4-cold-zayju/proof-text.png differ