The complete work plan and completion criteria

The plan is retained in full as eight work packages. The proved modules replace vague targets by explicit certificates. Open bridges remain open rather than being declared solved by a change of terminology.