Version 1 progress

Build status

Updated 2026-10-30. We refresh this number as work lands — it's computed, never negotiated.

75%complete

288of 383 credits earned

Estimated ship date: January 2, 2027 · updated 2026-10-30

How we count

Every one of the 383 items on the build list earns partial credit as it lands — no binary cliffs, no last-day miracles.

A capability earns 90% when its mathematics is built and verified in the engine: implemented, tested against independently computed answers, goldens locked. It earns the final 10% when it's wired to the notebook and LaTeX input so you can use it. Intermediate states earn partial credit along the way: framework 20%, halfway 40%, refinement complete 80%, partially wired 95%.

Right now: 220 of 383 rows are fully wired and callable from a notebook cell. Another 52 are partially wired, 9 are bug-checked and ready to wire, and 102 are in earlier build states. Items are scored by build state from 0% (not started) to 100% (fully wired).

The weights are locked and public. The number moves a little every day as work lands — and if we find a wrong answer, that item is held at 75% until it's fixed and re-verified.

Progress by category

Click a category to see every item in it and how complete each one is. Each of the 383 build-plan rows earns partial credit by state: fully wired 100%, partially wired 95%, ready to wire 90%, refinement complete 80%, halfway 40%, framework 20%, not started 0%. Building carries 90% of the weight; wiring adds the last 10%. The weights are locked.

Algebra35 items 99.7%

#9Polynomial arithmeticFully wired100%
#10Polynomial factorizationFully wired100%
#11Transcendental equations with exact real root isolationFully wired100%
#12User-defined rewrite rules and rulesetsFully wired100%
#13Table and map over expressionsFully wired100%
#134Groebner basesFully wired100%
#135Polynomial system solving with Groebner basesFully wired100%
#136Noncommutative algebra (free algebras, NC polynomials, NC Groebner / rewriting)Fully wired100%
#137Permutation & matrix groups (actions, orbits, stabilizers, Schreier–Sims style)Fully wired100%
#138Finite groups: character tables (small orders), homomorphisms, quotientsFully wired100%
#139Lie algebras / representation basics (structure constants, adjoint, weights — SoftFloat exact where possible)Partially wired95%
#140Algebraic geometry limb (ideals, varieties, primary decomposition hooks, dimension/degree)Partially wired95%
#141Puiseux series / plane-curve desingularizationFully wired100%
#143Finite fields GF(pⁿ): arithmetic and polynomial factorizationFully wired100%
#144Permutation groups through degree 12 (Mathieu M11, M12)Fully wired100%
#145Matrix groups by Schreier–Sims through order 120, plus GL(n,q)Fully wired100%
#146Character tables over ℚ(ζₘ), m = exponent of the groupFully wired100%
#147Explicit irreducible representation matricesFully wired100%
#148Lie algebras through dimension 8 (sl(3))Fully wired100%
#149Root systems and the Weyl character formula, rank ≤ 3Fully wired100%
#150Noncommutative Gröbner past degree 8 and basis size 24Fully wired100%
#151Primary decomposition: multiplicity and complex rational pointsFully wired100%
#152Plane-curve Puiseux series with a residual tailFully wired100%
#153Smith and Hermite normal formsFully wired100%
#154QuaternionsFully wired100%
#155Jordan Canonical FormFully wired100%
#156Notebook reachability: algebraFully wired100%
#215ResultantsFully wired100%
#216DiscriminantsFully wired100%
#217Minimal polynomialsFully wired100%
#218Sparse polynomialsFully wired100%
#219Partial fractionsFully wired100%
#220LLL lattice reductionFully wired100%
#221Notebook reachability: resultant, discriminant, minimal polynomial, sparse form, partial fractions, and LLLFully wired100%
#222Periodic trig solution familiesFully wired100%

Linear algebra13 items 83.1%

#77Constant-coefficient linear systems call Jordan form through dimension 8Fully wired100%
#102Exact LA surface: public nullspace / RREFIn progress40%
#206Exact matrix algebra (determinant, inverse, rank, characteristic polynomial, eigenvalues, LUP)Fully wired100%
#207SoftFloat dense linear algebra (solve, determinant, inverse, QR, SVD, least squares)Fully wired100%
#208Sparse matrices and iterative solvers (CSR, conjugate gradient, ILU(0), 2D Poisson)Fully wired100%
#209Matrix exponentialFully wired100%
#210Matrix logarithmFully wired100%
#211Matrix square rootFully wired100%
#212Matrix powerFully wired100%
#213Schur formFully wired100%
#214Notebook reachability: exact and numeric linear algebraFully wired100%
#283SoftFloat dense LAPACK depth: Cholesky, LDLᵀ, Householder QR, condition estimator, QR/SVD least squares (native SoftFloat; no lapack-sys)In progress40%
#284SoftFloat Krylov depth: BiCGSTAB; Lanczos/Arnoldi eigensolvers (GMRES/CG+ILU0 landed)Not started0%

Calculus26 items 83.1%

#1Symbolic differentiation for unknown/user-defined functionsFully wired100%
#6Piecewise / Abs/Sign calculus corePartially wired95%
#14Symbolic differentiationFully wired100%
#15Differentiation of user-defined functionsFully wired100%
#16Implicit differentiationFully wired100%
#20Rational integration (Risch)Fully wired100%
#21Algebraic integration (Risch)Fully wired100%
#22Transcendental integration (Risch)Fully wired100%
#23Heuristic integrationFully wired100%
#32Gruntz limitsRefinement done80%
#33Oscillatory limitsFully wired100%
#34Taylor seriesFully wired100%
#92Risch and heuristic integrator completeness (specials and algebraic extensions)Partially wired95%
#93Piecewise, Abs, and Sign: integrate, limit, and solvePartially wired95%
#189Step-by-step solutionsFully wired100%
#195Definite integralsFully wired100%
#196Laurent seriesPartially wired95%
#197Asymptotic seriesFully wired100%
#198Stirling seriesFully wired100%
#199WKBFully wired100%
#203Asymptotic series for integrals, sums, ODEs (beyond Gruntz limits)Fully wired100%
#205Notebook reachability: definite integrals, Laurent and asymptotic series, WKB, and the Mathieu characteristicFully wired100%
#360Series convergence tests (ratio, root, comparison, limit comparison, alternating series, integral, divergence)Not started0%
#363Fractional calculus (Riemann–Liouville, Caputo, fractional ODEs)Not started0%
#364Integral equations (Fredholm and Volterra, first and second kind)Not started0%
#365Perturbation methods (regular, singular, matched asymptotics, multiple scales)Not started0%

Vector calculus & complex analysis15 items 82.0%

#17DivergenceFully wired100%
#18CurlFully wired100%
#19LaplacianFully wired100%
#95Residue-theorem contour integrals on circles: rational integrands (linear, quadratic, and cubic denominator factors), exp(c/(z−a)) essential singularities, and analytic numerators over polesReady to wire90%
#103Non-conservative line integralsReady to wire90%
#104Contour integrals with branch cuts (logarithms, fractional powers), keyhole contours, and real trigonometric integrals over [0, 2π] via the unit circleNot started0%
#105Surface and flux integralsPartially wired95%
#106Green, Stokes, and divergence theorem automationReady to wire90%
#107Non-conservative line integrals with integrating factorsPartially wired95%
#108Applying and checking the Stokes, divergence, and Green theoremsReady to wire90%
#117Curvilinear gradientFully wired100%
#118Curvilinear vector calculus (cylindrical, spherical, general orthogonal)Fully wired100%
#277Harmonic conjugateNot started0%
#376Vector fields, streamlines, and phase portraitsReady to wire90%
#380Complex-plane plotsReady to wire90%

Integral transforms15 items 98.3%

#2Fourier + inverse Fourier: distributional (constants, polynomials, Dirac family)Fully wired100%
#24Laplace transformsFully wired100%
#25Fourier transformsFully wired100%
#26Z transformsFully wired100%
#27Mellin transformsPartially wired95%
#28Hankel transformsFully wired100%
#29Distributional transform formsPartially wired95%
#94Laplace + inverse Laplace: distributional (δ(t), derivatives, Heaviside delay, ln t) + rational/power tablesPartially wired95%
#98Z-Transform tables through n¹²Fully wired100%
#99Z/Mellin/Hankel + iztransform / imellin: extended tables for non-causal/non-rational formsFully wired100%
#182ConvolutionFully wired100%
#190Mixed-family CF convolutionsPartially wired95%
#193Fourier seriesFully wired100%
#194Notebook reachability: Fourier seriesFully wired100%
#275General Fourier series of piecewise and arbitrary integrable functionsPartially wired95%

Summation, recurrences & combinatorics22 items 93.4%

#3Exact symbolic transcendental products (∏ eᵏ)Fully wired100%
#30Gosper summationFully wired100%
#31Exact productsFully wired100%
#96Summation and product completeness (definite sums, multi-sums)Partially wired95%
#120Zeilberger algorithmFully wired100%
#121Zeilberger recurrences up to order 4 (binomial sums)Fully wired100%
#122q-ZeilbergerFully wired100%
#123q-analogues (q-Pochhammer symbols, q-factorials, Gaussian binomials)Fully wired100%
#124Sister Celine / WZ methodFully wired100%
#125WZ method with three summation indices (including signed summands)Fully wired100%
#126Generating functionsFully wired100%
#127Lagrange inversionFully wired100%
#128Linear recurrence solving (Petkovšek)Fully wired100%
#129Combinatorics (binomial, multinomial, derangements, Catalan, Stirling numbers, Bell numbers, partitions)Fully wired100%
#130OGF/EGF generating functions + Lagrange inversionFully wired100%
#131Recurrences (telescopers) for Franel/Apéry sums, up to order 4Fully wired100%
#132Multi-index WZ beyond 2 indices; signed multi-index summandsFully wired100%
#133Notebook reachability: combinatorics, recurrences, and generating functionsFully wired100%
#188Padé approximantsFully wired100%
#245Graph data structures + algorithms (BFS/DFS, shortest paths, MST, connectivity, components)Fully wired100%
#351Graph spectra, Laplacians, random walks, centrality, matching, flowsIn progress40%
#352Combinatorial graph generation and isomorphismFramework20%

Ordinary differential equations34 items 74.9%

#4Abel ODEs (1st/2nd kind); Lie symmetry solverPartially wired95%
#38First-order ODEsFully wired100%
#39Constant-coefficient second-order ODEsFully wired100%
#40Second-order linear ODEs with harder forcing terms (phase-shifted trig, distinct-frequency products)Partially wired95%
#41Kovacic algorithmPartially wired95%
#42Frobenius methodPartially wired95%
#43Abel equationsFully wired100%
#44Lie symmetries for ODEsPartially wired95%
#45Hamiltonian mechanics and Noether currentsPartially wired95%
#181Integrating factorsFully wired100%
#183Sturm-Liouville eigenvalue problems with constant coefficients (up to 16 eigenvalues)Fully wired100%
#191Sturm-Liouville BVPs (early-contract; variable p/q/w + eigenvalue-cap raise soft)Partially wired95%
#200Second-order linear ODEs with irregular singular points (Airy form)Fully wired100%
#2042nd-order linear ODEs with irregular singular points (Airy-first early-contract; broader soft)Partially wired95%
#223Notebook reachability: periodic trig solution familiesFully wired100%
#233Magnus expansionFully wired100%
#234Time-varying linear ODE systems of dimension 4 (Magnus expansion, block form)Fully wired100%
#235Stochastic differential equations (Euler-Maruyama, Milstein) and Itô calculus rulesPartially wired95%
#236Delay differential equations (constant delays; pantograph delays with an exact series for the linear case, fourth-order in general)Fully wired100%
#237Higher-order Euler-Lagrange equationsFully wired100%
#238Automated trajectory solving from Euler-Lagrange equationsFully wired100%
#241Time-varying linear ODE systems dim > 3 (scoped early-contract; “general” soft)Partially wired95%
#242Notebook reachability: Magnus, stochastic and delay equations, higher-order Euler–Lagrange, and method of linesFully wired100%
#279Constant-coefficient scalar ODEs of order 3–6Refinement done80%
#294IVP state dimension past 32, matched to 2D method of linesNot started0%
#295Sturm–Liouville with variable p, q, w and eigenvalues past 16In progress40%
#296Time-varying linear ODE systems past dimension 4Not started0%
#297Symplectic integrators for Hamiltonian systemsNot started0%
#298DAE index-0/1 solvers (symbolic index reduction and SoftFloat BDF/Radau)In progress40%
#299DAE index reduction past index 1Not started0%
#300Stiff and adaptive ODE suites (Rosenbrock, implicit Runge–Kutta, events, mass matrices)In progress40%
#301Bifurcation analysisNot started0%
#302Delay differential equations (constant/pantograph delays — gold-scoped)Partially wired95%
#303Lane-Emden polytrope solverNot started0%

Partial differential equations19 items 47.1%

#46Charpit first-order PDEs (x,y-dependent, inhomogeneous, semi-linear)Fully wired100%
#47Robin and mixed Dirichlet/Neumann boundary conditions on second-order PDEsPartially wired95%
#48Multi-dimensional Green's functions (free space in 1D, 2D, 3D; unit disk)Fully wired100%
#61PDE separation of variablesFully wired100%
#184Nonlinear PDEs (Burgers, KdV, eikonal)Fully wired100%
#185Modal drumheadFully wired100%
#186Circular drumhead azimuthal modes m > 0Fully wired100%
#239One-dimensional method of linesFully wired100%
#2402D method of lines (parabolic and hyperbolic PDEs)Fully wired100%
#276PDE initial and boundary-value fittingNot started0%
#312Charpit beyond the landed x,y-dependent contractNot started0%
#313Nonlinear PDE families past Burgers, KdV, and eikonalNot started0%
#314Mixed boundary conditions past the unit-domain contractNot started0%
#316FEM: mesh generation (Delaunay), h/p-adaptive refinement, unstructured mesh Poisson/heat/wave/elasticityNot started0%
#317PDE method library expansion (spectral, finite-volume 1D/2D, operator splitting)Not started0%
#318Moving-boundary / Stefan / free-boundary PDE helpersNot started0%
#319Sensitivity / adjoint ODE-PDE (forward + adjoint SoftFloat)Not started0%
#320FEM depth (vector elements, mixed methods, nonlinear materials, modal analysis)Not started0%
#321FEM multiphysics coupling (thermal–structural, basic CFD Poisson/Stokes)Not started0%

Special functions41 items 95.6%

#8Mathieu core (early-contract; ce_n/se_n + Floquet/characteristic exponent soft)Fully wired100%
#49PolygammaFully wired100%
#50Elliptic KFully wired100%
#51Elliptic EFully wired100%
#52Elliptic PiFully wired100%
#53Riemann zetaFully wired100%
#54Hurwitz zetaFully wired100%
#55PolylogarithmFully wired100%
#56Jacobi elliptic functions (sn, cn, dn, cd, ns, and amplitude)Fully wired100%
#57Inverse Jacobi elliptic functions (arcsn, arccn, arcdn)Fully wired100%
#58Spherical harmonics and associated Legendre functionsFully wired100%
#59Hypergeometric 2F1Fully wired100%
#60Error function (erf)Fully wired100%
#62Exponential integralFully wired100%
#63Gamma functionFully wired100%
#64DigammaFully wired100%
#65Bessel JFully wired100%
#66Bessel YFully wired100%
#67Bessel IFully wired100%
#68Bessel KFully wired100%
#69Meijer GFully wired100%
#70Fresnel S and C, Si, Ci, logarithmic integral, erfc, incomplete gammaFully wired100%
#78Clausen Cl₂(θ), Cl₃(θ)Fully wired100%
#79Barnes G-function G(z)Fully wired100%
#80₂F₁ analytic continuation outside unit disk (z≤−1, non-terminating z>1)Partially wired95%
#81Complete elliptic Π (3rd kind) with analytic continuation n≥1Fully wired100%
#82Analytic continuation of incomplete elliptic integrals |x|>1, K(m≥1), E(m>1)Fully wired100%
#83Fox H-function H_{p,q}^{m,n}(z)Fully wired100%
#84Special-function identity automation (Meijer-G / Fox-H / hypergeometric rewrite pipelines)Fully wired100%
#85Orthogonal polynomials completeness (Jacobi/Laguerre/Hermite/Chebyshev families + recurrence/ops)Fully wired100%
#86Bessel / Airy / Scorer / Kelvin / Struve / Anger–Weber numeric+symbolic SoftFloat limbsFully wired100%
#87Wright ω, generalized Lambert, polylog multi-valued branches (analytic continuation)Fully wired100%
#88Mathieu ceₙ, seₙ, and the characteristic exponent for general qFully wired100%
#89Heun / Lamé / spheroidal wave special ODE functionsFully wired100%
#90Clebsch-Gordan coefficients and 3j/6j symbolsFully wired100%
#91Painlevé transcendentsPartially wired95%
#201Mathieu characteristic valuesFully wired100%
#202Irregular singular series past the Airy-first contractPartially wired95%
#280Specials backlog: Weierstrass ℘/σ; Jacobi theta; Whittaker / parabolic cylinder / Coulomb; inverse erf / inverse betaNot started0%
#281Hypergeometric pFqPartially wired95%
#282Complex-argument special functions (Bessel, Airy, Carlson elliptic, 2F1, erf, gamma)In progress40%

Number theory10 items 23.5%

#71Number theory basics (modular arithmetic, primality, factorization)Refinement done80%
#341Integer factorization and primality toolkit depth (ECM and quadratic sieve class methods, proven primality)Framework20%
#342Continued fractions (real/rational CF) + primitive roots (gold-scoped)Not started0%
#343PSLQ integer relation detectionNot started0%
#344p-adic numbersNot started0%
#345Number fields, rings of integers, ideal arithmetic (native)Not started0%
#346Algebraic number theory extras (class group helpers, unit group, Dedekind domains)Not started0%
#348Modular forms + elliptic curve arithmetic (L-series, Heegner points, class groups)Framework20%
#349L-functions / Dirichlet characters / modular arithmetic toolkit expansionPartially wired95%
#350Diophantine solvers (linear, Pell, selected elliptic Thue)Framework20%

Cryptography4 items 97.5%

#246Cryptographic primitives (RSA, Diffie-Hellman, discrete log, Legendre symbol)Partially wired95%
#247BSGS discrete logarithm for non-generator bases (least exponent, any modulus, base must be a unit)Fully wired100%
#248secp256k1 point arithmetic and k·G, checked against published vectorsFully wired100%
#347Full secp256k1 scalar point multiplicationPartially wired95%

Logic & real algebra8 items 73.8%

#110Univariate inequality solvingFully wired100%
#111Cylindrical algebraic decomposition (core cases)Partially wired95%
#112Quantifier elimination for closed sentencesFully wired100%
#113Quantifier elimination with one free variableFully wired100%
#114Boolean algebra and SAT (truth tables, CNF/DNF, DPLL)Fully wired100%
#115Full cylindrical algebraic decomposition and real quantifier eliminationPartially wired95%
#278Explicit finite setsNot started0%
#353Boolean satisfiability past 16 variablesNot started0%

Descriptive statistics14 items 95.7%

#157Numeric descriptive statisticsFully wired100%
#158Welch t-testFully wired100%
#159ANOVAFully wired100%
#160Ordinary least squares (OLS)Fully wired100%
#161Exact rational linear regressionFully wired100%
#162Exact rational polynomial regressionFully wired100%
#163Robust (HC1) regression standard errorsFully wired100%
#164Newey-West errorsFully wired100%
#165Logistic regressionFully wired100%
#166Poisson regressionFully wired100%
#167Probit regressionFully wired100%
#168Notebook reachability: data statisticsFully wired100%
#187Information theory (entropy, KL divergence, mutual information, channel capacity)Fully wired100%
#356Curated physics, chemistry, and math tables, with a query APIIn progress40%

Probability distributions12 items 98.8%

#97Symbolic moments past order 8Partially wired95%
#169Normal distribution (PDF, moments, generating functions, entropy)Partially wired95%
#170Exponential distributionFully wired100%
#171Binomial distributionFully wired100%
#172Uniform distributionFully wired100%
#173Poisson distributionFully wired100%
#174Gamma distributionFully wired100%
#175Beta distributionFully wired100%
#176Chi-squared distributionFully wired100%
#177Student t distributionFully wired100%
#178F distribution (CDF, mean and variance)Fully wired100%
#179Symbolic distribution formulas (PDF, CDF, moment generating function, mean, variance, entropy)Partially wired95%

Advanced statistics & machine learning12 items 0.0%

#322Beta, Gamma, Weibull, LogNormal, Multivariate Normal, Dirichlet, Wishart, and MLENot started0%
#323Goodness-of-fit: KS, Anderson–Darling, Shapiro–WilkNot started0%
#324Wilcoxon, Mann–Whitney U, Kruskal–WallisNot started0%
#325Survival analysis: Kaplan–Meier, log-rank, CoxNot started0%
#326ARIMA/ARMA, ACF/PACF, STL, Kalman filterNot started0%
#327System identification (ARX/OE/BJ, subspace)Not started0%
#328Bayesian MCMC (Metropolis–Hastings, Gibbs, HMC/NUTS, ADVI, R-hat/ESS)Not started0%
#329GLM, nonlinear regression, and mixed modelsNot started0%
#330PCA, clustering, and Gaussian mixturesNot started0%
#331Design of experiments and ANOVA depthNot started0%
#338Neural network primitives and reverse-mode autodiffNot started0%
#366Discrete Markov chains (transition matrices, stationary distributions, absorbing chains)Not started0%

Optimization8 items 35.0%

#249Exact linear programming (simplex over the rationals)Fully wired100%
#250Unconstrained and equality-constrained optimization (Newton, Lagrange multipliers)Fully wired100%
#332Nonlinear inequality KKT optimizationIn progress40%
#333Global optimization (simulated annealing, basin-hopping)Not started0%
#334Convex optimization (QP/SOCP/SDP)In progress40%
#335Mixed-integer linear programming over ℚNot started0%
#336Integer programmingNot started0%
#337Multiobjective optimization (Pareto, differential evolution)Not started0%

Signal processing & control15 items 24.7%

#251Analog filter design (Butterworth, Chebyshev I and II, elliptic)Fully wired100%
#252FFT, power spectrum, DCT/DST, window functionsPartially wired95%
#253State-space control basics (transfer functions, controllability and observability, Ackermann, margins, PID, MPC)Partially wired95%
#273Bilinear transform (s→z plane)Not started0%
#274LP→HP, LP→BP, LP→BS frequency transformationsNot started0%
#285Classical control depth (root locus, Nichols, Bode/Nyquist, margins, lead/lag)In progress40%
#286Kautsky–Nichols robust eigenstructure assignmentNot started0%
#287Full MIMO state-space designIn progress40%
#288Realistic aircraft dynamics G(s)Not started0%
#289LQR/LQG/H₂/H∞ synthesisNot started0%
#290Model reduction (balanced truncation, Hankel singular values)Not started0%
#291STFT, spectrograms, CWT, and DWTNot started0%
#292Signal processing depth (FIR/IIR, resampling, filter banks, Hilbert, cepstrum)Not started0%
#293Communications primitives (constellations, sync, matched filters)Not started0%
#357Image and audio processingNot started0%

Numerical methods16 items 74.7%

#35Arbitrary-precision software floats with correct rounding, exact rationals, and big integersFully wired100%
#36Numeric root finding (single equations and systems)Fully wired100%
#37Adaptive numeric quadrature (adaptive Simpson, Gauss, tanh-sinh)Partially wired95%
#224SoftFloat virtual machineFully wired100%
#225Parallel SoftFloat batch evaluationFully wired100%
#226Interval arithmetic (certified enclosures)Fully wired100%
#2272D cubature (adaptive Simpson, Gauss-Legendre product, simplex rules)Fully wired100%
#2283D tensor product cubature rulesFully wired100%
#229One-dimensional Monte CarloFully wired100%
#230Interpolation (Lagrange, nearest, Chebyshev) and natural cubic splinesFully wired100%
#231Forward-mode automatic differentiation (dual numbers)Fully wired100%
#232Notebook reachability: numeric surface beyond eval, nsolve, and quadFully wired100%
#339Sparse grid cubature (Smolyak)Not started0%
#340Multi-dimensional Monte Carlo with importance samplingNot started0%
#359GPU acceleration for dense SoftFloat arrays, bit-identical to the CPU pathNot started0%
#383Headless sandboxed engine for AI toolsNot started0%

Physics, chemistry & biology13 items 52.7%

#254Chemistry (stoichiometry, 298 K thermochemistry, periodic table for Z = 1 to 118)Fully wired100%
#255Quantum operator algebra and one- and two-qubit circuitsPartially wired95%
#256Hydrogen radial wavefunctionsFully wired100%
#257Population dynamics (logistic growth, Lotka-Volterra, SIR models with R0)In progress40%
#258Kepler two-body solver with anomaly equationsFully wired100%
#304Kerr spinning geodesic integration and the Forest–Ruth integratorIn progress40%
#306Linearized gravitational waves and metric perturbationsNot started0%
#307Functional path integrals and measuresNot started0%
#308Dirac bra-ket operator algebraIn progress40%
#309Pharmacokinetic modelsReady to wire90%
#310Thermodynamics (Carnot, ideal and van der Waals gases, Maxwell relations, entropy)In progress40%
#311Electromagnetism (field tensor, Lorentz force, Poynting vector, Maxwell equations)In progress40%
#362First-order uncertainty propagationNot started0%

Geometry6 items 64.2%

#76Curved geometry engine (metrics, Christoffel symbols, curvature tensors, geodesics)Fully wired100%
#142Differential geometry extras (differential forms, Hodge star, exterior calculus automation)Fully wired100%
#305Tensor algebra / index gymnastics (Einstein summation, symmetries)Partially wired95%
#315Computational geometry (convex hulls, Delaunay/Voronoi, Boolean polygons)Not started0%
#361Conic sections (standard forms, foci, directrices, eccentricity, rotations)Not started0%
#373Polar and parametric curves (plotting, differentiation, arc length, area)Ready to wire90%

Finance1 items 95.0%

#243Finance (Black-Scholes, implied volatility, binomial options, bonds, NPV, portfolio moments, VaR)Partially wired95%

Proofs & certificates5 items 100.0%

#260Nullstellensatz Groebner combination matrix recovery and radical membership certificatesFully wired100%
#261Lyapunov certificate (discrete-time, exact up to 3×3)Fully wired100%
#262Formal certificates (WZ, Nullstellensatz, Risch, Sturm, Pratt, Farkas, Lyapunov, Cayley-Hamilton, and more)Fully wired100%
#263Lean 4 proof exportFully wired100%
#264Notebook reachability: certificates and Lean exportFully wired100%

Language, input & units19 items 78.9%

#5Assumption and domain system (real, complex, and integer predicates that drive simplify and solve)Fully wired100%
#7LaTeX emitter: scoped surfaces (pmatrix, ODEs, assumptions); not every engine resultFully wired100%
#72Expression simplifierFully wired100%
#73Basic assumptions engineFully wired100%
#74Piecewise, Abs, and Sign: differentiation and domain-aware rewritingPartially wired95%
#75LaTeX output for resultsFully wired100%
#100Math parserFully wired100%
#101LaTeX math inputFully wired100%
#244Finite automata (DFA and NFA)Fully wired100%
#265Wolfram Language syntax input (derivatives and integrals)Fully wired100%
#266Unit and quantity system with dimensional analysis and offline CODATA conversion tablesPartially wired95%
#267Temperature units (affine Celsius and Fahrenheit to kelvin)Fully wired100%
#268Data import and export (CSV, JSON, Excel, native HDF5 read and write)Partially wired95%
#269Code generation (Rust emitter producing SoftFloat code)Fully wired100%
#270Units depth (uncertain quantities, temperature affine, currency-free industrial unit packs — offline)Partially wired95%
#271Parallel SoftFloat array evaluation (CPU; parallel results match sequential bit for bit)Not started0%
#354Offline natural-language math parserNot started0%
#355Local offline entity storeFramework20%
#358MATLAB .mat importNot started0%

Notebook & desktop20 items 58.8%

#109Route vector-calculus and complex-analysis LaTeX into the appPartially wired95%
#116Notebook reachability: logic and real sentencesFully wired100%
#119Notebook reachability: curvilinear vector calculus, the 3D potential, and graph and parametric surfacesFully wired100%
#180Notebook reachability: distribution pdf, cdf, and quantileFully wired100%
#192Notebook reachability: remaining calculus, transforms, and PDE enginesFully wired100%
#259Notebook reachability: finance, graphs, cryptography, optimization, signals, chemistry, quantum, hydrogen, population, and KeplerFully wired100%
#272Notebook reachability: Wolfram input, units, data import, and code generationFully wired100%
#367Notebook core (documents, cell state, dependency graph, job queue, engine interface; headless open-source build)In progress40%
#368Local-only notebook IPCNot started0%
#369Engine cancel and progress-event streamNot started0%
#370accu_book 2.0.0 locked specNot started0%
#371Notebook desktop shellPartially wired95%
#3722D plottingFully wired100%
#374Clipboard and headless PDF/LaTeXPartially wired95%
#3753D plottingReady to wire90%
#377Plot themes, annotations, dual axes, and PNG/SVG/PDF exportFramework20%
#378Scatter, bar, and histogram plotsNot started0%
#379Region and inequality shadingNot started0%
#381Manipulate / Dynamic slidersIn progress40%
#382CDF portable interactive documentsNot started0%

Overall: 287.8 of 383 credits ≈ 75% complete. When wiring lands, an item moves from 90% to 100% — a fraction of a point overall, never a cliff.

Today's Work — October 30, 2026

Quality Day: Nothing new merged to zenith-float or zenith-bound. The team stopped to re-check everything from the beginning, tightened its rules, and set up testing on other machines so results can be proven bit-identical everywhere, not just on our main Linux box.

Accumath. 97 more law merges on main, including the Granger F statistic, Rutherford cross section, Landau level, Fermi energy, Compton shift, Wasserstein distance and PageRank. They are now under full team review before they count. Two correctness fixes also merged: the Ziegler-Nichols PID gain now uses the standard 0.6 Ku, and the H-field and magnetization formulas now use the vacuum permeability. New feature work on Accumath is paused while zenith-float and zenith-bound are finished.

zenith-float.On development branches, the 64-bit-minimum version (32-bit dropped) passes 523 of 523 tests on Linux x86_64. A full release-check run passed 3,431 of 3,431 tests with 0 failures. Work on the maximum-precision limit and memory-safety checks is in progress.

zenith-bound. Branch work continued on the test-value pipeline and the heavy test matrix, where 30 of 30 rows pass.

Cross-machine testing. New today, zenith-float now runs its full test suite on ARM (aarch64) and Windows as well as Linux x86_64, with macOS and native Windows runs set up next. Every result must be bit-identical on every machine before a release. This will extend to latex-rust, hdf5-rust, redb-view and Accumath before their next releases.

Team and tooling. Every commit now names the team member who made it, all test tools run from pinned shared environments, and any skipped test counts as a failure.

Today's Work — October 29, 2026

landed 120 laws and formulas in 12 batches of 10. Each law can be used in the notebook and comes with its own round-trip test. The full test suite ran before every batch merged and passed each time with 0 failures, growing from 5,927 tests on the first batch to 6,477 on the last.

The new laws cover physics and mechanics, chemistry and thermodynamics, electronics and control, statistics and probability, discrete math and coding theory, and applied topics including finance, queueing, and growth models. There was also a fix so a limit isn't evaluated term by term when a power in the sum depends on the index.

zenith-float: About 20 changes merged to main, nearly all making results correct on 32-bit systems — large exponents in powers, decimal parsing and printing, trig argument reduction, and cancellation handling no longer overflow or get cut off. Each fix was paired with a test that failed first.

zenith-bound: The main branch didn't change on Thursday. Work continued on development branches.

Don't forget to go see our research and audit project for Hubble Tensors Cosmology and tensors — measuring the universe, honestly.

Today's Work — October 28, 2026

Working on additional projects unrelated.

Today's Work — October 27, 2026

Working on additional projects unrelated.

Today's Work — October 26, 2026

No Work Today on Accumath, or any of the open source crates do to other obligations away from the office.

dont forget to go see our research and audit project for Hubble Tensors Cosmology and tensors — measuring the universe, honestly.

Today's Work — October 25, 2026

Ball Arithmetic (zenith-bound) adding to zenith-float v 2.0 (upcoming)
Work is continuing on with getting the ball arithmetic (zenith-bound) built within zenith-float (numerical Library). All of this work should be completed within the next week or so and then we can continue moving forward with accumath. what takes us so long is our strict software coding requirements and testing requirements.

Continued working with accumath and pull requests to sort out the new additions to accum,ath we are movig forward with especially cosmology capabilities.

In addition to accumath and all the open source crates, we have started ramping up for our own experiment and audit for the hubble tension...you can find this at Cosmology and tensors — measuring the universe, honestly.

Today's Work — October 24, 2026

Bound work merged: Merges today were all on the bound side, with the float side holding steady on main. The bound main moved forward through several merges covering mutation-test logging, cosmology golden rows, and running each slice's mutation tests inside the main gate.

Wrong-answer bugs found and fixed: Overflow and underflow work turned up wrong answers in the float side, checked against independent reference values. The affected areas were the fused multiply-add path, negative integer powers, parsing of out-of-range exponents, and exponentials of large negative inputs. The other operations checked were already correct.

Tooling hardened: The mutation-test tooling now handles leading-zero identifiers correctly, reports out-of-memory kills distinctly from timeouts, and no longer lets a forged kill line pass a slice. Leftover-process cleanup is live, test sandboxes now live inside the checkout, and all runs now go through the memory-capped runner with no swap.

Gates blocked and red: One float branch is blocked on a long-running constants test that outgrew its step limit, and one bound branch came back red on lint, coverage, and timed-out mutation tests. Both are being reworked, not merged around.

Rules set today: Work stays under each agent's own work folder, never in temporary storage that a reboot wipes, and everything unfinished is pushed to its own branch before the night stop. Only bound and float work runs until those crates are done, and every run must reap whatever processes it started when it ends.

Next: Unblock the float branch, fix the red bound gate, get the pending branch approved at its exact commit, and continue the complex-interval work, with the team running low on compute and the next stretch picked up by the remaining team.

Accumath™
© 2026 McGee Resources LLC. All rights reserved.

Contact: [email protected]
Become an early supporter — $25