From 11c20c095812ec8ca7143131595b78f52bbf2223 Mon Sep 17 00:00:00 2001
From: Allaun Silverfox <28494262+allaunthefox@users.noreply.github.com>
Date: Tue, 26 May 2026 14:38:39 -0500
Subject: [PATCH] wiki: link PIST route-repair receipt update from home

---
 .../tiddlywiki-local/wiki/tiddlers/Research Stack Home.tid     | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/6-Documentation/tiddlywiki-local/wiki/tiddlers/Research Stack Home.tid b/6-Documentation/tiddlywiki-local/wiki/tiddlers/Research Stack Home.tid
index ef67d9d6..c102704c 100644
--- a/6-Documentation/tiddlywiki-local/wiki/tiddlers/Research Stack Home.tid	
+++ b/6-Documentation/tiddlywiki-local/wiki/tiddlers/Research Stack Home.tid	
@@ -1,5 +1,5 @@
 created: 20260506130000000
-modified: 20260506130000000
+modified: 20260526190000000
 tags: ResearchStack Home
 title: Research Stack Home
 type: text/vnd.tiddlywiki
@@ -31,6 +31,7 @@ and temporary maps before promotion into the durable doc layer.
 
 !! Lean Formal Verification
 
+* [[PIST Route-Repair and Receipt Update]] — v1.4/v1.4a repair status, Q16.16 quaternion receipts, and genus-0 control correction
 * [[Lean Semantics Overview]] — 421 .lean files, 31 subdirectories
 * [[Fixed Point Algebra]] — Q16_16 arithmetic proofs
 * [[Mass Number Theory]] — admissibility gate (A ≤ τ·(R + ε))