a11oy build wave: leader-grade console v4. INSTILL canonical knowledge (v5.1.0: locked-5 F1/F11/F12/F18/F19 proven, wave3/4/5 proof blocks, 23 puriq formulas, 10 vertical policies, plain-language maturity labels). ADD 4 out-of-this-world tabs: Trust Ledger (entity graph + verified hash-chain proof timeline), Knowledge Lineage (axiom->theorem->formula->DOI DAG colored by proof maturity + AIBOM export), Mission Health (Workloads honeycomb + business-outcome banner + signed trust floor), Reasoning Replay (3D run-tree + eval-on-span + chain receipt). UPGRADE graphs: live auto-refresh, animated, tooltips/legends/units, 3D where it helps. 33 tabs. HONEST: Lambda=Conjecture 1; only kernel-verified labeled proven; SLSA L2 (not L3); UNSIGNED receipts labeled honest; 0 amaru/sentra/rosie user-visible refs. All in-image data REAL (live local endpoints).