{"schema_version":"1","bundle_name":"sum_monoid","root":"target/karpal-verify-golden","success_count":0,"failure_count":3,"obligations":[{"name":"associativity","summary":"karpal-core::Monoid for Sum<i32> [associativity]","status":"DryRun","artifact_path":"target/karpal-verify-golden/smt/associativity.smt2","lean_theorem_ref":"KarpalVerify.associativity","lean_diagnostic_count":0,"certificate":null,"kani_certificate":null,"lean_certificate":null},{"name":"left_identity","summary":"karpal-core::Monoid for Sum<i32> [left identity]","status":"DryRun","artifact_path":"target/karpal-verify-golden/smt/left_identity.smt2","lean_theorem_ref":"KarpalVerify.left_identity","lean_diagnostic_count":0,"certificate":null,"kani_certificate":null,"lean_certificate":null},{"name":"right_identity","summary":"karpal-core::Monoid for Sum<i32> [right identity]","status":"DryRun","artifact_path":"target/karpal-verify-golden/smt/right_identity.smt2","lean_theorem_ref":"KarpalVerify.right_identity","lean_diagnostic_count":0,"certificate":null,"kani_certificate":null,"lean_certificate":null}],"lean_module":{"module_name":"KarpalVerify","status":"DryRun","theorem_count":3,"import_count":0,"alias_count":0,"diagnostic_count":0,"theorem_failure_count":0,"certificate":null},"report_files":{"schema_version":"1","json_path":"target/karpal-verify-golden/summary.json","markdown_path":"target/karpal-verify-golden/summary.md","lean_diagnostics_json_path":"target/karpal-verify-golden/summary.lean-diagnostics.json","lean_manifest_path":"target/karpal-verify-golden/lean/KarpalVerify.manifest.json"}}