Resolved GitHub repositories used by the verified playground build, combining direct and indirect dependencies. This list does not describe internal module dependencies or native system libraries.
Required by this build
No additional GitHub package dependencies were recorded for this verified build.
Build record verified 2026-10-28.
Used by (0 selected packages)
No other selected build records this repository as a dependency. This is not a measure of usage outside the catalog.
Reviewed procedures
These mappings have pinned source evidence. A checked package example may exercise only some of them; source review is not a numerical benchmark.
Derivatives / callbacks: problem-specific source or delayed derivative callback
Delay differential equations: retain the broad differential-equation class rather than assume the ODE subclasses describe delayed problems. Dedicated I consumer checks twelve scalar constant-delay equations against independently specified method-of-steps polynomials through four delay intervals, and three oscillators against exact sine solutions. Verifies solver status and 975 finite dense-output samples including delay knots, with signed history scaling. Module callbacks use no copied upstream code. State-dependent/neutral/multiple delays, events, derivative interpolation, stiffness and all error paths are not verified.