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

[0.0, 0.5, '.sv', ';', 'FULL_COVERAGE', 'NO_PROPOSALS', 'NO_SURVIVING', 'PARTIAL', 'ProposerFn', 'ProposerFn | None', 'UNKNOWN', 'assertion_sv', 'confidence', 'content', 'endmodule', 'hold_on_original', 'kill_mutant', 'rationale', 'role', 'solve', 'target_mutant', 'total_cost', 'usage', 'user', 'w', '{{MUTANT_OPERATOR}}', '{{MUTATED_LINE}}', '{{ORIGINAL_LINE}}', '{{PRIOR_ATTEMPTS}}', '{{SPEC}}']