Skip to content

feat: GF-T 2-input on-chip trainer primitive (proven on AX7203) - #1818

Merged
gHashTag merged 1 commit into
masterfrom
feat/gft-train2-onchip
Aug 7, 2026
Merged

feat: GF-T 2-input on-chip trainer primitive (proven on AX7203)#1818
gHashTag merged 1 commit into
masterfrom
feat/gft-train2-onchip

Conversation

@gHashTag

@gHashTag gHashTag commented Aug 7, 2026

Copy link
Copy Markdown
Owner

New spec gft_train2.t27 — on_comb(w0,w1,x0,x1,t,eta) -> u64 runs one full on-chip SGD step of a 2-input linear neuron y=w0x0+w1x1 (forward, error, grads g_i=ex_i, updates w_i-etag_i), returning both updated weights packed (w0'<<32)|w1'. Reuses gft_sgd_step helpers. In-spec PASS, iverilog bit-exact. Proven on a live AX7203 (uart_train2.v): with both weights in registers the whole forward+backward+update runs on-chip; streaming a hidden function w*=(1.0,0.5) the board discovers BOTH params (w0 0.25->1.03, w1 0.25->0.48). docs/NOW.md updated. Refs #1764

gft_train2.t27: on_comb(w0,w1,x0,x1,t,eta) -> u64 runs one full SGD step of a
2-input linear neuron y=w0*x0+w1*x1 combinationally -- forward, error e=y-t,
grads g_i=e*x_i, updates w_i'=w_i-eta*g_i -- returning both updated weights
packed (w0'<<32)|w1'. Reuses the verified smul/sadd/neg/mag* helpers from
gft_sgd_step. With both weights in registers the whole forward+backward+update
runs on-chip and the host streams only (x0,x1,t) data.

Proven on a live AX7203 (uart_train2.v): streaming a hidden 2-weight function
w*=(1.0,0.5), the board discovers BOTH parameters -- w0 0.25->1.03, w1
0.25->0.48. In-spec test PASS, iverilog bit-exact. docs/NOW.md updated.

Refs #1764

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@github-actions

github-actions Bot commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-08-07 00:20:02 UTC

Summary

Status Count
Total Open PRs 4
PRs with Failing Checks 0
PRs with All Checks Green 4
READY 3
FAILING 0
PENDING 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=4c1aaad5309a != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag
gHashTag merged commit 16e6c20 into master Aug 7, 2026
17 checks passed
@gHashTag
gHashTag deleted the feat/gft-train2-onchip branch August 7, 2026 00:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant