the suite
the roster
97 solvers, flat: no heavy tier, no light tier, no pedestal. One word each, instrument-flavored, and the name tells you what it does.
search & optimization
| name | what it does |
|---|---|
| lockout | slams the search space shut around the minimum |
| deadbolt | throws the bolt: provably optimal, no give |
| throughline | the clean path straight through to the solution |
numeric
| name | what it does |
|---|---|
| compass | rotates a vector to read off the angle |
| rivet | nailed to the integer grid, no float give |
| keystone | the piece that locks the whole system together |
| plumb | drops a line straight to the roots |
| whetstone | iterative sharpening of the estimate |
| skim | skims the best off the top |
estimators
| name | what it does |
|---|---|
| damper | bleeds the noise out, lets the trend through |
| lathe | shapes the fit, recursively, as data turns |
| sextant | optimal fix from noisy sightings |
| tracer | light tracker: locks onto position + velocity |
| tripwire | trips the instant the mean shifts |
| bevel | reads the slope and the bend |
signal
| name | what it does |
|---|---|
| comb | a tapped comb run through the stream |
| coil | a feedback spring: stores and resonates |
| tuningfork | rings at exactly one frequency |
| ratchet | counts the clicks, one direction |
decision
| name | what it does |
|---|---|
| tumbler | tumblers stepping ALLOW→REJECT→LOCKOUT→KILL |
| bouncer | "are you on the list?" at the door |
| abacus | tallies frequencies in fixed space |
| strata | the distribution in stacked bins |
| turnpike | toll gate: pay a token to pass, rate-limited |
| triage | always serves the most urgent first |
| rubric | a table of rules → a verdict |
| gate | refuses by default: ACT only on edge>error-bar AND provenance |
market
| name | what it does |
|---|---|
| ladder | the price ladder, rung by rung |
| berth | your reserved spot in the line |
| calipers | measures the gap between bid and ask |
| ballast | the position-weight you're carrying |
| skid | how far you slid off your decision price |
| mirror | the candidate must mirror the reference, exactly |
regime and strategy
| name | what it does |
|---|---|
| barometer | reads pressure from returns, volatility, drawdown, spread, and imbalance |
| switchboard | routes a regime contract to the best eligible strategy |
| magazine | loads the right bundle version for the current regime contract |
| governor | adjusts parameters from side signals while staying inside rails |
| logbook | queries recent shifts and realized performance under them |
optimize
| name | what it does |
|---|---|
| relax | relaxes a hard allocation into a feasible optimum |
continuous optimization
| name | what it does |
|---|---|
| winch | hauls a smooth objective downhill with limited memory |
| cradle | holds the step inside a reliable basin |
| wander | explores without needing a gradient |
| surveyor | surveys a box and samples where the model is promising |
programming and conic
| name | what it does |
|---|---|
| rail | rides the constraint rails to an optimum |
| gantry | lifts linear/quadratic programs into the QP machinery |
| mandrel | shapes a vector onto the required cone |
mixed-integer
| name | what it does |
|---|---|
| clamp | clamps binary choices until only feasible optima remain |
| cutlass | cuts fractional knapsack faces, then branches until the optimum is locked |
| breaker | breaks a hard problem into master choices and subproblem checks |
constraints
| name | what it does |
|---|---|
| latch | latches clauses into a satisfying assignment or contradiction |
| jig | fits domain values against constraints |
| jigsaw | fits integer pieces until only the provably best arrangement remains |
| gauge | gauges whether linear constraints can all hold |
linear algebra
| name | what it does |
|---|---|
| lu | direct general-purpose factor solve |
| qr | keeps rank trouble visible |
| cholesky | takes the fast route when the matrix earns it |
| cg | the clean path through symmetric systems |
| gmres | the clean path through nonsymmetric systems |
| jacobi | owns the split, slow but inspectable |
| gauss_seidel | in-place stationary sweep |
| sor | Gauss-Seidel with a tuned push |
nonlinear
| name | what it does |
|---|---|
| newton_nd | local root-finding with finite-difference Jacobian |
| nl_fixed_point | iterates x=g(x) with convergence checks |
spectral
| name | what it does |
|---|---|
| spindle | spins out the strongest symmetric modes |
| prism | sketches the matrix, then resolves the small core |
| truss | rigid baseline for small spectral problems |
| armature | frames the strongest nonsymmetric modes |
root and quadrature
| name | what it does |
|---|---|
| bracket | keeps the root trapped inside a sign bracket |
| broach | cuts a root path without rebuilding the full Jacobian |
| pulley | pulls a fixed point forward with residual history |
| towline | tracks a solution along a parameter rope |
| planimeter | measures area by recursive refinement |
| weighbridge | fixed nodes, high-order weight |
| lattice | low-discrepancy coverage of a box |
| hopper | drops samples through a box and tracks uncertainty |
graph
| name | what it does |
|---|---|
| route | finds the cheapest path through the graph |
| sluice | pushes flow through the residual channels |
| coupler | pairs left to right without collisions |
| switchyard | routes capacity through costed tracks |
| magnet | pulls strongly connected nodes into groups |
differential equations and simulation
| name | what it does |
|---|---|
| metronome | keeps time with local error control |
| anchor | anchors stiff dynamics with an implicit solve |
| flywheel | preserves Hamiltonian motion with low drift |
| mesh | steps a field across a grid |
statistical inference
| name | what it does |
|---|---|
| mixer | separates blended observations into components |
| gyro | spins through posterior space with Hamiltonian proposals |
| swarm | tracks uncertainty with weighted particles |
| loom | weaves local factor messages into beliefs |
| press | presses a coupled distribution into tractable factors |
control
| name | what it does |
|---|---|
| rudder | stabilizes a system by steering the gain |
| gearbox | shifts a finite-state policy toward value |
| helm | steers receding-horizon control through a QP |
| yoke | couples trajectory rollout to a backward control pass |
symbolic boundary
| name | what it does |
|---|---|
| scribe | writes exact algebra without opening a full CAS |
math, symbolic & geometry (the everyday-math tier)
| name | what it does |
|---|---|
| slide | safe numeric expression evaluator: arithmetic/trig/log, vectors, statistics, and science constants; optional vars, so load-bearing arithmetic is validated compute, not inline numpy: a slide rule with a contract |
| slate | symbolic CAS (sympy): algebra, calculus, solve, roots, series/limits, and vector calculus (gradient/jacobian/hessian/laplacian): the full CAS scribe stopped short of |
| protractor | first-class geometry with diagnostics and geometric invariants, not just area formulas |
Six of these are also forged on the GPU tier under the same names and the same gates: compass, tuningfork, comb, coil, sextant, and abacus. Same call, hardened CUDA build.