1 commit

Author	SHA1	Message	Date
allaun	4490dc28a7	feat(rrc): bare-minimum RRC refactor into SilverSight ... - Move canonical FixedPoint to Core/SilverSight/FixedPoint.lean - Add SilverSightRRC library: RRC logogram gates, receipt bridge, AVM ISA - Add AVMIsa.Emit as the sole top-level JSON output boundary - Add rrc-emit-fixture executable and Python I/O shims - Update AGENTS.md, glossary, project map, and build baseline Build: 2981 jobs, 0 errors (lake build)	2026-06-21 09:08:48 -05:00

Renamed from tests/q16_roundtrip_test.py (Browse further)