Repository navigation

docs: page-by-page review of the documentation - #953

Merged

ocots merged 57 commits into

mainfrom

docs/page-by-page-review

Oct 9, 2026

Merged

docs: page-by-page review of the documentation#953
ocots merged 57 commits into
mainfrom
docs/page-by-page-review

Commits on Sep 2, 2026
- docs: review index.md — logo, dark mode, environment download, prose
  
  ocots
  and
  claude
  committed
  98c7ac0
Commits on Oct 8, 2026
- docs: mark installation page as published
  
  ocots
  and
  devin-ai-integration[bot]
  committed
  0d6a20f
- docs: update citation to JOSS article
  
  ocots
  and
  devin-ai-integration[bot]
  committed
  47568a8
- docs: refine installation guide navigation and prose
  
  ocots
  and
  devin-ai-integration[bot]
  committed
  ed8cc9b
Commits on Oct 9, 2026
- docs(installation): fix integrator advice, solver table and GPU section; add Makie
  
  ocots
  and
  claude
  committed
  5e00f5a
- docs(first-problem): annotated walk-through with exact-solution checks
  
  ocots
  and
  claude
  committed
  e134ac7
- docs(guided-tour): downloads instead of Binder, review fixes, hidden asserts
  
  ocots
  and
  claude
  committed
  442db5c
- docs(formulation): define dimensions, add Notation and conventions
  
  ocots
  and
  claude
  committed
  6ff57ad
- docs(abstract-syntax): structure section, ASCII table, labels, verified rules
  
  ocots
  and
  claude
  committed
  d4331e3
- docs(assets): restore the 40/60 columns, remove dead custom.css
  
  ocots
  and
  claude
  committed
  11092ee
- docs(functional-api): box for vmax, load Plots, build-checked equivalence
  
  ocots
  and
  claude
  committed
  6ae4742
- docs(without-control): "Control-free problems", solve both examples
  
  ocots
  and
  claude
  committed
  a6676ce
- docs(inspect): autonomy includes path constraints, explain :eq1, times vs times
  
  ocots
  and
  claude
  committed
  ca44c26
- docs(with-ai): dev URLs, build-checked AI answers, no stale ExaModels claim
  
  ocots
  and
  claude
  committed
  db7a8e3
- chore: remove the binder/ environment
  
  ocots
  and
  claude
  committed
  f4e7dbe
- docs(solve-overview): real display walk-through, a real failure, H1 "Solve overview"
  
  ocots
  and
  claude
  committed
  5a13293
- docs(initial-guess): short form, cross-spec cases, named tuple, inspect a guess
  
  ocots
  and
  claude
  committed
  5b706f2
- docs(probes): check the claims the docs build cannot execute
  
  ocots
  and
  claude
  committed
  1a3db34
- docs(choosing-a-method): vector form for :exa, describe every strategy, real errors
  
  ocots
  and
  claude
  committed
  4759e46
- docs(options): real routing examples, the keyword form of route_to, :computed explained
  
  ocots
  and
  claude
  committed
  2d119df
- docs(explicit-mode): consistent names, used components, no CTDirect import
  
  ocots
  and
  claude
  committed
  b0321b3
- docs(gpu): vector form works on :exa, CPU vs GPU defaults and timing, madsuite links
  
  ocots
  and
  claude
  committed
  b6691ad
- docs(solution): analytic checks, staggered costate, real duals, flow solutions
  
  ocots
  and
  claude
  committed
  16b7fdb
- docs(plot): argument overview, a real path constraint, a 2-D control, flow caveats
  
  ocots
  and
  claude
  committed
  76286b3
- docs(plot-makie): correct diff block, switch read off the control, real path constraint
  
  ocots
  and
  claude
  committed
  468f443
- docs(save-load): no doubled extension, measured round-trips, warm start checked
  
  ocots
  and
  claude
  committed
  ecd9839
- docs(flows-overview): conventions notation, executed point and trajectory calls, no internals
  
  ocots
  and
  claude
  committed
  a9b2c91
- docs: follow the CTBase 0.30.6, CTSolvers 0.5.8 and CTModels 0.19.6 fixes
  
  ocots
  and
  claude
  committed
  76fc058
- docs(abstract-syntax): warn about constant components of the dynamics with :adnlp
  
  ocots
  and
  claude
  committed
  b6a9ea4
- docs(from-ocp): derivations checked, the v2.0.4 free-time formulations, B9 and B9b
  
  ocots
  and
  claude
  committed
  ef019a8
- docs(from-hamiltonians): one extremal computed six ways, v2.0.4 introduction restored
  
  ocots
  and
  claude
  committed
  1df71d6
- docs(simulation): analytic checks, a control evaluated on a problem, what each flow returns
  
  ocots
  and
  claude
  committed
  215f739
- docs(accessors): evaluate every accessor on the extremal, honest availability table
  
  ocots
  and
  claude
  committed
  02d7c8a
- docs(multi-phase): B2, Hamiltonian jumps stated correctly, the v2.0.4 off–bang example
  
  ocots
  and
  claude
  committed
  2407890
- docs(constrained-arcs): the two v2.0.4 worked examples, function form, Symbol form caveat
  
  ocots
  and
  claude
  committed
  742560f
- docs(shooting): B8, transversality in the Mayer form, the loop closed from the direct solve
  
  ocots
  and
  claude
  committed
  67d581e
- docs(geometry-overview): v2.0.4 intro and summary table restored, bridge identity derived and asserted
  
  ocots
  and
  claude
  committed
  8e4a695
- docs(lift): analytic values asserted, the flow of a lift, no typeof dump, CTLie#41
  
  ocots
  and
  claude
  committed
  dfb2aab
- docs(ad): analytic Lie derivatives and brackets asserted, time and variable forms, ∂ₜ section
  
  ocots
  and
  claude
  committed
  28b92ee
- docs(poisson): v2.0.4 properties and total time derivative restored and checked, singular control derived
  
  ocots
  and
  claude
  committed
  67c0c78
- docs(lie-macro): analytic brackets asserted, the parenthesis trap shown, scope requirement → CTLie#40
  
  ocots
  and
  claude
  committed
  f663c9d
- docs(ad-backend): no indirect using, a real backend change, GPU backend constructed
  
  ocots
  and
  claude
  committed
  612d680
- docs(energy): v2.0.4 story, wagon and formulation restored, exact solution derived, p₀ = (12, 6) and J = 6 asserted
  
  ocots
  and
  claude
  committed
  fdefd9f
- docs(time): wagon and formulation restored, switch detected from p₂, Mayer transversality, (1, 1, 1, 2) asserted
  
  ocots
  and
  claude
  committed
  2e3966e
- docs(control-free): augmented system derived for both problems, ω = π/2 and p₀ = (0, −2) asserted, exact overlay
  
  ocots
  and
  claude
  committed
  7ab9e79
- docs(control-and-variable): what the control changes, the ω trade-off, the ω = 0 extremal and why it is not optimal
  
  ocots
  and
  claude
  committed
  c574216
- docs(gallery): every example listed, the logo included, what each one introduces after the review
  
  ocots
  and
  claude
  committed
  f3dbf8c
- docs(turnpike): H linear in u (not the cost), math blocks, extref links, p₀ = −1, t₁ = 1, t₂ = 3/2, J = 3/8 asserted
  
  ocots
  and
  claude
  committed
  1091429
- docs(singular-control): v2.0.4 hand computation restored (consistent bracket sign), non-degeneracy, all-singular extremal stated, asserts
  
  ocots
  and
  claude
  committed
  d3fe2a8
- docs(state-constraint): B1, function form, derivations and Bryson–Denham regimes restored, analytic values asserted, references
  
  ocots
  and
  claude
  committed
  e9dfaf3
- docs(logo): light/dark logo pair (CSS moved to style.css), CairoMakie and Colors named, boundary values asserted, no .extras path
  
  ocots
  and
  claude
  committed
  8768fc1
- docs(ecosystem): the role of each package
  
  ocots
  and
  claude
  committed
  0e7c819
- docs(migration): title "Migrating from v2.0", the shim messages executed, augment and positional constraint now caught, user-facing tables
  
  ocots
  and
  claude
  committed
  201fda2
- docs: C8 link-text sweep, link texts are the target titles
  
  ocots
  and
  claude
  committed
  1ecccde
- docs(shooting): hide the SciML log of the failed integration, keep the SolverFailure
  
  ocots
  and
  claude
  committed
  0e1a325
- docs: draft = false again, the review is complete (full build green)
  
  ocots
  and
  claude
  committed
  22a64de
- docs: refresh the reproducibility snapshot (CTBase 0.30.6, CTModels 0.19.6, CTSolvers 0.5.8, OrdinaryDiffEqVerner)
  
  ocots
  and
  claude
  committed
  d3cc96d

Commits

Commits on Sep 2, 2026

Commits on Oct 8, 2026

Commits on Oct 9, 2026