Model
Quantities and representation
Run the baseline and one changed case. Keep the named controls fixed.
- Represent
- Geo Proof table, visual model, and symbolic rule
- Invariant to test
- Use visible shape properties to justify why a claim remains true after moving or turning a shape.
- Proof limit
- A single valid case cannot establish a universal claim.
Evidence
Computed comparison
Commit a testable model and run the investigation to generate evidence.