Allaun Silverfox
|
57bcd2ed7a
|
Add SilverSight Core + Library Manifest + RRC placement
- Core/SilverSightCore.lean: 200-line minimal core
* 8 Hachimoji states (classification alphabet)
* Receipt format (core-library interface)
* AVM transition function delta : S x I -> S'
* TIC axiom (derived, not driver)
* Loop invariant: computation generates time
* Library interface: Library := String -> Receipt
* Receipt validators (format, consistency, state validity)
- docs/LIBRARY_MANIFEST.md: 8-library architecture map
* LexLib, SearchLib, MetricLib, QUBOLib
* StructureLib, PVGSLib, EventLib, AuditLib
* Key rule: libraries import core only, never each other
- docs/RRC_PLACEMENT.md: RRCLib positioning
* RRC is its own library (not AuditLib, not SearchLib)
* 3 gates: type, projection, merge (H-KdF polynomial evaluation)
* Meta-level: receipts about receipts (hash chain)
* Rainbow = 3 color channels, Compiler = receipt -> verdict
|
2026-06-21 05:59:43 -05:00 |
|