Skip to content

feat: GF-T on-chip binary logistic classifier (proven on AX7203, 100% held-out) - #1821

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

feat: GF-T on-chip binary logistic classifier (proven on AX7203, 100% held-out)#1821
gHashTag merged 1 commit into
masterfrom
feat/gft-logistic

Conversation

@gHashTag

@gHashTag gHashTag commented Aug 7, 2026

Copy link
Copy Markdown
Owner

New spec gft_logistic.t27 — on-chip SGD step of a binary classifier: logit z=w0x0+w1x1, p=hard_sigmoid(z)=clamp(0.5+0.25z,0,1), gradient dL/dz=p-y, update w_j-eta(p-y)*x_j; returns (w0'<<32)|w1'. Division-free hard-sigmoid (a runtime reciprocal maps to a $div/CARRY4 the open P&R flow cannot place). In-spec tests PASS. Proven on a live AX7203 (uart_logistic.v): streaming labeled 2D points for a hidden boundary (class1 iff x0+x1>0), the board learns on-chip and classifies 8/8 held-out correctly (100% generalization) — classification, not just regression. docs/NOW.md updated. Refs #1764

gft_logistic.t27: on-chip SGD step of a binary classifier -- logit
z=w0*x0+w1*x1, p=hard_sigmoid(z)=clamp(0.5+0.25*z,0,1), gradient dL/dz=p-y,
update w_j'=w_j-eta*(p-y)*x_j; returns (w0'<<32)|w1'. Uses a division-free
hard-sigmoid because a runtime reciprocal maps to a $div/CARRY4 the open P&R
flow cannot place; only smul/sadd/compares.

Proven on a live AX7203 (uart_logistic.v): streaming labeled 2D points for a
hidden boundary (class1 iff x0+x1>0), the board learns the weights on-chip and
classifies 8/8 held-out points correctly -- 100% generalization. Classification,
not just regression. In-spec tests PASS. 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 01:27:36 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 e915d02 into master Aug 7, 2026
17 checks passed
@gHashTag
gHashTag deleted the feat/gft-logistic branch August 7, 2026 01:28
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