Mermaid To ProVerif

1sequenceDiagram2  autonumber3  participant H as Human reviewer4  participant V as Web viewer5  participant P as PlanPack JSON6  participant O as Orchestrator7  participant R as Research and idea agents8  participant C as Consolidator9  participant T as Validation-contract agent10  participant I as Implementation agent11  participant Q as Validation agent12  participant CR as Code reviewer13 14  H->>V: Open PlanPack15  V->>P: Load JSON plan and rendered sections16  P-->>V: Human-readable plan with section anchors17  H->>V: Add comments and quick actions on sections18  V-->>H: Copy/export structured comment packet19  H->>O: Hand comments back to orchestrator20  O->>P: Apply comments as JSON plan deltas21 22  par Planning research and ideas before consolidation23    O->>R: Explore requirements risks options24    R-->>O: Findings and candidate approaches25  and Human review remains available26    H->>V: Re-review updated rendered plan27    V-->>H: Anchored comments and actions28  end29 30  O->>C: Consolidate research and comments31  C->>P: Write consolidated JSON plan32  O->>T: Write validation contract and test design33  T->>P: Add acceptance criteria checks and test plan34 35  H->>V: Review consolidated plan and validation contract36  alt Human requests changes37    H->>O: Export more anchored comments38    O->>P: Update JSON plan39    O->>C: Re-consolidate before implementation40  else Human approves41    par Separate implementation and validation agents42      O->>I: Implement from JSON plan43      I-->>O: Code changes44    and Validation preparation45      O->>Q: Prepare independent validation from contract46      Q-->>O: Harness/checklist ready47    end48 49    O->>Q: Validate implementation against contract50    Q-->>O: Pass/fail evidence51 52    alt Validation fails53      O->>P: Update plan with failed checks and next actions54      O->>I: Rework implementation55    else Validation passes56      O->>CR: Final code review57      alt Review blocks58        CR-->>O: Blocking feedback59        O->>P: Record fixes, mortem, process feedback60        O->>I: Rework or split follow-up61      else Review approves62        CR-->>O: Approved for release lane63        O->>P: Mark implementation validated/reviewed64      end65    end66  end