# SilverSight — Language Port

Source of truth: `/home/allaun/SilverSight/formal/` (Lean 4)

This directory mirrors the Lean module structure. Each file implements
the same theorems/algorithms in this language, providing independent
cross-validation across runtimes.

Module map:
  CoreFormalism/     → formal/CoreFormalism/  (braid, Q16_16, Sidon)
  SilverSight/       → formal/SilverSight/    (PIST, AVMIsa, RRC)
  BindingSite/       → formal/BindingSite/    (DNA, hachimoji)
  PVGS_DQ_Bridge/    → formal/PVGS_DQ_Bridge/
  UniversalEncoding/ → formal/UniversalEncoding/
  nuvmap/            → python/nuvmap/         (NUVMAP projection)
