minor change

Author: luk036

idea/ai-agent.md

@@ -47,3 +47,6 @@ Instead of:
 Write:
 
   > Use ./cpp_ai/include/recti/point.hpp as a reference, convert this Python project into C++20 to ./cpp_ai.
+
+## Use Jsonschema
+

idea/validate.md

@@ -1,30 +1,29 @@
 # Testing in AI Era
 
-- Checking is easier than Construction
-- test first, not last
+- Validation is easier than Construction
+- Test first, not last
 
-Test by eyes:
+## Human-in-the-loop
 - Generate a video, image, music, game
 
-## Unit tests
-
-## Stress tests
-
 ## Property-based tests
-conversion:
-csd <=> decimal
-Max-Cut: check if the final solution is a bipartite graph.
-
-## Doctest
-
-## By eyes
+- csd <=> decimal
+  - to_csd(to_decimal(str)) == str
+- Max-Cut: 
+  Check if the final solution is a bipartite graph.
+- Polygon convex hull:
+  - hull.area >= original.area
+- Convex decomposition:
+  - sum of area of pieces == original.area
+
+## Human-in-the-loop
 Look at the diagrams
 Waveform validation
 Cannot do everyday
 
 Coverage
 No need to 100% coverage
 
-Performance test
+## Performance test
 
-Formal verification
+## Formal verification