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

23 KiB

1024x342px

Raw Permalink History