From 290fe36d2673fc0a14b7a284a52efb3d9e66a125 Mon Sep 17 00:00:00 2001
From: allaun <allaun@researchstack.info>
Date: Sun, 28 Jun 2026 23:55:22 -0500
Subject: [PATCH] docs(glossary): define TDoku16D, CrossDomainSynthesis, and
 MultiSurfacePacker terms

---
 docs/GLOSSARY.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/GLOSSARY.md b/docs/GLOSSARY.md
index b277afdf..e2afd1ba 100644
--- a/docs/GLOSSARY.md
+++ b/docs/GLOSSARY.md
@@ -81,6 +81,9 @@ name and explains the delta.
 | **Instr** | AVM instruction set: `push`, `pop`, `dup`, `swap`, `load`, `store`, `jump`, `jumpIf`, `prim`, `halt`. | `formal/SilverSight/AVMIsa/Instr.lean` |
 | **Prim** | Finite AVM primitive set: boolean ops and saturating Q0_16/Q16_16 add/sub. | `formal/SilverSight/AVMIsa/Instr.lean` |
 | **AVMIsa.Emit** | Top-level JSON output boundary. Stamps AVM canary receipts and RRC corpus bundles. | `formal/SilverSight/AVMIsa/Emit.lean` |
+| **TDoku16D** | Projected gradient descent constraint propagation on the 16D subspace $L1 \oplus L2$ using $Q16\_16$ integer steps. | `formal/SilverSight/PIST/Tdoku16D.lean` |
+| **CrossDomainSynthesis** | Enclosure and defect proof boundaries validating critical ratios and $1/n$ scaling thresholds. | `formal/SilverSight/PIST/CrossDomainSynthesis.lean` |
+| **MultiSurfacePacker** | Multi-surface $\Delta\Phi\Gamma\Lambda$ Lagrangian optimization decision logic and GCCL swap gating. | `formal/SilverSight/PIST/MultiSurfacePacker.lean` |
 
 ## Fixed-point and numerics