Skip to content

feat: GF-T 2-layer ReLU network (solves XOR, proven on AX7203) - #1825

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

feat: GF-T 2-layer ReLU network (solves XOR, proven on AX7203)#1825
gHashTag merged 1 commit into
masterfrom
feat/gft-xornet

Conversation

@gHashTag

@gHashTag gHashTag commented Aug 7, 2026

Copy link
Copy Markdown
Owner

New spec gft_xornet.t27 — 2-layer ReLU forward pass h=relu(W*x+c), y=v.h+b. A single linear model cannot separate XOR; the hidden ReLU layer makes it nonlinearly separable. In-spec tests (4 XOR corners) PASS. Proven on a live AX7203 (uart_xornet.v, analytic XOR weights baked): XOR truth table 4/4 + the correct nonlinear tent surface — multi-layer nonlinear inference on silicon. fasm 9.4M, under the correctness ceiling. docs/NOW.md updated. Refs #1764

gft_xornet.t27: 2-layer ReLU forward pass h=relu(W*x+c), y=v.h+b. A single
linear model cannot separate XOR; the hidden ReLU layer makes it nonlinearly
separable. Reuses smul/sadd/relu.

Proven on a live AX7203 (uart_xornet.v, analytic XOR weights baked): XOR truth
table 4/4 correct AND the correct nonlinear tent surface (peak 1.0 at x0+x1=1,
0 at 0/2) -- multi-layer nonlinear inference on silicon. fasm 9.4M, under the
measured correctness ceiling. In-spec tests (4 corners) 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

PR Dashboard

Generated at: 2026-08-07 02:35:00 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).

@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.

@gHashTag
gHashTag merged commit a130b8f into master Aug 7, 2026
17 checks passed
@gHashTag
gHashTag deleted the feat/gft-xornet branch August 7, 2026 02:36
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