Project Process ↔ Task Explorer
Coda implemented: operations now carry typed input/output ports (lists of state IDs), so precedence is induced by
port-wiring (outputs feeding inputs) rather than a single from → to arrow. Parallel branches are just multiple
operations sharing an input state; joins are operations whose in lists mention multiple prerequisite states.
Diagram uses the first input/output port for drawing, but dependency logic supports all ports.
Next Milestones
- Let operations have multiple inputs/outputs and render ports explicitly (little sockets on boxes) while keeping the same DOM scaffold.
- Enrich ops with duration/cost/risk; compute CPM/DSM views from the same operad-algebra source of truth.
- Add a lax reverse mapping (tasks → plausible processes) as constraint synthesis rather than a strict functor.