Repository navigation

Complete the finite-volume lemma chain and consolidate A–D - #8

Merged

GoGoKo699 merged 2 commits into

mainfrom

research/finite-volume-consolidation-2026-10-05

Oct 5, 2026

Merged

Complete the finite-volume lemma chain and consolidate A–D#8
GoGoKo699 merged 2 commits into
mainfrom
research/finite-volume-consolidation-2026-10-05

Commits on Oct 5, 2026
- Make the finite-volume proof explicit and consolidate the four author-side gates
  GoGoKo699
  committed
  f3b7ceb
- State the positive weight parameter explicitly before final verification
  GoGoKo699
  committed
  7a1c58e