# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
# The cases the IndelHaplotype model has found. #1286, #1287, #1292 and #1296
# are fixed and replay green; the second seed is still rejected by the strategy,
# whose remaining filter drops haplotypes whose events cancel to no net change.
# (The adjacent-gap-insertion filter that used to reject the first seed as well
# was removed in #1294, so it runs now.) #1297, #1308 and #1312 are fixed
# too, and so are #1316, #1320, #1321, #1323, #1325 and #1394 — every seed here
# now replays green, and `an_indel_haplotype_normalizes_to_its_own_sequence` is
# no longer `#[ignore]`d.
#
# These fifteen seeds — which between them pin all seventeen defects, plus the
# whole-span inversion pair #1392 recorded — are now
# the load-bearing guard, so treat them as such:
# they are RNG seeds replayed *through* `indel_haplotype_strategy`, and editing
# how that strategy consumes randomness makes every one of them regenerate a
# different case while the comments still name the old ones. Check them before
# touching the strategy.
#
# On soak depth, and on not reading a trend into it: #1320 was found at 27,633
# successes by a 1,000,000-case run that a 200,000-case run had just passed;
# then #1321 at 114,694, #1323 at 143,034, #1325 at 132,216 and #1394 at
# 231,801. The early 4x jump did not continue and the middle four sit in one
# band, so depth never trended toward an end. Enabling the property followed
# 6,000,000 clean cases (1,000,000 across `ci.yml`'s eight seeded shards plus
# 5,000,000 unseeded), which is evidence and not proof — #1394 itself was
# reached by an unseeded stream after all eight seeded shards had passed clean
# at 1,000,000 cases. An eighteenth, if it exists, will come from the unseeded
# nightly; pin its seed here and fix it rather than re-ignoring the property.
# Note also that the soak's shell exit code is `tail`'s, not the test's — an
# appended seed here is the reliable signal.
cc e8fb54e331549cd5d7b8d2f8100951aed7db8ab2ffc759df817bd69a7e4eff9a # #1286; shrinks to haplotype = IndelHaplotype { core: "AAAAAA", events: [Insert { index: 1, bases: ['A', 'A'], len: 1 }, Insert { index: 2, bases: ['A', 'A'], len: 1 }] }
cc e11d211278b3d526443f114ec02b2ec4e1b35df7d4a6024ba0bcc543d52162b3 # shrinks to haplotype = IndelHaplotype { core: "AAAAAA", events: [Delete { index: 1 }, Insert { index: 2, bases: ['A', 'A'], len: 1 }] }
cc a38727fa5784df80e613e4c9547baccb981621191ad1260871fb5943faf8dce6 # #1287; shrinks to haplotype = IndelHaplotype { core: "ATACAGAAAATCAGGGCATA", events: [Insert { index: 4, bases: ['G', 'A'], len: 2 }, Insert { index: 6, bases: ['A', 'A'], len: 2 }] }
cc 99d5d382a1a8f00844864743b0bed0ae12fe2bb8a21b902c99963e8902ab9f11 # #1292; shrinks to haplotype = IndelHaplotype { core: "GCAAATAACATCCAGA", events: [Insert { index: 6, bases: "AC" }, Delete { index: 8 }] }
cc d327f0bf8cf0b8efddb73821bcc4e210ec3c32c5df034d9d4607833b24a588d2 # #1296; shrinks to haplotype = IndelHaplotype { core: "AAAAAAATAATCGCAACAGAAG", events: [Insert { index: 15, bases: "A" }, Delete { index: 16 }, Insert { index: 17, bases: "AC" }] }
cc a88766af1b7adaab791aaf8fda16997a3c66fe0d265cb1a57d9488f22a67ef5d # #1297; shrinks to haplotype = IndelHaplotype { core: "GCATGAAAAT", events: [Insert { index: 4, bases: "AA" }, Delete { index: 6 }, Insert { index: 7, bases: "A" }] }
cc 03577f141460793dd01977d320da2524039646462483ad1e6df70eb4426e8213 # #1308; shrinks to haplotype = IndelHaplotype { core: "CAGAAGATGAATAA", events: [Insert { index: 6, bases: "TG" }, Insert { index: 7, bases: "TG" }] }
cc 958acf3ea2005efa9eafd738606d0fd1d6bb0f586c918b926fd4d79d052f8d99 # #1312; shrinks to haplotype = IndelHaplotype { core: "TAAAACCA", events: [Insert { index: 3, bases: "AC" }, Insert { index: 4, bases: "AC" }] }
cc 23c331742c910e4d748997c1e4e9d988fe3b4d032c3f60b1e995c9d052f3c720 # #1316; shrinks to haplotype = IndelHaplotype { core: "ACAGCCAGTCAGCGCATCAG", events: [Insert { index: 1, bases: "AA" }, Insert { index: 2, bases: "AA" }] }
cc 2521c7200c3f735e03b752af83fb12c21c0e903ee3c7a42454dbe8f68f62b08d # #1320; shrinks to haplotype = IndelHaplotype { core: "AACAGTAAAATAT", events: [Insert { index: 6, bases: "AC" }, Insert { index: 8, bases: "AA" }, Insert { index: 9, bases: "AA" }] }
cc 467e0a71b3d82df45d32757cbea6276e3853cc2bcfa505b23e946ac5513d57b2 # #1321; shrinks to haplotype = IndelHaplotype { core: "TCCCAGAAAAT", events: [Insert { index: 4, bases: "GA" }, Delete { index: 5 }, Insert { index: 6, bases: "GA" }] }
cc ff4eca544f5524a5164ea91fe2bd0ab9f777f8bc2c86180ecae1aa19ee46aaa1 # #1323; shrinks to haplotype = IndelHaplotype { core: "CAGGGATCAT", events: [Delete { index: 3 }, Insert { index: 4, bases: "GA" }, Insert { index: 5, bases: "GA" }] }
cc 4c6fab93d960d151efaae1712887d2434ede4a2e975eaac181369bd61055889f # #1325; shrinks to haplotype = IndelHaplotype { core: "GATCATAAATTCAGC", events: [Insert { index: 5, bases: "AA" }, Insert { index: 6, bases: "AA" }, Insert { index: 7, bases: "C" }] }
cc 68d4dbe8f1fb14817dccb5307f55791ca0680478f6906ea5c6cc5074d70f2329 # #1392 (refs #1235) whole-span inversion vs. its substitution spelling; shrinks to haplotype = Haplotype { core: "CTGTTAA", changes: [(2, 'T'), (4, 'A'), (6, 'C')] }
cc 6ec5686a0f5e290e507e200e264cfd28c157a1683b777803a951fb8dedf54f20 # #1394; shrinks to haplotype = IndelHaplotype { core: "CAGGCAAACAGTGAAG", events: [Delete { index: 5 }, Insert { index: 6, bases: "AA" }, Insert { index: 7, bases: "AA" }] }
