Mystery Generator
I'm also tackling the procedural mystery generator. I have a plan to generate solvable mysteries each time, but I'm not sure how it will work since I've never done this before and I'm making it up as I go along.
My basic plan for the game is to create a series of Events and Constraints. An event will be something like "Time period 1 ID 1 passed through Room 4", or "Time period 3, ID 4 entered room 2". Each guest, when questioned, will talk about events in the room that they were in during the time period they were asked about. Next is Constraints. Constraints will be things like "Time Period 2, ID 3 has to be alone in room 4". Then when I generate any future events I'll have to check them against the constraints. If they don't violate a constraint, then it is a valid. I'm hoping I can create 30 people, set them loose in the house to randomly walk around and talk to each other and as long as they don't violate a constraint the mystery will make sense.
Then I'll generate the murder. I'll pick two people and make one the murderer and one the victim. then I'll put them in a room together at a certain time and put a constraint on the room that they have to be alone. Then I'll kill one. Next I'll generate another event f the murderer stashing the murder weapon. I'll generate a constraint on that case that someone else has to be in the room where the murder weapon is stashed so the player will be able to learn about it from one of the guests.
It sounds like a solid plan in my head, but we will see how it works in reality.