Claude/academic proofs verification ax1p y#29

Merged

hyperpolymath merged 6 commits intomainfrom

claude/academic-proofs-verification-AX1pY

Dec 31, 2025

Commits on Dec 31, 2025

Add comprehensive academic documentation for oblivious computing
claude
committed
Add compiler architecture specifications (OCaml frontend + Rust backend)
claude
committed
Implement Oblibeny compiler scaffold (OCaml frontend + Rust backend)
claude
committed
Fix OCaml portability: use open_out_bin for cross-platform consistency
claude
committed
Fix critical security and reliability issues from audit
claude
committed
Merge branch 'main' into claude/academic-proofs-verification-AX1pY
hyperpolymath
authored