Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
872 commits
Select commit Hold shift + click to select a range
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
222e06b
docs(README): Wave 11 — 12 Rust crates ring-088..ring-099 (honest sta…
gHashTag May 22, 2026
2621739
wave-12(track-c): scaffold ring-100..ring-104 Rust crates (#712)
gHashTag May 22, 2026
082f658
wave-13: toolchain & compilation gate -- Dockerfile.rust + rings-rust…
gHashTag May 22, 2026
cb0066e
wave-14: rings compile green -- exclude rings/ from root workspace (C…
gHashTag May 22, 2026
45119e5
wave-15: import ring-088 GF16 MAC (real, tested, +cross-kernel identi…
gHashTag May 22, 2026
14c8e99
wave-16: import ring-089 TNN ISA -- 27-reg balanced-ternary core (Clo…
gHashTag May 22, 2026
db55a0b
wave-17: import ring-090 Simulator -- HIR cycle-accurate sim primitiv…
gHashTag May 22, 2026
8581137
wave-18: import ring-091 Stochastic Rounding -- SR primitives + Split…
gHashTag May 22, 2026
eea9804
wave-19: import ring-092 Attention -- Sacred Attention primitives (Cl…
gHashTag May 22, 2026
b96d3f1
wave-20: import ring-093 Sparse MoE -- top-k gating + ternary expert …
gHashTag May 22, 2026
15a12b2
wave-21: import ring-094 AGI Runtime -- scheduler + registry + proces…
gHashTag May 22, 2026
b8e7d7d
wave-22: import ring-095 phi-Adam (AdamW + phi-damped betas) (Closes …
gHashTag May 22, 2026
054d4de
wave-23: import ring-096 Quantization (GF16 codec + ternary + Format …
gHashTag May 22, 2026
cf97888
wave-24: import ring-097 Chain-of-Thought (bounded proof trace + K3 t…
gHashTag May 22, 2026
a2fbcba
wave-25: import ring-098 World Model (BrainState + Transition + 5-pha…
gHashTag May 22, 2026
683fa5a
wave-26: import ring-099 Integration (10-stage E2E pipeline) (Closes …
gHashTag May 22, 2026
1664995
wave-27: t27c gen-verilog emits __mul_noop(a, b) helper instead of ba…
gHashTag May 22, 2026
3783ad9
wave-28: t27c gen-verilog const-array aggregate initializer no longer…
May 22, 2026
67db742
Merge pull request #744 from gHashTag/wave-28/codegen-verilog-const-a…
gHashTag May 23, 2026
d3d5f59
wave-29: t27c gen-verilog hoist bench integer counter out of initial …
May 23, 2026
8d9744b
Merge pull request #746 from gHashTag/wave-29/codegen-verilog-initial…
gHashTag May 23, 2026
bdb89fe
wave-30: t27c gen-verilog emit standalone synthesis translate_off and…
May 23, 2026
af660b3
Merge pull request #748 from gHashTag/wave-30/codegen-translate-off-p…
gHashTag May 23, 2026
08c5a5b
wave-31: t27c gen-verilog ExprArrayLiteral in expression context emit…
May 23, 2026
e931432
Merge pull request #750 from gHashTag/wave-31/codegen-array-literal-expr
gHashTag May 23, 2026
e90cd5d
wave-32: t27c add gen-trit-stdlib subcommand for synthesizable balanc…
May 23, 2026
82a7f23
Merge pull request #752 from gHashTag/wave-32/trit-stdlib
gHashTag May 23, 2026
4941793
wave-33: t27c gen-trit-stdlib extend with 27-trit MAC primitives (R-T…
May 23, 2026
d2171d7
Merge pull request #755 from gHashTag/wave-33/trit-mac-stdlib
gHashTag May 23, 2026
9ef026d
wave-34: t27c add gen-behavior-sva subcommand for behavior-DSL to SVA…
May 23, 2026
2b9cd60
Merge pull request #757 from gHashTag/wave-34/behavior-sva
gHashTag May 23, 2026
969e1b1
wave-35: t27c add gen-phi-selfcheck subcommand for golden-identity se…
May 23, 2026
f31995a
Merge pull request #759 from gHashTag/wave-35/phi-selfcheck
gHashTag May 23, 2026
c56fa9f
wave-36a: t27c add gen-weight-bram subcommand for BitNet dual-port BR…
May 23, 2026
54e824f
Merge pull request #761 from gHashTag/wave-36a/weight-bram
gHashTag May 23, 2026
41df0e1
wave-36b: t27c add gen-pipeline-stage2 + gen-layer-sequencer for BitN…
May 23, 2026
fa5e69b
Merge pull request #763 from gHashTag/wave-36b/pipeline-sequencer
gHashTag May 23, 2026
f462cbd
wave-36c: t27c add gen-double-buffer-ctrl + gen-weight-prefetch-ctrl …
May 23, 2026
1b7b19f
Merge pull request #765 from gHashTag/wave-36c/double-buffer-prefetch
gHashTag May 23, 2026
9433fd5
wave-36d: t27c add gen-axi-lite-slave for BitNet host CSR interface (…
May 23, 2026
951b7c4
Merge pull request #767 from gHashTag/wave-36d/axi-lite-slave
gHashTag May 23, 2026
6e7abfd
wave-36e: t27c add gen-dma-controller for BitNet DDR<->BRAM activatio…
May 23, 2026
b38784d
Merge pull request #769 from gHashTag/wave-36e/dma-controller
gHashTag May 23, 2026
1699e19
wave-36f: t27c add gen-interrupt-controller + gen-bitnet-engine-top, …
May 23, 2026
65d0738
Merge pull request #771 from gHashTag/wave-36f/irq-engine-top
gHashTag May 23, 2026
7370e66
feat(depin+codegen): L-TRI-3 V2 integration + Verilog codegen fixes (…
gHashTag May 23, 2026
8956475
feat(bootstrap): gen-behavior-sva-v2 -- multi-clause antecedents, ##N…
gHashTag May 23, 2026
dfa99d9
chore(deps): bump axum 0.8, jsonwebtoken 10, tower-http 0.6, gethostn…
gHashTag May 23, 2026
55362ff
wave-38: t27c add gen-bitnet-bundle -- compose 9 BitNet HLS modules +…
May 23, 2026
474de61
Merge pull request #782 from gHashTag/wave-38/bitnet-bundle
gHashTag May 23, 2026
ff1717f
feat(bootstrap): --with-sva flag on gen-verilog + gen-verilog-hir (R-…
gHashTag May 23, 2026
277bcd9
wave-39: t27c add host-side Rust driver module -- BitNet AXI-Lite CSR…
May 23, 2026
0374ceb
Merge pull request #785 from gHashTag/wave-39/host-driver
gHashTag May 23, 2026
4ac88f3
wave-40: t27c host IRQ-handler harness + poll-vs-IRQ comparison (R-HS…
May 23, 2026
019dbd1
Merge pull request #787 from gHashTag/wave-40/irq-harness
gHashTag May 23, 2026
e11ea63
wave-42: t27c tt-manifest + chip submodules for tt-trinity-{phi,euler…
May 23, 2026
dc1527c
Merge pull request #794 from gHashTag/wave-42/tt-manifest
gHashTag May 23, 2026
1cc3231
wave-45: t27c tt-profile + tt-conform for Sky130/IHP/GF180 (R-TT-2, C…
May 23, 2026
7f46301
Merge pull request #804 from gHashTag/wave-45/tt-profile
gHashTag May 23, 2026
f35d710
docs(README): document BitNet HLS pipeline (W36a-f+W38) + R-TT track …
May 24, 2026
ef9e63e
Merge pull request #806 from gHashTag/docs/readme-bitnet-rtt
gHashTag May 24, 2026
f8adb4a
docs: add NUMERIC_FORMATS_SSOT — single source of truth for GoldenFlo…
gHashTag May 28, 2026
1521c86
spec: add gf64.t27, link GF64 in SSOT, resolve GF236 confusion (#917)
gHashTag May 28, 2026
3c19bf0
docs(numeric): sync SSOT (GF256 row, TF3 vs GFTernary, IGLA RACE benc…
gHashTag May 28, 2026
99dcb24
spec(numeric): add gfternary.t27 -- normative 2-bit ternary {-phi,0,+…
gHashTag May 28, 2026
2f37847
docs(numeric): list all 11 members in SSOT section-1 (add TF3 + GFTer…
gHashTag May 28, 2026
5a918dc
chore(deps)(deps): bump serde_json from 1.0.149 to 1.0.150 (#913)
dependabot[bot] May 30, 2026
4b0aa5a
chore(deps)(deps): bump thiserror from 1.0.69 to 2.0.18 (#912)
dependabot[bot] May 30, 2026
5f6d06c
chore(deps)(deps): bump rusqlite from 0.32.1 to 0.39.0 (#911)
dependabot[bot] May 30, 2026
884cdeb
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
24861ab
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
e7a07f1
Update README.md (#993)
gHashTag May 30, 2026
645245d
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
25eb3ba
feat(host): DMA channel model with CRC32 integrity (Closes #831) (#832)
gHashTag May 30, 2026
688a43a
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
5c0da7c
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
ff89f49
feat(compiler): for-range loop for i in start..end (Closes #833) (#834)
gHashTag May 30, 2026
968beab
feat(host): weight loader with CRC32 and ternary validation (Closes #…
gHashTag May 30, 2026
b2bac5c
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
506e56c
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
a5fcc2e
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
f93b227
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
9de30a4
feat(host): scatter/gather DMA descriptor (Closes #839) (#840)
gHashTag May 30, 2026
f9b0830
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
a4451e4
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
48abe85
feat(host): bitstream reader for weight format parsing (Closes #843) …
gHashTag May 30, 2026
d75188c
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
3a37252
feat(host): weight format header parser (Closes #845) (#846)
gHashTag May 30, 2026
dc47ffb
feat(host): command protocol for host-to-FPGA framing (Closes #847) (…
gHashTag May 30, 2026
0b81b22
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
7214289
feat(host): transport layer with length-prefix + CRC framing (Closes …
gHashTag May 30, 2026
fe926ad
feat(host): session manager with seq tracking and retry (Closes #851)…
gHashTag May 30, 2026
1a6a5b2
feat(host): typed register map with field accessors (Closes #853) (#854)
gHashTag May 30, 2026
8d95c8b
feat(host): memory pool for DMA buffer management (Closes #855) (#856)
gHashTag May 30, 2026
d680356
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
bb5363f
feat(host): inference pipeline state machine (Closes #857) (#858)
gHashTag May 30, 2026
654a939
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
8552f28
feat(host): watchdog timer for heartbeat monitoring (Closes #859) (#860)
gHashTag May 30, 2026
88efc93
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
665f282
feat(host): command queue with priority support (Closes #861) (#862)
gHashTag May 30, 2026
16f32cf
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
f0dafe0
feat(host): event log for inference profiling (Closes #863) (#864)
gHashTag May 30, 2026
722c7b1
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
4c17fb0
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
5c181d9
feat(host): firmware image parser with section table (Closes #865) (#…
gHashTag May 30, 2026
b3dc1a3
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
6bc669e
feat(host): diagnostic counters for pipeline metrics (Closes #867) (#…
gHashTag May 30, 2026
05131d9
feat(host): config builder with validation (Closes #869) (#870)
gHashTag May 30, 2026
735ca71
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
883d39d
feat(host): retry policy with backoff strategies (Closes #871) (#872)
gHashTag May 30, 2026
c118cb5
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
210bf61
feat(host): checksum registry with pluggable algorithms (Closes #873)…
gHashTag May 30, 2026
bd854ad
feat(host): address space map with bounds checking (Closes #TBD) (#878)
gHashTag May 30, 2026
5192e26
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
53bb3ea
feat(host): buffer chain for scatter-gather DMA (Closes #TBD) (#879)
gHashTag May 30, 2026
c143325
feat(host): telemetry exporter with Prometheus/JSON (Closes #TBD) (#880)
gHashTag May 30, 2026
b3d6dde
feat(host): version info with compatibility checks (Closes #TBD) (#881)
gHashTag May 30, 2026
99bb4a1
feat(host): error catalog with severity and recovery hints (Closes #8…
gHashTag May 30, 2026
8f531a2
feat(host): latency histogram with percentiles (Closes #885) (#886)
gHashTag May 30, 2026
4a047db
feat(host): rate limiter with token bucket (Closes https://github.com…
gHashTag May 30, 2026
067125a
feat(host): operation logger with status tracking (Closes https://git…
gHashTag May 30, 2026
e8de534
feat(host): capability flags for feature detection (Closes https://gi…
gHashTag May 30, 2026
4bdf680
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
28f23ab
feat(host): descriptor ring for DMA management (Closes https://github…
gHashTag May 30, 2026
f9a8e1c
feat(host): register cache with TTL expiry (Closes https://github.com…
gHashTag May 30, 2026
687bd90
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
3705056
feat(host): interrupt router with handler dispatch (Closes https://gi…
gHashTag May 30, 2026
6b4a2d8
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
0ea6ea7
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
f0928be
feat(host): health monitor with subsystem aggregation (Closes https:/…
gHashTag May 30, 2026
701e550
feat(host): ring buffer for DMA streaming (Closes #841) (#842)
gHashTag May 30, 2026
9d46409
feat(host): bitmask utilities for CSR manipulation (Closes https://gi…
gHashTag May 30, 2026
80a69d8
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
5717d07
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
5bf9951
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
30cace3
feat(host): config registry with typed accessors (Closes https://gith…
gHashTag May 30, 2026
75534ac
feat(host): serializer/deserializer for wire format (Closes https://g…
gHashTag May 30, 2026
3d40c7c
feat(host): shutdown coordinator with phased teardown (Closes https:/…
gHashTag May 30, 2026
f807612
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
9a279db
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
8b80a38
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
c6d5ed3
Update NotebookLM sync status [skip ci]
github-actions[bot] May 30, 2026
bb3653d
feat(host): endpoint registry with access validation (Closes https://…
gHashTag May 30, 2026
39ae4ab
feat(compiler): strengthen AST constant folding (Closes #837) (#838)
gHashTag May 30, 2026
aeeb6b5
fix(compiler): close unclosed test_for_range_loop_unroll brace in tes…
May 30, 2026
1e2dca0
fix(host): disambiguate duplicate RingError re-exports in host/mod.rs
May 31, 2026
6423eeb
fix(trit_stdlib): combine half-adder carries by signed addition (W64/…
gHashTag May 31, 2026
274c32a
fix(compiler/optimize): sound CSE for ExprCall + correct DSE target f…
gHashTag May 31, 2026
07ba5cd
fix(conformance): repair invalid JSON in gf_competitive_bench.json (C…
gHashTag May 31, 2026
d56d059
feat(specs): additive phi-falsifiable control-ablation blocks (epic #…
gHashTag May 31, 2026
8e9ff5c
feat(specs/ml): IGLA phi reproducibility capsule + falsification-ledg…
gHashTag May 31, 2026
027a002
fix(compiler): correct from_mhz ps unit conversion (W106) (#1000)
gHashTag May 31, 2026
637c387
fix(compiler): parenthesise masked Verilog assert (W49) (#1010)
gHashTag May 31, 2026
c68567b
fix(lexer): correct multi-char lookahead for && / || (W65) (#1012)
gHashTag May 31, 2026
11ace27
fix(bitnet): unstick layer_sequencer done + latch top-level busy (W88…
gHashTag May 31, 2026
3316900
fix(host): align IRQ_STAT host code with hardware read-to-clear (W57)…
gHashTag May 31, 2026
2ee46ec
fix(opt): drop unsound signed-division strength reduction (W73) (#1015)
gHashTag May 31, 2026
752b2d0
fix(compiler): guard is_dead_local against later-used uninit locals (…
gHashTag May 31, 2026
ab06519
feat(specs/numeric): F1 Lucas-exact accumulator + FL-004 breadth ledg…
gHashTag May 31, 2026
8826246
feat(specs/numeric): F3 posit-ladder control + es-schedule sourcing f…
gHashTag May 31, 2026
9cf5300
feat(specs/numeric): extend GoldenFloat ladder to GF64+GF256 + repair…
gHashTag May 31, 2026
7b99100
feat(fpga): port trios-mesh BPSK modem core to a .t27 spec
deborahnelson8788726 Jul 1, 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
  •  
  •  
  •  
The diff you're trying to view is too large. We only load the first 3000 changed files.
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