Skip to main content
API REFERENCE/omnibias-core

omnibias.core.proof.obligations

0.5.0rc1Release candidatePython >=3.10Apache-2.0

Coefficient recurrences, activation contracts, jet algebra, and verified arithmetic shared by the numerical backends.

import omnibias.core.proof.obligations
Module contract & mathematical conventions

Finite rational obligation classes for the Lean-kernel bridge.

New payload kinds live here so omnibias.core.proof.lean_check stays a driver, not a catalogue. Infinite analytic statements are out of scope and are not expressed in Lean.

Shared formulas do not imply universal floating-point identity. Verify dtype, shape, derivative-order support, and the stated numerical assumptions for the path you use.

Module source ↗Source revision 9a2d73df0573Running reference examples →
rational_stencilModule ↗

Imports & aliases​

These names share a definition with another public module. Follow a name for its full contract, parameters, and examples.

Import from this moduleCanonical reference
Obligationomnibias.core.proof.Obligation
PAYLOAD_POISEDNESSomnibias.core.proof.obligations.PAYLOAD_POISEDNESS
PAYLOAD_STENCILomnibias.core.proof.obligations.PAYLOAD_STENCIL
RationalStencilomnibias.core.proof.RationalStencil
RationalSupportomnibias.core.proof.RationalSupport
StencilCertificateReportomnibias.core.proof.StencilCertificateReport
curated_rational_stencilsomnibias.core.proof.curated_rational_stencils
honesty_payloadomnibias.core.proof.obligations.honesty_payload
poisedness_obligationomnibias.core.proof.poisedness_obligation
seal_poisedness_certificateomnibias.core.proof.seal_poisedness_certificate
seal_stencil_certificateomnibias.core.proof.seal_stencil_certificate
stencil_consistency_obligationomnibias.core.proof.stencil_consistency_obligation
← Package overviewRunnable learning examples →