nvidia: make kernel_call a real delegation contract; add inline_ptx - #649

Merged

gstoner merged 11 commits into

mainfrom

feat/nvidia-delegation-contract

Aug 30, 2026

Commits on Aug 30, 2026

wip: nvidia delegation contract for device build
gstoner
committed
9c36572
wip: APFloat tolerance
gstoner
committed
bf24d3a
wip: anchor the enum diagnostic
gstoner
committed
5f92307
wip: fix negative fixture RUN line
gstoner
committed
1914dc8
feat(nvidia): make kernel_call a real delegation contract, add inline_ptx
gstoner
committed
06724a6
wip: delegate contract bridge + parity cases
gstoner
committed
eaaa279
feat(nvidia): give the arbiter a delegated candidate it can score
gstoner
committed
5d74a87
audit: the bootstrap surface is IR-constructing, not delegating
gstoner
committed
1e55122
wip: determinism + relative tolerance in the delegation contract
gstoner
committed
e8be6de
fix: declare determinism and relative tolerance; amend Decision #19
gstoner
committed
9ee0a71
docs: re-read every decision against the compiler direction; six changed
gstoner
committed
daaf40f