simplify fl_invoker lup struct & co
bring the k/ specs under i/
add i mirror spec