LambdaEval — weaker proved compile (not the host λ dialect)

LambdaFragment.abstract0 has no η/C; simulation theorems rest on it. Host dialect authority is Turner → IStepBasis → IStep (host/lambda_dialect.py). This file only regression-checks the proved conservative compiler.