Petri net → candidate trace generation → compiled WBS, dependency graph, timeline, kanban, and decision log with explanation cards.