Domain stream: the EBM Langevin loop through the MLIR/LLVM backbone — CPU JIT and one cooperative kernel on gfx1151/gfx1201/sm_120 (W4-PRODUCT-1 / AD-SOLVER-IFT-1) - #765

Merged

gstoner merged 16 commits into

mainfrom

claude/domain-ebm-quadratic

Sep 16, 2026

Commits on Sep 16, 2026

EBM: the traceable quadratic energy loop executes through the MLIR/LLVM backbone

gstoner
and
claude
committed
2b7da9c
Record the EBM quadratic energy slice (EBM-NATIVE-QUADRATIC-2026-09-16) in the plan, log, review, domain audit, queues and CLAUDE.md

gstoner
and
claude
committed
ca77641
EBM native loop architecture: device package for the loop, nonlinear and manifold energies

gstoner
and
claude
committed
22a27ee
EBM: the Langevin loop as one cooperative GPU kernel through the row-program emitter

gstoner
and
claude
committed
8978917
Regenerate the execution matrix for the EBM Langevin native GPU rows

gstoner
and
claude
committed
ad6fdd9
EBM Langevin native GPU: device recorder and the row-program lit fixture

gstoner
and
claude
committed
61623a8
EBM Langevin recorder: accept the canonicalized loop-carried tuple

gstoner
and
claude
committed
8b1251d
tessera-opt: register the LLVM dialect's promised inliner interface

gstoner
and
claude
committed
81b3db9
RowProgramToGPUPass: declare the tile dialect it emits

gstoner
and
claude
committed
4ce2c02
Row-program packaging seam and the reduction proof

gstoner
and
claude
committed
c14996e
RowProgramToGPUPass: declare the Tessera dialect for its provenance attributes

gstoner
and
claude
committed
30d33be
RowProgramToGPUPass: emit the LLVM sqrt intrinsic, not math.sqrt

gstoner
and
claude
committed
6ae727b
RowProgramToGPUPass: correctly rounded sqrt on both backends

gstoner
and
claude
committed
fa5c74a
test: check the emitted kernel body, not the provenance source attribute

gstoner
and
claude
committed
d3f2977
Record the EBM Langevin cooperative-kernel slice (EBM-NATIVE-GPU-2026-09-16)

gstoner
and
claude
committed
631f1dc
test: sub joins the pinned native-adjoint set in the autodiff ledger guard

gstoner
and
claude
committed
5081699

Navigation Menu

Domain stream: the EBM Langevin loop through the MLIR/LLVM backbone — CPU JIT and one cooperative kernel on gfx1151/gfx1201/sm_120 (W4-PRODUCT-1 / AD-SOLVER-IFT-1) - #765

Domain stream: the EBM Langevin loop through the MLIR/LLVM backbone — CPU JIT and one cooperative kernel on gfx1151/gfx1201/sm_120 (W4-PRODUCT-1 / AD-SOLVER-IFT-1)#765
gstoner merged 16 commits into
mainfrom
claude/domain-ebm-quadratic

Commits on Sep 16, 2026

EBM: the traceable quadratic energy loop executes through the MLIR/LLVM backbone

Record the EBM quadratic energy slice (EBM-NATIVE-QUADRATIC-2026-09-16) in the plan, log, review, domain audit, queues and CLAUDE.md

EBM native loop architecture: device package for the loop, nonlinear and manifold energies

EBM: the Langevin loop as one cooperative GPU kernel through the row-program emitter

Regenerate the execution matrix for the EBM Langevin native GPU rows

EBM Langevin native GPU: device recorder and the row-program lit fixture

EBM Langevin recorder: accept the canonicalized loop-carried tuple

tessera-opt: register the LLVM dialect's promised inliner interface

RowProgramToGPUPass: declare the tile dialect it emits

Row-program packaging seam and the reduction proof

RowProgramToGPUPass: declare the Tessera dialect for its provenance attributes

RowProgramToGPUPass: emit the LLVM sqrt intrinsic, not math.sqrt

RowProgramToGPUPass: correctly rounded sqrt on both backends

test: check the emitted kernel body, not the provenance source attribute

Record the EBM Langevin cooperative-kernel slice (EBM-NATIVE-GPU-2026-09-16)

test: sub joins the pinned native-adjoint set in the autodiff ledger guard