fix: update CLAUDE.md to streamline PR checklist; enhance planner documentation on pre-claiming behavior; remove debug prints from integration tests

Author: sean-parent

CLAUDE.md

@@ -53,13 +53,8 @@ git checkout -b <username>/<feature-name>
 
 Never commit directly to `main`.
 
-Before creating a PR, run the full check suite locally:
-
-```bash
-cargo fmt --all
-cargo clippy --workspace -- -D warnings
-cargo test --workspace
-```
+Before creating a PR, run the full check suite locally (fmt, clippy, and test from the
+Commands section above).
 
 ## Project Status
 

property-model/src/planner.rs

@@ -10,9 +10,11 @@
 //! each method are the outputs of the other methods), so selection is deterministic.
 //!
 //! **Pre-claiming**: when a determined cell eliminates all but one feasible method for a
-//! relationship (a method is infeasible if it would overwrite a determined cell), that
-//! sole method's outputs are *pre-claimed*: they can never become sources, even before all
-//! of the method's inputs are determined. This allows the planner to correctly handle
+//! relationship (a method is infeasible if it would overwrite a determined or pre-claimed
+//! cell), that sole method's outputs are *pre-claimed*: they can never become sources, even
+//! before all of the method's inputs are determined. Excluding pre-claimed outputs from
+//! feasibility prevents a method whose output is pre-claimed by the current flood-fill pass
+//! from being counted as a second viable option. This allows the planner to correctly handle
 //! constraints where the highest-strength cell is one of several inputs to the selected
 //! method.
 //!

property-model/tests/integration.rs

@@ -195,13 +195,6 @@ fn arity_3_2_1() {
 
     sheet.propagate().unwrap();
 
-    println!(
-        "{}, {}, {}",
-        sheet.read::<String>(a).unwrap(),
-        sheet.read::<String>(b).unwrap(),
-        sheet.read::<String>(c).unwrap()
-    );
-
     assert_eq!(sheet.read::<String>(a).unwrap(), "a");
     assert_eq!(sheet.read::<String>(b).unwrap(), "b");
     assert_eq!(sheet.read::<String>(c).unwrap(), "ab");