{"id":"arxiv/2606.02854","url":"https://arxiv.org/abs/2606.02854","tags":["cs.PL","cs.LO","math.CT"],"score":0,"title":"Fixed-Point Scaffolding in the Clef Programming Language","domain":"cs.PL","source":"arxiv","authors":["Houston Haynes"],"reviews":0,"subject":"cs.PL","summary":"Native compilation changes how a program represents values and performs operations from processor to processor. In our view, proofs that justify source-level decisions must remain connected to those changes. We develop fixed-point scaffolding for this continuity in Clef and our Composer compiler. Our Program Semantic Graph retains types, joint constraints and proof dependencies. A thin MLIR middle end witnesses their settled consequences for native CPU, GPU, NPU and FPGA realization. The account connects nanopass traversal with preservation contracts, structural theorems and adjoint…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-01","reactions":{}}