Research-Stack/0-Core-Formalism/lean
Brandon Schneider eeec672dc7 feat: network latency as coursing agent in RouteCost
9th dimension: networkLatencyCost (12% weight)
- latencyClass: 0=local, 1=near, 2=far, 3=derp
- DERP relay (129ms) → qHalf cost → σ=1.0 (coarse BRAM)
- Local (<1ms) → qZero cost → σ=0.0 (exact BRAM)

Latency maps to FPGA voltage mode:
  local(0) → 1.2V σ₀ (exact)    BRAM Bank 0
  near(1)  → 1.0V σ₁ (normal)   BRAM Bank 1
  far(2)   → 0.8V σ₂ (approx)   BRAM Bank 2
  derp(3)  → 0.6V σ₃ (coarse)   BRAM Bank 3

Consistent latency is computable — not noise, but a fixed phase offset.
The latency IS the computation: it determines which precision to use.

Weights rebalanced: kernel 20→18, street 14→12, topology 16→14,
substrate 12→10, proof 14→12, risk 14→12, latency +12.
lake build: 2 jobs, 0 errors
2026-05-28 19:16:00 -05:00
..
conversions/hardware WIP: accumulated changes 2026-05-25 16:24:21 -05:00
external/OTOM WIP: accumulated changes 2026-05-25 16:24:21 -05:00
LeanGPT Remove legacy Python prototypes superseded by Lean formalization 2026-05-19 15:34:17 +00:00
Semantics feat: network latency as coursing agent in RouteCost 2026-05-28 19:16:00 -05:00
CHAIN_ALL_REVIEW_REPORT.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00