-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: gHashTag/t27
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix(codegen): R-SI-1 (no mul) + R-NAME (field underscore) in VerilogCodegen
#699
opened May 18, 2026 by
gHashTag
Owner
Loading…
feat(coq): PhiSquaredIdentity — close Crown47↔Coq gap
#691
opened May 16, 2026 by
gHashTag
Owner
Loading…
fix(citation): add doi field for Zenodo Sentinel R5 audit
#652
opened May 15, 2026 by
gHashTag
Owner
Loading…
feat(c-prime-isa): LOAD-PHYS-CONST opcode 0xDE spec · L-DPC24 Lane C'
#632
opened May 15, 2026 by
gHashTag
Owner
Loading…
chore(deps): Batch Dependabot updates — May 2026
#624
opened May 15, 2026 by
gHashTag
Owner
Loading…
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
feat(proofs): L-T27-SYNC-L1 — bootstrap trinity proofs subtree from trios
#586
opened May 8, 2026 by
gHashTag
Owner
Loading…
7 tasks done
feat: FPGA VSA Hardware Acceleration + PhD Chapters (refs #305)
#571
opened May 5, 2026 by
gHashTag
Owner
Loading…
feat: Neon experiment_queue — WAVE-GF-001 migrations + phi-LR seed data
#570
opened May 2, 2026 by
gHashTag
Owner
Loading…
feat(canonical): 🌻 CANONICAL COQ HOME — 38 bundles / 297 Qed / single source of truth
#569
opened Apr 30, 2026 by
gHashTag
Owner
Loading…
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
feat(memory): native memory primitives — remember/recall/forget/reflect (Closes #517)
#565
opened Apr 29, 2026 by
gHashTag
Owner
Loading…
1 of 3 tasks
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
feat(numeric): PHI_BIAS + IS_EXTRACT_ONLY for GF4-32 family (Closes #548)
#563
opened Apr 29, 2026 by
gHashTag
Owner
Loading…
feat(cli): tri igla — search/list/gate/check/triplet for IGLA RACE ledger
#542
opened Apr 26, 2026 by
gHashTag
Owner
Loading…
ProTip!
Updated in the last three days: updated:>2026-05-15.