omnibias-core
Backend-agnostic mathematical core of the omnibias framework.
This package is the bottom of the dependency graph. It ships the pure-Python
polynomial coefficient generators that power every closed-form σ^(n) kernel,
plus the generic ActivationSpec protocol that omnibias-torch,
omnibias-jax, and omnibias-keras specialise. There is no torch / jax /
numpy / tensorflow dependency — both backends import from here, so the
Eulerian / Legendre / Hermite recurrences produce bit-identical coefficient
sequences by construction.
Install
pip install omnibias-core
Quick start
from omnibias.core.polynomials import (
sigmoid_polynomial_coeffs,
tanh_polynomial_coeffs,
hermite_coeffs,
)
# Coefficients of the degree-(n+1) polynomial P_n such that
# sigma^(n)(z) = P_n(sigma(z)) (Riccati class)
print(sigmoid_polynomial_coeffs(3)) # 3rd derivative of sigmoid
print(tanh_polynomial_coeffs(4))
print(hermite_coeffs(5)) # probabilist's Hermite (Gaussian)
# ActivationSpec is a frozen dataclass of shared metadata. Backends pin
# TensorT to their array type and fill in forward / fastpath callables.
# Prefer the backend registries rather than constructing one by hand:
#
# from omnibias.torch import get_activation
# spec = get_activation("tanh")
# spec.fastpath(z, n) # closed-form sigma^(n)
Public surface (highlights)
| Module | Role |
|---|---|
omnibias.core.polynomials |
sigmoid_polynomial_coeffs, tanh_polynomial_coeffs, hermite_coeffs |
omnibias.core.spec |
ActivationSpec — shared activation metadata |
omnibias.core.multipack |
PackSpec / MultiPackSpec — heterogeneous Birkhoff support (theory 01-01, shipped) |
omnibias.core.scan |
BankSpec — offset / scale bank for the bias scan (theory 01-02, shipped) |
omnibias.core.mollifier |
MollifierSpec / tail_bound — pack-as-mollifier algebra; certified exponential tails, not compact support (theory 01-05, shipped) |
omnibias.core.spectral_design |
BandPlan / peak_frequency — order as a band selector, not Littlewood-Paley completeness (theory 01-07, shipped) |
omnibias.core.frames |
FrameSpec / admissibility_constant — sigma' is not admissible (theory 01-06, shipped) |
omnibias.core.locus |
EqualitySystem — constraint manifold, not a PDE solver (theory 01-09, shipped) |
omnibias.core.jets |
contact_residual / is_holonomic — vocabulary, not a discovery (theory 01-10, shipped; G1–G3 earned) |
omnibias.core.conjugate |
line Hilbert permutation of the dictionary (theory 01-12, shipped; G5 leftover-recorded, leftover #11) |
omnibias.core.hierarchy |
1-D pack tree; eta=0 bit-identical to dense (theory 02-07, shipped) |
omnibias.core.tanh_method |
travelling-wave tanh algebra, not a collapse (theory 02-09, shipped) |
omnibias.core.ladder |
Hermite raise/lower; Rodrigues reweight required (theory 02-10, shipped) |
omnibias.core.transfer |
1-D ABCD stacks; continuum_claim=False (theory 02-11, shipped) |
omnibias.core.transforms_pde |
named Cole-Hopf / Miura / Bäcklund / Darboux (theory 02-13, shipped) |
omnibias.core.bell |
Bell polynomials / Faà di Bruno combinatorics |
omnibias.core.multi_index |
Multi-index ordering + Cauchy product for multivariate jets |
omnibias.core.verified |
Rigorous numerics: Interval, Taylor models, Kantorovich, Lohner, … |
omnibias.core.proof |
Hash-sealed certificate format v1 + Lean bridge |
Why a separate package?
Forking the coefficients per backend would silently break bit-identity. Keeping them in a pure-Python wheel means a JAX-only or torch-only install still shares the same numbers, and the Lean / verified substrate never has to import a framework.
Docs
- Theory primer:
docs/theory.md - Operator surface:
docs/operator-surface.md - Stability matrix:
docs/stability.md - Monorepo overview:
README.md
License
Apache-2.0. See LICENSE and ../../LICENSING.md.
You never need a commercial licence for this package.
Release files for omnibias-core 0.4.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| omnibias_core-0.4.0.tar.gz | 726.3 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| omnibias_core-0.4.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 1.4 MB
Release files / omnibias_core-0.4.0.tar.gz
| Download URL | omnibias_core-0.4.0.tar.gz |
|---|---|
| Size | 726.3 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
cd3a03f5ac6e5c85ef2025ad0bec713b7b54a215e04770832117b01ce2e6cef1
|
|
BLAKE2b-256 checksum How to use checksums |
e7e2c06868575bb19055015aa93139d13988f2a13dba8c490162422ac069a5ed
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 13, 2026.
Transparency logRelease files / omnibias_core-0.4.0-py3-none-any.whl
| Download URL | omnibias_core-0.4.0-py3-none-any.whl |
|---|---|
| Size | 665.4 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
a89c375808fafd50df6b46de5dc3edd2e32e893cc4956d77bbf486e61bac116c
|
|
BLAKE2b-256 checksum How to use checksums |
8a1b21988af807bd70fa8298a60cf88bcef682d6dbbb10aed8689244036cc919
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 13, 2026.
Transparency log