{ "experiment": "ci-run", "generated_at": "2026-05-03 16:59 UTC", "workload_docs": { "tagsoup": [ { "mutations": [ "escape_quote_xml_f37c174_1" ], "tasks": [ { "property": "EscapeQuoteApostropheSafe", "witnesses": [ { "test_fn": "witness_escape_quote_apostrophe_safe_case_simple", "note": "escapeXML \"it's\" must contain `'`" }, { "test_fn": "witness_escape_quote_apostrophe_safe_case_pair", "note": "escapeXML \"a''b\" must contain two `'` sequences" } ] } ], "source": { "repo": "https://github.com/ndmitchell/tagsoup", "commits": [ "f37c174a412b6531af88dae379fbbaff4f44d9ad" ], "commit_subjects": [ "#75, change the escapeXML so that ' isn't in xmlEntities" ], "origin": "internal", "summary": "escapeXML used to be defined over `xmlEntities` only, which lists `quot/amp/lt/gt`. The single-quote entry `(\"#39\", \"'\")` lived in that list, but it had broken case semantics elsewhere — Ryan Scott's PR #75 moved it out of `xmlEntities` and prepended it directly to the IntMap consulted by escapeXML, so `'` would still be expanded to `'` while no longer polluting the named-entity table. Reverse-applying the patch removes the `(\"#39\",\\\"'\\\"):` prefix, so `escapeXML` no longer escapes apostrophes." }, "injection": { "kind": "patch", "files": [ "src/Text/HTML/TagSoup/Entity.hs" ], "locations": [ { "file": "src/Text/HTML/TagSoup/Entity.hs", "line": 70, "symbol": "escapeXML" } ], "patch": "patches/escape_quote_xml_f37c174_1.patch" }, "bug": { "short_name": "escapeXML_skips_apostrophe", "invariant": "Every literal apostrophe (U+0027) appearing in the input to escapeXML must be expanded to `'` in the output. The number of `'` occurrences in the output equals the number of apostrophes in the input.", "how_triggered": "Reverse-applying the patch drops the `(\"#39\",\"\\'\"):` prefix from the IntMap consulted by escapeXML. Calling escapeXML \"it's\" then returns \"it's\" (apostrophe passes through) instead of \"it's\"." } }, { "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "tasks": [ { "property": "LookupNumericEntityCaseInsensitivePrefix", "witnesses": [ { "test_fn": "witness_lookup_numeric_entity_case_insensitive_prefix_case_4e", "note": "lookupNumericEntity \"X4e\" must equal lookupNumericEntity \"x4e\"" }, { "test_fn": "witness_lookup_numeric_entity_case_insensitive_prefix_case_41", "note": "lookupNumericEntity \"X41\" must equal lookupNumericEntity \"x41\"" } ] } ], "source": { "repo": "https://github.com/ndmitchell/tagsoup", "commits": [ "6cd85ac6b5c08d37c4f43c262ee36ef9b902773a" ], "commit_subjects": [ "#32, make sure upper case &#X works in lookupEntity" ], "origin": "internal", "summary": "Per HTML5, both `&#x...;` and `&#X...;` are valid hex character references. The buggy implementation matched only the lowercase `'x'` prefix in `lookupNumericEntity`, so any input prefixed with capital `'X'` was rejected as if it were a named entity. The fix replaces the literal `'x'` with a membership test against `\"xX\"`." }, "injection": { "kind": "patch", "files": [ "src/Text/HTML/TagSoup/Entity.hs" ], "locations": [ { "file": "src/Text/HTML/TagSoup/Entity.hs", "line": 37, "symbol": "lookupNumericEntity" } ], "patch": "patches/uppercase_hex_entity_6cd85ac6_1.patch" }, "bug": { "short_name": "lookupNumericEntity_rejects_uppercase_X", "invariant": "For every string of valid hex digits, `lookupNumericEntity (\"x\" ++ ds)` and `lookupNumericEntity (\"X\" ++ ds)` produce the same Just-result.", "how_triggered": "Reverse-applying the patch restores the literal `'x'` pattern on the hex branch. Calling lookupNumericEntity \"X4e\" then returns Nothing instead of Just \"N\"." } }, { "mutations": [ "chr_oob_overflow_synth_1" ], "tasks": [ { "property": "LookupNumericEntityNoCrash", "witnesses": [ { "test_fn": "witness_lookup_numeric_entity_no_crash_case_huge", "note": "lookupNumericEntity \"89439085908539082\" must not raise" }, { "test_fn": "witness_lookup_numeric_entity_no_crash_case_above_max", "note": "lookupNumericEntity \"1114112\" (one above maxBound :: Char) must not raise" } ] } ], "source": { "repo": "https://github.com/ndmitchell/tagsoup", "commits": [ "f2dcaa682c6d5f7dea34eb09bb5b02532be523c9" ], "commit_subjects": [ "Don't crash on malformed characters, replace them with ?" ], "origin": "synthesized", "summary": "An entity like `�` parses as a numeric reference, but its decoded code point exceeds the valid Char range (`0x10FFFF`). The historical fix in commit f2dcaa68 replaced the unguarded `chr` call with one that returns `'?'` on overflow. The modern Entity.hs codebase took a stricter route: an `inRange` test that returns Nothing for out-of-range values. The buggy variant deletes that test, so `chr $ fromInteger a` raises `Prelude.chr: bad argument` for any numeric entity above U+10FFFF. Patch synthesised against modern HEAD because the upstream commit predates the move from Implementation.hs to Entity.hs." }, "injection": { "kind": "patch", "files": [ "src/Text/HTML/TagSoup/Entity.hs" ], "locations": [ { "file": "src/Text/HTML/TagSoup/Entity.hs", "line": 47, "symbol": "lookupNumericEntity" } ], "patch": "patches/chr_oob_overflow_synth_1.patch" }, "bug": { "short_name": "lookupNumericEntity_overflow_crash", "invariant": "lookupNumericEntity must never raise an exception. For any non-negative Integer N rendered as a decimal numeric entity, lookupNumericEntity (show N) must terminate with either Nothing or Just c where ord c <= ord (maxBound :: Char).", "how_triggered": "Reverse-applying the patch removes the inRange test guarding `chr $ fromInteger a`. Calling lookupNumericEntity \"1114112\" (or any larger digit string) then raises `Prelude.chr: bad argument`." } } ] }, "metrics": [ { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:40.917813452+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "133us", "error": null, "tool": "quickcheck", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"(tO#oc]'`E?G\"}escapeXML \"(tO#oc]'`E?G\" = \"(tO#oc]'`E?G\"; expected 1 ' sequences, got 0 (rebuilt=\"(tO#oc]'`E?G\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:41.041630301+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "142us", "error": null, "tool": "quickcheck", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"d)^'\\\"Vk]x\"}escapeXML \"d)^'\\\"Vk]x\" = \"d)^'"Vk]x\"; expected 1 ' sequences, got 0 (rebuilt=\"d)^'"Vk]x\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:41.155448296+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "154us", "error": null, "tool": "quickcheck", "counterexample": "QuoteSafeArgs {quoteSafeInput = \",+'<)1aG'&Q/(\"}escapeXML \",+'<)1aG'&Q/(\" = \",+'<)1aG'&Q/(\"; expected 2 ' sequences, got 0 (rebuilt=\",+'<)1aG'&Q/(\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:41.269318369+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "131us", "error": null, "tool": "quickcheck", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"k+',T`xF+\"}escapeXML \"k+',T`xF+\" = \"k+',T`xF+\"; expected 1 ' sequences, got 0 (rebuilt=\"k+',T`xF+\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:41.383252601+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "120us", "error": null, "tool": "quickcheck", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"O'6e\"}escapeXML \"O'6e\" = \"O'6e\"; expected 1 ' sequences, got 0 (rebuilt=\"O'6e\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:41.496358355+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "131us", "error": null, "tool": "quickcheck", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"ZUySp07Fpo'G\"}escapeXML \"ZUySp07Fpo'G\" = \"ZUySp07Fpo'G\"; expected 1 ' sequences, got 0 (rebuilt=\"ZUySp07Fpo'G\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:41.610196778+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "126us", "error": null, "tool": "quickcheck", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"fUw41w{'\"}escapeXML \"fUw41w{'\" = \"fUw41w{'\"; expected 1 ' sequences, got 0 (rebuilt=\"fUw41w{'\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:41.714052448+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "188us", "error": null, "tool": "quickcheck", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"HTBGI'&:2t1\"}escapeXML \"HTBGI'&:2t1\" = \"HTBGI'&:2t1\"; expected 1 ' sequences, got 0 (rebuilt=\"HTBGI'&:2t1\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:41.817874855+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "124us", "error": null, "tool": "quickcheck", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"E2L'\"}escapeXML \"E2L'\" = \"E2L'\"; expected 1 ' sequences, got 0 (rebuilt=\"E2L'\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:41.931649769+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "151us", "error": null, "tool": "quickcheck", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"(CG'< \\\"\"}escapeXML \"(CG'< \\\"\" = \"(CG'< "\"; expected 1 ' sequences, got 0 (rebuilt=\"(CG'< "\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:42.045778846+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "887us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:42.149570947+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "866us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:42.253969709+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "869us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:42.367874238+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "879us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:42.481789956+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "879us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:42.585529126+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "841us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:42.689488809+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "877us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:42.793261654+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "928us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:42.907064641+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "873us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:43.010844649+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "873us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:43.124809078+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "192us", "error": null, "tool": "falsify", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"'\"}: escapeXML \"'\" = \"'\"; expected 1 ' sequences, got 0 (rebuilt=\"'\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:43.238797985+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "234us", "error": null, "tool": "falsify", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"'\"}: escapeXML \"'\" = \"'\"; expected 1 ' sequences, got 0 (rebuilt=\"'\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:43.352615510+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "322us", "error": null, "tool": "falsify", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"'\"}: escapeXML \"'\" = \"'\"; expected 1 ' sequences, got 0 (rebuilt=\"'\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:43.466493567+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "218us", "error": null, "tool": "falsify", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"'\"}: escapeXML \"'\" = \"'\"; expected 1 ' sequences, got 0 (rebuilt=\"'\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:43.580367677+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "241us", "error": null, "tool": "falsify", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"'\"}: escapeXML \"'\" = \"'\"; expected 1 ' sequences, got 0 (rebuilt=\"'\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:43.694257456+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "210us", "error": null, "tool": "falsify", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"'\"}: escapeXML \"'\" = \"'\"; expected 1 ' sequences, got 0 (rebuilt=\"'\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:43.798156337+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "193us", "error": null, "tool": "falsify", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"'\"}: escapeXML \"'\" = \"'\"; expected 1 ' sequences, got 0 (rebuilt=\"'\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:43.912087774+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "279us", "error": null, "tool": "falsify", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"'\"}: escapeXML \"'\" = \"'\"; expected 1 ' sequences, got 0 (rebuilt=\"'\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.026215318+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "226us", "error": null, "tool": "falsify", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"'\"}: escapeXML \"'\" = \"'\"; expected 1 ' sequences, got 0 (rebuilt=\"'\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.140258373+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "260us", "error": null, "tool": "falsify", "counterexample": "QuoteSafeArgs {quoteSafeInput = \"'\"}: escapeXML \"'\" = \"'\"; expected 1 ' sequences, got 0 (rebuilt=\"'\")", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.254350561+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "46us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"QuoteSafeArgs {quoteSafeInput = \\\"'\\\"}\"] (PropertyFalse Nothing)", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.368200145+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "46us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"QuoteSafeArgs {quoteSafeInput = \\\"'\\\"}\"] (PropertyFalse Nothing)", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.482125140+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "47us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"QuoteSafeArgs {quoteSafeInput = \\\"'\\\"}\"] (PropertyFalse Nothing)", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.596041379+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "46us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"QuoteSafeArgs {quoteSafeInput = \\\"'\\\"}\"] (PropertyFalse Nothing)", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.709983116+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "46us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"QuoteSafeArgs {quoteSafeInput = \\\"'\\\"}\"] (PropertyFalse Nothing)", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.814523503+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "47us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"QuoteSafeArgs {quoteSafeInput = \\\"'\\\"}\"] (PropertyFalse Nothing)", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.928478253+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "46us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"QuoteSafeArgs {quoteSafeInput = \\\"'\\\"}\"] (PropertyFalse Nothing)", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:45.032371163+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "46us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"QuoteSafeArgs {quoteSafeInput = \\\"'\\\"}\"] (PropertyFalse Nothing)", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:45.146191492+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "45us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"QuoteSafeArgs {quoteSafeInput = \\\"'\\\"}\"] (PropertyFalse Nothing)", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "EscapeQuoteApostropheSafe", "mutations": [ "escape_quote_xml_f37c174_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:45.260141183+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "46us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"QuoteSafeArgs {quoteSafeInput = \\\"'\\\"}\"] (PropertyFalse Nothing)", "hash": "6c94a74720e1014d3858875561b46368341f6354" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.420822831+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "126us", "error": null, "tool": "quickcheck", "counterexample": "HexEntityArgs {hexEntityDigits = \"f\"}lookupNumericEntity \"xf\" = Just \"\\SI\"; lookupNumericEntity \"Xf\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.534699277+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "141us", "error": null, "tool": "quickcheck", "counterexample": "HexEntityArgs {hexEntityDigits = \"c\"}lookupNumericEntity \"xc\" = Just \"\\f\"; lookupNumericEntity \"Xc\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.648712310+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "124us", "error": null, "tool": "quickcheck", "counterexample": "HexEntityArgs {hexEntityDigits = \"285B\"}lookupNumericEntity \"x285B\" = Just \"\\10331\"; lookupNumericEntity \"X285B\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.762702318+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "143us", "error": null, "tool": "quickcheck", "counterexample": "HexEntityArgs {hexEntityDigits = \"8eCd\"}lookupNumericEntity \"x8eCd\" = Just \"\\36557\"; lookupNumericEntity \"X8eCd\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.876712483+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "120us", "error": null, "tool": "quickcheck", "counterexample": "HexEntityArgs {hexEntityDigits = \"E3\"}lookupNumericEntity \"xE3\" = Just \"\\227\"; lookupNumericEntity \"XE3\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.990725924+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "128us", "error": null, "tool": "quickcheck", "counterexample": "HexEntityArgs {hexEntityDigits = \"0fa8\"}lookupNumericEntity \"x0fa8\" = Just \"\\4008\"; lookupNumericEntity \"X0fa8\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.104816229+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "120us", "error": null, "tool": "quickcheck", "counterexample": "HexEntityArgs {hexEntityDigits = \"92\"}lookupNumericEntity \"x92\" = Just \"\\146\"; lookupNumericEntity \"X92\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.218713464+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "128us", "error": null, "tool": "quickcheck", "counterexample": "HexEntityArgs {hexEntityDigits = \"ebA0\"}lookupNumericEntity \"xebA0\" = Just \"\\60320\"; lookupNumericEntity \"XebA0\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.332932680+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "119us", "error": null, "tool": "quickcheck", "counterexample": "HexEntityArgs {hexEntityDigits = \"b2\"}lookupNumericEntity \"xb2\" = Just \"\\178\"; lookupNumericEntity \"Xb2\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.436852480+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "144us", "error": null, "tool": "quickcheck", "counterexample": "HexEntityArgs {hexEntityDigits = \"0\"}lookupNumericEntity \"x0\" = Just \"\\NUL\"; lookupNumericEntity \"X0\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.551188334+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "960us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.665120133+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "970us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.779180893+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1004us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.893694179+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1005us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.007779615+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "967us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.121727373+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "970us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.235651408+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "963us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.349699375+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "963us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.453587560+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "975us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.557430531+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "989us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.671694596+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "214us", "error": null, "tool": "falsify", "counterexample": "HexEntityArgs {hexEntityDigits = \"0\"}: lookupNumericEntity \"x0\" = Just \"\\NUL\"; lookupNumericEntity \"X0\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.785673888+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "203us", "error": null, "tool": "falsify", "counterexample": "HexEntityArgs {hexEntityDigits = \"0\"}: lookupNumericEntity \"x0\" = Just \"\\NUL\"; lookupNumericEntity \"X0\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.889524533+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "230us", "error": null, "tool": "falsify", "counterexample": "HexEntityArgs {hexEntityDigits = \"0\"}: lookupNumericEntity \"x0\" = Just \"\\NUL\"; lookupNumericEntity \"X0\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.003408677+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "212us", "error": null, "tool": "falsify", "counterexample": "HexEntityArgs {hexEntityDigits = \"0\"}: lookupNumericEntity \"x0\" = Just \"\\NUL\"; lookupNumericEntity \"X0\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.117361099+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "218us", "error": null, "tool": "falsify", "counterexample": "HexEntityArgs {hexEntityDigits = \"0\"}: lookupNumericEntity \"x0\" = Just \"\\NUL\"; lookupNumericEntity \"X0\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.221306451+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "228us", "error": null, "tool": "falsify", "counterexample": "HexEntityArgs {hexEntityDigits = \"0\"}: lookupNumericEntity \"x0\" = Just \"\\NUL\"; lookupNumericEntity \"X0\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.335515269+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "209us", "error": null, "tool": "falsify", "counterexample": "HexEntityArgs {hexEntityDigits = \"0\"}: lookupNumericEntity \"x0\" = Just \"\\NUL\"; lookupNumericEntity \"X0\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.439233747+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "219us", "error": null, "tool": "falsify", "counterexample": "HexEntityArgs {hexEntityDigits = \"0\"}: lookupNumericEntity \"x0\" = Just \"\\NUL\"; lookupNumericEntity \"X0\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.543052452+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "196us", "error": null, "tool": "falsify", "counterexample": "HexEntityArgs {hexEntityDigits = \"0\"}: lookupNumericEntity \"x0\" = Just \"\\NUL\"; lookupNumericEntity \"X0\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.657020504+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "212us", "error": null, "tool": "falsify", "counterexample": "HexEntityArgs {hexEntityDigits = \"0\"}: lookupNumericEntity \"x0\" = Just \"\\NUL\"; lookupNumericEntity \"X0\" = Nothing (expected equal Just _)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.761251079+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "49us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"HexEntityArgs {hexEntityDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.865045228+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "49us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"HexEntityArgs {hexEntityDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.968913436+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "47us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"HexEntityArgs {hexEntityDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:58.082828648+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "49us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"HexEntityArgs {hexEntityDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:58.186682499+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "49us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"HexEntityArgs {hexEntityDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:58.301193155+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "46us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"HexEntityArgs {hexEntityDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:58.405067464+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "49us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"HexEntityArgs {hexEntityDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:58.508919712+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "46us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"HexEntityArgs {hexEntityDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:58.613437157+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "47us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"HexEntityArgs {hexEntityDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityCaseInsensitivePrefix", "mutations": [ "uppercase_hex_entity_6cd85ac6_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:58.717299063+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "48us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"HexEntityArgs {hexEntityDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)", "hash": "4ad12e06a061411e41f5dd50bd6dba8263d6b24c" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:07.766170447+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1736us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:07.880305416+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1722us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:07.994471541+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1703us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:08.109158927+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1760us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:08.223089364+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1737us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:08.337073181+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1698us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:08.450936182+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1708us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:08.564760020+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1652us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:08.678604026+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1692us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "quickcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:08.782438838+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1661us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:08.896769244+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4743us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.010663132+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4811us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.124685191+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4700us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.238638361+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4594us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.352616798+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4589us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.466533559+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4746us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.580464999+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4813us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.684328064+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4720us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.798268530+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4700us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "hedgehog", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.912137382+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4714us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.027237424+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "3695us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.141219688+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "3579us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.255690788+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "3656us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.369649689+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "3530us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.484063788+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "3614us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.587927204+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "3548us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.701848747+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "3522us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.815929545+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "3499us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.929853841+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "3528us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "falsify", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.043794107+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "3548us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.158311562+00:00", "status": "passed", "tests": 6, "discards": 0, "time": "109us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.272388743+00:00", "status": "passed", "tests": 6, "discards": 0, "time": "108us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.386321986+00:00", "status": "passed", "tests": 6, "discards": 0, "time": "112us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.500871137+00:00", "status": "passed", "tests": 6, "discards": 0, "time": "111us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.614833735+00:00", "status": "passed", "tests": 6, "discards": 0, "time": "113us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.728863448+00:00", "status": "passed", "tests": 6, "discards": 0, "time": "133us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.843072355+00:00", "status": "passed", "tests": 6, "discards": 0, "time": "117us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.957196567+00:00", "status": "passed", "tests": 6, "discards": 0, "time": "115us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:12.071317361+00:00", "status": "passed", "tests": 6, "discards": 0, "time": "110us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" }, { "experiment": "ci-run", "workload": "tagsoup", "language": "haskell", "strategy": "smallcheck", "property": "LookupNumericEntityNoCrash", "mutations": [ "chr_oob_overflow_synth_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:12.184462961+00:00", "status": "passed", "tests": 6, "discards": 0, "time": "111us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ebe1ecf3858c3fcd84f616626a4ff2d9800a1e2f" } ] }