Skip to content

Pull requests: gHashTag/trios

New pull request New
53 Open 298 Closed
53 Open 298 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

🌊 Wave-31: keypackage_init_key_reuse + external_psk_id_provenance grandmaster Trinity-grandmaster orchestrated mission (paper+Coq+Rust+army) one-shot ONE SHOT mission issue trios-chat wave-31
#771 opened May 13, 2026 by gHashTag Owner Loading…
1
feat(phd): integrate full Coq proof corpus (57 .v / 427 theorems) — Phase 3
#769 opened May 12, 2026 by gHashTag Owner Loading…
1
chore(zenodo): PASS-9 image-gate root-fix + broken refs
#767 opened May 12, 2026 by gHashTag Owner Loading…
1
chore(zenodo): PASS-8 Appendix F→M rename completion + image-gate
#763 opened May 12, 2026 by gHashTag Owner Loading…
1
🧹 L-DOI-HONEST: honest DOI/Coq provenance (R5)
#739 opened May 12, 2026 by gHashTag Owner Loading…
feat(gf16): port GPTQ Hessian-correction with GF16 quantiser (replicates parameter-golf#2135 lever on CPU) enhancement New feature or request P1
#649 opened May 9, 2026 by gHashTag Owner Loading…
1
1
🌊 feat(trios-chat) Wave-6: sealed-sender unlinkability + traffic-analysis + CR-CHAT-07 + Coq 29/0 + 500/500 falsifier
#643 opened May 9, 2026 by gHashTag Owner Loading…
1
fix(matrix-bot): fail-soft on stale MATRIX_DATABASE_URL (Wave 25 mitigation) bug Something isn't working P1
#642 opened May 9, 2026 by gHashTag Owner Loading…
1
1
💍 feat(trios-chat) Wave-3+4: ring architecture + Coq INV-CHAT-4 + 300/300 falsifier
#636 opened May 9, 2026 by gHashTag Owner Loading…
1
💬 feat(trios-chat) Wave-2: full Double Ratchet + persist + MLS skeleton + 200/200 falsifier
#633 opened May 9, 2026 by gHashTag Owner Loading…
1
💬 feat(trios-chat): Trinity Secure Chat EPIC scaffold (Closes trinity-fpga#28..#38 in trios mirror)
#631 opened May 9, 2026 by gHashTag Owner Loading…
1
chore(golden-sunflowers): remove NEON-mirror markdown duplicates — NEON ssot.chapters is sole SSOT
#514 opened May 6, 2026 by gHashTag Owner Loading…
feat(queen-doctor): autonomous Queen↔Doctor loop over canonical bus
#506 opened May 3, 2026 by gHashTag Owner Loading…
feat(#500): fix(lint): L8 Unblock - Remove GitButler hook blocking git p
#504 opened May 3, 2026 by gHashTag Owner Loading…
1
fix(lint): L8 Unblock - Remove GitButler hook blocking git push
#503 opened May 3, 2026 by gHashTag Owner Loading…
1
dev
#494 opened May 2, 2026 by gHashTag Owner Loading…
11 tasks
feat(canonical): 🌻 Stub 47 mirror Coq files → Trinity Canonical Coq Home (companion to t27#569)
#433 opened Apr 30, 2026 by gHashTag Owner Loading…
fix(ci): I5 ring docs compliance — README.md + TASK.md + AGENTS.md for all rings
#371 opened Apr 29, 2026 by gHashTag Owner Loading…
feat(#238): scaffold rings/ for trios-vsa — VS-00, VS-01, BR-OUTPUT
#361 opened Apr 29, 2026 by gHashTag Owner • Draft
feat(#238): scaffold rings/ for trios-hdc — HD-00, HD-01, BR-OUTPUT
#360 opened Apr 29, 2026 by gHashTag Owner • Draft
feat(#238): scaffold rings/ for trios-crypto — CY-00, CY-01, CY-02, BR-OUTPUT
#359 opened Apr 29, 2026 by gHashTag Owner • Draft
feat(#238): scaffold rings/ for trios-physics — PH-00, PH-01, BR-OUTPUT
#358 opened Apr 29, 2026 by gHashTag Owner • Draft
feat(#238): scaffold rings/ for trios-precision-router — PR-00, PR-01, BR-OUTPUT
#357 opened Apr 29, 2026 by gHashTag Owner • Draft
feat(#238): scaffold rings/ for trios-hybrid — HY-00, HY-01, BR-OUTPUT
#356 opened Apr 29, 2026 by gHashTag Owner • Draft
feat(#238): scaffold rings/ for trios-sdk — SD-00, SD-01, SD-02, BR-OUTPUT
#354 opened Apr 29, 2026 by gHashTag Owner • Draft
ProTip! Add no:assignee to see everything that’s not assigned.