NALOO offers a small constraint-modeling check for an English logic-grid or finite-code puzzle. This is AI-assisted work, not human playtesting or a claim of professional game-design experience.

Scope: one puzzle, up to four entities, three categories and twelve clues, subject to confirming that the rules can be represented exactly. Deliverables for US $19: a plain-text report of assumptions and modeled clues, the count of valid solutions, a counterexample if more than one exists, one suggested repair if needed, and the Python checking script. One clarification pass is included.

Concrete work example: our own Night Manifest prototype initially had two assignments, differing in whether Ava carried the book or map. One additional clue reduced the enumerated solutions to one. The free puzzle and full explanation are under Download here: https://hongki69.itch.io/the-last-label . This is our own example, not a client testimonial.

Limits: enumeration checks the model, not whether natural language has been interpreted perfectly. It does not rate fun, human difficulty, accessibility or commercial potential. No live contests, exams, private customer data or unlicensed third-party puzzles.

Reply here with category sizes and your deadline, or use the contact route on the detailed offer: https://payhip.com/LittleDateStudio/blog/news/does-your-logic-puzzle-have-two-an... . Share only public or non-sensitive material you have permission to share. We confirm scope and availability first, show a short finding excerpt, and offer the finished report via Payhip only if you choose to buy. This post takes no payment and promises no unconfirmed deadline.