Module pure_operator 

Closed pure-operator definitions with no captured state.

A definition contains no source name, package path, callback, recursion, floating-point execution policy, or backend choice. Its identity is the digest of its exact calculus and complete type rules. Component expansion and algebraic component proofs belong to the lowered IR layer; the exact polynomial classification here is also used by Kernel semantic checks.

Structs

CalculusBuilder

Builder for topologically ordered calculus definitions within the size limits.

CalculusNodeId

Stable local node ID in one topologically ordered calculus definition.

ExactPolynomial

Canonical commutative polynomial over ordered semantic atoms, with exact coefficients.

ExactRational

Exact reduced rational used by operator definitions and proofs.

FormalDimensionMonomial

Symbolic physical dimension of a definition body.

OperatorDefinitionDigest

SHA-256 digest identifying a pure-operator definition.

PureOperatorDefinition

A capture-free operator definition within the size limits, identified by content.

PureOperatorInstantiation

A typed instantiation of a pure definition.

PureValueClass

Pointwise value class of a formal argument or result.

Enums

CalculusNode

Closed component calculus with exact arithmetic.

ComponentIndex

One coordinate in a capture-free tensor component definition.

ExactPolynomialError

Failure of exact polynomial classification.

PureOperatorError

Failure to construct or instantiate a pure-operator definition.

Constants

MAX_DEPTH

Maximum dependency depth in a definition.

MAX_FORMALS

Maximum number of formal arguments in a definition.

MAX_FORMAL_EXPONENT

Maximum exponent of one formal dimension in a definition body.

MAX_NODES

Maximum number of calculus nodes in a definition.