Skip to content

proof(merkle): Stage 1.3 — IO↔pure bridge (proven Either-monad mirror + thin FFI assumption)#50

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/dazzling-noether-hkgAV
Jun 18, 2026
Merged

proof(merkle): Stage 1.3 — IO↔pure bridge (proven Either-monad mirror + thin FFI assumption)#50
hyperpolymath merged 1 commit into
mainfrom
claude/dazzling-noether-hkgAV

proof(merkle): Stage 1.3 — IO<->pure bridge (decompose: proven Either…

bbff31c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar