Add Worker 4 formal proofs: Merkle DAG, content-addressed state, accessibility#36

ib823 wants to merge 1 commit intomainib823/proof:mainfrom

claude/coq-merkle-dag-accessibility-qfpvJib823/proof:claude/coq-merkle-dag-accessibility-qfpvJCopy head branch name to clipboard