Description
Closed Semantic Kernel node definitions and residual expressions.
Modules§
- physical_
closure - Cardinality rules for compositional physical endpoints.
- property_
table - Real one-axis linear tables compiled to the shared scalar calculus.
- pure_
operator - Closed pure-operator definitions with no captured state.
- scalar_
connection - Compatibility rules for the current scalar Port families.
- typing
- Typing rules for residual expressions, generic over the identity type.
Structs§
- Activation
Def - Activation node definition.
- Axis
Bounds - A finite, increasing coordinate interval with a single physical dimension.
- Boundary
Physical Connector - Closed, mesh-independent contract of one field-valued physical connector.
- Boundary
Physical Port Contract - Resolved member of one boundary-physical conserving set.
- Cartesian
Axis Definition - Unevaluated lower and upper sources for one Cartesian axis.
- Cartesian
Boundary Embedding - Mesh-independent embedding of one axis-aligned Cartesian boundary.
- Cartesian
Periodic Boundary Identification - Derived geometry of one validated spatial-periodic Cartesian pair.
- Clock
Domain Def - ClockDomain node definition.
- Connection
Def - Connection node definition.
- Conservation
Terms - Exact physical terms of one fixed-domain conservation Law.
- Domain
Def - Domain definition. Continuous geometry belongs to the Model; meshes and geometry maps belong to the Realization.
- EnumDef
- Closed, ordered alternatives with declaration identity shared across occurrences.
- ExprDag
- A non-empty, structurally validated expression arena with output roots.
- Expr
DagBuilder - Builder that makes forward references and cycles unrepresentable.
- ExprId
- Stable index into one
ExprDag. - Field
Def - Exact mathematical Field definition before realization.
- Finite
Space Def - One nominal, nonempty ordered orthonormal basis of mathematical components. This is independent of a Realization graph discretization Space.
- Geometry
Digest - Content digest identifying an authored geometry.
- Index
SetDef - Fixed finite ordinal set used by elaboration and nominal index values.
- Observable
Def - Named derived quantity. It is neither a Field nor a Relation to be solved.
- Parameter
Def - Typed Parameter definition initialized by a complete mathematical value.
- PortDef
- Typed scalar Port definition.
- Property
Release - Binding of a property contract to a release, independent of the provider.
- Pure
Operator Application - Application of a closed pure-operator definition, identified by content.
- Rational
Time - A non-negative rational number of seconds, in reduced form.
- Record
Def - A closed record declaration with ordered member types.
- Record
Instance Def - One record instance: typed member expressions in declaration order. Static expressions keep their Parameter dependence; bus roots name Fields.
- Relation
Def - Ordered mathematical conditions together with their authored operands. How the conditions are enforced numerically is not part of the Model definition.
- Representation
Def - Representation definition. Basis family, mesh, and DOF layout belong to the Realization Graph.
- Weighted
Moments - Bounded exact sufficient statistics for one ordered scalar moment.
Enums§
- Activation
Kind - Activation semantics independent of execution scheduling.
- Boundary
Pairing - Closed dual pairing for one field-valued physical connector.
- Boundary
Physical Connection Violation - Pure incompatibility in one field-valued conserving set.
- Boundary
Side - Outward side of one Cartesian coordinate axis.
- Cartesian
Coordinate Source - An unevaluated Cartesian coordinate endpoint.
- Clock
Kind - Exact model-time definition of a ClockDomain.
- Comparison
Op - Scalar comparison operation.
- Connection
Semantics - Connection semantics. Runtime transport policy belongs to Realization.
- Coordinate
MapFactor - Local differential factor of a map between ordered coordinate supports.
- Domain
Kind - Shape of a continuous domain, independent of any mesh.
- Event
Direction - Event zero-crossing direction.
- Expr
Node - One node in a topologically ordered expression DAG.
- Field
Role - Mathematical evolution ownership, independent of support and scalar type.
- Finite
Binary Operation - Binary operations on finite-basis values; endpoint bases must match by declaration.
- Finite
Unary Operation - Unary operations on finite-basis values; storage and solver choices are separate.
- Kernel
Node - Type-erased storage form of a complete Semantic Kernel node.
- Noise
Process - Mathematical increment law of one nominal finite channel group.
- Observable
Measure - Integration measure on a continuous support.
- Observable
Reduction - Reduction meaning, independent of mesh and quadrature policy.
- Port
Payload - Closed kernel-level Port payload.
- Probability
Moment - A moment under an exact declared probability law, not a finite-sample estimate.
- Property
Derivatives - Derivatives that a property contract provides.
- Property
Meaning - The mathematical value of a scientific release.
- Relation
Condition Kind - Mathematical meaning of one ordered pair of expression roots.
- Relation
Meaning - Mathematical meaning of a Relation’s expression roots.
- Representation
Kind - Canonical field representation before a discrete space is chosen.
- Signal
Direction - Causal direction of a signal Port.
- Spatial
Periodic Boundary Violation - Pure incompatibility in one spatial-periodic boundary pair.
- Spatial
Regularity - A Field’s continuum regularity, independent of its numerical representation.
- Stochastic
Calculus - Explicit interpretation of a continuous stochastic integral.
- Symbol
Ref - A typed reference read by a residual expression.
- Unary
Math Function - Dimension-aware unary mathematical function.