# file: /home/azureuser/agents/qa/athanor-sdk/src/kairos/lean_project.py
# hypothesis_version: 6.152.1

[-1000, -800, 124, 240, '*.lean', ',', 'Classical.choice', 'LakeProject', 'Mathlib', 'MathlibCanon', 'ModuleResolution', 'NotFound', 'ProjectModule', 'Quot.sound', 'ScaffoldSmokeResult', 'Scratch', '[^A-Za-z0-9_]', '_', '_kairos_smoke', 'build', 'lake', 'lakefile.lean', 'propext', 'scaffold_smoke_test', 'unknown target', 'unreachable']