add enforce_initial_conditions

Author: ma2bd

backend/src/bin/gol.rs

@@ -227,7 +227,7 @@ fn create_puzzles(output_dir: &PathBuf) -> Result<(), Box<dyn std::error::Error>
     let puzzles = get_all_puzzles();
 
     for (name, puzzle_and_solution_creator) in puzzles {
-        let (puzzle, solution) = puzzle_and_solution_creator();
+        let (mut puzzle, solution) = puzzle_and_solution_creator();
 
         let puzzle_path = output_dir.join(format!("{}_puzzle.bcs", name));
         let solution_path = output_dir.join(format!("{}_solution.bcs", name));
@@ -242,8 +242,9 @@ fn create_puzzles(output_dir: &PathBuf) -> Result<(), Box<dyn std::error::Error>
         println!("{puzzle:#}");
         println!("Created solution: {}", solution_path.display());
         println!("{solution:#}");
+        puzzle.enforce_initial_conditions = true;
         let steps = puzzle.check_solution(&solution)?;
-        println!("Verified solution: {steps} steps");
+        println!("Verified solution (and hints): {steps} steps");
         println!();
     }
 
@@ -273,7 +274,8 @@ fn create_block_puzzle_and_solution() -> (Puzzle, Board) {
         size: 8,
         minimal_steps: 1,
         maximal_steps: 1,
-        is_strict: false,
+        enforce_initial_conditions: false,
+        must_not_succeed_one_step_early: false,
         initial_conditions,
         // Final conditions: exactly match the target pattern
         final_conditions: target_board.to_exactly_matching_conditions(),
@@ -312,7 +314,8 @@ fn create_beehive_puzzle_and_solution() -> (Puzzle, Board) {
         size: 9,
         minimal_steps: 1,
         maximal_steps: 1,
-        is_strict: false,
+        enforce_initial_conditions: false,
+        must_not_succeed_one_step_early: false,
         initial_conditions,
         // Final conditions: exactly match the target pattern
         final_conditions: target_board.to_exactly_matching_conditions(),
@@ -353,7 +356,8 @@ fn create_loaf_puzzle_and_solution() -> (Puzzle, Board) {
         size: 10,
         minimal_steps: 1,
         maximal_steps: 1,
-        is_strict: false,
+        enforce_initial_conditions: false,
+        must_not_succeed_one_step_early: false,
         initial_conditions,
         // Final conditions: exactly match the target pattern
         final_conditions: target_board.to_exactly_matching_conditions(),
@@ -391,7 +395,8 @@ fn create_boat_puzzle_and_solution() -> (Puzzle, Board) {
         size: 8,
         minimal_steps: 1,
         maximal_steps: 1,
-        is_strict: false,
+        enforce_initial_conditions: false,
+        must_not_succeed_one_step_early: false,
         initial_conditions,
         // Final conditions: exactly match the target pattern
         final_conditions: target_board.to_exactly_matching_conditions(),
@@ -428,7 +433,8 @@ fn create_tub_puzzle_and_solution() -> (Puzzle, Board) {
         size: 7,
         minimal_steps: 1,
         maximal_steps: 1,
-        is_strict: false,
+        enforce_initial_conditions: false,
+        must_not_succeed_one_step_early: false,
         initial_conditions,
         // Final conditions: exactly match the target pattern
         final_conditions: target_board.to_exactly_matching_conditions(),
@@ -467,7 +473,8 @@ fn create_blinker_puzzle_and_solution() -> (Puzzle, Board) {
         size: 7,
         minimal_steps: 1,
         maximal_steps: 1,
-        is_strict: false,
+        enforce_initial_conditions: false,
+        must_not_succeed_one_step_early: false,
         initial_conditions,
         // Final conditions: exactly match the target pattern
         final_conditions: target_board.to_exactly_matching_conditions(),
@@ -511,7 +518,8 @@ fn create_beacon_puzzle_and_solution() -> (Puzzle, Board) {
         size: 8,
         minimal_steps: 1,
         maximal_steps: 1,
-        is_strict: false,
+        enforce_initial_conditions: false,
+        must_not_succeed_one_step_early: false,
         initial_conditions,
         // Final conditions: exactly match the target pattern
         final_conditions: target_board.to_exactly_matching_conditions(),
@@ -552,7 +560,8 @@ fn create_clock_puzzle_and_solution() -> (Puzzle, Board) {
         size: 8,
         minimal_steps: 1,
         maximal_steps: 1,
-        is_strict: false,
+        enforce_initial_conditions: false,
+        must_not_succeed_one_step_early: false,
         initial_conditions,
         // Final conditions: exactly match the target pattern
         final_conditions: target_board.to_exactly_matching_conditions(),
@@ -614,7 +623,8 @@ fn create_robot_face_puzzle_and_solution() -> (Puzzle, Board) {
         size,
         minimal_steps: 170,
         maximal_steps: 200,
-        is_strict: false,
+        enforce_initial_conditions: false,
+        must_not_succeed_one_step_early: false,
         initial_conditions,
         final_conditions,
     };
@@ -645,7 +655,8 @@ fn create_glider_migration_puzzle_and_solution() -> (Puzzle, Board) {
         size: 16,
         minimal_steps: 40,
         maximal_steps: 40,
-        is_strict: true,
+        enforce_initial_conditions: false,
+        must_not_succeed_one_step_early: false,
         initial_conditions: vec![
             // Hint.
             Condition::TestPosition {