Update for CTModels v0.9.15-beta API changes

- Rename dim_*_constraints_box to dim_dual_*_constraints_box
- Add new predicates: has_variable, is_variable, has_control, is_control_free,
  has_abstract_definition, is_abstractly_defined, is_nonautonomous, is_nonvariable
- Add expression() function to extract Expr from AbstractDefinition
- Update manual-model.md: definition changes, new Model predicates section,
  box constraint tuple structure (added aliases field)
- Update manual-abstract.md: document box constraint intersection/deduplication
- Update manual-solution.md: document signed multiplier convention,
  add dim_dual_*_constraints_box and dim_{path,boundary}_constraints_nl
- Update api/public.md: function list
- Update test/README.md and .windsurf/rules/testing.md: add jtest convenience
  command and tee pattern for test output capture

Author: ocots

Project.toml

@@ -27,7 +27,7 @@ BenchmarkTools = "1"
 CTBase = "0.18"
 CTDirect = "1"
 CTFlows = "0.8"
-CTModels = "0.9, 0.10"
+CTModels = "0.10"
 CTParser = "0.8"
 CTSolvers = "0.4"
 CUDA = "5"

docs/Project.toml

@@ -31,7 +31,7 @@ ADNLPModels = "0.8"
 CTBase = "0.18"
 CTDirect = "1"
 CTFlows = "0.8"
-CTModels = "0.9"
+CTModels = "0.10"
 CTParser = "0.8"
 CTSolvers = "0.4"
 CUDA = "5"
@@ -53,4 +53,4 @@ NonlinearSolve = "4"
 OrdinaryDiffEq = "6"
 Plots = "1"
 UnoSolver = "0.3"
-julia = "1.10"
+julia = "1.10"

docs/make.jl

@@ -153,7 +153,7 @@ cp(
 Draft = false
 ```
 =#
-draft = false  # Draft mode: if true, @example blocks in markdown are not executed
+draft = true  # Draft mode: if true, @example blocks in markdown are not executed
 
 # ═══════════════════════════════════════════════════════════════════════════════
 # Load extensions

docs/src/api/public.md

@@ -55,12 +55,13 @@ costate
 criterion
 @def
 definition
+expression
 describe
 dim_boundary_constraints_nl
-dim_control_constraints_box
+dim_dual_control_constraints_box
+dim_dual_state_constraints_box
+dim_dual_variable_constraints_box
 dim_path_constraints_nl
-dim_state_constraints_box
-dim_variable_constraints_box
 dimension
 discretize
 dual
@@ -76,6 +77,11 @@ has_free_initial_time
 has_lagrange_cost
 has_mayer_cost
 has_option
+has_variable
+is_variable
+has_control
+is_control_free
+has_abstract_definition
 id
 import_ocp_solution
 index
@@ -86,6 +92,9 @@ initial_time_name
 is_autonomous
 is_computed
 is_default
+is_abstractly_defined
+is_nonautonomous
+is_nonvariable
 is_empty
 is_empty_time_grid
 is_final_time_fixed

docs/src/assets/Manifest.toml

@@ -31,7 +31,7 @@ ADNLPModels = "0.8"
 CTBase = "0.18"
 CTDirect = "1"
 CTFlows = "0.8"
-CTModels = "0.9"
+CTModels = "0.10"
 CTParser = "0.8"
 CTSolvers = "0.4"
 CUDA = "5"
@@ -53,4 +53,4 @@ NonlinearSolve = "4"
 OrdinaryDiffEq = "6"
 Plots = "1"
 UnoSolver = "0.3"
-julia = "1.10"
+julia = "1.10"