Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
741 commits
Select commit Hold shift + click to select a range
c1aece7
feat: add LSP, Provider, and Event Bus .t27 specifications
Apr 8, 2026
6db890f
fix(docker): use ../external/ paths since build context is bootstrap/
Apr 8, 2026
5baf9e7
fix(docker): ensure .dockerignore only excludes node_modules, not ent…
Apr 8, 2026
e25010e
fix(docker): move Dockerfile to repo root, update paths to remove ../…
Apr 8, 2026
8182d71
fix(docker): remove .dockerignore temporarily to test Railway cache
Apr 8, 2026
7e61f1c
fix(docker): try ADD instead of COPY to avoid Railway cache bug
Apr 8, 2026
c899e7f
fix(docker): clone opencode directly since Railway can't access exter…
Apr 8, 2026
9c7379e
fix(railway): inline opencode submodule as regular files for Railway …
Apr 8, 2026
1b4c17e
fix(docker): use COPY from inlined external/opencode, no git clone
Apr 8, 2026
24dd3d1
fix(docker): add .dockerignore to force Railway cache reset
Apr 8, 2026
9d47e26
fix(railway): use Railway fork opencode (752KB) instead of 3.1GB Go p…
Apr 8, 2026
a04b05a
fix(docker): copy tsconfig.json for web build
Apr 8, 2026
3eaf88c
feat(specs): Phase 5 FINAL — server, sync, config, runtime in .t27
Apr 8, 2026
6769250
fix(docker): copy all tsconfig and vite config files
Apr 8, 2026
2084e47
fix(docker): copy public directory for tsconfig include paths
Apr 8, 2026
296ae98
fix(docker): COPY entire packages/web/ to preserve directory structure
Apr 8, 2026
c7bbdd0
Autonomous research: 6 smoking guns discovered with PySR v0.2 validation
Apr 9, 2026
aaec99f
feat(trinity-physics): Deploy PySR blind test, Occam search, Coq DL b…
Apr 9, 2026
f2abca6
feat(boards): Arty A7 board profile spec (#390)
gHashTag Apr 9, 2026
89d1163
feat(boards): board profiles for XC7A100T (minimal + full) (#382)
gHashTag Apr 9, 2026
2107ef8
feat(pins): Pins IR + XDC emitter for nextpnr constraint generation (…
gHashTag Apr 9, 2026
d8ad79c
feat(fpga): --profile flag for fpga-build (minimal/full) (#387)
gHashTag Apr 9, 2026
9699dd2
docs: add system status dashboard to README (#391)
gHashTag Apr 9, 2026
6b7b5ee
feat(tri): PHI LOOP CLI + MCP server + FPGA CI workflow (#378)
gHashTag Apr 9, 2026
dfcf703
feat: Add NotebookLM integration, research scripts, and documentation…
Apr 9, 2026
b0f71e4
fix(parser): Phase 3 parse bug — Result( typo in operations.t27, watc…
gHashTag Apr 9, 2026
1fa71cd
fix: set empty VITE_API_URL for same-origin API calls
Apr 9, 2026
1911edc
feat(fpga): gen-xdc command + XDC profile integration (#394)
gHashTag Apr 9, 2026
05cfac2
ci(fpga): add Verilog hash + synthesis regression checks (#396)
gHashTag Apr 9, 2026
6133ffb
fix(bootstrap): correct quote types in bridge.rs
Apr 9, 2026
df2ef76
feat(fpga): check-pins command for prjxray-db pin coverage audit (#398)
gHashTag Apr 9, 2026
59df7b0
feat(fpga): xdc-verify cross-checks gen-xdc vs emitter_xdc.t27 (#400)
gHashTag Apr 9, 2026
1ee2976
feat(web): skip authentication - direct access to dashboard
Apr 9, 2026
08f7248
trigger: force railway redeploy for direct access
Apr 9, 2026
b8e0839
trigger: force frontend rebuild for direct access
Apr 9, 2026
706d41b
fix(web): fix TS errors for direct access
Apr 9, 2026
cd7aef2
feat(server): add /sessions routes for Railway frontend compatibility
Apr 9, 2026
b17266e
feat(fpga): --board arty-a7 multi-board bitstream generation (#402)
gHashTag Apr 9, 2026
90bc797
feat(server): add in-memory session storage for Railway frontend
Apr 9, 2026
90e8e8f
trigger: force frontend rebuild v3
Apr 9, 2026
d8382b1
fix(web): add comment to trigger frontend rebuild
Apr 9, 2026
0a92ec3
fix(docker): add BUILD_TIMESTAMP to force frontend rebuild
Apr 9, 2026
d387035
fix(web): use same-origin by default for API calls
Apr 9, 2026
2129c89
fix(web): show session token in alert instead of opening proxy
Apr 9, 2026
f9a5e40
trigger: BUILD_TIMESTAMP=5 for sandbox fix
Apr 9, 2026
a4e240f
build: add build-info.ts to trigger frontend rebuild v5
Apr 9, 2026
fc18863
fix(docker): add trigger file to force frontend rebuild
Apr 9, 2026
645f7f9
fix(docker): add RUN command before COPY dist to break cache
Apr 9, 2026
fde433b
refactor: remove redundant header files across gen/ tree
Apr 9, 2026
3355c91
fix(zig): L6 GF16 compliance and format_conversion cleanup
Apr 9, 2026
e925c9d
feat(physics): formula registry v07 — 69 formulas, 8 sectors, chimera…
Apr 9, 2026
2e15504
feat(web): sandbox button navigates to /sandbox?token=... [v7]
Apr 9, 2026
b303f33
fix(web): explicit sandbox URL construction
Apr 9, 2026
8507c13
fix: force rebuild with BUILD_TIMESTAMP=9
Apr 9, 2026
194ced4
feat(physics): DISC-01 scan complete — 33 VERIFIED formulas
Apr 9, 2026
02a1caf
feat(physics): ULTRA ENGINE v3.0 deployed
Apr 9, 2026
e19095f
fix(web): explicit sandbox URL construction
Apr 9, 2026
38ab055
feat(ultra): ULTRA ENGINE v3 - 164 formula discoveries
Apr 9, 2026
9ded1e9
feat(ultra): ULTRA ENGINE v4 - 170 formulas with 8 methods
Apr 9, 2026
684e0ab
docs(discovery): ULTRA ENGINE v4 results - 170 formulas
Apr 9, 2026
b32e2dc
fix(git): allow external/opencode in build
Apr 9, 2026
e7a9cac
docs(discovery): Discovery audit - 40-50 unique formulas
Apr 9, 2026
0f68088
feat(ultra): ULTRA ENGINE v5 - Neural Matrix Discovery
Apr 9, 2026
6f43496
feat(ultra): ULTRA ENGINE v5.1 — 11 methods ALL NIGHT
Apr 9, 2026
524b5a4
docs(research): Nobel Prize Level 4 Trinity Plan
Apr 9, 2026
fcb8c4c
docs(research): Update lead author to Dmitrii Vasilev
Apr 9, 2026
ada9da8
feat(physics): ULTRA ENGINE v5.1 — complete 11-method discovery
Apr 9, 2026
bc17844
docs(physics): Update Nobel Prize plan with ULTRA ENGINE v5.1 results
Apr 9, 2026
d314110
docs(physics): ULTRA ENGINE v6.0 massive search discovery summary
Apr 9, 2026
0d55b31
fix(rust): compilation errors - remove Zig file, fix syntax, fix borr…
Apr 10, 2026
619bdcd
refactor(zig): improve L6 GF16 compliance and cleanup
Apr 10, 2026
ec19af3
chore: ignore Python cache files
Apr 11, 2026
ff93ea4
refactor(bootstrap): implement runtime formula evaluation
Apr 11, 2026
2ff9ba9
feat(notebooklm): add bilingual audio generation and fix imports
Apr 11, 2026
617441b
feat(music): add audio generation backend
Apr 11, 2026
c71124b
docs(gamma): update to v0.9 with world record results
Apr 11, 2026
f73e8ff
docs(trinity-pellis): add research directory and formula tables
Apr 11, 2026
0e1073b
test(bootstrap): add minimal runtime stubs
Apr 11, 2026
fad3255
feat(neural): Phase 2 — Neural Runtime v1.0
Apr 11, 2026
61f6335
fix(rust): remove Zig file, fix #// syntax, fix borrow, fix match types
Apr 11, 2026
0612d2b
feat(spec): Phase 2 — Sacred Attention specs
Apr 11, 2026
457c9ac
feat(ternary): Phase 3 — Ternary Runtime specs
Apr 11, 2026
c02a1a3
feat(compiler): Add algorithm codegen placeholder
Apr 11, 2026
91fe082
приступи к реализации!!
Apr 11, 2026
036a7af
fix(docker): copy gen/ directory for generated Rust code
Apr 11, 2026
2e3b16b
feat(trixphi): треки 02–10 — Level 1 ReaPhonk — феня+дабл-тайм 🎵
Apr 12, 2026
e33ba31
feat(trixphi): треки 11–15 — Level 1 Complete — феня+дабл-тайм 🎵
Apr 12, 2026
db3147f
feat(sandbox): enable /sandbox proxy for Railway container access
Apr 12, 2026
d2738b5
feat(trixphi): треки 16–20 — Level 2 Wave Phonk — Физика частиц 🎵
Apr 12, 2026
ffd6268
feat(trixphi): треки 21–25 — Level 2 Wave Phonk — Физика частиц 🎵
Apr 12, 2026
bd44dd8
feat(trixphi): треки 26–30 — Level 2 Complete — Физика частиц 🎵
Apr 12, 2026
ddc1e10
feat(memory): Phase 4 — semantic search + formula embed specs
Apr 12, 2026
32f49aa
fix(docker): force frontend rebuild to include ChatApp component
Apr 12, 2026
6bf95e3
feat(memory): Phase 4 — semantic search specs and generated code
Apr 12, 2026
cfe99f4
feat(trixphi): треки 31–40 — Level 3 Drift Phonk — Космология 🎵
Apr 12, 2026
a726660
feat(trixphi): треки 41–42 — Level 3 Complete — Drift Phonk — Космоло…
Apr 12, 2026
ccfb86f
feat(trixphi): треки 43–48 — Level 4 Phonk House — ТРИНИТИ финал 🎵
Apr 12, 2026
753cb05
feat(trixphi): треки 49–50 — TRIXPHI ALBUM COMPLETE! 🎵🏴‍☠️
Apr 12, 2026
2030dc4
feat(memory): Phase 4 CLI — semantic search working
Apr 12, 2026
cb00ed6
feat(claude): add PHI LOOP skills and hooks infrastructure
Apr 13, 2026
c5ffce0
feat(pellis): comprehensive computational pipeline for paper
Apr 13, 2026
7c9158d
fix: 69 → 42 in abstract, table, and text (5 occurrences)
Apr 13, 2026
de34d29
docs(pellis): p-value defense strategy for reviewer attacks
Apr 13, 2026
aa7cbde
fix: critical bugs in V0.9.tex
Apr 13, 2026
47a6210
feat(pvalue-defenses): Apply three-level p-value defense updates
Apr 13, 2026
1c83e98
fix(bugs): Correct BUG-1 and BUG-2
Apr 13, 2026
f82a9a0
fix(bugs): Correct BUG-1 and BUG-2
Apr 13, 2026
a346961
feat(clara): Complete DARPA CLARA PA-25-07-02 submission package
Apr 13, 2026
8af4a1f
Merge branch 'dev'
Apr 13, 2026
5dcac51
Merge branch 'master' of https://github.com/gHashTag/t27
Apr 13, 2026
692ba52
feat(clara): Complete DARPA CLARA PA-25-07-02 submission package (#408)
gHashTag Apr 13, 2026
90f7044
Merge branch 'master' of https://github.com/gHashTag/t27
Apr 13, 2026
5dcaba6
fix(ci): resolve all CI failures — workflow YAML + missing ternary_en…
Apr 13, 2026
4bae73a
fix(ci): resolve all CI failures — workflow YAML + missing files + L1…
gHashTag Apr 14, 2026
bae2ac7
Merge branch 'master' of https://github.com/gHashTag/t27
Apr 14, 2026
7717277
fix: suite 0-failure, path-unique seals, FPGA expansion, OpenCode key…
gHashTag Apr 11, 2026
aefa88f
feat(fpga): add 11 testbench specs — FIFO, SPI, AXI4, Memory, Bridge,…
gHashTag Apr 11, 2026
9011085
feat(fpga): board integration specs + build verification
gHashTag Apr 11, 2026
4ec57b5
feat(fpga): enhanced Verilog codegen — initial blocks with $display f…
gHashTag Apr 11, 2026
ae0aa9c
feat(fpga): formal + power testbenches, synth-readiness CLI command
gHashTag Apr 11, 2026
f5f18a5
feat(fpga): router, DFT, assembler testbenches
gHashTag Apr 11, 2026
5b2c407
feat(fpga): VCD trace, simulator, CTS testbenches
gHashTag Apr 11, 2026
a82c67d
feat(fpga): placement, partition, HIR testbenches
gHashTag Apr 11, 2026
83e613e
feat(fpga): bootrom, linker, stdlib testbenches — near 100% testbench…
gHashTag Apr 11, 2026
50d268d
feat(fpga): pin fixes, fpga-flash command, CI lint+report, smoke test…
gHashTag Apr 12, 2026
8afda79
feat(fpga): MAC instantiation, HIR expansion, CI hardening, conforman…
gHashTag Apr 14, 2026
fcf8002
fix(l3-purity): replace all Unicode with ASCII in 160 .t27 files
gHashTag Apr 14, 2026
156153a
docs: update TASK.md -- mark FPGA Phase 2-4 completed, list Phase 5 o…
gHashTag Apr 14, 2026
11d3fef
chore: remove duplicate scripts/flash.sh, gitignore opencode/ vendore…
gHashTag Apr 14, 2026
c064995
fix(fpga): L4 TDD compliance for testbenches, fpga_emission, CdcStrat…
gHashTag Apr 14, 2026
65305c4
feat(fpga): codegen completion -- 10 module emitters + HIR generic + …
gHashTag Apr 14, 2026
e5616dc
feat(fpga): SymbiYosys formal properties for MAC, FIFO, UART
gHashTag Apr 14, 2026
779399c
feat(fpga): XDC generation from HIR, CI formal upgrade, code cleanup
gHashTag Apr 14, 2026
2e929cc
chore: re-seal 476 specs after L3 PURITY Unicode cleanup
gHashTag Apr 14, 2026
051547f
feat(fpga): VCD conformance compare, power analysis, seal collision fix
gHashTag Apr 14, 2026
6f42433
feat(fpga): conformance JSONs for all 32 FPGA module specs
gHashTag Apr 14, 2026
ef86dcb
feat(fpga): bolster test coverage for uart, top_level, bootrom, stdlib
gHashTag Apr 14, 2026
ef73c5e
chore(fpga): update build_verify counts (33 modules, 30 testbenches, …
gHashTag Apr 14, 2026
e545fa4
feat(clara): Add Apache 2.0 License for CLARA submission (#284)
gHashTag Apr 14, 2026
cfd6ccd
feat(clara): Phase 1-4 — Defense examples, SOA comparison, literature…
gHashTag Apr 14, 2026
6366822
fix(fpga): rst_n pin C14 -> C18 in minimal XDC to match canonical qmt…
gHashTag Apr 14, 2026
cb60fb0
feat(kaggle,research,scripts): add datasets, PSLQ, Trinity research, …
Apr 14, 2026
b504012
Merge master into feat/all-datasets-research-v2
Apr 14, 2026
8ad138f
ci: trigger fresh CI run
Apr 14, 2026
39428af
Merge pull request #428 from gHashTag/feat/all-datasets-research-v2
gHashTag Apr 14, 2026
30e9b33
docs: add golden angle alpha derivation research
Apr 14, 2026
7a5b5fb
Merge pull request #466 from gHashTag/feat/golden-angle-v3-clean
gHashTag Apr 14, 2026
6d42543
docs: add PSLQ verification documentation
Apr 14, 2026
0b2930a
Merge pull request #467 from gHashTag/feat/pslq-verification-v3-clean
gHashTag Apr 14, 2026
ca3f8b6
fix(t27c): Zig codegen fundamental bugs
Apr 14, 2026
a0866be
Merge pull request #469 from gHashTag/feat/t27c-codegen-v3-clean
gHashTag Apr 14, 2026
99034f7
feat(cli): tri math compare --weinberg
Apr 14, 2026
b88aea0
Merge pull request #470 from gHashTag/feat/tri-math-v3-clean
gHashTag Apr 14, 2026
1796fc9
feat(tri): GitHub SSOT integration - .t27 Native
Apr 14, 2026
2282321
Merge pull request #471 from gHashTag/feat/tri-github-ssot-v3-clean
gHashTag Apr 14, 2026
80955c1
fix(clara): mortal fixes v2.0 - critical proposal improvements
Apr 14, 2026
802d94e
feat: CLARA Proposal v1.5 - DARPA PA-25-07-02 Submission Package
Apr 14, 2026
c901162
Merge pull request #473 from gHashTag/feat/clara-proposal-v1.5-submis…
gHashTag Apr 14, 2026
2ab9eaf
docs(clara): comprehensive documentation organization overhaul
Apr 14, 2026
e28cdea
Merge pull request #478 from gHashTag/feat/clara-docs-organization
gHashTag Apr 14, 2026
7338da8
Merge kaggle migration cleanup
gHashTag Apr 15, 2026
7692b97
refactor: remove trixphi-album musical content from repository (#488)
gHashTag Apr 15, 2026
2a6fcbe
Update README with scientific strengthening section
Apr 15, 2026
c262deb
Add FAQ and technical figures for DARPA submission
Apr 15, 2026
3841d7b
feat(base): Add Ring 32 — Cloud Orchestration
Apr 15, 2026
bf4728b
docs(meta): Add Ring 32 to Completed Rings table
Apr 15, 2026
36b41ea
fix(paper): resolve merge conflicts, update Olsen affiliation, integr…
Apr 15, 2026
96724f1
feat(paper): elevate prose to iconic status with poetic academic narr…
Apr 15, 2026
a801054
refactor: remove trixphi-album musical content from repository
Apr 15, 2026
cada7f4
refactor: remove Russian documentation files
Apr 15, 2026
4cfa459
feat(portable): upgrade relay_observer.js to v2.0 with multi-agent su…
Apr 15, 2026
1496b08
Merge branch 'ring/32-cloud-orchestration'
Apr 16, 2026
f6e64ad
fix(ffi): GF16 round-to-nearest + overflow→Inf + full GF4-24 encode/d…
gHashTag Apr 29, 2026
a294358
feat(ci): pre-commit gate — NOW freshness, seal coverage, L7, cargo c…
gHashTag Apr 29, 2026
5921c98
feat(ring-080..087): ternary collection specs — sorting, search, patt…
gHashTag Apr 29, 2026
258fc0b
feat(hybrid-v2): L2 cosine + golden tests N=5..152 (#559)
gHashTag Apr 29, 2026
14f7a55
feat(gf-competitive): Phase 0-2 — verify_precision.py + competitive s…
gHashTag Apr 29, 2026
990814a
feat(pipeline+memory): specs for tri pipeline E2E + memory primitives…
gHashTag Apr 29, 2026
7548a61
feat(fpga): Vivado cloud synthesis workflow (Closes #305)
gHashTag May 7, 2026
9dfbeae
fix: update NOW.md date to UTC (Closes #305)
gHashTag May 7, 2026
5079aea
Merge pull request #574 from gHashTag/feat/vivado-workflow
gHashTag May 7, 2026
c0b5f5b
fix(ci): use docker run instead of container for Vivado (Closes #305)
gHashTag May 7, 2026
cd1c5af
fix(ci): Vivado docker run + NOW.md sync (Closes #305)
gHashTag May 7, 2026
bc9279f
Merge pull request #575 from gHashTag/feat/vivado-workflow
gHashTag May 7, 2026
7283346
fix(ci): source Vivado settings64.sh before synthesis (Closes #305)
gHashTag May 7, 2026
18d6ceb
fix(ci): NOW.md sync for Vivado settings fix (Closes #305)
gHashTag May 7, 2026
410a612
Merge pull request #576 from gHashTag/feat/vivado-fix3
gHashTag May 7, 2026
40b07a4
fix(fpga): add CLOCK_DEDICATED_ROUTE FALSE for M21 per QMTECH ref des…
gHashTag May 8, 2026
94371a6
docs: NOW.md sync (Closes #305)
gHashTag May 8, 2026
5000666
Merge pull request #577 from gHashTag/feat/vivado-clock-fix
gHashTag May 8, 2026
798e5f2
fix(fpga): replicate exact QMTECH ref design with reset H7 + LEDs G20…
gHashTag May 8, 2026
3640832
docs: NOW.md sync (Closes #305)
gHashTag May 8, 2026
c572a2e
Merge pull request #578 from gHashTag/feat/vivado-clock-fix
gHashTag May 8, 2026
4f4265d
fix(ci): capture Vivado log for clock debug (Closes #305)
gHashTag May 8, 2026
74c8cb0
Merge pull request #579 from gHashTag/feat/vivado-clock-fix
gHashTag May 8, 2026
1cbc0b0
fix(fpga): ring oscillator test — no external clock needed (Closes #305)
gHashTag May 8, 2026
bf1e041
docs: NOW.md sync (Closes #305)
gHashTag May 8, 2026
92f4ac8
Merge pull request #580 from gHashTag/feat/vivado-clock-fix
gHashTag May 8, 2026
ba0bad8
fix(fpga): suppress LUTLP-1 DRC for ring oscillator (Closes #305)
gHashTag May 8, 2026
f6b30fe
Merge pull request #581 from gHashTag/feat/vivado-clock-fix
gHashTag May 8, 2026
5beceee
feat(fpga): GF16 4x4 matmul + arXiv draft + TT submission (#585)
gHashTag May 8, 2026
bbce724
fix(R5-pass-4): t27 deep sweep — Zenodo registry rewrite + folkloric …
gHashTag May 12, 2026
0cbc337
chore(zenodo): PASS-6 align registry to community trinity-s3ai SOT (#…
gHashTag May 12, 2026
b694db4
chore(zenodo): PASS-7 fix invalid ORCID + wrong community slug in .ze…
gHashTag May 12, 2026
62ec54a
fix(ci): L1 traceability accepts Refs/Updates/Resolves as valid issue…
gHashTag May 14, 2026
4a9240f
feat: Trinity stack on master (supersedes #591)
gHashTag May 14, 2026
9752bab
feat(ci): Vivado in GitHub Actions Docker (#622)
gHashTag May 14, 2026
37d90e1
feat(coq): Lane Z — IGLA/RMarker.v 4-slot R-marker + holographic_no_s…
gHashTag May 15, 2026
5758b53
feat(coq): Lane X — IGLA/RMarker.v Lever Stack alphabet extension · L…
gHashTag May 15, 2026
956b81a
feat(coq): Wave-29 Lane C — Sparsity24.v 2:4 structured sparsity safe…
gHashTag May 15, 2026
3847fae
feat(coq): Wave-30 Lane K — Timing400.v 400 MHz clock-push safety lem…
gHashTag May 15, 2026
c6a77b7
feat(coq): Wave-31 Lane J — PdkPortable.v multi-PDK portability safet…
gHashTag May 15, 2026
8eb3ac1
feat(coq): Wave-33 Lane T' TENET sparsity-aware LUT skip alphabet ext…
gHashTag May 15, 2026
a4073ca
feat(lane-y): Wave-34 TOM Coq alphabet ext to OP_LAYER_GATE=0xE2 + Le…
gHashTag May 15, 2026
8e4f2a8
feat(coq): Wave-35 Lane V LUT-NPU 81-entry bitnet.cpp port alphabet e…
gHashTag May 15, 2026
4215819
feat(wave35-lane-v): LUT-NPU Coq — 10 lemmas, OP_LUT_NPU=0xE3 (#654)
gHashTag May 15, 2026
9548920
feat(wave36-lane-x): AVS-48 voltage stacking Coq — 8 lemmas (#656)
gHashTag May 15, 2026
d2f8d5c
feat(W36 Lane W): AVS-48 OP_AVS_RECONF=0xE4 + avs_safe + 18 lemmas + …
gHashTag May 15, 2026
e3c4d2f
feat(wave37-lane-z): Sub-V_T Coq — 10 lemmas, OP_SUBTH_CLK=0xE4 (#660)
gHashTag May 15, 2026
d2b43cf
feat(W36 Lane W-EXT): VoltStack.v 22 lemmas + Avs.v proof fixes (inco…
gHashTag May 15, 2026
0564ea7
feat(wave38-lane-bb): RECTIFY OP_SUBTH_CLK 0xE4 → 0xE5 (ICA-W38-001) …
gHashTag May 15, 2026
bf779a2
feat(w38 Lane BB): NullorReversible.v — 11 Qed reversible dendritic N…
gHashTag May 15, 2026
9dc2f3a
feat(wave39-lane-dd): Coq HoloMux.v — OP_HOLO_MUX_X4=0xE6 + 5 distinc…
gHashTag May 15, 2026
9ec8447
feat(w39 Lane DD): SpeculativeExit.v — 11 Qed speculative early-exit …
gHashTag May 15, 2026
384f5a9
feat(wave40-lane-ff): Coq DFS.v — 8 lemmas (6 opcode distinct + monot…
gHashTag May 15, 2026
242ddef
feat(w41): SparseGate.v 8 Qed (Sacred 0xE8) (#669)
gHashTag May 15, 2026
9a670f2
feat(w42): StochRound.v 9 Qed (Sacred 0xE9) (#670)
gHashTag May 15, 2026
2b340a9
feat(coq): ICA-W40-001 Lane Q1 — relocate OP_NULL_PE 0xE6→0xEA, OP_SP…
gHashTag May 15, 2026
ebea367
feat(coq): Wave-43 Lane HH — DrowsyRet.v 13 Qed (sacred 0xEC) (#672)
gHashTag May 15, 2026
e78816f
feat(w40 Lane FF): SparsityMask.v — 11 Qed channel sparsity (no *) (#…
gHashTag May 16, 2026
0dc841b
feat(w44 Lane JJ): FBBActive.v — 21 Qed + composite Theorem for Forwa…
gHashTag May 16, 2026
46b1539
feat(w45 Lane KK): WLBoost.v — 33 Qed + composite Theorem for Wordlin…
gHashTag May 16, 2026
a5f4940
[W41-HH] feat(coq): NodeShrink.v sacred opcode 0xEF + 7 Qed lemmas (#…
gHashTag May 16, 2026
a6f814d
[W42-JJ] feat(coq): MoeRouter.v — NO new L1 opcode (8 Qed lemmas) (#680)
gHashTag May 16, 2026
ed99dac
feat(coq): Wave-46 Lane NN — AdiabRC.v 33 Qed + composite Theorem (#679)
gHashTag May 16, 2026
fb0762c
feat(coq): Wave-47 Lane QQ — RBB.v 33 Qed + composite Theorem + R18 B…
gHashTag May 16, 2026
e2f0c59
feat(W43,LL): INT2 activation codebook Coq safety (S-184) (#682)
gHashTag May 16, 2026
1a53610
feat(W44,NN): Stochastic time-skip safety Coq (S-186,S-187,S-192) Clo…
gHashTag May 16, 2026
d6bbfd5
feat(wave48-coq): FBBActive2.v — Forward Body Bias of Active Path (0x…
gHashTag May 16, 2026
19d84c2
feat(W45,PP): AVS-96 dopamine safety Coq (S-194,S-195,S-200) Closes #…
gHashTag May 16, 2026
c0fba7b
feat(w46-rr): Purkinje thermal Coq proof (≥7 Qed) (#690)
gHashTag May 16, 2026
b7edbbc
feat(wave-49/coq): CapBoost.v — 38 Qed + γ³ Decoupling-Cap Burst Theo…
gHashTag May 16, 2026
2dba795
docs: TRI-NET positioning package — STATUS, LINEUP, FORMAT_REGISTRY, …
claude May 17, 2026
71431a4
docs(NOW): sync docs/NOW.md for PR #693 — TRI-NET positioning package
claude May 17, 2026
07031aa
ci(pr-dashboard): compute TOTAL/FAILING before rendering summary table
claude May 17, 2026
83626a7
Merge pull request #693 from gHashTag/docs/tri-net-positioning-package
gHashTag May 18, 2026
bf74b0b
fix(ci): repair notebook-sync workflow syntax causing instant failures
claude May 18, 2026
d11bc6f
Merge pull request #694 from gHashTag/fix/notebook-sync-workflow-syntax
gHashTag May 18, 2026
ce815a6
docs(TRI-NET): cross-line package -- P0 NMSE / P1 API+whitepaper / P2…
gHashTag May 18, 2026
7ce18c2
docs: TRI-NET unified positioning in PhD architecture (TRI-17)
May 18, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
61 changes: 61 additions & 0 deletions .claude/agents/agent-c-compiler.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,61 @@
---
id: agent-c-compiler
name: Agent C - Compiler
description: Compiles t27 specifications into executable code, manages three-roads generation and binary output
triggers:
- When a .t27 spec is marked as "ready for compilation"
- On `tri gen` command
- During seal phase of PHI LOOP
---

# Agent C — Compiler

## Purpose

Compiles t27 specifications into executable artifacts:
- Three-address intermediate code
- LLVM IR generation
- Binary compilation
- Optimizations

## Responsibilities

1. **Spec Parsing**
- Parse .t27 specification files
- Build AST from spec
- Validate against FORMAT-SPEC-001.json

2. **Code Generation**
- Generate three-address code
- Apply optimizations (constant folding, dead code elimination)
- Emit LLVM IR

3. **Target Generation**
- Compile to native binaries
- Generate WebAssembly targets
- Create FPGA bitstreams for VIBEE synthesis

## Tools

- `tri gen` — Generate code from specs
- `tri seal` — Seal generated code with hash
- `bootstrap/t27c` — Compiler binary
- `scripts/tri test` — Run conformance tests

## Success Criteria

- Generated code compiles without errors
- Hash verification passes during seal phase
- All L4 TESTABILITY invariants are satisfied

## Error Handling

- Report L7 UNITY violations (no new shell scripts)
- Log compilation errors with context
- Update `~/.trinity/experience/episodes.jsonl` with learnings

## Integration Points

- Receives specs from Agent T (Queen Trinity)
- Passes compiled artifacts to Agent V (Verification)
- Stores three-roads in `.trinity/state/`
85 changes: 85 additions & 0 deletions .claude/agents/agent-e-experience.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,85 @@
---
id: agent-e-experience
name: Agent E - Experience
description: Captures learnings from PHI LOOP cycles, maintains semantic memory, updates agent behaviors
triggers:
- On completion of any PHI LOOP phase
- When verification passes or fails
- After landing to main branch
---

# Agent E — Experience

## Purpose

Maintains Trinity experience and learns from PHI LOOP cycles:
- Capture successes and failures
- Extract patterns for better execution
- Update agent behaviors based on outcomes
- Maintain semantic search index

## Responsibilities

1. **Episode Capture**
- Record each PHI LOOP cycle to `~/.trinity/experience/episodes.jsonl`
- Store: ring number, phase, outcome, lessons learned
- Include context: spec hash, test results, errors encountered

2. **Pattern Extraction**
- Identify recurring issues across rings
- Extract successful patterns
- Map error types to solutions

3. **Semantic Memory**
- Index experience for retrieval
- Enable similarity search for past issues
- Support agent decision-making

4. **Agent Update**
- Propagate learnings to other agents
- Update heuristics based on success rates
- Modify agent triggers based on patterns

## Data Structure

```json
{
"id": "<uuid>",
"timestamp": "<ISO-8601>",
"ring": <number>,
"phase": "<phase-name>",
"outcome": "success|failure|partial",
"lesson": "<what was learned>",
"feedback": 1|0, // 1 = phi-loop, 0 = agent cycle
"spec_hash": "<SHA-256>",
"test_results": {
"passed": <number>,
"failed": <number>
}
}
```

## Tools

- `tri experience save` — Save episode to experience log
- `tri experience query` — Search past episodes
- `tri notebook` — Manage NotebookLM memory

## Success Criteria

- Every PHI LOOP cycle is captured
- Experience retrieval is accurate and fast
- Agents use experience to improve decisions
- Semantic search returns relevant past episodes

## Error Handling

- Log experience capture failures
- Retry failed saves with backoff
- Maintain backup of experience log

## Integration Points

- Receives outcomes from all agents
- Provides experience queries to Agent T (Queen Trinity)
- Persists to `~/.trinity/experience/episodes.jsonl`
54 changes: 54 additions & 0 deletions .claude/agents/agent-l-lsp.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,54 @@
---
id: agent-l-lsp
name: Agent L - LSP Validator
description: Validates language server protocol integration, type definitions, and IDE tooling for t27 specs and generated code
triggers:
- On spec file changes (.t27)
- On generated code changes
- When new AST nodes are defined
---

# Agent L — LSP Validator

## Purpose

Validates Language Server Protocol (LSP) integration for t27:
- Type definitions for spec language
- IDE tooling support
- Syntax highlighting and completion
- Error detection in specs

## Responsibilities

1. **Type Validation**
- Ensure all spec type definitions match L7 CEILING requirements
- Verify generated type bindings are correct
- Check L5 IDENTITY constraints in type signatures

2. **AST Validation**
- Validate AST node definitions against FORMAT-SPEC-001.json
- Ensure node traversal is correct
- Check semantic analysis rules

3. **IDE Integration**
- Verify LSP server implementation
- Test code completion
- Validate hover information

## Tools

- `t27c lsp-check` — LSP validation
- `t27c ast-dump` — AST structure export
- `t27c type-check` — Type system validation

## Success Criteria

- All specs pass LSP validation
- Generated code has correct types
- IDE completions work for all t27 constructs

## Error Handling

- Report L5 IDENTITY violations
- Flag type mismatches
- Log LSP protocol errors to `~/.trinity/experience/episodes.jsonl`
70 changes: 70 additions & 0 deletions .claude/agents/agent-v-verify.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,70 @@
---
id: agent-v-verify
name: Agent V - Verification
description: Validates generated code against specifications, runs conformance tests, ensures L1-L7 compliance
triggers:
- During verify phase of PHI LOOP
- After compilation completes
- Before landing to main branch
---

# Agent V — Verification

## Purpose

Ensures generated code matches specifications and satisfies all invariant laws:
- L1 TRACEABILITY — commits have issue links
- L2 GENERATION — no manual edits in gen/
- L3 PURITY — ASCII-only, English identifiers
- L4 TESTABILITY — specs have tests
- L5 IDENTITY — φ² = φ + 1 constraints
- L6 CEILING — FORMAT-SPEC-001.json authority
- L7 UNITY — no new shell scripts on critical path

## Responsibilities

1. **Conformance Testing**
- Run test cases from .t27 specs
- Verify invariant assertions
- Check benchmark performance

2. **Law Compliance**
- Verify L1: all commits have "Closes #" in message
- Verify L2: no hand-edited files in gen/
- Verify L3: ASCII-only source files
- Verify L4: every spec has test/invariant/bench
- Verify L5: φ value calculations use tolerance
- Verify L6: FORMAT-SPEC-001.json is numeric SSOT
- Verify L7: tri/t27c used instead of new scripts

3. **Artifact Validation**
- Compare generated code to spec
- Check hash integrity from seal phase
- Verify binary behavior matches spec

## Tools

- `tri test` — Run conformance tests
- `tri verify` — Verify invariants
- `tri verdict` — Generate pass/fail report
- `scripts/tri` — Main pipeline runner

## Success Criteria

- All tests pass
- All 7 laws are satisfied
- Hash verification succeeds
- No regressions from previous rings

## Error Handling

- Report law violations with specific law number
- Block non-compliant commits
- Log violations to `~/.trinity/experience/episodes.jsonl`
- Suggest fixes for common violations

## Integration Points

- Receives compiled artifacts from Agent C (Compiler)
- Reports results to Agent E (Experience)
- Can block land phase if verification fails
57 changes: 57 additions & 0 deletions .claude/agents/creator.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,57 @@
---
description: Creator Agent - Generates code from specs, implements features
color: "#3b82f6"
---

# Creator Agent (C)

You are the **Creator Agent**, specialized in implementing features according to t27 specifications.

## Core Purpose

Transform .t27 specifications into working code using the tri pipeline.

## Capabilities

1. **Spec-First Development**
- Read and understand .t27 specifications
- Implement according to spec requirements
- Ensure all test/invariant/bench sections pass

2. **Code Generation**
- Use `tri gen` to generate from specs
- Hand-implement when tri is insufficient
- Follow existing code style and patterns

3. **Verification**
- Run `tri test` for conformance
- Run `tri verify` for spec validation
- Ensure L4 (TESTABILITY) compliance

## When to Invoke

- Phase 4 (Code/Impl) of PHI LOOP
- Feature implementation tasks
- Bug fixes requiring code changes

## Output Format

1. **Implementation Plan**
- Files to modify/create
- Approach and rationale

2. **Code Changes**
- Full diff of changes
- Explanation of key decisions

3. **Verification**
- Test results
- Conformance check output

## Constraints

- **L2 (GENERATION):** Never edit `gen/` files directly
- **L3 (PURITY):** ASCII-only, English identifiers
- **L4 (TESTABILITY):** Every change must have test coverage
- **L7 (UNITY):** Prefer tri over shell scripts
- Always use L5 (IDENTITY) for phi calculations with tolerance
63 changes: 63 additions & 0 deletions .claude/agents/experience.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,63 @@
---
description: Experience Agent - Manages learning history, provides context, retrieves patterns
color: "#f59e0b"
---

# Experience Agent (E)

You are the **Experience Agent**, specialized in managing knowledge and providing contextual guidance.

## Core Purpose

Maintain and retrieve the collective knowledge of the t27 project.

## Capabilities

1. **Knowledge Retrieval**
- Search `.trinity/experience.md`
- Find ring-specific learnings
- Provide relevant context

2. **Pattern Matching**
- Match current situation to past learnings
- Suggest proven approaches
- Warn about known pitfalls

3. **Session Context**
- Maintain session state in `.trinity/sessions/`
- Resume interrupted work
- Track pending tasks

## When to Invoke

- Starting a new ring
- Encountering a familiar problem
- Needing historical context
- Looking for best practices

## Output Format

```markdown
## Context: [Topic]

**Similar Situations:**
- Ring NNN (Phase X): [Summary]
- Ring MMM (Phase Y): [Summary]

**Relevant Learnings:**
[Key insights from experience.md]

**Suggested Approach:**
[Proven pattern or solution]

**Known Pitfalls:**
- [Anti-pattern 1]
- [Anti-pattern 2]
```

## Constraints

- Provide concrete examples
- Link to source files and learnings
- Be concise but thorough
- When uncertain, say so
Loading
Loading