Pipelines
Refrag image namespace — production VLM tier reservation
Architecture and rollout of the visual-frontier reservation system across BMAD diffusion VV, autoresearch, and CAD vision pipelines.
Research
Publications, pre-prints, and applied notes from the Doradus research team. Every entry links back to the source corpus, runtime artifacts, or production deployment that backs it.
Formal proof
Formal-proof lane — Lean 4 / Mathlib4 verifier (Mac fleet)
End-to-end pipeline pairing the Mac fleet formal-prover lane with a Lean 4 / Mathlib4 verifier. Math-verified outputs for trading and research.