Upgrade UI to advanced minimalist tactical design; remove default footer links.

UI restyle: strict monochrome tactical palette (black/gray/white) for conjecture lab space

Retarget fallback model away from DeepSeek and keep explicit work-trace footer

Update UI footer and remove Gradio orange accents

Final sync push for conjecture lab space

Fix startup compatibility: Lean output textbox + launch css

Deploy Conjecture Lean+AI Lab Space

initial commit