feat(spec): end-to-end GF-T classifier — MLP to GF-T logits to argmax to class (Refs #1764)

[gHashTag]

What

specs/ternary/gft_classifier4.t27 (GftClassifier4) — the capstone: the whole GF-T stack in one module.

4 GF-T16 activations
  → hidden layer (2 BitNet neurons, sign→trit)
  → re-embed {N→−1.0, Z→0, P→+1.0}
  → output layer of 4 LOGIT-neurons (raw signed GF-T sum, NO activation → a real GF-T logit per class)
  → argmax over the 4 logits
  → predicted class index {0,1,2,3}

Fuses gft_mlp3 (deep BitNet×GF-T inference) with gft_argmax4 (the classification head): activations → MLP → GF-T logits → class. The output neurons keep their raw GF-T sum as a logit instead of quantizing to a trit — so the class scores carry full GF-T precision.

Verification

• Bit-exact to the ideal oracle over 400 vectors (tests/gft_classifier4_vectors.txt), iverilog $fscanf in bootstrap/tests/gft_classifier4.rs.
• Doubly-grounded / non-circular oracle: integer HW model and exact-float64 (logit-sum + argmax) agree — the re-embedded hidden acts are exact ±1.0/0, so the output sums are exact in float64. 0/400 disagreements.
• Two in-spec tests (hand, all_zero) cross-checked against the Python oracle.
• No compiler change (on_comb, 20 ports). Fresh seal (seal --verify → all MATCH). Integration test 400/400.

Refs #1764

⚠️ Note: GitHub Actions is having an infra incident (action-download Bad Gateway/Service Unavailable) that has been stalling the validate gate on sibling PR #1801. If validate stalls here too, it is the same infra issue, not this change.

🤖 Generated with Claude Code

[github-actions]

PR Dashboard

Generated at: 2026-08-06 16:55:23 UTC

• feat(spec): GF-T reciprocal + complete GF-T softmax (Refs #1764) #1804 feat(spec): GF-T reciprocal + complete GF-T softmax (Refs #1764) | Created: 2026-08-06 | Updated: 2026-08-06 | 3 failing / 6 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 | 13 failing / 16 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 | 25 failing / 36 total

Summary

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

📓 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:26:35 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 | 10 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 | 8 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 | 7 failing / 18 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 | 3 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 | 12 failing / 22 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 | 9 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).