[Sigsum-general] Lantern: witness model for an open-source AI agent verification board