lean-eval

doc: harden the no-prebuild rule against future regressions (#104)

security: re-enable submission workflow after _prime_workspace fix (#99)

chore: regenerate generated/ workspaces

fix: relax complementary-polynomial degree constraint to inequality (#95)

security: stop building user code outside landrun in _prime_workspace (#92)