[pr-cleanup] Organize and cleanup 19 open PRs

[gHashTag]

Summary

Need to organize 19 open PRs in the repository.

PR Status

✅ Batch Dependabot PR

• chore(deps): Batch Dependabot updates — May 2026 #624 — Batch Dependabot updates (10 PRs combined) — READY TO MERGE
  • Closes: chore(deps)(deps): bump reqwest from 0.12.28 to 0.13.3 #619 chore(deps)(deps): bump dirs from 5.0.1 to 6.0.0 #618 chore(deps)(deps): bump tower-http from 0.6.8 to 0.6.10 #617 chore(deps)(deps): bump tokio from 1.52.1 to 1.52.3 #616 chore(deps)(deps): bump colored from 2.2.0 to 3.1.1 #615 chore(deps)(deps): bump sha2 from 0.10.9 to 0.11.0 #614 chore(ci)(deps): bump docker/login-action from 3 to 4 #613 chore(ci)(deps): bump actions/github-script from 7 to 9 #612 chore(ci)(deps): bump docker/setup-buildx-action from 3 to 4 #611 chore(ci)(deps): bump actions/setup-python from 5 to 6 #610

⚠️ Conflict PRs (3) — REBASE REQUIRED

• feat(fpga): GF16 hardware on XC7A100T — clock fix, heartbeat, dot4 verified #588 — feat(fpga): GF16 hardware on XC7A100T — CONFLICTING
• feat(fpga): Vivado cloud synthesis workflow #573 — feat(fpga): Vivado cloud synthesis workflow — CONFLICTING
• test(notebooklm): benchmarks + unit tests for notebooks/sources/queries (refs #305) #568 — test(notebooklm): benchmarks — CONFLICTING

✅ Mergeable Feature PRs (7)

• feat(tri): L-TRI-3 W2 — V2 integration in POST /prove + Solana (Closes #607) #608 — feat(tri): L-TRI-3 W2 V2 integration — MERGEABLE
• chore(zenodo): PASS-9 add missing doi field to CITATION.cff #603 — chore(zenodo): PASS-9 add doi — MERGEABLE (SUPERSEDED by v1.0.0)
• chore(zenodo): PASS-8 fix placeholder DOIs in t27 .bib files #601 — chore(zenodo): PASS-8 fix placeholders — MERGEABLE (SUPERSEDED by v1.0.0)
• feat(proofs): L-T27-SYNC-L1 — bootstrap trinity proofs subtree from trios #586 — feat(proofs): L-T27-SYNC-L1 — MERGEABLE
• feat: FPGA VSA Hardware Acceleration + PhD Chapters (refs #305) #571 — feat: FPGA VSA Hardware — MERGEABLE
• feat: Neon experiment_queue — WAVE-GF-001 migrations + phi-LR seed data #570 — feat: Neon experiment_queue — MERGEABLE
• feat(canonical): 🌻 CANONICAL COQ HOME — 38 bundles / 297 Qed / single source of truth #569 — feat: Canonical Coq Home — MERGEABLE

Action Items

1. Close superseded Zenodo PRs

• Close chore(zenodo): PASS-9 add missing doi field to CITATION.cff #603 (PASS-9) — v1.0.0 handles DOI
• Close chore(zenodo): PASS-8 fix placeholder DOIs in t27 .bib files #601 (PASS-8) — v1.0.0 handles DOI

2. Rebase conflict PRs

• Rebase feat(fpga): GF16 hardware on XC7A100T — clock fix, heartbeat, dot4 verified #588 on master
• Rebase feat(fpga): Vivado cloud synthesis workflow #573 on master
• Rebase test(notebooklm): benchmarks + unit tests for notebooks/sources/queries (refs #305) #568 on master

3. Review mergeable PRs

• Review feat(tri): L-TRI-3 W2 — V2 integration in POST /prove + Solana (Closes #607) #608 — L-TRI-3 W2
• Review feat(proofs): L-T27-SYNC-L1 — bootstrap trinity proofs subtree from trios #586 — L-T27-SYNC-L1
• Review feat: FPGA VSA Hardware Acceleration + PhD Chapters (refs #305) #571 — FPGA VSA
• Review feat: Neon experiment_queue — WAVE-GF-001 migrations + phi-LR seed data #570 — Neon experiment_queue
• Review feat(canonical): 🌻 CANONICAL COQ HOME — 38 bundles / 297 Qed / single source of truth #569 — Canonical Coq Home

4. Merge batch dependabot

• Merge chore(deps): Batch Dependabot updates — May 2026 #624 after CI passes

---

Related: https://github.com/trinity-s3ai/t27/releases/tag/v1.0.0