{"bundle_name":"sum_monoid","impossible_count":1,"rare_count":0,"emergent_count":0,"external_count":2,"verified_count":0,"obligations":[{"name":"associativity","summary":"karpal-core::Monoid for Sum<i32> [associativity]","declared_tier":"External","evidence_tier":"Impossible","external_success":false,"statistical":{"status":"Inconclusive","classification":"Impossible","estimated_probability":0,"bound":0.05,"samples":128}},{"name":"left_identity","summary":"karpal-core::Monoid for Sum<i32> [left identity]","declared_tier":"External","evidence_tier":"External","external_success":false,"statistical":null},{"name":"right_identity","summary":"karpal-core::Monoid for Sum<i32> [right identity]","declared_tier":"External","evidence_tier":"External","external_success":false,"statistical":null}],"report_files":{"schema_version":"1","json_path":"target/karpal-verify-golden/summary.three-tier.json","markdown_path":"target/karpal-verify-golden/summary.three-tier.md"}}