Skip to content

Isolate and qualify BF16 arithmetic consistency correction - #99

Closed
bsbodden wants to merge 6 commits into
mainfrom
fix/bf16-correctness-hotfix
Closed

bsbodden wants to merge 6 commits into
mainfrom
fix/bf16-correctness-hotfix

Conversation

@bsbodden

@bsbodden bsbodden commented Oct 12, 2026 •

Copy link
Copy Markdown
Member

Superseded by PR #100. The BF16-only control fails Bonsai batch parity, and its performance precision/allocation limitations remain recorded. Runtime work is incorporated in the combined correction; no release was published from this PR. Immutable source and protocol: audit/2026-10-12/bf16-hotfix-control (405639cb). Unique test reports are preserved in Models' scratch archive.


BF16 single-vector and batched projections can change their summation order after JIT compilation. This draft isolates that independently reproduced arithmetic defect on the published v0.1.29 base. It includes two-query weight reuse, existing shared row dispatch and the executor safeguards required by that dispatch; activation implementations and unrelated kernels remain unchanged.

This is not a fix for the current Bonsai native fixture failure. The unchanged real Bonsai tests failed on both architectures with the exact cb3dab3 candidate dependency in Models run 38319438508, proving this BF16-only patch is insufficient. The subsequent full activation-only candidate passed both fixtures on both architectures in Models run 38321333816, establishing that this BF16 change is not required to fix those Bonsai failures. The earlier local Bonsai pass used an unhashed mutable classes directory and cannot establish an isolated dependency fix.

Fresh local validation passed 45 BF16/dispatch/executor tests, including twelve cold/hot SIMD-width cases, batch allocation, shared/confined memory and cross-pool nested dispatch. The minimal fixed-tree alternative is retained as a rejected checkpoint because earlier x86/ARM measurements found slowdowns.

The frozen actual-artifact twelve-pair kernel workflow 38319356761 completed on AMD EPYC 9V74 and ARM Neoverse-N2 (SVE active). All twelve latency confidence intervals favor the candidate, but five cases fail the predeclared precision gate. ARM small-batch allocation also increases from 5.03 to 52.78 bytes per call. The workflow correctly fails; this candidate is not performance-qualified. Raw results retain every pair and do not establish whole-model performance. No publication or merge is justified by the present evidence. Useful BF16 work will be consolidated with the continuing development branch after review.

@bsbodden bsbodden changed the title Fix BF16 inference consistency with an isolated dependency candidate Isolate and qualify BF16 arithmetic consistency correction Oct 12, 2026
@bsbodden bsbodden closed this Oct 13, 2026
@bsbodden
bsbodden deleted the fix/bf16-correctness-hotfix branch October 13, 2026 00:05
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