Module pure_operator 

Bounded, capture-free pure-operator definitions.

A definition in this module is canonical Semantic Kernel vocabulary: it contains no source name, package path, callback, recursion, executable floating-point policy, or backend choice. Its identity is the digest of a closed exact calculus and its complete type rules. Component expansion and algebraic proof production belong to the lowered IR layer.

Structs

CalculusBuilder

Builder enforcing bounded, topologically ordered calculus definitions.

CalculusNodeId

Stable local node ID in one topologically ordered calculus definition.

ExactRational

Exact reduced rational used by canonical operator definitions and proofs.

FormalDimensionMonomial

Symbolic physical dimension of a definition body.

OperatorDefinitionDigest

SHA-256 identity of one canonical pure-operator definition.

PureOperatorDefinition

One bounded, capture-free, content-addressed operator definition.

PureOperatorInstantiation

One semantically typed instantiation of a pure definition.

PureValueClass

Canonical pointwise value class of a formal or result.

ResultAxis

One output-axis reference in a capture-free component definition.

Enums

CalculusNode

Closed exact component calculus.

PureOperatorError

Failure to construct or instantiate a canonical pure-operator definition.

Constants

MAX_DEPTH

Maximum dependency depth in a version-1 definition.

MAX_FORMALS

Maximum number of formal arguments in a version-1 definition.

MAX_FORMAL_EXPONENT

Maximum exponent of one formal dimension in a definition body.

MAX_NODES

Maximum number of calculus nodes in a version-1 definition.

MAX_TENSOR_RANK

Maximum tensor rank admitted by the portable value-class contract.

Type Aliases

FormalTypeRule

Value-class declaration for one capture-free formal.

ResultTypeRule

Declared result value class, independent of its derived SI dimension.