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

[0.0, 1.0, 200, 300, 'CarbonAwareResult', 'InvariantOutcome', 'axiom_clean', 'carbon_aware_pareto', 'carbon_cost_bounded', 'carbon_efficient', 'compiles', 'composite_verdict', 'error', 'fixed', 'has_sorry', 'invariants_failed', 'invariants_proved', 'lean compile error', 'power_envelope_safe', 'proved', 'refuted', 'renewable_first', 'schedule_policy', 'score', 'spot_aware', 'thermal_safe', 'thermal_throttle', 'throttle_correctness', 'total_elapsed_sec', 'unknown', 'verify']