name: pluto-review description: Pluto-specific code review guidelines. Use as a general guideline when asked to conduct a code review.
Principles:
- Functional equivalence first; document and justify deviations.
- Use Charon v1.7.1 as the Go parity baseline. For DKG, sync, reshare, FetchDefinition, and peer-indexed broadcast code, load
references/trail-of-bits-charon-v2-audit.mdand apply it as a required security overlay when v1.7.1 behavior conflicts with the audit. - Evidence-based: prefer tests, outputs, and file/line references over guesses.
- Minimal change bias; avoid scope creep.
- No time estimates in review output.
When producing a review, include:
- Summary (1–3 sentences)
- Findings (ordered by severity)
- Parity matrix (if applicable)
- Tests (run or not run)
- Open questions/assumptions
Severity model:
- Critical: breaks contract, security issue, incompatible output/protocol.
- High: user-visible regression or parity gap with operational impact.
- Medium: behavioral difference with limited impact or edge cases.
- Low: minor inconsistency or optional improvement.
Findings format (use path:line references, 1-based):
- [Severity] Title
Impact: ...
Evidence: pluto/crates/foo/src/lib.rs:123
Go reference: charon/cmd/foo.go:456
Recommendation: ...
Parity matrix template:
| Component | Go | Rust | Match | Notes |
|---|---|---|---|---|
| CLI flag --foo | present | present | yes | |
| Error string for missing key | "..." | "..." | no | mismatch in punctuation |
| Wire format | pbio | pbio | yes |