feat: uniview -- shared universal input, all tabs lens same content

feat: search tree/graph visualization for proof evolution

feat: no-code block composer for proof + program discovery

feat: C++ async message client with meta-clauses as default example

Upload 3 files