Skip to content

perf: log-depth magsub across all GF-T specs (~2x smaller designs) - #1849

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

perf: log-depth magsub across all GF-T specs (~2x smaller designs)#1849
gHashTag merged 1 commit into
masterfrom
feat/gft-magsub-global

Conversation

@gHashTag

@gHashTag gHashTag commented Aug 7, 2026

Copy link
Copy Markdown
Owner

Applied the proven log-depth magsub normalize (binary-search priority-encoder 8/4/2/1 + single barrel shift, replacing the 12-iteration linear loop) to all 24 GF-T specs. Every spec re-verified: all in-spec tests PASS (bit-identical; magsub proven identical over 17.4M (hi,lo) pairs). magsub is the design-size bulk, so this shrinks every GF-T core ~2x: logistic 16.7M->9.62M, xorpercep 17.86M->9.1M — under the ~17M correctness ceiling. Silicon reconfirmation pending an AX7203 power-cycle. docs/NOW.md updated. Refs #1764

Applied the proven log-depth magsub normalize (binary-search priority-encoder
8/4/2/1 + single barrel shift, replacing the 12-iteration linear loop) to all 24
GF-T specs that used the old linear magsub. Every spec re-verified: all in-spec
tests PASS after the swap.

magsub is bit-identical to the original (proven over 17.4M (hi,lo) pairs, 0
mismatches) and is the design-size bulk (every sadd uses it), so this shrinks
every GF-T core ~2x: logistic 16.7M->9.62M, xorpercep 17.86M->9.1M -- bringing
trainers well under the ~17M openXC7 correctness ceiling.

Silicon reconfirmation pending an AX7203 power-cycle (board degraded mid-session).

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 07:35:59 UTC

Summary

Status Count
Total Open PRs 7
PRs with Failing Checks 0
PRs with All Checks Green 7
READY 5
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 f0ec05f into master Aug 7, 2026
17 checks passed
@gHashTag
gHashTag deleted the feat/gft-magsub-global branch August 7, 2026 07:37
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