{ "experiment": "ci-run", "generated_at": "2026-05-03 16:59 UTC", "workload_docs": { "email-validate": [ { "mutations": [ "remove_local_length_check_655883ca_1" ], "tasks": [ { "property": "LocalPartUnder64", "witnesses": [ { "test_fn": "witness_local_part_under64_case_65a", "note": "65 a's then @example.com — must be rejected" }, { "test_fn": "witness_local_part_under64_case_70a", "note": "70 a's then @example.com — must be rejected" } ] } ], "source": { "repo": "https://github.com/Porges/email-validate-hs", "commits": [ "655883cae6d2305d7fdc65b0f6192aa963e50da5" ], "commit_subjects": [ "Enforce length restrictions properly" ], "origin": "internal", "summary": "Pre-fix, addrSpec did not check that the local-part length stayed within 64 octets (RFC 3696). The fix added `when (BS.length l > 64) (fail ...)`. Reverse-applying the patch removes that guard, so addrSpec accepts emails whose local part is 65 or more octets." }, "injection": { "kind": "patch", "files": [ "src/Text/Email/Parser.hs" ], "locations": [ { "file": "src/Text/Email/Parser.hs", "line": 60, "symbol": "addrSpec" } ], "patch": "patches/remove_local_length_check_655883ca_1.patch" }, "bug": { "short_name": "missing_local_part_length_check", "invariant": "If validate accepts a ByteString as a valid email, the parsed local-part must be at most 64 octets long (RFC 3696).", "how_triggered": "Reverse-applying the patch removes the `when (BS.length l > 64)` guard from addrSpec. Calling validate \"<65-a-chars>@example.com\" then returns Right instead of Left." } }, { "mutations": [ "remove_total_length_check_655883ca_2" ], "tasks": [ { "property": "TotalUnder254", "witnesses": [ { "test_fn": "witness_total_under254_case_long", "note": "270-char email — must be rejected" } ] } ], "source": { "repo": "https://github.com/Porges/email-validate-hs", "commits": [ "655883cae6d2305d7fdc65b0f6192aa963e50da5" ], "commit_subjects": [ "Enforce length restrictions properly" ], "origin": "internal", "summary": "Pre-fix, addrSpec did not check that the total length (local + '@' + domain) stayed within 254 octets (RFC 3696 Erratum 1690). The fix added `when (BS.length l + BS.length d + 1 > 254) (fail ...)`. Reverse-applying the patch removes that guard." }, "injection": { "kind": "patch", "files": [ "src/Text/Email/Parser.hs" ], "locations": [ { "file": "src/Text/Email/Parser.hs", "line": 67, "symbol": "addrSpec" } ], "patch": "patches/remove_total_length_check_655883ca_2.patch" }, "bug": { "short_name": "missing_total_length_check", "invariant": "If validate accepts a ByteString as a valid email, the total length (local + 1 + domain) must be at most 254 octets (RFC 3696 Erratum 1690).", "how_triggered": "Reverse-applying the patch removes the `when (BS.length l + BS.length d + 1 > 254)` guard from addrSpec. Calling validate on a 270-char email then returns Right." } }, { "mutations": [ "remove_label_length_check_fcef63cc_2" ], "tasks": [ { "property": "DomainLabelUnder63", "witnesses": [ { "test_fn": "witness_domain_label_under63_case_64a", "note": "domain with 64-char first label — must be rejected" }, { "test_fn": "witness_domain_label_under63_case_70a", "note": "domain with 70-char first label — must be rejected" } ] } ], "source": { "repo": "https://github.com/Porges/email-validate-hs", "commits": [ "fcef63cc827448d108489da17de019ed2281d656", "070763d69ecca197ac38d4b06c38ee37443329b7" ], "commit_subjects": [ "Use a single domain parser", "Add stricter domain-name parsing" ], "origin": "internal", "summary": "domainLabel must enforce that each label is at most 63 octets (RFC 1035). The fix combined this with the trailing-hyphen guard. Reverse-applying the patch removes the 63-char check (keeping the hyphen check)." }, "injection": { "kind": "patch", "files": [ "src/Text/Email/Parser.hs" ], "locations": [ { "file": "src/Text/Email/Parser.hs", "line": 94, "symbol": "domainLabel" } ], "patch": "patches/remove_label_length_check_fcef63cc_2.patch" }, "bug": { "short_name": "missing_label_length_check", "invariant": "If validate accepts a ByteString as a valid email, every dot-separated label of the parsed domain must be at most 63 octets (RFC 1035).", "how_triggered": "Reverse-applying the patch drops the `BS.length content <= 63` clause from domainLabel's guard. Calling validate \"a@<64-char>.com\" then returns Right." } }, { "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "tasks": [ { "property": "DomainLabelNoTrailingHyphen", "witnesses": [ { "test_fn": "witness_domain_label_no_trailing_hyphen_case_dash", "note": "a@foo-.com — must be rejected" }, { "test_fn": "witness_domain_label_no_trailing_hyphen_case_double", "note": "a@foo--.com — must be rejected" } ] } ], "source": { "repo": "https://github.com/Porges/email-validate-hs", "commits": [ "fcef63cc827448d108489da17de019ed2281d656", "070763d69ecca197ac38d4b06c38ee37443329b7" ], "commit_subjects": [ "Use a single domain parser", "Add stricter domain-name parsing" ], "origin": "internal", "summary": "RFC 1035 forbids domain labels from ending in '-'. The fix's domainLabel guard is `BS.length content <= 63 && BS.last content /= '-'`. Reverse-applying the patch drops the trailing-hyphen check (keeping the length check)." }, "injection": { "kind": "patch", "files": [ "src/Text/Email/Parser.hs" ], "locations": [ { "file": "src/Text/Email/Parser.hs", "line": 94, "symbol": "domainLabel" } ], "patch": "patches/remove_label_hyphen_check_fcef63cc_3.patch" }, "bug": { "short_name": "missing_label_trailing_hyphen_check", "invariant": "If validate accepts a ByteString as a valid email, no dot-separated label of the parsed domain may end with '-' (RFC 1035).", "how_triggered": "Reverse-applying the patch drops `BS.last content /= '-'` from domainLabel's guard. Calling validate \"a@foo-.com\" then returns Right." } }, { "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "tasks": [ { "property": "DomainNameAlphanumeric", "witnesses": [ { "test_fn": "witness_domain_name_alphanumeric_case_bang", "note": "a@foo!.com — must be rejected" }, { "test_fn": "witness_domain_name_alphanumeric_case_dollar", "note": "a@foo$.com — must be rejected" } ] } ], "source": { "repo": "https://github.com/Porges/email-validate-hs", "commits": [ "070763d69ecca197ac38d4b06c38ee37443329b7", "fcef63cc827448d108489da17de019ed2281d656" ], "commit_subjects": [ "Add stricter domain-name parsing", "Use a single domain parser" ], "origin": "internal", "summary": "Pre-fix, the `domain` parser was `dottedAtoms <|> domainLiteral`, which accepted any RFC 5322 atom-text characters in domain labels (`!#$%&'*+/=?^_\\`{|}~-`). The fix routes through the strict `domainName` parser that only accepts ASCII alphanumerics + '-'. Reverse-applying the patch reinstates the lax dottedAtoms domain." }, "injection": { "kind": "patch", "files": [ "src/Text/Email/Parser.hs" ], "locations": [ { "file": "src/Text/Email/Parser.hs", "line": 76, "symbol": "domain" } ], "patch": "patches/relax_domain_to_dotted_atoms_070763d6_1.patch" }, "bug": { "short_name": "domain_accepts_atom_text", "invariant": "If validate accepts a ByteString as a valid email and the domain is not a bracketed literal, every domain label must consist only of ASCII alphanumerics and '-' (RFC 1035).", "how_triggered": "Reverse-applying the patch swaps the strict `domainName` for `dottedAtoms` in the `domain` definition. Calling validate \"a@foo!.com\" then returns Right because `!` is part of atom-text." } } ] }, "metrics": [ { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:49.810006625+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "175us", "error": null, "tool": "quickcheck", "counterexample": "\"aLUCGfB6TOCexEplN1CQnrZFbmax4jeGzHcXUvcrVoAdxLNWHXAozU9aYtrN6pSQLp2u@jI.DKHM.S2Bgjd\"validate accepted \"aLUCGfB6TOCexEplN1CQnrZFbmax4jeGzHcXUvcrVoAdxLNWHXAozU9aYtrN6pSQLp2u@jI.DKHM.S2Bgjd\" with local-part length 68 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:49.933890720+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "172us", "error": null, "tool": "quickcheck", "counterexample": "\"MuVqONsndTUqp34ZWrwk8JvNrZFALUZak1GcbvQsYhgP6BFCc5DrCHsGDhWbZS3c76dQDbhdrSrCBn@bv\"validate accepted \"MuVqONsndTUqp34ZWrwk8JvNrZFALUZak1GcbvQsYhgP6BFCc5DrCHsGDhWbZS3c76dQDbhdrSrCBn@bv\" with local-part length 78 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.037816463+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "225us", "error": null, "tool": "quickcheck", "counterexample": "\"X5Uaa6xWVzawJQejkyqh0pnhONM1BqBWmAyp9SI8zEDwrFWwnbVBFjq9GEDs6jhRmAkORYVu@wN9T\"validate accepted \"X5Uaa6xWVzawJQejkyqh0pnhONM1BqBWmAyp9SI8zEDwrFWwnbVBFjq9GEDs6jhRmAkORYVu@wN9T\" with local-part length 72 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.141700042+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "183us", "error": null, "tool": "quickcheck", "counterexample": "\"2236G36zkRcW1MoaXXrnvXcojEjMqDUZb42KItKyvvsObYnGzrblAPGVOvlH20pJPM@xR6nH.EfZX6O\"validate accepted \"2236G36zkRcW1MoaXXrnvXcojEjMqDUZb42KItKyvvsObYnGzrblAPGVOvlH20pJPM@xR6nH.EfZX6O\" with local-part length 66 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.245597161+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "177us", "error": null, "tool": "quickcheck", "counterexample": "\"ePDclkpOMryCR3QnkrfBRpABVwVy1EZl5Ii042snKxv2zzSgepdRhpTaDFyW06w6uTFmvvVF@f.9Hv.lsD\"validate accepted \"ePDclkpOMryCR3QnkrfBRpABVwVy1EZl5Ii042snKxv2zzSgepdRhpTaDFyW06w6uTFmvvVF@f.9Hv.lsD\" with local-part length 72 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.349573690+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "177us", "error": null, "tool": "quickcheck", "counterexample": "\"WxIh5hVjO6U9DwKdwWAbOtqwtpa30V1SSdIS6WT0aT7BHPuRR4ikO9AdaMJZ5TNAAi8AGizYoTJJLfy@6c.n-O.f9RZM\"validate accepted \"WxIh5hVjO6U9DwKdwWAbOtqwtpa30V1SSdIS6WT0aT7BHPuRR4ikO9AdaMJZ5TNAAi8AGizYoTJJLfy@6c.n-O.f9RZM\" with local-part length 79 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.453475266+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "180us", "error": null, "tool": "quickcheck", "counterexample": "\"chygSvont2IGD84neCAfQACExSyzb6qCLYwfww2RQcAemOCq7FKteI3wBkH2WC4Vmw7aWtwLv@r25u.cEyysC\"validate accepted \"chygSvont2IGD84neCAfQACExSyzb6qCLYwfww2RQcAemOCq7FKteI3wBkH2WC4Vmw7aWtwLv@r25u.cEyysC\" with local-part length 73 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.557527459+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "176us", "error": null, "tool": "quickcheck", "counterexample": "\"1GEPa4g2DBc1e9ha444ZKIIC8iptheVSA5eESlzqcuSTbbR9HgwEVwx4irXD6SiyFG2u5vXJDSJpgI44@bex5W.Y9E\"validate accepted \"1GEPa4g2DBc1e9ha444ZKIIC8iptheVSA5eESlzqcuSTbbR9HgwEVwx4irXD6SiyFG2u5vXJDSJpgI44@bex5W.Y9E\" with local-part length 80 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.662771209+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "164us", "error": null, "tool": "quickcheck", "counterexample": "\"w9DEEc6etzPryBC9qZL0b7ieankO3ZIDWyd1RRbXU2ZmJzrI2xgaEiUsL7Iy0DNxE@5F72B\"validate accepted \"w9DEEc6etzPryBC9qZL0b7ieankO3ZIDWyd1RRbXU2ZmJzrI2xgaEiUsL7Iy0DNxE@5F72B\" with local-part length 65 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.766876821+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "166us", "error": null, "tool": "quickcheck", "counterexample": "\"h9S8JEKpqmHtnNLjAuTkCjAnds2PdK1itreOcW5hmN2FHnfOdN0akfRfBeSlgDlfQEegs5JfB3@G\"validate accepted \"h9S8JEKpqmHtnNLjAuTkCjAnds2PdK1itreOcW5hmN2FHnfOdN0akfRfBeSlgDlfQEegs5JfB3@G\" with local-part length 74 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.870890866+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "107020us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:51.085290074+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "91228us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:51.279624581+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "91424us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:51.473501831+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "92859us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:51.667470078+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "89640us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:51.861608621+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "103366us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:52.065724742+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "105462us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:52.270120673+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "103817us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:52.484369325+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "101011us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:52.688386538+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "100152us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:52.892447636+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "390us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\" with local-part length 65 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.026763711+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "397us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\" with local-part length 65 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.160919226+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "391us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\" with local-part length 65 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.295036522+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "371us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\" with local-part length 65 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.428951936+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "392us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\" with local-part length 65 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.563079358+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "829us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\" with local-part length 65 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.697243395+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "843us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\" with local-part length 65 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.831427793+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "380us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\" with local-part length 65 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.965694974+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "379us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\" with local-part length 65 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.110126274+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "428us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a\" with local-part length 65 (RFC 3696 caps at 64)", "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.244323441+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "69us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.348489765+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "73us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.452403349+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "66us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.646355952+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "67us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.750284138+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "67us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.854092655+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "67us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.957934111+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "70us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.101793984+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "67us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.205976312+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "66us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "LocalPartUnder64", "mutations": [ "remove_local_length_check_655883ca_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.309874112+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "66us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "55ec2eb0ed1851375e0c2c5f04c8941069658c7c" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:58.986045820+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "244us", "error": null, "tool": "quickcheck", "counterexample": "\"mTq3soZ7XvFAC15JxLQcqMplJFp45CspDV9lLnjtlg2IYkGdw0dDZeVjzbbYZMsk@ZvfY-QtahCnf5iyQ-iHvO7uwzpkd873uGeumigQsM6otLRwrKV5lHiQTUCnjER-.hPbKSJj8TAois4wFFfKGBHfyNN3w3ZkKZLf03eY-VFP0gk3bNCa1blvMiC5gLEX.P6iJRGlgrSCVh0J59m60APbIZflCDVNozcGWuBwen9APwZ4eAD9GAUn9d2RG7lg\"validate accepted \"mTq3soZ7XvFAC15JxLQcqMplJFp45CspDV9lLnjtlg2IYkGdw0dDZeVjzbbYZMsk@ZvfY-QtahCnf5iyQ-iHvO7uwzpkd873uGeumigQsM6otLRwrKV5lHiQTUCnjER-.hPbKSJj8TAois4wFFfKGBHfyNN3w3ZkKZLf03eY-VFP0gk3bNCa1blvMiC5gLEX.P6iJRGlgrSCVh0J59m60APbIZflCDVNozcGWuBwen9APwZ4eAD9GAUn9d2RG7lg\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:59.089957321+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "239us", "error": null, "tool": "quickcheck", "counterexample": "\"yMTL6GulxLX4rLO1uOl69EjLwfXTTsyXSaxCRCgdz0k3Dcg1uCfUAnnCwOfs9Df4@N1In6qnjI6Mx1jDpGrljxlZ3gTO4IwkUDM39I-F8xN34yaqag3yTndUnFIKlW94.f-85nPtv6EHilrplDMXuSdRop2VkoIRMnx58hmFFENeeJXYEAMNaooP901XYwjJ.UTjvQ9ze7rRlETXLJkYQ8RRyP1jnSM2CtPmxfYHAscP54eTUSYfYSWQk8KCNcA6\"validate accepted \"yMTL6GulxLX4rLO1uOl69EjLwfXTTsyXSaxCRCgdz0k3Dcg1uCfUAnnCwOfs9Df4@N1In6qnjI6Mx1jDpGrljxlZ3gTO4IwkUDM39I-F8xN34yaqag3yTndUnFIKlW94.f-85nPtv6EHilrplDMXuSdRop2VkoIRMnx58hmFFENeeJXYEAMNaooP901XYwjJ.UTjvQ9ze7rRlETXLJkYQ8RRyP1jnSM2CtPmxfYHAscP54eTUSYfYSWQk8KCNcA6\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:59.193799419+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "255us", "error": null, "tool": "quickcheck", "counterexample": "\"3uHBmq1gEjrnKjN4PVgchBT53IbrotmzR5UV10gymdYL66EYhUbrjecwgpRlvqip@ZrkAgidOd-KcAa7YBxcx1yCKotk80UJ4j5CX1gHjIf3bZ66RUlbMlbb9jzWKdgL.VtqrinR1TfJawXXjE70PyF97KnXjUax27hHkTptVvnBJHpUbYMjGdPlmBukVOhN.Mat7RYhW8W7KH3IvkbLyzxXCJy3f-QEVm5vhMDsmvvnWemwn98dRacDzpsEUtji\"validate accepted \"3uHBmq1gEjrnKjN4PVgchBT53IbrotmzR5UV10gymdYL66EYhUbrjecwgpRlvqip@ZrkAgidOd-KcAa7YBxcx1yCKotk80UJ4j5CX1gHjIf3bZ66RUlbMlbb9jzWKdgL.VtqrinR1TfJawXXjE70PyF97KnXjUax27hHkTptVvnBJHpUbYMjGdPlmBukVOhN.Mat7RYhW8W7KH3IvkbLyzxXCJy3f-QEVm5vhMDsmvvnWemwn98dRacDzpsEUtji\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:59.297669448+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "240us", "error": null, "tool": "quickcheck", "counterexample": "\"l2ILiapHVCYyK9aJTvN5KSjh1cLVEUhDjM9hL12TQ6Z6wmcL4LEjRPq2iuMrvOAJ@GuzAeSlNhjek0m44lYpDW67JuLs6Gzp61CbGHHnxeYQrgI4VPWQEi1tBauz7Ibp.0uNOhN9cniOiIjX9roWdTrsc7CAlhOS7vvJl8FUP1fpTKSLiGhTHqtnA9GYdojV.iXOonWHlIfcrNuxIaUsvGphuLh5bTF4XoROFvPxWH5T-aCURfObSdLZUMgvKaZK\"validate accepted \"l2ILiapHVCYyK9aJTvN5KSjh1cLVEUhDjM9hL12TQ6Z6wmcL4LEjRPq2iuMrvOAJ@GuzAeSlNhjek0m44lYpDW67JuLs6Gzp61CbGHHnxeYQrgI4VPWQEi1tBauz7Ibp.0uNOhN9cniOiIjX9roWdTrsc7CAlhOS7vvJl8FUP1fpTKSLiGhTHqtnA9GYdojV.iXOonWHlIfcrNuxIaUsvGphuLh5bTF4XoROFvPxWH5T-aCURfObSdLZUMgvKaZK\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:59.401502412+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "237us", "error": null, "tool": "quickcheck", "counterexample": "\"pcfPIBIPfzzj1CutBRsrGk636OiCFcJiylD7mxCLxQwXvhwnTHYdEyG6cpBJB5DF@OXy7a3h4WfwJoE96KmVL2iEopcqhcHITcvEPcUToju8LcEMgVvxWW0ekh77k9RW.gXocZ5SQVdXWJbg11GTi3SrsfhGtumdxFkvLlYhpuK0EKBXK2PXErjV3Bp6lHXi.NHfM60NDN27o4nSRNHxdb6O83MhuWgWWmuuhqeu-VnhSCnRcCP9fX3pPCTHr5dl\"validate accepted \"pcfPIBIPfzzj1CutBRsrGk636OiCFcJiylD7mxCLxQwXvhwnTHYdEyG6cpBJB5DF@OXy7a3h4WfwJoE96KmVL2iEopcqhcHITcvEPcUToju8LcEMgVvxWW0ekh77k9RW.gXocZ5SQVdXWJbg11GTi3SrsfhGtumdxFkvLlYhpuK0EKBXK2PXErjV3Bp6lHXi.NHfM60NDN27o4nSRNHxdb6O83MhuWgWWmuuhqeu-VnhSCnRcCP9fX3pPCTHr5dl\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:59.505334264+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "243us", "error": null, "tool": "quickcheck", "counterexample": "\"lTRLrcUPUxhXykWk9k7n5KevR13IrZ3PlhkAKSJMNsdra7YtHe9bRqEqHveWaG8o@fowDquYZmCFmxz0unYru35ddJC3fLugDOOln3Zp4XnF9PttGDjxg1gLw3YN31OX.319MpSMf-HNz5BWqroTu76p2Zkxh6bto57kWNoM0zUuDQVO37RXcEVH7IU9q3DZ.d3EgY6UHOhJfJopqkW9mU5M97SVAWWJ9aze5RwqqzSUsRcuKv-icMuZRXJrjmde\"validate accepted \"lTRLrcUPUxhXykWk9k7n5KevR13IrZ3PlhkAKSJMNsdra7YtHe9bRqEqHveWaG8o@fowDquYZmCFmxz0unYru35ddJC3fLugDOOln3Zp4XnF9PttGDjxg1gLw3YN31OX.319MpSMf-HNz5BWqroTu76p2Zkxh6bto57kWNoM0zUuDQVO37RXcEVH7IU9q3DZ.d3EgY6UHOhJfJopqkW9mU5M97SVAWWJ9aze5RwqqzSUsRcuKv-icMuZRXJrjmde\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:59.609234498+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "240us", "error": null, "tool": "quickcheck", "counterexample": "\"KElL8BATyPMsx76kxi9qBshdXuzpdjaKq6vxBIKxQvlR1Zr73daRnxVKuoqhyfh6@Q2msb8bTmZrHZHsK-JZDLmtfZ9wLOgTY2-NAKVrkRqDSubPaWdQXtE0xqzNobgq.YpRc42gAZ5iSP3gH1WQXySntaLCfz-FrDK1pQr-gquE9iFyu7dcvmA1Ai2lZ9GQ.gv1t9Z9A375041NypQl0ssKivtjVbWWxheD5dNCRLijBYOFyStGM9WZLHwtfZTZ\"validate accepted \"KElL8BATyPMsx76kxi9qBshdXuzpdjaKq6vxBIKxQvlR1Zr73daRnxVKuoqhyfh6@Q2msb8bTmZrHZHsK-JZDLmtfZ9wLOgTY2-NAKVrkRqDSubPaWdQXtE0xqzNobgq.YpRc42gAZ5iSP3gH1WQXySntaLCfz-FrDK1pQr-gquE9iFyu7dcvmA1Ai2lZ9GQ.gv1t9Z9A375041NypQl0ssKivtjVbWWxheD5dNCRLijBYOFyStGM9WZLHwtfZTZ\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:59.713516085+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "239us", "error": null, "tool": "quickcheck", "counterexample": "\"RdXFfhhV2W974R82eDmHpYCrFhcdVtxeQs99tIfFaZHUt2Wna6obae6QMdBoTBq2@A1g62HMjVAFiakfOuteB1rx7A2tL7-B4-hWHToxgVFr9ixgLvz7MY72jsItuOdB.Bg5-XtixVN7fDs83Er2xYP1g9hyB5iCsCnCCTSgQ48rIN10vCQNFzRVQXig9mUn.cZkJ2wtVmwj1VkPnZQlNBvIeiyfcZsMoekYYLK5kqlJ2ubJ6Vyi8J1h706NpVgc\"validate accepted \"RdXFfhhV2W974R82eDmHpYCrFhcdVtxeQs99tIfFaZHUt2Wna6obae6QMdBoTBq2@A1g62HMjVAFiakfOuteB1rx7A2tL7-B4-hWHToxgVFr9ixgLvz7MY72jsItuOdB.Bg5-XtixVN7fDs83Er2xYP1g9hyB5iCsCnCCTSgQ48rIN10vCQNFzRVQXig9mUn.cZkJ2wtVmwj1VkPnZQlNBvIeiyfcZsMoekYYLK5kqlJ2ubJ6Vyi8J1h706NpVgc\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:59.817437201+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "240us", "error": null, "tool": "quickcheck", "counterexample": "\"tAfc77owK14SicjyZLvRikX3R5oHxmEDfTKEepGTIMITwvQQ0PMHTaIeyDD6WfGG@t-Zra6YHcYRkzPjyJ7gN1qv7E4oFoEW6VY6jvgEoEUBOz6yJbhMcOSphX0dxRC7.fU-s8vq02Von1QqxtT8pwOLLXXbrmvLN7dtzIGpnz-qLpJdgWVdtIeGFO38vDVR.EqYORJ6gg0LqQHI4PbEoImksXNMlfMzprYeN1zI11aJGI7GM-JOPfRDNL6Vq48U\"validate accepted \"tAfc77owK14SicjyZLvRikX3R5oHxmEDfTKEepGTIMITwvQQ0PMHTaIeyDD6WfGG@t-Zra6YHcYRkzPjyJ7gN1qv7E4oFoEW6VY6jvgEoEUBOz6yJbhMcOSphX0dxRC7.fU-s8vq02Von1QqxtT8pwOLLXXbrmvLN7dtzIGpnz-qLpJdgWVdtIeGFO38vDVR.EqYORJ6gg0LqQHI4PbEoImksXNMlfMzprYeN1zI11aJGI7GM-JOPfRDNL6Vq48U\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:59.920518878+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "240us", "error": null, "tool": "quickcheck", "counterexample": "\"wMxB5dGdsmgC5cpNrqkhvND85rCuvH8OLIUGo9LKLswu2QN91cbkp5RwZgi60Wtd@pQaVMFkNAG5wZwSfOiQhdnDVYrgdWLxcP0KxLrRjJn4qrhHaiKTzeXPDaKDjKwz.BNTt0Ht2Za2wntIHebUv6ntKwj4wXsVY1HnRnx5kfOkBxDD01sco7k9QOqtBLtj.ZMxyTPotrjSQY2dYeKbJSK7cIeNw0331s0of3HL1I-J23RPDN9KqOXOAnbMjpnw\"validate accepted \"wMxB5dGdsmgC5cpNrqkhvND85rCuvH8OLIUGo9LKLswu2QN91cbkp5RwZgi60Wtd@pQaVMFkNAG5wZwSfOiQhdnDVYrgdWLxcP0KxLrRjJn4qrhHaiKTzeXPDaKDjKwz.BNTt0Ht2Za2wntIHebUv6ntKwj4wXsVY1HnRnx5kfOkBxDD01sco7k9QOqtBLtj.ZMxyTPotrjSQY2dYeKbJSK7cIeNw0331s0of3HL1I-J23RPDN9KqOXOAnbMjpnw\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:00.024888096+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "189458us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:00.319150980+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "191575us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:00.613173454+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "189891us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:00.907046494+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "186204us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:01.191092952+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "192742us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:01.485179412+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "184198us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:01.769913212+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "190213us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:02.063912191+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "184484us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:02.348524979+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "186253us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:02.632397677+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "182978us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:02.916846779+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "919us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:03.021049638+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "884us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:03.124993227+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "910us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:03.228997208+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "924us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:03.332972255+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "921us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:03.436855183+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "909us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:03.540767326+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "895us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:03.644689153+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "920us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:03.748881015+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "898us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:03.852764985+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "929us", "error": null, "tool": "falsify", "counterexample": "\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\": validate accepted \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" with total length 256 (RFC 3696 erratum 1690 caps at 254)", "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:03.956933332+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "72us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:04.060918183+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "84us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:04.175294984+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "72us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:04.289615981+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "70us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:04.404021826+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "69us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:04.507947619+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "71us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:04.611924038+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "70us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:04.716023531+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "69us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:04.819973320+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "70us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "TotalUnder254", "mutations": [ "remove_total_length_check_655883ca_2" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:04.923882098+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "70us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "f33ed33d5c0040589831dadd0d7884514105a3d5" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.549542396+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "182us", "error": null, "tool": "quickcheck", "counterexample": "\"BXKztfWY@bmRFJjih9Nevo9TqNlMuLnt1XX1k9VbsAusAvGi1NuEOiu4hxVqkKBVlbUo2md29X.d\"validate accepted \"BXKztfWY@bmRFJjih9Nevo9TqNlMuLnt1XX1k9VbsAusAvGi1NuEOiu4hxVqkKBVlbUo2md29X.d\" with oversize domain label \"bmRFJjih9Nevo9TqNlMuLnt1XX1k9VbsAusAvGi1NuEOiu4hxVqkKBVlbUo2md29X\" of length 65 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.663476052+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "207us", "error": null, "tool": "quickcheck", "counterexample": "\"5AKvi@b8zluT6VVCn07LUlt-HlzM9FIGnPKQf0n9fxrJeQiTN-KtenTy9cLzLPyTa4Vmv8h0QKV.IhJ\"validate accepted \"5AKvi@b8zluT6VVCn07LUlt-HlzM9FIGnPKQf0n9fxrJeQiTN-KtenTy9cLzLPyTa4Vmv8h0QKV.IhJ\" with oversize domain label \"b8zluT6VVCn07LUlt-HlzM9FIGnPKQf0n9fxrJeQiTN-KtenTy9cLzLPyTa4Vmv8h0QKV\" of length 69 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.767241113+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "178us", "error": null, "tool": "quickcheck", "counterexample": "\"f@02HN8ddWPDcFHp2SnWUKLrLDa0G--wyI4pWKvdn9UGLjsWMtEmOu7dqOS1ptlVuKMig5.HAw6VH\"validate accepted \"f@02HN8ddWPDcFHp2SnWUKLrLDa0G--wyI4pWKvdn9UGLjsWMtEmOu7dqOS1ptlVuKMig5.HAw6VH\" with oversize domain label \"02HN8ddWPDcFHp2SnWUKLrLDa0G--wyI4pWKvdn9UGLjsWMtEmOu7dqOS1ptlVuKMig5\" of length 68 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.871080706+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "207us", "error": null, "tool": "quickcheck", "counterexample": "\"xXyR8eT@aloJP0A0gfPwS0x9eTtgSe-Mz3RnnEXYlHYCCS1ZNXNed6izDKmwVmPvhbIo6Y3Fv3Pxf.LTzt\"validate accepted \"xXyR8eT@aloJP0A0gfPwS0x9eTtgSe-Mz3RnnEXYlHYCCS1ZNXNed6izDKmwVmPvhbIo6Y3Fv3Pxf.LTzt\" with oversize domain label \"aloJP0A0gfPwS0x9eTtgSe-Mz3RnnEXYlHYCCS1ZNXNed6izDKmwVmPvhbIo6Y3Fv3Pxf\" of length 69 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.974895582+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "206us", "error": null, "tool": "quickcheck", "counterexample": "\"ypTtg@kvZ9t2oLfIfYpyikJrnli81apob2eucmvaMzDp-rEIG4yNApnPGX08QQMYMNmGYw6.Vcys\"validate accepted \"ypTtg@kvZ9t2oLfIfYpyikJrnli81apob2eucmvaMzDp-rEIG4yNApnPGX08QQMYMNmGYw6.Vcys\" with oversize domain label \"kvZ9t2oLfIfYpyikJrnli81apob2eucmvaMzDp-rEIG4yNApnPGX08QQMYMNmGYw6\" of length 65 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.079210783+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "195us", "error": null, "tool": "quickcheck", "counterexample": "\"H9wVS@8XAb29aoYCzTjhVHOYtLkjU1yAh4Efs6c6njYOJp1bdOebdtzoBM0ue37DPAE79l.6mnN\"validate accepted \"H9wVS@8XAb29aoYCzTjhVHOYtLkjU1yAh4Efs6c6njYOJp1bdOebdtzoBM0ue37DPAE79l.6mnN\" with oversize domain label \"8XAb29aoYCzTjhVHOYtLkjU1yAh4Efs6c6njYOJp1bdOebdtzoBM0ue37DPAE79l\" of length 64 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.182837351+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "186us", "error": null, "tool": "quickcheck", "counterexample": "\"yDPb@ziigKTdH0INtiBPulVGfqMLFEoGrKuUAGHwW6aDY7304aUIiDwHNVw6nYXbcpytFap.09V\"validate accepted \"yDPb@ziigKTdH0INtiBPulVGfqMLFEoGrKuUAGHwW6aDY7304aUIiDwHNVw6nYXbcpytFap.09V\" with oversize domain label \"ziigKTdH0INtiBPulVGfqMLFEoGrKuUAGHwW6aDY7304aUIiDwHNVw6nYXbcpytFap\" of length 66 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.286795862+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "178us", "error": null, "tool": "quickcheck", "counterexample": "\"8M@oekoy39n4mZHNRRNsyx-Ie-AxQZsZ9F15vHCqHH12pNNMl-SK4vaMQwffr98WOE-RL.h\"validate accepted \"8M@oekoy39n4mZHNRRNsyx-Ie-AxQZsZ9F15vHCqHH12pNNMl-SK4vaMQwffr98WOE-RL.h\" with oversize domain label \"oekoy39n4mZHNRRNsyx-Ie-AxQZsZ9F15vHCqHH12pNNMl-SK4vaMQwffr98WOE-RL\" of length 66 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.390706552+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "182us", "error": null, "tool": "quickcheck", "counterexample": "\"XJmhFQYf@EG4v7V1ZzryykqiMfGaXzQ5NNUl37h0izjMFmi9Mh6TlEXb9GPXfr6jBR4j6xU976j1P5.Oonobx\"validate accepted \"XJmhFQYf@EG4v7V1ZzryykqiMfGaXzQ5NNUl37h0izjMFmi9Mh6TlEXb9GPXfr6jBR4j6xU976j1P5.Oonobx\" with oversize domain label \"EG4v7V1ZzryykqiMfGaXzQ5NNUl37h0izjMFmi9Mh6TlEXb9GPXfr6jBR4j6xU976j1P5\" of length 69 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.494535228+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "207us", "error": null, "tool": "quickcheck", "counterexample": "\"rO4@X6KyBLk8gntzCWAzzwBwobTUpSK24nTVoh7I9tsjV4uFlM7PCZ4PIMtBdnxiPzIk.j\"validate accepted \"rO4@X6KyBLk8gntzCWAzzwBwobTUpSK24nTVoh7I9tsjV4uFlM7PCZ4PIMtBdnxiPzIk.j\" with oversize domain label \"X6KyBLk8gntzCWAzzwBwobTUpSK24nTVoh7I9tsjV4uFlM7PCZ4PIMtBdnxiPzIk\" of length 64 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.598872358+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "57343us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.752967515+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "70516us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.937148919+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "57800us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.091060140+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "77293us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.264957526+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "84209us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.448839670+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "70508us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.622736475+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "88079us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.806789816+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "67012us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.970712387+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "89005us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:12.154951227+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "58318us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:12.319720388+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "377us", "error": null, "tool": "falsify", "counterexample": "\"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\": validate accepted \"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\" with oversize domain label \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" of length 64 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:12.464028272+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "415us", "error": null, "tool": "falsify", "counterexample": "\"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\": validate accepted \"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\" with oversize domain label \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" of length 64 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:12.598014912+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "580us", "error": null, "tool": "falsify", "counterexample": "\"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\": validate accepted \"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\" with oversize domain label \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" of length 64 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:12.732373430+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "371us", "error": null, "tool": "falsify", "counterexample": "\"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\": validate accepted \"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\" with oversize domain label \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" of length 64 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:12.866455714+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "585us", "error": null, "tool": "falsify", "counterexample": "\"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\": validate accepted \"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\" with oversize domain label \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" of length 64 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:13.000484438+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "817us", "error": null, "tool": "falsify", "counterexample": "\"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\": validate accepted \"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\" with oversize domain label \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" of length 64 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:13.134451038+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "386us", "error": null, "tool": "falsify", "counterexample": "\"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\": validate accepted \"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\" with oversize domain label \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" of length 64 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:13.268407061+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "345us", "error": null, "tool": "falsify", "counterexample": "\"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\": validate accepted \"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\" with oversize domain label \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" of length 64 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:13.402983566+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "387us", "error": null, "tool": "falsify", "counterexample": "\"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\": validate accepted \"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\" with oversize domain label \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" of length 64 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:13.536965779+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "396us", "error": null, "tool": "falsify", "counterexample": "\"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\": validate accepted \"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a\" with oversize domain label \"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\" of length 64 (RFC 1035 caps label at 63)", "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:13.671739279+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "71us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:13.776123811+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "70us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:13.880112219+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "71us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:13.984007407+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "71us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:14.087920051+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "71us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:14.191865545+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "73us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:14.296000703+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "72us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:14.400110122+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "70us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:14.504418170+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "71us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelUnder63", "mutations": [ "remove_label_length_check_fcef63cc_2" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:14.608289682+00:00", "status": "passed", "tests": 1, "discards": 0, "time": "85us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "aa1956082b4592ec678ae848334211f79ae9cdab" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:18.267893224+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "156us", "error": null, "tool": "quickcheck", "counterexample": "\"v4kZSaX@80GH33-.lPO4rW\"validate accepted \"v4kZSaX@80GH33-.lPO4rW\" with domain label ending in '-' (\"80GH33-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:18.371804376+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "170us", "error": null, "tool": "quickcheck", "counterexample": "\"IX0@F-exH-.9tUMB\"validate accepted \"IX0@F-exH-.9tUMB\" with domain label ending in '-' (\"F-exH-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:18.475736880+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "174us", "error": null, "tool": "quickcheck", "counterexample": "\"Jnsgdg@tlt-.2EU\"validate accepted \"Jnsgdg@tlt-.2EU\" with domain label ending in '-' (\"tlt-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:18.579728893+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "152us", "error": null, "tool": "quickcheck", "counterexample": "\"j2@ZD13uDM-.lAc\"validate accepted \"j2@ZD13uDM-.lAc\" with domain label ending in '-' (\"ZD13uDM-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:18.683976880+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "161us", "error": null, "tool": "quickcheck", "counterexample": "\"XI4Q9p@rxNpLYw-.7w6\"validate accepted \"XI4Q9p@rxNpLYw-.7w6\" with domain label ending in '-' (\"rxNpLYw-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:18.801076157+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "163us", "error": null, "tool": "quickcheck", "counterexample": "\"vEMl@sO5vCt-.8L\"validate accepted \"vEMl@sO5vCt-.8L\" with domain label ending in '-' (\"sO5vCt-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:18.926853607+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "193us", "error": null, "tool": "quickcheck", "counterexample": "\"roV8@KlX-.aVZ-b6\"validate accepted \"roV8@KlX-.aVZ-b6\" with domain label ending in '-' (\"KlX-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:19.060916801+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "183us", "error": null, "tool": "quickcheck", "counterexample": "\"jqrFS1@d5q71wp-.STSYk\"validate accepted \"jqrFS1@d5q71wp-.STSYk\" with domain label ending in '-' (\"d5q71wp-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:19.165622690+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "156us", "error": null, "tool": "quickcheck", "counterexample": "\"Gk6xhyx@EUYwG-.EIMUVX\"validate accepted \"Gk6xhyx@EUYwG-.EIMUVX\" with domain label ending in '-' (\"EUYwG-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:19.269628044+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "162us", "error": null, "tool": "quickcheck", "counterexample": "\"b7lsZ@g-.p\"validate accepted \"b7lsZ@g-.p\" with domain label ending in '-' (\"g-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:19.374535650+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "971us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:19.478519831+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "954us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:19.582501559+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "953us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:19.687121865+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1036us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:19.791440298+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "982us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:19.895495446+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1050us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:19.999741160+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1004us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:20.103680434+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1043us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:20.207717876+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "961us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:20.311937891+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1010us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:20.426099180+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "368us", "error": null, "tool": "falsify", "counterexample": "\"a@a-.a\": validate accepted \"a@a-.a\" with domain label ending in '-' (\"a-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:20.530196931+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "374us", "error": null, "tool": "falsify", "counterexample": "\"a@a-.a\": validate accepted \"a@a-.a\" with domain label ending in '-' (\"a-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:20.634318639+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "224us", "error": null, "tool": "falsify", "counterexample": "\"a@a-.a\": validate accepted \"a@a-.a\" with domain label ending in '-' (\"a-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:20.738306416+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "223us", "error": null, "tool": "falsify", "counterexample": "\"a@a-.a\": validate accepted \"a@a-.a\" with domain label ending in '-' (\"a-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:20.842409676+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "181us", "error": null, "tool": "falsify", "counterexample": "\"a@a-.a\": validate accepted \"a@a-.a\" with domain label ending in '-' (\"a-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:20.946437744+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "249us", "error": null, "tool": "falsify", "counterexample": "\"a@a-.a\": validate accepted \"a@a-.a\" with domain label ending in '-' (\"a-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:21.050438782+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "180us", "error": null, "tool": "falsify", "counterexample": "\"a@a-.a\": validate accepted \"a@a-.a\" with domain label ending in '-' (\"a-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:21.154397168+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "167us", "error": null, "tool": "falsify", "counterexample": "\"a@a-.a\": validate accepted \"a@a-.a\" with domain label ending in '-' (\"a-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:21.258629084+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "176us", "error": null, "tool": "falsify", "counterexample": "\"a@a-.a\": validate accepted \"a@a-.a\" with domain label ending in '-' (\"a-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:21.372896653+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "197us", "error": null, "tool": "falsify", "counterexample": "\"a@a-.a\": validate accepted \"a@a-.a\" with domain label ending in '-' (\"a-\") (RFC 1035 forbids trailing hyphen)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:21.477482780+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "100us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"\\\"a@-.b\\\"\"] (PropertyFalse Nothing)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:21.581533855+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "100us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"\\\"a@-.b\\\"\"] (PropertyFalse Nothing)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:21.685822206+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "98us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"\\\"a@-.b\\\"\"] (PropertyFalse Nothing)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:21.789825769+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "98us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"\\\"a@-.b\\\"\"] (PropertyFalse Nothing)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:21.893832067+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "97us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"\\\"a@-.b\\\"\"] (PropertyFalse Nothing)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:21.997703072+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "100us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"\\\"a@-.b\\\"\"] (PropertyFalse Nothing)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:22.111691101+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "98us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"\\\"a@-.b\\\"\"] (PropertyFalse Nothing)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:22.215670077+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "97us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"\\\"a@-.b\\\"\"] (PropertyFalse Nothing)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:22.319585248+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "96us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"\\\"a@-.b\\\"\"] (PropertyFalse Nothing)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainLabelNoTrailingHyphen", "mutations": [ "remove_label_hyphen_check_fcef63cc_3" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:22.423697675+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "96us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"\\\"a@-.b\\\"\"] (PropertyFalse Nothing)", "hash": "b7ea4448b4be6db2d27d4bd90ccd26630f48eb4b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:27.690598149+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1599us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:27.794638568+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1610us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:27.898669974+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1595us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:28.012856841+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1631us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:28.127150985+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1596us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:28.241502189+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1590us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:28.355781334+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1607us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:28.459642464+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1582us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:28.563501371+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1602us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "quickcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:28.667699586+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1571us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:28.772467146+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4890us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:28.876515895+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4898us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:28.980511867+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4934us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:29.084451216+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4811us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:29.188580183+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4937us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:29.292531064+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4865us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:29.396658358+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4887us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:29.500694547+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4941us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:29.615030015+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "5001us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "hedgehog", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:29.729494367+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4841us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:29.834230786+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2927us", "error": null, "tool": "falsify", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:29.948561457+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2879us", "error": null, "tool": "falsify", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:30.052538586+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2837us", "error": null, "tool": "falsify", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:30.156484790+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2843us", "error": null, "tool": "falsify", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:30.260668079+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2884us", "error": null, "tool": "falsify", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:30.365337903+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2804us", "error": null, "tool": "falsify", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:30.469375693+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2872us", "error": null, "tool": "falsify", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:30.573346533+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2852us", "error": null, "tool": "falsify", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:30.677600498+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2830us", "error": null, "tool": "falsify", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "falsify", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:30.781568574+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2841us", "error": null, "tool": "falsify", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:30.886226445+00:00", "status": "passed", "tests": 39, "discards": 0, "time": "296us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:30.990214992+00:00", "status": "passed", "tests": 39, "discards": 0, "time": "283us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:31.094129057+00:00", "status": "passed", "tests": 39, "discards": 0, "time": "269us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:31.198106777+00:00", "status": "passed", "tests": 39, "discards": 0, "time": "274us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:31.302037687+00:00", "status": "passed", "tests": 39, "discards": 0, "time": "291us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:31.405935047+00:00", "status": "passed", "tests": 39, "discards": 0, "time": "277us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:31.509905101+00:00", "status": "passed", "tests": 39, "discards": 0, "time": "276us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:31.614115430+00:00", "status": "passed", "tests": 39, "discards": 0, "time": "271us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:31.718421419+00:00", "status": "passed", "tests": 39, "discards": 0, "time": "274us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" }, { "experiment": "ci-run", "workload": "email-validate", "language": "haskell", "strategy": "smallcheck", "property": "DomainNameAlphanumeric", "mutations": [ "relax_domain_to_dotted_atoms_070763d6_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:31.822452750+00:00", "status": "passed", "tests": 39, "discards": 0, "time": "290us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "c5c5e3b132a0d9c5b038029ef9b40be8001ca14b" } ] }