Lix Proof Collection (solutions for all levels)

[Simon]

Hi,

https://github.com/SimonN/lemforum-replays

...offers at least one solving replay ("proof") for every singleplayer level in the main Lix download.

Installation:

• Download the proof collection .zip file.
• In your Lix main directory, create the directory replays if it doesn't exist yet.
• Extract the downloaded archive into replays.
  

Usage: You can choose:

• Run Lix, open the Replay browser, and watch individual replays.
• Or, to check solvability without spoiling:
  In the Replay browser, navigate to the extracted directory (or to a pack or rank inside), then click "Verify Dir".
• Or, to check solvability from the command line:
  lix --coverage replays/yourExtractedDirectory
  

A solving replay is called a proof of solvability for its level. A level with at least one proof is called covered. Ideally, the proof shows the intended solution. When somebody else than the level author covers the level, it's usually close to the intended solution, but it might be a backroute.

If you're a singleplayer level designer, it's good style to cover your levels. If you would like your levels included in the main Lix download, please send me both the levels and their proofs, so I can include your proofs in the proof collection.

-- Simon

[Forestidia86]

Installation: Follow above link -> Clone or download -> Download as Zip -> Extract within replays/ of your Lix installation.

That may be a bit pedantic but in a fresh download there is no replays folder although you can just put it in the extraction path so instruction may be technically right.
(I only noticed it because sometimes it irks me that I have to create one myself and thought to myself if a new user could get confused where to put replays. But then again that should have almost no use cases since already one produced replay creates that folder. So I never know if I'm for doing sth. against it.)

[Simon]

pedantic but in a fresh download there is no replays folder although you can just put it in the extraction path so instruction may be technically right.
new user could get confused where to put replays.

Pedantism is excellent for these instructions. I changed the instructions in the opening post to explain making the dir. Thanks!

-- Simon

[ericderkovits]

Thanks for the replays for all the single player levels of Lix. I like watching these two.

[mobius]

I don't believe any replays exist on the github for the outtake levels of the community pack like "bulldozer"? unless I'm wrong. Does anybody have replays for those levels?

[Forestidia86]

I don't believe any replays exist on the github for the outtake levels of the community pack like "bulldozer"? unless I'm wrong. Does anybody have replays for those levels?

The replays for the outtake levels that are shipped with Lix (including Bulldozer) are in the github repo: https://github.com/SimonN/lemforum-replays/tree/master/misc/lemforum-outtakes

[Proxima]

I've decided to look through all replays for levels that I've solved in the past, to make sure we have replays for the intended solutions or (if there is doubt) what I think most likely to be intended. This will take a while, so I'm doing it in little chunks.

Lovely is done. I've attached my comments, as well as replays for L4 Diamond Dash (intended solution) and L21 Lix Potion Number Nine (save all). I've noted a couple of levels where we don't have a replay for an interesting alternative solution, so I might record these later.

In the comments, I've noted all replays that fail, as well as replays that are identical or very similar, in case we feel it's a good idea to trim these down to one replay per solution.

[Simon]

Yes, this is an excellent undertaking. The original point of the collection was automated proof of solvability, and we submitted whatever passed the level, but it's equally important to collect the intended solutions.

I have these bugs left open from 2016:
#109 Rename replay directly in the replay browser
#102 Replay <-> level: run against arbitrary level

Do you still need support for rename-replay from the replay browser? Or do you use the show-replays-for-this-level dialog ("Rep4Lev") of the singleplayer browser instead? Improving rep4lev is harder than improving the replay browser, but I don't mind looking at what helps you with your archiving project.

-- Simon

[Proxima]

Covered all the replays I felt were missing for the Lovely rank:

L10 Escape the Pit, right-side-only solution
L15 Alternative Route Recommended, down-then-right and straight-down solutions (maybe these are too similar to keep both?)
L19 Let's All Go Down the Strand, turn round at top and build up solutions
L33 The Lion, Lix and the Wardrobe, save all

How do you feel about deleting failed and identical replays? Should I continue to point these out?

As for renaming replays, for the main proof collection, I'd prefer it to be all or nothing: either it's okay to rename any replays (not just mine) to be more informative about what solution they show, or we just leave all of them with the default timestamps.

Either way, it would be a useful feature for my own personal use.