demo: GF-T learns — end-to-end on-device training proof (Refs #1764)

[gHashTag]

GF-T learns

tools/gft_train_demo.py + docs/GFT_TRAINING_DEMO.md — a self-contained proof that the spec-first GF-T primitive stack doesn't merely compute correct arithmetic, it composes into real gradient-descent learning, and it trains as well as float64.

A linear 4-class classifier (logits = W @ x) is trained by SGD on a 4-point toy set using only the GF-T integer models — the exact bit-for-bit arithmetic the synthesized hardware computes (every op is bit-exact to a specs/ternary/*.t27 with a 500–2000-vector iverilog test). The same loop runs in float64 as a reference.

epoch   gft_loss float_loss
    0     2.2039     2.2033
    4     0.9156     0.9157
   10     0.4288     0.4293
   20     0.2178     0.2182
final: 4/4 accuracy

The GF-T loss falls monotonically 2.20 → 0.22 and tracks float64 to ~3 decimals the whole way. Final 4/4 accuracy.

Every stage maps to an iverilog-verified spec

stage	spec	conformance
softmax	gft_softmax4.t27	2000/2000
loss −log2 p	gft_nll.t27	403/403
grad p−y	gft_softmax_grad4.t27	1600/1600
update w−η·g	gft_sgd_step.t27	500/500
exp2/log2	gft_exp2.t27/gft_log2.t27	606/505

Independent of the spec-PR stack (#1801–#1807) — the demo inlines the models, so it merges standalone. Reproduce: python3 tools/gft_train_demo.py (no deps).

Refs #1764

⚠️ GitHub Actions runner availability still degraded (jobs queue). Verified locally.

🤖 Generated with Claude Code

[github-actions]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

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

[github-actions]

PR Dashboard

Generated at: 2026-08-06 22:12:45 UTC

• feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1815 feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 1 total
• feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1813 feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 11 failing / 12 total
• feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1810 feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 11 failing / 12 total
• integration: complete GF-T train+infer stack (all 8 PRs, locally verified) (Refs #1764) #1809 integration: complete GF-T train+infer stack (all 8 PRs, locally verified) (Refs #1764) | Created: 2026-08-06 | Updated: 2026-08-06 | 13 failing / 16 total
• demo: GF-T learns — end-to-end on-device training proof (Refs #1764) #1808 demo: GF-T learns — end-to-end on-device training proof (Refs #1764) | Created: 2026-08-06 | Updated: 2026-08-06 | 12 failing / 16 total
• feat: GF-T exp2 primitive + 4-neuron layer + AX7203 classifier synth runbook (Refs #1764) #1803 feat: GF-T exp2 primitive + 4-neuron layer + AX7203 classifier synth runbook (Refs #1764) | Created: 2026-08-06 | Updated: 2026-08-06 | 13 failing / 16 total
• feat(spec): end-to-end GF-T classifier — MLP to GF-T logits to argmax to class (Refs #1764) #1802 feat(spec): end-to-end GF-T classifier — MLP to GF-T logits to argmax to class (Refs #1764) | Created: 2026-08-06 | Updated: 2026-08-06 | 6 failing / 17 total
• feat(spec): GF-T argmax classification head — 4 logits to class index (Refs #1764) #1801 feat(spec): GF-T argmax classification head — 4 logits to class index (Refs #1764) | Created: 2026-08-06 | Updated: 2026-08-06 | 18 failing / 43 total

Summary

Status	Count
Total Open PRs	8
PRs with Failing Checks	1
PRs with All Checks Green	7
READY	1
FAILING	1
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).

[github-actions]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

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

[github-actions]

PR Dashboard

Generated at: 2026-08-06 22:23:48 UTC

• feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1815 feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 1 total
• feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1813 feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 11 failing / 12 total
• feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1810 feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 11 failing / 12 total
• integration: complete GF-T train+infer stack (all 8 PRs, locally verified) (Refs #1764) #1809 integration: complete GF-T train+infer stack (all 8 PRs, locally verified) (Refs #1764) | Created: 2026-08-06 | Updated: 2026-08-06 | 10 failing / 17 total
• demo: GF-T learns — end-to-end on-device training proof (Refs #1764) #1808 demo: GF-T learns — end-to-end on-device training proof (Refs #1764) | Created: 2026-08-06 | Updated: 2026-08-06 | 5 failing / 17 total
• feat: GF-T exp2 primitive + 4-neuron layer + AX7203 classifier synth runbook (Refs #1764) #1803 feat: GF-T exp2 primitive + 4-neuron layer + AX7203 classifier synth runbook (Refs #1764) | Created: 2026-08-06 | Updated: 2026-08-06 | 10 failing / 17 total
• feat(spec): end-to-end GF-T classifier — MLP to GF-T logits to argmax to class (Refs #1764) #1802 feat(spec): end-to-end GF-T classifier — MLP to GF-T logits to argmax to class (Refs #1764) | Created: 2026-08-06 | Updated: 2026-08-06 | 10 failing / 22 total

Summary

Status	Count
Total Open PRs	7
PRs with Failing Checks	0
PRs with All Checks Green	7
READY	1
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).