allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

docs(glossary): define TDoku16D, CrossDomainSynthesis, and MultiSurfacePacker terms

Browse source
This commit is contained in:
allaun 2026-06-28 23:55:22 -05:00
parent 3ee33486ae
commit 290fe36d26
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
docs/GLOSSARY.md
View file

@ -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