Negative-Space Domain Intersection

Construct and solve puzzles where repeated not_house and not_same_house constraints shrink candidate domains until all-different propagation forces the grid.

Routing

Use this skill when the current self-play generation target matches the name and description above. Load rules.md after the skill is selected, and load examples.jsonl only when full disclosure or diagnostic expansion is needed.

Package Files

• rules.md: procedural generation, solving, difficulty, and validation rules.
• solver_rules.md: compact solver-facing deduction rules.
• examples.jsonl: pattern examples and cautions.
• generator_hints.md: compact questioner-facing generation advice.
• compiler.json: declarative compiler resource interpreted by the fixed logical runtime.
• stats.json: sampling and curriculum statistics.