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

[0.0, 1.0, 200, 300, '-', 'InvariantOutcome', 'SparsityResult', '_', 'axiom_clean', 'compiles', 'composite_verdict', 'error', 'has_sorry', 'invariants_failed', 'invariants_proved', 'l1_norm_preservation', 'l2_norm_preservation', 'lean compile error', 'loss_bound_eps', 'lottery_ticket', 'magnitude', 'movement', 'proved', 'pruning_scheme', 'refuted', 'score', 'structured', 'target_sparsity', 'total_elapsed_sec', 'unknown', 'unstructured', 'verify', 'weight_concentration']