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

[0.0, 0.15, 0.25, 0.35, 1.0, -4000, 300, 500, 600, 2000, 3600, 4000, 8000, '--network=none', '--rm', '--run', '-c', '-v', '-w', '.', '.lean', '/', '/tmp/proof.lean', '/work', '@\\[init\\]', 'CedarBridge', '[', '\\bsorry\\b', '^import\\s+Lean\\b', '^import\\s+Mathlib\\b', '_KairosSample', 'aristotle_pending', 'banned', 'bash', 'build', 'compile_error', 'docker', 'elapsed_sec', 'env', 'error', 'error:', 'fails', 'full_proof', 'generator_synthesis', 'holds', 'import', 'info:', 'lake', 'lakefile.lean', 'lakefile.toml', 'lean', 'no-session', 'no_proof', 'open CedarBridge\n', 'partial_proof', 'podman', 'run', 'sdk_orchestration', 'session_id', 'sink', 'sorry', 'submitted', 'target', 'toString', 'type mismatch', 'unknown lean error', 'unsafe\\s+def', 'verdict', 'w', 'warning:', 'ℹ ', '✔ ']