Step into the shoes of a rookie developer in a dystopian future where algorithms govern society. You're tasked with deciphering a locked database that holds the key to saving humanity. But beware! The AI overlord is always watching, and your actions can trigger catastrophic failures in the system. Use your knowledge of type checkers, inference rules, and logical puzzles to navigate through a series of branching pathways and uncover the truth hidden in the code. Your decisions shape the narrative, and the clock is ticking.