Skip to content

Pull requests: gHashTag/t27

New pull request New
22 Open 427 Closed
22 Open 427 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-28: t27c gen-verilog const-array aggregate initializer no longer emits unparseable localparam comment-only initializer (Closes #743)
#744 opened May 22, 2026 by gHashTag Owner Loading…
1
2
Trinity S3AI v3.1 — 182/182 QED, 0 Admitted, 23 formulas
#708 opened May 19, 2026 by gHashTag Owner Loading…
10
chore(deps)(deps): bump gethostname from 0.5.0 to 1.1.0
#704 opened May 18, 2026 by dependabot Bot Loading…
5
chore(deps)(deps): bump serde-wasm-bindgen from 0.4.5 to 0.6.5
#703 opened May 18, 2026 by dependabot Bot Loading…
5
chore(deps)(deps): bump axum from 0.7.9 to 0.8.9
#702 opened May 18, 2026 by dependabot Bot Loading…
5
chore(deps)(deps): bump tower-http from 0.6.8 to 0.6.11
#701 opened May 18, 2026 by dependabot Bot Loading…
5
chore(deps)(deps): bump jsonwebtoken from 9.3.1 to 10.4.0
#700 opened May 18, 2026 by dependabot Bot Loading…
5
fix(codegen): R-SI-1 (no mul) + R-NAME (field underscore) in VerilogCodegen
#699 opened May 18, 2026 by gHashTag Owner Loading…
1
4
feat(coq): PhiSquaredIdentity — close Crown47↔Coq gap
#691 opened May 16, 2026 by gHashTag Owner Loading…
1
fix(citation): add doi field for Zenodo Sentinel R5 audit
#652 opened May 15, 2026 by gHashTag Owner Loading…
1
4
feat(c-prime-isa): LOAD-PHYS-CONST opcode 0xDE spec · L-DPC24 Lane C'
#632 opened May 15, 2026 by gHashTag Owner Loading…
1
chore(deps): Batch Dependabot updates — May 2026
#624 opened May 15, 2026 by gHashTag Owner Loading…
1
feat(tri): L-TRI-3 W2 — V2 integration in POST /prove + Solana (Closes #607)
#608 opened May 14, 2026 by gHashTag Owner Loading…
7 of 11 tasks
1
feat(proofs): L-T27-SYNC-L1 — bootstrap trinity proofs subtree from trios
#586 opened May 8, 2026 by gHashTag Owner Loading…
7 tasks done
1
1
feat: FPGA VSA Hardware Acceleration + PhD Chapters (refs #305)
#571 opened May 5, 2026 by gHashTag Owner Loading…
2
feat: Neon experiment_queue — WAVE-GF-001 migrations + phi-LR seed data
#570 opened May 2, 2026 by gHashTag Owner Loading…
1
feat(canonical): 🌻 CANONICAL COQ HOME — 38 bundles / 297 Qed / single source of truth
#569 opened Apr 30, 2026 by gHashTag Owner Loading…
2
feat(pipeline): tri experience save/list/query + E2E + benchmark specs (Closes #490)
#567 opened Apr 29, 2026 by gHashTag Owner Loading…
2 of 3 tasks
1
1
feat(memory): native memory primitives — remember/recall/forget/reflect (Closes #517)
#565 opened Apr 29, 2026 by gHashTag Owner Loading…
1 of 3 tasks
1
2
feat(math): --weinberg diagnostic — phi^-3 vs PDG sin^2(theta_W) (Closes #295)
#564 opened Apr 29, 2026 by gHashTag Owner Loading…
2 tasks done
1
1
feat(numeric): PHI_BIAS + IS_EXTRACT_ONLY for GF4-32 family (Closes #548)
#563 opened Apr 29, 2026 by gHashTag Owner Loading…
1
1
feat(cli): tri igla — search/list/gate/check/triplet for IGLA RACE ledger
#542 opened Apr 26, 2026 by gHashTag Owner Loading…
1
3
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.