{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.914609595+00:00","status":"failed","tests":62,"discards":0,"time":"240us","error":null,"tool":"proptest","counterexample":"Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \" 𐀀AAa\",\n    10,\n    false,\n)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.915957508+00:00","status":"failed","tests":36,"discards":0,"time":"218us","error":null,"tool":"proptest","counterexample":"Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"\\00\",\n    97,\n    false,\n)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.917081632+00:00","status":"failed","tests":102,"discards":0,"time":"410us","error":null,"tool":"proptest","counterexample":"Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"A \\0A0\\0\",\n    1,\n    false,\n)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.918372353+00:00","status":"failed","tests":113,"discards":0,"time":"318us","error":null,"tool":"proptest","counterexample":"Test failed: next_boundary panicked on empty suffix chunk at offset=4: <non-string panic payload>.\nminimal failing input: (\n    \"𐀀𐀀¡𐀀𐀀¡\",\n    4,\n    false,\n)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.919562929+00:00","status":"failed","tests":45,"discards":0,"time":"193us","error":null,"tool":"proptest","counterexample":"Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \" A0 \",\n    126,\n    false,\n)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.920577971+00:00","status":"failed","tests":54,"discards":0,"time":"200us","error":null,"tool":"proptest","counterexample":"Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"  a\\0𐀀\",\n    100,\n    false,\n)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.921586834+00:00","status":"failed","tests":84,"discards":0,"time":"305us","error":null,"tool":"proptest","counterexample":"Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"\\0\\0\\0\\0\\0\\0\\0\\0\\0\",\n    1,\n    false,\n)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.922683307+00:00","status":"failed","tests":27,"discards":0,"time":"157us","error":null,"tool":"proptest","counterexample":"Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"\\0\\0\",\n    46,\n    false,\n)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.923660279+00:00","status":"failed","tests":43,"discards":0,"time":"208us","error":null,"tool":"proptest","counterexample":"Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"0 ¡\",\n    6,\n    false,\n)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.924664599+00:00","status":"failed","tests":163,"discards":0,"time":"501us","error":null,"tool":"proptest","counterexample":"Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"0 𐀀\",\n    8,\n    false,\n)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.926157545+00:00","status":"failed","tests":14,"discards":0,"time":"53us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (2 10 false)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.927033076+00:00","status":"failed","tests":51,"discards":0,"time":"95us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (2 22 false)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.927940024+00:00","status":"failed","tests":62,"discards":0,"time":"90us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (2 34 false)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.928817725+00:00","status":"failed","tests":55,"discards":0,"time":"127us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (2 1 false)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.929722605+00:00","status":"failed","tests":52,"discards":0,"time":"130us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (2 4 false)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.930720145+00:00","status":"failed","tests":34,"discards":0,"time":"69us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (2 46 false)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.931559942+00:00","status":"failed","tests":35,"discards":0,"time":"69us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (2 34 false)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.932375835+00:00","status":"failed","tests":46,"discards":0,"time":"90us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (2 1 false)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.933226246+00:00","status":"failed","tests":43,"discards":0,"time":"93us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (2 4 false)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.934081849+00:00","status":"failed","tests":59,"discards":0,"time":"83us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (2 190 false)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.935217729+00:00","status":"failed","tests":9,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 1 3)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.936105377+00:00","status":"failed","tests":9,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 1 2)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.936935327+00:00","status":"failed","tests":8,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (3 1 1)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.937725651+00:00","status":"failed","tests":15,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 1 3)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.938586429+00:00","status":"failed","tests":8,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (3 3 1)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.939368789+00:00","status":"failed","tests":7,"discards":0,"time":"45us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 1 0)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.940203153+00:00","status":"failed","tests":7,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 1 1)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.941015006+00:00","status":"failed","tests":5,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 1 2)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.941858143+00:00","status":"failed","tests":8,"discards":0,"time":"38us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (3 1 2)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.942726224+00:00","status":"failed","tests":7,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 1 1)"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:00:30.943780732+00:00","status":"failed","tests":28,"discards":0,"time":"764169us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:00:31.708953012+00:00","status":"failed","tests":28,"discards":0,"time":"186643us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:00:31.897037559+00:00","status":"failed","tests":28,"discards":0,"time":"189133us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:00:32.087670271+00:00","status":"failed","tests":28,"discards":0,"time":"190667us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:00:32.279641361+00:00","status":"failed","tests":28,"discards":0,"time":"190648us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:00:32.471523470+00:00","status":"failed","tests":28,"discards":0,"time":"189235us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:00:32.661973710+00:00","status":"failed","tests":28,"discards":0,"time":"191433us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:00:32.854875690+00:00","status":"failed","tests":28,"discards":0,"time":"189937us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:00:33.046064414+00:00","status":"failed","tests":28,"discards":0,"time":"187256us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemeNextBoundaryEmptyChunk","mutations":["grapheme_next_boundary_unwrap_0f55f70_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:00:33.234585813+00:00","status":"failed","tests":28,"discards":0,"time":"215142us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>"},"hash":"1547eaf29dda7258e0b5cf2b51eff363ad545f95"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.820647113+00:00","status":"failed","tests":201,"discards":0,"time":"842us","error":null,"tool":"proptest","counterexample":"Test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"  a\",\n    1,\n    false,\n)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.822552227+00:00","status":"failed","tests":48,"discards":0,"time":"208us","error":null,"tool":"proptest","counterexample":"Test failed: prev_boundary panicked on offset==chunk_start at offset=4: <non-string panic payload>.\nminimal failing input: (\n    \"𐀀a \",\n    4,\n    false,\n)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.823657688+00:00","status":"failed","tests":118,"discards":0,"time":"631us","error":null,"tool":"proptest","counterexample":"Test failed: prev_boundary panicked on offset==chunk_start at offset=2: <non-string panic payload>.\nminimal failing input: (\n    \"¡\",\n    8,\n    false,\n)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.825152185+00:00","status":"failed","tests":39,"discards":0,"time":"220us","error":null,"tool":"proptest","counterexample":"Test failed: prev_boundary panicked on offset==chunk_start at offset=3: <non-string panic payload>.\nminimal failing input: (\n    \"ࠀ\",\n    27,\n    false,\n)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.826212657+00:00","status":"failed","tests":59,"discards":0,"time":"270us","error":null,"tool":"proptest","counterexample":"Test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"A 𐀀0\",\n    25,\n    false,\n)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.827305020+00:00","status":"failed","tests":44,"discards":0,"time":"251us","error":null,"tool":"proptest","counterexample":"Test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \" \",\n    73,\n    false,\n)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.828369476+00:00","status":"failed","tests":29,"discards":0,"time":"149us","error":null,"tool":"proptest","counterexample":"Test failed: prev_boundary panicked on offset==chunk_start at offset=4: <non-string panic payload>.\nminimal failing input: (\n    \"𐀀\",\n    24,\n    false,\n)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.829321313+00:00","status":"failed","tests":21,"discards":0,"time":"159us","error":null,"tool":"proptest","counterexample":"Test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"\\0\",\n    19,\n    false,\n)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.830277236+00:00","status":"failed","tests":107,"discards":0,"time":"405us","error":null,"tool":"proptest","counterexample":"Test failed: prev_boundary panicked on offset==chunk_start at offset=2: <non-string panic payload>.\nminimal failing input: (\n    \"¡\\u{e000}\",\n    2,\n    false,\n)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.831549044+00:00","status":"failed","tests":71,"discards":0,"time":"271us","error":null,"tool":"proptest","counterexample":"Test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \" \",\n    89,\n    false,\n)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.832971901+00:00","status":"failed","tests":38,"discards":0,"time":"86us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 7 false)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.833889689+00:00","status":"failed","tests":45,"discards":0,"time":"109us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 3 false)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.834801799+00:00","status":"failed","tests":36,"discards":0,"time":"136us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 15 false)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.835734229+00:00","status":"failed","tests":43,"discards":0,"time":"121us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 3 false)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.836648164+00:00","status":"failed","tests":59,"discards":0,"time":"113us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 3 false)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.837575864+00:00","status":"failed","tests":27,"discards":0,"time":"72us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 1 false)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.838400507+00:00","status":"failed","tests":57,"discards":0,"time":"108us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 1 false)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.839276646+00:00","status":"failed","tests":34,"discards":0,"time":"99us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 1 false)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.840203705+00:00","status":"failed","tests":39,"discards":0,"time":"98us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 15 false)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.841135223+00:00","status":"failed","tests":39,"discards":0,"time":"94us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 3 false)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.842574200+00:00","status":"failed","tests":6,"discards":0,"time":"49us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 1 2)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.843421494+00:00","status":"failed","tests":3,"discards":0,"time":"46us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (1 1 1)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.844251770+00:00","status":"failed","tests":3,"discards":0,"time":"53us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (1 1 1)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.845038312+00:00","status":"failed","tests":4,"discards":0,"time":"46us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 2 2)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.845912497+00:00","status":"failed","tests":5,"discards":0,"time":"52us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 2 1)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.846717500+00:00","status":"failed","tests":2,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (1 1 1)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.847524843+00:00","status":"failed","tests":4,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 2 2)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.848341998+00:00","status":"failed","tests":3,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (1 1 1)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.849172932+00:00","status":"failed","tests":2,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (1 1 1)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.849983635+00:00","status":"failed","tests":3,"discards":0,"time":"45us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (1 1 0)"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:00:35.851223508+00:00","status":"failed","tests":24,"discards":0,"time":"185290us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:00:36.037536485+00:00","status":"failed","tests":24,"discards":0,"time":"183358us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:00:36.222084267+00:00","status":"failed","tests":24,"discards":0,"time":"181306us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:00:36.404606230+00:00","status":"failed","tests":24,"discards":0,"time":"186014us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:00:36.592089981+00:00","status":"failed","tests":24,"discards":0,"time":"181648us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:00:36.775009828+00:00","status":"failed","tests":24,"discards":0,"time":"184864us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:00:36.961411435+00:00","status":"failed","tests":24,"discards":0,"time":"194987us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:00:37.157933667+00:00","status":"failed","tests":24,"discards":0,"time":"186214us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:00:37.345614803+00:00","status":"failed","tests":24,"discards":0,"time":"184169us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"GraphemePrevBoundaryChunkStart","mutations":["grapheme_prev_boundary_chunk_start_fb5d7b6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:00:37.531039337+00:00","status":"failed","tests":24,"discards":0,"time":"183577us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>"},"hash":"fcd292a140f53e0cb363a8fd91454c629e92f2fc"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.064346131+00:00","status":"failed","tests":123,"discards":0,"time":"305us","error":null,"tool":"proptest","counterexample":"Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\""},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.065836901+00:00","status":"failed","tests":210,"discards":0,"time":"570us","error":null,"tool":"proptest","counterexample":"Test failed: ASCII fast path vs Unicode path diverge for \"A'a\": fast=[(0, \"A\"), (1, \"'\"), (2, \"a\")], uni=[(0, \"A'a\")].\nminimal failing input: \"A'a\""},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.067360611+00:00","status":"failed","tests":70,"discards":0,"time":"184us","error":null,"tool":"proptest","counterexample":"Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\""},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.068401134+00:00","status":"failed","tests":47,"discards":0,"time":"144us","error":null,"tool":"proptest","counterexample":"Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\""},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.069408114+00:00","status":"failed","tests":74,"discards":0,"time":"200us","error":null,"tool":"proptest","counterexample":"Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\""},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.070437182+00:00","status":"failed","tests":63,"discards":0,"time":"193us","error":null,"tool":"proptest","counterexample":"Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\""},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.071467018+00:00","status":"failed","tests":58,"discards":0,"time":"181us","error":null,"tool":"proptest","counterexample":"Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\""},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.072419087+00:00","status":"failed","tests":104,"discards":0,"time":"323us","error":null,"tool":"proptest","counterexample":"Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\""},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.073625642+00:00","status":"failed","tests":44,"discards":0,"time":"131us","error":null,"tool":"proptest","counterexample":"Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\""},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"proptest","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.074566109+00:00","status":"failed","tests":85,"discards":0,"time":"310us","error":null,"tool":"proptest","counterexample":"Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\""},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.076093919+00:00","status":"failed","tests":22,"discards":0,"time":"35us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (124)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.076942122+00:00","status":"failed","tests":43,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (25)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.077860712+00:00","status":"failed","tests":16,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (70)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.078675062+00:00","status":"failed","tests":12,"discards":0,"time":"29us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (106)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.079490086+00:00","status":"failed","tests":17,"discards":0,"time":"29us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (160)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.080320671+00:00","status":"failed","tests":10,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (187)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.081161243+00:00","status":"failed","tests":11,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (142)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.082018311+00:00","status":"failed","tests":12,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (169)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.082884064+00:00","status":"failed","tests":27,"discards":0,"time":"35us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (178)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"quickcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.083791262+00:00","status":"failed","tests":13,"discards":0,"time":"30us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (241)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.084947550+00:00","status":"failed","tests":144,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (7)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.085811643+00:00","status":"failed","tests":139,"discards":0,"time":"63us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (7)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.086652764+00:00","status":"failed","tests":129,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (7)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.087489610+00:00","status":"failed","tests":129,"discards":0,"time":"45us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (7)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.088270771+00:00","status":"failed","tests":135,"discards":0,"time":"49us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (7)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.089093236+00:00","status":"failed","tests":138,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (7)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.089950825+00:00","status":"failed","tests":128,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (7)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.090778563+00:00","status":"failed","tests":146,"discards":0,"time":"67us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (7)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.091638818+00:00","status":"failed","tests":131,"discards":0,"time":"48us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (7)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"crabcheck","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.092418258+00:00","status":"failed","tests":135,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (7)"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.093731380+00:00","status":"failed","tests":124,"discards":0,"time":"361155us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.455857065+00:00","status":"failed","tests":124,"discards":0,"time":"257917us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.715270347+00:00","status":"failed","tests":124,"discards":0,"time":"256302us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:00:40.972834+00:00","status":"failed","tests":124,"discards":0,"time":"264717us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:00:41.238863822+00:00","status":"failed","tests":124,"discards":0,"time":"261244us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:00:41.501446999+00:00","status":"failed","tests":124,"discards":0,"time":"259146us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:00:41.761843213+00:00","status":"failed","tests":124,"discards":0,"time":"247117us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:00:42.010418501+00:00","status":"failed","tests":124,"discards":0,"time":"242952us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:00:42.254713683+00:00","status":"failed","tests":124,"discards":0,"time":"248521us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}
{"data":{"experiment":"ci-run","workload":"unicode-segmentation","language":"rust","strategy":"hegel","property":"AsciiWordBoundIndicesMatch","mutations":["ascii_word_bound_drop_apostrophe_af87c8d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:00:42.504533677+00:00","status":"failed","tests":124,"discards":0,"time":"267648us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]"},"hash":"6a001cc7732a4e6ebcfa77471e7e2197db315e5a"}