allaun 3504bca392 feat(lean): add SilverSight Semantics core modules (Schema, Layout, WireFormat, View, LayoutBridge, CanalLayout) ... Implements the YaFF-inspired separation of schema, layout, and access pattern in Core/SilverSight/Semantics/: - Schema.lean: fixed-size Schema typeclass with byteSize and wellFormed. - Layout.lean: Layout enum, AccessProfile cost model, and cost-based selector with an ε-suboptimality theorem. - WireFormat.lean: certified encode/decode/roundTrip/encode_size structure. - View.lean: zero-copy View with address-arithmetic invariant. - LayoutBridge.lean: certified layout-conversion structure and identity bridges. - CanalLayout.lean: CanalRegime enum and regime-aware layout selection. Also updates: - lakefile.lean: adds SilverSight.Semantics.* roots to SilverSightCore. - docs/ARCHITECTURE.md, RRC_REFACTOR_READINESS.md, PROJECT_MAP.{md,json}, build_logs/2026-06-21_session_build_baseline.md, and GLOSSARY.md. - AGENTS.md: build baseline, blessed surfaces, and pending proof work. Build: 2987 jobs, 0 errors (lake build) Tests: Python 21/21, Lean/C 35/35		2026-06-21 14:00:56 -05:00
..
Semantics	feat(lean): add SilverSight Semantics core modules (Schema, Layout, WireFormat, View, LayoutBridge, CanalLayout)	2026-06-21 14:00:56 -05:00
FixedPoint.lean	feat(rrc): bare-minimum RRC refactor into SilverSight	2026-06-21 09:08:48 -05:00