update lean squad

Author: dsyme

workflows/lean-squad.md

@@ -575,8 +575,8 @@ This is a reflective task. The goal is not to prove more things, but to evaluate
      - **Date**: YYYY-MM-DD HH:MM UTC
      - **Commit**: `<SHA>`
      ```
-   - **Overall assessment**: 2–4 sentences on the current state of formal verification and its utility.
-   - **Proved theorems** table: theorem name, file, level (low/mid/high), bug-catching potential (low/medium/high), notes.
+   - **Overall assessment**: 2–4 sentences on the current state of formal verification and its utility. Include links to proofs and code where relevant.
+   - **Proved theorems** table: theorem name (with link), file, level (low/mid/high), bug-catching potential (low/medium/high), code link, notes. Link each theorem to the corresponding Lean proofs and Rust code it relates to.
    - **Gaps and recommendations**: what should be proved next and why — prioritised by impact.
    - **Concerns**: any theorems that look proved but may be vacuous due to model approximations (cross-reference CORRESPONDENCE.md).
    - **Positive findings**: highlight any case where FV revealed or confirmed something non-obvious.